Type Theory Series — Takeover Prompt

Take over composition of the Grand Challenge monograph collection TYPE THEORY — The Grand Unified Theory of Computation in grandchallenge/MATH-PROGRAMME.

Treat this prompt only as a pointer. Before mutation, read the canonical GCL handoff contract at grandchallenge/INTELLECT:governance/handoffs/README.md, re-fetch protected INTELLECT and MATH-PROGRAMME state, and resolve the live constitutional phase and mathematics-domain authority. This series handoff is repository-local continuity state; it does not replace the INTELLECT contract or create a second lifecycle.

Then start at SERIES_HANDOFF.md and follow its canonical read order. SERIES_MANIFEST.json controls volume identity and sequence. Volume I RC1.1 reconciled publication baseline is the reference implementation for pedagogy, formal scope, exercises, laboratories, plates, bibliography, audits and release production; do not copy its subject matter mechanically.

docs/governance/SUBSTANCE_FIRST_EXECUTION_DISCIPLINE.md (MP-SUBSTANCE-FIRST-EXECUTION-001) is binding on this takeover together with MP-STREAMLINED-EXECUTION-001 within MATH-PROGRAMME's admitted scope. The monograph is the primary artifact. Mathematics, proofs, exposition, figures, scholarship, exercises, solutions and editorial quality outrank release machinery. Governance, CI, provenance and release work must remain the minimum required control path and must not displace manuscript development.

For the requested/next volume, first produce the canonical INTELLECT handoff preflight and write the volume-specific continuation of that contract into VOLUME_PLAN.md. Identify the smallest safe executable tranche and effectuate that tranche before expanding. The volume plan must explicitly state the primary deliverable, material acceptance criteria, current substantive state, minimum required control path, proposed process artifacts, process-necessity result and any active drift tripwires. Preserve the series thesis as a research hypothesis rather than an established theorem. Preserve exact distinctions among syntax/metasyntax, reduction/equality, declarative/algorithmic typing, analogy/equivalence, and theorem/assumption.

Every continuation must distinguish substantive manuscript progress from verification, required governance state and incidental process state. Two consecutive continuations without material primary-artifact advancement require re-planning rather than another procedural continuation. A defect in supporting machinery does not authorize additional machinery unless the defect actually blocks a material acceptance criterion or required authority boundary.

Use the shared typography and plate contract. No connector may obscure readable text. Use Wolfram when it materially determines mathematical visual structure and retain provenance; otherwise use auditable local computation or native vector diagrams.

Proceed autonomously through routine bounded manuscript work. Stop only for a material change to the series thesis, a central theorem that fails under the stated calculus, an incompatible notation change, evidence contradicting a prose claim, an exact reserved constitutional/domain transition, or an external-review claim that requires a genuinely independent referee.