docs(type-connections): record the second residual milestone (run 36740394802)

[hyperpolymath]

Updates docs/TYPE-CONNECTIONS.adoc for residual-evidence-types' second milestone, which has now landed and been receipted.

• Echo → Residual row: the residual core now checks dependency-preserving composition and coarsening on its own side (compose-claims, coarsen-claim). It has not yet been compared with Echo.
• Epistemic → Residual row: the residual core now checks evidence revision and retraction (survives-retraction, revise). Their relation to warrant revision has not yet been compared.
• New section Second residual milestone: checked, with limits. It cites run 36740394802 for befdf964 and the proof record at a9f3a9d2 (residual#18). It states the boundary: the correspondence certifies the finite checker against the explorer, not the natural-number core.
• The stale "Next, investigate composition … then a finite checker" paragraph is removed; that work is done.

Docs only. No .a2ml or machine-readable files touched.

Pre-existing on main (86cb69e), not introduced here: Hypatia neurosymbolic scan and SonarCloud Code Analysis are red.

Deferred red check

• Hypatia neurosymbolic scan: pre-existing on main (red at 1afec5b too, same findings), tracked in ci: Hypatia fails on two findings #117 does not cover (dependabot-automerge actor gate, rsr-antipattern regex); SonarCloud red on main 86cb69e #121 with acceptance criteria. Not introduced by this PR; held for ci: Hypatia fails on two findings #117 does not cover (dependabot-automerge actor gate, rsr-antipattern regex); SonarCloud red on main 86cb69e #121 per the stopping rule, not merged over.

🤖 Generated with Claude Code

https://claude.ai/code/session_01QYY8Gp4v4x2J7iSNn1vZ57

[coderabbitai]

Navigate logical layers of code changes, visualize relationships, and explore their blast radius.

Note

Currently processing new changes in this PR. This may take a few minutes, please wait...

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Advanced

Run ID: 2e36ab63-f4bf-4ff1-84eb-e59bfe07aad7

📥 Commits

Reviewing files that changed from the base of the PR and between 1afec5b and 245330a.

📒 Files selected for processing (1)

• docs/TYPE-CONNECTIONS.adoc

 _________________________________
< All your bugs are belong to us. >
 ---------------------------------
  \
   \   (\__/)
       (•ㅅ•)
       / 　 づ

• Autopilot · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Autopilot is currently an internal CodeRabbit preview.

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[hyperpolymath]

Held, not merged over. Every check is green except Hypatia neurosymbolic scan. Its failure annotations are all in files this PR does not touch: setup.sh (#117), dependabot-automerge.yml:53 and rsr-antipattern.yml (#121). Under the 2026-09-22 ruling this lands once those are cured and Hypatia is green on the head.

🤖 Generated with Claude Code

https://claude.ai/code/session_01QYY8Gp4v4x2J7iSNn1vZ57

[coderabbitai]

Autopilot could not be updated. Open Coding to check access and billing.