{"id":"atlas:c3-reserve","status":"restricted","title":"Spare capacity is not reachable reserve","text":"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.","doesNotShow":"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.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:c3-reserve","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/1e7cd0938a668fbbcd916e6767e355be0cd1c39e/ResearchHistory/UQCF-GEM/research/physical-bridge/POST_A12_THEOREM_FIRST_SYNTHESIS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:c3-repair","status":"restricted","title":"Scoped repair interfaces are not broad C3","text":"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.","doesNotShow":"Broad C3, general C4, guaranteed progress, native observer origin, universal one-incidence connectivity, numbered v16 certification, a source, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:c3-repair","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/1e7cd0938a668fbbcd916e6767e355be0cd1c39e/ResearchHistory/UQCF-GEM/research/physical-bridge/POST_A12_THEOREM_FIRST_SYNTHESIS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:c3-readout","status":"restricted","title":"Count reconstructions do not derive access","text":"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.","doesNotShow":"Field access, a sensor, initialization solved, the admissible relation as an implementation, native C3 origin, numbered v16 certification, a source, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:c3-readout","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/1e7cd0938a668fbbcd916e6767e355be0cd1c39e/ResearchHistory/UQCF-GEM/research/physical-bridge/POST_A12_THEOREM_FIRST_SYNTHESIS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:post-a12","status":"restricted","title":"7 Oct index at 6a99418; that next line is not the 10 Oct frontier","text":"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.","doesNotShow":"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.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:post-a12","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/6a9941895d6f11283cea8d041c429e284f5413cb/ResearchHistory/UQCF-GEM/research/physical-bridge/POST_A12_THEOREM_FIRST_SYNTHESIS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:a12","status":"restricted","title":"A12.1–A12.5 is a self-contained closeout, not a v16 certificate","text":"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.","doesNotShow":"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.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:a12","source":"https://github.com/proteinfoldingengine/WetLabEngine/issues/104","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:a11-x61","status":"restricted","title":"A11.X61 accepts a hybrid-boundary batch interface","text":"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.","doesNotShow":"Universal certificate existence, three-cover necessity, X62–X64 as closed, a new connectivity class, numbered v16 certification, a source, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:a11-x61","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/6a9941895d6f11283cea8d041c429e284f5413cb/ResearchHistory/UQCF-GEM/research/overlapping-guard-exchange/A11_X61_CLOSEOUT.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:a11-x60","status":"restricted","title":"A11.X60 is colored-carrier minimum repair, not an arbitrary-root law","text":"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.","doesNotShow":"Universal arbitrary-root minimum repair, noncolored carriers, an obstruction to every temporary incidence, numbered v16 certification, a source, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:a11-x60","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/6a9941895d6f11283cea8d041c429e284f5413cb/ResearchHistory/UQCF-GEM/research/overlapping-guard-exchange/A11_X60_CLOSEOUT.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:a11-x59","status":"restricted","title":"A11.X59 accepts prescribed anchor mixing on a colored carrier","text":"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.","doesNotShow":"A new connectivity class, universal arbitrary-root repair, native disconnection, numbered v16 certification, a source, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:a11-x59","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/6a9941895d6f11283cea8d041c429e284f5413cb/ResearchHistory/UQCF-GEM/research/overlapping-guard-exchange/A11_X59_CLOSEOUT.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-50","status":"restricted","title":"v16.50 repeats a binary repair without raising the total excursion","text":"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.","doesNotShow":"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.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-50","source":"https://github.com/proteinfoldingengine/WetLabEngine/pull/98","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-55","status":"restricted","title":"v16.55 certifies a bounded renewable-guard repair","text":"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.","doesNotShow":"A universal root repair, X32 or X33 as proved, higher floors, a physical reading, a source, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-55","source":"https://github.com/proteinfoldingengine/WetLabEngine/pull/103","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-54","status":"restricted","title":"v16.54 connects floor-two parent supports","text":"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.","doesNotShow":"Higher-floor connectivity, the global sum at most 1, a physical barrier, a source, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-54","source":"https://github.com/proteinfoldingengine/WetLabEngine/pull/102","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-53","status":"restricted","title":"v16.53 certifies a reusable four-child interface","text":"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.","doesNotShow":"Arity 5 or higher, a census of every state, a nonunit witness, a physical reading, a source, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-53","source":"https://github.com/proteinfoldingengine/WetLabEngine/pull/101","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-52","status":"restricted","title":"v16.52 repeats binary and ternary repair","text":"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.","doesNotShow":"A component count, arity 4 or higher, every path, a nonunit witness, a physical reading, a source, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-52","source":"https://github.com/proteinfoldingengine/WetLabEngine/pull/100","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-51","status":"restricted","title":"v16.51 validates one ternary root at hitting number 2","text":"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.","doesNotShow":"Repeated ternary composition, higher arity, a nonunit witness from the overlap example, a retroactive RED, a source, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-51","source":"https://github.com/proteinfoldingengine/WetLabEngine/pull/99","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-49","status":"restricted","title":"v16.49 fork-of-chains receipt closeout is approved","text":"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.","doesNotShow":"Arbitrary trees, a universal unit law, unit as failure or nonunit as success, a source, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-49","source":"https://github.com/proteinfoldingengine/WetLabEngine/commit/9ffa81c","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-48","status":"restricted","title":"v16.48 chain induction is closed inside chains only","text":"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.","doesNotShow":"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.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-48","source":"https://github.com/proteinfoldingengine/WetLabEngine/pull/96","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-45","status":"restricted","title":"v16.45 binary-fork unit barrier is a family theorem","text":"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.","doesNotShow":"One example standing in for the family, every tree, a three-internal chain, a source, a metric, gravity, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-45","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v16.45-binary-fork-unit-barrier/ResearchHistory/UQCF-GEM/demos/v16.45-binary-fork-unit-barrier/REPORT.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-47","status":"restricted","title":"v16.47 three-internal chains include saturation","text":"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.","doesNotShow":"Arbitrary trees, a universal unit law, a metric, gravity, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-47","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v16.47-saturated-chain-repair/ResearchHistory/UQCF-GEM/demos/v16.47-saturated-chain-repair/REPORT.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-46","status":"restricted","title":"v16.46 non-saturated chain lemma","text":"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.","doesNotShow":"The saturated case, arbitrary trees, a metric, gravity, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-46","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v16.46-nested-chain-repair/ResearchHistory/UQCF-GEM/demos/v16.46-nested-chain-repair/REPORT.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-44","status":"restricted","title":"v16.44 two-internal unit barrier","text":"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.","doesNotShow":"Three or more internal vertices, a universal unit law, a metric, gravity, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-44","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v16.44-two-branch-unit-barrier/ResearchHistory/UQCF-GEM/demos/v16.44-two-branch-unit-barrier/REPORT.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-43","status":"restricted","title":"v16.43 star fibers are connected except the packed case","text":"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.","doesNotShow":"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.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-43","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v16.43-star-fiber-classification/ResearchHistory/UQCF-GEM/demos/v16.43-star-fiber-classification/REPORT.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-42","status":"restricted","title":"v16.42 overlapping-core repair is one family","text":"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.","doesNotShow":"Intrinsic indecomposability, a universal unit law, a metric, gravity, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-42","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v16.42-overlapping-core-repair/ResearchHistory/UQCF-GEM/demos/v16.42-overlapping-core-repair/REPORT.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-41","status":"restricted","title":"v16.41 partition profiles have a unit repair","text":"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.","doesNotShow":"Every overlapping profile, intrinsic indecomposability, a universal unit law, a metric, gravity, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-41","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v16.41-unit-barrier-dichotomy/ResearchHistory/UQCF-GEM/demos/v16.41-unit-barrier-dichotomy/REPORT.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-40","status":"restricted","title":"v16.40 unit repair can move the deviation","text":"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.","doesNotShow":"A universal fixed-coordinate law, a universal unit theorem, a metric, energy, gravity, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-40","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v16.40-coordinate-obstruction/ResearchHistory/UQCF-GEM/demos/v16.40-coordinate-obstruction/REPORT.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-39","status":"restricted","title":"v16.39 saturation condition is sufficient, not a certificate","text":"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.","doesNotShow":"A universal unit law, a characterization of all unit profiles, a nonunit witness, physical interpretation, a metric, energy, gravity, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-39","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v16.39-structural-unit-barrier/ResearchHistory/UQCF-GEM/demos/v16.39-structural-unit-barrier/STRUCTURAL_THEOREM.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-38","status":"restricted","title":"v16.38 six-vertex barriers are bounded unit only","text":"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.","doesNotShow":"A universal unit theorem, a metric, an energy, gravity, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-38","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v16.38-six-vertex-barriers/ResearchHistory/UQCF-GEM/demos/v16.38-six-vertex-barriers/REPORT.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-37","status":"restricted","title":"v16.37 five-vertex barriers are bounded unit only","text":"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.","doesNotShow":"UNIT_THEOREM, a metric, an energy, gravity, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-37","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v16.37-certified-closure/ResearchHistory/UQCF-GEM/demos/v16.37-certified-closure/REPORT.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-36","status":"restricted","title":"v16.36 pair-completeness closed; barrier law unresolved","text":"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.","doesNotShow":"LOCAL_UNIT, an independent predictive barrier law, a universal ultrametric, a metric or an energy, Einstein, a merge to main, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-36","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/ce4f0c0396fc4a763e5fac1826c180df599d9a00/ResearchHistory/UQCF-GEM/demos/v16.36-barrier-law-closure/RESULTS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-35","status":"restricted","title":"v16.35 fiber barriers are combinatorial","text":"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.","doesNotShow":"A metric, fundamental time, gravity, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-35","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v16.35-fiber-barrier-closure/ResearchHistory/UQCF-GEM/demos/v16.35-fiber-barrier-closure/RESULTS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-32","status":"restricted","title":"v16.32 closure data do not reconstruct the cover","text":"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.","doesNotShow":"The cover reconstructed, a physical source law, Einstein.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-32","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v16.35-fiber-barrier-closure/ResearchHistory/UQCF-GEM/demos/v16.35-fiber-barrier-closure/RESULTS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v16-13f","status":"restricted","title":"v16.13F foundation is only partial","text":"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.","doesNotShow":"Einstein closed, quantum mechanics derived, a STATUS bump, scientific_breakthrough.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v16-13f","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v16.35-fiber-barrier-closure/ResearchHistory/UQCF-GEM/demos/v16.35-fiber-barrier-closure/RESULTS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-99-invalid","status":"restricted","title":"v15.99 intermediate EB retention is INVALID","text":"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.","doesNotShow":"A scientific pass, surviving entanglement, gravity, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v15-99-invalid","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v16.35-fiber-barrier-closure/ResearchHistory/UQCF-GEM/demos/v16.35-fiber-barrier-closure/RESULTS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-98","status":"restricted","title":"v15.98 four-body exposure and order are distinct","text":"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.","doesNotShow":"A selected physical source law, Einstein, derived time, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1598-line#atlas:v15-98","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v16.35-fiber-barrier-closure/ResearchHistory/UQCF-GEM/demos/v16.35-fiber-barrier-closure/RESULTS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-97","status":"restricted","title":"v15.97 overlap hidden response","text":"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.","doesNotShow":"Einstein, derived quantum mechanics, a source-to-admissible-world law, fundamental time, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1578-line#atlas:v15-97","source":"https://github.com/proteinfoldingengine/WetLabEngine/tree/research/v15.97-overlap-hidden-response/ResearchHistory/UQCF-GEM/demos/v15.56-response-selector-obstruction","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-88","status":"restricted","title":"v15.88 applies a 2003 entanglement-breaking theorem","text":"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.","doesNotShow":"A new derivation of quantum mechanics, gravity, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1578-line#atlas:v15-88","source":"https://github.com/proteinfoldingengine/WetLabEngine/tree/research/v15.97-overlap-hidden-response/ResearchHistory/UQCF-GEM/demos/v15.56-response-selector-obstruction","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-90","status":"restricted","title":"v15.90 falsifies the Choi-ceiling extension","text":"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.","doesNotShow":"A retraction of v15.89, a quantum-capacity formula, gravity, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1578-line#atlas:v15-90","source":"https://github.com/proteinfoldingengine/WetLabEngine/tree/research/v15.97-overlap-hidden-response/ResearchHistory/UQCF-GEM/demos/v15.56-response-selector-obstruction","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-81-no","status":"restricted","title":"v15.81 finite window is a scientific NO","text":"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.","doesNotShow":"A later rescue of the finite window, gravity, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1578-line#atlas:v15-81-no","source":"https://github.com/proteinfoldingengine/WetLabEngine/tree/research/v15.97-overlap-hidden-response/ResearchHistory/UQCF-GEM/demos/v15.56-response-selector-obstruction","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-95","status":"restricted","title":"v15.95 fixed-support holonomy is one axis","text":"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.","doesNotShow":"Einstein, a global gauge group, restored quantum data, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1578-line#atlas:v15-95","source":"https://github.com/proteinfoldingengine/WetLabEngine/tree/research/v15.97-overlap-hidden-response/ResearchHistory/UQCF-GEM/demos/v15.56-response-selector-obstruction","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-77-active","status":"restricted","title":"v15.77 active symmetric baseline stays rotationally null","text":"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.","doesNotShow":"A rescue of FROZEN_CHANNEL_FINITE_NULL_OBSTRUCTED, open-neighborhood nullity, gravity, derived time, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1577-baseline#atlas:v15-77-active","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v15.77-active-baseline-null/ResearchHistory/UQCF-GEM/demos/v15.56-response-selector-obstruction/active-baseline-null/RESULTS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-77-skew","status":"restricted","title":"v15.77 equal-norm skew baseline is visible","text":"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.","doesNotShow":"A substitute for the active-symmetric verdict, gravity, derived quantum mechanics, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1577-baseline#atlas:v15-77-skew","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v15.77-active-baseline-null/ResearchHistory/UQCF-GEM/demos/v15.56-response-selector-obstruction/active-baseline-null/RESULTS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-75-open","status":"restricted","title":"v15.75 open-state affine null confirmed","text":"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.","doesNotShow":"Gravity, derived time, finite-composition invariance, a source law from recoverability, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1575-affine#atlas:v15-75-open","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v15.75-affine-open-null/ResearchHistory/UQCF-GEM/demos/v15.56-response-selector-obstruction/affine-open-null/RESULTS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-75-pointwise","status":"restricted","title":"v15.75 CPTP null only at the frozen anchor","text":"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.","doesNotShow":"Open-neighborhood nullity, a rescue of later finite-composition failures, gravity, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1575-affine#atlas:v15-75-pointwise","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v15.75-affine-open-null/ResearchHistory/UQCF-GEM/demos/v15.56-response-selector-obstruction/affine-open-null/RESULTS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-76-obstructed","status":"restricted","title":"v15.76 original channel finite null obstructed","text":"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.","doesNotShow":"A pass for the original channel, gravity, time, a rescue by the anchored control.","wiki":"https://aaronspradlin.grok.me/wiki/v1576-cptp#atlas:v15-76-obstructed","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v15.76-cptp-null-composition/ResearchHistory/UQCF-GEM/demos/v15.56-response-selector-obstruction/cptp-null-composition/RESULTS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-76-anchored","status":"restricted","title":"v15.76 anchored CPTP control confirmed","text":"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.","doesNotShow":"Rescue of the original channel, reference-independent naturality, gravity, derived time, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1576-cptp#atlas:v15-76-anchored","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/research/v15.76-cptp-null-composition/ResearchHistory/UQCF-GEM/demos/v15.56-response-selector-obstruction/cptp-null-composition/RESULTS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:grok-v15-45","status":"restricted","title":"Grok review of the v15.45 operator","text":"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.","doesNotShow":"Derived quantum mechanics, a literature-priority claim, Einstein, a source law, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1545-factorization#atlas:grok-v15-45","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/main/ResearchHistory/UQCF-GEM/STATUS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-55","status":"open","title":"v15.55 source–compatibility response (proposed)","text":"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.","doesNotShow":"A result, Einstein, a fitted source, a STATUS bump, derived quantum mechanics.","wiki":"https://aaronspradlin.grok.me/wiki/v1555-response-gate#atlas:v15-55","source":"https://github.com/proteinfoldingengine/WetLabEngine/pull/57","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-54-obstruction","status":"restricted","title":"v15.54 operational obstruction","text":"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.","doesNotShow":"Gravity, derived quantum mechanics, a Supported Bell score, a STATUS gate.","wiki":"https://aaronspradlin.grok.me/wiki/obstruction-line#atlas:v15-54-obstruction","source":"https://github.com/proteinfoldingengine/WetLabEngine/pull/57","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:representation-nonunique","status":"restricted","title":"Representation non-unique","text":"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.","doesNotShow":"No quantum representation exists, Einstein, a STATUS gate, derived quantum mechanics.","wiki":"https://aaronspradlin.grok.me/wiki/v1546-representation#atlas:representation-nonunique","source":"https://github.com/proteinfoldingengine/WetLabEngine/pull/57","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-45","status":"restricted","title":"v15.45 factorization and spectral boundary","text":"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.","doesNotShow":"Independent source evidence, Einstein, a continuum limit, a STATUS bump.","wiki":"https://aaronspradlin.grok.me/wiki/v1545-factorization#atlas:v15-45","source":"https://github.com/proteinfoldingengine/WetLabEngine/tree/main/ResearchHistory/UQCF-GEM/demos/v15.45-curvature-factorization-spectral-boundary","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-44","status":"restricted","title":"v15.44 intrinsic curvature interpretation","text":"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.","doesNotShow":"Einstein, a source law, a STATUS bump, quantum mechanics derived.","wiki":"https://aaronspradlin.grok.me/wiki/v1544-curvature#atlas:v15-44","source":"https://github.com/proteinfoldingengine/WetLabEngine/tree/main/ResearchHistory/UQCF-GEM/demos/v15.44-intrinsic-curvature-interpretation","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:forced-geometry","status":"restricted","title":"Forced geometry from identities that cannot be erased","text":"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.","doesNotShow":"Einstein derived, a smuggled metric as a theorem, a STATUS bump, gravity found.","wiki":"https://aaronspradlin.grok.me/wiki/live-gates#atlas:forced-geometry","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/main/ResearchHistory/UQCF-GEM/STATUS.md","xUrl":"https://x.com/aaronspradlin/status/2102247482579374550","compiled":"2026-10-10"}
{"id":"atlas:v15-43","status":"restricted","title":"v15.43 canonical response curvature nonzero","text":"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.","doesNotShow":"Einstein closed, source correspondence, a STATUS gate, a gravity law, derived time.","wiki":"https://aaronspradlin.grok.me/wiki/v1543-geometry#atlas:v15-43","source":"https://github.com/proteinfoldingengine/WetLabEngine/tree/main/ResearchHistory/UQCF-GEM/demos/v15.43-certified-response-geometry","xUrl":"https://x.com/aaronspradlin/status/2102247482579374550","compiled":"2026-10-10"}
{"id":"atlas:v15-42","status":"restricted","title":"v15.42 transport protocol certified","text":"GitHub-only. TRANSPORT_PROTOCOL_CERTIFIED. Exact covariance, scale, superposition. Construction firewall: no source targets. Not Einstein. STATUS.md remains v15.03.","doesNotShow":"Einstein, source correspondence, a STATUS gate, a gravity law.","wiki":"https://aaronspradlin.grok.me/wiki/v1542-transport#atlas:v15-42","source":"https://github.com/proteinfoldingengine/WetLabEngine/tree/research/v15.42-duality-covariant-transport-repair/ResearchHistory/UQCF-GEM/demos/v15.42-duality-covariant-transport-repair","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-41","status":"restricted","title":"v15.41 no curvature–source correspondence","text":"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.","doesNotShow":"Einstein, ADM, spacetime curvature, a STATUS gate, a gravity law.","wiki":"https://aaronspradlin.grok.me/wiki/v1541-connection#atlas:v15-41","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/main/ResearchHistory/UQCF-GEM/STATUS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:protein-closeout","status":"corrected","title":"Protein-mechanism program closed","text":"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.","doesNotShow":"A new folding mechanism, a TOE confirmation, AlphaFold refuted, a therapy.","wiki":"https://aaronspradlin.grok.me/wiki/protein-closeout#atlas:protein-closeout","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/main/ResearchHistory/UQCF-GEM/STATUS.md","xUrl":"https://x.com/aaronspradlin/status/2101337128169034035","compiled":"2026-10-10"}
{"id":"atlas:v15-13-demo","status":"restricted","title":"v15.13 independent-events demo","text":"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.","doesNotShow":"Physical time, a derived collapse law, Einstein, ADM, a STATUS gate.","wiki":"https://aaronspradlin.grok.me/wiki/v1513-events#atlas:v15-13-demo","source":"https://github.com/proteinfoldingengine/WetLabEngine/tree/research/v15.13-independent-events/ResearchHistory/UQCF-GEM/demos/v15.13-independent-events","xUrl":"https://x.com/aaronspradlin/status/2099255206001459671","compiled":"2026-10-10"}
{"id":"atlas:v15-12-demo","status":"restricted","title":"v15.12 pre-time-to-history demo","text":"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.","doesNotShow":"Physical time, a derived collapse law, Einstein, ADM, a STATUS gate.","wiki":"https://aaronspradlin.grok.me/wiki/v1512-history#atlas:v15-12-demo","source":"https://github.com/proteinfoldingengine/WetLabEngine/tree/research/v15.12-integrated-pretime-history/ResearchHistory/UQCF-GEM/demos/v15.12-pretime-to-history","xUrl":"https://x.com/aaronspradlin/status/2099245020394188808","compiled":"2026-10-10"}
{"id":"atlas:v13-qrsl","status":"restricted","title":"QRSL irreducible","text":"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.","doesNotShow":"Einstein, ADM, a canonical refinement, a gravity derivation.","wiki":"https://aaronspradlin.grok.me/wiki/live-gates#atlas:v13-qrsl","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/main/ResearchHistory/UQCF-GEM/STATUS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v13-hcpr","status":"restricted","title":"HCPR irreducible","text":"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.","doesNotShow":"Einstein, ADM, a gravity theorem, same-ledger as same-reality.","wiki":"https://aaronspradlin.grok.me/wiki/live-gates#atlas:v13-hcpr","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/main/ResearchHistory/UQCF-GEM/STATUS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v13-qmar","status":"restricted","title":"Finite-state QMAR","text":"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.","doesNotShow":"Einstein, ADM, a stress-energy law.","wiki":"https://aaronspradlin.grok.me/wiki/live-gates#atlas:v13-qmar","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/main/ResearchHistory/UQCF-GEM/STATUS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v13-rscl","status":"restricted","title":"RSCL irreducible","text":"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.","doesNotShow":"Absolute observer stress-energy, κ_obs, Einstein residual as a selector.","wiki":"https://aaronspradlin.grok.me/wiki/live-gates#atlas:v13-rscl","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/main/ResearchHistory/UQCF-GEM/STATUS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v13-rgcl","status":"restricted","title":"RGCL requires a new axiom","text":"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.","doesNotShow":"A target-blind Sigma_obs = kappa T bridge, ADM, a gravity derivation.","wiki":"https://aaronspradlin.grok.me/wiki/live-gates#atlas:v13-rgcl","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/main/ResearchHistory/UQCF-GEM/STATUS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v14-03","status":"restricted","title":"v14.03 dual-ray selection","text":"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.","doesNotShow":"Provenance origin of [P], absolute coupling, stress-energy, spacetime, Einstein equations.","wiki":"https://aaronspradlin.grok.me/wiki/live-gates#atlas:v14-03","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/main/ResearchHistory/UQCF-GEM/STATUS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v14-04","status":"restricted","title":"v14.04 intertwiner missing","text":"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.","doesNotShow":"A natural J, absolute source magnitude, stress-energy, spacetime, Einstein equations, Pillar 3 closure.","wiki":"https://aaronspradlin.grok.me/wiki/live-gates#atlas:v14-04","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/main/ResearchHistory/UQCF-GEM/STATUS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-02","status":"restricted","title":"v15.02 no shared-label functor","text":"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.","doesNotShow":"A label identification, a parent source, Einstein, Pillar 3.","wiki":"https://aaronspradlin.grok.me/wiki/live-gates#atlas:v15-02","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/main/ResearchHistory/UQCF-GEM/STATUS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v15-03","status":"restricted","title":"v15.03 graph-site factorization not certified","text":"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.","doesNotShow":"A unique P from site states, Einstein, ADM, a gravity derivation.","wiki":"https://aaronspradlin.grok.me/wiki/live-gates#atlas:v15-03","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/main/ResearchHistory/UQCF-GEM/STATUS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:where-is-p","status":"open","title":"Where does P come from?","text":"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.","doesNotShow":"That gravity has been found. Permission to pick log ρ or a Pauli axis.","wiki":"https://aaronspradlin.grok.me/wiki/live-gates#atlas:where-is-p","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/main/ResearchHistory/UQCF-GEM/STATUS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v13-27-demo","status":"restricted","title":"v13.27 Path-A demo","text":"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.","doesNotShow":"Physical space, ADM constraints, Einstein equations, a force law.","wiki":"https://aaronspradlin.grok.me/wiki/live-gates#atlas:v13-27-demo","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/main/ResearchHistory/UQCF-GEM/STATUS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:v13-next","status":"open","title":"Queue is a representation principle","text":"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.","doesNotShow":"A gravity derivation, RATS unlocked, Einstein equations, an invented provenance law.","wiki":"https://aaronspradlin.grok.me/wiki/live-gates#atlas:v13-next","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/main/ResearchHistory/UQCF-GEM/STATUS.md","xUrl":null,"compiled":"2026-10-10"}
{"id":"atlas:pin-not-selector","status":"restricted","title":"Pin is a ledger, not a selector","text":"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.","doesNotShow":"A world-picker, an origin of time, a canonical refinement law.","wiki":"https://aaronspradlin.grok.me/wiki/live-gates#atlas:pin-not-selector","source":"https://github.com/proteinfoldingengine/WetLabEngine/blob/main/ResearchHistory/UQCF-GEM/STATUS.md","xUrl":null,"compiled":"2026-10-10"}
{"id": "atlas:physical-bridge-ledger", "status": "restricted", "title": "Recoverable pruning ledger (research branch)", "text": "Gemini ACCEPTED run 39070100916. Pruning redistributes, never creates. Restricted, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native pruning occurrence, native access, a derived arrow of time.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-constructions/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/tree/research/uqcf-overlapping-guard-exchange/ResearchHistory/UQCF-GEM/research/physical-bridge", "xUrl": null, "compiled": "2026-10-18"}
{"id": "atlas:physical-bridge-observation-effect", "status": "restricted", "title": "Observation effect (research branch)", "text": "Gemini ACCEPTED run 39099852840. Observation changes outcomes exactly when motion breaks retained structure; keep-or-reveal trade-off. Restricted, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Why observation happens, the receiver link, a derived bridge.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-constructions/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/tree/research/uqcf-overlapping-guard-exchange/ResearchHistory/UQCF-GEM/research/physical-bridge", "xUrl": null, "compiled": "2026-10-18"}
{"id": "atlas:physical-bridge-receiver-identification", "status": "restricted", "title": "Receiver identification secs 0-18 (research branch)", "text": "Gemini ACCEPTED runs 39109851767, 39133419575, 39134753017, 39144601008, 39153538098, 39162569331. Pruning picks a unique receiver; access rests on stated premise (H-J). Restricted, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access bridge; (H-J), E5, locality rules derived.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-constructions/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/tree/research/uqcf-overlapping-guard-exchange/ResearchHistory/UQCF-GEM/research/physical-bridge", "xUrl": null, "compiled": "2026-10-18"}
{"id": "atlas:physical-bridge-gpt-accepted", "status": "restricted", "title": "GPT-agent physical-bridge reviews (research branch)", "text": "proteinfolding-gpt constructions accepted by Gemini Oct 17-18 (preparability, own-view, first pruning, occurrence contrast, receiver process, ancestry retention). Restricted, research branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "Native preparability, native access, a derived bridge.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-constructions/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/tree/research/uqcf-overlapping-guard-exchange/ResearchHistory/UQCF-GEM/research/physical-bridge", "xUrl": null, "compiled": "2026-10-18"}
{"id": "atlas:physical-bridge-rid-draft14", "status": "restricted", "title": "Receiver identification draft 14: sound availability algebras and forced occupancy record (unreviewed)", "text": "Under stated premises (reads form an algebra, locality, event determinacy, unit-freeness, one-bit nontriviality) the receiver read is forced to the occupancy record; transfer iff the receiver fiber is empty with positive probability. Unreviewed draft, Restricted, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access; nontriviality, E5 or the v15.16 sector correspondence derived.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/8c9790ed337e94a45230b9ddbdedc903695ca53c", "xUrl": null, "compiled": "2026-10-18"}
{"id": "atlas:physical-bridge-rid-d14-freeze", "status": "restricted", "title": "Receiver identification draft 14 frozen review: verify GREEN, Gemini ACCEPTED", "text": "Reconciled draft 14 (9a5da057) with GPT's fixed-effect follow-up (transfer equals |b-a| times the prior probability the receiver slot is empty) was frozen and preregistered, verified GREEN by independent producer and checker with 0 violations, and ACCEPTED by Gemini in run 39175010319. Restricted, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access; nontriviality, E5 or the v15.16 sector correspondence derived; finite checks are bounded evidence, not proofs.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/actions/runs/39175010319", "xUrl": null, "compiled": "2026-10-18"}
{"id": "atlas:physical-bridge-rid-draft15", "status": "restricted", "title": "Receiver identification draft 15: root-shift locality forces the P1 step and its receiver (unreviewed)", "text": "Inherited fixed-Genesis locality leaves a free depth table for the single-pruning step; one assumed root-shift locality rule (CN) at the parent's cone forces the P1 step and receiver par(l), with E5, R and E5+ equivalent forms of it. Unreviewed draft, Restricted, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access; CN derived from inherited sources; receiver ownership, availability or the field-to-state association.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/5374852538fb01b4cf6fdb1e925bd90789d40f04", "xUrl": null, "compiled": "2026-10-18"}
{"id": "atlas:physical-bridge-rid-d15-freeze", "status": "restricted", "title": "Receiver identification draft 15 frozen review: verify GREEN, Gemini ACCEPTED", "text": "Section 21 of draft 15 (53748525) was frozen and preregistered, verified GREEN by independent producer and checker over every marked rooted carrier with up to 8 vertices with 0 violations, and ACCEPTED by Gemini in run 39184183201: inherited fixed-Genesis locality leaves a free depth table, and the assumed root-shift locality rule CN at the parent cone forces the P1 step and receiver. Restricted, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access; CN or NI derived from inherited sources; receiver ownership, availability or the field-to-state association; finite checks are bounded evidence, not proofs.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/actions/runs/39184183201", "xUrl": null, "compiled": "2026-10-18"}
{"id": "atlas:physical-bridge-rid-draft16", "status": "restricted", "title": "Receiver identification draft 16: root shift fixes the response up to a unit; E5+ qualified", "text": "Draft 16 (3dd28b56) adopts proteinfolding-gpt's qualification that E5+ is implied by the root-shift rule CN but equivalent to it only under positive crediting, and adds unreviewed section 22: the same assumed root-shift square added to v16.22's comparison condition forces one response scalar for all depths (the Green response up to unit), and under P1 the receiver's gain is the divergence term of the deleted edge with every retained cone total unchanged. Restricted, unreviewed, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access; the root shift derived from inherited sources; what the receiver can read; the field-to-state association; any physical response law; scratch checks are exploratory finite evidence.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/3dd28b5674a81a8b9b1b941a5fcd4e9b680bca02", "xUrl": null, "compiled": "2026-10-18"}
{"id": "atlas:physical-bridge-rid-d16-freeze", "status": "restricted", "title": "Receiver identification draft 16 frozen review: verify GREEN, Gemini ACCEPTED", "text": "Note [D16] and section 22 of draft 16 (3dd28b56) were frozen and preregistered, verified GREEN by independent producer and checker over every rooted carrier with up to 8 vertices (unknown full edge-coordinate matrices: dim C 7, dim C + RS 1) with 0 violations, and ACCEPTED by Gemini in run 39193059823: the assumed root-shift square fixes v16.22's response family up to one unit, R is coordinate deletion, and under P1 the receiver's gain is the deleted edge's divergence with every retained cone total unchanged. Restricted, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access; the root shift derived from inherited sources; what the receiver can read; the field-to-state association; any physical response law; finite checks are bounded evidence, not proofs.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/actions/runs/39193059823", "xUrl": null, "compiled": "2026-10-18"}
{"id": "atlas:physical-bridge-rid-draft17", "status": "restricted", "title": "Receiver identification draft 17: the receiver's state is the only initially blind local read of the retained response", "text": "Draft 17 (f3668faf) adds unreviewed section 23: local, constant-invariant reads of v16.22's retained response field at a nonroot receiver are incident-flux reads, and requiring them to be blind to every source below the receiver selects exactly the receiver's own grade up to a unit (using only v16.22's condition C); under the P1 event the grounded field is unchanged on every retained vertex and the read changes only by deletion of the incident edge to the pruned leaf; Genesis receivers have no such read. Restricted, unreviewed, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access; local field access and initial blindness derived rather than assumed; the root shift derived from inherited sources; the v15.16 quantum record correspondence; any physical field or response law; scratch checks are exploratory finite evidence.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/f3668faf3e4b7be8ba6bb0ffa46f4f63de5ff349", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-d17-freeze", "status": "restricted", "title": "Receiver identification draft 17 frozen review: verify GREEN, Gemini ACCEPTED", "text": "Section 23 of draft 17 (f3668faf) was frozen and preregistered (6d9f49ea), verified GREEN by independent producer and checker (25e8487d) over every rooted carrier with up to 8 vertices and four depth tables: the descendant-blind local reads of v16.22's retained response field have dimension exactly 1 at every nonroot position, spanned by the own-grade read, and 0 at Genesis; the P1 event leaves the grounded field unchanged on every retained vertex (16,464 cases) and moves the one-location pair's contrast into the receiver's read. Gemini gemini-3.1-pro-preview ACCEPTED, 7/7 reconstruction items verified, no findings (run 39202637662); readback PASS. Restricted, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access; locality (L) and uniform initial blindness (B) derived rather than assumed; the root shift derived from inherited sources; the v15.16 quantum record correspondence; any physical field or response law; the structured dense control J keeps own-grade reads at 362 of 559 positions, so non-diagonality alone does not remove them; finite checks are bounded evidence, not proofs.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/actions/runs/39202637662", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-draft18", "status": "restricted", "title": "Receiver identification draft 18: initial blindness from the read ledger", "text": "Draft 18 (b79c6a0c) adds unreviewed section 24: for uniform local reads of v16.22's retained response field, transport of the reads by the P1 event, read-sum conservation and the reads forming a balanced source are equivalent and leave one scalar per depth; the receiver's state is then the composite depth table m_k a_k, blind to sources below the receiver exactly when it is constant, which the root shift applied to reads and response gives, so initial blindness at nonroot receivers becomes a consequence; at Genesis the conserved total is the one missing datum, with coefficient forced by the read ledger. Restricted, unreviewed, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access; the read ledger, uniformity, local access or the root shift derived from inherited sources; availability of the total at Genesis; the v15.16 quantum record correspondence; any physical field or response law; scratch checks are exploratory finite evidence.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/b79c6a0c09a25f14f864323678dda2b3d02c71bf", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-d18-freeze", "status": "restricted", "title": "Receiver identification draft 18 frozen review: verify GREEN, Gemini review pending", "text": "Section 24 of draft 18 (b79c6a0c) was frozen and preregistered (9242787d) and verified GREEN by independent producer and checker (b285c952) over every rooted carrier with up to 8 vertices: source-typed local reads have dimension |W| - 1 on every carrier; under three response tables the uniform read rules satisfying event transport, read-sum conservation or source typing are exactly the depth tables; for seven named families initial blindness holds at every position exactly when m_k a_k is constant and only at leaves otherwise; the root shift for reads holds exactly where predicted; at Genesis the total datum gives blindness only for theta = -mu. The Gemini review's first attempt timed out without a verdict; a second attempt is running. Restricted, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access; the read ledger, uniformity, local access or the root shift derived from inherited sources; availability of the total at Genesis; any Gemini verdict yet; the v15.16 quantum record correspondence; any physical field or response law; finite checks are bounded evidence, not proofs.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/b285c952e822a8cd1049efee61349d437cb238a6", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-d18-accepted", "status": "restricted", "title": "Receiver identification draft 18 frozen review: Gemini ACCEPTED", "text": "The frozen review of section 24 of draft 18 (b79c6a0c; preregistration 9242787d, code b285c952) completed on its second attempt (run 39214043794): verify GREEN, Gemini gemini-3.1-pro-preview ACCEPTED with 5 of 5 reconstruction items verified and no findings, publication readback PASS. Restricted, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access; the read ledger, uniformity, local access or the root shift derived from inherited sources; availability of the total at Genesis; the v15.16 quantum record correspondence; any physical field or response law; acceptance is analytical review of conditional mathematics, not physical validation.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/99dd1b2fc9a98770fe194e7bd7be65e18bcbfcec", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-draft19", "status": "restricted", "title": "Receiver identification draft 19: the Genesis datum is forced", "text": "Draft 19 (8fb06970b802f3a1c011124b9bf5d351f02290d8) adds unreviewed section 25: giving Genesis an arbitrary linear datum of the grade on top of its field read, the read ledger forces the datum to be a multiple of the conserved total, the only linear quantity every P1 event conserves, and the CN root shift applied to reads with the grade-level zero extension forces its existence and its coefficient, so every receiver including Genesis reads its own grade in one unit; on nonroot receivers this root shift is equivalent to initial blindness, so its new content is the Genesis datum. Restricted, unreviewed, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access; the root shift, the read ledger, uniformity or local access derived from inherited sources; the v15.16 quantum record correspondence; any physical field or response law; scratch checks are exploratory finite evidence.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/8fb06970b802f3a1c011124b9bf5d351f02290d8", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-d19-accepted", "status": "restricted", "title": "Receiver identification draft 19 frozen review: Gemini ACCEPTED", "text": "The frozen review of section 25 of draft 19 (8fb06970; preregistration ae03fbee, code eb52864a) completed on its second attempt (run 39228005636; attempt 1 ended on a transport error with no verdict): verify GREEN on every rooted tree up to 8 vertices, Gemini gemini-3.1-pro-preview ACCEPTED with 4 of 4 reconstruction items verified and no findings, publication readback PASS. An arbitrary linear Genesis datum is forced by the read ledger to a multiple of the conserved total and by CN's root shift on reads to coefficient minus mu. Restricted, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access; the root shift on reads, CN, the read ledger, uniformity or local access derived from inherited sources; the assumed form of the Genesis read (field read plus a linear datum); the v15.16 quantum record correspondence; any physical field or response law; acceptance is analytical review of conditional mathematics, not physical validation.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/99dfe9745105609ed8724d2fc7a7abe1dabad31e", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-draft20", "status": "restricted", "title": "Receiver identification draft 20: every vertex is a possible receiver", "text": "Draft 20 (c0845ad8b4d8cc81c2d1c9dfa3d00c63d5013eef) adds unreviewed section 26: for arbitrary linear reads of the grade, the read ledger alone leaves a lower-triangular depth matrix; cone-local reads give exactly the field family of drafts 18-19 with the Genesis datum a multiple of the total, so that form is derived; blindness of every other vertex to a unit at a leaf then forces every read to be the own grade in one unit, because every vertex is the receiver of a possible pruning, so the root shift on reads follows from the read ledger plus its one-vertex instance but not from the root shift for the step. Restricted, unreviewed, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access; cone-locality, leaf blindness, the read ledger or the step's root shift derived from inherited sources; that any vertex performs a read; the v15.16 quantum record correspondence; any physical field or response law; scratch checks are exploratory finite evidence.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/c0845ad8b4d8cc81c2d1c9dfa3d00c63d5013eef", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-d20-accepted", "status": "restricted", "title": "Receiver identification draft 20 frozen review: Gemini ACCEPTED", "text": "The frozen review of section 26 of draft 20 (3f212074; preregistration 6dfa6b6d, code 375ff7e0) completed on its first attempt (run 39242193441): verify GREEN on every rooted tree up to 8 vertices with general read matrices (10,744 unknowns), every preregistered elimination dimension matched in both programs, Gemini gemini-3.1-pro-preview ACCEPTED with 6 of 6 reconstruction items verified and no findings, publication readback PASS. Under the read ledger, cone-local reads are exactly the field family with the Genesis datum a multiple of the total, and leaf-point blindness forces every read to be the own grade in one unit, so the root shift on reads is equivalent to leaf blindness. Restricted, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access; cone-locality, zero-extension naturality for reads, leaf blindness, the read ledger or the step's root shift derived from inherited sources; that any vertex performs a read; the v15.16 quantum record correspondence; any physical field or response law; acceptance is analytical review of conditional mathematics, not physical validation.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/fda8d4565cfb5bd0778e9122deadf1a72e4ad5a4", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-draft21", "status": "restricted", "title": "Receiver identification draft 21: a leaf reads only what it holds, and one record climb fixes the reads", "text": "Draft 21 (bf82797f58b31453bcf6fed5014bebb681683464) adds unreviewed section 27: the read ledger fixes zero-extended reads only up to the kernel of the pruning map; under the ledger, leaf readers that read only their own grade (an empty leaf reads nothing) are equivalent to cone-local reads and to zero-extension naturality; acquisition on the one-location pair at the steps of one realized record climb from depth D then forces every read on every carrier up to depth D to be the own grade in one unit, replacing receiver blindness at every leaf of every carrier, with a sharp depth horizon. Restricted, unreviewed, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access; the empty-leaf condition, the read ledger or the step's root shift derived from inherited sources; reads below the climb's depth; that one acquisition on a correlated pair suffices; that any vertex performs a read; the v15.16 quantum record correspondence; any physical field or response law; scratch checks are exploratory finite evidence.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/bf82797f58b31453bcf6fed5014bebb681683464", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-d21-accepted", "status": "restricted", "title": "Receiver identification draft 21 frozen review: Gemini ACCEPTED", "text": "The frozen review of section 27 of draft 21 (bf82797f; preregistration ee5fbf99, code 5ba2f23c) completed on attempt 4 of run 39258153723 after earlier HTTP 402 billing blocks: verify GREEN on every rooted tree up to 8 vertices with general read matrices (10,744 unknowns), every preregistered elimination dimension matched in both programs, Gemini gemini-3.1-pro-preview ACCEPTED with 5 of 5 reconstruction items verified and no findings, publication readback PASS. Under the read ledger, leaf-locality (empty leaf reads nothing) is equivalent to cone-locality and to zero-extension naturality; acquisition along one record climb from depth D forces own-grade reads up to depth D with a sharp horizon. Restricted, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Native access; the empty-leaf condition, the read ledger or the step's root shift derived from inherited sources; climbs of every depth; that one correlated-pair acquisition suffices; that any vertex performs a read; the v15.16 quantum record correspondence; any physical field or response law; acceptance is analytical review of conditional mathematics, not physical validation.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/05f65c3f69d47246451a779e877984d9267e9c29", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-draft22", "status": "restricted", "title": "Receiver identification draft 22: O3 does not source E0; climb+depth-shift equals G+", "text": "Draft 22 (53ad687c) adds unreviewed section 28: v16.23 O3 at a leaf does not source empty-leaf (E0) without restating leaf-locality; morphism-style depth-shift that closes the climb horizon coincides with the apex square (G+) on the diagonal family. GPT positive retained holdings separately sources E0 from positivity plus the pruning ledger. Restricted, unreviewed, research branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "Native access; positivity forced; apex square or all-depth climbs inherited; that any vertex performs a read; scratch checks are exploratory finite evidence.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/53ad687c48e8a0adf60614b4a6faad295a09549b", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-positive-holdings-accepted", "status": "restricted", "title": "Positive retained holdings: empty-leaf locality from a nonnegative pruning ledger", "text": "proteinfolding-gpt froze an analytical derivation (4619bdd6b95e232e52572f3fb5fd31b5fdedff98) that, for linear rooted-isomorphism-invariant holdings on all finite rooted trees, nonnegative holdings plus the pruning ledger imply the empty-leaf condition, cone-locality and zero-extension naturality, and that section 17's (W1) and (W4) imply (W2) in that class. The argument uses arbitrarily large finite fans and does not assume locality. Local acquisition for one initially blind receiver is the inherited adjacent-depth equality with a positive coefficient; no universal climb is required for that one receiver. The review at e889880d (run 39274826221) returned the label ACCEPTED but put confirmations in findings; the strict gate rejected it and skipped the publication audit, so it is not a passed review. After a schema clarification that left the scientific bytes unchanged (e91ee4a0), run 39275215814 returned Gemini gemini-3.1-pro-preview ACCEPTED with empty findings, missing assumptions and counterexamples; integrity and the publication audit passed. No numerical campaign. Restricted, research branch, not on main, native bridge NOT_DERIVED, occurrence an accepted empirical input.", "doesNotShow": "Physical receiver access or C3/C4 closure; identifying a formal holding with an available record or detector output; positivity of holdings from positive input grades; the empty-leaf implication on a fixed branching cap or a finite carrier universe (an explicit positive counterexample credits an empty leaf); event typing and preparability, which stay open; a numerical verification; native access. Acceptance is analytical review of the declared scope, not physical validation.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/adeb46e5e9e5fc69ea3e7c5339bbffafab4e08db", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-draft23", "status": "restricted", "title": "Receiver identification draft 23: positive holdings and one blind climb force empty-leaf locality on binary carriers", "text": "Draft 23 (ae7c76533f7dc06f728fd03a81e93fff95211e85) adds unreviewed section 29: on any leaf-deletion-closed carrier class containing forks of two, the read ledger (PN), nonnegative holdings (POS) and blindness along one record climb from depth D force the depth table to be diagonal and constant up to depth D, so every leaf of depth at most D reads only what it holds (E0) and vertices above depth D read their own grade; GPT's unbounded fans are replaced by forks of two plus the receiver's initial blindness. Each ingredient is needed and the depth horizon is sharp. Builds on proteinfolding-gpt's positive retained holdings (4619bdd6, run 39275215814). Restricted, unreviewed, research branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "That positivity is inherited; that the inherited carrier domain contains forks of two; locality below the climb depth; that a holding is an available record; that any vertex performs a read; native access; scratch checks are exploratory finite evidence (floating LP plus exact witnesses), not preregistered.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/ae7c76533f7dc06f728fd03a81e93fff95211e85", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-draft24", "status": "restricted", "title": "Receiver identification draft 24: the positivity route needs a branch at every depth below the climb, one comb suffices, and a missing branch leaks a bounded amount", "text": "Draft 24 (3e6f1cf3042ed3c6cd49b29d396f86cddb7bf9c6) adds unreviewed section 30: the inherited carrier class (every finite rooted tree with fixed Genesis) contains the forks section 29 uses; under the read ledger, nonnegative holdings and blindness along one record climb, column m of the depth table is clean if and only if the class branches at depth m, with an explicit one-parameter counterexample family otherwise; one comb of 2D+1 vertices is the minimal carrier supplying every fork; a non-branching depth m leaks at most kappa B^-(j-m-1) into a depth-j leaf on cap-B classes, and the bound is attained. Also adopts proteinfolding-gpt's pre-freeze note (dcd38d93) correcting Theorem 28.3 (zero-read counterexample; kappa nonzero needed for the climb equivalences). Restricted, unreviewed, research branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "That any fork, comb or climb occurs as an event; that positivity is inherited; that a holding is an available record; that any vertex performs a read; locality below the climb depth; native access; scratch checks are exploratory finite evidence (floating LP plus exact witnesses), not preregistered.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/3e6f1cf3042ed3c6cd49b29d396f86cddb7bf9c6", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-d24-accepted", "status": "restricted", "title": "Receiver identification sections 28-30 frozen, exactly verified and Gemini ACCEPTED", "text": "Sections 28 (as corrected), 29 and 30 of receiver_identification draft 24 (3e6f1cf3) were frozen (prereg d567148f, code 57895f62). Independent producer (LP with exact rational primal and dual certificates) and checker (proof multiplier certificates plus attaining tables) matched every preregistered value on 80 finite carrier classes (1,030 range entries); push run 39300628093 GREEN; dispatch run 39300667905 Gemini gemini-3.1-pro-preview ACCEPTED, 10 of 10 reconstruction items VERIFIED, empty findings, missing assumptions and counterexamples; publication readback PASS. Receipt 5f354b33. Restricted, research branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "That positivity, the read ledger or the uniform read rule are inherited; that any fork, comb or climb occurs as an event; that a holding is an available record; physical access; locality below the climb depth; finite checks are bounded evidence and the review is analytical, not physical validation.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/5f354b33d708c48e4588215d5fbf576edeb33e9a", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-draft25", "status": "restricted", "title": "Receiver identification draft 25: without a uniform read rule, one sibling exchange per depth makes every climb unit faithful", "text": "Draft 25 (ec178cc97178bfbb244ecc56ec0989bbbfaa17da) adds unreviewed section 31: with reads allowed to depend on lineage addresses (no invariance between carriers), the read ledger still gives one address-indexed table; the ledger, nonnegative holdings and blindness along one addressed record climb clean every lineage branching off the climb and leave exactly one leak per depth, into the climb's own next vertex, with an explicit extremal family; one sibling exchange per depth (an automorphism of a single fork carrier) removes it, so every climb unit is read only at its own address on every carrier containing it, and above the horizon the receiver is blind before and gains exactly kappa g after each step in every context; one realized pruning history cannot supply uniformity. Restricted, unreviewed, research branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "That sibling exchange or positivity is inherited; that reads of non-climb units are faithful; that any fork or climb occurs as an event; that a holding is an available record; that any vertex performs a read; locality below the climb depth; native access; scratch checks are exploratory finite evidence (floating LP plus exact witnesses), not preregistered.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/ec178cc97178bfbb244ecc56ec0989bbbfaa17da", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-draft26", "status": "restricted", "title": "Receiver identification draft 26: the transfer needs nonnegative holdings only for the record's own lineage units", "text": "Draft 26 (8d9c8d0afe343cadfcf26fc45bfcf41e05467a63) adds unreviewed section 32: with address-dependent reads, under the read ledger, blindness along one addressed record climb and one scalar sibling comparison per depth, nonnegative holdings of the climb units on Genesis, the climb's two-leaf forks and the lines of descent are equivalent to every climb unit being held only at its own address on every carrier, hence to a context-independent transfer at every climb step; reads of all other units are unconstrained, even signed; each fork and a tested line through every other address are needed. Also adopts proteinfolding-gpt's pre-freeze note (f7807fe6): scalar comparison replaces full sibling exchange, the transfer reaches the deepest step, and the per-depth leak is a bottleneck. Restricted, unreviewed, research branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "That the restricted positivity or the sibling comparison is inherited; that any fork, chain or climb occurs as an event; that reads of non-climb units are faithful; that a holding is an available record; that any vertex performs a read; native access; scratch checks are exploratory finite evidence (floating LP plus exact witnesses), not preregistered.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/8d9c8d0afe343cadfcf26fc45bfcf41e05467a63", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-d27-verified", "status": "restricted", "title": "Receiver identification sections 31-32 frozen and exactly verified; Gemini review blocked by HTTP 429", "text": "Draft 27 (26a09a15aa1a3e43173d4654231b6e40ab51411a) adopts proteinfolding-gpt's separately accepted SE-free leaf-transfer note as [D27] (the event transfer needs no sibling comparison; faithful climb columns imply, and are strictly stronger than, the transfer). Sections 31-32 were frozen (prereg 600538ab, code 0178320c); push run 39325886792 GREEN: independent producer (LP with exact rational certificates) and checker (proof certificates plus exact tables) matched 637 exact range entries on 30 systems, twelve tables, ten rejecting controls and 20 tamper cases. Gemini dispatch run 39325925419 returned HTTP 429 on both allowed attempts; no verdict, sections 31-32 unreviewed. Restricted, research branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "An independent analytical review of sections 31-32 (none obtained); that positivity, the sibling comparison or the read ledger is inherited; that any fork, chain or climb occurs as an event; that a holding is an available record; that any vertex performs a read; native access; finite checks are bounded evidence, not proofs.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/09c7e1518ffe4b85a3692fe21de3c9678e01b086", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-leaf-transfer-accepted", "status": "restricted", "title": "SE-free actual leaf transfer: event-specific transfer without sibling exchange, analytical review accepted", "text": "proteinfolding-gpt froze an analytical note (443f5148022cb7652842c53426e56a10c8f82c02) showing that under PN, blindness along the record climb and section 32's restricted positivity POS_T, every permitted leaf-pruning event on the climb transfers the leaf's one-location distinction to its parent's formal read; sibling exchange (SE or SX) is needed only for the stronger all-carrier faithful-column conclusion. Three controls: transfer can hold while SE and FC fail; transfer is strictly weaker than FC plus POS_T; the deepest-source fork positivity clause is necessary. Run 39321243644 (workflow ff15da62) returned Gemini gemini-3.1-pro-preview ACCEPTED with empty findings, missing assumptions and counterexamples; integrity, review and separate publication-audit jobs passed (acceptance b0801151, readback 31e33988). No numerical campaign. Restricted, research branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "Faithful climb columns on all carriers; an available receiver record, physical receiver access or preparability; that blindness, positivity or PN are inherited; a state-to-record association; acceptance of draft 25-26 classification claims or exploratory test counts; native access. Acceptance is analytical review of the declared scope, not physical validation.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/b08011519ee24744e2f534e8084f5728680305e1", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-draft28", "status": "restricted", "title": "Exact premises of the event transfer: uninformed receiver plus off-lineage blindness at departure points (unreviewed draft)", "text": "receiver_identification draft 28 (cd4db0fb67cb455207fcba218ead7fee480ea92f) adds section 33, unreviewed: under the read ledger (PN) alone on the address class, with no positivity, sibling comparison or invariance between carriers, the all-context event transfer F_W e_{a_d} = kappa e_{a_d} for every carrier in which a_d is a leaf (and then F_Y e_{a_{d-1}} = kappa e_{a_{d-1}}) is equivalent to blindness along the climb (Bl_D^a) plus (Side_D), each address leaving the lineage at a_i reads nothing of a_i's unit; every equality is needed, no other table entry is constrained, no second child address is needed; positivity on the climb's forks and cone-local reads are two separate sources of (Side_D); total holding of every unit is kappa for every table. Exploratory exact scratch only. Separately, the d27 review of sections 31-32 was re-dispatched under amendment 1 (6997aeb4, lean prompt, verify GREEN) and Gemini returned HTTP 429 'monthly spending cap exceeded' twice (run 39331510927); no verdict. Restricted, research branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "That (Side_D) or the climb blindness is inherited; that test carriers occur as events; an available receiver record or physical access; faithful climb columns; any independent review of sections 31-33.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/cd4db0fb67cb455207fcba218ead7fee480ea92f", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-d27-accepted", "status": "restricted", "title": "Receiver identification sections 31-32 frozen, exactly verified and Gemini ACCEPTED", "text": "Sections 31 (with [D26]) and 32 (with [D27]) of receiver_identification draft 27 (26a09a15, sha256 2fe553f9...), frozen at prereg 600538ab / code 0178320c and reviewed under amendment 1 (6997aeb4, exact excerpts), were independently reviewed by gemini-3.1-pro-preview in run 39331510927 attempt 2: verdict ACCEPTED, 10 of 10 items VERIFIED, no findings, missing assumptions or counterexamples; verify GREEN with compare.json be2c1952... unchanged; publication readback PASS. Content: with address-dependent reads, (PN)+(POS)+one blind addressed climb clean all side branches and leave one bottleneck leak t_m in [0,kappa] per depth; one scalar sibling comparison (SE_m) per depth forces t_m=0 and faithful climb columns; positivity only on climb units on Genesis, two-leaf forks and lines of descent is equivalent to faithful climb columns; the event transfer needs no (SE). Receipt 9ef10e3e. Restricted, research branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "That (PN), (POS) or (SE) is inherited; that forks, chains or climbs occur as events; an available receiver record or physical access; any review of section 33; physical validation.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/9ef10e3e9238155e9bd18d85fed7fa8ecb1cb4de", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-native-record-writer-trace", "status": "restricted", "title": "Native record-writer trace: V1172 provenance chain is precomputed; the field-sensitive writer is the diagnostic output (unreviewed source inspection)", "text": "proteinfolding-gpt source inspection (d5169c753562c4840f54ea139fc053ebabfedce3, inspected head 4c497983, publication readback PASS 2ec25174) of the V1172 Genesis engine (sha256 659a1489..., the file cited by the v14.04 frozen audit): make_ledger builds the provenance payload (registry, root, seven literal events, witnesses) from pinned constants before fields are initialized and the update loop never appends to it; the HistoryLedger mode is caller-supplied before the run; the field-dependent writer is the diagnostic path (log_rows and certify_field's cert, saved by main to CSV, plots and summary); the animation's active event follows the frame index. Disposition IMPLEMENTED_DIAGNOSTIC_WRITER_LOCATED; PRECOMPUTED_PROVENANCE_PAYLOAD_SEPARATED; NATIVE_RECEIVER_ASSOCIATION_OPEN. No execution, no numerical claim, no independent review. Restricted, research branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "A native receiver record or physical receiver access; derivation of the diagnostic interface from native structure; a physical no-go or closure; claims about other Genesis ledgers; independent review.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/d5169c753562c4840f54ea139fc053ebabfedce3", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-rid-d28-accepted", "status": "restricted", "title": "Receiver identification section 33 frozen, exactly verified and Gemini ACCEPTED: the event transfer is exactly two equality families along the lineage", "text": "Section 33 of receiver_identification draft 28 (cd4db0fb, sha256 a7474596...), frozen at prereg acaecec0 / code 4780e0e7: push run 39345891350 GREEN (independent producer by exact elimination over Q and checker by the proof certificates in both directions; span of the all-context transfer equalities equals span of (Diag_D) plus (Side_D) with rank D + |Side_D| on 11 systems over four trees; six tables, five instances, nine rejecting controls, 19 tamper cases); dispatch 39346463757: gemini-3.1-pro-preview ACCEPTED, 9 of 9 items VERIFIED, no findings, missing assumptions or counterexamples, NOT_DERIVED; publication readback PASS. Content: under the read ledger (PN) alone, the event transfer in every context is equivalent to the uninformed receiver along the climb plus each off-lineage address reading nothing of the unit at its departure point; each equality needed, no positivity or second child needed, every other entry free, total holding conserved for every table. Receipt 51ef054b. Restricted, research branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "That (Bl_D^a) or (Side_D) is inherited; that test carriers occur as events; that a holding is an available record or any vertex reads; physical access or an observable prediction; physical validation. Finite checks are bounded evidence, not proofs.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/51ef054bb0a6f4535a9cdb58a2601e7c48df2313", "xUrl": null, "compiled": "2026-10-19"}
{"id": "atlas:physical-bridge-single-event-gain-accepted", "status": "restricted", "title": "Single-event receiver gain: one pruning event's gain is G = beta + t, analytical review accepted", "text": "proteinfolding-gpt froze a conditional analytical result (86ea348c5886005431413eefd2207a293438f8fc) for one leaf-pruning event P: under the linear event ledger F_Y P = P F_W and blindness of the selected pre-event receiver holding, the gain is G = beta + t with beta = h_p^W(e_p) and t = h_l^W(e_p); if both are nonnegative, G>0 exactly when one is positive. Exact controls separate actual-carrier blindness from draft 28 comparison-chain blindness, show positive normalized holdings with zero gain, and gain without kernel separation. For the field route, complete pre-event access to the local field precludes a new distinction through field restriction alone. Run 39429834992 attempt 1 (gemini-3.1-pro-preview) returned ACCEPTED with empty findings, missing assumptions, counterexamples and limitations; integrity and separate publication-audit jobs passed (acceptance 0ca26a87, evidence readback 25d3da15). No numerical campaign. Restricted, research branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "A native event, receiver-owned record or available retained effect; that nonnegativity, blindness or a nonzero response is inherited; preparability, source binding or physical availability; any detector, clock or outcome law; broad C3/C4-C6 or physical origin (OPEN); archive-wide novelty. Acceptance is analytical review of the declared scope, not physical validation.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/0ca26a872be93d6bff4ac4cacb26533f202b4ebe", "xUrl": null, "compiled": "2026-10-20"}
{"id": "atlas:physical-bridge-single-event-challenge-scope-accepted", "status": "restricted", "title": "Single-event challenge scope clarification: finite-climb and selected-read limits, analytical review accepted", "text": "proteinfolding-gpt's additive scope clarification (0eb63cf6c6a5ea74310ea45b689dc4458923342b) of the single-event gain challenge note: finitely many diagonal equalities along one climb are weaker than global root-shift naturality (depth-horizon family, D=1 apex square), and selected-read blindness does not establish complete initial receiver blindness or an available separating post-event effect. Run 39449286888 attempt 1 (gemini-3.1-pro-preview) returned ACCEPTED with empty findings, missing assumptions and counterexamples; publication audit PASS; receipt 0fac497f, readback 04af062f. The receipt notes not every requested subcheck is separately documented in the response. Classification C. Restricted, draft PR107 branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "A new theorem or numerical result; acceptance of the whole original challenge; native preparation/source association, event typing, complete receiver blindness, an available separating effect or retention; physical validation.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/0fac497f09a2dcc12191bb7830e90127c54f727d", "xUrl": null, "compiled": "2026-10-20"}
{"id": "atlas:physical-bridge-balanced-sibling-contrast-accepted", "status": "restricted", "title": "Balanced sibling contrast: a coefficient-independent blind sibling pair gains parent contrast g a_(k+1) under one partial P1 contraction, analytical review accepted", "text": "proteinfolding-gpt froze a conditional analytical result (a034bbb58bf250316b04d33d85ba89b9018793cd) in the positive depth-uniform holding family: a parent difference is blind for every admissible coefficient sequence iff its own and strict-descendant components both vanish; a balanced sibling pair g e_u vs g e_v is therefore initially blind for every law, a fixed partial contraction of one sibling gives parent contrast g a_(k+1) (needing positive self-holding, not adjacent-depth equality), and contracting both erases it. Run 39693706755 (gemini-3.1-pro-preview) returned ACCEPTED with empty findings, missing assumptions and counterexamples; integrity, argument-review and publication-audit jobs passed (acceptance 73d83fc6, readback 08c8b1e8). No numerical campaign. Restricted, research branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "Native preparation or actual event typing; identification of the parent scalar with the receiver's whole available record; an actual effect resolving the intermediate amounts; retained memory or a consumer before erasure; event selection by symmetry; any numbered stage, physical prediction or milestone. Acceptance is analytical review of the declared scope, not physical validation.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/73d83fc6cb38832b4c4ae72421ecc9b8c8f72a8c", "xUrl": null, "compiled": "2026-10-21"}
{"id": "atlas:physical-bridge-balanced-retention-accepted", "status": "restricted", "title": "Exact retention of balanced contrasts: parent contrast is g a_(k+1)(1[c_v in Z]-1[c_u in Z]) under any common retained subcarrier, analytical review accepted", "text": "proteinfolding-gpt froze a conditional analytical result (813215d324fd03d3cb25e08f6204a75dd2e72a40): for a common balanced two-source preparation with lowest common ancestor p and every common prefix-closed retained subcarrier Z containing p under inherited P1, the parent contrast is C_p(Z)=g a_(k+1)(1[c_v in Z]-1[c_u in Z]); the contrast survives exactly while one child root survives, is protected through arbitrary deeper contraction once one child root is gone, and along any nested sequence has one signed plateau (s-r stages on unequal chains under a chosen frontier policy). Grok T-004's asymmetric witness is credited as precursor. Run 39698061996 (gemini-3.1-pro-preview) returned ACCEPTED with empty findings, missing assumptions and counterexamples; all three jobs passed (acceptance 1c058f1a, readback b8adfb56). Restricted, research branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "Native preparation; actual event typing or association of occurrence with this map or schedule (SUPPLIED); that the frontier policy or stage count is physical; that P1 enforces the surviving-child condition; scalar-record identification, resolving readout or consumer-before-use; a native implementation in existing consumer code; a universal retention law, receiver access or physical milestone. Acceptance is analytical review of the declared scope, not physical validation.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/1c058f1a907bff86c26dcab6f3bd4a34ba4b876f", "xUrl": null, "compiled": "2026-10-21"}
{"id": "atlas:physical-bridge-theorem-o-ordering-reduction-accepted", "status": "restricted", "title": "Theorem O: on the deletion-only receiver episode with history restriction H, every first coalition response lies in the post-source deletion menu, analytical review accepted", "text": "proteinfolding-grokbot froze a conditional mathematical result (87b616adac6dd0575cbbaf8cc28b074410f58402, revision r1 90e980322f1f1d70633450ad8455a8b8dcded1ea) from the shared agent thread packet T-050 with dot's T-051-dot corrections: under the inherited receiver move interface (P1), two preparations with identical coalition interface, a fixed executed outside deletion list with no NOOP resolution, a deletion-only coalition episode and the explicit history restriction H, every permitted history that completes the list and contains a first coalition response has that response in the post-source deletion menu M_s, so the declared decoder is correct (race lemma B and extraction lemma X; split proof before and after completion). Proposition R gives the restoration-closed no-go; controls C1-C5 show no-NOOP and H are needed and deletion-only is sufficient, not necessary. A prospectively declared producer/checker passed in run 39861546954 (27/27 mutations rejected). Run 39869344301 (gemini-3.1-pro-preview) returned ACCEPTED with empty findings, missing assumptions and counterexamples; publication audit and immutable readback passed (acceptance 5148dc4c, readback 68e7976f); PR #112 merged into the research branch at 3ceb8142. Restricted, research branch, not on main, native bridge NOT_DERIVED.", "doesNotShow": "Chronological order, probability or physical memory; derivation of the outside deletion list, executed enactment, the deletion-only episode, H, actor selection, own-view/reference access or actual response occurrence (P2-P6 and H SUPPLIED); the full add/delete grammar; a native receiver, observable, physical milestone or physical progress. Acceptance is analytical review of the declared scope, not physical validation.", "wiki": "https://proteinfolding-grokbot.github.io/retained-atlas/wiki/physical-bridge-run-log/", "source": "https://github.com/proteinfoldingengine/WetLabEngine/commit/5148dc4c54e92a3beed515fe665bdf8a82ee4f12", "xUrl": null, "compiled": "2026-10-22"}