From 741093646b0040a3ddd57d556a7f01ed7ceb5cfc Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 27 Oct 2026 08:14:21 +0000 Subject: [PATCH 1/6] docs(readme): add the five-repo map paragraph MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit What was wrong: the README's "Where it sits" showed the three-repo picture only (Haec → Trope IR → trope-checker); the store/query track and the HC-1 / ADR-0002 dependency facts were absent. What changed: the five-repo map paragraph, verbatim as in the workbench and checker READMEs, appended to "Where it sits — the three-repo picture". What I ran: n/a (prose only). What I did not run: n/a. Co-Authored-By: Claude Fable 5.1 Claude-Session: https://claude.ai/code/session_01J4QvDh3p24SCUjyM9HHT31 --- README.adoc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.adoc b/README.adoc index b287e1e..bd818dd 100644 --- a/README.adoc +++ b/README.adoc @@ -73,6 +73,9 @@ calculus* (grade algebra, IR semantics, soundness) is normative in `trope-checker/spec/calculus.adoc`, which this repository references rather than restates. See `docs/trope-estate-architecture.svg`. +The five-repo map. Vocabulary track: trope-particularity-workbench → haec → trope-checker (verdict). Store/query track: haec → vocarium → hermeneia → trope-checker (verdict). trope-checker depends on nothing (HC-1); the workbench depends on nothing; vocarium and hermeneia meet at the M2 StoreProvider adapter (vocarium ADR-0002: wire, do not link). + + == The type discipline (summary; the normative spec lives with the checker) The judgement is `Γ ⊢ e : A ! g` — _e_ produces an _A_ with loss-shape grade _g_. From 07d5031a86a5a78b42df4038f68c073a48bd3894 Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 27 Oct 2026 08:14:21 +0000 Subject: [PATCH 2/6] docs(affirmation): 2026-10-27 entry from tests/check-examples.sh What was wrong: the only entry was 2026-06-22; nothing recorded a run against the ratified checker. What changed: a dated entry with the run (3 examples well-formed, vendored schema matches the canonical one, 3 round-trips to the stated verdicts, witness e_collapse/fate.quality), the checker commit the binary came from, and the unchanged honest scope: no compiler, no LSP, no runtime, O2 stated not discharged, no proofs. :revdate: bumped. What I ran (haec e9bee39, 2026-10-27T07:49Z): TROPECHECK_BIN= bash tests/check-examples.sh -> all ok, rc 0 What I did not run: n/a. Co-Authored-By: Claude Fable 5.1 Claude-Session: https://claude.ai/code/session_01J4QvDh3p24SCUjyM9HHT31 --- AFFIRMATION.adoc | 19 ++++++++++++++++++- 1 file changed, 18 insertions(+), 1 deletion(-) diff --git a/AFFIRMATION.adoc b/AFFIRMATION.adoc index cae47d8..1439259 100644 --- a/AFFIRMATION.adoc +++ b/AFFIRMATION.adoc @@ -2,7 +2,7 @@ // SPDX-License-Identifier: CC-BY-SA-4.0 // SPDX-License-Identifier: CC-BY-SA-4.0 = AFFIRMATION — Haec -:revdate: 2026-06-22 +:revdate: 2026-10-27 A dated, ground-truthed honesty snapshot. This is the brief's "STATUS" for Haec: what exists, what is verified, what is deferred — stated plainly, no overclaim. @@ -30,3 +30,20 @@ nor the vocabulary. Its sole present claim is that its elaboration targets the I and its examples lower to IR the checker accepts. — Authored by the build agent under owner direction; signed in git history. + +== As of 2026-10-27 + +*Ground truth (run here, UTC 07:49, haec `e9bee39`):* +`TROPECHECK_BIN= bash tests/check-examples.sh` → the three examples +(`faithful-record`, `survey-collapse`, `station-average`) lower to well-formed Trope +IR; the vendored `design/trope-ir.schema.json` matches the canonical checker schema; +all three round-trip through the checker to the verdict each states — +`faithful-record` `p-sufficient`, `survey-collapse` `p-insufficient` with witness +`e_collapse/fate.quality`, `station-average` `p-sufficient`. "examples: all lower to +valid Trope IR." The checker was the Rust fast core built from trope-checker +`44020f9` (`main` 216f23b plus the two Phase 0 spec/CI patches, which do not touch +`src/rust`). + +*Still true, stated once:* no compiler, no LSP, no runtime; the O2 lowering +obligations in `design/elaboration.adoc` are stated, not discharged; no proofs of +our own. From 8fade2a164e2ab849569813af91732de8e3b7ee9 Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 27 Oct 2026 08:30:47 +0000 Subject: [PATCH 3/6] docs(affirmation): shell-safe placeholder for the checker path MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit What was wrong: the recorded command used ``, which Bash parses as redirection if copied literally (review finding on #81). What changed: `TROPECHECK_BIN=/path/to/tropecheck-rs …`, marked as a placeholder. What I ran: n/a (wording). What I did not run: n/a. Co-Authored-By: Claude Fable 5.1 Claude-Session: https://claude.ai/code/session_01J4QvDh3p24SCUjyM9HHT31 --- AFFIRMATION.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/AFFIRMATION.adoc b/AFFIRMATION.adoc index 1439259..a2f2291 100644 --- a/AFFIRMATION.adoc +++ b/AFFIRMATION.adoc @@ -34,7 +34,7 @@ and its examples lower to IR the checker accepts. == As of 2026-10-27 *Ground truth (run here, UTC 07:49, haec `e9bee39`):* -`TROPECHECK_BIN= bash tests/check-examples.sh` → the three examples +`TROPECHECK_BIN=/path/to/tropecheck-rs bash tests/check-examples.sh` (the path is a placeholder for the built fast core) → the three examples (`faithful-record`, `survey-collapse`, `station-average`) lower to well-formed Trope IR; the vendored `design/trope-ir.schema.json` matches the canonical checker schema; all three round-trip through the checker to the verdict each states — From a7f62e42448fdc5b2add8b7c4dfcbda4fb11ccf1 Mon Sep 17 00:00:00 2001 From: "coderabbitai[bot]" <136622811+coderabbitai[bot]@users.noreply.github.com> Date: Tue, 27 Oct 2026 11:17:10 +0000 Subject: [PATCH 4/6] fix(ci): Allow AsciiDoc guides, proof progress, and funding docs at repository root --- .machine_readable/root-allow.txt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.machine_readable/root-allow.txt b/.machine_readable/root-allow.txt index aa75067..f244de7 100644 --- a/.machine_readable/root-allow.txt +++ b/.machine_readable/root-allow.txt @@ -16,13 +16,18 @@ README.adoc AUDIT.adoc EXPLAINME.adoc AFFIRMATION.adoc # dated/signed honesty snapshot (README/EXPLAINME/AFFIRMATION trio) +PROOF-PROGRESS.adoc # project proof-progress summary linking to AFFIRMATION.adoc 0-AI-MANIFEST.a2ml # thin pointer to .machine_readable/0.1-AI-MANIFEST.a2ml GOVERNANCE.adoc # governance model (validator accepts root or docs/governance/) MAINTAINERS.adoc # maintainer roster CONTRIBUTING.md # REQUIRED AT ROOT by scorecard-enforcer/openssf-compliance/quality CI (test -f, no .github fallback). The fuller copy in .github/ is GitHub's auto-discovery convention; dedupe is an owner decision (would need those CI checks updated to accept .github/). +CONTRIBUTING.adoc # contributor guide migrated to AsciiDoc in #61 SECURITY.md # REQUIRED AT ROOT by scorecard-enforcer CI + the security-policy contractile (test -f SECURITY.md). See CONTRIBUTING.md note re: the .github/ copy. +SECURITY.adoc # security policy migrated to AsciiDoc in #61 +FUNDING # estate funding-platform documentation LICENSE CHANGELOG.md +CHANGELOG.adoc # changelog migrated to AsciiDoc in #61 # ─── Build entry points (must live at root for their tooling) ──────────────── Justfile # delegates phases to build/just/*.just From 8d34549554ed143d7bc64237abe87263a3d7e12a Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 27 Oct 2026 14:00:01 +0000 Subject: [PATCH 5/6] Revert "fix(ci): Allow AsciiDoc guides, proof progress, and funding docs at repository root" This reverts commit a7f62e42448fdc5b2add8b7c4dfcbda4fb11ccf1, pushed to this branch by the CodeRabbit CI-fix agent. Why: it edits .machine_readable/root-allow.txt, an owner-only gate file, inside a docs-only Phase 0 PR. The five entries it adds name files that do exist at the root on main, so the change itself may be right; it belongs in its own reviewed change (issue #83), not under this PR's title. The tree returns to 8fade2a, the reviewed Phase 0 head; estate-rules returns to its state on main. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01J4QvDh3p24SCUjyM9HHT31 --- .machine_readable/root-allow.txt | 5 ----- 1 file changed, 5 deletions(-) diff --git a/.machine_readable/root-allow.txt b/.machine_readable/root-allow.txt index f244de7..aa75067 100644 --- a/.machine_readable/root-allow.txt +++ b/.machine_readable/root-allow.txt @@ -16,18 +16,13 @@ README.adoc AUDIT.adoc EXPLAINME.adoc AFFIRMATION.adoc # dated/signed honesty snapshot (README/EXPLAINME/AFFIRMATION trio) -PROOF-PROGRESS.adoc # project proof-progress summary linking to AFFIRMATION.adoc 0-AI-MANIFEST.a2ml # thin pointer to .machine_readable/0.1-AI-MANIFEST.a2ml GOVERNANCE.adoc # governance model (validator accepts root or docs/governance/) MAINTAINERS.adoc # maintainer roster CONTRIBUTING.md # REQUIRED AT ROOT by scorecard-enforcer/openssf-compliance/quality CI (test -f, no .github fallback). The fuller copy in .github/ is GitHub's auto-discovery convention; dedupe is an owner decision (would need those CI checks updated to accept .github/). -CONTRIBUTING.adoc # contributor guide migrated to AsciiDoc in #61 SECURITY.md # REQUIRED AT ROOT by scorecard-enforcer CI + the security-policy contractile (test -f SECURITY.md). See CONTRIBUTING.md note re: the .github/ copy. -SECURITY.adoc # security policy migrated to AsciiDoc in #61 -FUNDING # estate funding-platform documentation LICENSE CHANGELOG.md -CHANGELOG.adoc # changelog migrated to AsciiDoc in #61 # ─── Build entry points (must live at root for their tooling) ──────────────── Justfile # delegates phases to build/just/*.just From 3d07e85adaea091f9b3826cebfe7dee34c66844a Mon Sep 17 00:00:00 2001 From: "coderabbitai[bot]" <136622811+coderabbitai[bot]@users.noreply.github.com> Date: Tue, 27 Oct 2026 14:12:50 +0000 Subject: [PATCH 6/6] docs(affirmation): require the checker in the example verification command --- AFFIRMATION.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/AFFIRMATION.adoc b/AFFIRMATION.adoc index a2f2291..794cfc2 100644 --- a/AFFIRMATION.adoc +++ b/AFFIRMATION.adoc @@ -34,7 +34,7 @@ and its examples lower to IR the checker accepts. == As of 2026-10-27 *Ground truth (run here, UTC 07:49, haec `e9bee39`):* -`TROPECHECK_BIN=/path/to/tropecheck-rs bash tests/check-examples.sh` (the path is a placeholder for the built fast core) → the three examples +`TROPECHECK_REQUIRED=1 TROPECHECK_BIN=/path/to/tropecheck-rs bash tests/check-examples.sh` (the path is a placeholder for the built fast core) → the three examples (`faithful-record`, `survey-collapse`, `station-average`) lower to well-formed Trope IR; the vendored `design/trope-ir.schema.json` matches the canonical checker schema; all three round-trip through the checker to the verdict each states —