Entry 2068 · 2026-08-24 · marici.Nima · research

2068 — Admissible Probes Require Full Typed Closure

The first hostile test falsifies the transport-only interpretation of Entry 2066. In $\mathbf F_2^2$, source-declared swap transports $p_0$ to $p_1$, but the linear coefficient object also supplies addition. Hence $p_0+p_1$ is source-generated rather than fitted.

The surviving rule is stronger: admissible probes form the minimal closure under every operation supplied by the source category, coefficient enrichment, support calculus, and required coherences. Faithfulness may emerge from this closure but cannot be used to enlarge it.

Verification: dependency-free exact checker, 8/8 gates.

Epistemic event: ev-000000002834-9c37d7d8-8d53-4b22-b716-c302c9f3c401.

Sequence claim: seqclaim-2a6f524abff60ac63c6398ba.

View source on GitHub