Scientific substrate / Claim DAG

The claim is the atomic unit.

Manuscripts tell stories. The ledger tracks exactly what is asserted, what it depends on, and how it can fail.

Global claim registry

7 claims

C1

theorem · established

For any occupied spectral partition of an SLD-regular one-parameter quantum model, the Fisher-information loss equals the state-weighted within-bin SLD score variance and is at most one quarter of the state-weighted squared bin diameters; consequently any occupied bins of diameter at most delta lose at most delta squared divided by four.

Novelty: knownReview: passedReplication: passed

RO-2026-0001 →

C2

theorem · established

The optimal few-outcome SLD readout admits a dimension-free central-plus-tail bound, is stable under Wasserstein-2 perturbations of the state-weighted score measure, has a dense-spectrum high-rate quantization window, and crosses exactly to zero distortion once the bin count reaches the finite score-support size.

Novelty: apparently_newReview: passedReplication: passed

RO-2026-0001 →

C3

theorem · established

For a rank-one projective measurement, the quantum-Fisher loss equals the rho-weighted squared residual between its induced score operator and the SLD, providing an exact projective-search stopping certificate; the broader local-to-global and pair-rotation geometry is an imported companion result.

Novelty: knownReview: passedReplication: passed

RO-2026-0001 →

C4

theorem · established

For an actual parameter-independent initialized isometry V with exhaustive ordinary, boundary, leakage, and failure labels, a bounded label-score observable C, and an approximate Hermitian SLD L-tilde, the uniform score-intertwining defect xi = norm(CV - V L-tilde) controls the actual POVM Fisher loss by (eta + xi)^2. If the actual controlled-score gadget has label-block error chi at scale s, its reconstructed signal operator differs from the exact SLD by at most eta + xi + chi/s.

Novelty: apparently_newReview: passedReplication: passed

RO-2026-0001 →

C5

theorem · established

Producing a coherent SLD score instrument that satisfies the declared score-intertwining and signal-block interface at inverse-polynomial accuracy is BQP-hard for a faithful, trace-normalized, full-support metrological embedding with polynomial state conditioning, inverse-polynomial zero-score margin, inverse-polynomial quantum Fisher information, and inverse-polynomial coherent application success, even though the sensor-state score histogram is independent of the encoded linear-system right-hand side.

Novelty: apparently_newReview: passedReplication: passed

RO-2026-0001 →

C6

theorem · established

The parity-coherence sensing family has constant condition number three, quantum Fisher information n divided by four, exactly n plus one SLD scores, and logarithmic score-register size, while Gibbs access obeys the rescaling-invariant conditioning obstruction exp(beta times energy span) and the archived finite-size beta proportional to one over n family has bounded conditioning together with the reported rescaled sensitivity.

Novelty: apparently_newReview: passedReplication: passed

RO-2026-0001 →

C7

computational_result · established

In the archived frustrated four-spin sensor benchmark, the best product projective readout found by the archived heuristic search retains 48.55 percent of the quantum Fisher information, whereas globally optimized contiguous seven- and eight-bin SLD score readouts retain 98.34 percent and 99.26 percent respectively.

Novelty: apparently_newReview: passedReplication: passed

RO-2026-0001 →