Pillar 3 watch

4–12 Sep X-week reel. Historical after v13.23. Not the live spine. Current science: Live gates (STATUS v15.03). Geometry on main through v15.45 is the research ladder, not this page.

00 Astra · Result · Restricted · 2026-09-24 · compiled 2026-10-10 · 2 min read · 6 claims

Package: ResearchHistory/UQCF-GEM (v13–v14) · JSON · Cite

v13 · QRSL · HCPR · QMAR · campaign · GitHub-only

On this page

Where it belongs
What this does not show
Latest completed

Restricted · v14.04

Provenance needs an intertwiner

REQUIRES_NEW_REPRESENTATION_LINK. Support-gauge projective centrality: central P is PGRL-null (tangent 5.90e-16). Two nontrivial carriers, zero certified maps into Herm(25). Not Einstein.
Next gate

Open · J

Representation principle

Lawful only if the archive already has a natural intertwiner, an independent quantum identification of the two spaces, or a NEW ASSUMPTION labeled as such. Do not invent an embedding to continue.
Named target

Open · Pillar 3

Pillar 3 / Einstein

Gravity remains a candidate. No stress-energy law, no ADM correspondence, no Einstein equations. RGCL is missing. scientific_breakthrough: false.

GitHub simulation · Restricted

v13.27 Path-A demo

Deterministic 6-qubit Path-A laboratory. λ_source is not time. Graph embedding is not physical space. SO(3) transports are an explicit orientation-preserving projection (raw polar det<0 on every edge). Restricted. Not a gravity derivation.

Fingerprint f632e656cc2ea1fc5d61b395080d7259ecfed21c9bd8379626da49f44d6c38fc
max source-balance residual 4.611e-16
raw polar det<0 200 / 200
π holonomy 9 events · GENUINE_PI_WITHIN_TOLERANCE_NO_CLIP
DeWitt pure-trace −4.5 · traceless 2.0 (controls)
RGCL MISSING
run: python run_simulation.py --frames 25 --no-video && python CHECKER.py

Source: demos/v13.27-gravity-progress

Pre-time stack

Campaign rungs

Not the causal stack. Causal 00 is Astra; campaign 00 is full quantum completion. Gravity stays a candidate on Package 17.

00Full quantum completionRestricted
01PGRL / ETL source responseRestricted
02BKM metric + polar transport (QMAR)Restricted
03Metric-affine Γ = Γ_LC + K(T) + L(Q)Restricted
04Approximate locality on recoverable strataRestricted
05Patch composition + continuum thresholdRestricted
06RATS blind telemetry — frozenRestrictedsealed
07Refinement naturality — satisfiable, nonuniqueRestricted
08QRSL origin — exhaustedRestrictedsealed
09RSCL / RGCL missing · Pillar 3 openOpensealed

Load-bearing gates

What already ticked

v13.10HCPRHidden vs rigid completions; identical visible data, different jets.Restricted
v13.11QMARFirst-order source → BKM + polar transport. Conditional on the full state.Restricted
v13.23QRSLSelector search stopped. Pin does not pick the world.Restricted
v13.24Post-QRSL audit21 claims QRSL-independent; 3 still need a native coarse-to-fine section. RATS sealed.Restricted
v13.26RSCLAbsolute source calibration irreducible. Common-scale degeneracy. Not κT.Restricted
v13.27Projective [Σ]Target-blind coupled source is a ray, not a magnitude. Demo RGCL MISSING.Restricted
v13.28RGCLREQUIRES_NEW_AXIOM. Weight-zero geometry cannot fix weight-one source amplitude.Restricted
v14.03Source ray → dualSupplied [P] selects a hidden dual ray. Provenance does not produce [P]. Conditional. Preserved.Restricted
v14.04IntertwinerREQUIRES_NEW_REPRESENTATION_LINK. Gauge-trivial provenance is central/PGRL-null. Zero certified J into Herm(25).Restricted
JNext gateNatural intertwiner, independent identification of the two spaces, or a labeled NEW ASSUMPTION. Do not invent an embedding.Open

What would count as a gravity breakthrough

A named identification of gravity’s constraints that does not assume Einstein’s equations, does not invent a refinement axiom to unlock RATS, does not invent an intertwiner J to feed v14.03, and survives the v13.23 no-go: the selector cannot peek at the fine state it is supposed to choose.

Does not show: Einstein’s equations, ADM, an ontology-native coarse-to-fine section, or a gravity derivation. QRSL search is stopped. RATS remains sealed. Pillar 3 remains Open.

Source: STATUS.md

Stable claim IDs

Copy-cite

Restricted · atlas:c3-reserve

Spare capacity is not reachable reserve

Tip 1e7cd09 on research/uqcf-overlapping-guard-exchange, 10 Oct 2026, not on the integration branch and not on main. The index records scoped C3 closeouts. Static capacity is exact for maximal original footprints in the stated domain: a safe core with s labels absent exists exactly when kappa is at most the palette size minus s. That is feasibility, not connectivity. One saturated family is an antichain with no safe first toggle, while for n at least 3 a safe target still leaves n-2 labels absent. A later family is not isolated: safe edits exist, and the uniformly safe single-toggle component still has exactly seven cores. For n at least 3 those spare labels stay unreachable. So kappa below the palette size, plus unrelated local progress, is not a sufficient transferable-reserve criterion. It is not a general impossibility theorem. The words universal core region mean a candidate that is admissible for every original protected hidden completion in the declared tau 3 to 4 domain. They do not give observer access or general connectivity. Saturated transfer works for two or more private blocks in its family and fails for one. Strict nesting can give a first safe edit and still not free a label. Archived Gemini reviews accepted these scoped writeups. That acceptance is not peer review, not numbered v16 certification, and not a physical claim. Broad C3, general C4, native observer origin, outcome selection, and guaranteed progress stay open. The named next task is a restoring path that releases one prescribed occupied label while keeping donor-footprint containment, floors, and an upper-four cover. Main STATUS.md is unchanged. Issue #104 is not reopened. No A12.6.

Does not show: A general no-go, connectivity from a feasible endpoint, the core-region criterion as general connectivity, numbered v16 certification, a physical reading, a source, a STATUS bump.
Restricted · atlas:c3-repair

Scoped repair interfaces are not broad C3

On research/uqcf-overlapping-guard-exchange through 10 Oct 2026, not on main. These are scoped closeouts, not numbered certificates. Deficit repair lowers peak excess from m to max(1, r) and claims band protection only. Universal one-incidence connectivity stays open. Role-complete handoff preserves exact tau and still has peak excess m. Shared-host completion uses one marker for an arbitrary number of blocks at tau 3 and does not read spectators. A renewable handoff reuses one buffer along finite prescribed exchanges. A cyclic pipeline and a core-reactive policy reduce stored phase. A visible-buffer protocol is uniformly safe under a stronger tau-4 promise, and a tau-3 triangle blocks a universal extension. None of this gives guaranteed progress, native guard origin, or broad C3. Archived model reviews are not a source.

Does not show: Broad C3, general C4, guaranteed progress, native observer origin, universal one-incidence connectivity, numbered v16 certification, a source, a STATUS bump.
Restricted · atlas:c3-readout

Count reconstructions do not derive access

On the same branch, not on main. Degree-d miss counts with known N reconstruct the unordered residual support when N is below 2 to the d. Fourth-order counts reach 15 roots. A 16-residual-root parity pair keeps identical counts inside a floor-two, tau-three carrier. One actual toggle's singleton and pair increments reconstruct the before and after support when addresses and coverage are trusted. That does not derive field access. A fresh marker can read a root and be restored only on the declared count-response interface. NOOPs can block completion. Complementary core witnesses can certify a bit without observing tau. Completion is not guaranteed. Uniformly safe core writes do not initialize the hidden record, because projection commutes with every toggle. Core-only preparation of the fixed family succeeds only when the predicate is already forced. An internal-record attempt was rejected: the admissible-or-NOOP relation supplies no successor-selection rule, and no new primitive was adopted. A quantum-interface screen is an open note, not a theorem. The v15.46 native-record functions are provenance audits, not a C3 connection. Native record origin stays open.

Does not show: Field access, a sensor, initialization solved, the admissible relation as an implementation, native C3 origin, numbered v16 certification, a source, a STATUS bump.
Restricted · atlas:post-a12

7 Oct index at 6a99418; that next line is not the 10 Oct frontier

Branch commit 6a99418 on research/uqcf-overlapping-guard-exchange, 7 Oct 2026, not on the v16.34 integration branch and not on main. The synthesis then recorded scoped analytical closeouts after the A12 closeout: an A11.X2 handover, updateability for declared residual edits, binary labelled selection and completion, hidden-spectator factorization, joint certificate-and-address factorization, a retained-quotient precedence interface, a concrete three-payload precedence, a retained macro-cycle with a native interleaving escape, a phased retained-event interface, and automatic upper-cover and lower-witness handoffs, including a joint event cycle that uses a temporary bypass. Each item has a scope, a result, and a closeout file. That is a written scoped proof, not a numbered certificate. The full B1/B2 program was not closed. At that commit the named next obligation was auxiliary cycle breaking. The 10 Oct tip 1e7cd09 does not publish a closeout under that name, and the current index does not keep it as the frontier. Later scoped C3 and C4 results are separate claims. Issue #104 is not reopened. No A12.6 is opened. Certified v16.54 and v16.55 stay unchanged.

Does not show: Auxiliary cycle breaking as proved, the 10 Oct frontier, B1/B2 as closed, A12.6, a physical primitive, numbered v16 certification, a source, a STATUS bump.
Restricted · atlas:a12

A12.1–A12.5 is a self-contained closeout, not a v16 certificate

Issue #104 closed 6 Oct 2026 on research/uqcf-overlapping-guard-exchange, commit bbc6e6f, not on main. CLOSED for the corrected and expressly retained A12.1–A12.5 statements under the author's self-contained process. The record is written mathematics, an author-side argument audit, bounded verification with fresh-process reproduction, and an author-side source audit. Run 37502203890 passed. It is not independent peer review, not proof-assistant certification, not numbered v16 certification, and not physical validation. A12.1 keeps four response signs and relabeling covariance. No magnitude or physical observable is identified. A12.2 corrects the displayed family to n+3 labelled roots and keeps an exact fixed-order truncation obstruction over growing root count. The stronger claim that the whole labelled pairwise response graph cannot be a complete state descriptor is withdrawn as unproved by that construction. It is not declared false. A12.3 keeps exact incidence-update laws inside an explicit palette and floor domain, including a one-label counterexample to an older unrestricted wording. No conservation of W or C is asserted. A12.4 keeps exact candidate-margin legality and the insufficiency of one global scalar summary. A12.5 keeps a matched-component argument for the stated L and I inputs only: the same candidate is legal in L and illegal in I. That no-go does not exclude every locality notion. Failed RED runs 37500570046 and 37500792495 remain in the record. No A12.6. Certified v16.54 and v16.55, and accepted A11 sources, stay unchanged. No force, geometry, energy, GR/ADM, dark-matter replacement, physical nonlocality, continuum, or fundamental-time inference is claimed.

Does not show: A12.6, the withdrawn graph-descriptor impossibility as proved or as false, every locality notion, numbered v16 certification, physical validation, a source, a STATUS bump.
Restricted · atlas:a11-x61

A11.X61 accepts a hybrid-boundary batch interface

On research/uqcf-overlapping-guard-exchange, 5 Oct 2026, not on main. A11_X61_CLOSEOUT.md is an accepted analytical checkpoint, not numbered CLOSED/CERTIFIED. It gives a sufficient repair interface for arbitrary original labelled exact-four root endpoints when roots are partitioned into ordered batches and the stated hitting-set and witness-order conditions hold. The same schedule keeps the hitting number in the declared band and restores the labelled endpoints at the global endpoint Hamming minimum. A control with competing minimum covers sits outside the X60 colored representation. Three-cover necessity is not claimed. No universal certificate of existence is claimed. The branch STATUS.json still names this X61 phase. A11.X62 and A11.X63 have scope files only. A11.X64 is a cycle-breaking slack candidate whose upper-cover scope was corrected before a proof. None of those three has a closeout. Certified v16.54 and v16.55 stay unchanged.

Does not show: Universal certificate existence, three-cover necessity, X62–X64 as closed, a new connectivity class, numbered v16 certification, a source, a STATUS bump.
Restricted · atlas:a11-x60

A11.X60 is colored-carrier minimum repair, not an arbitrary-root law

On research/uqcf-overlapping-guard-exchange, 5 Oct 2026, not on main. A11_X60_CLOSEOUT.md is an accepted analytical checkpoint. Inside the exact X58/X59 colored carrier satisfying the stated condition (C), every prescribed role permutation has a direct path whose hitting number stays in {3, 4}, attaining the global endpoint incidence Hamming minimum and restoring every original labelled destination. The structural lemma removes X59's remaining common-hit seed assumption inside that colored representation. One long control shows that every minimum-incidence direct-band path in that control uses at least three distinct four-covers, and the construction attains three. That is an all-minimum-path bound inside the control. It is not an unrestricted temporary-incidence obstruction, and it is not universal arbitrary-root minimum repair. Noncolored carriers stay open. No physical interpretation is claimed.

Does not show: Universal arbitrary-root minimum repair, noncolored carriers, an obstruction to every temporary incidence, numbered v16 certification, a source, a STATUS bump.
Restricted · atlas:a11-x59

A11.X59 accepts prescribed anchor mixing on a colored carrier

On research/uqcf-overlapping-guard-exchange, 5 Oct 2026, not on main. A11_X59_CLOSEOUT.md is an accepted analytical checkpoint, not a numbered v16 certificate. On the fixed X58 colored carrier, every prescribed permutation in the stated class has a complete actual-pair-protected lower path at the global endpoint Hamming minimum, with labelled restoration. A calibration rejects one strict block-stable relay certificate. That rejection does not exclude every whole-root path, and it is not native disconnection. The later X60 checkpoint removes a remaining common-hit assumption inside the same colored representation. Arbitrary access and noncolored carriers stay open. Certified v16.55 is not changed by this note.

Does not show: A new connectivity class, universal arbitrary-root repair, native disconnection, numbered v16 certification, a source, a STATUS bump.
Restricted · atlas:v16-50

v16.50 repeats a binary repair without raising the total excursion

PR #98 merged as 4a28661 into research/v16.34-fiber-component-invariant on 1 Oct 2026, not into main. CLOSED/CERTIFIED for finite full binary trees. Full binary means every internal vertex has exactly two children. It does not mean balanced or uniform depth. A repaired child supplies a fixed-root repair, a compact canonical endpoint, and label-role exchanges that preserve its interior. Joining two such children preserves those properties in the parent, so the argument repeats through any finite binary tree without raising the excursion bound. The bound is the total over all vertices: the sum of absolute profile deviations is at most 1. A one-unit difference at one binary vertex is not the result. There the hitting number is only 1 or 2. The construction keeps separate deviations from coexisting. This is an existence theorem for a suitable sequence. It does not say every sequence stays inside the bound, that the sequence is short, or that one evolution is selected. The minimum palette width is necessary and sufficient. If the children need widths a and b, the parent needs max(a,b) when its hitting number is 1, and a+b when it is 2. Overlap reuses labels. Disjoint children reserve separate labels. Those resources can grow while the peak profile departure stays 1. The uniform barrier is one property of a structure whose feasibility requirements stay nontrivial. It is not merely a uniform tax. The 1920 directed specification cases, 72512 primitive moves, and 994 checks support the implementation. They are not an exhaustive enumeration of every state. The general quantifiers rest on the induction. All 36 scientific files matched byte-for-byte at the merge. The science-branch REPORT.md still contains an earlier sentence that receipt closeout remained required. That sentence is not the later closeout. Higher arity stays unresolved. No nonunit counterexample is claimed. A failed construction is not a nonunit barrier.

Does not show: Balanced or uniform depth as the hypothesis, each coordinate separately as the theorem, every path, a short path, a unique evolution, exhaustive enumeration, higher-arity universality, the three-child overlap example as a nonunit witness, a source, a no-go, a STATUS bump.
Restricted · atlas:v16-55

v16.55 certifies a bounded renewable-guard repair

PR #103 merged as 3183c29 into research/v16.34-fiber-component-invariant on 4 Oct 2026, not into main. The later tip 0a1cd70 publishes the terminal actual-merge reporting acceptance. CLOSED/CERTIFIED for the approved bounded R1–R5 implementation and conditional native integration. Renewable protection covers complete ordered repair: protected degree leveling, saturated reusable exchanges, deterministic multiple-patch placement, and simultaneous original-grade guards. Paths preserve the native palette, slots, and original floors, check every primitive, convert completed lower paths into the one-unit band, and restore the declared labelled endpoints. Actual-merge run 37211847122 passed. Universal analytical X15U root repair, and the conditional X32 and X33 statements, stay distinct from this finite certificate. No universal coverage, mixed-floor, higher-target, destination-directed, or unrestricted nested result is claimed. Zero common-degree greedy and strict-slack X15S coverage remain disclosed.

Does not show: A universal root repair, X32 or X33 as proved, higher floors, a physical reading, a source, a STATUS bump.
Restricted · atlas:v16-54

v16.54 connects floor-two parent supports

PR #102 merged as 496a403 into research/v16.34-fiber-component-invariant on 2 Oct 2026, not into main. CLOSED/CERTIFIED for the bounded M1–M9 implementation and native integration. For arbitrary feasible arity, palette, and target q at least 3, every exact-q endpoint whose root floors are all 2 is connected by a path whose hitting number stays in {q-1, q}. The argument uses overlap changes, star and closed-neighborhood symmetrization, then removal of upper excursions. It does not require disjoint witnesses or symmetry-equivalent endpoints. This is not the v16.50 total-excursion theorem. Universal higher-floor connectivity remains OPEN. Not a physical barrier.

Does not show: Higher-floor connectivity, the global sum at most 1, a physical barrier, a source, a STATUS bump.
Restricted · atlas:v16-53

v16.53 certifies a reusable four-child interface

PR #101 merged as f6d4d79 into research/v16.34-fiber-component-invariant on 2 Oct 2026, not into main. CLOSED/CERTIFIED. Recursive composition extends to finite ordered trees whose internal arities are 2, 3, or 4. The frozen corpus has 2863 records and 34234 verified moves. Numerical checks support the implementation. They are not the theorem. Arity 5 and above stay outside. Not a physical interpretation. A failed construction is not a nonunit barrier.

Does not show: Arity 5 or higher, a census of every state, a nonunit witness, a physical reading, a source, a STATUS bump.
Restricted · atlas:v16-52

v16.52 repeats binary and ternary repair

PR #100 merged as b6bf957 into research/v16.34-fiber-component-invariant on 1 Oct 2026, not into main. CLOSED/CERTIFIED. The repair interface is preserved under repeated binary and ternary composition for finite ordered rooted trees in the stated nonempty nested-support category. The total excursion stays at most 1. Inside an exact-profile component B1, Binf, and Bs are 0. Between distinct exact components each is 1. The record does not assert that every profile has multiple components. 7236 directed cases, including 2412 with root target 2, 263927 legal moves, 3491 cases with unit excursion, zero construction failures, and 1150 checks. Forty-two scientific files matched byte for byte. Higher arity stays outside. A failed construction is not a nonunit certificate.

Does not show: A component count, arity 4 or higher, every path, a nonunit witness, a physical reading, a source, a STATUS bump.
Restricted · atlas:v16-51

v16.51 validates one ternary root at hitting number 2

PR #99 merged as 76f373c into research/v16.34-fiber-component-invariant on 1 Oct 2026, not into main. CLOSED/CERTIFIED under AMENDMENT_001. One genuine ternary root over three arbitrary finite full binary children, centered on hitting number 2. Outcome TERNARY_Q2_INTERFACE_VALIDATED. 2592 directed specification identities, 864 with root target 2, 92352 primitive moves, 1213 unit-excursion cases, 72 minimum-width checks, zero construction failures, 1071 checks. Thirty-nine scientific files matched byte for byte. Repeated ternary composition was still unresolved at this gate. The missed original preimplementation verifier-level RED timing is disclosed and is not retroactively claimed. No nonunit witness is claimed. The pairwise-overlap pattern was the interface question, not a counterexample.

Does not show: Repeated ternary composition, higher arity, a nonunit witness from the overlap example, a retroactive RED, a source, a STATUS bump.
Restricted · atlas:v16-49

v16.49 fork-of-chains receipt closeout is approved

PR #97 merged as a8280c1 into research/v16.34-fiber-component-invariant on 1 Oct 2026, not into main. FORK_CHAIN_INTERFACE_VALIDATED for one binary parent with two internal-chain children of arbitrary finite length. Overlapping palettes keep a common anchor. Disjoint palettes normalize separately and exchange as complete label roles, preserving inner profiles, while only the parent can carry a unit deficit. 133 representative normalizations and 192 directed cases pass, with zero nonunit pairs. Frozen graphs at k=2 and k=3: 430250 states, 3113250 primitive edges, 31 profiles, 809 component pairs. The 11-vertex fork is the smallest in this family with both children having at least two internals. It is not the smallest branching tree. Larger-palette directed cases are not exhaustive universes. Receipt commit 9d087af records the actual-merge closure receipt. Closeout commit 9ffa81c records INDEPENDENT_RECEIPT_CLOSEOUT_APPROVED, decision APPROVE CLOSED/CERTIFIED for this scoped theorem, terminal run 36863457271. An earlier README PRE-CLOSURE line is not that closeout. Arbitrary-tree universality stays unresolved.

Does not show: Arbitrary trees, a universal unit law, unit as failure or nonunit as success, a source, a STATUS bump.
Restricted · atlas:v16-48

v16.48 chain induction is closed inside chains only

PR #96 merged as 0c0efebe into research/v16.34-fiber-component-invariant on 1 Oct 2026, not into main. The closure update records compact-palette induction for every finite internal chain: each subtree is brought to a prescribed compact configuration with its root support fixed, and total L1 excursion stays at most 1. Saturated-label exchanges preserve every inner hitting number. Receipt commit cb086f9 records post-merge workflow 36856450558 against head 0c0efebe, with science VERIFIED. The demo README on the science branch and on research/v16.48-audit-receipt still contains the earlier PRE-CLOSURE sentence. That sentence is not the later closure record. Arbitrary internal branching is not covered. The universal unit barrier stays UNRESOLVED. The induction explains the bound inside chains. It does not select a source.

Does not show: Arbitrary branching, a universal unit law, a source, height 1 as one component or one move, a no-go against the retained structure, a merge to main, a STATUS bump.
Restricted · atlas:v16-45

v16.45 binary-fork unit barrier is a family theorem

research/v16.45-binary-fork-unit-barrier, not on main. BINARY_FORK_THEOREM_VALIDATED for every admitted no-unary rooted tree with exactly two root children, each the center of a star, at arbitrary leaf degrees m,n at least 2 and palette size k at least 2. Every state in an attained profile reaches a canonical state by single-label moves with total L1 profile deviation at most 1. Inside an exact component the barrier is 0. Between distinct exact components B1, Binf, and Bs are each 1. Finite checks test the implementation. They do not themselves prove those quantifiers. The reviewed construction is the family statement. This is not one tested graph. Chains, extra root children, and arbitrary retained trees stay out of scope. This is not a physical evolution.

Does not show: One example standing in for the family, every tree, a three-internal chain, a source, a metric, gravity, a STATUS bump.
Restricted · atlas:v16-47

v16.47 three-internal chains include saturation

research/v16.47-saturated-chain-repair, not on main. REPORT.md records THREE_INTERNAL_CHAIN_THEOREM_VALIDATED: every three-internal-vertex chain of degrees at least 2 and k at least 2 admits total L1 excursion at most 1, including the saturated outer root. Universal unit barrier UNRESOLVED. Not arbitrary branching. Not on main.

Does not show: Arbitrary trees, a universal unit law, a metric, gravity, a STATUS bump.
Restricted · atlas:v16-46

v16.46 non-saturated chain lemma

research/v16.46-nested-chain-repair, not on main. NON_SATURATED_CHAIN_LEMMA_VALIDATED when the outer target is strictly below its degree. The saturated outer root was left UNRESOLVED at this gate. Universal unit barrier UNRESOLVED.

Does not show: The saturated case, arbitrary trees, a metric, gravity, a STATUS bump.
Restricted · atlas:v16-44

v16.44 two-internal unit barrier

research/v16.44-two-branch-unit-barrier, not on main. TWO_BRANCH_THEOREM_VALIDATED for every admitted no-unary rooted tree with exactly two internal vertices and k at least 2. Barriers are 1 between distinct exact components. Universal unit barrier UNRESOLVED.

Does not show: Three or more internal vertices, a universal unit law, a metric, gravity, a STATUS bump.
Restricted · atlas:v16-43

v16.43 star fibers are connected except the packed case

research/v16.43-star-fiber-classification, not on main. STAR_CLASSIFICATION_VALIDATED: exact hitting-number fibers of a rooted star with m,k at least 2 are one component, except the packed case m=k=q. That packed case has m! isolated exact-profile components and barrier 1 between every pair. Ten leaves and ten labels are 3628800 components of one profile. Barrier height 1 is not a small ambiguity and not one move. The exchange of two labels uses four incidence moves, then those exchanges compose. The maximum profile excursion stays 1. Nested interactions stay UNRESOLVED. Universal unit barrier UNRESOLVED.

Does not show: That the exact profile determines the component, that height 1 means one move, nested trees, a universal unit law, a metric, gravity, a STATUS bump.
Restricted · atlas:v16-42

v16.42 overlapping-core repair is one family

research/v16.42-overlapping-core-repair, not on main. FAMILY_THEOREM_VALIDATED for the reviewed T(d,m) family only: an m-leaf overlapping core behind d binary side branches. Intrinsic indecomposability is not claimed. Universal unit barrier UNRESOLVED.

Does not show: Intrinsic indecomposability, a universal unit law, a metric, gravity, a STATUS bump.
Restricted · atlas:v16-41

v16.41 partition profiles have a unit repair

research/v16.41-unit-barrier-dichotomy, not on main. PARTITION_THEOREM_VALIDATED_BOUNDED_REMAINDER_UNIT. The reviewed proof covers partition profiles on finite rooted no-unary trees with k equal to the number of leaves and q equal to outdegree. Intrinsic indecomposability is NOT_CLAIMED. The finite remainder had zero nonunit pairs. Universal unit barrier UNRESOLVED.

Does not show: Every overlapping profile, intrinsic indecomposability, a universal unit law, a metric, gravity, a STATUS bump.
Restricted · atlas:v16-40

v16.40 unit repair can move the deviation

research/v16.40-coordinate-obstruction, not on main. One fixed tree. MOVING_LOCATION_WITNESS_VALIDATED: a unit path exists whose deviation coordinate changes. A single fixed coordinate is not enough for that pair. indecomposable_fixed_coordinate UNRESOLVED. Universal unit barrier UNRESOLVED. The report is not a smallest-example theorem.

Does not show: A universal fixed-coordinate law, a universal unit theorem, a metric, energy, gravity, a STATUS bump.
Restricted · atlas:v16-39

v16.39 saturation condition is sufficient, not a certificate

research/v16.39-structural-unit-barrier, commit c934fee, 30 Sep 2026, not on main. Exploratory proof after v16.38. Not preregistered. No new numerical execution. If SC holds, endpoints in different components of the exact q-fiber have primary barriers and LEX_BARRIER equal to (1,1,1). Independent review calls the argument sound as a sufficient-condition theorem. It is not a characterization of every unit profile. A five-vertex nested restricted-support example still has a four-move unit path, so that pattern is not a nonunit witness. Numbered-stage certification is pending. NEXT_EXPERIMENT.md is not executed.

Does not show: A universal unit law, a characterization of all unit profiles, a nonunit witness, physical interpretation, a metric, energy, gravity, a STATUS bump.
Restricted · atlas:v16-38

v16.38 six-vertex barriers are bounded unit only

research/v16.38-six-vertex-barriers, merge e4de671, not on main. Every rooted unordered tree with 1–6 vertices and k in {1,2,3}: 111 graphs, 52907 states, 244 component pairs, 1497 endpoint pairs, zero nonunit pairs. Primary outcome BOUNDED_UNIT_ONLY. Universal unit law UNRESOLVED. The n≤5 records reproduce v16.37. Audit receipt ed87aef records the successful actual-merge audit; a later note cites run 36757689353.

Does not show: A universal unit theorem, a metric, an energy, gravity, a STATUS bump.
Restricted · atlas:v16-37

v16.37 five-vertex barriers are bounded unit only

research/v16.37-certified-closure, not on main. Parent is the v16.36 completeness head 8941af1. Frozen domain: every rooted unordered tree with 1–5 vertices and k in {1,2,3}. 51 graphs, 6325 states, 69 component pairs, 77 endpoint pairs, zero nonunit pairs. Primary outcome BOUNDED_UNIT_ONLY. Universal unit law UNRESOLVED. Audit receipt e5c3e33 records the successful actual-merge audit. v16.38 cites that audit as run 36748415870 at integrated parent 694ed90.

Does not show: UNIT_THEOREM, a metric, an energy, gravity, a STATUS bump.
Restricted · atlas:v16-36

v16.36 pair-completeness closed; barrier law unresolved

PR #81 merged as ce4f0c0 into research/v16.34-fiber-component-invariant on 30 Sep 2026, not into main. RESULTS.md is unchanged and Gate D stays UNRESOLVED: LOCAL_UNIT is not claimed. The closed gap is pair-completeness. The earlier verifier recomputed supplied pairs without proving the set was the canonical 18. PR #80 (d887068) added the P1–P8 proof ledger and did not close that gap. PR #81 enumerates the canonical universe and rejects omissions, duplicates, and same-count substitutions. Audit 36731692842 (workflow head 8941af1) froze ce4f0c0, reconstructed 18 records, and passed the inherited stack. Signature C still uses the certified barrier inside its feasible region, so it is not an independent predictive law. Energy, geometry, and gravity are not derived.

Does not show: LOCAL_UNIT, an independent predictive barrier law, a universal ultrametric, a metric or an energy, Einstein, a merge to main, a STATUS bump.
Restricted · atlas:v16-35

v16.35 fiber barriers are combinatorial

research/v16.35-fiber-barrier-closure, not merged. Eighteen pairs of consistency-equivalent retained states require every legal one-incidence path to leave the endpoint quotient. Barrier coordinates are not energies, times, or geometric distances. Not the head of the line after v16.36.

Does not show: A metric, fundamental time, gravity, a STATUS bump.
Restricted · atlas:v16-32

v16.32 closure data do not reconstruct the cover

v16.32, not merged. NONINJECTIVE. Value-level closure through v16.31 does not reconstruct the indexed retained cover. Smallest witness uses three vertices and two views.

Does not show: The cover reconstructed, a physical source law, Einstein.
Restricted · atlas:v16-13f

v16.13F foundation is only partial

v16.13F, not merged. RETAINED_FOUNDATION_PARTIALLY_CLOSED_WITH_TYPED_BOUNDARY and INTRINSIC_OBSTRUCTION_COMPOSITION_UNDERDETERMINED. Missing object is a transport for obstruction information. Not a metric, quantum carrier, or gravity criterion.

Does not show: Einstein closed, quantum mechanics derived, a STATUS bump, scientific_breakthrough.
Restricted · atlas:v15-99-invalid

v15.99 intermediate EB retention is INVALID

research/v15.99-intermediate-eb-retention, not merged. Both preregistered verdicts are INVALID because rank covariance failed. True-looking predicates do not override validity. Not a certified physical result.

Does not show: A scientific pass, surviving entanglement, gravity, a STATUS bump.
Restricted · atlas:v15-98

v15.98 four-body exposure and order are distinct

research/v15.98-composed-four-body-response, commit 3a3655a, not merged. COMPOSITION_ORDER_GEOMETRY_CONFIRMED and COMMUTING_COMPOSITION_ACTIVATION_CONFIRMED. Two sources can expose weight-four information. Noncommutation is not required. Order contrast is separate. Not gravity.

Does not show: A selected physical source law, Einstein, derived time, a STATUS bump.
Restricted · atlas:v15-97

v15.97 overlap hidden response

research/v15.97-overlap-hidden-response, commit 903b72b, 27 Sep 2026, not merged. OVERLAP_HIDDEN_RESPONSE_CONFIRMED and PLANAR_TWO_LOOP_RESPONSE_CONFIRMED. A specified source can change both overlapping loops. Not continuous SO(3). Not gravity. Not a STATUS gate.

Does not show: Einstein, derived quantum mechanics, a source-to-admissible-world law, fundamental time, a STATUS bump.
Restricted · atlas:v15-88

v15.88 applies a 2003 entanglement-breaking theorem

research/v15.88-exact-erasure-entanglement, commit 8419150, not merged. EXACT_ERASURE_ENTANGLEMENT_BREAKING_CONFIRMED cites Horodecki, Shor and Ruskai (2003). A qubit CPTP map with a kernel in its linear Bloch part is entanglement-breaking. Not a theorem discovered here. SOFT_ERASURE_ENTANGLEMENT_SURVIVES: small transmission can keep entanglement.

Does not show: A new derivation of quantum mechanics, gravity, a STATUS bump.
Restricted · atlas:v15-90

v15.90 falsifies the Choi-ceiling extension

research/v15.90-arbitrary-input-negativity, commit 5e4c27c, not merged. CHOI_CEILING_EXTENSION_FALSIFIED. UNIVERSAL_INPUT_NEGATIVITY_BOUND_CONFIRMED and OPTIMAL_LINEAR_NEGATIVITY_CONSTANT_CONFIRMED. Does not revise v15.89 N(J/2) <= delta/2.

Does not show: A retraction of v15.89, a quantum-capacity formula, gravity, a STATUS bump.
Restricted · atlas:v15-81-no

v15.81 finite window is a scientific NO

research/v15.81-source-component-interference, commit 8ef3c43, not merged. MATCHED_COMPONENT_INTERFERENCE_RESPONSE_CONFIRMED and FINITE_COMPONENT_INTERFERENCE_WINDOW_NOT_CONFIRMED. Green CI accepted the NO. Later gates through v15.97 do not withdraw it.

Does not show: A later rescue of the finite window, gravity, a STATUS bump.
Restricted · atlas:v15-95

v15.95 fixed-support holonomy is one axis

research/v15.95-compatible-holonomy-reduction, commit 0bb9d70, not merged. FIXED_SUPPORT_HOLONOMY_REDUCTION_CONFIRMED and PLANAR_LOOP_RESPONSE_CONFIRMED. Continuous tangents at fixed rank-two support lie in one direction of a non-abelian O(2). Not three-axis holonomy. Not zero holonomy. Not Einstein.

Does not show: Einstein, a global gauge group, restored quantum data, a STATUS bump.
Restricted · atlas:v15-77-active

v15.77 active symmetric baseline stays rotationally null

Research branch research/v15.77-active-baseline-null, commit fdc9c23, not merged to main. ACTIVE_RETAINED_BASELINE_COMPOSITION_NULL_CONFIRMED. Twelve channels b=rho+delta Y move their centers and keep hidden leakage with null polar rotation at depths 1, 2, 4, 8. Does not rescue the original v15.76 channel. Does not contradict v15.75.

Does not show: A rescue of FROZEN_CHANNEL_FINITE_NULL_OBSTRUCTED, open-neighborhood nullity, gravity, derived time, a STATUS bump.
Restricted · atlas:v15-77-skew

v15.77 equal-norm skew baseline is visible

Same branch, separate comparison: EQUAL_NORM_SKEW_BASELINE_VISIBLE_CONFIRMED. An equal-norm skew baseline produces visible hidden rotational response on every tested reference and depth. A contrast, not a universal theorem.

Does not show: A substitute for the active-symmetric verdict, gravity, derived quantum mechanics, a STATUS bump.
Restricted · atlas:v15-75-open

v15.75 open-state affine null confirmed

Research branch research/v15.75-affine-open-null, commit 07170c00, not merged to main. AFFINE_OPEN_NULL_RETAINED_CLOSED_CONFIRMED. Twelve frozen states; stacked Q and E rank 36. Open-state rotational nullity for a fixed affine law forces the linear part to preserve the hidden sector.

Does not show: Gravity, derived time, finite-composition invariance, a source law from recoverability, a STATUS bump.
Restricted · atlas:v15-75-pointwise

v15.75 CPTP null only at the frozen anchor

Same branch, separate verdict: CPTP_POINTWISE_NULL_ONLY_CONFIRMED. One CPTP affine channel is rotationally null at its frozen anchor and visible on the other eleven states. ONLY is that distinction, not uniqueness in the full state space. An infinitesimal null is not finite-strength invariance.

Does not show: Open-neighborhood nullity, a rescue of later finite-composition failures, gravity, a STATUS bump.
Restricted · atlas:v15-76-obstructed

v15.76 original channel finite null obstructed

Research branch research/v15.76-cptp-null-composition, commit 45cbd56, not merged to main. Original channel b=I/8: FROZEN_CHANNEL_FINITE_NULL_OBSTRUCTED. The pointwise rotational null fails at depth one. Does not erase the v15.75 infinitesimal null.

Does not show: A pass for the original channel, gravity, time, a rescue by the anchored control.
Restricted · atlas:v15-76-anchored

v15.76 anchored CPTP control confirmed

Separate preregistered channel b=rho0: ANCHOR_FIXED_CPTP_COMPOSITION_NULL_CONFIRMED. Nonzero retained leakage with null rotation at depths 1, 2, 4, 8. Engineered existence control. Does not replace the original obstructed verdict.

Does not show: Rescue of the original channel, reference-independent naturality, gravity, derived time, a STATUS bump.
Restricted · atlas:grok-v15-45

Grok review of the v15.45 operator

24 Sep 2026. Grok matched the factorization and the rank/nullity table by rational arithmetic, read odd-L centered injectivity as finite distinguishability of nonzero centered perturbations, and said no continuum or gravity is asserted. Red team, not a theorem.

Does not show: Derived quantum mechanics, a literature-priority claim, Einstein, a source law, a STATUS bump.
Open · atlas:v15-55

v15.55 source–compatibility response (proposed)

Contract only. A folder v15.55-source-compatibility-response exists on research/v15.76-cptp-null-composition. This claim does not adopt that RESULTS.json. Asks whether an irrecoverability defect forces a change in retained incidence with A_G fixed, and whether that map is unique up to earned gauge. Legal failures include RESPONSE_NOT_FORCED and RESPONSE_NONUNIQUE.

Does not show: A result, Einstein, a fitted source, a STATUS bump, derived quantum mechanics.
Restricted · atlas:v15-54-obstruction

v15.54 operational obstruction

Receipts only, not main. CERTIFIED_OPERATIONAL_NONCLASSICAL_OBSTRUCTION scoped outside a frozen Bell-local comparator class. Independent verifier GREEN claimed (47feb98). Final RESULTS.json freeze required. PR #57 unmerged.

Does not show: Gravity, derived quantum mechanics, a Supported Bell score, a STATUS gate.
Restricted · atlas:representation-nonunique

Representation non-unique

PR #57 only, unmerged. REPRESENTATION_NONUNIQUE. Frozen ontology does not force a unique Q up to earned gauge. Same retained O, inequivalent τ on the later witness. Not a claim that no quantum representation exists.

Does not show: No quantum representation exists, Einstein, a STATUS gate, derived quantum mechanics.
Restricted · atlas:v15-45

v15.45 factorization and spectral boundary

On main (PR #58, ade7d4c). FACTORIZATION_CERTIFIED_WITH_EXPLICIT_SPECTRAL_BOUNDARY. Odd-L centered kernel 0; even-L kernel kept. Aφ = Ms/2 is DEPENDENT_BY_CONSTRUCTION. Source correspondence NOT_EVALUATED. The publication note records the result and does not close the source. The historical v15.03 obstruction is not erased.

Does not show: Independent source evidence, Einstein, a continuum limit, a STATUS bump.
Restricted · atlas:v15-44

v15.44 intrinsic curvature interpretation

On main (PR #58). Exact intrinsic curvature-response characterization. No source fitting. 740 archived fields. Source correspondence NOT_EVALUATED. Not a family winner. Publication does not close the source. The historical v15.03 obstruction is not erased.

Does not show: Einstein, a source law, a STATUS bump, quantum mechanics derived.
Restricted · atlas:forced-geometry

Forced geometry from identities that cannot be erased

21 Sep 2026 public voice. Do not smuggle entropy, area laws, causal order, or a metric. Identities that cannot be erased + recombination rules → forced structure. Pairs look geometric; three-way associator will not reduce to pairs. Matching GitHub freeze v15.43; source correspondence NOT_EVALUATED. Einstein not closed. Not a STATUS gate.

Does not show: Einstein derived, a smuggled metric as a theorem, a STATUS bump, gravity found.
Restricted · atlas:v15-43

v15.43 canonical response curvature nonzero

On main as a dependency of the v15.44/v15.45 publication, not the head of the line. CANONICAL_RESPONSE_CURVATURE_NONZERO. Frozen v15.42 transport on frozen response fields. 740 cases, 148 canonical, 30,260 faces. Source correspondence NOT_EVALUATED. Nonzero curvature alone does not establish family specificity. Einstein not closed. The historical v15.03 obstruction is not erased.

Does not show: Einstein closed, source correspondence, a STATUS gate, a gravity law, derived time.
Restricted · atlas:v15-42

v15.42 transport protocol certified

GitHub-only. TRANSPORT_PROTOCOL_CERTIFIED. Exact covariance, scale, superposition. Construction firewall: no source targets. Not Einstein. STATUS.md remains v15.03.

Does not show: Einstein, source correspondence, a STATUS gate, a gravity law.
Restricted · atlas:v15-41

v15.41 no curvature–source correspondence

GitHub-only research freeze. CONNECTION_IDENTIFIABLE_NO_CURVATURE_SOURCE_CORRESPONDENCE. L=5,7,9,11; curvature exactly zero; correspondence false. Conditional on v15.39/v15.40. Not Einstein. Main STATUS.md remains v15.03. No X URL.

Does not show: Einstein, ADM, spacetime curvature, a STATUS gate, a gravity law.
Corrected · atlas:protein-closeout

Protein-mechanism program closed

19 Sep 2026 X. Computational signals real. Distinct transferable new folding mechanism not established. Held-out transfer +~2.6% (p≈0.46) / −5.6% (p≈0.49). CLOSED on current evidence. Reopen only for new independent evidence. Does not change Supported four or Git freeze v15.03.

Does not show: A new folding mechanism, a TOE confirmation, AlphaFold refuted, a therapy.
Restricted · atlas:v15-13-demo

v15.13 independent-events demo

13 Sep X + GitHub branch research/v15.13-independent-events. 96 runs (6 interleavings × 16 outcomes). Same-record-set trace ≈1.02×10⁻¹⁵. No imposed global clock. Outcomes supplied. Not a derivation of time. Not a STATUS gate. Freeze remains v15.03.

Does not show: Physical time, a derived collapse law, Einstein, ADM, a STATUS gate.
Restricted · atlas:v15-12-demo

v15.12 pre-time-to-history demo

13 Sep X + GitHub branch research/v15.12-integrated-pretime-history. Reversible motion → supplied RAS/RCR → ROOT→1__→10_→101. Ranks 8→4→2→1. Middle weight ≈8.19%. 30+20 tests passed (implementation). Not a closure gate. Time, choice law, entropy production, duration, gravity not derived. STATUS.md remains v15.03.

Does not show: Physical time, a derived collapse law, Einstein, ADM, a STATUS gate.
Restricted · atlas:v13-qrsl

QRSL irreducible

QRSL (Quantum Refinement Selector Law) is irreducible relative to the current frozen ontology. Genesis Pin, recoverability order, W1/W2/W3, positivity, and quotient naturality do not select a canonical fine world. GitHub-only, 12 Sep 2026, v13.23. Not a gravity law.

Does not show: Einstein, ADM, a canonical refinement, a gravity derivation.
Restricted · atlas:v13-hcpr

HCPR irreducible

HCPR is not a function of the current frozen ledger. Same one- and two-body data, different rigidity. Irreducible relative to W1/W2/W3 + atlas. GitHub-only, v13.10. Restricted finite no-go. Not gravity.

Does not show: Einstein, ADM, a gravity theorem, same-ledger as same-reality.
Restricted · atlas:v13-qmar

Finite-state QMAR

Finite-state QMAR (Quantum Metric-Affine Response) and CMI recoverability bounds O(√CMI) / O(‖P‖ √CMI) on faithful polar-gapped strata. Restricted finite identities. Not Einstein, not ADM, not a stress-energy law.

Does not show: Einstein, ADM, a stress-energy law.
Restricted · atlas:v13-rscl

RSCL irreducible

RSCL (Retained Source Calibration Law) is irreducible relative to the current frozen ontology. Exact common-scale degeneracy: (ρ,j,κ) → (aρ, aj, κ/a) preserves balance and κT. GitHub-only v13.25–v13.26. Not a stress-energy law.

Does not show: Absolute observer stress-energy, κ_obs, Einstein residual as a selector.
Restricted · atlas:v13-rgcl

RGCL requires a new axiom

RGCL (Retained Geometric Coupling Law) is missing. v13.27: coupled source is a projective ray [Σ], not a magnitude. v13.28: REQUIRES_NEW_AXIOM. Weight-zero geometry paired with weight-one source stays weight one. GitHub-only. Not Einstein.

Does not show: A target-blind Sigma_obs = kappa T bridge, ADM, a gravity derivation.
Restricted · atlas:v14-03

v14.03 dual-ray selection

v14.03: a supplied positive projective PGRL source ray in the archived support state selects a hidden first-order dual ray (PROJECTIVE_SOURCE_RAY_SELECTS_DUAL_RAY). Independent status: PROVENANCE_SOURCE_TYPE_MISMATCH. Conditional on [P]. Preserved under v14.04. GitHub-only 12 Sep. scientific_breakthrough: false. Pillar 3 OPEN.

Does not show: Provenance origin of [P], absolute coupling, stress-energy, spacetime, Einstein equations.
Restricted · atlas:v14-04

v14.04 intertwiner missing

v14.04: REQUIRES_NEW_REPRESENTATION_LINK. Exact sub-theorem SUPPORT_GAUGE_PROJECTIVE_CENTRALITY: gauge-trivial provenance forces central P, hence PGRL-null (max tangent 5.900e-16). Four frozen carriers, two nontrivial, zero certified natural maps into Herm(25). Three supplied isometries give pairwise projective residuals ~0.999. GitHub-only 12 Sep. scientific_breakthrough: false.

Does not show: A natural J, absolute source magnitude, stress-energy, spacetime, Einstein equations, Pillar 3 closure.
Restricted · atlas:v15-02

v15.02 no shared-label functor

v15.02: NO_CERTIFIED_SHARED_LABEL_CARRIER. Five source nodes and five quantum labels do not share a certified functor. 120 inequivalent bijections. Cardinality 5=5 is not a functor. GitHub-only 13 Sep. scientific_breakthrough: false.

Does not show: A label identification, a parent source, Einstein, Pillar 3.
Restricted · atlas:v15-03

v15.03 graph-site factorization not certified

v15.03: NO_CERTIFIED_GRAPH_SITE_FACTORIZATION. A graph node is not a certified quantum site. State-dependent covariant lifts exist and are nonunique. Five nontrivial sites cannot equal C^125. GitHub-only 13 Sep. scientific_breakthrough: false.

Does not show: A unique P from site states, Einstein, ADM, a gravity derivation.
Open · atlas:where-is-p

Where does P come from?

If P is supplied, v14.03 selects a dual ray. The live question is the origin of P. Do not insert P because the dual would look gravity-like. Next: a composition law that uniquely determines the source map, or a labeled NEW ASSUMPTION. GitHub-only. Pillar 3 OPEN.

Does not show: That gravity has been found. Permission to pick log ρ or a Pauli axis.
Restricted · atlas:v13-27-demo

v13.27 Path-A demo

GitHub demo demos/v13.27-gravity-progress: deterministic 6-qubit Path-A laboratory. Fingerprint f632e656cc2ea1fc5d61b395080d7259ecfed21c9bd8379626da49f44d6c38fc. max source-balance residual 4.611e-16. Raw polar det<0 on 200/200 edges. 9 genuine π holonomy events, no clip. RGCL MISSING. Restricted finite lab. Not a gravity derivation. λ_source is not time.

Does not show: Physical space, ADM constraints, Einstein equations, a force law.
Open · atlas:v13-next

Queue is a representation principle

Next lawful move is not a numbered gravity page. Live HEAD v15.03: graph-site factorization not certified. v14.03 remains certified conditional on supplied [P]. A next gate is lawful only if new frozen structure uniquely determines the source map, or a NEW ASSUMPTION is labeled as such. Do not pick log ρ. Pillar 3 remains OPEN. GitHub-only. scientific_breakthrough: false.

Does not show: A gravity derivation, RATS unlocked, Einstein equations, an invented provenance law.
Restricted · atlas:pin-not-selector

Pin is a ledger, not a selector

Genesis Pin is a ledger, not a selector. v13.23: Genesis Pin → QRSL: NO. Same coarse descriptor can hide distinct fine worlds. Pin identity is not a canonical refinement law.

Does not show: A world-picker, an origin of time, a canonical refinement law.

Archive of completed rungs

v13.01 → v14.04

Full gate ledger. Watch surface is above. Queue is a representation principle, not a gravity page.

Metric-affine parent / LC sector

Open

Levi-Civita and the Einstein sector are not selected by the frozen stack. Generic metric-affine parent remains.

✓

v13.01

Metric-origin branch stop / HLCB

Metric-origin branch stops. HLCB dependency reduced.
✓

v13.05

Metric-affine Pillar-3 / Einstein-sector minimality

Metric-affine parent. Levi-Civita sector reframed. Pillar 3 still open.
✓

v13.10

Hidden-completion source rigidity / HCPR

Frozen-ledger HCPR non-factorization. Irreducible relative to the current ledger.
✓

v13.11

Metric-affine source response / QMAR

Conditional first-order QMAR from PGRL/ETL through BKM and polar transport.
✓

v13.23

QRSL origin / canonical refinement selector

QRSL irreducible. Genesis Pin → QRSL: NO. Origin search STOP.

Post-QRSL / source calibration

Restricted

v13.24–v13.28 completed on GitHub. RSLB not closed. RSCL irreducible. Projective [Σ] only. RGCL requires a new axiom.

✓

v13.24

Post-QRSL branch reassessment

21 QRSL-independent; 3 blocked. Controlled observer residual 8.388e-06. External correspondence only.
✓

v13.25

Retained source-ledger / observer stress-energy

Common-scale degeneracy. RSCL isolated. RSLB not closed.
✓

v13.26

RSCL origin / absolute source calibration

RSCL irreducible. Branch stop. Pillar 3 OPEN.
✓

v13.27

Projective coupled-source / direct κT bridge

Ray [Σ] yes; unique magnitude no. Demo RGCL MISSING. scientific_breakthrough false.
✓

v13.28

RGCL origin / source-to-coframe pairing

REQUIRES_NEW_AXIOM. 256 trials. Do not invent a coupling law.

v14 upstream source ray

Restricted

Conditional on supplying [P]. Provenance does not produce it. Latest completed is v14.04: the missing object is a representation/intertwiner J.

✓

v14.01

Canonical source-dependent global admissibility

Nonunique source-to-higher-incidence map. Outcome NONUNIQUE.
✓

v14.02

Convex-dual boundary normal

Canonical local dual ray on 128 simple boundaries. Outcome CANONICAL_DUAL_RAY.
✓

v14.03

Projective source-ray / hidden first-contact

PROJECTIVE_SOURCE_RAY_SELECTS_DUAL_RAY. PROVENANCE_SOURCE_TYPE_MISMATCH. Preserved conditional.
✓

v14.04

Provenance representation / intertwiner

REQUIRES_NEW_REPRESENTATION_LINK. Central P is PGRL-null. Zero certified J. Branch stop.
○

J

Representation principle

Natural intertwiner, independent identification, or labeled NEW ASSUMPTION. Do not invent an embedding.

Not the live spine

This page is the 4–12 Sep X-week / v13 campaign reel. Current science is /wiki/live-gates (STATUS.md v15.03). Geometry on main through v15.45 is /wiki/research-ladder. PR #57 is not a live gate. Do not cite this reel as STATUS.md. scientific_breakthrough: false.

GitHub-only 12 Sep reel. No invented X URLs. Historical after v13.23. Restricted: HCPR, QMAR, QRSL, RSCL, RGCL. The live STATUS freeze is v15.03 NO_CERTIFIED_GRAPH_SITE_FACTORIZATION. Pillar 3 OPEN.

Where it belongs

Live finite (band C), next to Astra, the compatibility lab, and v12.41. Not a gravity page.
HCPR is the same moral as 315 vs 311: same pair data is not the same global completion.
QMAR finite identities append beside Astra. They do not close Package 17.
QRSL stop sits on Genesis Pin: the pin is provenance, not a fine-world selector.
Pillar 3 stays Open on Package 17 and the June substrate.

What this does not show

Einstein’s equations, ADM momentum, or a derived stress-energy tensor.
A Supported harness. The Supported four are unchanged.
An X field note. Cite GitHub STATUS.md and the v14.04 report.
A gravity derivation. scientific_breakthrough is false. RGCL is missing.
STATUS.md (GitHub)
v14.04 report
v13.27 Path-A demo
v13.23 report
ResearchHistory/UQCF-GEM
Astra
Genesis Pin
Compatibility lab
v12.41 moment-map
Package 17
Claim ledger
Supported four

Previous Two stacks Next Causal stack (mid rungs)

On this page

Where it belongs
What this does not show