Skip to content

Commit 76c3dad

Browse files
theislampilltheislampill
committed
docs: record v0.4.5.0 repair replacement
1 parent 8c14e28 commit 76c3dad

11 files changed

Lines changed: 298 additions & 154 deletions

‎TODO.md‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -68,9 +68,7 @@ mixed evidence, proposal, and release claims.
6868
this as active v0.4.3.5 release authorization, and do not cite it as current
6969
proof-corpus or docs-truthfulness evidence.
7070

71-
## Active
72-
73-
### [MUST][checker][fixture][docs][release][blocker] v0.4.5.0 ACT/MRP False-Pass Hardening
71+
### [DONE][checker][fixture][docs][release] v0.4.5.0 ACT/MRP False-Pass Hardening
7472

7573
- Problem: a secularism output that visibly emits ACT rows in round-robin owner-slot
7674
order (`B1_1, B2_1, B3_1, B4_1`, then later `B1_2...`) was able to look
@@ -87,13 +85,15 @@ mixed evidence, proposal, and release claims.
8785
`tests/mid-reread-pressure/invalid/ascii-multi-land-single-terminal-mrp.md`,
8886
and staged-runtime handshake invalid canaries for non-contiguous body refs and
8987
thinned per-burden reread coverage.
90-
- Release boundary: v0.4.5.0 public artifact facts remain historical, but proof
91-
closure/readiness is blocked until this false-pass hardening is reviewed,
92-
committed, run through CI, and any future package/release gate is explicitly
93-
opened by the maintainer. Do not tag, publish, or claim release readiness from
94-
this local patch.
95-
- Status: active release blocker with local hardening patch and validation evidence
96-
in progress; not a green release state.
88+
- Release boundary: v0.4.5.0 was replaced on 2026-06-18 only after the
89+
hardening commits were pushed/read back, CI/Pages passed, no-model canaries
90+
passed, Smoke C passed 4/4, the package/provenance pair was rebuilt, and
91+
GitHub tag/assets/body/downloads were read back.
92+
- Status: completed for v0.4.5.0 release-repair scope. Keep the fixture/checker
93+
class as a regression guard; do not treat this as arbitrary-input correctness
94+
or cross-host/paraphrase proof.
95+
96+
## Active
9797

9898
### [MUST][checker][source] Current Canon Checker Anchors
9999

‎docs/audits/INDEX.md‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -14,8 +14,8 @@ sweep moves them.
1414
| Path | Status | Note |
1515
|---|---|---|
1616
| `docs/release-artifacts.md` | ACTIVE CURRENT TRUTH | Release package/provenance evidence ledger and proof boundaries. |
17-
| `docs/audits/v0.4.5.0-act-mrp-false-pass-hardening.md` | ACTIVE RELEASE BLOCKER | 2026-06-18 ACT/MRP round-robin false-pass hardening note; v0.4.5.0 proof closure/readiness remains blocked until reviewed, CI-green, and explicitly release-gated. |
18-
| `docs/audits/v0.4.5.0-release-repair-replacement.md` | ACTIVE RELEASE REPAIR | Public v0.4.5.0 custody snapshot and replacement gate ledger for the already-published release after ACT/MRP false-pass hardening. |
17+
| `docs/audits/v0.4.5.0-act-mrp-false-pass-hardening.md` | COMPLETED RELEASE HARDENING | 2026-06-18 ACT/MRP round-robin false-pass hardening note; retained invalid fixture and checker/runtime guardrails are release-gated into the replaced v0.4.5.0 public assets. |
18+
| `docs/audits/v0.4.5.0-release-repair-replacement.md` | COMPLETED RELEASE REPAIR | Public v0.4.5.0 custody snapshot, countermeasure loop, Smoke C proof, package rebuild, and tag/asset/body/download readback ledger. |
1919
| `docs/package-smoke-readiness.md` | ACTIVE CURRENT TRUTH | Package-smoke runbook, strict witness gate, and deferred expanded-smoke slots. |
2020
| `docs/v0.4.3.0-release-notes.md` | ACTIVE CURRENT TRUTH | v0.4.3.0 release notes for closure reconstructibility, `field_witness`, visualizer, MRP, proof boundaries, and caveats. |
2121
| `docs/v0.4.3.0-release-log.md` | ACTIVE CURRENT TRUTH | v0.4.3.0 package artifact facts, proof boundary, and release step log. |

‎docs/audits/v0.4.5.0-act-mrp-false-pass-hardening.md‎

Lines changed: 11 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# v0.4.5.0 ACT/MRP False-Pass Hardening
22

3-
Status: `LOCAL_HARDENING_VALIDATED; V0.4.5.0_RELEASE_READINESS_BLOCKED; NO_TAG_NO_RELEASE`.
3+
Status: `RELEASE_GATED_AND_REPLACED_IN_V0.4.5.0; REGRESSION_GUARD_ACTIVE`.
44

55
Date: 2026-06-18
66

@@ -90,7 +90,13 @@ passed locally.
9090

9191
## Release Boundary
9292

93-
This patch does not tag, publish, upload assets, rewrite GitHub Releases, or claim v0.4.5.0
94-
release readiness. The published v0.4.5.0 artifact remains a historical publication fact, but
95-
proof closure/readiness is blocked until this hardening is reviewed, committed, run through CI,
96-
and any future package/release gate is explicitly opened by the maintainer.
93+
This hardening was release-gated into the replaced v0.4.5.0 public release on 2026-06-18.
94+
The current public package/provenance pair records source commit
95+
`8c14e28fbcf440275f4d143a9b7cadc6148aa5a9`, package SHA256
96+
`67FF081EF34B9CBE3BF03309F03DFAEF1C8D471640CED715D299A90344DFAB6F`, and
97+
provenance SHA256
98+
`E0BE60F71D78184206846918AE9329B5CF28378F297338E74A6B181381324239`.
99+
100+
Scope remains bounded: this closes the ACT/MRP public-traversal false-pass class for the
101+
v0.4.5.0 release-repair gate. It is not a claim of arbitrary-input correctness,
102+
cross-host/paraphrase proof, or guaranteed `T_lang` uptake.

‎docs/audits/v0.4.5.0-release-repair-replacement.md‎

Lines changed: 115 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# v0.4.5.0 Release Repair / Replacement Ledger
22

3-
Status: IN_PROGRESS_RELEASE_REPAIR
3+
Status: COMPLETE_RELEASE_REPLACED
44
Opened: 2026-06-18
55
Scope: Repair and replace the already-published v0.4.5.0 release only after the
66
round-robin ACT / terminal-MRP false-pass hardening is committed, pushed, read
@@ -356,3 +356,117 @@ Countermeasure evidence:
356356

357357
Next required gate: commit/push/read back this punctuation countermeasure and run
358358
a fresh all-at-once four-smoke matrix. v0.4.5.0 remains blocked.
359+
360+
### Phase 5 Readback
361+
362+
Punctuation countermeasure commit:
363+
`8c14e28fbcf440275f4d143a9b7cadc6148aa5a9` /
364+
`Normalize Stage 05 diagnostic punctuation`.
365+
366+
Push/readback evidence:
367+
368+
- `git push origin main` -> success.
369+
- `git ls-remote origin refs/heads/main` -> `8c14e28fbcf440275f4d143a9b7cadc6148aa5a9`.
370+
- CI run `27754882517` -> completed `success`.
371+
- Pages run `27754881617` -> completed `success`.
372+
- Pages latest build `1051759026` -> `built` at commit `8c14e28fbcf440275f4d143a9b7cadc6148aa5a9`.
373+
374+
## Phase 6 - Smoke C Matrix
375+
376+
Status: COMPLETE. Release replacement gate opened after this phase.
377+
378+
Matrix root:
379+
`.daee\staged-row-family-smokes\20260618-v0450-repair-cycle03`
380+
381+
All four cases were run in one bounded block with compiled-output mode,
382+
transport retries `0`, and no patching between cases.
383+
384+
| Case | Exit | Output SHA256 | Classification |
385+
|---|---:|---|---|
386+
| Trinitarian J17:3 | 0 | `90C08DFABAD59E2656E49EBA9E70AAD957735A8E6DD260C8AB36F2F13CC38DDC` | PASS |
387+
| TST Lillard | 0 | `2CB21B5340DADB1D043BD5A6736683077CF4B165A112F626DC82EDBE7D10AAA3` | PASS |
388+
| Khaybar | 0 | `BFAA99905532B0847623BE45D336C7A7BF21E859140D25BB26CBFFD1E21BDF6D` | PASS |
389+
| Secularism | 0 | `12F1B5115A95BB432679C5847D20C17EBAD62FA652C23F81F788BCEF691ABF40` | PASS |
390+
391+
Direct Smoke C validators:
392+
393+
| Command | Result |
394+
|---|---|
395+
| `python tools\check_mrp_route_invariants.py --outputs <expanded Smoke C output.md list>` | PASS: 6 valid, 6 invalid, 4 hosted. |
396+
| `python tools\check_public_burden_grouping.py --outputs <expanded Smoke C output.md list>` | PASS: 2 valid, 5 invalid, 4 hosted. |
397+
| `python tools\check_mid_reread_pressure.py --outputs .daee\staged-row-family-smokes\20260618-v0450-repair-cycle03\*\output.md` | PASS: 4 hosted outputs. |
398+
| `python tools\check_field_witness_convergence.py --outputs .daee\staged-row-family-smokes\20260618-v0450-repair-cycle03\*\output.md` | PASS: 4 hosted outputs. |
399+
| `python tools\check_formal_reread_state_semantics.py --outputs .daee\staged-row-family-smokes\20260618-v0450-repair-cycle03\*\output.md` | PASS: 4 hosted outputs. |
400+
| `python tools\check_graph_completeness.py --outputs .daee\staged-row-family-smokes\20260618-v0450-repair-cycle03\*\output.md` | PASS: 4 hosted outputs. |
401+
| `python tools\check_owner_activation_ordering.py --require-plan --outputs .daee\staged-row-family-smokes\20260618-v0450-repair-cycle03\*\output.md` | PASS: 4 hosted outputs. |
402+
| `python tools\check_manual_smoke_render_contract.py --outputs .daee\staged-row-family-smokes\20260618-v0450-repair-cycle03\*\output.md` | PASS: 4 outputs. |
403+
404+
Command Andon:
405+
PowerShell wildcard arguments were not expanded for
406+
`check_mrp_route_invariants.py` and `check_public_burden_grouping.py` on the
407+
first direct-validator invocation. The corrected explicit file-list invocation
408+
passed. This did not alter the Smoke C outputs or patch state.
409+
410+
Historical false-pass rejection remained active:
411+
`python tools\check_mrp_route_invariants.py --outputs C:\Users\theis\Downloads\daee-epistemics-refute-secularism-output.md`
412+
continued to fail with interleaved ACT groups, non-contiguous burden order,
413+
missing per-Land MRP, terminal `no_new_resultant` covering prior Land gates,
414+
premature sidecar `no_new_resultant`, and sidecar laundering diagnostics.
415+
416+
## Phase 7 - Release Replacement / Readback
417+
418+
Status: COMPLETE. The existing public `v0.4.5.0` tag, release assets, and
419+
release body were replaced after Phase 6.
420+
421+
Package build and local validation:
422+
423+
| Command | Result |
424+
|---|---|
425+
| `python tools\build_framework_pipeline.py` | PASS; changed `no`. |
426+
| `python tools\build_compiled_runtime.py` | PASS; 12 bundles, 104 compiled source sections. |
427+
| `python tools\check_compiled_runtime_freshness.py` | PASS. |
428+
| `python tools\check_package_shape.py` | PASS. |
429+
| `powershell -NoProfile -ExecutionPolicy Bypass -File .\package.ps1 build\daee-epistemics-v0.4.5.0.skill.zip` | PASS; SHA256 `67FF081EF34B9CBE3BF03309F03DFAEF1C8D471640CED715D299A90344DFAB6F`, size `711841`, entries `21`. |
430+
| `python tools\check_compiled_skill_self_contained.py --package build\daee-epistemics-v0.4.5.0.skill` | PASS. |
431+
| `python tools\check_skill_package_artifact.py build\daee-epistemics-v0.4.5.0.skill --expect-version v0.4.5.0` | PASS. |
432+
| `python tools\check_release_provenance.py --provenance build\daee-epistemics-v0.4.5.0.provenance.json --package build\daee-epistemics-v0.4.5.0.skill --manifest skill\build-manifest.json --compiled-map skill\compiled-module-map.json` | PASS. |
433+
| `python tools\check_mojibake.py build\v0.4.5.0-release-body.md build\daee-epistemics-v0.4.5.0.provenance.json` | PASS. |
434+
| `python tools\check_encoding_hygiene.py` | PASS. |
435+
436+
Replacement artifacts:
437+
438+
| Artifact | SHA256 | Size |
439+
|---|---|---:|
440+
| `build\daee-epistemics-v0.4.5.0.skill` | `67FF081EF34B9CBE3BF03309F03DFAEF1C8D471640CED715D299A90344DFAB6F` | `711841` |
441+
| `build\daee-epistemics-v0.4.5.0.provenance.json` | `E0BE60F71D78184206846918AE9329B5CF28378F297338E74A6B181381324239` | `1595` |
442+
443+
Remote replacement commands:
444+
445+
| Command | Result |
446+
|---|---|
447+
| `git tag -f -a v0.4.5.0 -m "v0.4.5.0 ACT/MRP false-pass repair replacement" 8c14e28fbcf440275f4d143a9b7cadc6148aa5a9` | PASS; local tag updated. |
448+
| `git push origin refs/tags/v0.4.5.0 --force` | PASS; forced update from `42bc55a` to `772f07d`. |
449+
| `gh release upload v0.4.5.0 build\daee-epistemics-v0.4.5.0.skill build\daee-epistemics-v0.4.5.0.provenance.json --clobber` | PASS. |
450+
| `gh release edit v0.4.5.0 --title "v0.4.5.0 - ACT/MRP False-Pass Repair + Structural Integrity Hardening" --notes-file build\v0.4.5.0-release-body.md` | PASS. |
451+
452+
Readback:
453+
454+
| Check | Result |
455+
|---|---|
456+
| `git ls-remote --tags origin refs/tags/v0.4.5.0 refs/tags/v0.4.5.0^{}` | tag object `772f07d0cb8f476e4e9b06f55a97610337d232dd`; peeled commit `8c14e28fbcf440275f4d143a9b7cadc6148aa5a9`. |
457+
| `gh release view v0.4.5.0 --json ...` | title/body updated; package digest `sha256:67ff081ef34b9cbe3bf03309f03dfaef1c8d471640ced715d299a90344dfab6f`; provenance digest `sha256:e0be60f71d78184206846918ae9329b5cf28378f297338e74a6b181381324239`. |
458+
| `gh release download v0.4.5.0 --dir .daee\release-readback\v0.4.5.0-repair-20260618-0755 ...` | PASS. |
459+
| Downloaded package SHA256 | `67FF081EF34B9CBE3BF03309F03DFAEF1C8D471640CED715D299A90344DFAB6F`. |
460+
| Downloaded provenance SHA256 | `E0BE60F71D78184206846918AE9329B5CF28378F297338E74A6B181381324239`. |
461+
| `python tools\check_release_provenance.py --provenance .daee\release-readback\v0.4.5.0-repair-20260618-0755\daee-epistemics-v0.4.5.0.provenance.json --package .daee\release-readback\v0.4.5.0-repair-20260618-0755\daee-epistemics-v0.4.5.0.skill --manifest skill\build-manifest.json --compiled-map skill\compiled-module-map.json` | PASS. |
462+
| `python tools\check_skill_package_artifact.py .daee\release-readback\v0.4.5.0-repair-20260618-0755\daee-epistemics-v0.4.5.0.skill --expect-version v0.4.5.0` | PASS. |
463+
| Downloaded source zip SHA256 | `F0B137FA15F653A8E70FD11B7514A0159C6D6D4ECDDAA267EE4E6AB0B7133032`; top directory `daee-epistemics-0.4.5.0`; contains retained invalid fixture and route checker. |
464+
465+
Docs readback metadata:
466+
`python tools\update_release_download_metadata.py --tag v0.4.5.0 --require-github`
467+
refreshed `docs/index/release-download.json` from the replaced public release.
468+
469+
Final status:
470+
v0.4.5.0 release-repair/replacement is complete for the ACT/MRP false-pass
471+
class. Scope remains bounded: no arbitrary-input correctness,
472+
cross-host/paraphrase proof, or guaranteed `T_lang` uptake is claimed.

‎docs/daee-epistemics-pipeline.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -334,7 +334,7 @@ <h3>Failure modes the design blocks</h3>
334334

335335
</div>
336336
<script id="docs-pipeline-generated-provenance">
337-
window.DOCS_PIPELINE_PROVENANCE = {"classification": "CURATED_SUMMARY_WITH_OWNER_REFERENCES", "generator": "tools/build_docs_index.py", "manifest": "docs/index/manifest.json", "output": "docs/daee-epistemics-pipeline.html", "owner_sources": ["atomics/skill/references/diagnostics/framework-pipeline.yaml", "atomics/skill/references/diagnostics/framework-pipeline.md", "atomics/skill/references/diagnostics/diagnostic-ir.md", "atomics/skill/references/diagnostics/recursive-state-transitions.md", "atomics/skill/references/rubrics/diagnostic-render-contract.md", "atomics/skill/references/rubrics/output-release.md"], "source_digest": "9f03ea230a2b1c4c6c5d9dcb6939634eaf059d7c4cc4b22a0a1f925ce2e3ebdc"};
337+
window.DOCS_PIPELINE_PROVENANCE = {"classification": "CURATED_SUMMARY_WITH_OWNER_REFERENCES", "generator": "tools/build_docs_index.py", "manifest": "docs/index/manifest.json", "output": "docs/daee-epistemics-pipeline.html", "owner_sources": ["atomics/skill/references/diagnostics/framework-pipeline.yaml", "atomics/skill/references/diagnostics/framework-pipeline.md", "atomics/skill/references/diagnostics/diagnostic-ir.md", "atomics/skill/references/diagnostics/recursive-state-transitions.md", "atomics/skill/references/rubrics/diagnostic-render-contract.md", "atomics/skill/references/rubrics/output-release.md"], "source_digest": "e83097014b338368cfb86be442483f863c78bdfe1aa465b209f9f4883d9958a7"};
338338
</script>
339339
</body>
340340
</html>

‎docs/index.html‎

Lines changed: 2 additions & 2 deletions
Large diffs are not rendered by default.

‎docs/index/release-download.json‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2,23 +2,23 @@
22
"schema_version": 1,
33
"status": "generated-release-download-metadata",
44
"source": "GitHub Release metadata via gh release view",
5-
"generated_at": "2026-06-15T09:41:04Z",
5+
"generated_at": "2026-06-18T11:56:06Z",
66
"repo": "theislampill/daee-epistemics",
77
"latest_tag": "v0.4.5.0",
8-
"release_title": "v0.4.5.0 - Structural Integrity Hardening + Cycle63 Baseline Restoration",
8+
"release_title": "v0.4.5.0 - ACT/MRP False-Pass Repair + Structural Integrity Hardening",
99
"release_url": "https://github.com/theislampill/daee-epistemics/releases/tag/v0.4.5.0",
1010
"published_at": "2026-06-15T09:40:25Z",
1111
"is_draft": false,
1212
"is_prerelease": false,
1313
"download_kind": "direct_asset",
1414
"primary_skill_asset_name": "daee-epistemics-v0.4.5.0.skill",
1515
"primary_skill_asset_browser_download_url": "https://github.com/theislampill/daee-epistemics/releases/download/v0.4.5.0/daee-epistemics-v0.4.5.0.skill",
16-
"primary_skill_asset_size": 711590,
17-
"primary_skill_asset_digest": "sha256:011e5eaa603747e126a0e403b9f22174043936e827235f423314d312ece43ce0",
16+
"primary_skill_asset_size": 711841,
17+
"primary_skill_asset_digest": "sha256:67ff081ef34b9cbe3bf03309f03dfaef1c8d471640ced715d299a90344dfab6f",
1818
"provenance_asset_name": "daee-epistemics-v0.4.5.0.provenance.json",
1919
"provenance_asset_browser_download_url": "https://github.com/theislampill/daee-epistemics/releases/download/v0.4.5.0/daee-epistemics-v0.4.5.0.provenance.json",
20-
"provenance_asset_digest": "sha256:feaa465cc0606f6883c4dcd386102adee5a0e29cdbabe189d82f4137497b63ec",
21-
"sha256": "011E5EAA603747E126A0E403B9F22174043936E827235F423314D312ECE43CE0",
20+
"provenance_asset_digest": "sha256:e0be60f71d78184206846918ae9329b5cf28378f297338e74a6b181381324239",
21+
"sha256": "67FF081EF34B9CBE3BF03309F03DFAEF1C8D471640CED715D299A90344DFAB6F",
2222
"fallback_url": "https://github.com/theislampill/daee-epistemics/releases/latest",
2323
"non_claim": "Release metadata powers a navigation link only; it is not runtime proof, smoke proof, or a public raw-smoke artifact."
2424
}

0 commit comments

Comments
 (0)