TYPE-CONNECTIONS.adoc: re-cite the residual receipt (run 35773288367 @ 8f3b46f) and give the Echo→Residual / Epistemic→Residual obligations acceptance criteria

[hyperpolymath]

Measured (2026-09-22, main = 1fa506c)

• docs/TYPE-CONNECTIONS.adoc:174 links residual-evidence-types/blob/4325198c…/PROOF-STATUS.adoc; :176 links run 34400282291 (2026-09-09).
• residual-evidence-types main is 8f3b46f0 (2026-09-22T19:21Z); its Agda proofs run 35773288367 is green on the container recipe (Agda 2.6.4.3, stdlib 2.1, --double-check, zero third-party actions). The proof core is byte-identical to 4325198c, so the cited claims hold; the citation is stale, not wrong.
• :114 "Echo → Residual Evidence" and :118–119 "Epistemic → Residual Evidence: make the meaning and evidence obligations of candidate-wide claims explicit" are listed as obligations with no acceptance criteria.

Acceptance criteria

1. :174–176 re-cite the current receipt (commit and run) once the residual Phase 2 pin refresh lands (echo-types 7a569b7 → 9c4b72b5, epistemic-types 3f4250f → dd948fbd), so the hub cites a receipt whose sibling pins are current. Until then, the 8f3b46f run is added as "re-verified" beside the original.
2. Echo → Residual: accepted when the residual composition module (ResidualEvidence.Composition, Phase 3 item 2 of the family plan) states and proves compose-claims over the Echo comparison, with its reject module rejected in CI.
3. Epistemic → Residual: accepted when the residual revision module (ResidualEvidence.Revision, Phase 3 item 3) makes retraction constructive and EpistemicComparison proves more than typing (whether SoundWarrant sits on a vacuous path is the open measurement).
4. Watched-failing → green: grep -c 34400282291 docs/TYPE-CONNECTIONS.adoc is 1 today; after, the current run id appears and the old one is kept as history or removed.

🤖 Generated with Claude Code

[hyperpolymath]

Acceptance 1 is on PR #116 (docs/residual-receipt-35781018563, commit d460adf): docs/TYPE-CONNECTIONS.adoc:174–182 now cite PROOF-STATUS at residual main 7ffd4d25 and the hosted run 35781018563, the main run for the merge of residual PR #7 (938a7a57), whose sibling pins are the current echo-types (9c4b72b5) and epistemic-types (dd948fbd) heads. The first receipt (run 34400282291, 2026-09-09) is kept as history. The interim "re-verified beside the original" step for run 35773288367 was not needed: the pin refresh landed first.

Not merged: #116 carries the pre-existing Hypatia neurosymbolic scan red (on main since run 35602727566) and the ruleset's code_scanning rule sees 33 open Hypatia alerts at the merge ref, so it reports BLOCKED with all required checks green. Triage with acceptance criteria: #117. This issue stays open for acceptance 2 and 3 (Echo→Residual, Epistemic→Residual), which land with the residual Phase 3 milestone.

One measured fact for acceptance 3: Warrant.agda at dd948fbd is blob-identical to the version at the old pin 3f4250f7 and imports only Agda.Primitive, so EpistemicComparison still proves typing only. The issue's premise is unchanged by the refresh.

🤖 Generated with Claude Code

[hyperpolymath]

Update: acceptance 1 is now on main. #116 merged as 86cb69e5 (2026-09-22T20:56Z) through the ruleset with no bypass (rule-suite 4182119358, every rule pass) after the owner's ruling D84 re-scoped the code_scanning rule to the tools that analyse PR refs. docs/TYPE-CONNECTIONS.adoc now cites residual-evidence-types receipt run 35781018563 at commit 938a7a57 with the sibling pins at the current echo-types and epistemic-types heads. Acceptance 2 and 3 remain for the Phase 3 milestone; the two pre-existing reds live in #117.

🤖 Generated with Claude Code