Repository navigation
[umbrella] Estate audit & optimization — make the enforcement real (Waves 0–6) #460
Description
Program tracker for the estate-wide audit-and-uplift anchored in standards. Ordered by estate doctrine (RSR-PHILOSOPHY.adoc): holes before goals, solutions at source, always fail loudly.
The diagnosis (7-agent recon): the estate's declarations were rich but enforcement was largely theatre — validators passed vacuously, mandatory checks were declared-but-never-run, and there was no post-action check on an agent's claims. Each wave converts a layer of theatre into a check that genuinely can fail.
Landed
- Wave 0 — kill the false green (Estate audit & optimization — Wave 0: kill the false green (holes before goals) #453):
check-6scm.shno longer passes vacuously; theboj-buildK9 stub became a real structural check;rsr-audit.sharg bug fixed (closes rsr-audit.sh: stale v1.0.0 canon + positional-arg bug → false-negative scores #387); the|| truemasking a broken RSR audit removed;audit-contractiles.shde-hardcoded. Every fix ships a red-team fixture. Also fixed the root cause of estate-wide PR-red:mainitself carried un-regenerated registry drift (relates REGISTRY.a2ml drift recurs and blocks every PR — needs a regen step or pre-commit hook #381/CI: governance + hypatia-scan red on main — 104 Hypatia findings vs empty baseline #399). - Wave 1 — make automation run (Estate audit & optimization — Wave 0: kill the false green (holes before goals) #453): the Mustfile's 16 invariants now execute in CI (
run-mustfile.sh);hooks/install.sh+just hooks-install; registry-drift CI now self-explains the fix; hypatia-scan honestly labelled ADVISORY (relates Proposal: an honest, adoptable readiness/insight badge framework — grade our own work, and challenge the evaluators #446). - Wave 3 — compliance scorecards + dashboard (Estate audit — Wave 3: MUST/SHOULD/COULD compliance scorecards + generated dashboard #454):
COMPLIANCE-DASHBOARD.mdgenerated from 28 per-spec scorecards keyed to the registry,--check-gated. Honest baseline: 41/138 MUSTs passing, 66% systems coverage. Aspirational Grade-A gates never count as pass (operationalises Proposal: an honest, adoptable readiness/insight badge framework — grade our own work, and challenge the evaluators #446). - Wave 4 — DYADT post-action claim verification (Estate audit — Wave 4: DYADT, post-action agent-claim verification (rein in LLMs) #457) + hardening (Harden the DYADT claim verifier against adversarial-review bypasses #458): the missing Tier-4 "agent claimed X → mechanically confirm/refute X". Reference verifier + conformance vectors + dogfood; hardened fail-safe against a 3-lens adversarial review.
- Wave 5 — per-language testing standard v2.0.0 (Estate audit — Waves 5 + 6: per-language testing standard, canonical-names guard, DYADT residual fix #459): RFC-2119 R1–R9 mapped to the CRG taxonomy; guide template; AffineScript guide (honest gaps);
check-language-guide.shgate.
Remaining charters (hand-off to other sessions / bots)
- DYADT production verifier — implement the continuous, network-capable verifier in
hyperpolymath/did-you-actually-do-thatagainst the conformance vectors indid-you-actually-do-that/spec/conformance/. Acceptance = passes that suite. (child issue) - Per-language guides — Zig, Elixir+Gleam, Idris2/Agda from the template; refresh the Julia guide to R1–R9; migrate the AffineScript guide SSOT to
hyperpolymath/affinescript. (child issue) - Promote advisory scanners to blocking — flip
affinescript-verify.ymland hypatia-scan critical-issue steps to gating against a committed baseline (relates CI: governance + hypatia-scan red on main — 104 Hypatia findings vs empty baseline #399, Hypatia scanner build-cache is stale-by-design — merged scanner fixes never activate in CI #437, Proposal: an honest, adoptable readiness/insight badge framework — grade our own work, and challenge the evaluators #446). - Mustfile enforcement as a PR gate —
run-mustfile.shruns on push-to-main today; also gate PRs. - 6a2 → descriptiles — complete the file migration + adopt a reintroduction guard estate-wide (
rsr-template-repo); relates the CANONICAL-NAMES mandate. - RSR v2.0 machine-half — port
spec.scm/*(Guile, references deprecated STATE.scm) to.machine_readable/, reconciled withTIERS.adoc. - Estate scorecard rollout — per-repo scorecards + an estate-wide grade dashboard.
- Release hygiene — first tagged release;
rand<0.9.3advisory expiry;audits/licence-flags-2026-07.adoc(flag-only).
Cross-links to existing issues
Relates: #381 (registry drift), #399 (CI-red on main), #426 (estate CI-red master cause), #437 (hypatia stale cache), #446 (honest badge framework), #451 (reusable-workflow permissions), #387 (rsr-audit bugs, fixed), #124 (proof-debt epic), #348 (gitbot fan-out).
Licence/SPDX is flag-only throughout every wave — no header edits.
Activity
feat(wave6): canonical-names guard, DYADT residual fix, licence-flag …
Estate audit — Waves 5 + 6: per-language testing standard, canonical-…
refactor(metadata): migrate 6a2 to descriptiles (#625)
hyperpolymath commentedon Aug 24, 2026
Wave 6 continuation update (2026-08-24):
Canonical metadata naming:
.machine_readable/6a2/directories migrated to.machine_readable/descriptiles/(180 file renames); the exact archived Wave-3 provenance payload remains under its historical path.descriptiles; planted retired-path controls and 49 focused tests pass.mainneeds those hashes refreshed.Reproducible HYP-S009 inventory:
4146215e89683c762eb320aac69417901ca343ceeb6abadc6103c078b853f954tools/k9-init/Cargo.toml)Recommended extraction order remains #492 AXEL pilot, then #491. #490 and #494 are destination-blocked from the authenticated horizon (
hyperpolymath/a2mland/lolnot visible); do not create/delete destinations without owner direction. #493 must remain licence-neutral.Licence boundary: no licence/SPDX content was edited. The 32 tracked #497 paths remain owner-only; this includes 25 (not the stale issue-body count of 24) under
toolchain-readiness-grades/references/007/.fix(rules): retire 6a2 descriptile paths (#719)
hyperpolymath commentedon Aug 25, 2026
2026-08-25 — full triage of all 65 open issues; four new umbrellas filed
A complete pass over this repo's open issues was done on 2026-08-25. Results: 3 closed (#407, #303, #313), 4 issue bodies corrected for false premises, 1 canon conflict ruled, and the outstanding work regrouped under four new umbrellas:
standardsreusables across 25 SHA generations, with current HEADd67def67appearing zero times.patallm-gallerywhile three estate registries name a repo that was never minted); the generalisable deliverable is a detector.git-logistics-officecharter: the estate control plane, owning repo lifecycle birth → enrollment → life → death.Work already shipped from that pass:
observe.sh— the merge sense organ, written 2026-07-13 and called by no workflow sincedot-git-private-farm, a repo that does not existhyperpolymath commentedon Aug 27, 2026
Re-verified 2026-08-27 — three "remaining charters" are in fact done
registry-verify.ymlrunsscripts/run-mustfile.shonpull_request, with an explicit "Wave-8 gate promotion" commentspec.scm/has 0 tracked files;.machine_readable/has 956a2paths vs 180descriptilepathsGenuinely still open
hyperpolymath/did-you-actually-do-that404s; the spec and its 10 conformance vectors live insidestandards/did-you-actually-do-that/. Retarget is already recorded in [umbrella] Surface the buried projects — DYADT is the worked example, the detector is the deliverable #635.affinescript-testing-guide.adoc,julia-testing-tools-guide.adoc, plus the TEMPLATE. Missing: Zig, Elixir+Gleam, Idris2/Agda.Recommend: tick the three completed charters, and let this umbrella close once #635 and the guides land.