0%

Section 06: Build /independent-review as Verified Completer + Reversal Authority

Status: Not Started Goal: The single writer. /independent-review proves deliverables exist, then attests + completes; and owns the reversal bundle. This is the section the whole plan’s bootstrap depends on.

Success Criteria:

  • Locate + document /independent-review’s actual definition; declare role/authority.
  • Deliverable-existence verification (touches exist, tests pass, no pending tracking rows) gates attestation.
  • Verified pass → write independent_review attestation + the status:→complete flip.
  • Reversal authority: reviewed:true→false + uncheck-all + HISTORY note, atomic.
  • Consolidation-with-/tpr-review --cold-parallel decision recorded.

Context: This is the keystone. The §08 fabrication would have been caught here: aims-proof/proofs/08-realization/ does not exist, so deliverable-existence verification fails and /independent-review refuses to attest. Until this lands, NOTHING can legitimately complete (bootstrap caveat in 00-overview).

Depends on: Section 03 (the rule) + Section 04 (the attestation schema it writes).

Intelligence Reconnaissance

Queries run 2026-05-26:

  • scripts/intel-query.sh search "independent-review" — N/A on the Rust symbol graph. Recorded per plan-schema non-Rust allowance.
  • Direct grounding (this session): /independent-review appears in the available-skills list (“Cold-context code review via parallel-blinded N reviewer agents + fork-context adjudicator; CONSOLIDATION PENDING into /tpr-review —cold-parallel”) and in skill-control-contract.md §Roles (tool). .claude/commands/independent-review.md does NOT exist — UNVERIFIED actual location (likely .claude/skills/independent-review/SKILL.md or generated). MUST confirm in 06.1 before editing.

Results summary [ori]: /independent-review is currently a cold-context reviewer (tool role), NOT a plan-completer. This section adds the completion+reversal authority + deliverable-existence teeth + attestation-write. Open: consolidation with /tpr-review --cold-parallel. UNVERIFIED: exact file location of /independent-review definition — confirm first in 06.1.

06.1 Locate + document /independent-review; declare authority

File(s): /independent-review definition (UNVERIFIED location — locate first); .claude/rules/completion-authority.md (§03) cross-ref

  • Locate the actual /independent-review definition (search .claude/skills/, .claude/commands/, generated skill manifests). Record the path.
  • Document its current role (cold-context reviewer, tool) + the authority this plan adds (sole completer + reversal). Confirm role per skill-control-contract.md.
  • Decide consolidation: extend /independent-review in place vs fold into /tpr-review --cold-parallel. Record the decision + rationale in a decisions/ artifact or the section body.
  • Subsection close-out (06.1) — MANDATORY before 06.2:
    • Tasks [x]; location + authority documented; update subsection status → complete.
    • Repo hygiene check — compiler_repo/diagnostics/repo-hygiene.sh --check.

06.2 Deliverable-existence verification (the teeth)

File(s): /independent-review runtime (per 06.1 location); a verification helper in scripts/

  • Implement deliverable-existence verification consumed before any completion: for the section under review, every touches: path exists; declared test/verification commands pass; no proof/tracking table row remains pending; success_criteria checkboxes that assert an artifact have that artifact present.
  • Verification FAILS closed: any missing deliverable → refuse to attest/complete + surface which criterion failed.
  • Tests: a section with a missing touches: dir (the §08 shape) is refused; a section with all deliverables present passes.
  • Subsection close-out (06.2) — MANDATORY before 06.3:
    • Tasks [x]; the §08-shape fixture is refused; update subsection status → complete.
    • Repo hygiene check — compiler_repo/diagnostics/repo-hygiene.sh --check.

06.3 Attestation write + completion flip + reversal authority

File(s): /independent-review runtime; scripts/review_plan_runtime/status_flip.py (authorized-writer path)

  • On verification pass: write the independent_review attestation block (§04 schema; content_hash binds the attested body; deliverables_checked populated) AND perform status:→complete (+ reviewed:false→true if applicable) via the sole authorized writer path.
  • Reversal authority: a single atomic operation flipping reviewed:true→false, unchecking all [x]→[ ] items, and appending a HISTORY note. This is the only path permitted to do reviewed:true→false post §05.
  • Tests: completion writes a valid attestation that plan_corpus check accepts; reversal produces a clean un-reviewed section + HISTORY note.
  • Subsection close-out (06.3) — MANDATORY before 06.N:
    • Tasks [x]; round-trip (complete → reverse) tested; update subsection status → complete.
    • Repo hygiene check — compiler_repo/diagnostics/repo-hygiene.sh --check.

06.N Completion Checklist

  • 06.1–06.3 [x] and status complete.
  • /independent-review location documented; role/authority declared.
  • Deliverable-existence verification refuses the §08-shape fixture; passes a complete fixture.
  • Completion writes a plan_corpus check-valid attestation; reversal round-trips clean.
  • Consolidation-with-/tpr-review --cold-parallel decision recorded.
  • python3 -m pytest <independent-review tests> -q green.
  • Plan sync — this section is the authority that closes the rest; close via /independent-review; update 00-overview.md + index.md.
  • Repo hygiene check — compiler_repo/diagnostics/repo-hygiene.sh --check.

Exit Criteria: /independent-review verifies deliverable existence, writes a content-hash-bound attestation, performs the status:→complete flip, and owns the atomic reviewed:true→false + uncheck-all + HISTORY-note reversal; the §08-shape fixture is refused; tests green.