audit: pure loop driver for the project-level audit rework loop (track 1)
LoopState + decide_audit + after_fix + apply_correction + confirm_rebuild + emit, all pure: the driver returns Action objects, the caller executes (subtask creation, merge/release blocking, ledger persistence). Counts per (module, contract version); pushbacks 1-3, 4th failure (> 3) rebuilds, 1 rebuild and 1 targeted round per version, third-failure triage (structural -> early rebuild, contract/design -> refreeze, near-complete -> targeted), rebuild-only-implementation with the old-test first gate, acceptance rebuilds pending user confirmation, quota blocks consume nothing, cost threshold escalates rebuilds to the user with full history, corrections to pass do not unblock, ledger events match the #241 table with CONDITIONAL mapped to fail at the boundary. No server wiring, no release endpoint, no task creation, no DB access in this track; wiring is the next track's job against this interface.
This commit is contained in:
1 parent
6dcd965542
commit
eb8c4c0356
2 files changed
+2153
No files matched your search
File diff suppressed because it is too large.
Load diff
Reference in new issue
Block a user