Conditional κ = 0.00312476680 (+5.8046936e-7 over #5811): unread path

research/p104-unread-path-resynthesis/LOCAL-EDITS.json

@@ -0,0 +1,6 @@
+[
+  [
+    "8 <= owned <= 25",
+    "8 <= owned <= 29"
+  ]
+]

research/p104-unread-path-resynthesis/NOTICE

@@ -0,0 +1,113 @@
+Unread-register path resynthesis
+Copyright 2026 Ali Romman. Apache-2.0.
+
+New construction, code, calculations and prose: Ali Romman with substantial
+OpenAI Codex assistance. No subagents. All new checks are author-side.
+
+Mason Hale supplied PR5811, the complete two-block composition and the exact
+role92 remapping and fourth accumulation. The earlier elementary accumulation,
+retained-copy and second-block work is by Ali Romman. Joel Pulikkan supplied
+R22. Dugongue supplied the concurrent baseline composition proof. Their source
+notice and proof are retained byte for byte under inputs/pr5811-*.
+
+The source closure retains flyingviper, Cinna Davis, David Arias, Gareth
+Davidson, Jacob Alan Sussman, zxv, Cao Yifan, Pierre-Loic Doulcet, thu-nmrc,
+Scratch-net and all native/helper/controller/compiler/geometry/analytic
+predecessors. The exact PR5786 source archive and its nested notices remain.
+This package does not claim any predecessor construction as new.
+
+Exact PR5811 vendor/accumulated/NOTICE follows. Source head:
+33d7760d0a6fea6394aefd014eea68f0af02a92e
+
+Accumulated native updates
+New work: Ali Romman with substantial OpenAI Codex assistance. Apache-2.0.
+No subagents. The same assistant made the construction and the author checks.
+
+Concurrent scope: Discussion5125 now tests retained copies in the transposed
+supplier. That route uses the same source/destination duality. This package
+claims the three fixed forward-supplier groups and their complete result,
+not the elementary accumulation identity or the broader transposed search.
+
+Exact source: PR5786 at 6b936acd68a7e0f9062037900f0fe9bc4b6fdd25.
+The complete predecessor notice follows unchanged.
+
+Asynchronous helper hubs
+New work: Ali Romman with substantial OpenAI Codex assistance. Apache-2.0.
+
+Retained native copies from PR5774 at 7d6ec0cdef31d0c37b7d2563e709979caa0d5eae.
+All prior credit follows unchanged.
+
+Paid intermediate meetings and collective helper splits.
+Ali Romman, with substantial OpenAI Codex assistance. Apache-2.0.
+No subagents. All checks are author-side calculations.
+
+The complete PR5718 notice follows unchanged.
+
+Four paid interior public-basis changes.
+Ali Romman, with substantial OpenAI Codex assistance. Apache-2.0.
+No subagents.
+
+The following exact notice is retained from PR5660.
+
+New helper-subspace construction, proof and replay:
+Ali Romman with substantial OpenAI Codex assistance. Apache-2.0.
+The same assistant performed the construction and author-side checks.
+
+Retained contributions:
+flyingviper: PR5605 shared relay, PR5612 delayed relay, and the PR5608/PR5613
+relay/split compositions.
+Scratch-net: PR5606 prepared-helper identities and target debit.
+Pierre-Loic Doulcet (hexapode): PR5565 commuting-contact construction, used as the exact source.
+Ali Romman: PR5602 fixed boundary relations, PR5601 three-contact frame
+change, PR5580 contact step,
+and PR5544/5545 complete P104 caller.
+Joel Pulikkan (GamingPuzzled): PR5569 priced helper handoff.
+DreamingOfClouds: PR5561 free helper endpoints and PR5568 search tools.
+thu-nmrc: PR5551 contact improvements.
+Gareth Davidson (bitplane): PR2305 source composition.
+David Arias: PR2152 coalesced P104 word.
+Cinna Davis: PR2219 private reuse and the controller lineage.
+Jacob Alan Sussman: productive mixed-target recursion.
+zxv and Cao Yifan: exact intervals, compiler and native/pricing lineage.
+GamingPuzzled: PR5472 successor handoff, a predecessor to the split concept.
+The retained source notices preserve earlier geometry, BIT and analytic credit.
+
+The elementary rank-one basis identity is not claimed as a new general
+linear-algebra theorem. The contribution is its explicit independent-target
+use on this P104 word and the complete conditional kappa improvement.
+
+New contribution: Ali Romman, with substantial OpenAI Codex assistance.
+The four-gate source-version rewrite composes zxv PR5643 and Ali Romman PR5644.
+The A2 method retains Chris R/Clear1nsight PR3998 and ToikY PR4019 credit.
+The compensated triangle method retains Cinna Davis PR4692 credit.
+No subagents were used for this contribution. Apache-2.0.
+
+Concurrent PR5650 by zxv publishes the PR5643/PR5644 composition. PR5651 by
+Ali Romman corroborates it. This package credits that released composition
+and contributes the further four-gate placement.
+
+New work: distributed scalar updates on an unobserved public field interval, the exact witness and complete conditional price. Prepared for Ali Romman with substantial OpenAI Codex assistance. No subagents. Apache-2.0. The source archive retains all predecessor notices.
+
+Two-boundary main-assisted helper split and early cleanup: flyingviper with substantial
+OpenAI Codex assistance, including independent AI review agents. Apache-2.0.
+
+Retained native-copy construction
+Prepared by Ali Romman with substantial OpenAI Codex assistance. No subagents.
+The paid-meeting source is PR5751 by Ali Romman with OpenAI Codex assistance.
+The dimension-four span [265,194,164,75] is from Joel Pulikkan / GamingPuzzled
+PR5739, with Claude Opus 5.5 assistance. The R22 block edits are not included.
+The retained-copy mechanism, exact constructor, source-specific verification,
+new price and proof are the contribution of this package. Apache-2.0.
+
+Exact PR5811 vendor/blocks/NOTICE follows. Source head:
+33d7760d0a6fea6394aefd014eea68f0af02a92e
+
+The second block is PR5796 at4b30391e633ba0c7c674f03586ae97d443e9bc9c, by Ali Romman with substantial OpenAI Codex assistance, following Joel Pulikkan/GamingPuzzled R22. Exact notice, plan, proof and source words are retained in source/SECOND-* unchanged.
+
+The final immediate source is PR5786 asynchronous helper hubs by Ali Romman with substantial OpenAI Codex assistance. Its three temporal helper splits and complete completion parameters are retained and credited. The earlier PR5774-only composition is a superseded checkpoint, not a separate contribution.
+
+New complete retained-copy and R22 composition: Ali Romman with substantial OpenAI Codex assistance. No subagents. Apache-2.0.
+
+The thirteen retained native conversions and changed helper targets are by Ali Romman with OpenAI Codex assistance in PR5774. The R22 block and rank-four basis are by Joel Pulikkan (GamingPuzzled), with Claude Opus5.5 assistance, in PR5739/5756. The complete source archive and R22 notice remain unchanged.
+
+The construction retains Ali Romman PR5751 paid intermediate meetings, flyingviper PR5718 boundary splits, Cinna Davis's productive controller, Jacob Alan Sussman's productive recursion, zxv and Cao Yifan's interval/compiler line, and every P104/native/BIT predecessor in the source notices. The source engines are reused under exact byte bindings, not claimed as new implementations.

research/p104-unread-path-resynthesis/PLAN.json

@@ -0,0 +1,105 @@
+{
+  "start": 13815,
+  "old": [
+    [
+      "MOVE",
+      773,
+      1031,
+      597,
+      true
+    ],
+    [
+      "ADD",
+      709,
+      773,
+      "1",
+      597
+    ],
+    [
+      "MOVE",
+      733,
+      3,
+      597,
+      false
+    ],
+    [
+      "ADD",
+      733,
+      773,
+      "1",
+      597
+    ],
+    [
+      "MOVE",
+      695,
+      3,
+      597,
+      false
+    ],
+    [
+      "ADD",
+      695,
+      733,
+      "1",
+      597
+    ],
+    [
+      "MOVE",
+      695,
+      597,
+      1031,
+      false
+    ]
+  ],
+  "new": [
+    [
+      "ADD",
+      695,
+      733,
+      "1",
+      3
+    ],
+    [
+      "MOVE",
+      695,
+      3,
+      1031,
+      false
+    ],
+    [
+      "ADD",
+      695,
+      773,
+      "1",
+      1031
+    ],
+    [
+      "MOVE",
+      773,
+      1031,
+      597,
+      true
+    ],
+    [
+      "ADD",
+      709,
+      773,
+      "1",
+      597
+    ],
+    [
+      "MOVE",
+      733,
+      3,
+      597,
+      false
+    ],
+    [
+      "ADD",
+      733,
+      773,
+      "1",
+      597
+    ]
+  ]
+}

research/p104-unread-path-resynthesis/PRICING-EDITS.json

@@ -0,0 +1,18 @@
+[
+  [
+    "KAPPA, TESTED = Q('.00312265044'), Q('.003122650445')",
+    "KAPPA, TESTED = Q('0.00312476680'), Q('0.003124766805')"
+  ],
+  [
+    "PREVIOUS = Q('.00312192127')",
+    "PREVIOUS = Q('0.00312418633064')"
+  ],
+  [
+    "'kappa_decimal':'0.00312265044','previous_pr5774':PREVIOUS",
+    "'kappa_decimal':'0.00312476680','previous_pr5811':PREVIOUS"
+  ],
+  [
+    "sum(paid.values()) == 66906",
+    "sum(paid.values()) == 66870"
+  ]
+]

research/p104-unread-path-resynthesis/PROOF.md

@@ -0,0 +1,152 @@
+# One direct query for an unread register
+
+The exact source is PR5811 at
+`33d7760d0a6fea6394aefd014eea68f0af02a92e`. This package changes one
+seven-event interval. It retains every public input, target and boundary,
+and every owned event. The complete conditional claim is kappa 0.00312476680.
+The five inherited assumptions remain.
+
+## Four-field identity and physical frames
+
+Let a, b, c and d be the entry values of roles 695, 733, 773 and 709.
+These four values are arbitrary, including c in the owned field. Let A be
+frame 3, C be frame 597, and B be frame 1031. The exact source has
+A strictly inside C strictly inside B, at dimensions 0, 4 and 5.
+
+The source interval starts at event 13815. It performs:
+
+```text
+MOVE c: B -> C
+ADD  d += c in C
+MOVE b: A -> C
+ADD  b += c in C
+MOVE a: A -> C
+ADD  a += b in C
+MOVE a: C -> B
+```
+
+The replacement performs:
+
+```text
+ADD  a += b in A
+MOVE a: A -> B
+ADD  a += c in B
+MOVE c: B -> C
+ADD  d += c in C
+MOVE b: A -> C
+ADD  b += c in C
+```
+
+Both words leave the decoded values
+`a'=a+b+c`, `b'=b+c`, `c'=c` and `d'=d+c` in the same exit frames.
+The first new ADD reads b before its update. The second reads c before
+its reverse native query. No outside event occurs inside this interval.
+Thus the replacement preserves every later source observation, including
+all 23 COPY payloads. The constructor also compares the entire owned-event
+subsequence byte for byte.
+
+The constructor checks the exact interval and its unique location. A
+separate four-by-four rational transfer calculation compares all entry
+coefficients. The full forward replay checks all 799 input coordinates,
+including owned input columns. A dense integer transpose interpreter checks
+the same endpoint in reverse order with binary denominators. Each interpreter
+checks 638401 coefficients. All arbitrary public helper inputs are retained.
+
+## Native and ordinary costs
+
+The two public queries A to C and C to B have ranks 4 and 1. Their
+replacement A to B has rank 5. Every native map must implement the actual
+frame change, including its absolute phase. Exact Clifford lowering and a
+separate native interpreter check all 2918 distinct maps. The checks also
+cover 208 main adapters and 1124 helper normalizers.
+
+Write H_r(t)=r^t. The exact local changes are
+
+```text
+Delta paid = -H1-H4+H5
+Delta targets = 0
+```
+
+The signed gain is H1+H4-H5. It is positive for every 0<t<1 because
+`(1+4)^t < 1+4^t`. This argument concerns this replacement, not all
+possible native words. Both paid and productive rank masses stay fixed.
+
+The replacement adds one scalar ADD. Its eight real scalar primitives
+raise the local allowance from 225038 to 225046. The word still has
+25984 events, 770 public inputs, 29 owned labels and 31 owned lifetimes.
+Peak owned storage remains 13. No new COPY, INIT, CLEAR or storage is used.
+The local checker retains all source predicates; its declared owned-label
+cap is raised from the older PR5786 value 25 to the existing PR5811 value 29.
+The native nesting and phase conditions are unchanged.
+
+The final local profiles are:
+
+| Kind | Profile |
+|---|---|
+| Paid | 2225H1 + 456H2 + 498H3 + 98H4 + 163H5 + 9H6 + 6H7 |
+| Helpers | 18H1 + 7H2 + 4H3 + 107H4 + 14H5 + 9H7 + 18H8 + 385H9 |
+
+The local paid rank mass is 5934. Each scalar and route is charged. Local
+routes cost at most 5327000 ordinary primitives. Scalars and routes fit
+inside the retained local allowance of 10000000.
+
+## Complete caller and strict price
+
+The unchanged physical p16/a7 caller makes 18 forward local calls, 15 query
+shears and 3120 whole idle jobs. Its complete paid profile is
+
+```text
+P = 18 P_local + 1560 H1
+    + 208 sum over L in {7,8}, j=1..L of H_(8(j+1)).
+T = 18 T_local + 208 H145
+    + 208 sum over L in {7,8}, j=1..L of H_(1+8(j+1)).
+```
+
+The event invoice and this separate formula agree. There are 66870 paid
+calls and 13444 productive targets. The rank-mass surplus remains 760.
+The full ordinary bound is 184647552, below the retained 1000000000 budget.
+No thin query, idle, adapter, normalizer, route or owned operation is omitted.
+
+Two rational interval engines verify a strict raw crossing inside
+`(0.00312476681507,0.00312476681508)`. A negative derivative bound proves
+uniqueness on `[0,0.0034]`. This is the ceiling of the fixed invoice in that
+interval, not a limit on other words. The source invoice fails at the new
+claim. The exact declared gain over PR5811 is 0.00000058046936, about
+0.01858 percent. This is a small step; it does not meet the donor's requested
+large improvement.
+
+The tested saving is 0.003124766805. Completion uses cutoff 16, floor 17,
+offset 1/7, power 1024, reserve 10^-12, decay 125/128 and block length 128.
+All three tail ratios, splitting, rounding and complement capacity checks
+pass. The finite compiler threshold is `H=80511200000000000`. The full
+outer calculation has 54 strict inequalities and four functional conditions;
+each is positive. The unchanged admitted BIT saving is 0.0034.
+
+## Controls, scope and credit
+
+Controls reject a missing early observation, a wrong late sign, a missing
+native query, a late read of the old value, a changed source interval,
+an omitted paid call and an extra productive target. The retained caller
+control rejects a missing central translation. Four direct source corruptions
+reject before import. The native phase control and the old completion,
+offset, cutoff and BIT controls also run. All failures use explicit errors
+and remain active under optimized Python.
+
+The source word, proof, result and notice are retained with size, Git blob
+and SHA256 pins. The authenticated PR5786 archive supplies the unchanged
+native, caller, interval and compiler closure. No pending source Git object
+is required during replay. The source claim is independently recounted; its
+stored result is evidence, not a substitute for the new calculation.
+
+The assumptions native_all_columns, owned_erasure, compiler, precision_tape
+and analytic_recovery remain. The large uniform word and rounded multiplier
+are not materialized. Author-side replay is not independent human acceptance
+or formal-kernel verification. The selected frontier is unchanged.
+
+Mason Hale supplied PR5811's exact composition, role92 remapping and full
+price. Ali Romman supplied the earlier accumulation and second-block work.
+Joel Pulikkan supplied R22. Dugongue supplied the concurrent composition
+proof. All source notices and their native, helper, controller, compiler,
+BIT and analytic credits remain. The new seven-event path identity and this
+verification are by Ali Romman with substantial OpenAI Codex assistance.
+No subagents. Apache-2.0.