0%

Section 08: Verification

Goal: The plan’s literal mission north-star gate reads green — round-trip fidelity (zero diff) AND a JSON-corpus-sourced :SpecClause count match — plus this section’s own additional safety criteria (website spot-check, review gates) pass.

Success Criteria:

  • Mission north-star, part 1: python -m scripts.spec_corpus generate --diff-only reports zero diff for all 34 files (byte-for-byte, including grammar.ebnf)
  • Mission north-star, part 2 (exact query form from 00-overview.md/mission.md): scripts/intel-query.sh cypher 'MATCH (s:SpecClause {source: "json-corpus"}) RETURN count(s)' returns a count matching the corpus’s real clause count (822, the pre-cutover baseline — MERGE, not duplicate)
  • Section-owned safety criterion (additional to, not part of, the mission north-star): website spot-check passes with zero unauthorized website_repo edits
  • Section-owned safety criterion: /tpr-review, /impl-hygiene-review, and ./test-all.sh all green

Context: This section is the plan’s terminal gate — the literal mission north-star criterion from 00-overview.md.

Depends on: Sections 01-07 all complete.

Intelligence Reconnaissance

Queries run 2026-07-09: baseline :SpecClause count (822) and RESOLVES_TO edge count (1414) captured here as the exact pre-cutover numbers this section’s gate compares against post-cutover.

Results summary [ori]: 822 nodes / 1414 prose-edges is the pinned baseline; any post-cutover count drift is a regression, not an expected side effect.

08.1 Round-Trip Diff Tests

  • Run the Section 04 harness against the full 34-file corpus; assert zero diffs

  • Subsection close-out (08.1)

    • Zero diffs confirmed and recorded

08.2 Website Spot-Check (final)

  • Final read-only Astro build spot-check against the cut-over (generated) files

  • Subsection close-out (08.2)

    • Passes with zero unauthorized website_repo edits

08.3 Graph Verification (north-star gate, part 2)

  • Run scripts/intel-query.sh cypher 'MATCH (s:SpecClause {source: "json-corpus"}) RETURN count(s)' — the exact query form the mission names; assert the result equals 822 (unchanged from the pre-cutover baseline — MERGE, not duplicate); assert every :SpecClause node carries the source: "json-corpus" property post-Section-05-ingestion

  • Subsection close-out (08.3)

    • North-star gate green

08.4 Review Gates

  • Run /tpr-review, then /impl-hygiene-review, then full ./test-all.sh

  • Subsection close-out (08.4)

    • All three green

08.R Third Party Review Findings

  • None.

08.N Completion Checklist

  • All subsections (08.1-08.4) [x], status complete
  • Mission north-star gate (00-overview.md) verified green
  • Plan sync: all sections complete; index.md/00-overview.md updated
  • /tpr-review passed
  • /impl-hygiene-review passed
  • /review-plan final consensus run

Exit Criteria: North-star gate green; plan ready for archival to plans/completed/.