Skip to content

Post-center rank-four kernels for conditional κ = 0.001584931111785787 #535

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Mister-Meeseeks merged 1 commit into from
Oct 12, 2026
Merged

Post-center rank-four kernels for conditional κ = 0.001584931111785787 #535

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
48 changes: 48 additions & 0 deletions .github/workflows/post-center-rank4-global.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,48 @@
name: Verify post-center rank-four global witness

on:
push:
paths:
- 'research/post-center-rank4-global/**'
- 'research/direct-delivery504-global/**'
- '.github/workflows/post-center-rank4-global.yml'
pull_request:
paths:
- 'research/post-center-rank4-global/**'
- 'research/direct-delivery504-global/**'
- '.github/workflows/post-center-rank4-global.yml'
workflow_dispatch:

permissions:
contents: read

jobs:
verify:
runs-on: ubuntu-24.04
timeout-minutes: 15
strategy:
fail-fast: false
matrix:
python-version: ['3.11', '3.14']
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
with:
persist-credentials: false
- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
with:
python-version: ${{ matrix.python-version }}
- name: Install exact phase interpreter dependency
run: python -m pip install numpy==2.3.5
- name: Reconstruct rank-four supplier and verify the changed global witness
run: python -B research/post-center-rank4-global/replay_delta.py --baseline research/direct-delivery504-global --work "$RUNNER_TEMP/rank4" --rebuild-local --delta-phases
- name: Check intermediate phase delta and independent local realization
run: |
mkdir "$RUNNER_TEMP/rank4-checkpoint"
cp research/post-center-rank4-global/inputs/phase-checkpoint/CANONICAL-WORD.json.gz "$RUNNER_TEMP/rank4-checkpoint/"
python -B research/direct-delivery504-global/code/phases_delta.py --local "$RUNNER_TEMP/rank4-checkpoint" --baseline research/direct-delivery504-global/evidence/local --compiler research/direct-delivery504-global/vendor/clifford
cmp "$RUNNER_TEMP/rank4-checkpoint/CLIFFORD-RECIPES.json" research/post-center-rank4-global/inputs/phase-checkpoint/CLIFFORD-RECIPES.json
python -B research/direct-delivery504-global/code/emit_local.py "$RUNNER_TEMP/rank4/scalar"
python -B research/direct-delivery504-global/code/audit_local.py "$RUNNER_TEMP/rank4/scalar"
python -B research/direct-delivery504-global/code/adapters_local.py "$RUNNER_TEMP/rank4/scalar/CANONICAL-WORD.json.gz" "$RUNNER_TEMP/rank4/scalar/RESIDUAL-ADAPTERS.json" "$RUNNER_TEMP/rank4/scalar/LEMMA-A.json"
- name: Require unchanged tracked artifacts
run: git diff --exit-code
2 changes: 1 addition & 1 deletion certificates/mixed-point-audit.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -487,7 +487,7 @@
"source_sha256": {
"docs/research/mixed-point-audit.md": "c80527f9e98c27bd7f5858a06c7273f84c40e0c41505eb4d16029b61f80fb968",
"scripts/experiments/mixed_point_circuit.py": "f509362b5031976a22af351fd158ae0b4520fa4f286a5176ec37023d672a7ddc",
"scripts/rational_span_frames.py": "ac3b9ab462b790d195628f0e5aa4f95143596a51ce7df1a99360b98594c29932"
"scripts/rational_span_frames.py": "766d342dd73ca5efd784c5733282a93d379a58beea763e703238dfbb4eacce82"
},
"status": "BOUNDED MIXED-POINT RESEARCH; NO NEW KAPPA",
"target": "1/1073741824",
Expand Down
150 changes: 150 additions & 0 deletions research/post-center-rank4-global/BASELINE-PINS.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,150 @@
{
"repository": "CrocSwap/integer-mult-bounds",
"pull_request": 531,
"commit": "e07a8a3f9f79c22113398a0c5dbbc7601f489b3e",
"path": "research/direct-delivery504-global",
"scientific_files_matched": 69,
"sha256": {
"EXPECTED.json": "0c4c7df98633ace6dd3f1604462dd509945f6b2d463a0b045442b785906101f1",
"LICENSE": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4",
"code/adapters_local.py": "4e89a5c517cd87ff6a5aa9b7334c0d74821179ae5777d31284da25b9d8abf113",
"code/assemble.py": "71b4cbbbc5acdfe06ac67879cf54ea761e29e52143af1cd8410ad672a5cc190b",
"code/audit_and_transport.py": "a4fc272266785e1fffd44775c6fa6df783c4352de4c3f1d925cf953a23b84e7f",
"code/audit_local.py": "69b12c45d0a961175a824c1967353c7f3b94818a7dd6ac7bbcf56a6d1a5ed8e8",
"code/audit_same_partition_frontier.py": "3a2a072304c0c112b4938070515035b49595c86565b454806fdcbbfacf0e1bd2",
"code/audit_supplier_hosted.py": "301e9b5c593b6d583065337eb7b3ef207cf039e265f099f89080a4bf25856b43",
"code/build_selected.py": "7fa8f981cbf3b01ac960226e6afc6be7bd76d94d9c01796941979deb77bd8875",
"code/coalesce_frames.py": "b3e53a17f2519e1afc5bee9b6518252eeb0cb7c56b6e0a1554fdfb54f2908915",
"code/construct_504.py": "a0d96ede40b957c38dcb64296d5f4a76c23dfb8c8875e01a80b5f1bdf6e8360e",
"code/emit_local.py": "eefc76e0bee003015fe21ac685c2cce658033d5444add404d2d509c7d6f39bac",
"code/emit_supplier_hosted.py": "53c0b653b3a5100756d6a9473c90101b8c3ab72723d7047983906ab997bdf920",
"code/invoice_final.py": "96b6bed96ca8b60dfc064cd1c7962c45a5cb53c4e52cd90aaea6ccf8d109db97",
"code/phases_delta.py": "15723107eff03013b2e797fd9fa3635b1b46c5d1c8112d19fada98c178d4acb6",
"code/prepare_supplier_base.py": "f5eae94aca965d0008bc07cff8245ccb7509042ccad457d3bcb7d51c1e9409f0",
"evidence/BEFORE-COALESCING.json.gz": "5381265008ec84dc0b3eb2870040215b8470620d234573c15e836dba928d910e",
"evidence/COALESCING.json": "f9175c204c084e083ba2f8f4bc66dc71feb75d90b1b57b36dfacbffe89568ae0",
"evidence/DISCOVERY-MOMENT.json": "d964db94f4a11840bbea57a47c203a2fe6b51a381072d403d1c1504ac2ba0c7b",
"evidence/ENTRANCE-SELECTION-SCREEN.json": "2d5c7db49077ea50f0877f1bd3a5839e5c49a7c75519ebaf549bce0e828b7b99",
"evidence/FAST-REPLAY.json": "b95028b7cd5a830bd5d702d5193f0bc93d981426ca6f8916eea7a2bf9dcc53a7",
"evidence/LINE-GAUGE-SELECTION.json": "1ecec9dd594653d54448ba9e2fd7b7b830e26bfd159d3b268672f80d8cb06250",
"evidence/PR523-FIXED-WORD-CEILING.json": "e971df6465b6a37d2042bd7e2169419578d68d7177c060599b16b3f67292935f",
"evidence/PUBLIC-SNAPSHOT.json": "d859621516bb33d1c77ea9413b53930fab42447360b7e6246ba839b95a834abb",
"evidence/SAME-PARTITION-FRONTIER.json": "3a02123a292730c1dfea8d6c1c8238115b4b07d19c8b8f119b54c345cd1f46af",
"evidence/VERIFICATION-SCOPE.json": "424ea699b0849c3e8dd41d585b271906cbbbbddb4c3464fd20dde30133bae367",
"evidence/audit/ASYNC-AUDIT.json": "01ea0015d4e08170ac65f1cdd051be64e07f622eba62eadbf39524317388cba7",
"evidence/audit/EXACT-ASSEMBLY.json": "550c6703e73b2dcfaae986706ceb1ac67ecd93dec8b591954abe51c7fa3b7a03",
"evidence/audit/GLOBAL-PREFIX.json": "378275e21f7ff147cd7cb0b33c972e75139d949195ddf13dd71b55a77a0f7cfb",
"evidence/audit/IDLE-REMAINDER-FRAMES.json": "7923ed6a528f006c353fe7e0639fd230ad140ca835b8e64ceadc7aefb0300ea8",
"evidence/audit/OWNERS-AND-PROFILE.json": "e5f11e7b920f9985f085546c641dbac5b8d98231d562e1e030ab2566ccea4bd6",
"evidence/audit/PREFIX-AND-INVOICE.json": "ce1bfa49be88ae67a404f606a11db2232b7e1f2610d4418058e39749d86d8478",
"evidence/hosted/ACTUAL-SIGMAS.json.gz": "dbced27348bd0ae2fb937a9c1fd03e2181d7268ccdea5d80ebbe6ec3fed314d9",
"evidence/hosted/GLOBAL-TEMPLATE.json.gz": "0c5ea47883fafc2aa0b2b9711e7c52a3fc8fdf96c84eb3043834e34ced550473",
"evidence/hosted/HOSTED.json": "a0b29d73f2beb821a59f356150a7a9475394643bf9fd8eb5a67a6fc4d46ad2f5",
"evidence/hosted/IDLE-REMAINDER-FRAMES.json.gz": "a21fb2c7395b7193d46752f7bd9cc670fbfffc7287f8370bd9f6df0aed6b21eb",
"evidence/local/CANONICAL-WORD.json.gz": "de2be0f4b6d24ace368fd5b834b7a00f9625d0a1824c4ff969f2db5f115db667",
"evidence/local/CLIFFORD-RECIPES.json": "1ac0a7d07a487bf58e59e82a8a656a3a3edca5731af9029ad7874b535407ceb9",
"evidence/local/CLIFFORD-REVIEW.json": "a917bb1abdc864b404dc4a869af3e29aaab2270d392b662cb60b70ebbe5d1975",
"evidence/local/FULL-WORD.json.gz": "bd6b004c4948d5ce80d4f81477338fe30434c2a94586463fdcc531df0dbc9509",
"evidence/local/INDEPENDENT-LOCAL-REPLAY.json": "4149f3d2ec3041965c5d72869748090d9aeed422f36d753550c543bb7808b30b",
"evidence/local/LEMMA-A.json": "f789357f75d562ec9c6f2ef75ced6f4286df2840b493600147b34a36ad0fa460",
"evidence/local/LOCAL-CHECKS.json": "c6807681d40cb46c21a50edc1058044ddc758f2dd3e6b0bab16d7cb28d41732f",
"evidence/local/LOCAL-PROGRAMS.json.gz": "755a5c4ebe958fd9f7b5d4a6e7a506d2c802e31c4d9da46b63db1994c4d8ffa6",
"evidence/local/RESIDUAL-ADAPTERS.json": "83a91fb9cbbe600328cd399f67fdb6ffb698ed3b20d050916d21f3af48b0db20",
"evidence/local/SCALAR-FRAME-AUDIT.json": "5bf884b9c5c9e65658974a8f5548f93a583fb48461e8125fa68893aa2b403718",
"inputs/ASYNC-6.json": "8a128d7c435f01d9f920c1353711eb0721ce3cbdd0b8799bf69b2d676266dbd3",
"inputs/OWNER-PLAN.json": "13d5284e3d95fd4718b538f7d0d1e6f8db3236d4608a755dce6deade440f4185",
"inputs/OWNERS.json.gz": "5e27eaf098214e3ab8159e322241aa90a1ae77b0bff78b426512b87f9f60c91f",
"inputs/PR493-EXPECTED.json": "3494ba83280cc86548fe0cc6695c50d23e6b6ffca85aeb1a33337c1196e280cb",
"inputs/PR523-EXACT-ASSEMBLY.json": "39900354203609a142d159096ccc221ddb21c1f714b2b74b9b1b325beaf15259",
"inputs/PR523-PREFIX-AND-INVOICE.json": "bb43ef04791037a37d2596c395e81191991fde6581326118995cf4318ee472a3",
"inputs/SELECTION.json": "46cfad0c5a4b8dacc18ed02b5e259f2168e6a93a8dff6ffb447fb0f20917a9bd",
"inputs/data-base/split-centres/CANONICAL-WORD.json.gz": "addf598581d2a20e13d0c18110607515ad90b06125616a2349e53a47bb5b6c80",
"inputs/data-base/split-centres/GLOBAL-TEMPLATE.json.gz": "5b913207775fcd87090cfa8776e8bd2bb872426923345fe1a1a4e1ea84bfae2c",
"inputs/data-base/work/complex-nine-native/DATA-PHASES.json": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa",
"inputs/data-base/work/pr361/code/engines/base_two_moment.py": "aee70c242a2f1d225528fabe2002e1564d1dc884797c07d28a831c7878ee9098",
"inputs/data-base/work/pr361/code/engines/moment.py": "81cbc864e106418fc7854322746f72180cb8110ff39f74450a3b8d55a82c1482",
"inputs/data-base/work/pr361/code/engines/outer.py": "c1ebb52163a7219504c728a5c2b098bf1e50bf20148a2879c5a74c3cadc7c03c",
"inputs/hamming/PACKET-PROGRAMS.json.gz": "d833ae0390d165d7da0c639a3c7aeb77156c2ddb52447087cb49b9d03b19e9b9",
"inputs/hamming/PROTOTYPE.json": "327d2a868043e846381aa58a33053c24425e8cad522ff401b10ec8af1d649a3f",
"inputs/phase-baseline/CANONICAL-WORD.json.gz": "addf598581d2a20e13d0c18110607515ad90b06125616a2349e53a47bb5b6c80",
"inputs/phase-baseline/CLIFFORD-RECIPES.json": "1f37afd5a9e14b113ba56e0ac8a5200a6b41c695d2cd308dc0fd6ec46a4c73d2",
"inputs/phase-baseline/CLIFFORD-REVIEW.json": "468a5df1937e82a0b8e8c1c2540e18480f354154325353c5596c68e7435c89c2",
"inputs/phase-baseline/LOCAL-CHECKS.json": "ead7163869ecb9fc276f477c0ec0ed85dc74d7901ce04f91213bcf7ee1f20382",
"vendor/clifford/clifford_exact.py": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962",
"vendor/gk/gk_common.py": "e68d190fd436b2f3955decb590adb53344d5d4ea0a19d62d86df1e4b55ecd198",
"vendor/gk/gk_word.py": "f027a9273bcf4e0971258c160b7d3b3c196366b32a529cff6e6a0e666b03826b",
"verify_fast.py": "ea4e33a17419009f0872fac42f7ae5a2f2090c4487cc9815721d907d1e9b1cae"
},
"git_blobs": {
"EXPECTED.json": "c340c32b84d7ea63c5f15eac78e38eace428c599",
"LICENSE": "261eeb9e9f8b2b4b0d119366dda99c6fd7d35c64",
"code/adapters_local.py": "787416e4dd84db0981d3cb94f4e424c652e0085a",
"code/assemble.py": "a234aecb14de159247809af1120fedc1aab20df9",
"code/audit_and_transport.py": "95ae517f2ea66b4a35ed16b6ab861271554d64d0",
"code/audit_local.py": "a09611844a49e1d7f73ddc1c0a2df3b0cec640ec",
"code/audit_same_partition_frontier.py": "6cbec5ec579f08c62e2059bf8c76572ca49b147d",
"code/audit_supplier_hosted.py": "62b721b6e6d467b76722f0e95158986a420aaeda",
"code/build_selected.py": "be31d643452234db07ac02dd7f509e773081e8a1",
"code/coalesce_frames.py": "923bb01d96c1997d8e050f11113266e77ea39676",
"code/construct_504.py": "776d046cde22be2bee34e5ce9b7f36f3126ed6b5",
"code/emit_local.py": "a54170b0023d467be3da1db9d8623ac4665f0afe",
"code/emit_supplier_hosted.py": "41c46015c7e19ab77f96580dbb98e12ca07aa2fd",
"code/invoice_final.py": "abefcee47ba03edcf170abc92f00fa8b988d6c4a",
"code/phases_delta.py": "8d78d26b3b03fa23c6af1e650326ab3925ec2b46",
"code/prepare_supplier_base.py": "650fc9fd77fd61930ab3a352cd8d0fb5b7f0f03b",
"evidence/BEFORE-COALESCING.json.gz": "8e05f2ea80e606cc1693e79dbe5fcf7b9bbb984d",
"evidence/COALESCING.json": "005eb7c7b709242b073e5b125f9a21d3e2e6eacc",
"evidence/DISCOVERY-MOMENT.json": "3b76774ab778722fe96bc8397fe032f9cdc5bf0e",
"evidence/ENTRANCE-SELECTION-SCREEN.json": "d8ad6da1e4db2431218d234bb8a83ab31a61c326",
"evidence/FAST-REPLAY.json": "0fd30496660a3346f13a3bcf62572e6843bf81a9",
"evidence/LINE-GAUGE-SELECTION.json": "25f2728d5c21e7a392281924a7fed35c3b94ac58",
"evidence/PR523-FIXED-WORD-CEILING.json": "0f7a58dccd555f90d93120db03e57e0b446461c8",
"evidence/PUBLIC-SNAPSHOT.json": "47bba0bf10604cb2ce986516e180065d8e1f2963",
"evidence/SAME-PARTITION-FRONTIER.json": "1aeb0e450ede3d87efc68f35043ec8c57f289d91",
"evidence/VERIFICATION-SCOPE.json": "5fc6f9fdc7091cb52f5374922baa4d509d635df9",
"evidence/audit/ASYNC-AUDIT.json": "539f7cc1bdc75f67918c3c869f99a8fc9ec41fe9",
"evidence/audit/EXACT-ASSEMBLY.json": "0227dc1a3a4924584c1d9da34ab9e3fe93638aaf",
"evidence/audit/GLOBAL-PREFIX.json": "f6df6e93f4db8d266a7527a31d330b3c7f92cdcf",
"evidence/audit/IDLE-REMAINDER-FRAMES.json": "2f074d27930315c7d425afc44d0f23d484643f6d",
"evidence/audit/OWNERS-AND-PROFILE.json": "3506e0a20c6ceda81f454236e2016cebfab5347c",
"evidence/audit/PREFIX-AND-INVOICE.json": "a16bf40bccc81278a443e0d5f09b44495035de81",
"evidence/hosted/ACTUAL-SIGMAS.json.gz": "668c76d6f0a41595329e18750eee055bfb34664e",
"evidence/hosted/GLOBAL-TEMPLATE.json.gz": "d776359cd0d6e4ae38ddf8aa81c3c9ad70c31573",
"evidence/hosted/HOSTED.json": "e024e9b49f7af4ea5a24a3c83ba1f72c40a9a906",
"evidence/hosted/IDLE-REMAINDER-FRAMES.json.gz": "e2bbdec99b6fcbd632e61f8ca3b7a18e307746de",
"evidence/local/CANONICAL-WORD.json.gz": "3b0a475178f4e4ad107e3595992c872e47e83c63",
"evidence/local/CLIFFORD-RECIPES.json": "1dac4506d502bb6508e0a1affa3577867576a78f",
"evidence/local/CLIFFORD-REVIEW.json": "7b98ce47d9185d8f8c6291029ad014b15fff2925",
"evidence/local/FULL-WORD.json.gz": "bff313755c9ffcf6d246ffeef77bbe2846b560c1",
"evidence/local/INDEPENDENT-LOCAL-REPLAY.json": "0634281e1e26826fa7a577647f354c32eea53378",
"evidence/local/LEMMA-A.json": "00d4137aaf2a0d0f440888e33d08921006b91193",
"evidence/local/LOCAL-CHECKS.json": "13a6d63422ddcdb28f84850c58fed2f563e4190f",
"evidence/local/LOCAL-PROGRAMS.json.gz": "ece62f551506d9db419fdb47e94cb9c4d149d3d6",
"evidence/local/RESIDUAL-ADAPTERS.json": "7d4278521bb1cc535c6419e3a840c4fa864fefe8",
"evidence/local/SCALAR-FRAME-AUDIT.json": "262bf0ab6739cd00023375cdc4ece0cb9d816a79",
"inputs/ASYNC-6.json": "896cf316baa64faa7bc0916352668bcbaa9ac84d",
"inputs/OWNER-PLAN.json": "c9be65be108ea585bd5848984781a07c6451b844",
"inputs/OWNERS.json.gz": "5af19a97cf7d7413019660c0a52549a282d54a4b",
"inputs/PR493-EXPECTED.json": "973aaf30f1ec6a4d58038acabb9361ee1f44787a",
"inputs/PR523-EXACT-ASSEMBLY.json": "9fb041e0ca03892560724c7f306906f9896073b4",
"inputs/PR523-PREFIX-AND-INVOICE.json": "50b017a1640e28776f64859263ccec3e7b7df210",
"inputs/SELECTION.json": "0c7be548e8f0a05372c82d545937148d5ffc964b",
"inputs/data-base/split-centres/CANONICAL-WORD.json.gz": "7f98e8dafa05ad789ee056eed9f4d6a453105ae4",
"inputs/data-base/split-centres/GLOBAL-TEMPLATE.json.gz": "243bebd21e0ca94bf34ad6cd1ff3fd8cd27645cf",
"inputs/data-base/work/complex-nine-native/DATA-PHASES.json": "d9a4f84211182ca200c081ea061d724c8a2cfb70",
"inputs/data-base/work/pr361/code/engines/base_two_moment.py": "14a90fa0e788217856f070382c9e61bd7c603c61",
"inputs/data-base/work/pr361/code/engines/moment.py": "7d697cb45203fe72d97037403d6da41f71f3b7fd",
"inputs/data-base/work/pr361/code/engines/outer.py": "43007488ad2c43187c77cc6798beff8b1cd76ad2",
"inputs/hamming/PACKET-PROGRAMS.json.gz": "e98ce5d879e99427347acd725efc3b0c96fe5c13",
"inputs/hamming/PROTOTYPE.json": "9efe30ee107b9c67f15f1c726e1a1cb5cef03929",
"inputs/phase-baseline/CANONICAL-WORD.json.gz": "7f98e8dafa05ad789ee056eed9f4d6a453105ae4",
"inputs/phase-baseline/CLIFFORD-RECIPES.json": "0422ae288a387d8fd269d2e3dee894dbe65b646a",
"inputs/phase-baseline/CLIFFORD-REVIEW.json": "ad33b2911cd072bab98d47990e4d8bafb4fe3488",
"inputs/phase-baseline/LOCAL-CHECKS.json": "61b7804deb46b1f2ef981e785ee8f19590cd5583",
"vendor/clifford/clifford_exact.py": "166841a037f069249f6f7f6dedb89248812f59e2",
"vendor/gk/gk_common.py": "0e5fde920d29106232776eb56347297c0d40fa72",
"vendor/gk/gk_word.py": "15782ba625e438a3c707718fa51796ec1937018f",
"verify_fast.py": "245b61bbe55fbb6fa40ea3ef89a02c43ca3c51bf"
},
"scope": "Exact scientific files shared by the published PR531 head and the original Round20 package; changed publication prose/manifest are not required."
}
62 changes: 62 additions & 0 deletions research/post-center-rank4-global/EXPECTED.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,62 @@
{
"status": "PASS_ASYNC_COMPLEX_AND_CITED_BIT_EXACT_ASSEMBLY",
"kappa": "1584931111785787/1000000000000000000",
"kappa_decimal": "0.001584931111785787",
"complex_lower": "1589991533606044174031/1000000000000000000000000",
"complex_decimal": "0.001589991533606044174031",
"bit_lower": "396861776523137034277/250000000000000000000000",
"bit_decimal": "0.001587447106092548137108",
"binding_component": "bit",
"improvements": {
"PR531": {
"baseline": "1517760977820331/1000000000000000000",
"relative_gain": "67170133965456/1517760977820331",
"percent_display": "4.42560686"
},
"rejected_POST208_checkpoint": {
"baseline": "771820390859371/500000000000000000",
"relative_gain": "41290330067045/1543640781718742",
"percent_display": "2.67486649"
},
"PR533": {
"baseline": "381051987698311/250000000000000000",
"relative_gain": "60723160992543/1524207950793244",
"percent_display": "3.98391577"
}
},
"global_template_content_sha256": "b9f4b60e56e5153c1fc89370e9ceb09f24b23e1c8ff56f2b47ef9d867aa04f2c",
"raw_word_content_sha256": "b9110e8ddb770a3874c2df2019e04a98c1a25684072f7f8e5772653f59f15db2",
"canonical_word_content_sha256": "7c84ac65c8b37173aa4293934f041915895e8ec30595844cc1534e2a19ae0d25",
"global_profile": {
"1": 158976,
"2": 52864,
"3": 15200,
"4": 20160,
"5": 4032,
"6": 4032,
"7": 352,
"8": 576,
"48": 1632
},
"local_profile": {
"1": 2208,
"2": 728,
"3": 184,
"4": 280,
"5": 56,
"6": 56,
"8": 8
},
"local_rank_mass": 6016,
"entrance_rank": 376,
"width_inventory": {
"5": 56,
"8": 152,
"9": 296
},
"global_prefix_bits": 225,
"live": 7168,
"physical": 7682,
"deficit": 2560,
"scope": "Conditional finite witness under the retained all-size compiler, common-label/mutable-basis, whole-call hosting, restored-work, precision/tape and analytic-transfer contracts. Fresh complex admission and finite invoice are separately hash-bound; no unconditional theorem is claimed."
}
Loading
Loading