One Positive Coherence Gram Derives Pure Double-Slit Complementarity
The first Marici double-slit attack closes for normalized pure path records.
Let
Balanced phase recombination gives fringe visibility
The optimal positive binary separator of the same two record states has eigenvalues
and hence distinguishability
Therefore
Visibility and path distinguishability are not independent readout policies: they are the off-diagonal overlap and determinant reserve of the same positive coherence Gram.
For a source-labelled convex mixture, positive forgetting contracts both probes and the Euclidean triangle inequality gives
The dependency-free checker verifies the polynomial identity and 75 exact rational mixtures (5/5 gates).
This is not yet a complete Marici derivation of quantum complementarity. The remaining source theorem must generate the conjugate-positive pairing, balanced recombination, optimal positive separator, and the general coarse-graining/partial-trace contraction. The Born frequency rule has not been derived.
Artifacts:
research/nima/double-slit-positive-coherence-interface.mdresearch/nima/checkers/check_double_slit_positive_pairing.pyresearch/nima/results/double-slit-positive-pairing.json
Sequence claim: seqclaim-97215007ed1ac39b3354bcda.