the missing middle is CONDITIONALLY refutable — absence is evidence only under a closure warrant

[AdaWorldAPI]

Measures the converged fabric — HHTL (where) / CE64 (what topology) / G24N4 (what supports-falsifies) / V4 (what we did) / NARS f/c (how strongly). PROBE-EPISTEMIC-FABRIC-1, 9/9.

Recut after review (commit e3115ac): one substantive logical error and two overclaims, all corrected.

⚠ The error, and the fix

The first revision read U ∩ D = ∅ as refuting IndirectUnknownIntermediates outright. That does not follow. For sound but incomplete masks U' ⊆ U and D' ⊆ D, U' ∩ D' = ∅ does not entail U ∩ D = ∅ — it says only that our current candidate surfaces don't overlap. The masks must be complete over the declared universe: not merely sound, not merely "where we've looked."

The existing honesty fence covered unaddressed mediators. It did not cover addressed mediators omitted from an incomplete mask — which is exactly the difference between a search accelerator and a falsifier.

Fixed with a ClosureReceipt (the warrant that a mask enumerates every addressed candidate under a declared universe) and a three-way split that demonstrates the premise rather than asserting it:

• E2a (can-fire) — empty ∩ + both receipts complete → TopologyRefuted. The non-empty E1 case yields no absence verdict at all.
• E2b (can-stay-silent) — the same empty intersection with closure dropped on either side → PotholeGatherMore. Identical geometry, different verdict: the receipt is load-bearing, not decorative.
• E2c (the counterexample) — complete U ∩ D = {P.7} (a mediator exists), while sound-but-incomplete subsets intersect to ∅. Reading that emptiness as refutation would be a false negative about a real mediator.

CLOSED universe + complete upstream + complete downstream + empty ∩
      ⇒ topology falsifier
otherwise (empty ∩, no closure receipt)
      ⇒ epistemic pothole: gather more evidence

An empty region is a falsifier only when the search universe is proven closed enough for absence to mean absence. Otherwise it is still a pothole — and an epistemic substrate must refuse to blur the two.

E1 stands unchanged: a non-empty intersection is the search surface, obtained by RowFocusMask::intersect narrowing to the deeper region without enumerating a single mediator object.

Two overclaims scoped

E4 is representation separation, not a state machine. It shows the planes carry enough independent information to encode and distinguish seven readings. It does not show they are exhaustive or canonical, nor that production transitions reach them — read_state() is hand-written and the fixtures are constructed to hit each variant. LearnedSurvivedTests proves an admission predicate is expressible, not that a behavioural learner exists.

E5 proves address reuse, not payload collapse. A connective node needs no new address universe, and the aggregate planes attach to that same canonical identity — but this does not claim truth + witness + provenance + coverage all physically fit inside one 16-byte dock. Keeping address and payload distinct is the whole point of the dock/route split.

Unchanged results

E3 — derivational depth and generalization scope vary independently; a scalar rung collapses both distinctions. E6 — revision moves the view while every resident dock stays bit-for-bit identical. E7 — strength moves without the state moving (expectation 0.505 vs 0.965, same state).

Scope

Toy hierarchy over shipped operators — measures the algebra, not a corpus. Signed field is the probe-local reading from PROBE-TARSKI-SIGNED-WITNESS-1, never the A9 Locus API. Probe-local classids; nothing minted.

Merge last in the arc: #1006 → #1007 → #1009 → #1008 → #1010 → #1011.

[chatgpt-codex-connector]

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, you can upgrade your account or add credits to your account and enable them for code reviews in your settings.

[coderabbitai]

Important

• 🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Pro Plus

Run ID: 65e89eaa-4484-493d-9f49-a2a9d633f439

---

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.}

[cursor]

Bugbot couldn't run - usage limit reached

Bugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit.

A user or team admin can review and increase usage limits in the Cursor dashboard.

(requestId: serverGenReqId_bac21be1-a049-40a4-8344-ec84a00f4dfd)