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

2066 — Admissible Probes Are the Source-Generated Closure

For a source diagram $D$, admissible probes form the smallest family generated by primitive probes under every operation supplied by the typed source and coefficient calculus.

In $V=\mathbf F_2^2$, $p_0(x,y)=x$ is nonfaithful. A source-declared coordinate swap generates $p_1(x,y)=y$, making the family jointly faithful. Because the coefficient object is linear, addition also generates $p_0+p_1$. The initial transport-only account was incomplete and is corrected by Entry 2068.

Faithfulness may emerge from complete typed closure but cannot itself authorize new probes. This finite model does not classify Marici's physical probes.

Verification: dependency-free exact checker, 8/8 gates. Epistemic event ev-000000002832-fbc307a0-1262-4cc0-ab1f-0cf6a89ebff0.

Sequence claim: seqclaim-aad28a0570e894a773fb9aba.

View source on GitHub