Conditional κ = 0.001675608585476885: X54 slot on #1148's joint-entrance k8 word with #1169's exact T37 owners

research/joint-x54-t37/CANDIDATE.json

@@ -0,0 +1,55 @@
+{
+  "status": "PASS_X54_JOINT_ENTRANCES_T37_NATIVE_AND_STRICT_ADMISSION",
+  "kappa": "335121717095377/200000000000000000",
+  "kappa_decimal": "0.001675608585476885",
+  "conservative_kappa_decimal": "0.001675608582632503",
+  "previous_kappa": "0.001675568675201533",
+  "previous_pr": 1169,
+  "gain": "0.000000039910275352",
+  "gain_percent": "0.0023818943349009",
+  "local_profile": {
+    "1": 2364,
+    "2": 498,
+    "3": 414,
+    "4": 126,
+    "5": 84,
+    "8": 8
+  },
+  "base_local_profile": {
+    "1": 2364,
+    "2": 498,
+    "3": 412,
+    "4": 130,
+    "5": 82,
+    "8": 8
+  },
+  "width_inventory": {
+    "4": 44,
+    "5": 44,
+    "7": 38,
+    "8": 114,
+    "9": 240
+  },
+  "idle_profile": {
+    "1": 834,
+    "48": 11374
+  },
+  "calls": 333,
+  "live": 33152,
+  "deficit": 11840,
+  "global_profile": {
+    "1": 788046,
+    "2": 165834,
+    "3": 137862,
+    "4": 41958,
+    "5": 27972,
+    "8": 2664,
+    "48": 11374
+  },
+  "word_content_sha256": "ac95ff95d5b1360e040e50f480dd7edc80f50f76160c30e73d6f0b04276ace20",
+  "base_word_content_sha256": "1f66640293bde6c7e1df2d4ee0004c2de2327887a98575c5d975d6a14a8b7e74",
+  "pr1148_head": "f1d8dc59288dcab77cae713c450d14069e7eec05",
+  "pr1169_head": "13d02293a7af67d7e3bd2e4d7f1a2943ac20537e",
+  "pr1130_recipe": "RECIPE-X54-ends7.json",
+  "scope": "Conditional finite construction. Fresh native replay of the X54 joint-entrance word and strict T37 admission passed; PR1169 owner map and parent geometry reused with pinned exact artifacts and independently reconstructed source-event windows. All-size compiler, common-label/mutable-source realization, whole-call hosting, precision/tape, exact recovery, analytic transfer, PR559 recurrence correction and PR589 bit H1-H5 assumptions remain. No unconditional theorem, full Lean certification, or global sphere-packing claim."
+}

research/joint-x54-t37/MANIFEST.json

@@ -0,0 +1,59 @@
+{
+  "CANDIDATE.json": "5f28fa2a491d100f266f1ab15e7acc7186a1a671afe4e631dca589f739da4ff3",
+  "NOTICE.md": "cd16c4d21c2eddbeab9745b4097e7a8d258b4b69b067e73f415126e7ff9f0b18",
+  "PLAN-SOURCE-X54.json.gz": "d6b0609e9329ba9dbfe5f0cc64210ca8199308cccf8addccd79b19b6bf370ff1",
+  "PLAN.json": "0cace33792b458810f68c3995753235c4e48f24100aa1f5764385e67328b8f0e",
+  "PROFILE.json": "63bacd4fd794b6cd2d153462f643778a6dce829fc9e27d9c41013eadf6ee0e77",
+  "README.md": "6e5f545308b1d3af1bab65e26470895454060b344aac13b6d018e5c92aa8d786",
+  "RECIPE-X54-joint.json": "04f2331988fe04144642e8e2df144923e789f28c79ec2e83eb001fb1cb72b220",
+  "SOURCE-PINS.json": "47b4b0a91832deccf4fde1b31f7a12518cd9a9fe37df64f88bfaa04cd4b46a13",
+  "SPEC.json": "061569adc2122077e9b5c710c2abff4c3f1947b72672af7868347cccb3b2af5b",
+  "all_t_bound_x54.py": "9bd071ccfe11994c8b523b8967db45bbe312f413066f67bee19087e3afb3d7c2",
+  "build_word.py": "0a1d7deef536177982d056a2208876d2d8d1f22cf4463433ef424e7b9244c36b",
+  "evidence/UPPER.json": "b3f49f64c576aa87a058952e13a7c93d51e2f7138792bf3fa3ce7e55677d7a60",
+  "evidence/discovery/RESULT.json": "f1785512b1efc30e57b4e2421cb4092719499d2e77aef9c274eff3a5d75c850f",
+  "evidence/discovery/STAGES.json": "956f97630a5fc9aa79a679fa289205477e1ed468414b48ffeaf86245f4956c92",
+  "evidence/discovery/WITNESS-RECORD.jsonl": "177ae7c571dde3f4b527b5fca767428081d5c223761e803beca79c8ae06a8699",
+  "evidence/discovery/assembly.txt": "3af38e9ab6f816c1ad4cf678004c04262816366357ade69ffcda5a59735edc35",
+  "evidence/discovery/audit.txt": "933c5cd8be4b7d01da46030daf7ee036a7af1b9278ef0b2b6fed4963d72805f4",
+  "evidence/discovery/bind.txt": "71f679ce5a123fb58397fd6852ba64ce3832fd20e81a096bfda9a1cf3237237a",
+  "evidence/discovery/emit.txt": "e416caf8ef99d649454b104e787c64f60d46d9fe6068ce69a6887ca5811a0fe9",
+  "evidence/discovery/freeze.txt": "a5849b5fcba6eed03e132b72b3e4efe7da0451456a0643a09f715ac44713ff5e",
+  "evidence/discovery/independent.txt": "b5006d0b4f13b4eb42470ed87dd8f0a52c220763fe703a0c2cd6a4bd37ca7e9e",
+  "evidence/discovery/invoice.txt": "19571dcad21b6e4ad414138545569eece71c693db6fc515ca7c9c485226d25ca",
+  "evidence/local/INDEPENDENT-LOCAL-BASE-JOINT.json": "fb29e71acf17c3540bb2b5b4a1bcb04dd102e22b6b57aaed018ae224377c317f",
+  "evidence/local/INDEPENDENT-LOCAL.json": "45e6b19bfa554bbef2646fc2bd23586d4e8420828ef82000452aa9726d229117",
+  "evidence/local/X54-CONTROLS.json": "c82bf8be977a7b162164fcf0254dd7a404c2029479e92c035c15b1b97f4853dc",
+  "evidence/native/ARTIFACT-SHA256.json": "f23c8009992a970c357e53c947046f31e4000df2ee97c54607c129d3d1c6954d",
+  "evidence/native/CLIFFORD-REVIEW.json": "8106db62ba73e6b666762eecf51b419986ff21fac5a1b3507be55a0ab8037799",
+  "evidence/native/INDEPENDENT-LOCAL-REPLAY.json": "29831c94af90faa41efbb81c1e276535109821c34378acb2b252e396b96ed590",
+  "evidence/native/LOCAL-CHECKS.json": "658c80d13dc992e18186740f71e88aa4d9a76010bf8da2de77722970d83710e9",
+  "evidence/native/SCALAR-FRAME-AUDIT.json": "f931c64dab59e3a531e19ac63270125201858a6dd5bc0de76231d5129cf6647e",
+  "evidence/native/STEPS.json": "73b159231a6f4542eea6759e661b1aea0bf403ed40975cc1b1555cbb36f943f9",
+  "evidence/native/WRAPPER-CHECKS.json": "f2a005b54bea64d66633d8a82d0454348172da3b88361081a72126bf1d51744d",
+  "evidence/native/ledgers.txt": "c143c5a3825f6ffc475306281f800d30531826872b2f7857d088658f44e3f900",
+  "evidence/native/local-replay.txt": "dd643a58258431c3b07d3b06d9060c49677fa23b4fafc9f10988ed1f6867bd9a",
+  "evidence/native/native.txt": "c4c1c39f8d8de90d2ae7ec1042f6f605677f2a10dc5581b78e27ba47796a912e",
+  "evidence/native/phases.txt": "26aa98cff3975ab264c4e611a534193239a1fef2ba6e20ea4bd35a4e7d2f2923",
+  "evidence/native/wrappers.txt": "74b13cf8570ca2f32ce0018575b1b73e95af77a28e59d09556fec59260bdbba5",
+  "evidence/strict/ADMISSION-CONTROLS.json": "bf25c348fca6dd5b9faae7873c76af4489670c2ae6c2e5e5e3265747951b7b68",
+  "evidence/strict/ASSEMBLY.json": "5cb1346fe9c50314c6340f2ce7963a7fd3dbc73e3a4698e85c6c4f634c8c89ad",
+  "evidence/strict/BIT-CONTROLS.json": "d39e57c8e5f521c52cd20b313c0497649ec5d94b63c5f3b3f1ec1b65a02a63f0",
+  "evidence/strict/INDEPENDENT.json": "7ddeef8fc6af7b76b4d8e6dc0853ec53361a449841b117be962a97be1dfc3001",
+  "evidence/strict/RESULT.json": "be3370748c1a81de83b9b50a2b45b4df10156c9e1a912601cc94c25916f496f8",
+  "evidence/strict/STAGES.json": "0ed23dd723bc6f357e254ba1955b3a44cd697b17f18ed199294b2052d1ce9d32",
+  "evidence/strict/admission.txt": "051d242318154827c1672ffbb63ad2bdc8ecc4033be650b791dd69cd57d716b3",
+  "evidence/strict/assembly.txt": "3af38e9ab6f816c1ad4cf678004c04262816366357ade69ffcda5a59735edc35",
+  "evidence/strict/audit.txt": "933c5cd8be4b7d01da46030daf7ee036a7af1b9278ef0b2b6fed4963d72805f4",
+  "evidence/strict/bind.txt": "71f679ce5a123fb58397fd6852ba64ce3832fd20e81a096bfda9a1cf3237237a",
+  "evidence/strict/bit.txt": "d54d260bf95bd8ae4ab8846314082b93b2e3d8f427eb35376691f2ce543a6b67",
+  "evidence/strict/emit.txt": "e416caf8ef99d649454b104e787c64f60d46d9fe6068ce69a6887ca5811a0fe9",
+  "evidence/strict/independent.txt": "b5006d0b4f13b4eb42470ed87dd8f0a52c220763fe703a0c2cd6a4bd37ca7e9e",
+  "evidence/strict/invoice.txt": "19571dcad21b6e4ad414138545569eece71c693db6fc515ca7c9c485226d25ca",
+  "prepare_x54.py": "6b8e079db07ca19df37063bb2a985740462edada7072b594196699575ecdfefb",
+  "rebind_plan.py": "9e11a46882984ca9c561c1a8c3ce18f7642b33cfedc90262fdf2d3a7f4aa54b0",
+  "vendor/barch/build_tri.py": "0fba65b31c2fd71864c291358bb0ad8d5f7e1be07e21df23f0ae73d7b966002e",
+  "vendor/barch/run_controls.py": "42639bf62bf57795e3ea615c1944c67efed00f28591333daeb3139bf63d04476",
+  "verify.py": "080608b066f3c797a7ff396e4b9e4a4586fbf43ddf8ad5563766744e8b24008e",
+  "x54_controls.py": "9764b36fda16801d3134f0f67b61870c6b28a1ae82f7809a0838fa2b6e975353"
+}

research/joint-x54-t37/NOTICE.md

@@ -0,0 +1,28 @@
+# Attribution and license
+
+New composition, provider rebind, adapted preparation and upper-bound scripts, and packaging by
+Rohan Arun, with substantial AI assistance (Claude). New work is under Apache-2.0.
+
+- **X54 slot.** The width-neutral eighth triangle-hybrid slot X54/E589 (holders 335, 367) is Jeremy Kothe's
+  (jeremykothe2) `RECIPE-X54-ends7.json` from PR1130. The edits and frames are unchanged; only the base-word
+  binding is new.
+- **Builder and controls.** `vendor/barch/build_tri.py` and `vendor/barch/run_controls.py` are NewBArch's
+  standard-library triangle-hybrid builder and controls, copied byte-for-byte from
+  `research/gauge44-slots/construction/barch` (sha256 `0fba65b3…` and `42639bf6…`).
+- **Base word.** The joint-entrance k8 word, its 27 entrance controls, native replay and local audit are from
+  PR1148 (Thomas DiFiore/Codex) and its full local ancestry. They are used unchanged from PR1169's pinned
+  `upstream-layout.tar.gz`.
+- **T37 owner map and admission.** The T37 owner map, pattern flow, parent geometry, literal construction and
+  strict admission tools are PR1169's (Rohan Arun/Codex), building on Ali Romman/Codex PR1129 (integer flow,
+  matching decomposition and T37 audit) and PR1131's wave order. They are reused unchanged from the sibling
+  package `research/three-demotions-t37-composition` (pinned in `SOURCE-PINS.json`).
+- **Adapted scripts.**
+  - `prepare_x54.py` adapts PR1169's `prepare.py`: the provider plan becomes an input, and the baseline label
+    changes.
+  - `all_t_bound_x54.py` adapts PR1148's `k8-joint-entrances/independent/all_t_bound.py`, itself from
+    jon314159's PR942 with Chafik Boukhalfa's PR795/890 dual prices. Only the pinned plan and the source-root
+    argument change.
+- **Bit supplier.** The PR589 bit supplier is unchanged.
+
+All original notices, licenses and AI disclosures in the cited packages are retained. This package does not
+claim authorship of any of those components.