Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions research/ranksector112-async/ADAPTATIONS.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
{
"audit_async_invoice.py": "Recompute actual scalar prefix with unchanged algorithm; update expected regression values from21/206 to25/210 for source522. Full strict bounds and charged512 retained.",
"audit_112_independent.py": "Replace old514 fixed width multiset with exact ordered width equality to freshly rebuilt source522; raw column/frame/ownership checks unchanged.",
"audit_global_restriction.py": "Replace old514 compensation count and bank spectrum fixtures with independently bound new canonical compensation length and literal old source522 bank-route recount. All actual scalar, frame, hash and corruption controls retained. Initial fixture failure preserved in PR477."
}
130 changes: 130 additions & 0 deletions research/ranksector112-async/EXACT-ARITHMETIC.json

Large diffs are not rendered by default.

25 changes: 25 additions & 0 deletions research/ranksector112-async/EXPECTED.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
{
"kappa": "1467289440740487/1000000000000000000",
"kappa_decimal": "0.001467289440740487",
"complex_lower": "146944554266898896961/100000000000000000000000",
"complex_decimal": "0.00146944554266898896961",
"bit_lower": "391360506745414227149/250000000000000000000000",
"complex_template_sha256": "87a2c10f5638bddbb7748803bdc0b63ed027c499bbee0e6f14edb01565adaf30",
"live": 7168,
"physical": 7738,
"rank_mass": 520704,
"deficit": 2560,
"global_profile": {
"1": 177552,
"2": 13104,
"3": 40455,
"4": 6373,
"5": 20492,
"6": 9007,
"7": 183,
"8": 158,
"48": 230
},
"whole_owner_roles": 40320,
"strict_constraints": 47
}
224 changes: 224 additions & 0 deletions research/ranksector112-async/MANIFEST.json

Large diffs are not rendered by default.

9 changes: 9 additions & 0 deletions research/ranksector112-async/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
# Rank-sector factory on 112 ports

Completed finite composition: conditional kappa0.001467289440740487 (+0.6408797 percent over pinned PR523). Complex b0.001469445542668988969610. Fresh source522 and source523 full replays pass. Changed112-port local scalar/phase/wrapper checks, global data restriction, independent owner/controller and raw audits, finite invoice and exact assembly pass. Completed receipts and audit files are under validation/.

This composes PR522's rank-sector99 factory with PR523's exact coordinate-port restriction. All helper roles are reassigned by width dominance and residual offsets compacted, retaining the complete invocation order and physical family identities. All these changed-word checks passed on the actual emitted composition; old quoted gains are not added.

Immutable source packages are included under vendor/pr522 and vendor/pr523, with all their source notices/licenses. Source522 head e9f8075b5212e9bddf361097dbb022dcd052e0bb; source523 head a900f98be8ff2c09d3292b5112d4731dbd0c8438. Credits: Dugongue #522/#518/#514 factory/retiming/gauges; icekylinx #523 puncturing and actual 112-port audits; eumemic #507/#493, #484/#496/#505/#473 and all retained ancestors. New composition and owner transport by Rohan Arun with OpenAI Codex assistance.

The unchanged bit493 operator is cited and its histogram repriced. All-size compiler, common-label/mutable-basis realization, normalized Lemma A, restored-row, precision/tape and analytic-transfer interfaces remain assumed. No unconditional theorem, practical runtime crossover, global optimum, fresh Lean proof or CI pass is claimed. Run `python -B verify.py --work /absolute/new/output`. Default rebuilds source522; explicit `--reuse-source522` validates every published pin, then reruns all changed-local and global stages. Packaged replay passed with explicit byte-pinned completed-source522 reuse and fresh changed-local/global reconstruction; see validation/PACKAGED-REPLAY.json. No cold combined wrapper or CI pass claimed.
72 changes: 72 additions & 0 deletions research/ranksector112-async/REUSE-SOURCE522-INPUTS.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,72 @@
{
"RESULT.json": "3e9578a84ece9f913e3cdc9c0bc9827348f1ef2068b13dcae6e05975d898c541",
"STEPS.json": "1d7d7b76a571f541eef981e2ec4b59404d7078271898ae1d9c03410067b7bee9",
"adapters.log": "540bb8ff395313f998c0c0de6dba7cfbd8725ceff1e762194520742b123d2d47",
"audit/ASYNC-AUDIT.json": "88c53e113fcbb28f9335374eadb42409c5d6719a57de65d6a3061af68cb52868",
"audit/EXACT-ASSEMBLY.json": "817029b90f3f525334fc994a84aec33b246f33333f7551d50720d3142e1b6131",
"audit/GLOBAL-PREFIX.json": "c65b85f9543c507525a637656d34cd96277158f2e52f20bbd8922f1ac453bd6b",
"audit/KERNEL-SCALAR.json": "c2b515a7ecce1a575830ae6f0e84b78537141e8052bd24129a315f8cc93338b8",
"audit/OWNERS-AND-PROFILE.json": "fc3702a89ef9640d77e987004cdf50d6f98ebaa3812cfe35562fbc188066f3ef",
"audit/PREFIX-AND-INVOICE.json": "b4379c3dcafdae3afa0370cfc0c1e01b30470147bf42beb16e6a836ef9870347",
"base/ASYNC-6.json": "9b4b8f125a19ec5741050ca62167c0a4ea2e7f80880f4635c1b6e6c99ea506e8",
"base/BIT-PRICE.json": "73f1b82f7f122711c763518f99553d925ae69395f1e4b9b1481070f1d4734190",
"base/LEMMA-A.json": "9ba336d40bae9ad52f85d0bf57946e4a115062c657ebbb01884a1a8db3270fb4",
"base/partial-base/FULL-DISCOVERY.json": "9b66eb63b65fc0a5c7f57d3c18df9d12bfa509d1f7e9f0d41ff256e8433982e6",
"base/partial-base/FULL-WORD.json.gz": "7a65e01ca3de586a1892d6cdc3f80e008facfee7380cd5d73c52077a60ca4cb8",
"base/reference-kernel92/CONSTRUCTION.json": "d662a234acd96b2ab8c4f028626bf66bb63c7c8d26f5e47b14a289c1ede8440b",
"base/reference-kernel92/FULL-WORD.json.gz": "113a2ad8d1c31219ea6511a0ea48cf558d0e9daa77bfdb4291a13a49a3feea6a",
"base/reference-kernel92/RETIMED-BASE.json.gz": "26f8348991d25e60e88773014447f81311714be0b3af56333d35c72eca5c8dec",
"base/reference-kernel92/SELECTION.json": "c8e6400a8f4780be3aef6a643d856f956e97447161d33493ae651070e2f033fb",
"base/reference-pair35/CONSTRUCTION.json": "83f5049a8f6c6d93d0697f9a267c47249210419bed3b3e1b53df85755fef45ed",
"base/reference-pair35/FULL-WORD.json.gz": "8527dba9d486ef157304158c6e4923b4246b59c2b2d2bdd5ceefeefba032ceca",
"base/reference-pair35/RETIMED-BASE.json.gz": "c069b8bf3a7c2930c472a76286c97d55f9a6346d85454d8a16d6901d4df42718",
"base/reference-pair35/SELECTION.json": "e818377083be1b581da718ae4cdb0741f074df313c0813e4239377b3754f25a5",
"base/reference-pair35/factory/FULL-DISCOVERY.json": "9b66eb63b65fc0a5c7f57d3c18df9d12bfa509d1f7e9f0d41ff256e8433982e6",
"base/reference-pair35/factory/FULL-WORD.json.gz": "9cd0d95c23a4c0c0f74211c7a8b631d8a68ecad0ed5adb673a3e5985eeb88e16",
"base/reference-pair35/factory-construction.log": "9b66eb63b65fc0a5c7f57d3c18df9d12bfa509d1f7e9f0d41ff256e8433982e6",
"base/reference-pair35/factory_constructor.py": "c9769df09b337458a04110b116969db3d1b03fce33bcd687a99ee3061ff22c29",
"base/split-centres/CANONICAL-WORD.json.gz": "eb7e6e1e8b33ecdcc0f8be3e10900694569937647b58faa85da5faf306e38177",
"base/split-centres/CLIFFORD-RECIPES.json": "105b44e6af0784ab99b85ce8f2375f2fde8b0393ad09a09ad38be01e568bcea9",
"base/split-centres/CLIFFORD-REVIEW.json": "f94ff7c04a3dae914846e473bfc23e33d26b5c0540230493390d874be8f26a3c",
"base/split-centres/CONSTRUCTION.json": "20325bd9dafa8f474bc743cfeeae9ecb51c139bc7167e9a9aeefae1132f64fad",
"base/split-centres/FULL-WORD.json.gz": "7634aadc00147ceee52dce60a5271f2c102ccd6703f67b5419e11d7ecafe1101",
"base/split-centres/GLOBAL-TEMPLATE.json.gz": "d228fe3e1895e1e8d3097bf27501e2f19d54ab07c8bef351045bf48a35f2b607",
"base/split-centres/INDEPENDENT-REPLAY.json": "fbccbfb963d997b99536dd609e8d38f16cc3f6ff4cb9fb1c92fd5edd19d4b31e",
"base/split-centres/INTEGRATION.json": "efe0d50b13332997b75bdae6465029e8d4cafc3cf6040e4866a5a73e091db6a9",
"base/split-centres/LOCAL-CHECKS.json": "8f0596ec728381082cb294f3fc27610e98e78a83b0f6e1576512ba13450ea160",
"base/split-centres/LOCAL-PROGRAMS.json.gz": "95813b328608ddbd56829efab33d25c9b284f320198c1dfb90afa9bf88b9f35c",
"base/split-centres/RESIDUAL-ADAPTERS.json": "06a889a51fd2833dd465ed9c660b35fa8f68496ff7ed34c931d17c4f7551e1b2",
"base/split-centres/RETIMED-BASE.json.gz": "318a858c1f45c0e8fb1cb96ff1577bc555eb2c921ab421d98d90bedbbaa1c74c",
"base/split-centres/SCALAR-FRAME-AUDIT.json": "b2ba14163f7f4596f8adbfafefb2ee87f878f14eb43603dc44bf186f9026b83a",
"base/split-centres/SELECTION.json": "e818377083be1b581da718ae4cdb0741f074df313c0813e4239377b3754f25a5",
"base/split-centres/factory/FULL-DISCOVERY.json": "32d7738232c065ab83294760b5bcba129ab33daf24cab4b0e2e01373db6a5419",
"base/split-centres/factory/FULL-WORD.json.gz": "bfdf3db4279ded5f8c114a17fc73e80eaf2108a656f5f3f841bbf81e819cc7d7",
"base/split-centres/factory-construction.log": "32d7738232c065ab83294760b5bcba129ab33daf24cab4b0e2e01373db6a5419",
"base/work/complex-network/hamming/PACKET-PROGRAMS.json.gz": "d833ae0390d165d7da0c639a3c7aeb77156c2ddb52447087cb49b9d03b19e9b9",
"base/work/complex-network/hamming/PROTOTYPE.json": "327d2a868043e846381aa58a33053c24425e8cad522ff401b10ec8af1d649a3f",
"base/work/complex-nine-native/DATA-PHASES.json": "f621f6d4296cb215f334830356c5f79fe10d6d04d15b3ccda76ba0885ab67d0a",
"base/work/complex-nine-native/GLOBAL-TEMPLATE.json.gz": "1b84904a31a733aab9bfdda3f528c06719f590d2133a43687a8bded955dc991e",
"base/work/higher-stage-e8/verified/gcert1-e8-retimed.json.gz": "77b0c0fa19ef3da1c7316010e13493aa5eea1a50c3506eddc08f7480e659878b",
"base/work/odd-stages/clifford_exact.py": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962",
"base/work/pr361/code/engines/base_two_moment.py": "aee70c242a2f1d225528fabe2002e1564d1dc884797c07d28a831c7878ee9098",
"base/work/pr361/code/engines/moment.py": "81cbc864e106418fc7854322746f72180cb8110ff39f74450a3b8d55a82c1482",
"base/work/pr361/code/engines/outer.py": "c1ebb52163a7219504c728a5c2b098bf1e50bf20148a2879c5a74c3cadc7c03c",
"base/work/pr370-source/research/e8-bit/data/bit/bitE8-r865.json.gz": "1fb726ea3818fe0837cceb0dd22a71a0814f064e5e781628104610d6468e0e55",
"construct-kernel92.log": "dbd3e4241512f675bcdc0195ee7a26949aa1014bfbc6ae3dda99e16171744bbe",
"construct-pair35.log": "b1d0efb26afac94acdbcf8523031459d0c2969db81d4f2abcee93b9ad288241f",
"construct-ranksector.log": "a04259ecc63627c4d9929799f5941fc57c9d54a21395f992b7846aed000bc96e",
"emit-async.log": "bda51aa7d706b353bb54cd31c9ee0533eff362fa153ec13b62ee627d5707e60c",
"emit-local.log": "72c26cba832ac574f08f0d09b14cec1ff7903ced9ac528091c1c3f2ef56bf384",
"hosted/ACTUAL-SIGMAS.json.gz": "0c87bb00123781751e8cfdfeb97d88d29c2fbf6e7c15287cb9118544445e369b",
"hosted/GLOBAL-TEMPLATE.json.gz": "b80e6142ccae5c91f0b9b703fbf0753987a50dee01926e867b95aa78d3650e2e",
"hosted/HOSTED.json": "bda51aa7d706b353bb54cd31c9ee0533eff362fa153ec13b62ee627d5707e60c",
"independent-async.log": "88c53e113fcbb28f9335374eadb42409c5d6719a57de65d6a3061af68cb52868",
"invoice.log": "b4379c3dcafdae3afa0370cfc0c1e01b30470147bf42beb16e6a836ef9870347",
"kernel-scalar-controls.log": "ba10c3fa0011c1fcd42e080affb7e19eac860995b22f7667b137b61c95da37d7",
"parent-integration.log": "7e13c81c421bbf125f7d2c2db8365f72db0579c5e89326e5de0c58049550724c",
"parent-replay.log": "04a057c55168c3dbfe452a4fc62fc90f55f1844d9e8c62e48e78e59b58ae1137",
"partial-factory.log": "9b66eb63b65fc0a5c7f57d3c18df9d12bfa509d1f7e9f0d41ff256e8433982e6",
"phases.log": "93f6a3c5b25599ec9e0ea756bdd9024b43497e1e70639713a5ca90d6f7d3dd7c",
"scalar.log": "c4f7e5a07a0553b843721bcb66397875a653c498833883945d14d3754fcea4f6",
"two-moments-assembly.log": "e36bd84f172355e18b2358e77f41a1c5178d00657ce98b28f4136b2b3a13a90a"
}
Loading
Loading