Conditional kappa ≈ 0.00171714158635 via joint twelve-source recovery

research/t74-joint-twelve/CLAIM-LOG.txt

@@ -0,0 +1,9 @@
+LOCAL CLAIM: joint twelve-source reassignment beyond the PR2720 fixed-old-path contract.
+Explicit donor assignment; retained seed2; last fetched base c22e42de697334df85337e005864773cdc2bc98b. New fetch and REST/GraphQL metadata refresh failed with network timeout/reset; latest verified comparison PR2733 head2761b52b17590b8cf94f2e410004a8252d5592dc. Recheck overlap before submission.
+Candidates considered: (1) reassign old four lifted aliases together with eight new source-partner aliases; (2) optimize shared chart choices of the eight aliases under fixed paths, excluded as a centre improvement by PR2720; (3) new pre-life hosts after reassignment, no fixed-frame alias found and loose gap candidates appear inherited. Chosen(1).
+Exact object: rebuild before lowfour with positive reconstruction of2462; recover source pairs33/49,55/101,74/83,85/98 after their last original uses; original four sources33,55,74,85 replace696,697,698,700, while2696eight remain680,681,682,684,688,689,690,692. Derive all target corrections from full arbitrary-input residual, transport through precondition/compensation, and lift targets to line45. Then six PR2679 pre-life substitutions and alias653<-563.
+Bounded experiment: one deterministic assignment, both providers. No random search. Original and changed symbolic programs priced, forward/dual exact audits passed. Before implementing full admission, optimistic complete profile passes budget root approx0.001717141586348426338110, gain0.05834% over2733, all stock fixed at415helpers/72buffers. This is not yet a claimed conditional exponent.
+Expected deliverable: complete source-bound construction, independent replay, negative controls, full native/supplier/outer checks and one focusedPR if it still improves latest. Finish target45minutes. Tekalign with substantial OpenAI Codex assistance; credits2436,2530,2679,2696,2733 and retained lineage.
+
+RESULT: Complete finite release passed. Public claim posting failed with integration403; this is a local claim. Public wrapper and latest-PR checks recorded separately.
+Final public wrapper: PASS_T74_JOINT_TWELVE_COLD_COMPLETE_RELEASE, explicit pristine local source/authenticated native cache. Registered Python3.12 final replay and integrity controls passed. Exact comparison is above PR2745 as well as PR2733.

research/t74-joint-twelve/CLAIM.json

@@ -0,0 +1,24 @@
+{
+  "status": "PASS_CONDITIONAL_FINITE_CONSTRUCTION_COMPLETE_RELEASE",
+  "complex_lower": "0.001717141586348426338109",
+  "complex_upper": "0.001717141586348426338110",
+  "kappa": "17171415863484263381089999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+  "profile": {
+    "1": 1593072,
+    "2": 430236,
+    "3": 204396,
+    "4": 79920,
+    "5": 22532,
+    "8": 5328,
+    "32": 1,
+    "48": 26558
+  },
+  "comparison_pr": 2733,
+  "comparison_head": "2761b52b17590b8cf94f2e410004a8252d5592dc",
+  "scope": "Conditional finite construction and complete strict supplier/modern outer release; inherited theorem assumptions remain.",
+  "latest_comparison": {
+    "pr": 2745,
+    "head": "4f485de05544884fa0f2edf6063bb9259decad30",
+    "exact_claim": "evidence/PR2745-CLAIM.json"
+  }
+}

research/t74-joint-twelve/DERIVATIVE-CODE.patch

@@ -0,0 +1,137 @@
+--- a/audit_mixed.py
++++ b/audit_mixed.py
+@@ -9,7 +9,7 @@
+  for _nm,_mut in (('changed lifted target frame',lambda b_:b_['target_levels'].__setitem__('23',0)),):
+   _bad=copy.deepcopy(w);_mut(_bad)
+   try:A.local_inventory(_bad,r,None)
+-  except ValueError as _e:A.require(str(_e)=='target line30','target mutation rejection')
++  except ValueError as _e:A.require(str(_e)=='candidate exact source-partner target frames','target mutation rejection')
+   else:raise ValueError('accepted changed lifted target')
+  _pg=A.read(d/'LOCAL-PROGRAMS.json.gz');_bp=copy.deepcopy(_pg);_bp['forward'].remove(next(e for e in _bp['forward'] if e[0]=='center'))
+  try:A.local_inventory(w,r,_bp)
+--- a/independent_core.py
++++ b/independent_core.py
+@@ -69,8 +69,7 @@
+     External ports/frames are independently checked by audit_mixed.py.
+     """
+     levels = {int(t): f for t, f in word['target_levels'].items()}
+-    require(set(levels) == {11,23,29,32,34,35,45,48,50,59,63,71,73,76,81,84,87,90,92,108}, 'twenty source-partner target offsets')
+-    require(all(frames[f] in ((30,), (45,)) for f in levels.values()), 'target line30')
++    require({str(t): list(frames[f]) for t, f in levels.items()} == {'104': [45], '106': [45], '110': [45], '14': [45], '21': [45], '37': [45], '41': [45], '43': [45], '47': [45], '52': [45], '78': [45], '99': [45]}, 'candidate exact source-partner target frames')
+     require(all(current[V+t] == frames[levels.get(t, 0)] for t in range(V)), 'target centre level')
+     forward, backward = [], []
+     for index, (register, frame_id) in enumerate(zip(word['centers'], word['center_frames'])):
+@@ -90,7 +89,7 @@
+             origin = destination
+         forward.extend(segments)
+         backward.extend(e[:2]+[e[3], e[2], e[4]] for e in reversed(segments))
+-    require(Counter(e[4] for e in forward) == {1:8, 7:8}, 'sixteen centre children')
++    require(Counter(e[4] for e in forward) == {8:8}, 'candidate eight unsplit centre children')
+     return {'forward': forward, 'backward': backward}
+
+
+--- a/new/borrow/lowfour_controls.py
++++ b/new/borrow/lowfour_controls.py
+@@ -20,12 +20,13 @@
+     ia=next(i for i,e in enumerate(pre) if e[0]=='add')
+     m=mut();m['A'][ia][3]=-m['A'][ia][3];expect('prelude correction sign flipped',m)
+     m=mut();m['A'][ia][3]*=2;expect('prelude correction coefficient doubled',m)
+-    m=mut();m['A'][ia][1],m['A'][ia+1][1]=m['A'][ia+1][1],m['A'][ia][1];expect('prelude correction targets swapped',m)
++    jb=next(j for j,e in enumerate(pre) if e[0]=='add' and e[1]!=pre[ia][1] and e[2:]!=pre[ia][2:] and e[-1]==pre[ia][-1])
++    m=mut();m['A'][ia][1],m['A'][jb][1]=m['A'][jb][1],m['A'][ia][1];expect('prelude correction targets swapped',m)
+     iw=[i for i,e in enumerate(pre) if e[0]=='warp'];m=mut();del m['A'][iw[1]];m['prelude_events']-=1;expect('prelude return warp dropped',m)
+     m=mut();del m['A'][iw[0]];m['prelude_events']-=1;expect('prelude forward warp dropped',m)
+-    ids=[i for i,e in enumerate(pre) if e[0]=='add' and e[1]==135];m=mut()
++    target=pre[ia][1];ids=[i for i,e in enumerate(pre) if e[0]=='add' and e[1]==target];assert ids;m=mut()
+     for i in reversed(ids):del m['A'][i]
+-    m['prelude_events']-=len(ids);expect('all prelude corrections of target 135 dropped',m)
++    m['prelude_events']-=len(ids);expect('all prelude corrections of actual first target dropped',m)
+     m=mut();m['A'][0][-1]=[31];expect('prelude target scale at a different line',m)
+     m=mut();m['A'][iw[0]][2]=m['A'][iw[0]][2]+1 if abs(m['A'][iw[0]][2])<len(m['warps']) else m['A'][iw[0]][2]-1;expect('prelude warp uses another operator id',m)
+     m=mut();m['A'][iw[0]][4]=[31];expect('prelude warp lands on a different line',m)
+@@ -36,13 +37,13 @@
+     m=mut();r=m['warps'][W33];r[3]=[x^2 for x in r[3]];expect('new warp from-frame wrong',m)
+     m=mut();m['warps'][W33][2][0]^=m['warps'][W33][2][1];expect('new warp G wrong',m)
+     # restoration gate before a new warp removed (derived cleanup re-derived)
+-    pos=[w0['warps'][W33][0]];i=pos[0]-1
++    i=next(i for i,g in enumerate(w0['B']) if g[:5]==['add',33,49,1,2])
+     m=mut();assert m['B'][i][0]=='add' and m['B'][i][1] in {r_[1] for r_ in w0['warps']},m['B'][i];del m['B'][i]
+     for r in m['warps']:
+         if r[0]>i:r[0]-=1
+     expect('source restoration gate dropped (cleanup re-derived)',rederive(m))
+     # rewritten helper gate on the borrowed source removed
+-    j=next(i for i,g in enumerate(w0['B']) if g[0]=='add' and g[1]==33 and g[2]==250)
++    j=next(i for i,g in enumerate(w0['B']) if i>=w0['warps'][W33][0] and g[0]=='add' and g[1]==33)
+     m=mut();del m['B'][j]
+     for r in m['warps']:
+         if r[0]>j:r[0]-=1
+--- a/new/code/borrow/bw_audit_local.py
++++ b/new/code/borrow/bw_audit_local.py
+@@ -179,6 +179,17 @@
+ def phase_at(es,name):return es.index(['phase',name])
+ def first_warp(es,sign=1,start=0):return ev_index(es,lambda e:e[0]=='warp' and (e[2]>0)==(sign>0),start)
+ def cleanup_warp(es):return first_warp(es,-1,phase_at(es,'full_frame_cleanup'))
++def incomplete_centre_descent(es):
++    # Split paths lose an intermediate step. An unsplit path is truncated at
++    # an actual nested rank-one frame, with its child rank repriced correctly.
++    # Thus the control cannot fail merely because a split no longer exists.
++    indices=[i for i,e in enumerate(es) if e[0]=='center' and e[3]!=0]
++    if indices:
++        es.pop(indices[0]);return
++    e=next(e for e in es if e[0]=='center')
++    stop=next(f for f in range(len(frames)) if len(frames[f])==1 and contains(frames[f],frames[e[2]]))
++    e[3]=stop;e[4]=len(frames[e[2]])-1
++
+ mutations=[
+     ('wrong_scale',lambda es:next(e for e in es if e[0]=='scalar' and e[1][0]=='scale')[1].__setitem__(2,3)),
+     ('missing_center',lambda es:es.pop(next(i for i,e in enumerate(es) if e[0]=='center'))),
+@@ -194,7 +205,7 @@
+     ('wrapper_on_a_centre_register',lambda es:next(e for e in es if e[0]=='residual_adapter').__setitem__(2,['C',0])),
+ ] if entering else [])+([
+     ('centre_step_not_nested',lambda es:next(e for e in es if e[0]=='center').__setitem__(3,next(f for f in range(len(frames)) if not contains(frames[f],frames[next(e for e in es if e[0]=='center')[2]]) and not contains(frames[next(e for e in es if e[0]=='center')[2]],frames[f])))),
+-    ('centre_descent_step_skipped',lambda es:es.pop(next(i for i,e in enumerate(es) if e[0]=='center' and e[3]!=0))),
++    ('centre_descent_incomplete',incomplete_centre_descent),
+ ] if levels else [])+([
+     ('hpe_pre_wrapper_resolved_to_full_recipe',lambda es:next(e for e in es if e[0]=='residual_adapter' and e[1]=='pre' and len(e)==5).pop()),
+     ('hpe_post_wrapper_without_terminal_frame',lambda es:next(e for e in es if e[0]=='residual_adapter' and len(e)==5).pop()),
+--- a/new/rebuild_borrow.py
++++ b/new/rebuild_borrow.py
+@@ -74,10 +74,10 @@
+     lf=D/'inputs'/f'lowfour_43{wt}.json';lpatch=None
+     if lf.exists():   # four low aliases through lifted-target compensation (PR2436 mechanism) on top of the entrance state
+         lpatch=json.loads(lf.read_text());prev_l=chain[-1];chain.append(word_patch.apply_lowfour(prev_l,lpatch));steps.append('lowfour')
+-        nw=chain[-1];kok&=word_patch.kernel_gate_edit(prev_l['B'],nw['B'])==lpatch['declared_gate_edit'] and sorted(set(nw['removed'])-set(prev_l['removed']))==[640,641,642,644]==lpatch['derived_removed_diff']
++        nw=chain[-1];kok&=word_patch.kernel_gate_edit(prev_l['B'],nw['B'])==lpatch['declared_gate_edit'] and sorted(set(nw['removed'])-set(prev_l['removed']))==[696,697,698,700]==lpatch['derived_removed_diff']
+         kok&=[x[1:] for x in nw['warps'][:len(prev_l['warps'])]]==[x[1:] for x in prev_l['warps']] and [x[1] for x in nw['warps'][-4:]]==[33,55,74,85] and len(nw['warps'])==len(prev_l['warps'])+4
+         kok&=[g[:-1] for g in nw['A'][nw['prelude_events']:]]==[g[:-1] for g in prev_l['A']] and nw['restore']==prev_l['restore'] and nw['helper_final']==prev_l['helper_final']
+-        kok&={k_:v_ for k_,v_ in prev_l['start_extra'].items() if k_ not in('640','641','642','644')}==nw['start_extra']
++        kok&={k_:v_ for k_,v_ in prev_l['start_extra'].items() if k_ not in('696','697','698','700')}==nw['start_extra']
+     af=D/'inputs'/f'alias637_43{wt}.json';apatch=None
+     if af.exists():   # alias 637 borrowing retired source 31 (PR2436 pair) stacked on the four lifted-target aliases
+         apatch=json.loads(af.read_text());prev_a=chain[-1];chain.append(word_patch.apply_lowfour(prev_a,apatch));steps.append('alias637');na=chain[-1]
+@@ -102,10 +102,10 @@
+         kok&=word_patch.kernel_gate_edit(prev_p['B'],npl['B'])==ppatch['declared_gate_edit']
+         kok&=all(npl[k_]==prev_p[k_] for k_ in ('A','precondition','cut','start_extra','target_levels','centers','center_frames','ports','prelude_events'))
+     rf2=D/'inputs'/f'refit563_43{wt}.json';rpatch2=None
+-    if rf2.exists():   # one-gate exact frame lowering (B 894, add 515 += 563: dim 6 -> 5) so that 563 retires at the dimension of 653's entrance frame (this package)
++    if rf2.exists():   # one-gate exact frame lowering (B 904, add 515 += 563: dim 6 -> 5) so that 563 retires at the dimension of 653's entrance frame (this package)
+         rpatch2=json.loads(rf2.read_text());prev_r=chain[-1];chain.append(refit_apply(prev_r,rpatch2));steps.append('refit563');nr=chain[-1]
+-        kok&=len(rpatch2['frames'])==1 and rpatch2['frames'][0][:2]==['B',894] and prev_r['B'][894][:5]==['add',515,563,1,1]
+-        kok&=len(nr['B'][894][-1])==len(prev_r['B'][894][-1])-1 and all(x_==y_ for i_,(x_,y_) in enumerate(zip(nr['B'],prev_r['B'])) if i_!=894)
++        kok&=len(rpatch2['frames'])==1 and rpatch2['frames'][0][:2]==['B',904] and prev_r['B'][904][:5]==['add',515,563,1,1]
++        kok&=len(nr['B'][904][-1])==len(prev_r['B'][904][-1])-1 and all(x_==y_ for i_,(x_,y_) in enumerate(zip(nr['B'],prev_r['B'])) if i_!=904)
+         kok&=not({515,563}&({x_['L'] for x_ in ppatch['pairs']}|{x_['h'] for x_ in ppatch['pairs']}) if ppatch else set())
+     xf=D/'inputs'/f'alias1_43{wt}.json';xpatch=None
+     if xf.exists():   # retired-lender alias 653<-563 on the refit state (this package)
+@@ -141,9 +141,9 @@
+             pw_=Path(tempfile.mkdtemp())/'orig.json.gz';pw_.write_bytes(gzip.compress(json.dumps(prev_p,separators=(',',':')).encode(),mtime=0))
+             pc=subprocess.run([sys.executable,'-B',str(D/'prelife_controls.py'),str(shipped),str(pw_),str(RCP/f'CONTROLS-PRELIFE-43{wt}.json')],capture_output=True,text=True)
+             pc_ok=pc.returncode==0 and json.loads((RCP/f'CONTROLS-PRELIFE-43{wt}.json').read_text())['all_rejected_for_expected_reason'];ok&=pc_ok;res['prelife_controls_ok']=pc_ok
+-        if rpatch2:   # control: the shipped word with the B 894 frame restored to its un-refitted (dim 6) frame must be rejected (the 653<-563 warp then starts from the wrong frame)
++        if rpatch2:   # control: the shipped word with the B 904 frame restored to its un-refitted (dim 6) frame must be rejected (the 653<-563 warp then starts from the wrong frame)
+             import copy as cp6
+-            m=cp6.deepcopy(final);m['B'][894][-1]=prev_r['B'][894][-1];bp=Path(tempfile.mkdtemp())/'refit563_undone.json.gz';bp.write_bytes(gzip.compress(json.dumps(m,separators=(',',':')).encode(),mtime=0))
++            m=cp6.deepcopy(final);m['B'][904][-1]=prev_r['B'][904][-1];bp=Path(tempfile.mkdtemp())/'refit563_undone.json.gz';bp.write_bytes(gzip.compress(json.dumps(m,separators=(',',':')).encode(),mtime=0))
+             br=run_audit(bp,None,bp.parent/'refit563_undone.out.json');ru=br.returncode!=0 and 'warp frame mismatch' in (br.stdout+br.stderr);res['refit563_undone_rejected_by_warp_frame_mismatch']=ru;ok&=ru
+         if xpatch:
+             xc=subprocess.run([sys.executable,'-B',str(D/'alias1_controls.py'),str(shipped),str(xf),str(RCP/f'CONTROLS-ALIAS1-43{wt}.json')],capture_output=True,text=True)

research/t74-joint-twelve/EVIDENCE.json

@@ -0,0 +1,65 @@
+{
+  "status": "PASS_FINITE_CONSTRUCTION_AND_COMPLETE_RELEASE",
+  "environment": {
+    "native_and_full_python": "3.14.7",
+    "bounded_python": "3.12.14",
+    "platform": "Linux"
+  },
+  "runs": {
+    "native_base": {
+      "receipt": "evidence/NATIVE-BASE.json",
+      "coverage": "Fresh five stages after incomplete-descent negative-control fix."
+    },
+    "native_extra": {
+      "receipt": "evidence/NATIVE-EXTRA.json",
+      "coverage": "Fresh five stages."
+    },
+    "full_admission": {
+      "receipt": "evidence/ADMISSION.json",
+      "release": "evidence/RELEASE.json",
+      "coverage": "Complete strict supplier and modern outer; authenticated reuse of both fresh candidate native runs and existing pinned retained-parent/native evidence. Not an all-fresh retained-parent run."
+    },
+    "portable_generator": {
+      "status": "PASS_REGENERATED_JOINT_TWELVE_BOTH_WORDS",
+      "log_sha256": "a0bf3febcc6f652f96a58d6b68a330148cf33943e2c1743d870d78e56865250f",
+      "coverage": "Authenticated PR2679 source; positive complete2462 reconstruction; both full semantic words regenerated."
+    },
+    "public_wrapper": {
+      "status": "PASS_T74_JOINT_TWELVE_COLD_COMPLETE_RELEASE",
+      "coverage": "Explicit local pristine source and exact prepared native cache. Default remote-download/all-fresh path not executed end to end.",
+      "receipt": "evidence/PUBLIC-WRAPPER.json",
+      "seconds": 543.6799636979995,
+      "note": "The literal-review stage ran before final exact PR2745 comparison and claim-binding controls were added. The stronger final bounded checker was separately rerun successfully; full wrapper/admission code is unchanged."
+    },
+    "registered": {
+      "status": "PASS_REGISTERED_RESEARCH_PACKAGE",
+      "coverage": "Python3.12 verify, generic ceiling, relocated/integrity tests.",
+      "log_sha256": "7363b02edab58b3f679677fb1e5a867ae83917f6cc537533e2c1301a7426a012"
+    }
+  },
+  "initial_failures": [
+    {
+      "run": "Initial base native local replay",
+      "finding": "Mutation construction assumed a nonzero intermediate centre destination. All-H8 word has none, raising StopIteration after positive replay. Replaced with actual incomplete nested descent, correctly repriced; fresh native run passed."
+    },
+    {
+      "run": "Initial full word rebuild",
+      "finding": "Lowfour controls assumed old target135 and old source33 gate; alias653 position metadata was stale. Controls now select actual changed gates; regenerated literal metadata and reran original checks."
+    }
+  ],
+  "source_reuse": "REUSE-PINS.json authenticates every cache file; SOURCE-FILES.json authenticates original491 source files; overlay gives exact changed files and complete derived manifest. No selected frontier or upstream files modified.",
+  "formal_proof": false,
+  "independent_human_review": false,
+  "receipt_hashes": {
+    "evidence/ADMISSION.json": "b85b5b339353ae2a1935afa2963fcde7db9f66b41f205ddd632210257a8be168",
+    "evidence/INDEPENDENT.json": "f9e4500e5cb1ab1b9e8189de6dfbcca8dd9f7e2ea1a9ffce6801d6530797c0d2",
+    "evidence/NATIVE-BASE.json": "658d1d341816ee5227c55977047354f3c26280b961d5c967eff0ef02fb1f0486",
+    "evidence/NATIVE-EXTRA.json": "5e1bac16f35af9fb4a6adbcf76d948052fbec016bb7e8740fc121b5754eecebb",
+    "evidence/OWNERS.json": "4df2066f097e4b59edf7d7af0e7e234413b9d2a09de4302d02adb3869972f672",
+    "evidence/PACKING-CAP.json": "59deb044b1b46953cbfd2fcedd3026a901d4524d7d05c592b8e1420501f6e652",
+    "evidence/PR2733-CLAIM.json": "8e08f71a18e6a30259c1e2ea19b4069b9d3e3b656b38c57065ec2b9db367282b",
+    "evidence/PR2745-CLAIM.json": "62b395b95322e0a6786e0193e312d67de6b664c8c79fcfaab5bc7effe775a7c3",
+    "evidence/PUBLIC-WRAPPER.json": "70acee53d90097edfa3e7c99ad68311f236bade5ee71a446bcc8935e9e7e3192",
+    "evidence/RELEASE.json": "5839b3b3448d67d7a936fe962298d7d77cb83ee489321343af7769166f5d0142"
+  }
+}