Conditional κ = 0.001636542223442109: second jp8-family supplier replaces the CK call (twin dispatch) on PR637 by jeremykothe2 · Pull Request #643 · CrocSwap/integer-mult-bounds

jeremykothe2 · 2026-10-13T00:58:08Z

Summary

Conditional κ = 0.001636542223442109 (conservative 0.001636542220572773). This is +1.87×10⁻⁸ over PR641 (0.001636523543003976), using the same code and words as PR637's st2u4 package and a different second provider.

Change: twin dispatch. The verifier requires at least two suppliers, so earlier packages paid for one CK call. Here that call is filled by jp8b, a second, independently built jp8-family supplier: PR635's (st2) jp8 word, rebuilt through the full pinned chain with its own local audit, wrappers and phases. Dispatch is jp8 ×71 / jp8b ×1. All 23 core admission files and verify.py are byte-identical to PR637; only data changes.

Why it is a genuine second provider. witness.partner() uses the second provider for substitution controls. jp8 and jp8b differ in every substituted field (program hashes in both orientations, paid profile, widths, all artifact and semantic hashes). The strict run rejects all 114 assembly controls (including stale_partner_program for both jp8 and jp8b) and all 23 audit mutations, 16 of them partner controls. An independent reviewer judged this SOUND conditional on exactly that strict result.

Owner map: exact-window MIP warm-started from PR637's map; idle {12:1, 32:1, 48:2228}.

Verification

research/complex-571-cold14-twin/verify.sh /tmp/complex-571-cold14-twin ..   # SOURCE_ROOT holds worktrees pr568 pr569 pr571 pr575 pr583 at the pinned commits

Local result (Windows, CPython 3.11.11): the commit was preflighted from a fresh clone first (committed blobs equal the MANIFEST, every file LF, pin check passes, spec.py check OK). The official run from that clean clone passed all 58 stages with no reuse (the CK stages are absent because CK is not dispatched); the receipt manifest_sha256 e9e38dd802b385ac… equals the committed MANIFEST. PASS_COLD14_NATIVE_COMPLEX_AND_CITED_BIT, κ = 0.001636542223442109.

GitHub CI has not run, and I make no claim about it.

Credits

vectorsss: PR636 and PR638 (owner repairs on this family).
chafreaky: PR626, whose owner map warm-starts this one.
jeremydiviney: PR627 (factored cold ends), PR624 and PR618.
DreamingOfClouds: PR604 (the cold-ended construction, cold_end, verifier changes and package), PR599, PR509 and PR516 (Lean).
jeremykothe2: PR637, PR635, PR629, PR625, PR623, PR622, PR617, PR615, PR614, PR609, PR607, PR601, PR600, PR596, PR593, PR592 and PR591 (the hyperplane-end base).
The pinned PR568, PR569, PR571, PR575 and PR583 packages and all earlier contributors are listed in NOTICE.md.

AI disclosure and authorship: Claude Opus 5.5 (Anthropic), running in the omp coding harness, found the cost-neutral pivot swaps and the new entering ends, the spot_widths generalisation and its controls, solved the owner map, ran the independent review, found the dispatch and owner map, built the declarative inputs and prepared the PR. Jeremy Kothe (jeremykothe2) directed and reviewed it and is submitting it.

Scope

The result is conditional on the inherited all-size compiler, common-label/mutable-source realization, whole-call hosting, precision/tape/exact recovery, analytic transfer and the bit H1–H5 assumptions. It builds on PR604, which is not merged. It is finite exact evidence, not an unconditional theorem, a complete Lean proof, or a practical speedup.

…win) replaces the CK call on PR637

jeremykothe2 · 2026-10-13T00:59:48Z

Supplementary review evidence (not part of the verified tree)

The independent reviewer's twin proof note and the pinned control messages are reproduced below. They are documentation only; the committed tree and its clean-clone receipt are unchanged.

PROOF-NOTE-TWIN: a second jp8-family provider replaces the forced ck call

Change

The dispatch is jp8 ×71 plus jp8b ×1 at time 5 (stage 2, replica 0). It used to be jp8 ×71 plus ck ×1 at that slot.
jp8b is st2's jp8 provider chain: PR635 / H4aFinish A2, independently reviewed. Its build entry is A2's pinned jp8 entry, byte for byte. Only the recipe file name differs (data/recipes/k492-jp8b-cold_end.json.gz, sha256 90952fde… = A2's k492-jp8-cold_end.json.gz).
jp8 is unchanged: st2u4 / Conditional κ = 0.001636448463297071: four premix-only dim-8 cold ends (u4) on PR635 #637, cold_end b81e5f7d….
No code file changes. code/ and verify.py are byte-identical to Conditional κ = 0.001636448463297071: four premix-only dim-8 cold ends (u4) on PR635 #637's reviewed set.
verify.py, witness.py and every control address providers only through SPEC and DISPATCH. No provider id is hard-coded: every file in code/ was grepped for jp8, ck and atm3.

Why ≥ 2 providers holds in substance, not only in form

witness.partner() reads: "A different provider for substitution controls (next in sorted order)", with assert len(PIDS)>1. The rule exists so that every provider can be swapped against a different provider and the swap is caught.

jp8b differs from jp8 in every field those controls substitute:

the forward and backward program hashes;
the paid profile (jp8b − jp8 = {1:−8, 2:+4, 4:−4, 5:+4}: the four u4 ends are absent);
the widths (four helpers 233, 265, 425 and 441 are 9 in jp8b and 8 in jp8);
the residual adapters, phase recipes and artifacts.

So each substitution control is still a real mutation. It is not a no-op, and it is rejected. #604's wrong_selected_call needs a call of another provider whose stage has the same parity. jp8b sits at stage 2, exactly where ck sat, so the control has the same shape as before.

Partner-based controls with jp8b as partner (strict run, pinned rejection messages)

See TWIN-CONTROL-MESSAGES.json. It is produced by running the package's unchanged assembly_controls.py and audit_allcold.py logic on the strict outputs. The copies differ only in that they record each exception's message.

Strict T1 (κ 0.001636542223442109): assembly controls 114/114 rejected (0 accepted); audit_allcold mutations 23/23 rejected.

control (provider: partner)	rejected at
assembly `jp8:missing_provider`	AssertionError: @ assemble.py:38 assert set(invoice['providers'])==set(PIDS)
assembly `jp8:forged_provider_and_call_program_hash`	AssertionError: SPEC MISMATCH providers.jp8.program_hashes: expected {"backward": "08ca758e46518b7093aabb0e746f05e69db33d575c3878970b0b24a1c6a62fbf", "forward": "3682a386fbd9c82d98cfa618b554af3e29c6de
assembly `jp8:provider_at_wrong_call`	AssertionError: @ assemble.py:87 assert [(c['stage'],c['replica'])for c in calls]==CALL_ORDER
assembly `jp8:stale_partner_program_consistent_call_hashes`	AssertionError: SPEC MISMATCH providers.jp8.program_hashes: expected {"backward": "08ca758e46518b7093aabb0e746f05e69db33d575c3878970b0b24a1c6a62fbf", "forward": "3682a386fbd9c82d98cfa618b554af3e29c6de
assembly `jp8:stale_partner_profile_consistent_child_total`	AssertionError: SPEC MISMATCH providers.jp8.expected_profile: expected {"1": 2526, "2": 398, "3": 448, "4": 168, "5": 64, "6": 4, "8": 8} got {"1": 2518, "2": 402, "3": 448, "4": 164, "5": 68, "6": 4,
assembly `jp8:relocated_against_partner_same_counts`	AssertionError: @ assemble.py:91 assert c['provider_id']==pid
assembly `jp8:compensating_false_profiles_with_jp8b`	AssertionError: SPEC MISMATCH providers.jp8.expected_profile: expected {"1": 2526, "2": 398, "3": 448, "4": 168, "5": 64, "6": 4, "8": 8} got {"1": 2527, "2": 398, "3": 448, "4": 168, "5": 64, "6": 4,
assembly `jp8:width_order_swap_8_9`	AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected "75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af" got "8afe74955ebc2f3fa45ade9c8af11b97ead76a3f918696623a6dad3fc0d65
assembly `jp8:width_inventory_shift_8_9`	AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected "75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af" got "8afe74955ebc2f3fa45ade9c8af11b97ead76a3f918696623a6dad3fc0d65
assembly `jp8b:missing_provider`	AssertionError: @ assemble.py:38 assert set(invoice['providers'])==set(PIDS)
assembly `jp8b:forged_provider_and_call_program_hash`	AssertionError: SPEC MISMATCH providers.jp8b.program_hashes: expected {"backward": "da0379b4244d185bb79a22cdd7d788d4d43b180644319f38bd69a0f7c9f030da", "forward": "2acaf41909b2bd35995ed1069ab9f6bbcab66
assembly `jp8b:provider_at_wrong_call`	AssertionError: @ assemble.py:87 assert [(c['stage'],c['replica'])for c in calls]==CALL_ORDER
assembly `jp8b:stale_partner_program_consistent_call_hashes`	AssertionError: SPEC MISMATCH providers.jp8b.program_hashes: expected {"backward": "da0379b4244d185bb79a22cdd7d788d4d43b180644319f38bd69a0f7c9f030da", "forward": "2acaf41909b2bd35995ed1069ab9f6bbcab66
assembly `jp8b:stale_partner_profile_consistent_child_total`	AssertionError: SPEC MISMATCH providers.jp8b.expected_profile: expected {"1": 2518, "2": 402, "3": 448, "4": 164, "5": 68, "6": 4, "8": 8} got {"1": 2526, "2": 398, "3": 448, "4": 168, "5": 64, "6": 4
assembly `jp8b:relocated_against_partner_same_counts`	AssertionError: @ assemble.py:91 assert c['provider_id']==pid
assembly `jp8b:compensating_false_profiles_with_jp8`	AssertionError: SPEC MISMATCH providers.jp8.expected_profile: expected {"1": 2526, "2": 398, "3": 448, "4": 168, "5": 64, "6": 4, "8": 8} got {"1": 2525, "2": 398, "3": 448, "4": 168, "5": 64, "6": 4,
assembly `jp8b:width_order_swap_8_9`	AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected "05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62" got "1a6c1e253a0bdd591cc10c1c3ed872646b65b5368f72d316b96a3bd54144
assembly `jp8b:width_inventory_shift_8_9`	AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected "05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62" got "1a6c1e253a0bdd591cc10c1c3ed872646b65b5368f72d316b96a3bd54144
audit `jp8: wrong provider at its invocation`	AssertionError: @ audit_allcold.py:141 pid=expected_provider(call['stage'],call['replica']);assert call['provider_id']==pid
audit `jp8: stale per-call local program hash`	AssertionError: @ audit_allcold.py:143 assert call['local_program_sha256']==checks[call['orientation']]['sha256']
audit `jp8: stale serialized provider program`	AssertionError: @ audit_allcold.py:86 assert t['local_providers']==registry and t['recipe']==parent['recipe']and 'each local invocation completes before the next' in t['loop_order'].lower()
audit `jp8: unbound residual adapter hash`	AssertionError: @ audit_allcold.py:86 assert t['local_providers']==registry and t['recipe']==parent['recipe']and 'each local invocation completes before the next' in t['loop_order'].lower()
audit `jp8: partner width in provider width registry`	AssertionError: @ audit_allcold.py:86 assert t['local_providers']==registry and t['recipe']==parent['recipe']and 'each local invocation completes before the next' in t['loop_order'].lower()
audit `jp8: wrong per-call residual width`	AssertionError: @ audit_allcold.py:151 assert route==([3,i,off]if w==9 else[4,i,off,w,sp]);assert len(set(occ+sp))==9
audit `jp8: wrong sweep provider`	AssertionError: @ audit_allcold.py:103 assert e==expected
audit `jp8: entering helper width silently restored to nine`	AssertionError: @ audit_allcold.py:86 assert t['local_providers']==registry and t['recipe']==parent['recipe']and 'each local invocation completes before the next' in t['loop_order'].lower()
audit `jp8b: wrong provider at its invocation`	AssertionError: @ audit_allcold.py:141 pid=expected_provider(call['stage'],call['replica']);assert call['provider_id']==pid
audit `jp8b: stale per-call local program hash`	AssertionError: @ audit_allcold.py:143 assert call['local_program_sha256']==checks[call['orientation']]['sha256']
audit `jp8b: stale serialized provider program`	AssertionError: @ audit_allcold.py:86 assert t['local_providers']==registry and t['recipe']==parent['recipe']and 'each local invocation completes before the next' in t['loop_order'].lower()
audit `jp8b: unbound residual adapter hash`	AssertionError: @ audit_allcold.py:86 assert t['local_providers']==registry and t['recipe']==parent['recipe']and 'each local invocation completes before the next' in t['loop_order'].lower()
audit `jp8b: partner width in provider width registry`	AssertionError: @ audit_allcold.py:86 assert t['local_providers']==registry and t['recipe']==parent['recipe']and 'each local invocation completes before the next' in t['loop_order'].lower()
audit `jp8b: wrong per-call residual width`	AssertionError: @ audit_allcold.py:151 assert route==([3,i,off]if w==9 else[4,i,off,w,sp]);assert len(set(occ+sp))==9
audit `jp8b: wrong sweep provider`	AssertionError: @ audit_allcold.py:103 assert e==expected
audit `jp8b: entering helper width silently restored to nine`	AssertionError: @ audit_allcold.py:86 assert t['local_providers']==registry and t['recipe']==parent['recipe']and 'each local invocation completes before the next' in t['loop_order'].lower()

All 82 partner-indexed assembly messages and all 16 audit messages are in TWIN-CONTROL-MESSAGES.json.

Price

Idealised exact root (rank-48 idle): 71 jp8 + 1 ck = 0.0016364616; 71 jp8 + 1 jp8b = 0.0016365720 (+1.10e-7).
Aggregate owner LP: ΔF = −0.1619, i.e. ≈ +1.03e-7.
Strict: κ 0.001636542223442109 (conservative 0.001636542220572773), against Conditional κ = 0.001636448463297071: four premix-only dim-8 cold ends (u4) on PR635 #637 0.001636448463297071.

TWIN-CONTROL-MESSAGES.json

{
 "source": "cands/T1/strict outputs; unchanged control logic, messages recorded",
 "assembly_controls_total_rejected": 114,
 "audit_mutations_total_rejected": 23,
 "assembly_controls": {
  "jp8:missing_provider": "AssertionError:  @ assemble.py:38 assert set(invoice['providers'])==set(PIDS)",
  "jp8:missing_backward_orientation": "AssertionError:  @ assemble.py:54 assert set(p['local'])=={'forward','backward'}",
  "jp8:unpaid_scalar_primitive": "AssertionError: SPEC MISMATCH providers.jp8.complete_contract: expected {\"local\": {\"backward\": {\"events\": 32459, \"macros\": 27233, \"real_component_primitives\": 361570, \"prefix_l1\": \"83465137223244357595382675426049992 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:wrong_local_artifact_binding": "AssertionError:  @ assemble.py:66 assert hash_ok(p['artifacts'][name]) and p['artifacts'][name]==owner['source_artifacts']['providers/'+pid+'/'+name]",
  "jp8:false_dirty_restoration": "AssertionError: SPEC MISMATCH providers.jp8.complete_contract: expected {\"local\": {\"backward\": {\"events\": 32459, \"macros\": 27233, \"real_component_primitives\": 361570, \"prefix_l1\": \"83465137223244357595382675426049992 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:wrong_declared_provider_count": "AssertionError:  @ assemble.py:39 assert invoice['provider_counts']==COUNTS",
  "jp8:wrong_local_compiler": "AssertionError: SPEC MISMATCH providers.jp8.complete_contract: expected {\"local\": {\"backward\": {\"events\": 32459, \"macros\": 27233, \"real_component_primitives\": 361570, \"prefix_l1\": \"83465137223244357595382675426049992 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:wrong_local_adapter_charge": "AssertionError: SPEC MISMATCH providers.jp8.complete_contract: expected {\"local\": {\"backward\": {\"events\": 32459, \"macros\": 27233, \"real_component_primitives\": 361570, \"prefix_l1\": \"83465137223244357595382675426049992 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:wrong_local_primitive_bound": "AssertionError: SPEC MISMATCH providers.jp8.complete_contract: expected {\"local\": {\"backward\": {\"events\": 32459, \"macros\": 27233, \"real_component_primitives\": 361570, \"prefix_l1\": \"83465137223244357595382675426049992 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:forged_provider_and_call_program_hash": "AssertionError: SPEC MISMATCH providers.jp8.program_hashes: expected {\"backward\": \"08ca758e46518b7093aabb0e746f05e69db33d575c3878970b0b24a1c6a62fbf\", \"forward\": \"3682a386fbd9c82d98cfa618b554af3e29c6de8ee0520c9030b311 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:provider_at_wrong_call": "AssertionError:  @ assemble.py:87 assert [(c['stage'],c['replica'])for c in calls]==CALL_ORDER",
  "jp8:stale_partner_program_consistent_call_hashes": "AssertionError: SPEC MISMATCH providers.jp8.program_hashes: expected {\"backward\": \"08ca758e46518b7093aabb0e746f05e69db33d575c3878970b0b24a1c6a62fbf\", \"forward\": \"3682a386fbd9c82d98cfa618b554af3e29c6de8ee0520c9030b311 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:stale_partner_profile_consistent_child_total": "AssertionError: SPEC MISMATCH providers.jp8.expected_profile: expected {\"1\": 2526, \"2\": 398, \"3\": 448, \"4\": 168, \"5\": 64, \"6\": 4, \"8\": 8} got {\"1\": 2518, \"2\": 402, \"3\": 448, \"4\": 164, \"5\": 68, \"6\": 4, \"8\": 8} @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:relocated_against_partner_same_counts": "AssertionError:  @ assemble.py:91 assert c['provider_id']==pid",
  "jp8:compensating_false_profiles_with_jp8b": "AssertionError: SPEC MISMATCH providers.jp8.expected_profile: expected {\"1\": 2526, \"2\": 398, \"3\": 448, \"4\": 168, \"5\": 64, \"6\": 4, \"8\": 8} got {\"1\": 2527, \"2\": 398, \"3\": 448, \"4\": 168, \"5\": 64, \"6\": 4, \"8\": 8} @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:synchronized_forged_source_recipe_hash": "AssertionError: SPEC MISMATCH providers.jp8.artifacts.CLIFFORD-RECIPES.json: expected \"6c7a3fbf5d4fa5694235046a8ff0e53f048683f17f8ce7fcff3aaaa031eb699f\" got \"0000000000000000000000000000000000000000000000000000000000 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:synchronized_forged_phase_review_semantics": "AssertionError: SPEC MISMATCH providers.jp8.artifact_semantic_sha256: expected {\"CANONICAL-WORD.json.gz\": \"b0df5f455bfa738bff775b0d6abdab34d962fce1f425eaea1d30ae18532fe0a2\", \"LOCAL-PROGRAMS.json.gz\": \"da8dd7fdb873418 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:width_order_swap_4_5": "AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected \"75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af\" got \"5d19186999e415c61680e9b71465be09018543542bb1c88151bd134efe4688dc\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:width_inventory_shift_4_5": "AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected \"75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af\" got \"5d19186999e415c61680e9b71465be09018543542bb1c88151bd134efe4688dc\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:width_order_swap_4_7": "AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected \"75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af\" got \"fc0fc6ca9dcba0c03297a3bd7d3d7894e7ad649b3f2f2a8a28a5f61e4433981d\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:width_inventory_shift_4_7": "AssertionError:  @ assemble.py:59 assert Counter(p['widths'])==Counter({int(r):n for r,n in p['width_inventory'].items()})",
  "jp8:width_order_swap_4_8": "AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected \"75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af\" got \"e24ab633c9e18605509e65658ae0082008cf843f75f4c3240f2a50662481b48f\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:width_inventory_shift_4_8": "AssertionError:  @ assemble.py:59 assert Counter(p['widths'])==Counter({int(r):n for r,n in p['width_inventory'].items()})",
  "jp8:width_order_swap_4_9": "AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected \"75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af\" got \"5e13f018c5a90899c91e5e4822916ffb275db5a0aaf4942363fbb704561bfb59\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:width_inventory_shift_4_9": "AssertionError:  @ assemble.py:59 assert Counter(p['widths'])==Counter({int(r):n for r,n in p['width_inventory'].items()})",
  "jp8:width_order_swap_5_7": "AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected \"75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af\" got \"5bdd00b79de8e571cf30b1be8337e6dea84b9191cbf8d55616caee12b3c4f9c7\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:width_inventory_shift_5_7": "AssertionError:  @ assemble.py:59 assert Counter(p['widths'])==Counter({int(r):n for r,n in p['width_inventory'].items()})",
  "jp8:width_order_swap_5_8": "AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected \"75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af\" got \"0c6ec51782f528996fea60b00d4dd260676307309fd30602f5636e78daa46717\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:width_inventory_shift_5_8": "AssertionError:  @ assemble.py:59 assert Counter(p['widths'])==Counter({int(r):n for r,n in p['width_inventory'].items()})",
  "jp8:width_order_swap_5_9": "AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected \"75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af\" got \"c6c1228d9a4a7c59e90a021504e866caa63a15c654f8ea6b8de969a6835fb9ac\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:width_inventory_shift_5_9": "AssertionError:  @ assemble.py:59 assert Counter(p['widths'])==Counter({int(r):n for r,n in p['width_inventory'].items()})",
  "jp8:width_order_swap_7_8": "AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected \"75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af\" got \"526ed53175b2e911a46f21b0252fcf0d290eda75790951ce3f946f4630503ccd\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:width_inventory_shift_7_8": "AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected \"75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af\" got \"526ed53175b2e911a46f21b0252fcf0d290eda75790951ce3f946f4630503ccd\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:width_order_swap_7_9": "AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected \"75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af\" got \"cc5a2d5d5d723043b84de2ebe8743f280ee9cfa4762af2a535a9658b30f7687e\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:width_inventory_shift_7_9": "AssertionError:  @ assemble.py:59 assert Counter(p['widths'])==Counter({int(r):n for r,n in p['width_inventory'].items()})",
  "jp8:width_order_swap_8_9": "AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected \"75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af\" got \"8afe74955ebc2f3fa45ade9c8af11b97ead76a3f918696623a6dad3fc0d6550e\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:width_inventory_shift_8_9": "AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected \"75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af\" got \"8afe74955ebc2f3fa45ade9c8af11b97ead76a3f918696623a6dad3fc0d6550e\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:cold_helper_width_swap_264": "AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected \"75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af\" got \"085cbbc0a86bbd32ba53bdd208f6f2db9257f648652f54b0c1921a58eec4450c\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:cold_helper_width_swap_276": "AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected \"75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af\" got \"0c8f6db9d96dc3ff01abb93c36e8f42e87bc58c1c90554e95390789605502b9a\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:cold_helper_width_swap_288": "AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected \"75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af\" got \"765e1ea6b2a2a45f57f8f6b397490c321555aa639e6e1792854aba6f75a17bb0\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8:cold_helper_width_swap_300": "AssertionError: SPEC MISMATCH providers.jp8.width_digest: expected \"75fa6af7251b692d45d63360616f03d04bb6e283390be8afb57f3809540394af\" got \"8dc6869561b0b15b26a0be10f2c60ebaead58d30ac7de78917ae62ef1600d0dc\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:missing_provider": "AssertionError:  @ assemble.py:38 assert set(invoice['providers'])==set(PIDS)",
  "jp8b:missing_backward_orientation": "AssertionError:  @ assemble.py:54 assert set(p['local'])=={'forward','backward'}",
  "jp8b:unpaid_scalar_primitive": "AssertionError: SPEC MISMATCH providers.jp8b.complete_contract: expected {\"local\": {\"backward\": {\"events\": 65898, \"macros\": 60676, \"real_component_primitives\": 653180, \"prefix_l1\": \"1660138454672421673571617630945328 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:wrong_local_artifact_binding": "AssertionError:  @ assemble.py:66 assert hash_ok(p['artifacts'][name]) and p['artifacts'][name]==owner['source_artifacts']['providers/'+pid+'/'+name]",
  "jp8b:false_dirty_restoration": "AssertionError: SPEC MISMATCH providers.jp8b.complete_contract: expected {\"local\": {\"backward\": {\"events\": 65898, \"macros\": 60676, \"real_component_primitives\": 653180, \"prefix_l1\": \"1660138454672421673571617630945328 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:wrong_declared_provider_count": "AssertionError:  @ assemble.py:39 assert invoice['provider_counts']==COUNTS",
  "jp8b:wrong_local_compiler": "AssertionError: SPEC MISMATCH providers.jp8b.complete_contract: expected {\"local\": {\"backward\": {\"events\": 65898, \"macros\": 60676, \"real_component_primitives\": 653180, \"prefix_l1\": \"1660138454672421673571617630945328 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:wrong_local_adapter_charge": "AssertionError: SPEC MISMATCH providers.jp8b.complete_contract: expected {\"local\": {\"backward\": {\"events\": 65898, \"macros\": 60676, \"real_component_primitives\": 653180, \"prefix_l1\": \"1660138454672421673571617630945328 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:wrong_local_primitive_bound": "AssertionError: SPEC MISMATCH providers.jp8b.complete_contract: expected {\"local\": {\"backward\": {\"events\": 65898, \"macros\": 60676, \"real_component_primitives\": 653180, \"prefix_l1\": \"1660138454672421673571617630945328 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:forged_provider_and_call_program_hash": "AssertionError: SPEC MISMATCH providers.jp8b.program_hashes: expected {\"backward\": \"da0379b4244d185bb79a22cdd7d788d4d43b180644319f38bd69a0f7c9f030da\", \"forward\": \"2acaf41909b2bd35995ed1069ab9f6bbcab662dd411d14cb42b88 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:provider_at_wrong_call": "AssertionError:  @ assemble.py:87 assert [(c['stage'],c['replica'])for c in calls]==CALL_ORDER",
  "jp8b:stale_partner_program_consistent_call_hashes": "AssertionError: SPEC MISMATCH providers.jp8b.program_hashes: expected {\"backward\": \"da0379b4244d185bb79a22cdd7d788d4d43b180644319f38bd69a0f7c9f030da\", \"forward\": \"2acaf41909b2bd35995ed1069ab9f6bbcab662dd411d14cb42b88 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:stale_partner_profile_consistent_child_total": "AssertionError: SPEC MISMATCH providers.jp8b.expected_profile: expected {\"1\": 2518, \"2\": 402, \"3\": 448, \"4\": 164, \"5\": 68, \"6\": 4, \"8\": 8} got {\"1\": 2526, \"2\": 398, \"3\": 448, \"4\": 168, \"5\": 64, \"6\": 4, \"8\": 8} @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:relocated_against_partner_same_counts": "AssertionError:  @ assemble.py:91 assert c['provider_id']==pid",
  "jp8b:compensating_false_profiles_with_jp8": "AssertionError: SPEC MISMATCH providers.jp8.expected_profile: expected {\"1\": 2526, \"2\": 398, \"3\": 448, \"4\": 168, \"5\": 64, \"6\": 4, \"8\": 8} got {\"1\": 2525, \"2\": 398, \"3\": 448, \"4\": 168, \"5\": 64, \"6\": 4, \"8\": 8} @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:synchronized_forged_source_recipe_hash": "AssertionError: SPEC MISMATCH providers.jp8b.artifacts.CLIFFORD-RECIPES.json: expected \"8b64736db6837fcdae9c9501ec64772c892164df8d0734a4a8235fb9abb40de4\" got \"000000000000000000000000000000000000000000000000000000000 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:synchronized_forged_phase_review_semantics": "AssertionError: SPEC MISMATCH providers.jp8b.artifact_semantic_sha256: expected {\"CANONICAL-WORD.json.gz\": \"32e23ebba95fd83ef3c70410e8a174699b548ad8e7a3de13de797f224243fdf5\", \"LOCAL-PROGRAMS.json.gz\": \"23b08636b2d527 @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:width_order_swap_4_5": "AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected \"05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62\" got \"a1f8b0ea32466c41c733598fe7bb2782f887734358e24eafa9973f267d0541c6\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:width_inventory_shift_4_5": "AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected \"05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62\" got \"a1f8b0ea32466c41c733598fe7bb2782f887734358e24eafa9973f267d0541c6\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:width_order_swap_4_7": "AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected \"05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62\" got \"a24ff6cddebef2d77c56bfa050400e346a7a71679819a0e95a5fcb6b176031f0\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:width_inventory_shift_4_7": "AssertionError:  @ assemble.py:59 assert Counter(p['widths'])==Counter({int(r):n for r,n in p['width_inventory'].items()})",
  "jp8b:width_order_swap_4_8": "AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected \"05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62\" got \"40ba1a11b418dce10ac41177a34a3d803f29cbc3e179f5b4ea2208ed9bdb99f0\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:width_inventory_shift_4_8": "AssertionError:  @ assemble.py:59 assert Counter(p['widths'])==Counter({int(r):n for r,n in p['width_inventory'].items()})",
  "jp8b:width_order_swap_4_9": "AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected \"05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62\" got \"c6499e0a5ab542cb8340d7662c91e46b59033c60e3604422e1228a5b6e9bfed2\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:width_inventory_shift_4_9": "AssertionError:  @ assemble.py:59 assert Counter(p['widths'])==Counter({int(r):n for r,n in p['width_inventory'].items()})",
  "jp8b:width_order_swap_5_7": "AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected \"05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62\" got \"bf30ce4760d488787211b7917e023a5e20309354d1156156bee6a090ffcbfccb\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:width_inventory_shift_5_7": "AssertionError:  @ assemble.py:59 assert Counter(p['widths'])==Counter({int(r):n for r,n in p['width_inventory'].items()})",
  "jp8b:width_order_swap_5_8": "AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected \"05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62\" got \"08097306209f78f5cab6f4f13aae20c9893e7257aafcf0c9b9b9c9cdef3f9340\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:width_inventory_shift_5_8": "AssertionError:  @ assemble.py:59 assert Counter(p['widths'])==Counter({int(r):n for r,n in p['width_inventory'].items()})",
  "jp8b:width_order_swap_5_9": "AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected \"05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62\" got \"4eb07689d9181d5b9b0263f51daaf20e2cdbac5b40587e9efdb31f54d75d413c\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:width_inventory_shift_5_9": "AssertionError:  @ assemble.py:59 assert Counter(p['widths'])==Counter({int(r):n for r,n in p['width_inventory'].items()})",
  "jp8b:width_order_swap_7_8": "AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected \"05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62\" got \"c8268625b63c187c424f6639d479c78aa03fde187daf70dd092c4cef269a180e\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:width_inventory_shift_7_8": "AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected \"05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62\" got \"c8268625b63c187c424f6639d479c78aa03fde187daf70dd092c4cef269a180e\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:width_order_swap_7_9": "AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected \"05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62\" got \"b74b6ffe0d165f903ae897050d750c8c6997e0617a008277037ffe7d3fa1704e\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:width_inventory_shift_7_9": "AssertionError:  @ assemble.py:59 assert Counter(p['widths'])==Counter({int(r):n for r,n in p['width_inventory'].items()})",
  "jp8b:width_order_swap_8_9": "AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected \"05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62\" got \"1a6c1e253a0bdd591cc10c1c3ed872646b65b5368f72d316b96a3bd54144bafd\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:width_inventory_shift_8_9": "AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected \"05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62\" got \"1a6c1e253a0bdd591cc10c1c3ed872646b65b5368f72d316b96a3bd54144bafd\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:cold_helper_width_swap_264": "AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected \"05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62\" got \"4d6ee4a8d44891750f39038f9ea937ca925b101d356a67ce606225b297544c9e\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:cold_helper_width_swap_276": "AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected \"05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62\" got \"8dedac9013cd3d174cd0f7e6cbb1ca1e24a89f45e72731a2eb5451470acf00b5\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:cold_helper_width_swap_288": "AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected \"05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62\" got \"8f6e924868960f2b7925fe1f4fc0e0c0e714510fa641bc35d23c694b45ac658b\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])",
  "jp8b:cold_helper_width_swap_300": "AssertionError: SPEC MISMATCH providers.jp8b.width_digest: expected \"05a0a9237bdfe9cd7b1d6b0be9ca822689659a952c7edc7a446266fe20aa5f62\" got \"e0e48b80608ce2d55eeb0326464ac4d318ae59ec2fb9c05d1c0ff0488eecf89e\" @ witness.py:36 assert got==want,'SPEC MISMATCH %s: expected %s got %s'%(key,json.dumps(want)[:400],json.dumps(got,default=str)[:400])"
 },
 "audit_allcold": {
  "jp8: wrong provider at its invocation": "AssertionError:  @ audit_allcold.py:141 pid=expected_provider(call['stage'],call['replica']);assert call['provider_id']==pid",
  "jp8: stale per-call local program hash": "AssertionError:  @ audit_allcold.py:143 assert call['local_program_sha256']==checks[call['orientation']]['sha256']",
  "jp8: stale serialized provider program": "AssertionError:  @ audit_allcold.py:86 assert t['local_providers']==registry and t['recipe']==parent['recipe']and 'each local invocation completes before the next' in t['loop_order'].lower()",
  "jp8: unbound residual adapter hash": "AssertionError:  @ audit_allcold.py:86 assert t['local_providers']==registry and t['recipe']==parent['recipe']and 'each local invocation completes before the next' in t['loop_order'].lower()",
  "jp8: partner width in provider width registry": "AssertionError:  @ audit_allcold.py:86 assert t['local_providers']==registry and t['recipe']==parent['recipe']and 'each local invocation completes before the next' in t['loop_order'].lower()",
  "jp8: wrong per-call residual width": "AssertionError:  @ audit_allcold.py:151 assert route==([3,i,off]if w==9 else[4,i,off,w,sp]);assert len(set(occ+sp))==9",
  "jp8: wrong sweep provider": "AssertionError:  @ audit_allcold.py:103 assert e==expected",
  "jp8: entering helper width silently restored to nine": "AssertionError:  @ audit_allcold.py:86 assert t['local_providers']==registry and t['recipe']==parent['recipe']and 'each local invocation completes before the next' in t['loop_order'].lower()",
  "jp8b: wrong provider at its invocation": "AssertionError:  @ audit_allcold.py:141 pid=expected_provider(call['stage'],call['replica']);assert call['provider_id']==pid",
  "jp8b: stale per-call local program hash": "AssertionError:  @ audit_allcold.py:143 assert call['local_program_sha256']==checks[call['orientation']]['sha256']",
  "jp8b: stale serialized provider program": "AssertionError:  @ audit_allcold.py:86 assert t['local_providers']==registry and t['recipe']==parent['recipe']and 'each local invocation completes before the next' in t['loop_order'].lower()",
  "jp8b: unbound residual adapter hash": "AssertionError:  @ audit_allcold.py:86 assert t['local_providers']==registry and t['recipe']==parent['recipe']and 'each local invocation completes before the next' in t['loop_order'].lower()",
  "jp8b: partner width in provider width registry": "AssertionError:  @ audit_allcold.py:86 assert t['local_providers']==registry and t['recipe']==parent['recipe']and 'each local invocation completes before the next' in t['loop_order'].lower()",
  "jp8b: wrong per-call residual width": "AssertionError:  @ audit_allcold.py:151 assert route==([3,i,off]if w==9 else[4,i,off,w,sp]);assert len(set(occ+sp))==9",
  "jp8b: wrong sweep provider": "AssertionError:  @ audit_allcold.py:103 assert e==expected",
  "jp8b: entering helper width silently restored to nine": "AssertionError:  @ audit_allcold.py:86 assert t['local_providers']==registry and t['recipe']==parent['recipe']and 'each local invocation completes before the next' in t['loop_order'].lower()"
 }
}```
</details>

Mister-Meeseeks · 2026-10-14T03:21:40Z

Thank you @jeremykothe2. This contribution is now retained on main in the scoped 100-PR review and contributor credits.

Contribution: Twin JP8-family supplier replacing the CK call.

Review and limits: The second provider must differ in the checked substitution fields and pass its own full construction. Provider labels alone do not satisfy partner-control obligations.

The complete original source, notices and relevant execution evidence are retained through the pinned source archive. The review distinguishes fresh local runs, source-bound historical Linux CI and prior exact-head review; it does not claim 100 fresh full mathematical audits. Closing this historical PR as reconciled. This preserves parallel and cumulative credit without replacing the selected frontier or promoting priced research targets to completed constructions.

Reviewed head: bbfa9fe1d84d5572f4d144c2ee56a3eddc7a83f5. Publication: b3c9e5c269fcfb25dfb4eda4ebc419c052d4c93d.

Conditional kappa 0.001636542223442109: second jp8-family provider (t…

bbfa9fe

…win) replaces the CK call on PR637

vectorsss mentioned this pull request Oct 13, 2026

Conditional κ = 0.001636569158555067: attain PR643 fixed-dispatch packing ceiling #644

Merged

GamingPuzzled mentioned this pull request Oct 13, 2026

Research notes (no κ claim): E8 decoder floors are tight; extension-ring, triple and Lorentzian units lose after helpers; cold-end, dispatch and fusion-search negatives #620

Merged

Mister-Meeseeks closed this Oct 14, 2026

navinor mentioned this pull request Oct 15, 2026

Independent verification: prove and certify the a < D/E diagnostic for the selected complex and bit ledgers (no new kappa) #1293

Merged

Navigation Menu

Repository navigation

Conditional κ = 0.001636542223442109: second jp8-family supplier replaces the CK call (twin dispatch) on PR637 - #643

Conditional κ = 0.001636542223442109: second jp8-family supplier replaces the CK call (twin dispatch) on PR637#643
jeremykothe2 wants to merge 1 commit into
CrocSwap:mainfrom
jeremykothe2:cold14-twin

jeremykothe2 commented Oct 13, 2026

Uh oh!

jeremykothe2 commented Oct 13, 2026

Uh oh!

Mister-Meeseeks commented Oct 14, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

Conversation

jeremykothe2 commented Oct 13, 2026

Summary

Verification

Credits

Scope

Uh oh!

jeremykothe2 commented Oct 13, 2026

Supplementary review evidence (not part of the verified tree)

PROOF-NOTE-TWIN: a second jp8-family provider replaces the forced ck call

Change

Why ≥ 2 providers holds in substance, not only in form

Partner-based controls with jp8b as partner (strict run, pinned rejection messages)

Price

Uh oh!

Mister-Meeseeks commented Oct 14, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants