§04 Reasoning — Governed Autonomous Reasoning — Cross-references
Mars® Spec › §04 Reasoning — Governed Autonomous Reasoning › Cross-references
← What this section does not require · Section index
6. Cross-references
- §00 §3 — the governed round-trip (this section is its autonomous generalization)
- §00 §4 — the four artifact classes and the symmetric reinforcement mechanism
- §01 §5.1 — variant consistency map (the calibration signal that surfaces gaps)
- §01 §11 — higher-order synthesis (the synthesize stage)
- §03-ii §3.2 — co-indexed bidirectional store, N-way navigation, governed-vs-proximity traversal (properties §03-ii S3/S8/S10, tabled at §03-ii §5)
- §03-iii §2.0 — canonical gap state machine (the acquisition queue); §2.3 multi-guide traversal; §2.5 bounded exploration; §2.7 recomputation witness
- §02b §5 — delta-attestation lifecycle (registration of increments)
- §02e §13 — architectural-refusal discipline (the no-disclaimer principle this section reuses)