mrwulf a693d288fb docs: estate-wide consistency pass (workflow audit, 36 findings, all verified before fixing) ... Nine parallel readers audited every doc against measured ground truth; every finding was re-verified against the file before any edit, and the sweep fixed by PROPERTY, not by flag — wording the readers caught in one repo was hunted in all siblings (the two-button README sentence existed in all four forks, not the three flagged; likewise the cone-overclaim in TRUSTED-BASE item 1). This repo: see the diff. Records were not rewritten; clarifications are dated. Doc-only except where noted in the estate summary; every gated doc change was followed by a green button run. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>		2026-08-07 16:00:54 +02:00
..
gen/SlhVerify	correspondence: keep the artifact that says what the model must answer	2026-08-03 15:49:16 +02:00
Proofs	Phase 3c: declaration coverage in both directions, and the accounting identity	2026-08-03 17:34:00 +02:00
AUDIT-MANIFEST.txt	review round 6: pin the auditor, purge every olean, pin gen/ as a set	2026-07-28 09:22:12 +02:00
check-selftest.sh	round 8: self-deriving harness pins, honest extraction guarantees, attestation basis	2026-07-28 14:40:39 +02:00
check.sh	docs: estate-wide consistency pass (workflow audit, 36 findings, all verified before fixing)	2026-08-07 16:00:54 +02:00
drill.sh	drill: the post-flight drill becomes a button (drill.sh)	2026-07-23 15:36:00 +02:00
driver-allowlist.txt	Phase 3c: declaration coverage in both directions, and the accounting identity	2026-08-03 17:34:00 +02:00
extract.sh	re-pin source @ a3ce8e8 (extraction-script honesty fixes) and rotate extract.sh's harness pin	2026-07-28 14:42:46 +02:00
inventory-allowlist.txt	Phase 3c: declaration coverage in both directions, and the accounting identity	2026-08-03 17:34:00 +02:00
inventory_gate.sh	Phase 3c: declaration coverage in both directions, and the accounting identity	2026-08-03 17:34:00 +02:00
lean-guard	lean-guard: surface clamp/kill diagnostics on stderr (operator incident 2026-07-24)	2026-07-24 21:37:05 +02:00
model-correspondence.py	correspondence: keep the artifact that says what the model must answer	2026-08-03 15:49:16 +02:00
MODEL-CORRESPONDENCE.txt	correspondence: keep the artifact that says what the model must answer	2026-08-03 15:49:16 +02:00
PROVENANCE.json	llbc: commit the artifact the claim depended on, and verify the pin block	2026-08-03 20:36:19 +02:00
RECORDED-RUN.md	provenance: name the pin the machine actually enforces	2026-08-03 15:28:57 +02:00
SlhVerify.llbc	llbc: commit the artifact the claim depended on, and verify the pin block	2026-08-03 20:36:19 +02:00