0%

Section 09: Remediation — aims-proofing-suite fabricated completions

Status: Not Started Goal: Clean up the damage that triggered this plan, using the new reversal authority so the cleanup itself follows the rule. §08 is confirmed fabricated; §05/§07/§14 are unverified and must be checked, not assumed.

Success Criteria:

  • §08 reverted (status/reviewed/checkboxes/08.R) via /independent-review reversal + HISTORY note.
  • §05/§07/§14 deliverable-verified → re-attested if pass, reset to needs-review if fail, each with a HISTORY note.
  • §08 content_hash amplification (this session’s ce464bd4…→123041a1… refresh) undone.
  • plan_corpus check plans/completed/aims-proofing-suite/ clean.

Context: §08 was hand-flipped to complete with zero deliverables (aims-proof/proofs/08-realization/ missing; Per-RL table all pending); this session’s autopilot drift-cure refreshed its content_hash, masking the drift. §05 (05-decisions/ exists) + §07 (07-pipeline/ exists) have proof dirs and may be legitimate — verify, don’t assume. §14 is not a proof section. The working-tree state is uncommitted + unpushed; reverting is Edit-only, never destructive git (per feedback_never_destructive_git).

Depends on: Section 06 (/independent-review reversal authority — this section is its first dogfood). NOTE per 00-overview bootstrap caveat: if the user directs an earlier neutralization of §08, that is a documented one-time pre-rule exception recorded in HISTORY; the default sequences §09 after §06.

Intelligence Reconnaissance

Queries run 2026-05-26:

  • scripts/intel-query.sh search "aims-proofing-suite realization proofs" — N/A on the Rust-only code-symbol graph; this section edits plan markdown. Recorded per plan-schema non-Rust allowance.
  • Direct grounding (this session): git diff HEAD -- plans/completed/aims-proofing-suite/section-08-*.md shows status not-started→complete, reviewed false→true, all proof checkboxes [x], fabricated 08.R, content_hash 123041a1809bbfb6… (refreshed by this session from ce464bd43f0b0fac…). find aims-proof/proofs confirms 08-realization/ absent; 05-decisions/, 07-pipeline/ present. section-05/-07 status=complete reviewed=true; section-14 status=complete reviewed=true (non-proof: cross-plan-blocked-by-setup).

Results summary [ori]: §08 confirmed fabricated (missing proof dir + all-pending table). §05/§07 have proof dirs → deliverable-verify before deciding. §14 non-proof → verify its actual deliverable. All four uncommitted in working tree; revert via Edit + /independent-review reversal API (§06), never git restore/checkout.

09.1 Revert §08 + undo content_hash amplification via /independent-review reversal

File(s): plans/completed/aims-proofing-suite/section-08-realization-rule-proofs.md

  • Use /independent-review’s reversal authority (§06) on §08: status: complete→not-started, reviewed: true→false, uncheck all RL-1..RL-34 + composition + §04B-propagation + close-out-infrastructure [x]→[ ], remove the fabricated 08.R Third Party Review Findings block (no real TPR occurred).
  • Undo the content_hash amplification: the reverted §08 carries a content_hash consistent with its reverted state (recompute via the SSOT helper), NOT the fabricated-complete 123041a1….
  • HISTORY note (neutral, no verbatim anger per feedback_no_verbatim_user_anger_in_logs): record the fabricated completion (zero deliverables), the drift-cure content_hash refresh that masked it, and the reversal.
  • Subsection close-out (09.1) — MANDATORY before 09.2:
    • Tasks [x]; plan_corpus check on §08 clean (not-started, no un-attested complete); update subsection status → complete.
    • Repo hygiene check — compiler_repo/diagnostics/repo-hygiene.sh --check.

09.2 Deliverable-verify §05/§07/§14; re-attest or reset

File(s): plans/completed/aims-proofing-suite/section-05-*.md, section-07-*.md, section-14-*.md

  • Run /independent-review’s deliverable-existence verification (§06) on §05, §07, §14.
    • §05 / §07: if every success_criteria deliverable exists (proof files in 05-decisions/ / 07-pipeline/ present + checks pass), re-attest (write a valid attestation) and keep complete; else revert to needs-review (not-started/in-progress) with a HISTORY note naming the missing deliverable.
    • §14: verify its declared deliverable (cross-plan blocked-by setup) exists; re-attest or reset likewise.
  • Subsection close-out (09.2) — MANDATORY before 09.N:
    • Tasks [x]; each of §05/§07/§14 is either validly attested-complete or cleanly reset; update subsection status → complete.
    • Repo hygiene check — compiler_repo/diagnostics/repo-hygiene.sh --check.

09.N Completion Checklist

  • 09.1–09.2 [x] and status complete.
  • §08 reverted (not-started, reviewed:false, checkboxes cleared, 08.R removed, content_hash consistent).
  • §05/§07/§14 each validly attested OR cleanly reset, each with a HISTORY note.
  • python -m scripts.plan_corpus check plans/completed/aims-proofing-suite/ exit 0 (no un-attested completes).
  • No destructive git used — all reverts via Edit + /independent-review reversal API.
  • Plan sync — close via §06 /independent-review (bootstrap caveat); update 00-overview.md + index.md.
  • Repo hygiene check — compiler_repo/diagnostics/repo-hygiene.sh --check.

Exit Criteria: No fabricated completion remains in aims-proofing-suite; §08 is reverted with the content_hash amplification undone; §05/§07/§14 are validly attested or cleanly reset; plan_corpus check plans/completed/aims-proofing-suite/ is clean; every change was Edit-based (no destructive git).