# Paper I v0.3 — current handoff

This supersedes the executable task lists in the earlier review archive, whose
229/240-anchor counts and open/merged PR descriptions are historical snapshots.
The repository changes are collected in [PR #224](https://github.com/rhovision-org/quantum-logical-framework/pull/224)
(the claim-record/G1 PR), with two subsequent reviewed extensions:
[PR #225](https://github.com/rhovision-org/quantum-logical-framework/pull/225)
(metric-singlet/lattice-Einstein) and
[PR #226](https://github.com/rhovision-org/quantum-logical-framework/pull/226)
(Manifestation). All three are merged.

## Current merged state

- PR #224: eight lattice-law obligations in both Lean namespaces; 35
  MO2/QuantumLogic anchors plus 27 further additions; a reviewed 302-entry
  baseline with no changed old sets. The two BornFromWays anchors already
  existed and are not duplicated.
- PR #225: five anchors (three `QLF.MetricSinglet`, two
  `QLF.LatticeDivergence`), baseline **307**; metric = singlet and a lattice
  divergence/Einstein-field-equation result under explicit premises.
- PR #226: twelve `QLF.Manifestation` anchors, baseline **319**; orientation,
  isolation-is-closure, unbounded closures, distance = delay, and the proton as
  the simplest isolated imbalance.
- PR #230: twenty-five conservative-return, tensor-return and prime-closure anchors
  (StrangeLoop 7, finite Born 3, ConservativeReturn 9, tensor quotient 5, prime closure 1),
  baseline **344**; the actual bridges remain `B-OPEN`.
- PR #227: eleven realizable-walk / palindromic-order anchors, baseline **355**.
- PR #222: twenty relativity/boost-covariance anchors, baseline **375**.
- All 375 anchors have reviewed project-CI footprints; no old footprint was
  changed by #225, #226, #230, #227 or #222. The `verification/paper-i-v0.3/` receipt remains
  scoped to the 302-anchor #224 closure; the later deltas are in the #225/#226/#230/#227/#222
  PRs and the current baseline file.
- Recursive typed-record validation, nested content checks, applicable gate paths,
  comparison/execution tiers, local receipt integrity and negative regression tests.
- Validation on JSON, relevant receipt and SPARC changes, plus existing Python checks.
- α, SPARC, migrated three-polarizer and scoped Born records; a draft test ledger.
- Correct electron-anomaly notation and input provenance; precise SPARC information
  access, descriptive statistics and fixed-external-comparator accounting.
- Proposed review routing includes the baseline and enforcement files. Actual required
  approvals depend on repository rules; CODEOWNERS does not itself grant governance rights.

## Evidence to inspect

Read [`verification/paper-i-v0.3/`](verification/paper-i-v0.3/) for the #224
receipt, then inspect the #225 and #226 PR diffs and the current
[`lean/axiom_footprints.expected.json`](lean/axiom_footprints.expected.json)
(375 entries). The original Lean execution was project CI, not a local
independent rebuild. The current exact-footprint gate is the authoritative
formal check; the metric/Einstein and Manifestation results remain formal
theorems under their stated premises, not physical bridge closures.

## Strange-loop / conservative-return clause

Paper I v0.3 should state the G3 bridge requirement in the two-phase/strange-loop form:

- name the formal level, the physical level, and the finite record to which the loop returns;
- state why the return is **conservative** — the finitary content is already available in the `RCA₀` core, not imported from the target;
- if no such return can be exhibited, keep the bridge `B-OPEN`.

The clause is implemented in [`Strange_Loops.md`](Strange_Loops.md) §6, [`Proof_to_Physics.md`](Proof_to_Physics.md), [`ScientificApproach.md`](ScientificApproach.md) §5e, and the `strange_loop`/`proof_obligation` objects in the four bridge records. The proof obligation names domain, codomain, forward/return maps, composite identity, conservative-return status, imported axioms and falsifier, and each loop records `first_order_evidence` (`F`, `N`, `F+N` or `NONE`). MO2 is `PARTIAL` with `QLF_ConservativeReturn` (plus the generic `QLF_StrangeLoop` interface); Born is `PARTIAL` with `QLF_StrangeLoopBorn`; α and SPARC remain `NOT_STARTED`. The bridges are `B-OPEN` / `INCOMPLETE`, not “inconclusive”: their first-order results stand, and `INCONCLUSIVE` is reserved for an ambiguous comparator. The validator rejects `bridge: CLOSED` unless the loop is `TESTED` and the return `PROVED` with a real artifact. The toy model in [`tools/strange_loop_observer.py`](tools/strange_loop_observer.py) shows the optical underdetermination: pure MO2 meet gives `0`, not `1/8`; a re-preparation walk matches `1/8` only with uniform/Malus weights. This strengthens the paper's discipline rather than closing any bridge.

Recent extensions in the same note: §2A reads an event as the mutual satisfaction of two incomplete perspectives (relational, not recursive); §2B relates that form to ρ-calculus/Rholang capabilities, join and reflection, with QKB (PR #216, open draft) as a candidate `ask`/`answer` listener/trigger layer; §3A gives the immanent observer/self-model reading; §3B adds active inference as a candidate update/policy rule and self-knowledge as a candidate bisimulation `M ~_c S|_c`. The formal targets [`rho_correspondence_target.md`](verification/strange-loop/rho_correspondence_target.md) and [`self_knowledge_target.md`](verification/strange-loop/self_knowledge_target.md) are `NOT_STARTED`; they do not change the anchor baseline or promote a physical bridge.

## Manuscript and release work

The full Paper I v0.3 manuscript is separate. Its positive claims table must preserve
these distinctions: model identity versus measured quantity, reported agreement versus
executed reproduction, conditional characterization versus physical derivation, and
draft test specification versus preregistration. Keep MO2/three-polarizer as the primary
worked case; add α and SPARC as separately scoped records; add the
metric-singlet/lattice-Einstein result as a second representational case (§8.1);
use Manifestation as formal backbone for the ToE map, not as physical evidence.

Choose an immutable release head after checking CI; the current reviewed baseline is
**375 anchors** (302 #224 + 5 #225 + 12 #226 + 25 #230 + 11 #227 + 20 #222). Cite the audited source and
execution receipts explicitly; do not silently replace old evidence with moving main.
Confirm the human author list, CRediT roles, conflicts and license before circulation.
Then perform a short delta review and generate the final document/PDF with real tables.
No new physical experiment is required just to finish the methods case study, and no
physical confirmation is established by the present checks.

— Ω-WITNESS