# Claim status — what QLF claims, and at what approximation

This is the repository-side index for Paper I v0.3. It states each physical claim at the approximation or regime in which QLF makes it, records the provenance of the inputs, and gives the bridge/evidence status. It is an **inventory and status ledger**, not a claim that the physical results are established.

The numerical agreements below are as reported by QLF. The claim records in `claim_records/` carry the detailed fields; this table is the human-readable index.

| Claim | QLF result | Approximation / regime | Comparator | Reported agreement | Inputs | Bridge status | Evidence status |
|---|---|---|---|---|---|---|---|
| Fine-structure α | α⁻¹ = 137 leading; formal comparator-residual band `(1/64, 0.04814)`; reported structural 137.032 | Leading + structural; residual running not derived | CODATA | 0.026% (reported) | 8-twist count (derived); w = ½ (declared/structural); CODATA (external) | `B-OPEN` / incomplete: first-order `F+N` established; count-to-coupling return incomplete | Audited finite identities; `N` for leading arithmetic; physical bridge open |
| m_p/m_e | 6π⁵ | Structural; no QCD derivation | PDG | 0.002% (reported) | 3-quark/5-angle structure (declared/structural); PDG (external) | `B-OPEN` | Audited defined Lenz identity; reported numerical comparison |
| Electron anomaly `a_e = (g_e − 2)/2` | `alpha_QLF/(2π) = 1/(274π)`; `g_e − 2 = alpha_QLF/π` at one loop | One-loop Schwinger form; higher orders omitted | Reported electron anomaly | 0.18% (reported for model α = 1/137) | `alpha_QLF` derived within the model; measured anomaly external | `B-OPEN`: model coupling → measured coupling; algebraic form agrees with QED | Numerical consistency; no independent QLF confirmation |
| Ω_Λ | log 2 ≈ 0.693, reported late-epoch match | Observed numerical match; physical derivation open | Planck | 1.2% (reported) | Observed fraction external; H₀ calibrates the dimensionful cosmological sector, not log 2 itself | `B-OPEN`: count → physical dark-energy fraction | Reported numerical consistency; not a derived cosmological fraction |
| SPARC/RAR | a₀ = cH₀/2π; g² = g_bar(g + a₀); 0.1327 dex, mean −0.0002 dex | Non-relativistic equilibrium; canonical M/L; local H₀ | SPARC | 0.133 dex, mean −0.0002 dex (reported) | H₀ (declared); M/L (external); SPARC (external); a₀ (derived) | `B-OPEN` / incomplete: first-order `N` established; interpolation/return incomplete | `N` consistency benchmark; empirical support not established |
| Mercury perihelion | 42.99″/century | Weak-field; standard GR inputs | Ephemeris | 0.03% (reported) | M_☉, a, e, T (external) | `B`: holographic count → GR potential | `N` (consistency) |
| α cannot drift | Continuity plus membership in the discrete structural value set implies constancy | Conditional mathematical null; measured-coupling identification open | A future specified clock comparison | Pending | Measured-coupling/residual map not supplied | `B-OPEN`: structural α → measured α | proposed null test; registration incomplete |
| Born-rule characterization | `ProbAssignment` satisfying the stated symmetry/refinement conditions equals `bornProb` | Finite Gaussian-integer amplitude registers; interface assumptions explicit | Quantum probabilities | Structural; no detector experiment | Unit-way counts plus declared assignment rules | `B-OPEN` / incomplete: first-order `F` established; physical refinement/return incomplete | Existing footprint coverage for `born_from_ways`/`assignment_unique`; no empirical promotion |

## Status vocabulary

- `F` — kernel-checked against declared axioms and a reviewed footprint.
- `F-CANDIDATE` — claim-scoped formal assurance remains incomplete (for example an absent anchor/baseline, unresolved theorem-to-claim correspondence or missing review receipt). The exact missing obligation must be named; this label does not imply every candidate lacks anchors.
- `N` — reproducible computation/enumeration with a declared independence tier.
- `B` / `B-OPEN` — interpretation depends on an explicit bridge; `OPEN` means the bridge is not yet specified/proved.
- `E` / `E-candidate` — empirical comparison; `candidate` means retrospective/self-sealed or not independently replicated.

**Incomplete vs inconclusive.** `INCOMPLETE` is the right label when the first-order `F`/`N` result and its comparator stand, but the operational map or conservative return has not been constructed. `INCONCLUSIVE` is reserved for a comparator that exists but is ambiguous or fails to discriminate. “First-order established” is therefore not an empty result and not a closed bridge.

## Strange-loop / two-phase bridge shape

A strange loop is a level-crossing self-reference that returns to its starting level. In the claim ledger it is a **review shape**, not a new evidence type: every bridge candidate must name its levels and the finite record to which it returns, or remain `B-OPEN`. The conceptual note is [`Strange_Loops.md`](Strange_Loops.md); the validator enforces the fields and the `TESTED`-for-`CLOSED` rule.

| Claim | Loop levels | Conservative return | Status |
|---|---|---|---|
| MO2 → optical apparatus | MO2 lattice → toy `ℂ²` embedding → ideal polarizer → detector | finite MO2 count/detector record; the `1/8` is imported Malus/Born, not derived | `B-OPEN` / incomplete: first-order `F+N` established; return incomplete |
| α count → coupling | 8-twist census → residual multiplicity → coupling at scale → CODATA | leading `137` and formal band `(1/64, 0.04814)`; `137.032` reported, scale map not proved | `B-OPEN` / incomplete: first-order `F+N` established; return incomplete |
| SPARC RAR | public data → closure-balance RAR → `a₀ = cH₀/(2π)` → residual | retrospective residual summary only; no predeclared prediction | `B-OPEN` / incomplete: first-order `N` established; return incomplete |
| Born uniqueness | Gaussian-integer register → unit-way refinement → ZFA closure → outcome | finite unit-way count; physical refinement is a premise | `B-OPEN` / incomplete: first-order `F` established; return incomplete |

The four corresponding JSON records carry a `strange_loop` object with `name`, `levels`, `return_level`, `conservative_return`, `noncircularity_witness`, `status`, `first_order_evidence` (`F`, `N`, `F+N` or `NONE`), `first_order_note` and `defeater`, plus a `proof_obligation` naming the domain, codomain, forward/return maps, composite identity, conservative-return status, imported axioms and falsifier. MO2 is `PARTIAL` with `QLF_ConservativeReturn` (and the generic `QLF_StrangeLoop` interface); Born is `PARTIAL` with `QLF_StrangeLoopBorn`; α and SPARC remain `NOT_STARTED`. A `TESTED` loop requires `PROVED` plus a real artifact, and a `bridge: CLOSED` record requires a `TESTED` loop. The trigger shape is formalized as `QLF.ConservativeReturn.StrangeLoopTrigger`; `toyTrigger_exists` proves only the toy instantiation, and `no_event_cycle` proves the toy no-time-loop analogue, not any operational bridge.

**Map is the territory (issue #213).** See [`Map_Is_Territory.md`](Map_Is_Territory.md) for the graded claim table and related-issue status. The formal substrate components are `F`/verified; the identification
“map ≡ territory / entanglements are the only effects” is `B-OPEN` / conjecture, and ZFA exclusivity is an
`E-candidate` with kill conditions. `TensorConservativeReturn` is a worked conservative-return form for one
conventional construction; it does not close the interpretive claim. See [issue #213](https://github.com/rhovision-org/quantum-logical-framework/issues/213).

**Primitive event / observer loop (`B-OPEN`).** `Strange_Loops.md` §2A reads an event as the mutual satisfaction of two incomplete perspectives (`Z(A) ≠ 0`, `Z(B) ≠ 0`, `Z(A ∘ B) = 0`), with listening conditions `L(A)`, `L(B)`; trigger/result are perspectival and closure is invariant. §3A extends this to the precise observer reading: the universe contains closures that construct models of the closure process that constructed them. The toy trigger, `no_event_cycle`, and `TensorConservativeReturn` prove the form, not that an observer realizes it. The operational definitions of knowledge, intelligence and self-awareness, and the perspectival extension of Universal Relativity, remain `B-OPEN`; no `E` claim is made. Active inference supplies a candidate update rule, and self-knowledge is a candidate bisimulation `M ~_c S|_c` on closure-relevant labels; both are `NOT_STARTED` (`verification/strange-loop/self_knowledge_target.md`). The ρ-calculus/Rholang correspondence in §2B (name = capability, read/write polarities, join matching, reflection) is a structural analogy, not an implementation or identity theorem. It is explicit but not complete: `verification/strange-loop/rho_correspondence_target.md` states the soundness/completeness/join/reflection/conservativity obligations, all `NOT_STARTED`. PR #216's QKB `ask`/`answer`/`solve` layer is a candidate listener/trigger realization; its contract has now been parsed and executed on an isolated rnode, including registry lookup from a separate deploy ([evidence](verification/qkb/rholo_acceptance.md)), but its questions are first-order and it has no self-model, quote/drop reflection, or conservative return. It remains an open draft, not baseline evidence. A QKB query is a rendezvous, not automatically a strange loop; the self-query obligation (`Q -> KB(Q, KB) -> Q'` with a conservative return) is `NOT_STARTED`.

**Issue #11 (“not even wrong”).** This remains open. PR #230 does not add a new empirical prediction; it
makes the missing operational bridge explicit and keeps first-order `F`/`N` results from being promoted to
`E`. SPARC remains a retrospective benchmark; α remains `N`/`B-OPEN`; the kill-condition ledger records the
nulls that could fail.


## Claim records

- `claim_records/alpha.json` — α claim record (draft).
- `claim_records/sparc_rar.json` — SPARC/RAR claim record (draft).
- `claim_records/kill_conditions.json` — draft falsification/test ledger; no completed preregistration is asserted.
- `claim_records/three_polarizer.json` — migrated finite/optical bridge record.
- `claim_records/born_rule.json` — scoped Born-assignment characterization.
- `claim_records/relativity_boost.json` — free Dirac-walk boost covariance; interacting return `NOT_STARTED`, bridge `OPEN`.
- `claim_records/lepton_mass_ratio.json` — pre-registered lepton mass-ratio protocol; no result, `B-OPEN`.

## Pre-registered protocols (not claims)

- **Lepton mass ratios (#140)** — [`Lepton_Mass_Ratio_Protocol.md`](Lepton_Mass_Ratio_Protocol.md)
  freezes rooted-closure selection and the Koide three-phase comparison order before any
  muon or tau mass is read. The three-generation count, Koide `Q = 2/3` and the electron
  `{x,y}`/`−I` anchor are formal inputs; the closure-to-`delta` map and the conservative
  return are `NOT_STARTED`. Status: `B-OPEN`; no `N` or `E` claim.

## Related formal developments (not physical claims)

The current 375-anchor baseline also covers six formal developments that are **not**
rows in the physical-claims table and do not have physical `E` status:

- **Metric singlet / lattice Einstein equations** (PR #225; 5 anchors; three
  `QLF.MetricSinglet`, two `QLF.LatticeDivergence`). The exact statements are `F`
  under the stated premises. The physical reading of the metric, spacetime and
  gravity remains `B-OPEN`; the local Rindler/Raychaudhuri arrow and the
  substrate curvature are still open.
- **Manifestation** (PR #226; 12 anchors). Orientation, isolation-is-closure,
  unbounded closures, `distance_eq_delay`, and the proton as the simplest
  isolated imbalance are `F` as formal statements. Physical selection, a
  detector/apparatus map, and empirical adequacy remain `B-OPEN`/not established.
  See `Manifestation.md`.
- **Realizable walk / palindromic order** (PR #227; 11 anchors). The quadratic energy
  forecast and reversal identities are `F`; the palindromic order is pinned to the
  even-dispersion premise, not derived from logic.
- **Relativity / boost covariance** (PR #222; 20 anchors). The census limits,
  Lorentz-symbol identities, shared-pair marginal and free Dirac-walk boost-covariance
  theorems are `F`; the census kinetic reading is an assumption and interacting boost
  covariance remains open. See `Relativity_Principle.md` §7a.
- **Prime reciprocal closure** (`QLF.FirstReturn.prime_event_reciprocal_open`, 1 anchor).
  If a prime event splits at a nontrivial cut into nonempty `A` and `B`, neither half
  closes on its own; the closure is shared. This is formal `F` for the event-level
  reciprocal-openness lemma. The request/listener language remains `B-OPEN`.
- **Tensor product / independent composition** (`QLF_TensorFromClosure`). The
  tensor product is derived from independent-body premises, not assumed for the
  independent sector: `composite_is_tensor`, `tensorEquiv`,
  `n_composite_is_tensor`, `nTensorEquiv`. This is formal `F` for the
  representation. The conservative return on closure classes is
  now proved as `tensor_conservative_return` / `tensorTrigger_exists` in
  `QLF_TensorConservativeReturn` (in the 375-anchor baseline). It proves
  coherence of the quotient return; it does not show that the quotient is the
  physically selected closure equivalence. `pair_scalar_ambiguity` shows why the
  raw factor pair cannot be returned. The tensor bridge remains near-complete,
  not a closed physical bridge.

These are claim-map and formal-coverage entries, not promotions of a physical
claim. A named theorem is not an `N` reproduction and not an `E` observation.

## Validation

```bash
python3 scripts/validate_claim_records.py
python3 -m unittest discover -s tests -p 'test_claim_records.py' -v
```

The validator discovers every JSON record recursively by explicit record type, checks nested content and source identifiers, and enforces the mandatory gate paths documented in `claim_records/README.md`. It cannot authenticate a receipt, prove chronological blinding, or establish physical truth.

## Related documents

- `Proof_Trust.md` — the axiom-footprint gate and its current coverage.
- `Proof_to_Physics.md` — the evidence registry and open bridges.
- `Manifestation.md` — the Manifestation formal results and their `B-OPEN` physical reading.
- `Einstein_Equations.md` §6d–§6e — the metric-singlet/lattice-Einstein representational result.
- `ScientificApproach.md` — the governing method, bridge grades, and pre-registration rules.
- `SPARC.md` — the retrospective public-data benchmark SPARC analysis and its receipt.
- Paper I v0.3 §2 — the manuscript's positive-claims table and prose.