docs(audits): commit the 2026-08-04 audit report per ADR-0006 - #114
Closed
dlovell wants to merge 1 commit into
Closed
docs(audits): commit the 2026-08-04 audit report per ADR-0006#114dlovell wants to merge 1 commit into
dlovell wants to merge 1 commit into
Conversation
ADR-0006 puts one mechanical obligation on the caller: commit each audit report to docs/audits/<date>-<scope>.md, because the auditor's "rerun and compare" promise is "vacuous while reports die in the invoking conversation." The audit of 88d16b4 was run, all three of its shapes were dispositioned (#109, #110, #112) — and the report itself was left in the conversation. That is the exact failure the ADR exists to prevent, so the M1-M9 series, the seven mutation results and the checked-and-dropped list would have been re-derived from scratch next run. The report is verbatim apart from two caller additions: - a disposition table at the top, so the next reader sees which shapes closed and where; - a correction block on Shape 3. Its "satisfied at introduction zero times in six" claim was falsified in review of #112: it was a selection effect, and #41 and #74 appear in its own violation list while those same commits shipped at-introduction guards. The correction records the lesson for future audits — an "N for N" history claim needs the inverse query (are there contradicting instances OUTSIDE the sampled set?), not just verification that the sampled ones are individually right. Leaving the false claim uncorrected in the durable record would have been worse than not committing it at all. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Contributor
Author
|
Closing — holding the audit report out of git for now at the author's request. The file stays as a working draft; ADR-0006's commit step will happen separately once reviewed. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
ADR-0006 places one mechanical obligation on the caller: commit each audit report to
docs/audits/<date>-<scope>.md, because the auditor's "rerun and compare" promise is — in the ADR's own words — "vacuous while reports die in the invoking conversation."I ran the audit of
88d16b4, acted on all three shapes (#109, #110, #112), and left the report in the conversation. That is precisely the failure the ADR exists to prevent. Without this, the M1–M9 measurement series, the seven mutation results, and the checked-and-dropped list all get re-derived from scratch next run.Conformance after this PR:
2026-08-02-adr-0005-acceptance.md, re-ran M1–M7docs/audits/The report is verbatim apart from two caller additions:
Docs only.
pre-commit run --all-filesclean.🤖 Generated with Claude Code