Integration Audit — 2026-06-21¶
Historical snapshot
This audit records the repository state on 2026-06-21. It is preserved for provenance, not as current doctrine. Its principal reconciliation items were later discharged: the Foundation-Aware doctrine entered navigation, the Pedagogical Style Guide and Chaidez Protocol were aligned to the nine-move standard, and the Minderlings model was retired in favour of the formal Agent Council.
Historical status: audit complete; recommendations superseded where noted below
Original scope: documentation, pedagogy, Minderlings, classification/discovery contracts, and foundation-aware doctrine
Original finding¶
The June stack was coherent in intent but incomplete in integration. The audit identified a need to reconcile newer doctrine with older public pages, make foundational profiles machine-governed, and expose the relevant standards in MkDocs.
Disposition of findings¶
| Original finding | Current disposition |
|---|---|
| Foundation-Aware doctrine absent from navigation | Resolved; it is a current Doctrine page |
| Pedagogical Style Guide used an older compact sequence | Resolved; it now names the canonical Pedagogy Standard and uses the nine-move pattern |
| Chaidez computation taxonomy lacked certificate replay and formal proof | Resolved; the support-route taxonomy is aligned |
| Minderlings required stronger cross-linking | Superseded; Minderlings were retired and replaced by the Agent Council |
| Foundational profiles were doctrinal rather than fully machine-backed | Partially resolved; schemas and validators now govern foundational profiles, while domain-specific completeness remains an active obligation |
| Public domain coverage centred only on Union-Closed | Resolved by the 2026.07 domain catalogue and expanded registry |
Historical checks¶
Navigation wiring¶
The original audit found a partial pass: the main Pedagogy Standard and Minderlings were visible, while Foundation-Aware doctrine was not. The current navigation no longer has that gap.
Pedagogy consistency¶
The original audit compared a newer nine-move programme standard against an older eight-move style guide. The current Style Guide and Chaidez Protocol both use the nine-move sequence:
- status box;
- plain object;
- exact obstruction;
- working model;
- restricted claim;
- theorem-spine location;
- support route;
- debt and claim boundary;
- first executable step.
Chaidez protocol¶
The campaign protocol now distinguishes exploratory evidence, regression audit, exact finite verification, certificate replay, formal proof, continuum proof, and negative result.
Minderlings¶
The June audit treated Minderlings as active mnemonic companions. That statement is no longer current. docs/MINDERLINGS.md is now a retirement pointer to the Agent Council.
Classification and discovery¶
The original audit found the classification/discovery layer correctly treated provider output and imported classifications as evidence rather than authority. That finding remains valid.
Current authority¶
For present requirements, use:
- Grand Challenge Pedagogy Standard;
- Pedagogical Style Guide;
- Chaidez Pedagogical Protocol;
- Foundation-Aware Programme;
- Agent Council;
- Programme Domain Catalogue;
- Programme Status Taxonomy.
Archival rule¶
This page should be amended only to clarify historical interpretation or record the disposition of its findings. Current doctrine belongs in the authoritative pages above.