Skip to main content

From internal structure to an observable response

Original ledger classification: Contract (principle registered; finite W[J] transduction shadow executed; per-bundle proofs stay Open)

Recorded statement: THE TRANSDUCTION PRINCIPLE CONTRACT (registered 2026-08-27; elevates the S15 typing rule to a named principle). PRINCIPLE: observable signature = internal eigenvalue [compiler] + nonvanishing projection B P_r != 0 [transduction] + physical…

Statement, assumptions and sources

Paper context: Research contracts

The exact identifier, original classification and full claim are available below.

The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.

Read the exact registered claim and its dependencies

OBS.TRANSDUCTION.01

Original ledger classification: Contract (principle registered; finite W[J] transduction shadow executed; per-bundle proofs stay Open)

Original claim text

THE TRANSDUCTION PRINCIPLE CONTRACT (registered 2026-08-27; elevates the S15 typing rule to a named principle). PRINCIPLE: observable signature = internal eigenvalue [compiler] + nonvanishing projection B P_r != 0 [transduction] + physical coupling operator [physics]. WITHOUT THE MIDDLE ARROW, NEITHER A NON-OBSERVATION FALSIFIES NOR AN OBSERVATION CONFIRMS. Minimal model machine-checked at exploration level (experiments/theory-contracts/fo01_transduction_invisibility.py): the uniform measurement functional sees the seam kernel exactly not at all (1^T (T^n p - pi) = 0 to 1e-14; burst-train statistics KS-indistinguishable from a scrambled control), while a character-resolved channel reconstructs 64/729 to 1e-10 -- invisibility is a property of the readout B, not of the channel. DEMAND [O]: for each empirical bundle (FRB/GW/pulsar nulls, the axion/birefringence family, any future search) prove or refute B P_r != 0 for the declared readout BEFORE scoring the null or the hit. BINDING APPLICATION: ACT+Planck isotropic birefringence close to beta_TFPT = phi_0/(4 pi) (arXiv:2608.06480) is an interesting coincidence, NOT proof, until the shared normalized axion action + transduction chain are proven (the axion bundle beta, f_a, m_a, g_agg, Omega_a, EDM from ONE action with ONE proven coupling). EXECUTED UPDATE (2026-08-28, v990): the first executed W[J] transduction shadow -- mixed d2W/dJ dtheta nonzero on the seam-coupled link (~-9.3e-3) and EXACTLY 0 on the decoupled e^c control (frozen companion: Q-staggered transduces, e^c stays 0). Per-bundle empirical transduction proofs stay [O]. Python-only / Wolfram mirror deferred.

Original classification detail

Principle registered: eigenvalue + projection + coupling = signature. EXECUTED (v990): finite W[J] mixed-derivative transduction shadow (link transduces, e^c control = 0). Per-bundle middle-arrow proofs stay Open.

Dependencies as recorded

v221 (kernel); FO.01 (exploration minimal model); FRB/GW scorecard rows (readout typing)

Open the original ledger source, row 748

Location recorded in the ledger

These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.

Sections that explicitly cite this claim

A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.

All 11 linked sections

Navigation through a shared verification script

These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.

Registered verification modules

A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.

Seam, origin and declared inputsProcess and compilationQuantum and boundary structureUniversalraumSearch later reviewed research for this identifierRead the coverage boundaries