Admissibility frontier · Edition 3

Expanded claim page · assertion 5 of 5

Current research note — record laws sit between possibility and public fact

Interpretive mapIntegrator

Organizes thought or workflow but is not evidence for a physical claim. joins several typed results while letting the weakest edge set the claim.

Exact assertion

At this pinned revision the internal OPH lane is exhausted in a precise, limited sense, and independent digital Gate 5 now passes. A clean-room compiler represents the four named instruments by 32, 40, 38 and 38 two-level gates on five, six, seven and seven logical qubits, reproduces every active isometry column below 3.4×10⁻¹⁶ error, and recovers the held-out phase and empty–full records. The corrected disjoint-null design also shows that a conservative one-percent bound needs at least 39,687 shots per order even when empirical distance is zero; the frozen 200,000-shot run reaches an upper bound of 0.01060. A shared conventional rival predicts all eight held-out synthetic records, while an injected residual confirms that detection is possible but not uniquely diagnostic. Exactly two of the five quotients of the minimal order record erase schedule, both by merging the oriented endpoints; the independent g/k law coordinates survive. The record entropy rises from 1.5000 to 3.5850 bits along the named refinement ladder, and a fresh-ancilla collision model supplies an exact dilation without deriving a unique Hamiltonian or global thermodynamics. Backend routing, device execution, hardware process-memory fitting, independent-platform replication and physical attachment remain open. This stop rule prevents a successful digital replay from being mistaken for hardware or physics.

What this commits us to

The claim supplies a map or analogy. It becomes a derivation only after an explicit carrier-preserving map and invariant are given.

Logical anatomy

Scope

Chapter “The admissibility frontier”, section “Current research note — record laws sit between possibility and public fact”. This is assertion 5 of 5 in that section.

Evidence posture

Treat the passage as organization or analogy unless a cited carrier-preserving map is supplied.

Research move

joins several typed results while letting the weakest edge set the claim.

Verification route

  1. Recover the declared objects and assumptions from the controlling documents.
  2. Check the calculation, construction, obstruction or stopping rule on those same objects.
  3. Compare the source conclusion with the exact assertion above; do not strengthen its verbs or enlarge its domain.
  4. Apply the status rule and retain every named external dependency.

What would move or defeat this claim

Provide an explicit map that preserves the claimed structure, then identify an observable consequence that the analogy alone did not supply.

Source map

Controlling documents