Skip to content

Artifact Record — GCL-TT-SERIES-HANDOFF-001

  • Type: series composition control / durable handoff
  • Pillar: MATH-PROGRAMME
  • Authoritative integrated artifact: docs/monographs/type-theory-series/SERIES_HANDOFF.md
  • Supporting machine contracts: SERIES_MANIFEST.json, NOTATION_REGISTRY.json, REFERENCE_BASELINE.json, REVIEWER_DELIVERY_STANDARD.md, bootstrap_volume.py, validate_volume.py
  • Scope: composition and release consistency for Type Theory monograph Volumes II–X
  • Reference implementation: Volume I — JUDGMENT: The Grammar of Computation, RC1.1 reconciled publication baseline
  • Status: active when admitted to protected main; Git history is the authoritative transition record
  • Claim boundary: this artifact governs composition, pedagogy, notation, evidence discipline, release production, and PDF-first external-review delivery logistics. It does not certify mathematical claims in any volume and does not substitute for genuinely independent external mathematical review where such review is claimed.
  • Review provenance: bounded non-mathematical consistency pass against AGENTS.md, the current streamlined-execution policy, the Volume I publication/cosmetic audit findings, and the series release invariants encoded in this directory.
  • Continuity rule: future composing agents must be able to resume from this directory without access to the originating chat transcript.
  • Artifact-ledger reference: GCL-TT-SERIES-HANDOFF-001 (this record); repository history and protected-main readback provide canonical admission evidence.

Material closure

The durable control surface consists of every file in this directory. The normative read order is defined in SERIES_HANDOFF.md. A change to the series thesis, cross-volume notation meanings, release quality gates, or reference-baseline identity is material and must update the relevant machine-readable registry together with this record when its continuity semantics change.

Non-goals

This record does not claim that the series title is a theorem, that Volume I is externally refereed, or that later-volume metatheory follows automatically from Volume I. Those boundaries are explicit invariants of the handoff itself.