diff --git a/docs/ci-verification.md b/docs/ci-verification.md index 63ba3e9aa8..52b62d0481 100644 --- a/docs/ci-verification.md +++ b/docs/ci-verification.md @@ -1,8 +1,25 @@ # CI verification -## Current selected-family replay: #6030 +## Current selected-family replay: #7000 with #7001 The [selected record](../certificates/selected-result.json) binds conditional +κ = 0.00363005817 to the [application review](research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md), +[validation receipts](research/pr-intake-evidence/pr7000-application/VALIDATION.json), +and [explicit source closure](../certificates/frontier7000-source.json). +`make frontier7000-verify` follows that exact-source selected replay. The review +reuses eleven authenticated preceding executions and records seven fresh serial +application, scalar and complete native-catalogue executions. The earlier +monolithic timeout is retained separately and is not completed coverage. +Consult the receipts for exact commands, source heads and limits. + +The five inherited framework assumptions remain. No complete uniform word, +literal multiplier execution, independent human proof or formal-kernel proof +is asserted. Routine research submissions do not need to rerun this +selected-family replay. The sections below preserve historical checkpoints. + +## Historical selected-family replay: #6030 + +The [historical checkpoint](../certificates/checkpoints/frontier6030.json) binds conditional κ = 0.003125804 to the [proof review](research/pr-intake-evidence/pr6030-audit/PROOF-REVIEW.md), [validation receipts](research/pr-intake-evidence/pr6030-audit/VALIDATION.json), and [explicit source closure](../certificates/frontier6030-source.json). diff --git a/research/p104-temporal-chart306-continuation/APPLICATION.md b/research/p104-temporal-chart306-continuation/APPLICATION.md new file mode 100644 index 0000000000..59e9242f1c --- /dev/null +++ b/research/p104-temporal-chart306-continuation/APPLICATION.md @@ -0,0 +1,11 @@ +# Complete application verification + +The direct source-bound early, native and complete17-stage application checks passed at κ=0.003644407895539. Registered isolated-cache replay passed, matching every frozen receipt field with all 23 scientific hashes unchanged. + +The unchanged signed caller is compared byte-for-byte with the authenticated source. Its complete invoice has110502 paid positions,22410 productive fields, surplus1424 and zero empty credit. Every changed native occurrence is charged. Ordinary work is781880696 <10^9. Full caller grid, rounded envelopes, physical bindings and fixed-tape substitution are freshly recomputed in RESULT.json. Precision context c=2430; the native minimal grid remains1125/F25, independently derived over exact prefix rows/scalar products and compared with integer replay. + +All3037 paid/helper maps and104 main boundaries are checked by complete signed Pauli action and exact Gaussian phase. Additionally,5 native chart pairs are checked on all512 columns. All20 native corruption controls and phase mutations reject. The exact timed coefficient certificate reconstructs all five gathers and seven injections. Whole forward/adjoint, owned lifecycle census, physical replay, both directed price engines and54 strict plus4 functional outer conditions pass. The exact owned census is61 labels,64 lifetimes and peak47; ascent mass remains56. + +NATIVE-RESULT.json and RESULT.json contain the full receipts. EARLY-RESULT.json retains its historical narrower pending list. + +Five inherited assumptions remain: native_all_columns, owned_erasure, compiler, precision_tape, analytic_recovery. Local finite replay, hosted scientific verification, overall CI, maintainer admission and independent human/formal acceptance are distinct. diff --git a/research/p104-temporal-chart306-continuation/DISCOVERY.json b/research/p104-temporal-chart306-continuation/DISCOVERY.json new file mode 100644 index 0000000000..fbac2b4b46 --- /dev/null +++ b/research/p104-temporal-chart306-continuation/DISCOVERY.json @@ -0,0 +1,18 @@ +{ + "status": "EXACT_TEMPORAL_NOMINATION_ONLY", + "counts": { + "frames": 4495, + "prefix_pure": 2590, + "suffix_pure": 2130, + "causal_nonzero_pairs": 1, + "resident_pairs": 1 + }, + "seconds": 23.834529041778296, + "source_head": "594d57036057f88f8bacc82e9c203bd4cb3276b9", + "paid_limit": 12000, + "scope": "Nomination only; no discovery arithmetic establishes native/physical/pricing acceptance. Full guarded certificate separately required.", + "packaged_search_sha256": "5c0dbcff3800c924cb425815f74aaec90b376f98c75d648e6ff20ff27b3ea5b1", + "command": "python3.12 -B discover_temporal.py --word SOURCE_WORD --out OUTPUT --paid-limit 12000 --kappa .003644267085400", + "entry_chart_result": "no_gain", + "exit_chart_result": "no_gain" +} diff --git a/research/p104-temporal-chart306-continuation/EARLY-RESULT.json b/research/p104-temporal-chart306-continuation/EARLY-RESULT.json new file mode 100644 index 0000000000..a043f80516 --- /dev/null +++ b/research/p104-temporal-chart306-continuation/EARLY-RESULT.json @@ -0,0 +1,196 @@ +{ + "status": "PASS_EXACT_NATIVE_AND_PRICE_ONLY", + "word_sha256": "b012295cfe44d204c2724fe544731ac17aa969e06e33043496ac7a1c91a912b3", + "native": { + "public": 1498, + "events": 76220, + "paid": { + "1": 3998, + "2": 853, + "3": 829, + "4": 225, + "5": 344, + "6": 14, + "7": 10, + "8": 5 + }, + "helpers": { + "1": 17, + "2": 21, + "3": 47, + "4": 222, + "5": 78, + "6": 43, + "7": 19, + "8": 35, + "9": 616 + }, + "rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + }, + "owned_peak": 47, + "lifetimes": 64, + "bad_inputs": [] + }, + "native_delta": { + "T": { + "4": 1, + "5": 1, + "9": -1 + }, + "P": { + "3": 1, + "5": 1, + "8": -1 + } + }, + "invoice": { + "P": { + "1": 68350, + "16": 416, + "2": 14501, + "24": 416, + "3": 14093, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5848, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 741, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3774, + "41": 416, + "49": 416, + "5": 1326, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 595, + "9": 10888 + }, + "empty_root_credits": 0 + }, + "gate": { + "claim": "3644407895539/1000000000000000", + "tested": "364440789553907/100000000000000000", + "raw_bracket": [ + "36444078955399752291473031465479/10000000000000000000000000000000000", + "911101973884993807286825786637/250000000000000000000000000000000" + ], + "moment_margins": { + "36444078955399752291473031465479/10000000000000000000000000000000000": [ + "538452337523920206672676705848416208923033602062537/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "2692261687619601033363383529242081044615168048803427/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "911101973884993807286825786637/250000000000000000000000000000000": [ + "-592947735391185177723315110910526675671255956910243/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-592947735391185177723315110910526675671255937691263/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364440789553907/100000000000000000": [ + "35106208976078169308682508756072841823889613746332784157628818996661329/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "1755310448803908465434125437803642091194480687316639207881440951771987/5000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "moment_margin_float": { + "36444078955399752291473031465479/10000000000000000000000000000000000": [ + 2.692261687619601e-29, + 2.692261687619601e-29 + ], + "911101973884993807286825786637/250000000000000000000000000000000": [ + -1.1858954707823704e-29, + -1.1858954707823704e-29 + ], + "364440789553907/100000000000000000": [ + 3.5106208976078167e-10, + 3.5106208976078167e-10 + ] + }, + "derivative_upper": -381743.11655566044, + "alpha": [ + 0.9999999999999988, + 0.9999999999999988 + ], + "gamma": [ + 0.9407642489923767, + 0.9407642489923767 + ], + "delta": [ + 0.9060338152823023, + 0.9060338152823023 + ], + "minimum_log_power": 2236, + "written_log_power": 2237, + "compiler_gap": "1/100000000000000000", + "H": "16510400000000000000000", + "BIT_pin": "376669/100000000", + "BIT_margin": "12228210446093/100000000000000000", + "outer": { + "strict_count": 54, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "BIT_just_below_effective_rejected": true + }, + "input_lift": { + "margins": { + "3644407895539/1000000000000000": [ + "124340413725381578436168433909673800828712847806542525942299871259053399949237/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124340413725381578436168433909673800828712847806542525942299871259053399951213/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364440789553907/100000000000000000": [ + "6217020686269193241278723448501641155546113504608234908729909843712041038681/5000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124340413725383864825574468970032823110922270092164698174598196874240820775571/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "interval_kappa_cap": "376669/100000000", + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + } + }, + "price": { + "claim_decimal": "0.003644407895539", + "previous_claim": "18221335427/5000000000000", + "gain": "1.40810139E-7", + "gain_exact": "140810139/1000000000000000", + "raw_bracket": [ + "0.0036444078955399752291473031465479", + "0.003644407895539975229147303146548" + ], + "independent_raw_bracket": [ + "0.00364440789553997522914730314654796", + "0.00364440789553997522914730314654797" + ], + "candidate_margin_at_old_upper": [ + "5460840086576072368083028005866003247460959742809339138385104743052602663157649/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "341302505411004523005189250366625202966309983925583696149069046440787668627159/6250000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "baseline_rejects_new_claim": true + }, + "pending": [ + "fresh integer grid", + "all affected physical chart maps", + "complete caller replay", + "ordinary and precision bounds", + "full source application" + ] +} \ No newline at end of file diff --git a/research/p104-temporal-chart306-continuation/ENVIRONMENT.json b/research/p104-temporal-chart306-continuation/ENVIRONMENT.json new file mode 100644 index 0000000000..e3220cac1a --- /dev/null +++ b/research/p104-temporal-chart306-continuation/ENVIRONMENT.json @@ -0,0 +1,8 @@ +{ + "python": "3.12.14 (main, Aug 12 2026, 13:57:54) [Clang 21.0.0 (clang-2100.1.1.101)]", + "platform": "macOS-27.0.1-arm64-arm-64bit", + "verification_status": "PASS_REGISTERED_RESEARCH_PACKAGE", + "registered_command": "python3.12 -B scripts/research_package.py --package research/p104-temporal-chart306-continuation", + "hosted_scientific_ci": "not_established", + "completed_at": "2026-11-11T02:43:07.679411+00:00" +} diff --git a/research/p104-temporal-chart306-continuation/INPUTS.json b/research/p104-temporal-chart306-continuation/INPUTS.json new file mode 100644 index 0000000000..67a771dcac --- /dev/null +++ b/research/p104-temporal-chart306-continuation/INPUTS.json @@ -0,0 +1,168 @@ +{ + "source_head": "594d57036057f88f8bacc82e9c203bd4cb3276b9", + "archive": "inputs/pr7155.tar", + "archive_sha256": "94eb795f165ab08f1cb60df1fb8b0b7c4945706e8ccdbd4927f97c09ccd3070b", + "prefix": "research/p104-temporal-237-595-composition", + "files": [ + { + "path": "research/p104-temporal-237-595-composition/APPLICATION.md", + "size": 2969, + "sha256": "4c3725d6722befc95e6c0f354b671a16fb041d9df5814b17991b894e2e948168" + }, + { + "path": "research/p104-temporal-237-595-composition/CERTIFICATE.json", + "size": 2685, + "sha256": "f5faacb2d06a2f33d1297958678ccfe83fc56be4bc33aa362a024f0816c84c2b" + }, + { + "path": "research/p104-temporal-237-595-composition/ENVIRONMENT.json", + "size": 544, + "sha256": "18c6bebe165a927129998ac88afd01e055e6e603383e84b4b80c21386d171fab" + }, + { + "path": "research/p104-temporal-237-595-composition/NATIVE-RESULT.json", + "size": 75008, + "sha256": "45b508d8f8a49e69f6a11aafc7f1df73db3ecbd0f7255cfa770019faf64d138b" + }, + { + "path": "research/p104-temporal-237-595-composition/NOTICE", + "size": 1223, + "sha256": "a9fe84d751db2dc6cada5b267e2ff84ce5705880aab5d0a2515413cc15187060" + }, + { + "path": "research/p104-temporal-237-595-composition/PATHS.json", + "size": 2279, + "sha256": "71550c9edcba75fbbefc7ea3a81ff7fe5d93fc6602df7b85cac026745eadc29e" + }, + { + "path": "research/p104-temporal-237-595-composition/PR7147-INPUTS.json", + "size": 2468, + "sha256": "71e075af6622f3850af94d3a1ca7c357cee7b0d795eb631a8f56e5d8ff21580a" + }, + { + "path": "research/p104-temporal-237-595-composition/PR7148-INPUTS.json", + "size": 9345, + "sha256": "0c48c6e62414b9856500bc4e1ea72f5957db30c01bc8b10b99ca4714e339d2aa" + }, + { + "path": "research/p104-temporal-237-595-composition/PROOF.md", + "size": 4623, + "sha256": "f76dcb488efa17a87e4781228beeb5518fddbd14af2b6d42dac7ffff872e213c" + }, + { + "path": "research/p104-temporal-237-595-composition/README.md", + "size": 3652, + "sha256": "edfeea529737675c8befe96bec42e76f44dbf53f37f49b66374c802007fb45ea" + }, + { + "path": "research/p104-temporal-237-595-composition/REPLAY.txt", + "size": 4118, + "sha256": "6dc4f195c268ed460d73a41b2fe0b40391d5dae6559fa1b1ddcd8ae0bf3babad" + }, + { + "path": "research/p104-temporal-237-595-composition/RESULT.json", + "size": 81281, + "sha256": "84966ab83b6dfaab7db8b4bbe405723bbe326d56fa5045ef76fee840d9ef3c3c" + }, + { + "path": "research/p104-temporal-237-595-composition/SOURCES.json", + "size": 856, + "sha256": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372" + }, + { + "path": "research/p104-temporal-237-595-composition/TASK.json", + "size": 10333, + "sha256": "0f6b39da86a4844b02017f7cba479eb9a60a0c91474fb90dca9653fb30424a5c" + }, + { + "path": "research/p104-temporal-237-595-composition/VALIDATION.md", + "size": 3383, + "sha256": "1afea414697814d6d6ab0172eb4cc3e9fa354838a93e5eca75978b0b93f08e10" + }, + { + "path": "research/p104-temporal-237-595-composition/VERIFY.json", + "size": 1090, + "sha256": "f010e6286953cab1bca444bf2fda23012861fc2acc672b810bc16ea6c5da2edd" + }, + { + "path": "research/p104-temporal-237-595-composition/WITNESS.json", + "size": 1547, + "sha256": "407f5681d1234a2a2df7e06556abeef9a56686c6e732aad6e346861f77bd41b1" + }, + { + "path": "research/p104-temporal-237-595-composition/WORD.json.gz", + "size": 380290, + "sha256": "ba1d4315fb4fcf8f73d63a8a22a223bb139bbae1bab0eab2eb92d61a54cc4c23" + }, + { + "path": "research/p104-temporal-237-595-composition/adapt.py", + "size": 3511, + "sha256": "b6fcc48228783808d0b77a2fa497543b9263f8e3af13916a1bc6b64a66424e7b" + }, + { + "path": "research/p104-temporal-237-595-composition/certificate.py", + "size": 5858, + "sha256": "80ecaa921e6719047090fad7d672c85d10e4198c222fbcfe20fa3dd8fc357eee" + }, + { + "path": "research/p104-temporal-237-595-composition/construct.py", + "size": 668, + "sha256": "8f0021a76a50abdfb943ee5e9c729bdac7e8208719248f55638b8d1bc14a3eec" + }, + { + "path": "research/p104-temporal-237-595-composition/derive_grid.py", + "size": 1510, + "sha256": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0" + }, + { + "path": "research/p104-temporal-237-595-composition/inputs/pr7147.tar.gz", + "size": 408345, + "sha256": "9c1614a4873ad9b72c7050602cd0a8e2c7d2192102a283aed4a9090bb7ebea88" + }, + { + "path": "research/p104-temporal-237-595-composition/inputs/pr7148.tar.gz", + "size": 24704562, + "sha256": "6258e2e16dd9cc740639ed321523148997aa9179b95c8bedcf2099835f7abcf7" + }, + { + "path": "research/p104-temporal-237-595-composition/price.py", + "size": 4860, + "sha256": "7346444572919a6a5a6bd2503f3b76ed0f0fce38537c7124e8b0bf282f2bd6a5" + }, + { + "path": "research/p104-temporal-237-595-composition/source.py", + "size": 4600, + "sha256": "35a3a38c6fe57cfb703a57a0382ef6f6b738131753b5fb5b97a68185b82994e1" + }, + { + "path": "research/p104-temporal-237-595-composition/split.py", + "size": 6551, + "sha256": "999b9eeabe5cd1a7e3ec014d1a449f850b4ac9bfb19749cddef41ae12cd0b405" + }, + { + "path": "research/p104-temporal-237-595-composition/support.py", + "size": 606, + "sha256": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6" + }, + { + "path": "research/p104-temporal-237-595-composition/temporal_construct.py", + "size": 7156, + "sha256": "2e07135e9c733bd0a6d61eb1d9c2bfbf5b482f599dcb6f82238e15ee9bd93018" + }, + { + "path": "research/p104-temporal-237-595-composition/verify.py", + "size": 3699, + "sha256": "b3962d30b1be1082b8158328a4f25f185d6a63716e3cbee300a6f81b64dedbd7" + }, + { + "path": "research/p104-temporal-237-595-composition/verify_certificate.py", + "size": 5671, + "sha256": "d8350f278fb20f8c4fe6423541c650928e9dad80af5dec816500a2aa1df59631" + }, + { + "path": "research/p104-temporal-237-595-composition/verify_native.py", + "size": 12407, + "sha256": "cb8f4c7a175cf091beebb4601ebdf1d9599fe541c460baaa869d17eee089db4b" + } + ] +} diff --git a/research/p104-temporal-chart306-continuation/NATIVE-RESULT.json b/research/p104-temporal-chart306-continuation/NATIVE-RESULT.json new file mode 100644 index 0000000000..3d84a6fa5f --- /dev/null +++ b/research/p104-temporal-chart306-continuation/NATIVE-RESULT.json @@ -0,0 +1,3113 @@ +{ + "caller": { + "bad_outputs": [], + "caller_denominator_height_bound": 431, + "caller_mass_bound": "2031778024781380738667307850969872261300825114412066667930609010754885615256246771273722516797028373875488084463456734932931819440254377992064287155336455679722182496470290893143689397339193405421398373633/137438953472", + "caller_mass_ceiling_bits": 642, + "max_terms": 3998 + }, + "charts": { + "new_pairs": [], + "rechecked_pairs": [ + { + "columns": 512, + "pair": [ + 3, + 127 + ], + "rank": 9 + }, + { + "columns": 512, + "pair": [ + 3, + 306 + ], + "rank": 4 + }, + { + "columns": 512, + "pair": [ + 9, + 127 + ], + "rank": 8 + }, + { + "columns": 512, + "pair": [ + 9, + 306 + ], + "rank": 3 + }, + { + "columns": 512, + "pair": [ + 306, + 127 + ], + "rank": 5 + } + ], + "wrong_phase_rejected": true + }, + "controls": { + "extra_uncharged_owned_lifetime": true, + "gather_after_retirement": true, + "incomplete_paid_path": true, + "injection_before_retirement": true, + "insufficient_fractional_grid": true, + "insufficient_odd_grid": true, + "omitted_accumulator_init": true, + "omitted_gathers_observation": true, + "omitted_injections_observation": true, + "omitted_paid_midpoint_cost": true, + "omitted_retiring_output_frame": true, + "output_invisible_copy_violation_detected": true, + "oversized_scalar_numerator_rejected": true, + "public_erasure_rejected": true, + "retirement_before_last_gather": true, + "wrong_boundary_scalar_coefficient": true, + "wrong_gathers_coefficient": true, + "wrong_injections_coefficient": true, + "wrong_move_source": true, + "wrong_productive_ranks": true + }, + "derived_grid": { + "coefficient_visits": 16423853, + "fractional_bits": 25, + "mass_witness": [ + 66067, + "stored" + ], + "odd_scale": 1125, + "scaled_maximum_mass": "841374570120675/8192", + "unscaled_maximum_mass": "11218327601609/122880" + }, + "forward": { + "coefficient_positions": 2430481, + "fractional_bits": 25, + "grid": 1125, + "rows": 1559 + }, + "gate": { + "BIT_margin": "12289808933893/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16502900000000000000000", + "alpha": [ + 0.9999999999999993, + 0.9999999999999993 + ], + "claim": "3643791910661/1000000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.8859276994879841, + 0.8859276994879841 + ], + "derivative_upper": -407024.6594367799, + "gamma": [ + 0.9499229833398299, + 0.9499229833398299 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3643791910661/1000000000000000": [ + "31080073460420287527900645599158597642052343376183173956233919460151518269117/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124320293841681150111602582396634390568209373504732695824935677840606073078399/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364379191066107/100000000000000000": [ + "124320293841683436535294189618744433388506581807063639147027963881734955916579/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124320293841683436535294189618744433388506581807063639147027963881734955918539/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2235, + "moment_margin_float": { + "2277369944163484775329035652559/625000000000000000000000000000000": [ + 3.4132289217350086e-29, + 3.4132289217350086e-29 + ], + "364379191066107/100000000000000000": [ + 2.0933467086661447e-10, + 2.0933467086661447e-10 + ], + "7287583821323151281052914088189/2000000000000000000000000000000000": [ + -7.267610496661059e-30, + -7.267610496661059e-30 + ] + }, + "moment_margins": { + "2277369944163484775329035652559/625000000000000000000000000000000": [ + "341322892173500874565067694125676135631523842173973/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "853307230433752186412669235314190339078809615928651/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364379191066107/100000000000000000": [ + "5233366771665361934062802164522696644504722757922705094400935631263857/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "10466733543330723868125604329045393289009445515845410188801871283459799/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "7287583821323151281052914088189/2000000000000000000000000000000000": [ + "-181690262416526495443698602316233164021987924149929/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-363380524833052990887397204632466328043975827352361/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "2277369944163484775329035652559/625000000000000000000000000000000", + "7287583821323151281052914088189/2000000000000000000000000000000000" + ], + "tested": "364379191066107/100000000000000000", + "written_log_power": 2236 + }, + "grid": { + "dyadic_height": 25, + "maximum_scaled_mass": "841374570120675/8192", + "odd_divisions": { + "ADD": 5829, + "SCALE": 71 + }, + "odd_grid_lcm": 1125, + "opcodes": { + "ADD": 66089, + "CLEAR": 64, + "COPY": 1, + "INIT": 64, + "MOVE": 6278, + "SCALE": 3724 + }, + "owned_lifetimes": 64, + "owned_peak": 47, + "owned_rise_mass": 56, + "owned_rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + }, + "paid": { + "1": 3998, + "2": 853, + "3": 829, + "4": 225, + "5": 344, + "6": 14, + "7": 10, + "8": 5 + } + }, + "invoice": { + "P": { + "1": 72348, + "16": 416, + "2": 15354, + "24": 416, + "3": 14922, + "32": 416, + "4": 4050, + "40": 416, + "48": 416, + "5": 6192, + "56": 416, + "6": 252, + "64": 416, + "7": 180, + "8": 762, + "9": 32 + }, + "S": 1520, + "T": { + "1": 306, + "145": 208, + "17": 416, + "2": 378, + "25": 416, + "3": 846, + "33": 416, + "4": 3996, + "41": 416, + "49": 416, + "5": 1404, + "57": 416, + "6": 774, + "65": 416, + "7": 342, + "73": 416, + "8": 630, + "9": 11504 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036437919106615756405264570440944824453427499452349229915201208943", + "raw_crossing": "0.0036437919106615756405264570440944824453427499452349229915201208943" + }, + "limitations": [ + "Five inherited framework assumptions remain.", + "Source-aware retained engines are not independent human/formal acceptance.", + "The complete 17-stage application is checked separately." + ], + "native": { + "bad_inputs": [], + "events": 76220, + "helpers": { + "1": 17, + "2": 21, + "3": 47, + "4": 222, + "5": 78, + "6": 43, + "7": 19, + "8": 35, + "9": 616 + }, + "lifetimes": 64, + "owned_peak": 47, + "paid": { + "1": 3998, + "2": 853, + "3": 829, + "4": 225, + "5": 344, + "6": 14, + "7": 10, + "8": 5 + }, + "public": 1498, + "rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + } + }, + "ordinary": { + "caller_items": { + "A": { + "envelope": 124674048, + "field_boundary": 94848, + "fused_routes": 0, + "idle_routes": 185472000, + "output_routes": 229056000, + "query_routes": 1152000, + "thin": 6144 + }, + "B": { + "envelope": 39515136, + "field_boundary": 7904, + "fused_routes": 1168000, + "idle_routes": 19552000, + "output_routes": 19088000, + "query_routes": 0, + "thin": 0 + } + }, + "caller_total": 619786080, + "conservative_total": 855861136, + "extra_B_scalar_surcharge": 784256, + "init_clear_allowance": 256, + "lambda_paid_rank1_would_reduce_S_by": 14384, + "lambda_second_charge": 14384000, + "margin_to_billion": 144138864, + "odd_divisions": { + "ADD": 5829, + "SCALE": 71 + }, + "per_input_conversion": 2804256, + "raw_upper": 837888624, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2196, + "moves": 6278, + "owned_lifetime": 256, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9930000, + "scalar_upper": 2186808 + }, + "physical_checks": [ + "verify_host3_odd.py", + "physical.py" + ], + "precision": { + "Kstar_bits": 14093, + "caller": { + "denominator_height": 431, + "maximum_mass": "2031778024781380738667307850969872261300825114412066667930609010754885615256246771273722516797028373875488084463456734932931819440254377992064287155336455679722182496470290893143689397339193405421398373633/137438953472", + "pre_joint_height": 426, + "pre_joint_mass": "766527916529583301313228867197686200815349463045311717713050641430930492401493758087731346459407655106441982454343595473292801327075604294093436993244143470221321807686760749419510412771973080166736111/17179869184" + }, + "context_c": 1342, + "context_height": 451, + "context_mass_bits": 671, + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "1182248980336887737748287474466790052943968242433465012548105251062550289758954420420999444698435113332896376395765617654046557447417936701261909854833653563242007258274076379001329969313070455944102870404074575481350816204128804023545692792898701567846004966111813675807532504956840891909317582314769089335701327896781663678859/3028147527897511472958985459201159987200000000000000000000", + "strict_power_of_two": 896, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Gamma_context": { + "exact": "761905139186012968951494552364074746170682075304747165145153264655192057360913962382536362974678234773293600202574872459736886915425201224599046998770475173720310084323440000461002038606460088810400741178319503167830498259376283462554711447126410145625468130875234312207359042546202153607608069314933856356540428034724740863731519/14535108133908055070203130204165567938560000000000000000000", + "strict_power_of_two": 903, + "witness": { + "cut": 5112, + "factor": "1", + "kind": "public-return", + "register": 75 + } + }, + "M_caller": { + "exact": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "strict_power_of_two": 619, + "witness": { + "cut": 5076, + "event": 5075, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "M_context": { + "exact": "14410092858773335809725030914623224248777543157901134985331421040729863615990801928595194933427279330534337725676558951190551218787034737146223022423893851928746739244918518721812241015088733570512951132910604226034735590678944571578601015774519770255520649198634327571424432120769586213357244299305839898924641733282858003532466037631/129200961190293822846250046259249492787200000000000000000000", + "strict_power_of_two": 914, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + }, + "M_joint_entrance": { + "exact": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "strict_power_of_two": 612, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Sigma_caller": { + "exact": "761905139186012968951494552364074746170682075304747165145153264655192057360913962382536362974678234773293600202574872459736886915425201224599046998770475173720310084323440000461002038606460088810400741178319503167830498259376283462554711447126410145625468130875234312207359042546202153607608069314933856356540428034724740863731519/14535108133908055070203130204165567938560000000000000000000", + "strict_power_of_two": 903, + "witness": { + "cut": 5098, + "event": 5097, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "Sigma_context": { + "exact": "3858332343946868672586902315494215276534770900059697355032851578632225203653665977264028707152696290781334013656045281432309439001857783508185366219609839351627541973715416846314897804446244707351713742129973745632844511257239048363806460159504035299103929594105126161315086585852034183730768919122117895679252185487595622779486928060391591942748511958330536693222704184428686350955167472114247881260606872808223575089165364179412587960625616916475299869815103280339453880107/1432762101673720316311763316486079954482839766905938437993018373445360025600000000000000000000000000000000000000000", + "strict_power_of_two": 1198, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 19764, + "helper_allocation_premise": "distinct (stage, helper) public inputs as in frozen caller proof", + "independent_adjoint": { + "E_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "1182248980336887737748287474466790052943968242433465012548105251062550289758954420420999444698435113332896376395765617654046557447417936701261909854833653563242007258274076379001329969313070455944102870404074575481350816204128804023545692792898701567846004966111813675807532504956840891909317582314769089335701327896781663678859/3028147527897511472958985459201159987200000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "761905139186012968951494552364074746170682075304747165145153264655192057360913962382536362974678234773293600202574872459736886915425201224599046998770475173720310084323440000461002038606460088810400741178319503167830498259376283462554711447126410145625468130875234312207359042546202153607608069314933856356540428034724740863731519/14535108133908055070203130204165567938560000000000000000000" + }, + "M_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528104995/131072", + "residual_mass": "761905139186012968951494552364074746170682075304747165145153264655192057360913962382536362974678234773293600202574872459736886915425201224599046998770475173720310084323440000461002038606460088810400741178319503167830498259376283462554711447126410145625468130875234312207344507438068245552537866184729690788601868034724740863731519/14535108133908055070203130204165567938560000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "1182248980336887737748287474466790052943968242433465012548105251062550289758954420420999444698435113332896376395765617654046557447417936701261909854833653563242007258274076379001329969313070455944102870404074575481350816204128804023545692792898701567846004966111813675807532504956840891909317582314769089335701327896781663678859/3028147527897511472958985459201159987200000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "761905139186012968951494552364074746170682075304747165145153264655192057360913962382536362974678234773293600202574872459736886915425201224599046998770475173720310084323440000461002038606460088810400741178319503167830498259376283462554711447126410145625468130875234312207359042546202153607608069314933856356540428034724740863731519/14535108133908055070203130204165567938560000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "4384", + "entrance_mass": "23859/2", + "event": 49, + "stage": 1 + }, + { + "entrance_defect": "149810423337962978232804388716305518850116785462554514845399098980678879804492185158089108284803987822037933956344102587349217326380764104308181407849/554470372539827540214657982031462400000000000000000000", + "entrance_mass": "44760984243/4", + "event": 144, + "stage": 2 + }, + { + "entrance_defect": "429439409108501893682329881648437731376490589854765281280994153922654438146577940964681245567005227903630143659324382556477082306726533567869275602313628887771/35486103842548962573738110850013593600000000000000000000", + "entrance_mass": "8019347752894898813/16", + "event": 275, + "stage": 3 + }, + { + "entrance_defect": "5541861489384196478266664275112026376629307683007506949252892708950250217937206724530193475381800071308380521486646427540349376804411733935718980667248986725986429767/1774305192127448128686905542500679680000000000000000000", + "entrance_mass": "258721681913211409397548013/2", + "event": 435, + "stage": 4 + }, + { + "entrance_defect": "19684496172736951903448077241178730990760046056819164675438388416354502147388096989953950759041315501381621565025221452001409776831132814094211833393262373716792840527005327199/11828701280849654191246036950004531200000000000000000000", + "entrance_mass": "1102764325780487636837595009524032653/16", + "event": 627, + "stage": 5 + }, + { + "entrance_defect": "35327068663972885179525079577606357062952220366440926708216063871429160734628796303503955718104938164023695968087123640835425196749685019298097541874262025800191501978036696856912265897/8871525960637240643434527712503398400000000000000000000", + "entrance_mass": "659697369868562418053848749577901431896032551/4", + "event": 848, + "stage": 6 + }, + { + "entrance_defect": "535693721691895619712737964399351691165667492864201537771118422671918294508308959455678831022777562706987353556839862108991120210035374858544735642175548474965410934983773115002691197367510949303/56777766148078340117980977360021749760000000000000000000", + "entrance_mass": "50017699262951285012300223375874644326538714050483088723/128", + "event": 1101, + "stage": 7 + }, + { + "entrance_defect": "2210929039375937953382721585780038842490523742131754153159874676759742293085071712391395336671343210705373781858081814030367382053547865720948883228891098206904637307356823916927488678764986263242442215881/23657402561699308382492073900009062400000000000000000000", + "entrance_mass": "123860608372223676361208276303474840021608894935793894644443117475/32", + "event": 1383, + "stage": 8 + }, + { + "entrance_defect": "23931332651871160156839573994989881436352563412237975765028708153301378423877812062935015216455150622080879820018899854640094518510844842034737900664444390712443718494776996682821650954074152662837651056250651156729/141944415370195850294952443400054374400000000000000000000", + "entrance_mass": "446893495694686287960280473450842802655971489871616126572592413520841719161/64", + "event": 1662, + "stage": 9 + }, + { + "entrance_defect": "686827669759659903570143827597491442443865444883356462462591533401230505517551066150345104964230396623381159125585278684635352376763372728797683417338889465084429437171293527971092998696092594376893209332556965542995472429599790278184704021772571134201900297/35486103842548962573738110850013593600000000000000000000", + "entrance_mass": "1603226733879417057855793968966209778425632456862348198524030211565823693253398434234475406089669867705587698766845597/2", + "event": 3203, + "stage": 10 + }, + { + "entrance_defect": "8567570553954838447706709062455499597751559161512317142597239898517976023623557750405999520073757102503987837553274094986346221061744777900011458973137173842202739560669802613983064388205103973011030200808843285705801679457782967547878761908783474852498317681716474583/567777661480783401179809773600217497600000000000000000000", + "entrance_mass": "159990737255009044304340266028013949411590186711547802615104749842798991699729693917477577741470706009608765481680513095697397863/256", + "event": 3526, + "stage": 11 + }, + { + "entrance_defect": "38207286903633527267799378545118384544143474969567590389640163515456272233936750740957221080806391921362205966722474427179981720412161147127244644105241991390605060710546176506833891394089250227885088995992550805214971743140630932954279206121470981716319243486633837660204739823/2271110645923133604719239094400869990400000000000000000000", + "entrance_mass": "713482539972112811302498126039122556478474335397824876612540289480809876975347015211250548661355667282704396311981650378099911649135840063/1024", + "event": 3821, + "stage": 12 + }, + { + "entrance_defect": "4109267688239850361224096856985110997538484934630864632438597351278862318043782681297587027053691427067111526182356644420130134598952399620000781541967936130853859580662216971807240232405677841374675796334381230691605467538173100446621545739424931285527531388427063075052592739785690917/252345627324792622746582121600096665600000000000000000000", + "entrance_mass": "690627858377635566118234917748020783796286454330854789097666289598705747090709204201800639258908872647850357504982405971722609074791401430947671165/1024", + "event": 4088, + "stage": 13 + }, + { + "entrance_defect": "25215017774961526678706188283139825084538126032923155792162179023686295458842763108961541049801659681782358893898782339635154745227874263068037472250291033726697357675365729651423753871149773809701463951868550958279043115222674604011441388512169539845856709975905852995992242669257757164865532871/4542221291846267209438478188801739980800000000000000000000", + "entrance_mass": "470865020405587123936906066570155601953174646068287322382245101819760273515813542612024822098129182481570490831889396523550001544922531326945370763196989399/2048", + "event": 4324, + "stage": 14 + }, + { + "entrance_defect": "2488255889243262930852087610016958162909821217480298334954696804029592954154287203821515621609421092762603201065603619763067882975830755368422307070177253370804677761361586102478315439949126971821121908423387805393084599115422509736414550295161185404087548535937298065573560314491845795819215711130716953/2271110645923133604719239094400869990400000000000000000000", + "entrance_mass": "46465668615402712050475352820015987705766128000689019237904160504542353131957951954454381327545881694314550682714483945959032017848349099581053150524269011108711881/1024", + "event": 4532, + "stage": 15 + }, + { + "entrance_defect": "1215525455734956989684657970020865658317645322971464025598203383852450196051908974132307926818830628006488889674355927974324101702052369475169894687254738342083069520348794360518385593082443082598668392567229222409525840482184227359954698993206910030088706430819395300377987935879198526582092729475543284051859087/18168885167385068837753912755206959923200000000000000000000", + "entrance_mass": "22698711681515933658235268009935719580127806482189476469420786919611768582281970304620813093468639555288906634046185136362302550495196405154606658307111274865117192668126623/8192", + "event": 4709, + "stage": 16 + }, + { + "entrance_defect": "2510116881920815722129298320842033163690305533259379201664994368312065112314868628018402047582823657541399389789561381192140246619648307104550857362253459434883308879323172836049598554978918668244761072472797820868063061990094159967854341994926753459033370932090332910878365515329581067509194032657525358974994184248913/3633777033477013767550782551041391984640000000000000000000", + "entrance_mass": "234369503003028720835110712559034466962392865438574454855472632480300248897620917700915501102797005900029816899906431175273180672543487679750570754841237111980601879269511857634373/8192", + "event": 4858, + "stage": 17 + }, + { + "entrance_defect": "1182248980336887737748287474466790052943968242433465012548105251062550289758954420420999444698435113332896376395765617654046557447417936701261909854833653563242007258274076379001329969313070455944102870404074575481350816204128804023545692792898701567846004966111813675807532504956840891909317582314769089335701327896781663678859/3028147527897511472958985459201159987200000000000000000000", + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "event": 4982, + "stage": 18 + } + ], + "physical_main_inputs": 3952, + "sites": { + "ADD": 4102, + "IDLE_ODD": 4, + "IDLE_ONE": 96, + "J": 18, + "LAMBDA": 214, + "QUERY": 4, + "SCALE": 298, + "SWAP": 376, + "noninteger_scalar": 1562 + } + }, + "rounded_native": { + "bounds": { + "Gamma": { + "exact": "1061499056465007533658830368354971755674634102093477087566864111929192592729394570704429412931617573311298809706897777856752633181801050827303579/2217881490159310160858631928125849600000000000000000000", + "strict_power_of_two": 298, + "witness": { + "cut": 76220, + "factor": "1", + "kind": "public-return", + "register": 1495 + } + }, + "M": { + "exact": "3263553116237340840197917265959322716429740113375079279396173590706030093396298950666052324346125703944118147898948549593443847883566912034766312673/473148051233986167649841478000181248000000000000000000000", + "strict_power_of_two": 302, + "witness": { + "cut": 76207, + "factor": "1", + "kind": "stored", + "register": 1495 + } + }, + "Sigma": { + "exact": "1061499056465007533658830368354971755674634102093477087566864111929192592729394570704429412931617573311298809706897777856752633181801050827303579/2217881490159310160858631928125849600000000000000000000", + "strict_power_of_two": 298, + "witness": { + "cut": 76207, + "factor": "1", + "kind": "stored", + "register": 1495 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 76220, + "lifetimes": 64, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 66089, + "CLEAR": 64, + "COPY": 1, + "INIT": 64, + "MOVE": 6278, + "SCALE": 3724 + }, + "owned_labels": 61, + "peak_owned": 47, + "public": 1498, + "scalars": { + "dyadic": 63914, + "integer": 39663, + "noninteger": 30151, + "odd": 5900 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26048, + "entrance_mass": "3263553116237340840197917265959322716429740113375079279396173590706030093396298950666052324346125703944118147898948549593443847883566912034766312673/473148051233986167649841478000181248000000000000000000000", + "residual_mass": "1061499056465007533658830368354971755674634102093477087566864111929192592729394570704429412931617573311298809706897777856752633181801050827303579/2217881490159310160858631928125849600000000000000000000" + }, + "M": { + "active_residual_sites": 26048, + "entrance_mass": "3263553116237340840197917265959322716429740113375079279396173590706030093396298950666052324346125703944118147898948549593443847883566912034766312673/473148051233986167649841478000181248000000000000000000000", + "residual_mass": "1061499056465007533658830368354971755674634102093477087566864111929192592729394570704429412931617573311298809706897777856752633181801050827303579/2217881490159310160858631928125849600000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26048, + "entrance_mass": "3263553116237340840197917265959322716429740113375079279396173590706030093396298950666052324346125703944118147898948549593443847883566912034766312673/473148051233986167649841478000181248000000000000000000000", + "residual_mass": "1061499056465007533658830368354971755674634102093477087566864111929192592729394570704429412931617573311298809706897777856752633181801050827303579/2217881490159310160858631928125849600000000000000000000" + } + } + }, + "scope": "Exact-child grid and attributed all-fibre error envelope, with one signed unitary per fused event", + "word": { + "coefficient_visits": 16423853, + "dyadic_height": 25, + "mass_witness": [ + 66067, + "stored add" + ], + "maximum_scaled_mass": "841374570120675/8192", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + } + }, + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "722637509208726172243630393592818771307857512907936283903815270014839194831121/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "2890550036834904688974521574371275085231430051631745135615261080059356798237077/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003643791910661", + "gain": "1.39640396E-7", + "gain_exact": "34910099/250000000000000", + "independent_raw_bracket": [ + "0.00364379191066157564052645704409448", + "0.00364379191066157564052645704409449" + ], + "previous_claim": "728730454053/200000000000000", + "raw_bracket": [ + "0.0036437919106615756405264570440944", + "0.0036437919106615756405264570440945" + ] + }, + "signed_routes": { + "ambient": 153, + "bindings": [ + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 69, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 17, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 6 + ], + [ + "XOR", + 0, + 6 + ], + [ + "XOR", + 1, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 6 + ], + [ + "XOR", + 6, + 1 + ], + [ + "XOR", + 4, + 1 + ], + [ + "XOR", + 6, + 0 + ], + [ + "XOR", + 4, + 0 + ] + ], + "old9_inverse": [ + 81, + 82, + 4, + 8, + 67, + 32, + 19, + 128, + 256 + ], + "old9_route": [ + 81, + 82, + 4, + 8, + 67, + 32, + 19, + 128, + 256 + ], + "ordinary_elementary_units": 35, + "ordinary_route_units": 19, + "port": 15, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 81, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 64, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 17, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 6 + ], + [ + "XOR", + 0, + 6 + ], + [ + "XOR", + 1, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 6 + ], + [ + "XOR", + 6, + 1 + ], + [ + "XOR", + 4, + 1 + ], + [ + "XOR", + 6, + 0 + ], + [ + "XOR", + 4, + 0 + ] + ], + "old9_inverse": [ + 81, + 82, + 4, + 8, + 67, + 32, + 19, + 128, + 256 + ], + "old9_route": [ + 81, + 82, + 4, + 8, + 67, + 32, + 19, + 128, + 256 + ], + "ordinary_elementary_units": 35, + "ordinary_route_units": 19, + "port": 15, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 81, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 63, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 19, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 4, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 4, + 0 + ] + ], + "old9_inverse": [ + 273, + 274, + 4, + 8, + 259, + 32, + 64, + 128, + 19 + ], + "old9_route": [ + 273, + 274, + 4, + 8, + 259, + 32, + 64, + 128, + 19 + ], + "ordinary_elementary_units": 35, + "ordinary_route_units": 19, + "port": 17, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 273, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 60, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 19, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 4, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 4, + 0 + ] + ], + "old9_inverse": [ + 273, + 274, + 4, + 8, + 259, + 32, + 64, + 128, + 19 + ], + "old9_route": [ + 273, + 274, + 4, + 8, + 259, + 32, + 64, + 128, + 19 + ], + "ordinary_elementary_units": 35, + "ordinary_route_units": 19, + "port": 17, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 273, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 67, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 30, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 2 + ], + [ + "XOR", + 0, + 2 + ], + [ + "SWAP", + 2, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 2, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 2, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 262, + 261, + 259, + 8, + 16, + 32, + 64, + 128, + 7 + ], + "old9_route": [ + 262, + 261, + 259, + 8, + 16, + 32, + 64, + 128, + 7 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 27, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 262, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 61, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 30, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 2 + ], + [ + "XOR", + 0, + 2 + ], + [ + "SWAP", + 2, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 2, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 2, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 262, + 261, + 259, + 8, + 16, + 32, + 64, + 128, + 7 + ], + "old9_route": [ + 262, + 261, + 259, + 8, + 16, + 32, + 64, + 128, + 7 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 27, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 262, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 55, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 38, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 6 + ], + [ + "XOR", + 0, + 6 + ], + [ + "XOR", + 1, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 6 + ], + [ + "XOR", + 6, + 1 + ], + [ + "XOR", + 5, + 1 + ], + [ + "XOR", + 6, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 98, + 97, + 4, + 8, + 16, + 67, + 35, + 128, + 256 + ], + "old9_route": [ + 98, + 97, + 4, + 8, + 16, + 67, + 35, + 128, + 256 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 34, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 98, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 68, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 38, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 6 + ], + [ + "XOR", + 0, + 6 + ], + [ + "XOR", + 1, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 6 + ], + [ + "XOR", + 6, + 1 + ], + [ + "XOR", + 5, + 1 + ], + [ + "XOR", + 6, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 98, + 97, + 4, + 8, + 16, + 67, + 35, + 128, + 256 + ], + "old9_route": [ + 98, + 97, + 4, + 8, + 16, + 67, + 35, + 128, + 256 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 34, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 98, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 60, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 40, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 5, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 290, + 289, + 4, + 8, + 16, + 259, + 64, + 128, + 35 + ], + "old9_route": [ + 290, + 289, + 4, + 8, + 16, + 259, + 64, + 128, + 35 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 35, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 290, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 69, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 40, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 5, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 290, + 289, + 4, + 8, + 16, + 259, + 64, + 128, + 35 + ], + "old9_route": [ + 290, + 289, + 4, + 8, + 16, + 259, + 64, + 128, + 35 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 35, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 290, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 62, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 47, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 2, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 2, + 3 + ], + [ + "XOR", + 0, + 3 + ], + [ + "SWAP", + 3, + 8 + ], + [ + "XOR", + 8, + 2 + ], + [ + "XOR", + 3, + 2 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 3, + 0 + ], + [ + "SWAP", + 0, + 2 + ] + ], + "old9_inverse": [ + 268, + 2, + 265, + 261, + 16, + 32, + 64, + 128, + 13 + ], + "old9_route": [ + 268, + 2, + 265, + 261, + 16, + 32, + 64, + 128, + 13 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 42, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 268, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 62, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 47, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 2, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 2, + 3 + ], + [ + "XOR", + 0, + 3 + ], + [ + "SWAP", + 3, + 8 + ], + [ + "XOR", + 8, + 2 + ], + [ + "XOR", + 3, + 2 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 3, + 0 + ], + [ + "SWAP", + 0, + 2 + ] + ], + "old9_inverse": [ + 268, + 2, + 265, + 261, + 16, + 32, + 64, + 128, + 13 + ], + "old9_route": [ + 268, + 2, + 265, + 261, + 16, + 32, + 64, + 128, + 13 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 42, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 268, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 60, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 52, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 2, + 7 + ], + [ + "XOR", + 0, + 7 + ], + [ + "XOR", + 2, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 7 + ], + [ + "XOR", + 7, + 2 + ], + [ + "XOR", + 5, + 2 + ], + [ + "XOR", + 7, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 2 + ] + ], + "old9_inverse": [ + 164, + 2, + 161, + 8, + 16, + 133, + 64, + 37, + 256 + ], + "old9_route": [ + 164, + 2, + 161, + 8, + 16, + 133, + 64, + 37, + 256 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 47, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 164, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 69, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 52, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 2, + 7 + ], + [ + "XOR", + 0, + 7 + ], + [ + "XOR", + 2, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 7 + ], + [ + "XOR", + 7, + 2 + ], + [ + "XOR", + 5, + 2 + ], + [ + "XOR", + 7, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 2 + ] + ], + "old9_inverse": [ + 164, + 2, + 161, + 8, + 16, + 133, + 64, + 37, + 256 + ], + "old9_route": [ + 164, + 2, + 161, + 8, + 16, + 133, + 64, + 37, + 256 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 47, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 164, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 59, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 60, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 3, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 3, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 8 + ], + [ + "XOR", + 8, + 3 + ], + [ + "XOR", + 4, + 3 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 4, + 0 + ], + [ + "SWAP", + 0, + 3 + ] + ], + "old9_inverse": [ + 280, + 2, + 4, + 273, + 265, + 32, + 64, + 128, + 25 + ], + "old9_route": [ + 280, + 2, + 4, + 273, + 265, + 32, + 64, + 128, + 25 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 55, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 280, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 55, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 60, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 3, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 3, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 8 + ], + [ + "XOR", + 8, + 3 + ], + [ + "XOR", + 4, + 3 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 4, + 0 + ], + [ + "SWAP", + 0, + 3 + ] + ], + "old9_inverse": [ + 280, + 2, + 4, + 273, + 265, + 32, + 64, + 128, + 25 + ], + "old9_route": [ + 280, + 2, + 4, + 273, + 265, + 32, + 64, + 128, + 25 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 55, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 280, + "stage": 10 + } + ], + "paid_calls": 32, + "proposed_sha": "9557f713ab4ffb91ede05e8a6d5668c694b9940fc16f2f2d657e2f2b2cac2d3f", + "status": "PASS_PHYSICAL_RANK9_ALGEBRA", + "word_sha": "b012295cfe44d204c2724fe544731ac17aa969e06e33043496ac7a1c91a912b3" + }, + "source_head": "594d57036057f88f8bacc82e9c203bd4cb3276b9", + "status": "PASS_TEMPORAL_CHART306_NATIVE", + "timed_certificate": { + "boundary_pairing": "1", + "earliest_injection": 37777, + "gather_count": 5, + "injection_count": 7, + "latest_gather": 36772, + "retirement_cut": 36772, + "status": "PASS_EXACT_GUARDED_TIMED_OBSERVATIONS", + "vectors": { + "c": { + "1025": "-2", + "1029": "-5/2", + "334": "2", + "349": "-4" + }, + "d": { + "1021": "1/2", + "334": "-1/2", + "349": "-1/2", + "831": "-1/2" + } + } + }, + "word_canonical_sha256": "b012295cfe44d204c2724fe544731ac17aa969e06e33043496ac7a1c91a912b3" +} diff --git a/research/p104-temporal-chart306-continuation/NOTICE b/research/p104-temporal-chart306-continuation/NOTICE new file mode 100644 index 0000000000..45ae369fa9 --- /dev/null +++ b/research/p104-temporal-chart306-continuation/NOTICE @@ -0,0 +1,22 @@ +Prepared for Clear1nsight with substantial OpenAI Codex and ChatGPT Pro +assistance. Apache-2.0. + +Rohan Arun: chart-237 witness, signed application and endpoint construction. +dillona: complete chart-595 source, width repair and temporal replay adaptation. +Ali Romman: causal-history owned-buffer identity and helper bases +(https://github.com/CrocSwap/integer-mult-bounds/discussions/5600#discussioncomment-19209322). +Jerry Chen / CubeJerry: contact-free retiming, exact temporal histories and +verification. Matarener: complete helper kernels. ToikY: price engines and +earlier chart leads. Cinna Davis / 1337isnot1337, Dugongue, DreamingOfClouds, +Douglas Colkitt/#7000 reviewers and all authors in the source closure retain +their credit. + +The complete #7148 package, original notices, and all nested sources are +retained verbatim inside its archive. #7147 contributes eight exact source +files, including its NOTICE, not a second duplicate source closure. The +local copies of derive_grid.py, split.py, support.py and temporal_construct.py +are byte-identical to #7148 and checked against it before use. Local replay +adapters are credited in their headers. The separate CI navigation prerequisite +is reused verbatim from #7147. + +New chart306 timed instance: Rohan Arun with substantial OpenAI Codex assistance. Retains Ali Romman causal-history identity, CubeJerry temporal/verification methods, Matarener kernels, dillona source instances, Clear1nsight guarded composition, ToikY pricing and all nested source notices. Apache-2.0. diff --git a/research/p104-temporal-chart306-continuation/PATHS.json b/research/p104-temporal-chart306-continuation/PATHS.json new file mode 100644 index 0000000000..a33773333c --- /dev/null +++ b/research/p104-temporal-chart306-continuation/PATHS.json @@ -0,0 +1,145 @@ +[ + { + "role": 781, + "lo": 36822, + "hi": 37777, + "frame": 306, + "moves": [ + 37776 + ], + "frames": [ + 306, + 517 + ] + }, + { + "role": 831, + "lo": 36275, + "hi": 36785, + "frame": 306, + "moves": [ + 36784 + ], + "frames": [ + 304, + 306 + ] + }, + { + "role": 831, + "lo": 37218, + "hi": 45479, + "frame": 306, + "moves": [ + 45478 + ], + "frames": [ + 306, + 267 + ] + }, + { + "role": 864, + "lo": 37218, + "hi": 48031, + "frame": 306, + "moves": [ + 48030 + ], + "frames": [ + 306, + 127 + ] + }, + { + "role": 1020, + "lo": 36772, + "hi": 36800, + "frame": 306, + "moves": [ + 36799 + ], + "frames": [ + 299, + 306 + ] + }, + { + "role": 1020, + "lo": 36823, + "hi": 37783, + "frame": 306, + "moves": [ + 37782 + ], + "frames": [ + 306, + 518 + ] + }, + { + "role": 1021, + "lo": 36815, + "hi": 56953, + "frame": 306, + "moves": [ + 56952 + ], + "frames": [ + 306, + 127 + ] + }, + { + "role": 1023, + "lo": 32458, + "hi": 36789, + "frame": 306, + "moves": [ + 36788 + ], + "frames": [ + 300, + 306 + ] + }, + { + "role": 1025, + "lo": 36769, + "hi": 36798, + "frame": 306, + "moves": [ + 36797 + ], + "frames": [ + 298, + 306 + ] + }, + { + "role": 1025, + "lo": 36824, + "hi": 57114, + "frame": 306, + "moves": [ + 57113 + ], + "frames": [ + 306, + 127 + ] + }, + { + "role": 1029, + "lo": 36301, + "hi": 36802, + "frame": 306, + "moves": [ + 36801 + ], + "frames": [ + 302, + 306 + ] + } +] \ No newline at end of file diff --git a/research/p104-temporal-chart306-continuation/PROOF.md b/research/p104-temporal-chart306-continuation/PROOF.md new file mode 100644 index 0000000000..574c819c04 --- /dev/null +++ b/research/p104-temporal-chart306-continuation/PROOF.md @@ -0,0 +1,19 @@ +# Temporal chart 306 continuation + +The complete 32-file PR7155 export at594d57036057f88f8bacc82e9c203bd4cb3276b9 is retained with all nested sources and author notices. INPUTS.json authenticates every member. The source is reconstructed through its constructor and compared with every canonical native byte before use. + +This instantiates Ali Romman's causal-history owned-buffer identity using CubeJerry's contact-free retiming and temporal coefficients, Matarener's kernels, dillona's generic constructor, and Clear1nsight's guarded coefficient certificate. Rohan Arun supplied this source-specific instance and bounded paid-path search, with substantial OpenAI Codex assistance. No new splitting mechanism is claimed. + +Let P(t,r) be the full source prefix row and S(t,r) the guarded suffix response. In addition to final public and owned coordinates, the suffix includes a unique coordinate for each interior COPY destination-zero obligation. WITNESS.json gives five gathers and seven injections whose exact full-coordinate sums are c=−5e1029/2−4e349−2e1025+2e334 and d=−e349/2+e1021/2−e831/2−e334/2. The boundary pairing is c d=1. All non-helper, final-owned and COPY-guard coefficients must cancel in certificate.py. This is checked independently of discovery. + +All gathers occur at or before cut36772 and all injections at or after it. The contact-free neutral paths in PATHS.json are retimed without changing paid ranks. Role1034's rank-eight path9→127 is replaced by9→306→127, ranks three and five. Its original MOVE is event48585 in interval[37857,48586]. The paid midpoint supplies later observations; its availability need not precede retirement. Every path interval, source read, target write, frame and pivot residency is explicitly checked. + +Let G have pivot831 row c and G d=e831. Prepend G inverse at the input helper frame. The owned accumulator A gathers the original pivot input x. At retirement, let v be the current pivot value and z a fresh independent public input at306. Initialize B and emit B+=z; B-=A; z+=pivot; z-=A; z-=B; pivot+=A; pivot-=z. This leaves B=z_original−x, successor z=v and retired pivot=x. Clear A explicitly under the inherited owned-erasure assumption; redirect subsequent pivot uses to the successor, perform the scheduled injections of B, clear B and finish with G at127. The guarded suffix identity and G d=e831 restore every other output while the successor outputs z_original. All arbitrary public inputs and main actions are separately checked by whole-word forward/adjoint replay. + +The candidate adds40 instructions and one public field, giving1498 public fields and61 owned labels,64 lifetimes, peak47. Productive delta is T4+1,T5+1,T9−1; paid delta is P3+1,P5+1,P8−1. Both rank masses remain unchanged. The full17-stage caller applies every change17 times, retaining surplus1424 and zero empty credit. For p=1−κ, the signed native improvement is4^p+8^p−9^p−3^p. Both complete directed engines certify κ=0.003644407895539, gain0.000000140810139 over7155, with the source invoice rejecting the new claim. + +The independently derived minimal common grid is1125/F25. The owned census is enforced by counted substitutions in temporary authenticated envelope code; lifecycle validation is retained. Full ordinary, precision, scalar-width, physical, phase, catalogue and fixed-tape obligations are recorded in the verification receipts when complete. No optimality claim follows from a bounded first-positive search. + +Five inherited assumptions remain: native_all_columns, owned_erasure, compiler, precision_tape, analytic_recovery. Local verification, hosted scientific replay, maintainer admission, independent human/formal acceptance and a complete multiplication theorem remain distinct. + +Apache-2.0; all retained authors remain credited in NOTICE and the archived source closure. diff --git a/research/p104-temporal-chart306-continuation/README.md b/research/p104-temporal-chart306-continuation/README.md new file mode 100644 index 0000000000..707a73fc8e --- /dev/null +++ b/research/p104-temporal-chart306-continuation/README.md @@ -0,0 +1,23 @@ +# Temporal chart 306 continuation + +This source-bound continuation raises conditional **κ to 0.003644407895539**, **+0.000000140810139 over #7155** at `594d57036057f88f8bacc82e9c203bd4cb3276b9`. + +At chart 306, five timed gathers and seven later injections give exact helper vectors with c d = 1. Retirement at cut 36772 splits rank nine into four and five; one paid rank-eight path becomes ranks three and five. Two owned buffers and every added operation are charged. The native delta is T4 +1, T5 +1, T9 −1 and P3 +1, P5 +1, P8 −1. + +The draft was published after source-bound native/operator and complete directed pricing passed. **Full direct verification and registered isolated-cache replay now pass**, matching every frozen receipt field with all **23 scientific hashes unchanged**. Coverage includes whole forward/adjoint, the guarded temporal certificate with interior COPY-zero and final-owned obligations, 20 corruption controls, 5 sets of 512 chart/phase columns, finite physical replay, all 3,037 paid/helper maps and 104 main boundaries, ordinary/precision/fixed-tape costs, both directed prices, and 54 strict plus 4 functional outer conditions. + +The unchanged 17-stage caller has 110,502 paid positions, 22,410 productive fields, surplus 1,424 and zero empty credit. Ordinary work is **781,880,696 < 10⁹**; precision c = 2430 on grid 1125/F25. Owned labels/lifetimes/peak are 61/64/47. The existing 24-bit scalar contract passes. The independent directed crossing is strictly between 0.00364440789553997522914730314654796 and 0.00364440789553997522914730314654797. + +```sh +python3.12 -B scripts/research_package.py --package research/p104-temporal-chart306-continuation +``` + +The complete 32-file #7155 export and all nested sources/notices are retained. Native canonical SHA256: `b012295cfe44d204c2724fe544731ac17aa969e06e33043496ac7a1c91a912b3`. PROOF.md, APPLICATION.md, VALIDATION.md, NATIVE-RESULT.json, RESULT.json and REPLAY.txt give the scope and evidence. Discovery stopped at its first positive, trial 4495 of the declared 12000-trial cap; no temporal optimum is claimed. + +Credit Ali Romman for the causal-history identity; Jerry Chen/CubeJerry for retiming and verification; Matarener for kernels; dillona for the retained temporal constructor and source instances; Clear1nsight for the composition and guarded suffix certificate; ToikY for pricing; Rohan Arun for this instance, endpoint source, recharts and signed caller; and every retained author. Substantial OpenAI Codex assistance, no subagents; Apache-2.0. + +Five inherited assumptions remain: native_all_columns, owned_erasure, compiler, precision_tape and analytic_recovery. Local verification does not establish hosted scientific CI, maintainer admission, independent human/formal acceptance or the complete multiplication theorem. The selected frontier is unchanged. The existing CI navigation correction from #7147 is retained and its targeted test passes; the separate historical Makefile-drift replay is outside this change. + +## Open next questions + +Independently replay the exact source-bound result and assess the five inherited assumptions. Refresh the comparator before further research; no global optimality is claimed. diff --git a/research/p104-temporal-chart306-continuation/REPLAY-INTEGRITY.json b/research/p104-temporal-chart306-continuation/REPLAY-INTEGRITY.json new file mode 100644 index 0000000000..f1ec322b54 --- /dev/null +++ b/research/p104-temporal-chart306-continuation/REPLAY-INTEGRITY.json @@ -0,0 +1,30 @@ +{ + "status": "ALL_SCIENTIFIC_INPUTS_UNCHANGED", + "count": 23, + "sha256": { + "SOURCES.json": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372", + "verify_early.py": "cf6da7c9264a55b0f83e8432410c78a7fcfc11192633303f266b8c3a8a0a5a1b", + "support.py": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6", + "VERIFY.json": "bfb84afc5cba1e96e085e90770d2dae567c2b15131932f026d0ed7ea39d1792e", + "RESULT.json": "88fba8e4b5a6965545d4e32889be4c4c25db9d9b5d70c45147d20db4d56f1985", + "temporal_construct.py": "2e07135e9c733bd0a6d61eb1d9c2bfbf5b482f599dcb6f82238e15ee9bd93018", + "certificate.py": "80ecaa921e6719047090fad7d672c85d10e4198c222fbcfe20fa3dd8fc357eee", + "WORD.json.gz": "e950eab5cc3f3fc8a2554e488114d788741d3262381459688ebaea08cd0a4d50", + "discover_temporal.py": "5c0dbcff3800c924cb425815f74aaec90b376f98c75d648e6ff20ff27b3ea5b1", + "WITNESS.json": "d48dac72cf9b6d07e6903db5d0c00f903e74256815c5f9af79e734f540b79d6d", + "derive_grid.py": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0", + "verify_native.py": "bea75da89a5ddfa778b7934f38aa69923d27834466e22b533be5f220a0cb9fd7", + "PATHS.json": "60195cf6db4faa98a3e2b7ce5d1b00cd6345a4b87ab43030c9066da23f91e4a7", + "EARLY-RESULT.json": "5c110364cae0978eb76182fbdfd3dab8caacf15bd4b047d3f7a0b01bb0d136ca", + "split.py": "999b9eeabe5cd1a7e3ec014d1a449f850b4ac9bfb19749cddef41ae12cd0b405", + "INPUTS.json": "a21302c276e70c87cbb4fe90c6850e21459ab81097e9d2855f278c85d4516d06", + "NATIVE-RESULT.json": "69664f6939c0ec4507ee4b849a289dbe4ede0b5c33d9dc95ae319827fc43af0d", + "adapt.py": "9aaa048b0ec709241d44747f9dc639107150202cdea827eebfb3635955a9ef44", + "construct.py": "8f0021a76a50abdfb943ee5e9c729bdac7e8208719248f55638b8d1bc14a3eec", + "verify.py": "002755b3eda0adfe05b9dfce01eb5866e20e3b8a3466747ce442b397f0364a97", + "source.py": "6cf358a7a4ddc5fb96385038c1f626588d7d5d5244e2ddce4b56fdf1020efc38", + "price.py": "6c2c08c0885f822691f34a3a89995c17bfcfc83a650895a707b866ca0add101b", + "inputs/pr7155.tar": "94eb795f165ab08f1cb60df1fb8b0b7c4945706e8ccdbd4927f97c09ccd3070b" + }, + "completed_at": "2026-11-11T02:43:07.679411+00:00" +} diff --git a/research/p104-temporal-chart306-continuation/REPLAY.txt b/research/p104-temporal-chart306-continuation/REPLAY.txt new file mode 100644 index 0000000000..17de7fe778 --- /dev/null +++ b/research/p104-temporal-chart306-continuation/REPLAY.txt @@ -0,0 +1,76 @@ +CHECK Complete source reconstruction, exact arbitrary-input adjoint, owned inventory and both directed17-stage prices; every early receipt field. +PASS_EXACT_NATIVE_AND_PRICE_ONLY 0.003644407895539 +CHECK Complete source/operator, fresh forward/adjoint and minimal1125/F25 grid, exact owned census64/47/61, timed coefficient certificate and corruption controls, ingredient pricing, ordinary/precision, all affected512-column charts, absolute phase and finite physical replay. +PASS whole source/operator, forward/adjoint, causal charts and fresh native grid +caller 0 terms 77 +caller 500 terms 621 +caller 1000 terms 2648 +caller 1500 terms 3619 +caller 2000 terms 1590 +caller 2500 terms 398 +caller 3000 terms 1918 +caller 3500 terms 1797 +caller 4000 terms 1817 +caller 4500 terms 912 +caller 5000 terms 167 +PASS full ingredient invoice, ordinary, precision, both prices and outer gates +events 76220 public 1498 owned roles 61 paid {1: 3998, 2: 853, 3: 829, 4: 225, 5: 344, 6: 14, 7: 10, 8: 5} owned UP {1: 10, 2: 4, 3: 1, 4: 6, 5: 1, 6: 1} helpers {1: 17, 2: 21, 3: 47, 4: 222, 5: 78, 6: 43, 7: 19, 8: 35, 9: 616} +endpoint bad rows 0 odd certificate S 1125 +PASS_HOST3 decoupled ports 96 hosted ports 8 +gate interpreter agrees with the library on 4 exact state vectors +replayed 76220 events, 2950 chart pairs, 15s +prime 1000000009 seed 11: helper rows bad 0 (of 1098), X rows bad 0, Y rows bad 0, X2 rows bad 0, Y2 rows bad 0 (of 104 ports; 96 with second mains) +tableau on 104 ports: XX!=D 0 YY!=D 0 YX!=Q^-1D 0 XY!=QD 0 | controls matching (must be 0): 0 0 +PASS_PHYSICAL 20s +PASS affected Gaussian chart columns, phase, corruption controls and finite physical replay +PASS_TEMPORAL_CHART306_NATIVE 3643791910661/1000000000000000 +CHECK Full unchanged17-stage caller, complete paid/helper catalogue and104 main boundaries; fresh grid, precision, ordinary/physical/fixed-tape costs, two directed prices and54+4 outer conditions; every frozen application field. +PASS two reconstructed invoices and both exact price engines 0.003644407895539 +RUN emit_odd_type_b.py +caller 0 terms 41 +caller 500 terms 1178 +caller 1000 terms 2699 +caller 1500 terms 1262 +caller 2000 terms 881 +caller 2500 terms 2484 +caller 3000 terms 765 +caller 3500 terms 640 +caller 0 terms 41 +caller 500 terms 1178 +caller 1000 terms 2701 +caller 1500 terms 1264 +caller 2000 terms 881 +caller 2500 terms 2485 +caller 3000 terms 765 +caller 3500 terms 641 +PASS exact short type B 3877 events Counter({8: 34, 9: 4, 56: 4, 48: 4, 40: 4, 32: 4, 24: 4, 16: 4, 64: 2}) +RUN emit_odd_type_ab.py +caller 0 terms 73 +caller 500 terms 1076 +caller 1000 terms 2476 +caller 1500 terms 1334 +caller 2000 terms 2078 +caller 2500 terms 1235 +caller 3000 terms 2978 +caller 3500 terms 2335 +caller 4000 terms 1046 +caller 4500 terms 299 +PASS exact short A+B 4783 events 3752 ['36444078955399752291473031465479/10000000000000000000000000000000000', '911101973884993807286825786637/250000000000000000000000000000000'] +RUN check_odd_caller_exact_grid.py +PASS odd caller grid [381, 69, 62] [381, 3, 2] scale bits 10 checked 176874 +RUN check_odd_physical_binding.py +PASS exact physical binding 110502 13600 22410 +RUN check_odd_precision.py +PASS short precision 406 1215 2430 +RUN check_odd_partial_admission.py +ordinary bill 781880696 +PASS partial signed short gates 781880696 3644407895539/1000000000000000 {'strict_count': 54, 'functional_count': 4, 'minimum_margin': '1/1000000000000000000', 'BIT_just_below_effective_rejected': True} +RUN check_odd_fixed_tape_counts.py +PASS finite tariff substitution 43689280 25465969408 precision 2430 +RUN complete catalogue 0 1000 +RUN complete catalogue 1000 2000 +RUN complete catalogue 2000 3000 +RUN complete catalogue 3000 3037 +PASS complete 8+9 component application checks 3644407895539/1000000000000000 3037 110502 +PASS_TEMPORAL_CHART306_CONTINUATION 3644407895539/1000000000000000 +PASS_REGISTERED_RESEARCH_PACKAGE research/p104-temporal-chart306-continuation outcome=partial diff --git a/research/p104-temporal-chart306-continuation/RESULT.json b/research/p104-temporal-chart306-continuation/RESULT.json new file mode 100644 index 0000000000..b27ddf273c --- /dev/null +++ b/research/p104-temporal-chart306-continuation/RESULT.json @@ -0,0 +1,1599 @@ +{ + "adapter": { + "adapted_sha256": { + "check_odd_partial_admission.py": "7610f7a66e8de47c6e4fc500e1873f735389261d02a28d6cebaa99ea00e9d158", + "check_odd_precision.py": "32f9af21c64dcf407a3ba94fa12a1c2ad06f4c303e981dbc7084845b11240c77", + "emit_odd_type_ab.py": "6fd9f61f9ba6c726524d1a585d0201b0eac61829ccae6be598f0f0fc1cb64f1a" + }, + "edits": [ + { + "file": "emit_odd_type_ab.py", + "new": "invoice=json.loads((root/\"COHORT-PRICE.json\").read_text())", + "old": "invoice=next(x for x in json.loads((root/\"SHORT-CALLER-RAW-PRICE.json\").read_text())[\"rows\"] if tuple(x[\"shape\"])==shape)" + }, + { + "file": "check_odd_partial_admission.py", + "new": "actual_native=ind.native(w)\nassert actual_native==N and not N[\"bad_inputs\"], \"Fresh complete native inventory and arbitrary-input adjoint\"", + "old": "previous=json.loads((root/\"SHORT-ADMISSION-PARTIAL.json\").read_text())\nassert previous[\"native_sha256\"]==digest and not N[\"bad_inputs\"]" + }, + { + "file": "check_odd_partial_admission.py", + "new": "claim=Q('0.003644407895539')", + "old": "claim=Q(\".00363797977\")" + }, + { + "file": "check_odd_partial_admission.py", + "new": "tested=claim+Q(7,10**17)\nwhile tested>=Q(reference[\"raw_bracket\"][0]):\n tested=claim+(tested-claim)/10", + "old": "tested=claim+Q(7,10**17)" + }, + { + "file": "check_odd_partial_admission.py", + "new": "g=gate(invoice,claim,tested,*bracket,r[\"gate\"][\"BIT_pin\"])\ntry:\n gate(invoice,claim,Q(bracket[0]),*bracket,r[\"gate\"][\"BIT_pin\"])\nexcept AssertionError:\n crossing_probe_rejected=True\nelse:\n raise AssertionError(\"Probe at lower crossing unexpectedly accepted\")", + "old": "g=gate(invoice,claim,tested,*bracket,r[\"gate\"][\"BIT_pin\"])" + }, + { + "file": "check_odd_partial_admission.py", + "new": "\"crossing_probe_rejected\":crossing_probe_rejected,\"scope\":\"Reuse exact same native word all-column adjoint;", + "old": "\"scope\":\"Reuse exact same native word all-column adjoint;" + }, + { + "file": "check_odd_precision.py", + "new": "patch('(life, peak, owned_count) == (54, 43, 51)','(life, peak, owned_count) == (64, 47, 61)')\nenv=ModuleType(\"short_envelope\")", + "old": "env=ModuleType(\"short_envelope\")" + }, + { + "file": "check_odd_precision.py", + "new": "", + "old": "previous=json.loads((root/\"SHORT-PRECISION.json\").read_text())" + }, + { + "file": "check_odd_precision.py", + "new": "assert grid_receipt[\"caller_sha256\"]==sha256(cpath.read_bytes()).hexdigest()", + "old": "assert previous[\"native_sha256\"]==sha and grid_receipt[\"caller_sha256\"]==sha256(cpath.read_bytes()).hexdigest()" + }, + { + "file": "check_odd_precision.py", + "new": "wg=grid.word_run(w, frac=25)\nwp,wr=env.native_envelope(w)\nwg=json.loads(json.dumps(wg,default=str));wr=json.loads(json.dumps(wr,default=str))\nassert wg==r[\"precision\"][\"word\"] and wr==r[\"precision\"][\"rounded_native\"], \"Fresh changed-native grid and envelope\"", + "old": "wg=previous[\"native_grid\"]\nwr=previous[\"rounded_native\"]\nwp={key:(Q(v[\"exact\"]),v[\"witness\"]) for key,v in wr[\"bounds\"].items()}" + } + ] + }, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "catalogue": [ + { + "catalogue_digest": "8a6d5341f689488e8ef09eba8396d2152312b59ab0756edbd6b86890d2c44a85", + "catalogue_size": 3037, + "checked_maps": 1000, + "distinct_helper_maps": 188, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "74c6f1c5717989bb3d3a993bc915321585c9524e98477fbd6a6f0a25d463bba5", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 0, + "slice_stop": 1000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "e950eab5cc3f3fc8a2554e488114d788741d3262381459688ebaea08cd0a4d50" + }, + { + "catalogue_digest": "8a6d5341f689488e8ef09eba8396d2152312b59ab0756edbd6b86890d2c44a85", + "catalogue_size": 3037, + "checked_maps": 1000, + "distinct_helper_maps": 188, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "5796317772e8b26cb6118de671c511683cdc6ba8129379580b2f7058ac9912be", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 1000, + "slice_stop": 2000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "e950eab5cc3f3fc8a2554e488114d788741d3262381459688ebaea08cd0a4d50" + }, + { + "catalogue_digest": "8a6d5341f689488e8ef09eba8396d2152312b59ab0756edbd6b86890d2c44a85", + "catalogue_size": 3037, + "checked_maps": 1000, + "distinct_helper_maps": 188, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "af93e262513853d9e484dbc68719e195853ecc5a16a446293afecc4e671746c4", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 2000, + "slice_stop": 3000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "e950eab5cc3f3fc8a2554e488114d788741d3262381459688ebaea08cd0a4d50" + }, + { + "catalogue_digest": "8a6d5341f689488e8ef09eba8396d2152312b59ab0756edbd6b86890d2c44a85", + "catalogue_size": 3037, + "checked_maps": 37, + "distinct_helper_maps": 188, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "cec6af5c26e0d918bb4965d54ccfd8835b82b1eed025bc92bbb56a1a1a61e012", + "main_boundary_digest": "ad959887c990b8862a0e60db3f53d5195a1c9d667c1593f0101adc8db18f27fa", + "main_boundary_pairs": 104, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 3000, + "slice_stop": 3037, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "e950eab5cc3f3fc8a2554e488114d788741d3262381459688ebaea08cd0a4d50" + } + ], + "checks": { + "ODD-8X9-APPLICATION-CHECKS.json": { + "assumptions": [ + "native_all_columns", + "owned_erasure", + "compiler", + "precision_tape", + "analytic_recovery" + ], + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "candidate": "3644407895539/1000000000000000", + "catalogue": [ + { + "catalogue_digest": "8a6d5341f689488e8ef09eba8396d2152312b59ab0756edbd6b86890d2c44a85", + "catalogue_size": 3037, + "checked_maps": 1000, + "distinct_helper_maps": 188, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "74c6f1c5717989bb3d3a993bc915321585c9524e98477fbd6a6f0a25d463bba5", + "log_sha256": "3a86a9ff8b95e5a44c9cb6816869c2f6a309b79ee1b2aa3a2e4215f3c24f4787", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 0, + "slice_stop": 1000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "e950eab5cc3f3fc8a2554e488114d788741d3262381459688ebaea08cd0a4d50" + }, + { + "catalogue_digest": "8a6d5341f689488e8ef09eba8396d2152312b59ab0756edbd6b86890d2c44a85", + "catalogue_size": 3037, + "checked_maps": 1000, + "distinct_helper_maps": 188, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "5796317772e8b26cb6118de671c511683cdc6ba8129379580b2f7058ac9912be", + "log_sha256": "285840d1c7cd4d6f376889d9ca8ab80008a365e852cd872eb35a4ddfc72e022d", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 1000, + "slice_stop": 2000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "e950eab5cc3f3fc8a2554e488114d788741d3262381459688ebaea08cd0a4d50" + }, + { + "catalogue_digest": "8a6d5341f689488e8ef09eba8396d2152312b59ab0756edbd6b86890d2c44a85", + "catalogue_size": 3037, + "checked_maps": 1000, + "distinct_helper_maps": 188, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "af93e262513853d9e484dbc68719e195853ecc5a16a446293afecc4e671746c4", + "log_sha256": "0d0ca112a31760170d47241b6a4a5febca757e80cf46a77621ffbf433cfffb4e", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 2000, + "slice_stop": 3000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "e950eab5cc3f3fc8a2554e488114d788741d3262381459688ebaea08cd0a4d50" + }, + { + "catalogue_digest": "8a6d5341f689488e8ef09eba8396d2152312b59ab0756edbd6b86890d2c44a85", + "catalogue_size": 3037, + "checked_maps": 37, + "distinct_helper_maps": 188, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "cec6af5c26e0d918bb4965d54ccfd8835b82b1eed025bc92bbb56a1a1a61e012", + "log_sha256": "177709115f5c77c51a6698c9efa17f6f22390a7ba60b0ae0cd6b741845560087", + "main_boundary_digest": "ad959887c990b8862a0e60db3f53d5195a1c9d667c1593f0101adc8db18f27fa", + "main_boundary_pairs": 104, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 3000, + "slice_stop": 3037, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "e950eab5cc3f3fc8a2554e488114d788741d3262381459688ebaea08cd0a4d50" + } + ], + "fixed_tape_counts": { + "H": 16510400000000000000000, + "Kstar_bits": 14093, + "actual_ambient": 145, + "caller_odd_scale": 675, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "common_grid": { + "fractional": "p+D", + "signed_width": "p+h+2D+3", + "temp_padding": 26 + }, + "compiler_ambient_cap": 153, + "context_bound_bits": 14104, + "context_c": 2430, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25465969408, + "log_power": 2237, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298672, + "native_invocations": 17, + "native_sha256": "b012295cfe44d204c2724fe544731ac17aa969e06e33043496ac7a1c91a912b3", + "owned_banks_per_raw_occurrence": 1037, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58420, + "native": 1189014 + }, + "scalar_services_upper": 43689280, + "scalar_steps_coefficient": 45811530465280, + "scope": "Exact finite-cost and common-format substitutions in the selected #7000 conditional application proof, using the conservative primitive movement and scalar constants there. The premise is the complete signed native/physical binding and retained compiler, BIT, stock, and outer contracts. This script counts the raw occurrence, not an enumerated top-level compiled multiplier.", + "tested_claim": "3644407895539/1000000000000000" + }, + "native_archive_sha256": "e950eab5cc3f3fc8a2554e488114d788741d3262381459688ebaea08cd0a4d50", + "native_canonical_sha256": "b012295cfe44d204c2724fe544731ac17aa969e06e33043496ac7a1c91a912b3", + "numeric_gate": { + "BIT_margin": "12228210446093/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16510400000000000000000", + "alpha": [ + 0.9999999999999988, + 0.9999999999999988 + ], + "claim": "3644407895539/1000000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9060338152823023, + 0.9060338152823023 + ], + "derivative_upper": -381743.11655566044, + "gamma": [ + 0.9407642489923767, + 0.9407642489923767 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3644407895539/1000000000000000": [ + "124340413725381578436168433909673800828712847806542525942299871259053399949237/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124340413725381578436168433909673800828712847806542525942299871259053399951213/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364440789553907/100000000000000000": [ + "6217020686269193241278723448501641155546113504608234908729909843712041038681/5000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124340413725383864825574468970032823110922270092164698174598196874240820775571/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "364440789553907/100000000000000000": [ + 3.5106208976078167e-10, + 3.5106208976078167e-10 + ], + "36444078955399752291473031465479/10000000000000000000000000000000000": [ + 2.692261687619601e-29, + 2.692261687619601e-29 + ], + "911101973884993807286825786637/250000000000000000000000000000000": [ + -1.1858954707823704e-29, + -1.1858954707823704e-29 + ] + }, + "moment_margins": { + "364440789553907/100000000000000000": [ + "35106208976078169308682508756072841823889613746332784157628818996661329/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "1755310448803908465434125437803642091194480687316639207881440951771987/5000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36444078955399752291473031465479/10000000000000000000000000000000000": [ + "538452337523920206672676705848416208923033602062537/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "2692261687619601033363383529242081044615168048803427/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "911101973884993807286825786637/250000000000000000000000000000000": [ + "-592947735391185177723315110910526675671255956910243/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-592947735391185177723315110910526675671255937691263/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36444078955399752291473031465479/10000000000000000000000000000000000", + "911101973884993807286825786637/250000000000000000000000000000000" + ], + "tested": "364440789553907/100000000000000000", + "written_log_power": 2237 + }, + "physical_binding": { + "ambient": 145, + "complete_paid_position_digest": "059717f73103041bc56999bb9c0084f1fd4959a620ef3bc5fc3741228e0f694b", + "fresh_helpers": 18666, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1498, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68350, + "16": 416, + "2": 14501, + "24": 416, + "3": 14093, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5848, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 741, + "9": 32 + }, + "paid_positions": 110502, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22410, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 1037, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3774, + "41": 416, + "49": 416, + "5": 1326, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 595, + "9": 10888 + } + }, + "scope": "Conditional component application to the exact 8+9 source with the selected completed BIT predecessor and inherited five assumptions. Checks every normalized endpoint, every paid/helper nested chart map up to exact signed Pauli and absolute phase, caller occurrence/phase, precision, finite scalar and route bounds, and numeric gates. Does not run a compiled Turing machine, select an upstream frontier, or claim human/formal review.", + "source_unit_ordinary": { + "all_caller_scalar_surcharge": 2248928, + "caller_items": { + "A": { + "envelope": 102076416, + "field_boundary": 89856, + "fused_routes": 0, + "idle_routes": 170112000, + "output_routes": 213120000, + "query_routes": 1152000, + "thin": 6144 + }, + "B": { + "envelope": 35730432, + "field_boundary": 7488, + "fused_routes": 1168000, + "idle_routes": 18016000, + "output_routes": 17760000, + "query_routes": 0, + "thin": 0 + } + }, + "caller_total": 559238336, + "charged_caller_odd_conversions": 479232, + "conservative_total": 781880696, + "init_clear_allowance": 256, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 218119304, + "odd_divisions": { + "ADD": 5829, + "SCALE": 71 + }, + "per_input_conversion": 2648464, + "raw_upper": 765224072, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2196, + "moves": 6278, + "owned_lifetime": 256, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9930000, + "scalar_upper": 2186808 + }, + "status": "PASS_8X9_EXACT_COMPONENT_APPLICATION_CHECKS" + }, + "ODD-ADMISSION-PARTIAL.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "compiler_outer": { + "BIT_margin": "12228210446093/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16510400000000000000000", + "alpha": [ + 0.9999999999999988, + 0.9999999999999988 + ], + "claim": "3644407895539/1000000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9060338152823023, + 0.9060338152823023 + ], + "derivative_upper": -381743.11655566044, + "gamma": [ + 0.9407642489923767, + 0.9407642489923767 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3644407895539/1000000000000000": [ + "124340413725381578436168433909673800828712847806542525942299871259053399949237/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124340413725381578436168433909673800828712847806542525942299871259053399951213/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364440789553907/100000000000000000": [ + "6217020686269193241278723448501641155546113504608234908729909843712041038681/5000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124340413725383864825574468970032823110922270092164698174598196874240820775571/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "364440789553907/100000000000000000": [ + 3.5106208976078167e-10, + 3.5106208976078167e-10 + ], + "36444078955399752291473031465479/10000000000000000000000000000000000": [ + 2.692261687619601e-29, + 2.692261687619601e-29 + ], + "911101973884993807286825786637/250000000000000000000000000000000": [ + -1.1858954707823704e-29, + -1.1858954707823704e-29 + ] + }, + "moment_margins": { + "364440789553907/100000000000000000": [ + "35106208976078169308682508756072841823889613746332784157628818996661329/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "1755310448803908465434125437803642091194480687316639207881440951771987/5000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36444078955399752291473031465479/10000000000000000000000000000000000": [ + "538452337523920206672676705848416208923033602062537/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "2692261687619601033363383529242081044615168048803427/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "911101973884993807286825786637/250000000000000000000000000000000": [ + "-592947735391185177723315110910526675671255956910243/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-592947735391185177723315110910526675671255937691263/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36444078955399752291473031465479/10000000000000000000000000000000000", + "911101973884993807286825786637/250000000000000000000000000000000" + ], + "tested": "364440789553907/100000000000000000", + "written_log_power": 2237 + }, + "crossing_probe_rejected": true, + "finite_rank9_fields": [ + { + "child_rank": 9, + "denominator": 512, + "exponent": 1, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 0 + }, + "spectators": 136, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 262144, + "width": 1 + }, + { + "child_rank": 9, + "denominator": 262144, + "exponent": 2, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 272, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 1024, + "width": 2 + }, + { + "child_rank": 9, + "denominator": 134217728, + "exponent": 3, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 408, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 1024, + "width": 3 + }, + { + "child_rank": 9, + "denominator": 512, + "exponent": 1, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 0 + }, + "spectators": 136, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 262144, + "width": 1 + }, + { + "child_rank": 9, + "denominator": 262144, + "exponent": 2, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 272, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 1024, + "width": 2 + }, + { + "child_rank": 9, + "denominator": 134217728, + "exponent": 3, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 408, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 1024, + "width": 3 + } + ], + "invoice": { + "P": { + "1": 68350, + "16": 416, + "2": 14501, + "24": 416, + "3": 14093, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5848, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 741, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3774, + "41": 416, + "49": 416, + "5": 1326, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 595, + "9": 10888 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036444078955399752291473031465479694211600421312227856343702575978", + "raw_crossing": "0.0036444078955399752291473031465479694211600421312227856343702575978" + }, + "native_sha256": "b012295cfe44d204c2724fe544731ac17aa969e06e33043496ac7a1c91a912b3", + "ordinary": { + "all_caller_scalar_surcharge": 2248928, + "caller_items": { + "A": { + "envelope": 102076416, + "field_boundary": 89856, + "fused_routes": 0, + "idle_routes": 170112000, + "output_routes": 213120000, + "query_routes": 1152000, + "thin": 6144 + }, + "B": { + "envelope": 35730432, + "field_boundary": 7488, + "fused_routes": 1168000, + "idle_routes": 18016000, + "output_routes": 17760000, + "query_routes": 0, + "thin": 0 + } + }, + "caller_total": 559238336, + "charged_caller_odd_conversions": 479232, + "conservative_total": 781880696, + "init_clear_allowance": 256, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 218119304, + "odd_divisions": { + "ADD": 5829, + "SCALE": 71 + }, + "per_input_conversion": 2648464, + "raw_upper": 765224072, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2196, + "moves": 6278, + "owned_lifetime": 256, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9930000, + "scalar_upper": 2186808 + }, + "scope": "Reuse exact same native word all-column adjoint; fresh exact signed caller and invoice, ordinary source-unit upper bill, inherited numerical compiler and outer inequalities, and signed rank9 child finite field routes. Fresh integrated physical native/caller and changed-word precision/occurrence application remain separate." + }, + "ODD-CALLER-EXACT-GRID.json": { + "caller_odd_scale": "675", + "caller_odd_scale_bits": 10, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "grid_exponents": [ + 381, + 3, + 2 + ], + "peak_terms": 3752, + "preproduct_exact_divisions": 176874, + "prime_order": [ + 2, + 3, + 5 + ], + "safe_valuation_bound": [ + 381, + 69, + 62 + ], + "scope": "Independent integer Laurent caller endpoint and pre-product divisibility. Valuation bound propagates complete field operators whose Gaussian coefficients have only power-of-two denominators, so odd factors are sourced only from the charged scalar operations. Fixed conversion and storage bounds still needed." + }, + "ODD-FIXED-TAPE-COUNTS.json": { + "H": 16510400000000000000000, + "Kstar_bits": 14093, + "actual_ambient": 145, + "caller_odd_scale": 675, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "common_grid": { + "fractional": "p+D", + "signed_width": "p+h+2D+3", + "temp_padding": 26 + }, + "compiler_ambient_cap": 153, + "context_bound_bits": 14104, + "context_c": 2430, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25465969408, + "log_power": 2237, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298672, + "native_invocations": 17, + "native_sha256": "b012295cfe44d204c2724fe544731ac17aa969e06e33043496ac7a1c91a912b3", + "owned_banks_per_raw_occurrence": 1037, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58420, + "native": 1189014 + }, + "scalar_services_upper": 43689280, + "scalar_steps_coefficient": 45811530465280, + "scope": "Exact finite-cost and common-format substitutions in the selected #7000 conditional application proof, using the conservative primitive movement and scalar constants there. The premise is the complete signed native/physical binding and retained compiler, BIT, stock, and outer contracts. This script counts the raw occurrence, not an enumerated top-level compiled multiplier.", + "tested_claim": "3644407895539/1000000000000000" + }, + "ODD-PHYSICAL-BINDING.json": { + "aliased_main_rejected": true, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "native_sha256": "b012295cfe44d204c2724fe544731ac17aa969e06e33043496ac7a1c91a912b3", + "occurrence_and_geometry": { + "ambient": 145, + "complete_paid_position_digest": "059717f73103041bc56999bb9c0084f1fd4959a620ef3bc5fc3741228e0f694b", + "fresh_helpers": 18666, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1498, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68350, + "16": 416, + "2": 14501, + "24": 416, + "3": 14093, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5848, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 741, + "9": 32 + }, + "paid_positions": 110502, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22410, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 1037, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3774, + "41": 416, + "49": 416, + "5": 1326, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 595, + "9": 10888 + } + }, + "patched_application_sha256": "733b31b1cee4567b466fdf834a34460b530f1f87ca6dca9270c0fabb2cf89849", + "scope": "Current caller port and ownership substitution, full phase-polynomial native contact identities on disjoint stage axes, whole signed idle/output geometry, and ordered paid positions. Retains the standard nested chart and local operator premises and requires separate full native replay and complete fixed-tape tariff application.", + "source_reviewer_sha256": "d98987db98553dc55bfc80e3ca47abfcd51c57af6f8cda61101391d8eae94184" + }, + "ODD-PRECISION.json": { + "caller_grid": { + "caller_odd_scale": "675", + "caller_odd_scale_bits": 10, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "grid_exponents": [ + 381, + 3, + 2 + ], + "peak_terms": 3752, + "preproduct_exact_divisions": 176874, + "prime_order": [ + 2, + 3, + 5 + ], + "safe_valuation_bound": [ + 381, + 69, + 62 + ], + "scope": "Independent integer Laurent caller endpoint and pre-product divisibility. Valuation bound propagates complete field operators whose Gaussian coefficients have only power-of-two denominators, so odd factors are sourced only from the charged scalar operations. Fixed conversion and storage bounds still needed." + }, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "context_c": 2430, + "context_height": 406, + "context_mass_bits": 1215, + "native_grid": { + "coefficient_visits": 16423853, + "dyadic_height": 25, + "mass_witness": [ + 66067, + "stored add" + ], + "maximum_scaled_mass": "841374570120675/8192", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + }, + "native_sha256": "b012295cfe44d204c2724fe544731ac17aa969e06e33043496ac7a1c91a912b3", + "precision_program_sha256": "e8d53d5af90b2226e25e76bdb99b6e1ac57cd043c46b3e4ad70b76a19d4d8066", + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "153087402850922070395914824986723013916192230724335714965057559847899275365539556624126333481564591311463687628454276322812599157608424207258380485606927454549144833199716945666272441721294566577014588890846679353024056844806012655086589850529142277057562162228894715869147583804162303839736345272843353063286325525209697971754621484728073296126909884060702589779267035242668407634527686953860823629976785151557712115202372588262648542723/32373225137651933474035186446033223680000000000000000000000000000000000000000000000", + "strict_power_of_two": 1179, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Gamma_context": { + "exact": "3950818784457318800985449246145710211385501238453116976476619895990886996225469637850473403421602459838594631646117310324344733996738747139062237526988005297392720508831700357553156677209945301544086205319230358671882179720681719646656413450944677934985788361098778891781050858122018319198304895451841630886300042736011148651674781822880400708484412857090704231959798553443956010176891201273812185951423252136185582721874518764345289717633/24279918853238950105526389834524917760000000000000000000000000000000000000000000000", + "strict_power_of_two": 1184, + "witness": { + "cut": 4783, + "factor": "1", + "kind": "public-return", + "register": 37 + } + }, + "M_caller": { + "exact": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "strict_power_of_two": 897, + "witness": { + "cut": 4751, + "event": 4750, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "M_context": { + "exact": "40619858968336542900016869390005119534180159105696807935007666167078018350001758909498483374161544027301678985508872347179604948979664184749701980819392923525494089010922715153424964532064527682000093514029036148075728004560755925662191410078490832882663621825774289270658633932616119310044154417540819890079603612512436967272730439632409186224220084725463049803668495351028450471773456366878369013037371406118362544993292965678533611579733983/287762001223572741991423879520295321600000000000000000000000000000000000000000000000", + "strict_power_of_two": 1194, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + }, + "M_joint_entrance": { + "exact": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "strict_power_of_two": 892, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Sigma_caller": { + "exact": "3950818784457318800985449246145710211385501238453116976476619895990886996225469637850473403421602459838594631646117310324344733996738747139062237526988005297392720508831700357553156677209945301544086205319230358671882179720681719646656413450944677934985788361098778891781050858122018319198304895451841630886300042736011148651674781822880400708484412857090704231959798553443956010176891201273812185951423252136185582721874518764345289717633/24279918853238950105526389834524917760000000000000000000000000000000000000000000000", + "strict_power_of_two": 1184, + "witness": { + "cut": 4753, + "event": 4752, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "Sigma_context": { + "exact": "499608870630807899130114059943388029880919777273927284115756541118539212253363417031519449134714910857646163381168999505359065100422811024630546381924042407218017417874631189798498144712813184165507557123836587856495389379171272146553354324852836013738566046775114878091378411233440424911517403837333292766983724660198832264091283299693113720557979711699528133035759865788132145948669986680553717817750172412854681529495581041814388933519367476575368958539768989194793188542410350602540351626991549066300383053640819030347483625156271525154056689486271815802675291044710459415616828579/15317328386039105924046095337175077245711163365270933802788769669725552640000000000000000000000000000000000000000000000000000000000000000000", + "strict_power_of_two": 1480, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 18666, + "helper_allocation_premise": "distinct (stage, helper) public inputs as in frozen caller proof", + "independent_adjoint": { + "E_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "153087402850922070395914824986723013916192230724335714965057559847899275365539556624126333481564591311463687628454276322812599157608424207258380485606927454549144833199716945666272441721294566577014588890846679353024056844806012655086589850529142277057562162228894715869147583804162303839736345272843353063286325525209697971754621484728073296126909884060702589779267035242668407634527686953860823629976785151557712115202372588262648542723/32373225137651933474035186446033223680000000000000000000000000000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "3950818784457318800985449246145710211385501238453116976476619895990886996225469637850473403421602459838594631646117310324344733996738747139062237526988005297392720508831700357553156677209945301544086205319230358671882179720681719646656413450944677934985788361098778891781050858122018319198304895451841630886300042736011148651674781822880400708484412857090704231959798553443956010176891201273812185951423252136185582721874518764345289717633/24279918853238950105526389834524917760000000000000000000000000000000000000000000000" + }, + "M_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796247824792255124449682067424881/131368167114257812500000000000", + "residual_mass": "3950818784457318800985449246145710211385501238453116976476619895990886996225469637850473403421602459838594631646117310324344733996738747139062237526988005297392720508831700357553156677209945301544086205319230358671882179720681719646656413450944677934985788361098778891781050858122018319198304895451841630886300042736011148651674781822880400708484412857090679952040945314493850483787056676356052185951423252136185582721874518764345289717633/24279918853238950105526389834524917760000000000000000000000000000000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "153087402850922070395914824986723013916192230724335714965057559847899275365539556624126333481564591311463687628454276322812599157608424207258380485606927454549144833199716945666272441721294566577014588890846679353024056844806012655086589850529142277057562162228894715869147583804162303839736345272843353063286325525209697971754621484728073296126909884060702589779267035242668407634527686953860823629976785151557712115202372588262648542723/32373225137651933474035186446033223680000000000000000000000000000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "3950818784457318800985449246145710211385501238453116976476619895990886996225469637850473403421602459838594631646117310324344733996738747139062237526988005297392720508831700357553156677209945301544086205319230358671882179720681719646656413450944677934985788361098778891781050858122018319198304895451841630886300042736011148651674781822880400708484412857090704231959798553443956010176891201273812185951423252136185582721874518764345289717633/24279918853238950105526389834524917760000000000000000000000000000000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "1435/4", + "entrance_mass": "2067/2", + "event": 43, + "stage": 1 + }, + { + "entrance_defect": "1820902911953469178291093225688697034486557061169865250351811665652120477916152552348375866176346461065611897050282408479448368356493795196512350541653/693087965674784425268322477539328000000000000000000000", + "entrance_mass": "56849465528/5", + "event": 137, + "stage": 2 + }, + { + "entrance_defect": "2766665372116600331795343267759528542431286327632092149621494325571862465076259263549871286074999573076824506279110747461067191387641478062102180811064667863836373/66536444704779304825758957843775488000000000000000000000", + "entrance_mass": "899756300051784928313/5", + "event": 268, + "stage": 3 + }, + { + "entrance_defect": "2576884707331791786653550359992010921162764251539020197989892067014910599890232441726061520498423641883726722495557093444113978371609754061786659395376193901682743480103189/66536444704779304825758957843775488000000000000000000000", + "entrance_mass": "2514111326902273689027625979152/15", + "event": 432, + "stage": 4 + }, + { + "entrance_defect": "526399351499791904071935667355399416609580755163007337817022787509678767051976496965495081999315407125164526328261889096288974318448415394849344688745238700557911086651319710649020819/66536444704779304825758957843775488000000000000000000000", + "entrance_mass": "513576167499541081817002847690160861158177/15", + "event": 633, + "stage": 5 + }, + { + "entrance_defect": "50402729772352192650078585886292467708732497194573223069123309314484235710426128940156773981566871805297711102345373596994533429143921440856479402658595664961137738909935364893192386535141033271/998046670571689572386384367656632320000000000000000000000", + "entrance_mass": "49174910102467876864090432969907258581035345395534834/225", + "event": 867, + "stage": 6 + }, + { + "entrance_defect": "5375708434867819700695465072882581228409279753478955929529532506699269361462019294047963510030466145042794966875440445997514947694988700445889863643486443593456919659355950404315421860322397842787944348921/110894074507965508042931596406292480000000000000000000000", + "entrance_mass": "47202796791779792903787260464709452698419616298153732189406926691/225", + "event": 1138, + "stage": 7 + }, + { + "entrance_defect": "1565187983650469264681937720305965395896965442474670981198505839532504728712578486418391798838516149921200909472662466079487061869105751735017153222437595563715470354397304534754333760927566302913906500861776408728922416959/124755833821461196548298045957079040000000000000000000000000", + "entrance_mass": "1527059719525243651854937925515623170877847518562264265010551055991429949116792541/28125", + "event": 1423, + "stage": 8 + }, + { + "entrance_defect": "558181655221899248036975703217381047199375189260522122711661353175579687056143342474159523764762632929295994175525905847798139054333073126793867567793150608293852227362975763707486361628036758477340304316731580824080142541089399647219724525614745394894198689922488920284126994255200061397873300837421390216832571656764292161209509686825159023433728448596539/143881000611786370995711939760147660800000000000000000000000000000000000000000000", + "entrance_mass": "45382020709918266925583064268574418985484021788023395083741971786893952543604385214817042722264713249357732585113211736557042182118473445437784492974844696068231496289005681248244219743195326431922663592509646282903/2703048706054687500000000", + "event": 3058, + "stage": 9 + }, + { + "entrance_defect": "212249349732906295095906592881642655613915702998704639835343004038409836950184374775794278351897503336193555426365899334110292044209446371585947245793055215388508121927130365880165314152043789383517858145939077721256337520814133726675419704152230700436165919694157377748027896662476432912498010185552348030044641570799571034139362017011946712532691739857650366035006637881/3597025015294659274892798494003691520000000000000000000000000000000000000000000000", + "entrance_mass": "17256576412236653193246225901973714737195067836439327666112948810725372605325768521068989782195051084826433423902219365061463548934152577319772447024097669813834215493691840531234110147024064996639957180865886380686899413865699437/67576217651367187500000000", + "event": 3377, + "stage": 10 + }, + { + "entrance_defect": "101261151801464643423248262133912197248370508713342561390208867103770823780185085686206666117755742537290946439868797814213945037570686180593114622770051636243408829312883200741050870641989993881404963990845565343711065377336059333744524620141491037777430978951033023176494573305028454770846041156363993144560626524842438980811623216961634433252445345617669330698613271723132606423939/119900833843155309163093283133456384000000000000000000000000000000000000000000000", + "entrance_mass": "8232867642949280967953864719378369729636081542640965177026582834276172086852779069019078166383458700724373015543641299678854718814560615654710102550769670203427726502361438450768012893674227975469242856299447027845030556012745339827937032703/2252540588378906250000000", + "event": 3674, + "stage": 11 + }, + { + "entrance_defect": "1272489459010454441973453416781230167051525418959630617866758557736690305963725928459879573028596569882874389974361752315409550763825734955525437154759500575727724991137824805241497050521801543507285577659843349200893996077749935277396185949017882019562067324458690818346125034319053103117176829698660826068361854480706759413683023612593798045395766041093875130836455349068327430194972631436376803/16186612568825966737017593223016611840000000000000000000000000000000000000000000000", + "entrance_mass": "103457615351059805192637231353494210876529187337645013912367786609511281374638184501291799844537790265462481580051228205479278831706979374022592427678836083146990308179368316797029946556942233864286312243671687806427572314354434738422294564686254956597631/304092979431152343750000000", + "event": 3934, + "stage": 12 + }, + { + "entrance_defect": "83818070983846444056105849143827877238515687961539945248348259675040505907911180200854069000842079331054915723183544705714456208596533018777721283441198895922281081537964738510861037804363396046246634774677879337184601867547571915238718059197883978031174874595999548183649355085276156621532483917572341720699729895456302197704551713619591829913820345850069043806851330623628482752243499815152426305935907/4046653142206491684254398305754152960000000000000000000000000000000000000000000000", + "entrance_mass": "6814687293408352348961376609223100753789665399854180217091951198766673494955017243489117504312576625705862588971333049204842152193259763726092611947454717867967563820647006231530855513792517852570389360287582421241328472893443552787136426885585158158296407747039/76023244857788085937500000", + "event": 4149, + "stage": 13 + }, + { + "entrance_defect": "3366265613469498072459557102809676727231602738241537467832898495898669715570994913807450621982035317135641615730295778922251408165470247306716248665668526958192579655196451035515176580281441185736607251353694758050923797583092437332901971975657656607155820103578658748743162787671012847060840945361280012786277899275670143510661825230427531770158316102202135037378692203248606284403518197579448672907390868855648283/32373225137651933474035186446033223680000000000000000000000000000000000000000000000", + "entrance_mass": "273688564209132230699064882255651065961520374651451250325109091529813162250488973700796593555467744131430272845604649750549608356985710665121874068107850799585492748533787927289567936649257940207702597871193107311090132538524151482351564937285621850171994049078063458209591/608185958862304687500000000", + "event": 4337, + "stage": 14 + }, + { + "entrance_defect": "64336618973967629621644729327251149108409482050373186341098969847307539295235163086903186978584676900941545698989560647698183794263587593246756952220874156585769406576682505496029941649284001663394817204422544724526205293481616796829229791175906718006368384680908679776572728753580840633440019226849008263913709520297748419901634256981418437003099787449919796980635182184037118545604977497108103671373883740794306489960393/16186612568825966737017593223016611840000000000000000000000000000000000000000000000", + "entrance_mass": "5230780602279043381317572379439763694807653157987526423412516241866438709931406455512285461654380762978554988724296151241130161368896505647624919395909388513302452136334767445346454946237326490486725295589968816639097338790755366202380875008783642473174121062695038054202858248061/304092979431152343750000000", + "event": 4485, + "stage": 15 + }, + { + "entrance_defect": "71220021903317740892791606636866398557322378377013679185340879359133733347317925576641294797393256218153801743526645026976017805455206336588501121127425112385663871253625337806374001836621545409917261216615873239762825459086644180299484745969190175772688299682401760265758821074815353571084941361064128442757271426279221717748687808110626257861781799030453107139595222992833388647552869722857750945388973178751076270927911442349619/32373225137651933474035186446033223680000000000000000000000000000000000000000000000", + "entrance_mass": "5790424100720951765768300756324298709533962301792798636386692749870979029496708556989270788662796627612885676197810930990877069943243536093513215980405080279750566239442965631097385199413957318608000177913047677092759213914423460784984181631621622445055356552059259436283593839861423838063/608185958862304687500000000", + "event": 4606, + "stage": 16 + }, + { + "entrance_defect": "153087402850922070395914824986723013916192230724335714965057559847899275365539556624126333481564591311463687628454276322812599157608424207258380485606927454549144833199716945666272441721294566577014588890846679353024056844806012655086589850529142277057562162228894715869147583804162303839736345272843353063286325525209697971754621484728073296126909884060702589779267035242668407634527686953860823629976785151557712115202372588262648542723/32373225137651933474035186446033223680000000000000000000000000000000000000000000000", + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "event": 4691, + "stage": 17 + } + ], + "physical_main_inputs": 3744, + "sites": { + "ADD": 4126, + "IDLE_ODD": 4, + "IDLE_ONE": 90, + "J": 17, + "LAMBDA": 178, + "QUERY": 4, + "SCALE": 312, + "SWAP": 52, + "noninteger_scalar": 1752 + } + }, + "rounded_native": { + "bounds": { + "Gamma": { + "exact": "1061499056465007533658830368354971755674634102093477087566864111929192592729394570704429412931617573311298809706897777856752633181801050827303579/2217881490159310160858631928125849600000000000000000000", + "strict_power_of_two": 298, + "witness": { + "cut": 76220, + "factor": "1", + "kind": "public-return", + "register": 1495 + } + }, + "M": { + "exact": "3263553116237340840197917265959322716429740113375079279396173590706030093396298950666052324346125703944118147898948549593443847883566912034766312673/473148051233986167649841478000181248000000000000000000000", + "strict_power_of_two": 302, + "witness": { + "cut": 76207, + "factor": "1", + "kind": "stored", + "register": 1495 + } + }, + "Sigma": { + "exact": "1061499056465007533658830368354971755674634102093477087566864111929192592729394570704429412931617573311298809706897777856752633181801050827303579/2217881490159310160858631928125849600000000000000000000", + "strict_power_of_two": 298, + "witness": { + "cut": 76207, + "factor": "1", + "kind": "stored", + "register": 1495 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 76220, + "lifetimes": 64, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 66089, + "CLEAR": 64, + "COPY": 1, + "INIT": 64, + "MOVE": 6278, + "SCALE": 3724 + }, + "owned_labels": 61, + "peak_owned": 47, + "public": 1498, + "scalars": { + "dyadic": 63914, + "integer": 39663, + "noninteger": 30151, + "odd": 5900 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26048, + "entrance_mass": "3263553116237340840197917265959322716429740113375079279396173590706030093396298950666052324346125703944118147898948549593443847883566912034766312673/473148051233986167649841478000181248000000000000000000000", + "residual_mass": "1061499056465007533658830368354971755674634102093477087566864111929192592729394570704429412931617573311298809706897777856752633181801050827303579/2217881490159310160858631928125849600000000000000000000" + }, + "M": { + "active_residual_sites": 26048, + "entrance_mass": "3263553116237340840197917265959322716429740113375079279396173590706030093396298950666052324346125703944118147898948549593443847883566912034766312673/473148051233986167649841478000181248000000000000000000000", + "residual_mass": "1061499056465007533658830368354971755674634102093477087566864111929192592729394570704429412931617573311298809706897777856752633181801050827303579/2217881490159310160858631928125849600000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26048, + "entrance_mass": "3263553116237340840197917265959322716429740113375079279396173590706030093396298950666052324346125703944118147898948549593443847883566912034766312673/473148051233986167649841478000181248000000000000000000000", + "residual_mass": "1061499056465007533658830368354971755674634102093477087566864111929192592729394570704429412931617573311298809706897777856752633181801050827303579/2217881490159310160858631928125849600000000000000000000" + } + } + }, + "scope": "Fixed integer Laurent grid with charged odd caller scale, and pinned attributed forward/adjoint all-fibre defect engine applied to the emitted 17-stage caller. Each LAMBDA, QUERY and signed/unsigned idle is one unitary with one child defect. The caller allocation assumes independent stage helpers. Full physical application remains separate." + }, + "ODD-TYPE-AB-REPLAY.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "paid": { + "1": 68350, + "16": 416, + "2": 14501, + "24": 416, + "3": 14093, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5848, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 741, + "9": 32 + }, + "raw_bracket": [ + "36444078955399752291473031465479/10000000000000000000000000000000000", + "911101973884993807286825786637/250000000000000000000000000000000" + ], + "replay": { + "bad_outputs": [], + "caller_denominator_height_bound": 578, + "caller_mass_bound": "854474036861847560509026474008040300059938928517783661039773198072080884690114508581583887358835968277340425788985297793555303569703690223623950838857161290503004459697662544865276977234864184443860251086668962688762176068520364648820282528496698239206689277049335412289161443623602012468587331439851515703/168151253906250000000000000000000", + "caller_mass_ceiling_bits": 910, + "max_terms": 3752 + }, + "scope": "Exact emitted signed Laurent caller endpoint and recomputed native/caller paid and target profiles. Physical address bindings, independent branch-source composition, ordinary units, precision and outer gates are still required.", + "shape": [ + 8, + 9 + ], + "source_word_sha256": "b012295cfe44d204c2724fe544731ac17aa969e06e33043496ac7a1c91a912b3", + "target": { + "1": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3774, + "41": 416, + "49": 416, + "5": 1326, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 595, + "9": 10888 + } + } + }, + "claim": "3644407895539/1000000000000000", + "price": { + "after": { + "P": { + "1": 68350, + "16": 416, + "2": 14501, + "24": 416, + "3": 14093, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5848, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 741, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3774, + "41": 416, + "49": 416, + "5": 1326, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 595, + "9": 10888 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036444078955399752291473031465479694211600421312227856343702575978", + "raw_crossing": "0.0036444078955399752291473031465479694211600421312227856343702575978" + }, + "before": { + "P": { + "1": 68350, + "16": 416, + "2": 14501, + "24": 416, + "3": 14076, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3757, + "41": 416, + "49": 416, + "5": 1309, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 595, + "9": 10905 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036442670854004444481576159015679416190150652457352295427293354471", + "raw_crossing": "0.0036442670854004444481576159015679416190150652457352295427293354471" + }, + "gate": { + "BIT_margin": "12228210446093/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16510400000000000000000", + "alpha": [ + 0.9999999999999988, + 0.9999999999999988 + ], + "claim": "3644407895539/1000000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9060338152823023, + 0.9060338152823023 + ], + "derivative_upper": -381743.11655566044, + "gamma": [ + 0.9407642489923767, + 0.9407642489923767 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3644407895539/1000000000000000": [ + "124340413725381578436168433909673800828712847806542525942299871259053399949237/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124340413725381578436168433909673800828712847806542525942299871259053399951213/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364440789553907/100000000000000000": [ + "6217020686269193241278723448501641155546113504608234908729909843712041038681/5000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124340413725383864825574468970032823110922270092164698174598196874240820775571/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "364440789553907/100000000000000000": [ + 3.5106208976078167e-10, + 3.5106208976078167e-10 + ], + "36444078955399752291473031465479/10000000000000000000000000000000000": [ + 2.692261687619601e-29, + 2.692261687619601e-29 + ], + "911101973884993807286825786637/250000000000000000000000000000000": [ + -1.1858954707823704e-29, + -1.1858954707823704e-29 + ] + }, + "moment_margins": { + "364440789553907/100000000000000000": [ + "35106208976078169308682508756072841823889613746332784157628818996661329/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "1755310448803908465434125437803642091194480687316639207881440951771987/5000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36444078955399752291473031465479/10000000000000000000000000000000000": [ + "538452337523920206672676705848416208923033602062537/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "2692261687619601033363383529242081044615168048803427/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "911101973884993807286825786637/250000000000000000000000000000000": [ + "-592947735391185177723315110910526675671255956910243/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-592947735391185177723315110910526675671255937691263/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36444078955399752291473031465479/10000000000000000000000000000000000", + "911101973884993807286825786637/250000000000000000000000000000000" + ], + "tested": "364440789553907/100000000000000000", + "written_log_power": 2237 + }, + "native_baseline_rejects_new_claim": true, + "new_native": "b012295cfe44d204c2724fe544731ac17aa969e06e33043496ac7a1c91a912b3", + "old_native": "8f0fe8e7b7180e4ee2bb74284e8946603f07ceb04b4ffcd96156f0e50c5d7667", + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "5460840086576072368083028005866003247460959742809339138385104743052602663157649/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "341302505411004523005189250366625202966309983925583696149069046440787668627159/6250000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003644407895539", + "gain": "1.40810139E-7", + "gain_exact": "140810139/1000000000000000", + "independent_raw_bracket": [ + "0.00364440789553997522914730314654796", + "0.00364440789553997522914730314654797" + ], + "previous_claim": "18221335427/5000000000000", + "raw_bracket": [ + "0.0036444078955399752291473031465479", + "0.003644407895539975229147303146548" + ] + } + }, + "status": "PASS_TEMPORAL_CHART306_CONTINUATION" +} diff --git a/research/p104-temporal-chart306-continuation/SOURCES.json b/research/p104-temporal-chart306-continuation/SOURCES.json new file mode 100644 index 0000000000..c4150ae397 --- /dev/null +++ b/research/p104-temporal-chart306-continuation/SOURCES.json @@ -0,0 +1,24 @@ +{ + "schema_version": 1, + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "files": [ + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "3404fbdd5e7529a0674eef26114b5071e4586cec", + "sha256": "ead6cdc9d0af6d58e8a49744d8ec8c7c15e13d2ba93c276c434bcf9b51b93a81" + }, + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "75d77b328ea02ded535e7f23aee5b1e55d0bb1a8", + "sha256": "154c3d30455d778fd3343b6b4851f0fa4665f0f7625b0adb3675e2bafbbf6bf1" + }, + { + "path": "docs/research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md", + "usage": "provenance", + "git_blob": "3dd1af2285e597676725e85ad4f65e7ad326d695", + "sha256": "4501502c2ceb9759b20372435fe4beb51082c5a5e2910c1fd5dbe6edca415055" + } + ] +} diff --git a/research/p104-temporal-chart306-continuation/TASK.json b/research/p104-temporal-chart306-continuation/TASK.json new file mode 100644 index 0000000000..3a4342f07d --- /dev/null +++ b/research/p104-temporal-chart306-continuation/TASK.json @@ -0,0 +1,150 @@ +{ + "schema_version": 1, + "task_id": "p104-side-correction", + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "priority_revision": 8, + "original_card": { + "id": "p104-side-correction", + "question": "Can joint helper bases and a legal causal split improve the complete P104 productive/paid invoice?", + "starting_points": [ + "docs/research/current-priorities.md", + "docs/research/research-family-status.md", + "certificates/selected-result.json", + "docs/research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md", + "research/p104-helper-subspace-splits/README.md", + "research/dyadic-helper-channel-capacity/README.md" + ], + "methods": [ + "Construct and independently check one source-bound instance of the stated first experiment.", + "Seek an exact counterexample or target-specific complete-budget obstruction to that same proposed change." + ], + "acceptance_gate": "An exact arbitrary-input identity, source/target frame availability and restoration at the chosen cut, plus the complete channel+correction+idle/hosting bill or an explicit favorable bound. The native channel alone is not a supplier. A scoped local result may be retained without a complete supplier. Expanding it into further construction rounds requires the family-level budget and obligation gate in research-family-status.md; an optimistic passing relaxation alone is not acceptance.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_selected_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Read revision 8, the selected review and live exact-source handoffs. Then follow this card's bounded first_experiment.", + "scope": "Source-bound orientation only, not a supplier replay or theorem proof." + }, + "first_experiment": "Start with the selected #5599 emitted word and review pending #5718 distinct input/output bases plus #5717/#5719 coverage before claiming work. Pick one uncovered source word, helper group and cut region. Prove the arbitrary-input relation and legal entry/exit corrections, then compare full target and paid profiles. Reject if completion, owned lifetimes or consumer costs repay the gain. A static pairing rank alone is not a physical split.", + "bottleneck_link": "Judge the actual current supplier contract and complete signed target/paid bill; frozen-profile ceilings require an applicability proof.", + "allowed_variations": [ + "One exact source head, helper/cut region or quantified proposition and changed hypothesis; check live handoffs first. Different seeds are not different scopes." + ], + "scope_change_triggers": [ + "Changing source head, helper/cut domain, operation alphabet or caller boundary without recording the new scope.", + "Treating an archived proposal or local numerical pass as complete supplier admission." + ], + "overlap_terms": [ + "P104", + "helper basis", + "helper split", + "5718", + "dyadic capacity" + ], + "existing_checks": [ + { + "scope": "PR #4133: literal-slot defect", + "evidence": "research/p104-literal-slot-defect/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "88666f1dee93fbd85b31fd5d6f91a219e111b5f4", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4136: uniform commutation gap", + "evidence": "research/p104-uniform-commutation-gap/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "281ce601a8be9db470de630759179c23e1dfaa88", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4140: uniform encoding gap", + "evidence": "research/p104-uniform-encoding-gap/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "de25c6525aa866962309df5d107b32d55e6e5628", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4153: source-chart shortcut exhausts its optimistic allowance", + "evidence": "research/p104-source-chart-shortcut/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "9123241fea53df77e51ffe30d9aca1625d4bf3a8", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4154: fiber-tag seam mismatch", + "evidence": "research/p104-fiber-tag-seam/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "4ffcdaee5d6255a9cea1fe53a5424435068089d0", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "Selected PR5599: complete helper-subspace construction and independent caller replay; five framework assumptions remain.", + "evidence": "docs/research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md", + "remaining": "The next experiment must identify uncovered source-specific work. Successor archive intake does not transfer this admission.", + "status": "reviewed", + "source_commit": "09dd0965711ca7eeb169057a420abab1c9052137", + "selected_record_sha256": "2a0220e866417774606e0f991e41b9c1d26b1f43b97857238cf478dbc7d330b5" + } + ] + }, + "author": "Rohan Arun with substantial OpenAI Codex assistance", + "ai_assistance": "Substantial OpenAI Codex assistance; no subagents.", + "claim": "https://github.com/CrocSwap/integer-mult-bounds/pull/7156", + "scope_status": "changed", + "scope_change_reason": "Fresh source7155 and a distinct fully charged chart306 temporal instance.", + "concrete_question": "Can one paid midpoint fund another exact causal-history helper split on the composed7155 source?", + "actual_scope": "Chart306, cut36772, pivot831; five gathers and seven injections, one paid role1034 midpoint, two owned buffers and the unchanged17-stage caller.", + "domain": "First12000 affordable existing-frame paid midpoint trials with neutral temporal observations; nominee4495. Entry/exit existing-chart alpha expansion found no gain. Bounded screens, no global ceiling.", + "success": "Source-bound exact native and complete directed pricing above0.003644267085400, then fresh full application and registered replay.", + "bottleneck_link": "Pay the complete path, two owned lifetimes, physical, ordinary and precision costs before accepting the temporal split.", + "predecessor_head": "594d57036057f88f8bacc82e9c203bd4cb3276b9", + "predecessors": [ + "Clear1nsight/Codex/ChatGPT Pro PR7155 at594d57036057f88f8bacc82e9c203bd4cb3276b9: complete32-file237/595 composition, guarded suffix certificate, scalar-width contract, nested7148 sources and7147 witness/comparator retained.", + "dillona/OpenAI Codex PR7145 at db8f31c4a1d9e191976e2c92951e6d2dea886a27: complete33-file endpoint/temporal composition export with nested7142/7143 sources and all notices.", + "dillona/OpenAI Codex PR7140 causal-history buffer split, exact a95783a8c861248a759136d4285ea725499cf231; complete30-file export retained.", + "Ali Romman: explicit causal-history two-buffer identity and allowance for singular local replacement under owned erasure; Discussion5600/comment19209322.", + "Jerry Chen/CubeJerry: contact-free retiming, temporal pure spaces, exact native/caller, precision/compiler and cost engines.", + "Matarener: complete helper-kernel methods.", + "dillona/OpenAI Codex: exact37-file666fd749 composition artifact retained as full frozen input; completed independent artifact for identical Rohan Arun PR7131 canonical native.", + "Rohan Arun: #7124 output rechart, #7122 input rechart and #7113 signed17-stage caller.", + "Cinna Davis/1337isnot1337: alpha-expansion rechart predecessor; Dugongue: temporal S09 predecessor.", + "dillona/OpenAI Codex #7130 nonunit-pivot split, exact161e482bc2d8c78ecef96135430c60d49b8fc345, complete25-file export with full nested #7123 closure retained.", + "Rohan Arun #7124 output rechart, exact97dc14132da53562b7939776d7a83d72af72eeb1; byte-identical constructor and original specification retained among eight pinned peer files. 1337isnot1337/OpenAI Codex supplied alpha expansion. This package transfers their nominated changes to #7130, without claiming a new rechart search.", + "dillona/OpenAI Codex #7123 exact 020d581d9856b6db83e448c3f20418bc63b72c34, retained complete 30-file export and all nested sources. #7112 zero-pivot smooth swap is extended here to a nonzero nonunit pivot.", + "Rohan Arun7122 global input rechart, exact98aad9eb0e7d7f985622a35c7981695fe680c68a, retained as complete9-fileexport with nested7121closure; draft native/price evidence at this frozen head.", + "1337isnot1337/OpenAI Codex fresh-helper-boundary/discover-cut.cpp alpha-expansion method used by Rohan Arun7122; later completed source6391d64 retains identical six construction/source files, recorded in PEER-STATUS.json.", + "ToikY Discussion7111 original chart120 pattern, retained through7120; it is retained through the exact predecessor chain.", + "Ali Romman: helper bases, independent split identity and paid meetings", + "Jerry Chen/CubeJerry: causal retiming, native/invoice/compiler engines", + "Matarener: complete kernels including zero boundary images and pairing decision", + "Rohan Arun: exact7113 signed17-stage caller and source-specific application", + "ToikY: #7108\u2013#7110 signed sources and splits, plus the credited chart-120 lead in Discussion #7111", + "DreamingOfClouds, Douglas Colkitt/#7000 reviewers and all retained nested-source notices", + "dillona/OpenAI Codex:7105,7107,7112,7115,7116,7117; exact7117 parent retains all earlier exports", + "dillona/OpenAI Codex7118: first funded residual mode and exact source-specific application", + "dillona/OpenAI Codex7119: exact reciprocal source and full application", + "ToikY original chart120 pattern and dillona/OpenAI Codex7120 exact-source composition, fully retained as the immediate source." + ], + "outcome": "partial", + "evidence_status": "All direct and registered isolated-cache CPython3.12.14 gates passed, matching every frozen receipt field; all23 scientific hashes unchanged. Whole native forward/adjoint, guarded timed certificate,20 controls, complete physical/catalogue/cost/precision replay, both directed prices and54+4 outer conditions. Five inherited assumptions remain.", + "evidence": "INPUTS.json, WITNESS.json, WORD.json.gz, EARLY-RESULT.json, NATIVE-RESULT.json, RESULT.json; REPLAY.txt when completed.", + "overlap": "Canonical main e54523517d0f03e58352e647c403a5af3e525a57, priority8 and selected7000 refreshed unchanged after retry deadline. All455 open PR heads refreshed;7155 is the comparator. Recent discussion/handoff messages reviewed; no new global mechanism claimed. This source-specific chart306 instance differs from the7155 translated237/595 composition, earlier two-paid-path scope and caller/BIT investigations. Coverage is partial; no novelty guarantee.", + "open_questions": [ + { + "question": "Can the inherited five all-size assumptions be independently discharged?", + "why_it_matters": "Finite application replay is conditional, not a full multiplication theorem.", + "first_step": "Select one named assumption and its exact retained source contract.", + "blocked_by": "Independent human/formal acceptance remains open." + } + ], + "stop_rule": "One new fully checked invoice; refresh before any further research round." +} diff --git a/research/p104-temporal-chart306-continuation/VALIDATION.md b/research/p104-temporal-chart306-continuation/VALIDATION.md new file mode 100644 index 0000000000..9196d02e04 --- /dev/null +++ b/research/p104-temporal-chart306-continuation/VALIDATION.md @@ -0,0 +1,11 @@ +# Validation + +Direct source-aware gates passed under CPython3.12.14 on the internal Mac workspace. The registered manifest reruns all three gates without generating receipts and compares every frozen field: + +```sh +python3.12 -B scripts/research_package.py --package research/p104-temporal-chart306-continuation +``` + +Registered isolated-cache replay passed, matching every frozen receipt field with all 23 scientific hashes unchanged. REPLAY.txt records the run and REPLAY-INTEGRITY.json authenticates the unchanged scientific inputs. No hosted scientific pass or independent human/formal acceptance is claimed. + +The existing CI navigation correction from PR7147 is retained to reconcile the guide with the unchanged selected7000 record. Its targeted CurrentCiNavigationTests passed. This does not select a new bound or repair the separate historical Makefile-drift replay. diff --git a/research/p104-temporal-chart306-continuation/VERIFY.json b/research/p104-temporal-chart306-continuation/VERIFY.json new file mode 100644 index 0000000000..f117234055 --- /dev/null +++ b/research/p104-temporal-chart306-continuation/VERIFY.json @@ -0,0 +1,39 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify_early.py" + ], + "timeout_seconds": 180, + "checks": "Complete source reconstruction, exact arbitrary-input adjoint, owned inventory and both directed17-stage prices; every early receipt field." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify_native.py" + ], + "timeout_seconds": 510, + "checks": "Complete source/operator, fresh forward/adjoint and minimal1125/F25 grid, exact owned census64/47/61, timed coefficient certificate and corruption controls, ingredient pricing, ordinary/precision, all affected512-column charts, absolute phase and finite physical replay." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 510, + "checks": "Full unchanged17-stage caller, complete paid/helper catalogue and104 main boundaries; fresh grid, precision, ordinary/physical/fixed-tape costs, two directed prices and54+4 outer conditions; every frozen application field." + } + ] +} diff --git a/research/p104-temporal-chart306-continuation/WITNESS.json b/research/p104-temporal-chart306-continuation/WITNESS.json new file mode 100644 index 0000000000..5abaa48c80 --- /dev/null +++ b/research/p104-temporal-chart306-continuation/WITNESS.json @@ -0,0 +1,136 @@ +{ + "frame": 306, + "cut": 36772, + "pivot": 831, + "ranks": [ + 4, + 5 + ], + "c": { + "1029": "-5/2", + "349": "-4", + "1025": "-2", + "334": "2" + }, + "d": { + "349": "-1/2", + "1021": "1/2", + "831": "-1/2", + "334": "-1/2" + }, + "gathers": [ + { + "cut": 36772, + "role": 1020, + "frame": 306, + "path": 4, + "coefficient": "1" + }, + { + "cut": 32458, + "role": 1023, + "frame": 306, + "path": 7, + "coefficient": "-2" + }, + { + "cut": 36769, + "role": 1025, + "frame": 306, + "path": 8, + "coefficient": "-1" + }, + { + "cut": 36301, + "role": 1029, + "frame": 306, + "path": 10, + "coefficient": "-1/2" + }, + { + "cut": 36275, + "role": 831, + "frame": 306, + "path": 1, + "coefficient": "1/2" + } + ], + "injections": [ + { + "cut": 37777, + "role": 781, + "frame": 306, + "path": 0, + "coefficient": "1/2" + }, + { + "cut": 37783, + "role": 1020, + "frame": 306, + "path": 5, + "coefficient": "1/2" + }, + { + "cut": 57114, + "role": 1025, + "frame": 306, + "path": 9, + "coefficient": "-1" + }, + { + "cut": 48586, + "role": 1034, + "frame": 306, + "paid_path": 0, + "coefficient": "1" + }, + { + "cut": 45479, + "role": 831, + "frame": 306, + "path": 2, + "coefficient": "1/2" + }, + { + "cut": 48031, + "role": 864, + "frame": 306, + "path": 3, + "coefficient": "-1/2" + }, + { + "cut": 56953, + "role": 1021, + "frame": 306, + "path": 6, + "coefficient": "-1/2" + } + ], + "paid_delta": { + "3": 1, + "5": 1, + "8": -1 + }, + "paid_path": 0, + "path": { + "role": 1034, + "lo": 37857, + "hi": 48586, + "frame": 306, + "moves": [ + 48585 + ], + "old": 9, + "new": 127, + "old_paid": [ + 8 + ], + "new_paid": [ + 3, + 5 + ], + "cost": 0.01916802320250266, + "gain": 0.022380282076957414, + "private": false + } +} \ No newline at end of file diff --git a/research/p104-temporal-chart306-continuation/WORD.json.gz b/research/p104-temporal-chart306-continuation/WORD.json.gz new file mode 100644 index 0000000000..d05462ff38 Binary files /dev/null and b/research/p104-temporal-chart306-continuation/WORD.json.gz differ diff --git a/research/p104-temporal-chart306-continuation/adapt.py b/research/p104-temporal-chart306-continuation/adapt.py new file mode 100644 index 0000000000..e8dd3c99be --- /dev/null +++ b/research/p104-temporal-chart306-continuation/adapt.py @@ -0,0 +1,41 @@ +# Successor: Rohan Arun/OpenAI Codex global output rechart; predecessor attribution retained. +"""Counted adapters invalidate same-native reuse in Rohan Arun's #7113 checks. +All edits apply only to temporary copies of authenticated source. Apache-2.0. +Prepared for dillona with substantial OpenAI Codex assistance. +""" +from hashlib import sha256 + +def adapt(folder,claim,frac): + changes=[] + def patch(name,old,new): + path=folder/name;raw=path.read_text() + if raw.count(old)!=1:raise ValueError('Exact one-occurrence adapter: '+name+' '+old) + path.write_text(raw.replace(old,new));changes.append(dict(file=name,old=old,new=new)) + patch('emit_odd_type_ab.py', + 'invoice=next(x for x in json.loads((root/"SHORT-CALLER-RAW-PRICE.json").read_text())["rows"] if tuple(x["shape"])==shape)', + 'invoice=json.loads((root/"COHORT-PRICE.json").read_text())') + patch('check_odd_partial_admission.py', + 'previous=json.loads((root/"SHORT-ADMISSION-PARTIAL.json").read_text())\nassert previous["native_sha256"]==digest and not N["bad_inputs"]', + 'actual_native=ind.native(w)\nassert actual_native==N and not N["bad_inputs"], "Fresh complete native inventory and arbitrary-input adjoint"') + patch('check_odd_partial_admission.py','claim=Q(".00363797977")','claim=Q('+repr(claim)+')') + # ToikY's frozen exact_price() already shrinks this probe below the + # certified crossing. Recompute that rule in the caller's separate gate. + patch('check_odd_partial_admission.py', + 'tested=claim+Q(7,10**17)', + 'tested=claim+Q(7,10**17)\nwhile tested>=Q(reference["raw_bracket"][0]):\n tested=claim+(tested-claim)/10') + patch('check_odd_partial_admission.py', + 'g=gate(invoice,claim,tested,*bracket,r["gate"]["BIT_pin"])', + 'g=gate(invoice,claim,tested,*bracket,r["gate"]["BIT_pin"])\ntry:\n gate(invoice,claim,Q(bracket[0]),*bracket,r["gate"]["BIT_pin"])\nexcept AssertionError:\n crossing_probe_rejected=True\nelse:\n raise AssertionError("Probe at lower crossing unexpectedly accepted")') + patch('check_odd_partial_admission.py', + '"scope":"Reuse exact same native word all-column adjoint;', + '"crossing_probe_rejected":crossing_probe_rejected,"scope":"Reuse exact same native word all-column adjoint;') + patch('check_odd_precision.py', 'env=ModuleType("short_envelope")', + 'patch(\'(life, peak, owned_count) == (54, 43, 51)\',\'(life, peak, owned_count) == (64, 47, 61)\')\nenv=ModuleType("short_envelope")') + patch('check_odd_precision.py','previous=json.loads((root/"SHORT-PRECISION.json").read_text())','') + patch('check_odd_precision.py', + 'assert previous["native_sha256"]==sha and grid_receipt["caller_sha256"]==sha256(cpath.read_bytes()).hexdigest()', + 'assert grid_receipt["caller_sha256"]==sha256(cpath.read_bytes()).hexdigest()') + patch('check_odd_precision.py', + 'wg=previous["native_grid"]\nwr=previous["rounded_native"]\nwp={key:(Q(v["exact"]),v["witness"]) for key,v in wr["bounds"].items()}', + f'wg=grid.word_run(w, frac={frac})\nwp,wr=env.native_envelope(w)\nwg=json.loads(json.dumps(wg,default=str));wr=json.loads(json.dumps(wr,default=str))\nassert wg==r["precision"]["word"] and wr==r["precision"]["rounded_native"], "Fresh changed-native grid and envelope"') + return dict(edits=changes,adapted_sha256={x['file']:sha256((folder/x['file']).read_bytes()).hexdigest() for x in changes}) diff --git a/research/p104-temporal-chart306-continuation/certificate.py b/research/p104-temporal-chart306-continuation/certificate.py new file mode 100644 index 0000000000..b61ed8d869 --- /dev/null +++ b/research/p104-temporal-chart306-continuation/certificate.py @@ -0,0 +1,133 @@ +"""Exact timed histories with independent final-owned and COPY-zero adjoints. + +Causal split: Ali Romman; earlier history and retiming methods: Jerry Chen / +CubeJerry; chart-237 observations: Rohan Arun; executable chart-595 source: +dillona. Guarded suffix adaptation: Clear1nsight, Codex and ChatGPT Pro. +""" +from collections import defaultdict +from copy import deepcopy +from fractions import Fraction as Q +from source import need +from construct import construct, scalar_width +from support import L + + +def observe(word, hit): + n = word['public'] + m = n + word['owned_fields'] + events = word['program'] + requests = [defaultdict(set), defaultdict(set)] + snapshots = [{}, {}] + for side, name in enumerate(('gathers', 'injections')): + for x in hit[name]: + requests[side][x['cut']].add(x['role']) + + def save(side, cut, values): + for r in requests[side].get(cut, ()): + snapshots[side][cut, r] = dict(values[r]) + + rows = [{i: Q(1)} if i < n else {} for i in range(m)] + save(0, 0, rows) + for i, e in enumerate(events): + op, r = e[:2] + if op in ('INIT', 'CLEAR'): + rows[r] = {} + elif op == 'SCALE': + rows[r] = {k: Q(e[-2])*q for k, q in rows[r].items()} + elif op in ('ADD', 'COPY'): + if op == 'COPY': + need(not rows[r], 'Original COPY destination must be zero') + L.add(rows[r], rows[e[2]], Q(e[-2])) + save(0, i+1, rows) + + # Coordinates [0,m) are all final roles, including owned fields. The + # unique coordinate m+i measures the destination just before COPY i. + cols = [{i: Q(1)} for i in range(m)] + save(1, len(events), cols) + for i in reversed(range(len(events))): + e = events[i] + op, r = e[:2] + if op in ('INIT', 'CLEAR'): + cols[r] = {} + elif op == 'SCALE': + cols[r] = {k: Q(e[-2])*q for k, q in cols[r].items()} + elif op in ('ADD', 'COPY'): + L.add(cols[e[2]], cols[r], Q(e[-2])) + if op == 'COPY': + cols[r] = {m+i: Q(1)} + save(1, i, cols) + return snapshots + + +def check(hit, snapshots): + vectors = {} + for side, field, target in ((0, 'gathers', 'c'), (1, 'injections', 'd')): + total, seen = {}, set() + for x in hit[field]: + key = x['cut'], x['role'] + need(key in snapshots[side] and key not in seen, 'Distinct source observation') + seen.add(key) + need(x['frame'] == hit['frame'], 'One accumulator frame') + need(x['cut'] <= hit['cut'] if side == 0 else x['cut'] >= hit['cut'], 'Causal chronology') + q = Q(x['coefficient']) + need(q != 0, 'Nonzero timed coefficient') + L.add(total, snapshots[side][key], q) + want = {int(k): Q(q) for k, q in hit[target].items()} + need(total == want, 'All coefficients, including outside and guard coordinates, for ' + target) + vectors[target] = {str(k): str(v) for k, v in sorted(total.items())} + c, d = ({int(k): Q(q) for k, q in vectors[x].items()} for x in ('c', 'd')) + need(sum(q*d.get(r, 0) for r, q in c.items()) == 1, 'Unit pairing') + return dict(status='PASS_EXACT_GUARDED_TIMED_OBSERVATIONS', gather_count=len(hit['gathers']), + injection_count=len(hit['injections']), latest_gather=max(x['cut'] for x in hit['gathers']), + retirement_cut=hit['cut'], earliest_injection=min(x['cut'] for x in hit['injections']), + vectors=vectors, boundary_pairing='1') + + +def rejected(action): + try: + action() + except (AssertionError, ValueError): + return True + raise ValueError('Corruption accepted') + + +def controls(word, hit, paths, snapshots=None): + snapshots = observe(word, hit) if snapshots is None else snapshots + check(hit, snapshots) + results = {} + for field in ('gathers', 'injections'): + bad = deepcopy(hit) + bad[field][0]['coefficient'] = str(2*Q(bad[field][0]['coefficient'])) + results['wrong_'+field+'_coefficient'] = rejected(lambda: check(bad, snapshots)) + bad = deepcopy(hit) + bad[field].pop(0) + results['omitted_'+field+'_observation'] = rejected(lambda: check(bad, snapshots)) + bad = deepcopy(hit) + bad['cut'] = max(x['cut'] for x in bad['gathers'])-1 + results['retirement_before_last_gather'] = rejected(lambda: check(bad, snapshots)) + bad = deepcopy(hit) + bad['injections'][0]['cut'] = hit['cut']-1 + results['injection_before_retirement'] = rejected(lambda: check(bad, snapshots)) + bad = deepcopy(hit) + bad['paid_delta'] = {} + results['omitted_paid_midpoint_cost'] = rejected(lambda: construct(word, bad, paths)) + bad = deepcopy(hit) + bad['path']['hi'] = bad['path']['moves'][0] + results['incomplete_paid_path'] = rejected(lambda: construct(word, bad, paths)) + bad = deepcopy(hit) + bad['ranks'] = list(reversed(bad['ranks'])) + results['wrong_productive_ranks'] = rejected(lambda: construct(word, bad, paths)) + bad = deepcopy(hit) + bad['gathers'][0]['cut'] = hit['cut']+1 + results['gather_after_retirement'] = rejected(lambda: construct(word, bad, paths)) + toy = {'public': 1, 'owned_fields': 1, + 'program': [['INIT', 1, 0], ['COPY', 1, 0, '1', 0], ['CLEAR', 1, 0]]} + toy_hit = {'gathers': [], 'injections': [{'cut': 1, 'role': 1}]} + _, cols = observe(toy, toy_hit) + # This perturbation is invisible at the final output because of COPY + # and CLEAR; it is nevertheless forbidden at the interior COPY. + need(cols == {(1, 1): {3: Q(1)}}, 'COPY-zero control must see erased perturbation') + results['output_invisible_copy_violation_detected'] = True + results['oversized_scalar_numerator_rejected'] = rejected( + lambda: scalar_width({'program': [['ADD', 0, 1, str(2**24), 0]]})) + return results diff --git a/research/p104-temporal-chart306-continuation/construct.py b/research/p104-temporal-chart306-continuation/construct.py new file mode 100644 index 0000000000..011d4da0ab --- /dev/null +++ b/research/p104-temporal-chart306-continuation/construct.py @@ -0,0 +1,18 @@ +"""Apply the authenticated causal split and retain the fixed-tape scalar contract.""" +from fractions import Fraction +from temporal_construct import construct as split +from source import need + + +def scalar_width(word): + widths = [abs(Fraction(event[-2]).numerator).bit_length() + for event in word['program'] if event[0] in ('ADD', 'COPY', 'SCALE')] + width = max(widths) + need(width <= 24, 'Existing fixed-tape 24-bit scalar numerator limit') + return dict(count=len(widths), maximum_bits=width, at_limit=widths.count(24)) + + +def construct(word, hit, paths): + candidate = split(word, hit, paths) + scalar_width(candidate) + return candidate diff --git a/research/p104-temporal-chart306-continuation/derive_grid.py b/research/p104-temporal-chart306-continuation/derive_grid.py new file mode 100644 index 0000000000..f8cb37f00b --- /dev/null +++ b/research/p104-temporal-chart306-continuation/derive_grid.py @@ -0,0 +1,36 @@ +"""Derive a finite common grid from every exact prefix row and scalar product. +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. +""" +from fractions import Fraction as Q +from math import lcm +from pathlib import Path +import gzip,json,sys + +def derive(word): + n=word['public'];rows=[{r:Q(1)}for r in range(n)]+[{}for _ in range(word['owned_fields'])] + denom=1;peak=Q(1);witness=None;visits=0 + def observe(row,i,kind): + nonlocal denom,peak,witness,visits + for v in row.values():denom=lcm(denom,v.denominator);visits+=1 + mass=sum(map(abs,row.values())) + if mass>peak:peak=mass;witness=[i,kind] + for i,e in enumerate(word['program']): + op,r=e[:2] + if op in('INIT','CLEAR'):rows[r]={} + elif op=='SCALE': + rows[r]={k:Q(e[2])*v for k,v in rows[r].items()};observe(rows[r],i,'scale') + elif op in('ADD','COPY'): + if op=='COPY':assert not rows[r] + product={k:Q(e[3])*v for k,v in rows[e[2]].items()};observe(product,i,'product') + row=rows[r].copy() + for k,v in product.items(): + value=row.get(k,Q(0))+v + if value:row[k]=value + else:row.pop(k,None) + rows[r]=row;observe(row,i,'stored') + odd=denom;frac=0 + while odd%2==0:odd//=2;frac+=1 + return dict(odd_scale=odd,fractional_bits=frac,unscaled_maximum_mass=str(peak),scaled_maximum_mass=str(peak*odd),mass_witness=witness,coefficient_visits=visits),rows +if __name__=='__main__': + w=json.load(gzip.open(sys.argv[1],'rt'));result,rows=derive(w) + Path(sys.argv[2]).write_text(json.dumps(result,indent=2)+'\n');print(result) diff --git a/research/p104-temporal-chart306-continuation/discover_temporal.py b/research/p104-temporal-chart306-continuation/discover_temporal.py new file mode 100644 index 0000000000..0798cfea01 --- /dev/null +++ b/research/p104-temporal-chart306-continuation/discover_temporal.py @@ -0,0 +1,146 @@ +"""Bounded exact temporal helper nomination using existing neutral paths. + +Ali Romman's causal-history identity and CubeJerry's contact-free retiming; +Matarener's exact pure kernels. Rohan Arun/OpenAI Codex, Apache-2.0. +No native, physical or complete-price acceptance is inferred from this search. +""" +import argparse,gzip,json,time +from pathlib import Path +from collections import defaultdict,Counter +from fractions import Fraction as Q +import sys +sys.path.insert(0,str(Path(__file__).resolve().parent)) +from support import L +from split import basis + +def encode(x): + if isinstance(x,Q): return str(x) + if isinstance(x,dict): return {str(k):encode(v) for k,v in x.items()} + if isinstance(x,(list,tuple)): return [encode(v) for v in x] + return x + + +def smooth(n): + if not n:return False + for p in (2,3,5): + while n%p==0:n//=p + return n==1 + + +def legal(prog): + for e in prog: + q=Q(e[-2]) + if not q or abs(q)+1>=2**16 or not smooth(q.denominator):return False + if e[0]=='SCALE' and not smooth(abs(q.numerator)):return False + return True + + + +def kernel(observations,side,group): + pivots={};out=[] + order=sorted(range(len(observations)),key=lambda i:observations[i]['lo'] if side=='pre' else -observations[i]['hi']) + for i in order: + row=observations[i][side] + outside={k:v for k,v in row.items() if k not in group} + inside={k:v for k,v in row.items() if k in group};coef={i:Q(1)} + while outside: + k=min(outside) + if k not in pivots: + q=1/outside[k];pivots[k]=[{j:v*q for j,v in x.items()}for x in (outside,inside,coef)];break + q=-outside[k] + for dst,src in zip((outside,inside,coef),pivots[k]):L.add(dst,src,q) + if not outside and inside: + boundary=max(observations[j]['lo']for j in coef) if side=='pre' else min(observations[j]['hi']for j in coef) + out.append((inside,coef,boundary)) + return out + +def run(a): + start=time.monotonic();w=json.loads(gzip.decompress(a.word.read_bytes()));seq=w['program'];n=w['public'];N=n+w['owned_fields'] + spans=list(map(L.span,w['frames']));U,V=a.group + main=set(w['live'])|{r+112 for r in w['live']}|set(w['hosted']['X2'])|set(w['hosted']['Y2']) + group={r for r in range(n)if r not in main and (w['initial'][r],w['final'][r])==(U,V)} + valid={f for f,F in enumerate(spans)if spans[U]=gain-1e-12:continue + p={'role':r,'lo':lo+1,'hi':hi,'frame':f,'moves':mi,'old':x,'new':y,'old_paid':old,'new_paid':new,'cost':cost,'gain':gain,'private':r>=n,'paid':True} + idx=len(observations);observations.append(p);paid_frames[f].append(idx);starts[lo+1].append(idx);ends[hi].append(idx) + print('DOMAIN',len(group),'helpers',len(observations),'observations',len(frames),'frames',flush=True) + rows=[{r:Q(1)}if rhi:continue + pair=sum(v*dd.get(k,0)for k,v in c.items()) + if not pair:continue + stats['causal_nonzero_pairs']+=1 + d={k:v/pair for k,v in dd.items()};b={k:v/pair for k,v in bb.items()} + pivots=[(max(lo,o['lo']),o['role'],j)for j,o in enumerate(obs)if o['role']in group and max(lo,o['lo'])<=min(hi,o['hi'])] + for cut,pivot,pidx in sorted(pivots): + stats['resident_pairs']+=1 + scales={Q(1)}|{1/v for v in d.values()} + for scale in sorted(scales,key=lambda v:abs(v.numerator).bit_length()+v.denominator.bit_length()): + cc={k:v/scale for k,v in c.items()};dv={k:v*scale for k,v in d.items()};av={k:v/scale for k,v in aa.items()};bv={k:v*scale for k,v in b.items()} + code=basis(cc,dv,pivot,U)+[['ADD',N,obs[j]['role'],str(v),f]for j,v in list(av.items())+list(bv.items())] + if not legal(code):continue + used=sorted(j for j in set(av)|set(bv)|{pidx}if not obs[j].get('paid'));remap={j:i for i,j in enumerate(used)} + paths=[{k:v for k,v in obs[j].items()if k not in ('pre','suf')}for j in used] + def point(j,v,side):return {'cut':obs[j]['lo' if side=='pre' else 'hi'],'role':obs[j]['role'],'frame':f,**({'paid_path':0}if obs[j].get('paid')else{'path':remap[j]}),'coefficient':v} + hit={'frame':f,'cut':cut,'pivot':pivot,'ranks':[len(w['frames'][f])-len(w['frames'][U]),len(w['frames'][V])-len(w['frames'][f])],'c':cc,'d':dv,'gathers':[point(j,v,'pre')for j,v in av.items()],'injections':[point(j,v,'suf')for j,v in bv.items()],'paid_delta':{}} + if paid_idx is not None: + path={k:v for k,v in observations[paid_idx].items()if k not in ('pre','suf','paid')};delta=Counter(v for v in path['new_paid']if v);delta.subtract(path['old_paid']);hit.update(paid_path=0,path=path,paid_delta={r:v for r,v in delta.items()if v}) + (a.out/'WITNESS.json').write_text(json.dumps(encode(hit),indent=2));(a.out/'PATHS.json').write_text(json.dumps(encode(paths),indent=2)) + (a.out/'SEARCH.json').write_text(json.dumps({'status':'EXACT_TEMPORAL_NOMINATION_ONLY','counts':stats,'seconds':time.monotonic()-start},indent=2));print('NOMINEE',f,cut,pivot,dict(stats),flush=True);return + if stats['frames']%100==0:print('FRAMES',dict(stats),flush=True) + (a.out/'SEARCH.json').write_text(json.dumps({'status':'NO_NOMINEE_IN_BOUNDED_TEMPORAL_DOMAIN','paid_limit':a.paid_limit,'counts':stats,'seconds':time.monotonic()-start},indent=2));print('NO_NOMINEE',dict(stats),flush=True) + +if __name__=='__main__': + p=argparse.ArgumentParser();p.add_argument('--word',type=Path,required=True);p.add_argument('--out',type=Path,required=True);p.add_argument('--group',nargs=2,type=int,default=[3,127]);p.add_argument('--paid-limit',type=int,default=0);p.add_argument('--kappa',type=float,default=0.003);run(p.parse_args()) diff --git a/research/p104-temporal-chart306-continuation/inputs/pr7155.tar b/research/p104-temporal-chart306-continuation/inputs/pr7155.tar new file mode 100644 index 0000000000..7b2cb82cc0 Binary files /dev/null and b/research/p104-temporal-chart306-continuation/inputs/pr7155.tar differ diff --git a/research/p104-temporal-chart306-continuation/price.py b/research/p104-temporal-chart306-continuation/price.py new file mode 100644 index 0000000000..af0e88151f --- /dev/null +++ b/research/p104-temporal-chart306-continuation/price.py @@ -0,0 +1,54 @@ +# Successor: Rohan Arun/OpenAI Codex global output rechart; predecessor attribution retained. +"""Recompute both source invoices and two exact crossing engines. +Retains Rohan Arun's caller adapters and ToikY's attributed price engines. +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. +""" +from pathlib import Path +from hashlib import sha256 +from fractions import Fraction as Q +import gzip,importlib.util,json,sys + +def load(name,path): + spec=importlib.util.spec_from_file_location(name,path);obj=importlib.util.module_from_spec(spec);sys.modules[name]=obj;spec.loader.exec_module(obj);return obj + +def read(path): + raw=Path(path).read_bytes();return json.loads(gzip.decompress(raw) if raw[:2]==b'\x1f\x8b' else raw) + +def normalized(value):return json.loads(json.dumps(value,default=str)) + +def main(native,caller,previous_composition,folder): + source=load('composition_native_source',native/'source.py') + with source.sources() as (vendor,archive,rank9,bundle,parent,word): + sys.path.insert(0,str(folder)) + model=load('composition_signed_model',folder/'signed_model.py');ind=model.signed_model() + code=(folder/'independent.py').read_text();part=code[code.index('def invoices('):code.index('def ordinary(')] + assert part.count('assert calls==18')==1 + part=part.replace('assert calls==18',"assert calls==C['stages']") + old="elif e[1]=='IDLE_ONE':P[8*len(e[3])]+=ports";assert part.count(old)==1 + part=part.replace(old,"elif e[1] in ('IDLE_ONE','IDLE_ODD'):P[8*len(e[3])+(e[1]=='IDLE_ODD')]+=ports") + exec(compile(part,str(folder/'independent.py'),'exec'),ind.__dict__) + C=read(caller/'expected/ODD-TYPE-AB-CALLER.json') + old_word=word;new_word=read(native/'WORD.json.gz') + old_result=read(parent/'NATIVE-RESULT.json');new_result=read(native/'NATIVE-RESULT.json') + inventories=[ind.native(w) for w in (old_word,new_word)] + for n,r,w in zip(inventories,(old_result,new_result),(old_word,new_word)): + assert normalized(n)==r['native'] and not n['bad_inputs'] + assert sha256(json.dumps(w,sort_keys=True,separators=(',',':')).encode()).hexdigest()==r['word_canonical_sha256'] + before,after=[ind.invoices(w,C,n) for w,n in zip((old_word,new_word),inventories)] + previous=read(previous_composition/'RESULT.json')['price'] + assert normalized(before)==previous['after'],'Entire reconstructed current #7155 invoice' + G=load('composition_price_engine',bundle/'gate.py') + gate,price=G.exact_price(vendor,archive,before,after,{'gate':previous['gate']}) + assert Q(gate['claim'])>Q(new_result['gate']['claim']) + native_invoice={k:({int(r):v for r,v in value.items()} if k in ('T','P') else value) for k,value in new_result['invoice'].items()} + directed=G.module('composition_native_comparator',vendor/'interval_gate.py') + assert directed.moment(G.signed(native_invoice),Q(gate['claim']))[1]<0,'The separately checked18-stage ingredient invoice rejects the17-stage claim' + record=normalized(dict(before=before,after=after,gate=gate,price=price,native_baseline_rejects_new_claim=True, + old_native=old_result['word_canonical_sha256'],new_native=new_result['word_canonical_sha256'])) + with (folder/'CURRENT-PRICE.json').open('x') as f:json.dump(record,f,indent=2) + with (folder/'COHORT-PRICE.json').open('x') as f:json.dump(dict(target=after['T'],paid=after['P'],bracket=gate['raw_bracket']),f,indent=2) + print('PASS two reconstructed invoices and both exact price engines',price['claim_decimal'],flush=True) + +if __name__=='__main__': + assert __debug__ + main(*map(Path,sys.argv[1:])) diff --git a/research/p104-temporal-chart306-continuation/source.py b/research/p104-temporal-chart306-continuation/source.py new file mode 100644 index 0000000000..e4320617ca --- /dev/null +++ b/research/p104-temporal-chart306-continuation/source.py @@ -0,0 +1,49 @@ +"""Authenticate the complete #7155 closure. Apache-2.0; retained author notices apply.""" +from pathlib import Path +from contextlib import contextmanager +from hashlib import sha256 +import json,gzip,tarfile,tempfile,importlib.util,sys +HERE=Path(__file__).resolve().parent +def read(path): + raw=Path(path).read_bytes();return json.loads(gzip.decompress(raw) if raw[:2]==b'\x1f\x8b' else raw) +def canonical(obj):return json.dumps(obj,sort_keys=True,separators=(',',':')).encode() +def need(ok,why): + if not ok:raise ValueError(why) +def load(name,path): + s=importlib.util.spec_from_file_location(name,path);m=importlib.util.module_from_spec(s);sys.modules[name]=m;s.loader.exec_module(m);return m +@contextmanager +def parent_bundle(): + pin=read(HERE/'INPUTS.json');archive=HERE/pin['archive'];need(sha256(archive.read_bytes()).hexdigest()==pin['archive_sha256'],'Source archive') + with tempfile.TemporaryDirectory(prefix='rechart-source-') as tmp: + root=Path(tmp);pins={r['path']:r for r in pin['files']};seen=set() + with tarfile.open(archive) as tar: + for m in tar: + if m.isdir():continue + path=root/m.name;need(m.isfile() and m.name in pins and m.name not in seen and path.resolve().is_relative_to(root.resolve()),'Safe source member') + raw=tar.extractfile(m).read();p=pins[m.name];need(len(raw)==p['size'] and sha256(raw).hexdigest()==p['sha256'],'Source member hash') + path.parent.mkdir(parents=True,exist_ok=True);path.write_bytes(raw);seen.add(m.name) + need(seen==set(pins),'Complete source inventory');yield root/pin['prefix'] +@contextmanager +def sources(): + with parent_bundle() as parent: + s=load('rechart_parent_source',parent/'source.py') + with s.sources() as (vendor,archive,rank9,bundle,oldparent,oldword): + names=('source','construct','support','split','rechart','retime','temporal_construct','certificate') + saved={k:sys.modules.get(k) for k in names};saved_path=list(sys.path) + try: + for k in names:sys.modules.pop(k,None) + sys.path.insert(0,str(parent)) + c=load('rechart_parent_construct',parent/'construct.py') + word=c.construct(oldword,read(parent/'WITNESS.json'),read(parent/'PATHS.json')) + finally: + sys.path[:]=saved_path + for k,v in saved.items(): + if v is None:sys.modules.pop(k,None) + else:sys.modules[k]=v + need(canonical(word)==gzip.decompress((parent/'WORD.json.gz').read_bytes()),'Every reconstructed #7155 word byte') + yield vendor,archive,rank9,bundle,parent,word +@contextmanager +def bundles(): + with parent_bundle() as parent: + s=load('rechart_composition_source',parent/'source.py') + with s.bundles() as (parts,previous,root):yield parts,parent,root diff --git a/research/p104-temporal-chart306-continuation/split.py b/research/p104-temporal-chart306-continuation/split.py new file mode 100644 index 0000000000..f1c7609653 --- /dev/null +++ b/research/p104-temporal-chart306-continuation/split.py @@ -0,0 +1,155 @@ +"""Split independent helper jobs with three scalar basis changes. + +Ali Romman with substantial OpenAI Codex assistance. Apache-2.0. +Adapted for arbitrary counted owned-field inventory by @CubeJerry with OpenAI assistance. +Successor: OpenAI Codex for dillona excludes both hosted main planes from helper groups. +The source word and caller retain the credits in README.md. +Successors: dillona/OpenAI Codex choose a small smooth swap entry when pivot is zero; +then also when a nonzero pivot has a nonunit reciprocal, preserving the native alphabet. +""" +from copy import deepcopy +from fractions import Fraction as Q +from support import L + + +def inverse(program): + return [[e[0], *e[1:-2], + str(1/Q(e[-2]) if e[0] == 'SCALE' else -Q(e[-2])), e[-1]] + for e in reversed(program)] + + +def basis(a, b, pivot, frame): + """Return B with row pivot equal to a and B b equal to e_pivot.""" + L.need(sum(v*b.get(k, 0) for k, v in a.items()) == 1, 'Unit basis pairing') + roles = sorted(set(a) | set(b) | {pivot}) + values, program = dict(b), [] + + def emit(event): + program.append(event) + r, q = event[1], Q(event[-2]) + if event[0] == 'SCALE': + values[r] = values.get(r, 0)*q + else: + values[r] = values.get(r, 0)+q*values.get(event[2], 0) + + def swap_score(r): + q=b[r] + def smooth(x): + for prime in (2,3,5): + while x%prime==0:x//=prime + return x==1 + return (not(smooth(abs(q.numerator)) and smooth(q.denominator)), + abs(q.numerator).bit_length()+q.denominator.bit_length(),r) + j = pivot if b.get(pivot) and not swap_score(pivot)[0] else min((r for r in roles if b.get(r)),key=swap_score) + if j != pivot: + for event in [['ADD', pivot, j, '1', frame], + ['ADD', j, pivot, '-1', frame], + ['ADD', pivot, j, '1', frame], + ['SCALE', j, '-1', frame]]: + emit(event) + if values[pivot] != 1: + emit(['SCALE', pivot, str(1/values[pivot]), frame]) + for r in roles: + if r != pivot and values.get(r): + emit(['ADD', r, pivot, str(-values[r]), frame]) + L.need(all(values.get(r, 0) == int(r == pivot) for r in roles), 'Basis column') + inverse_rows = {r: {r: Q(1)} for r in roles} + for e in inverse(program): + if e[0] == 'SCALE': + inverse_rows[e[1]] = {k: Q(e[-2])*v for k, v in inverse_rows[e[1]].items()} + else: + L.add(inverse_rows[e[1]], inverse_rows[e[2]], Q(e[-2])) + row = {} + for r, q in a.items(): + L.add(row, inverse_rows[r], q) + L.need(row[pivot] == 1, 'Basis row coefficient') + for r in roles: + if r != pivot and row.get(r): + program.append(['ADD', pivot, r, str(row[r]), frame]) + return program + + +def check_cut(word, h): + """Check the whole prefix row and suffix column over the rationals.""" + n, cut, f, p = word['public'], h['cut_after'], h['frame'], h['pivot'] + a, b, c, d = ({int(k): Q(v) for k, v in h[s].items()} for s in ('a', 'b', 'c', 'd')) + main = set(word['live']) | {r+112 for r in word['live']} | set(word['hosted']['X2']) | set(word['hosted']['Y2']) + L.need(p < n and p not in main, 'A helper supplies the retained output role') + u, v = word['initial'][p], word['final'][p] + group = {r for r in range(n) if r not in main and + (word['initial'][r], word['final'][r]) == (u, v)} + L.need(set(c) | set(d) <= group, 'Both boundary vectors use one helper group') + L.need(L.span(word['frames'][u]) < L.span(word['frames'][f]) < L.span(word['frames'][v]), + 'Two strictly productive nested targets') + L.need(h['ranks'] == [len(word['frames'][f])-len(word['frames'][u]), + len(word['frames'][v])-len(word['frames'][f])], 'Declared split ranks') + rows = [{r: Q(1)} if r < n else {} for r in range(n+word['owned_fields'])] + current = word['initial']+[None]*word['owned_fields'] + for e in word['program'][:cut+1]: + op, r = e[:2] + if op == 'MOVE': + current[r] = e[3] + elif op in ('INIT', 'CLEAR'): + rows[r] = {} + current[r] = e[2] if op == 'INIT' else None + elif op == 'SCALE': + rows[r] = {k: Q(e[-2])*x for k, x in rows[r].items()} + elif op == 'COPY': + rows[r] = {k: Q(e[-2])*x for k, x in rows[e[2]].items()} + else: + L.add(rows[r], rows[e[2]], Q(e[-2])) + L.need(all(current[r] == f for r in set(a) | set(b) | {p}), 'One intermediate chart') + total = {} + for r, q in a.items(): + L.add(total, rows[r], q) + L.need(total == c, 'Exact prefix functional; no other input') + column = [b.get(r, Q(0)) for r in range(n+word['owned_fields'])] + for e in word['program'][cut+1:]: + op, r = e[:2] + if op in ('INIT', 'CLEAR'): + column[r] = Q(0) + elif op == 'SCALE': + column[r] *= Q(e[-2]) + elif op == 'COPY': + column[r] = Q(e[-2])*column[e[2]] + elif op == 'ADD': + column[r] += Q(e[-2])*column[e[2]] + L.need(column == [d.get(r, Q(0)) for r in range(n+word['owned_fields'])], 'Exact suffix direction; no other output') + L.need(sum(x*b.get(r, 0) for r, x in a.items()) == + sum(x*d.get(r, 0) for r, x in c.items()) == 1, 'Both independent pairings') + return a, b, c, d + + +def split(word, h): + a, b, c, d = check_cut(word, h) + n, p, f, cut = word['public'], h['pivot'], h['frame'], h['cut_after'] + u, v = word['initial'][p], word['final'][p] + + def shift_owned(event): + e = event.copy() + e[1] += int(e[1] >= n) + if e[0] in ('ADD', 'COPY'): + e[2] += int(e[2] >= n) + return e + + def use_successor(event): + e = event.copy() + if e[1] == p: + e[1] = n + if e[0] in ('ADD', 'COPY') and e[2] == p: + e[2] = n + return e + + boundary, middle = basis(c, d, p, u), basis(a, b, p, f) + out = deepcopy(word) + out['public'] = n+1 + out['initial'].append(f) + out['final'].append(v) + out['final'][p] = f + out['program'] = inverse(boundary) + out['program'] += [shift_owned(e) for e in word['program'][:cut+1]] + out['program'] += [shift_owned(e) for e in middle] + out['program'] += [use_successor(shift_owned(e)) for e in inverse(middle)] + out['program'] += [use_successor(shift_owned(e)) for e in word['program'][cut+1:]] + out['program'] += [use_successor([*e[:-1], v]) for e in boundary] + return out diff --git a/research/p104-temporal-chart306-continuation/support.py b/research/p104-temporal-chart306-continuation/support.py new file mode 100644 index 0000000000..192cd38d27 --- /dev/null +++ b/research/p104-temporal-chart306-continuation/support.py @@ -0,0 +1,18 @@ +"""Small exact sparse operations, retained from Ali Romman/CubeJerry. Apache-2.0.""" +class L: + @staticmethod + def need(ok, why): + if not ok: raise ValueError(why) + @staticmethod + def add(dst, src, q): + for k,v in tuple(src.items()): + value=dst.get(k,0)+q*v + if value: dst[k]=value + else: dst.pop(k,None) + @staticmethod + def span(basis): + out={0} + for v in basis: + L.need(type(v) is int and 0= cut, 'Injection chronology') + injections[obs['cut']].append(obs) + selected = {} + for obs in hit['gathers'] + hit['injections']: + if 'path' in obs: + p = neutral_paths[obs['path']] + L.need(p['role'] == obs['role'] and p['frame'] == f and p['lo'] <= obs['cut'] <= p['hi'], 'Observation belongs to its neutral path') + selected[(p['role'], p['lo'], p['hi'])] = (p, False) + if 'paid_path' in obs: + p = hit['path'] + L.need(obs['paid_path'] == hit['paid_path'] and p['role'] == obs['role'] and p['frame'] == f and p['lo'] <= obs['cut'] <= p['hi'], 'Observation belongs to its paid path') + if 'path' in hit: + p = hit['path'] + selected[(p['role'], p['lo'], p['hi'])] = (p, True) + # A pivot may use a neutral path even when its value is not gathered. + for p in neutral_paths: + if p['role'] == pivot and p['frame'] == f and p['lo'] <= cut <= p['hi']: + selected.setdefault((p['role'], p['lo'], p['hi']), (p, False)) + break + enter, leave, remove, delta = defaultdict(list), defaultdict(list), set(), Counter() + events = word['program'] + for p, paid in selected.values(): + r, lo, hi = p['role'], p['lo'], p['hi'] + actual = [i for i in range(lo, hi) if events[i][1] == r or (events[i][0] in ('ADD', 'COPY') and events[i][2] == r)] + L.need(actual == p['moves'] and actual, 'Complete contact-free interval') + path = [events[i] for i in actual] + L.need(all(e[0] == 'MOVE' and e[1] == r and e[4] == (r >= n) for e in path), 'Only owned-typed MOVEs') + L.need(all(a[3] == b[2] for a, b in zip(path, path[1:])), 'Continuous original path') + L.need(not remove.intersection(actual), 'Nonoverlapping changed intervals') + remove.update(actual) + if paid: + a, b = path[0][2], path[-1][3] + L.need((a, b) == (p['old'], p['new']) and (spaces[a] <= spaces[f] <= spaces[b] or spaces[b] <= spaces[f] <= spaces[a]), 'Paid nested midpoint') + before = [['MOVE', r, a, f, r >= n]] if a != f else [] + after = [['MOVE', r, f, b, r >= n]] if f != b else [] + else: + frames = [path[0][2]] + [e[3] for e in path] + L.need(frames == p['frames'] and f in frames, 'Exact retained neutral path') + at = frames.index(f) + before, after = path[:at], path[at:] + enter[lo].extend(before) + leave[hi].extend(after) + delta.update(abs(len(word['frames'][e[3]])-len(word['frames'][e[2]])) for e in before+after) + delta.subtract(abs(len(word['frames'][e[3]])-len(word['frames'][e[2]])) for e in path) + L.need({r: q for r, q in delta.items() if q} == {int(r): q for r, q in hit['paid_delta'].items()}, 'Complete paid histogram change') + boundary = basis(c, d, pivot, u) + out = deepcopy(word) + out['public'] = n+1 + out['owned_fields'] = owned+2 + out['initial'].append(f) + out['final'].append(v) + out['final'][pivot] = f + A, B = n+1+owned, n+2+owned + program = inverse(boundary) + current = word['initial'] + [None]*owned + first, last = min(gathers), max(injections) + + def mapped(event, after): + e = event.copy() + for pos in (1, 2) if e[0] in ('ADD', 'COPY') else (1,): + r = e[pos] + e[pos] = n if after and r == pivot else r+int(r >= n) + return e + + def original(event, after): + op, r = event[:2] + if op == 'MOVE': + L.need(current[r] == event[2], 'Retimed path entry') + current[r] = event[3] + elif op == 'INIT': + L.need(current[r] is None, 'Fresh original owned field') + current[r] = event[2] + elif op == 'CLEAR': + L.need(current[r] == event[2], 'Original owned clear') + current[r] = None + else: + L.need(current[r] == event[-1], 'Original scalar frame') + if op in ('ADD', 'COPY'): + L.need(current[event[2]] == event[-1], 'Original scalar source frame') + program.append(mapped(event, after)) + + for i in range(len(events)+1): + for e in enter[i]: + original(e, i > cut) + if i == first: + program.append(['INIT', A, f]) + for obs in gathers[i]: + L.need(current[obs['role']] == f, 'Literal scheduled gather frame') + r = obs['role'] + int(obs['role'] >= n) + program.append(['ADD', A, r, str(Q(obs['coefficient'])), f]) + if i == cut: + L.need(current[pivot] == f, 'Literal pivot residency') + program.extend([ + ['INIT', B, f], ['ADD', B, n, '1', f], ['ADD', B, A, '-1', f], + ['ADD', n, pivot, '1', f], ['ADD', n, A, '-1', f], ['ADD', n, B, '-1', f], + ['ADD', pivot, A, '1', f], ['ADD', pivot, n, '-1', f], ['CLEAR', A, f]]) + for obs in injections[i]: + L.need(current[obs['role']] == f, 'Literal scheduled injection frame') + r = n if obs['role'] == pivot else obs['role'] + int(obs['role'] >= n) + program.append(['ADD', r, B, str(Q(obs['coefficient'])), f]) + if i == last: + program.append(['CLEAR', B, f]) + for e in leave[i]: + original(e, i >= cut) + if i < len(events) and i not in remove: + original(events[i], i >= cut) + L.need(current == word['final'] + [None]*owned, 'All original final frames') + program += [mapped([*e[:-1], v], True) for e in boundary] + out['program'] = program + return out diff --git a/research/p104-temporal-chart306-continuation/verify.py b/research/p104-temporal-chart306-continuation/verify.py new file mode 100644 index 0000000000..9919cb0493 --- /dev/null +++ b/research/p104-temporal-chart306-continuation/verify.py @@ -0,0 +1,54 @@ +# Successor: Rohan Arun/OpenAI Codex global output rechart; predecessor attribution retained. +"""Fresh source-bound native/caller composition and complete chart catalogue. +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. +""" +from pathlib import Path +from hashlib import sha256 +import argparse,json,shutil,subprocess,sys +sys.path.insert(0,str(Path(__file__).resolve().parent)) +from source import HERE,bundles,read,need +from adapt import adapt +need(__debug__,'Run without optimized Python') +COMMANDS=('emit_odd_type_b.py','emit_odd_type_ab.py','check_odd_caller_exact_grid.py', + 'check_odd_physical_binding.py','check_odd_precision.py','check_odd_partial_admission.py', + 'check_odd_fixed_tape_counts.py') + +def run(): + with bundles() as (source,previous_composition,root): + working=root/'working';shutil.copytree(source[7113]/'replay',working) + folder=working/'supplier7112/short-caller' + (folder.parent/'WORD.json.gz').write_bytes((HERE/'WORD.json.gz').read_bytes()) + (folder.parent/'RESULT.json').write_bytes((HERE/'NATIVE-RESULT.json').read_bytes()) + for path in folder.glob('SHORT-CATALOGUE-*-*.log'):path.unlink() + adapter=adapt(folder,read(HERE/'EARLY-RESULT.json')['price']['claim_decimal'],read(HERE/'NATIVE-RESULT.json')['derived_grid']['fractional_bits']) + subprocess.run([sys.executable,'-I','-B',str(HERE/'price.py'),str(HERE),str(source[7113]),str(previous_composition),str(folder)],check=True) + for name in COMMANDS: + print('RUN',name,flush=True) + subprocess.run([sys.executable,'-B',str(folder/name)],cwd=folder,check=True) + need((folder/'ODD-TYPE-AB-CALLER.json').read_bytes()==(source[7113]/'expected/ODD-TYPE-AB-CALLER.json').read_bytes(),'Whole reconstructed literal caller unchanged') + price=read(folder/'CURRENT-PRICE.json');partial=read(folder/'ODD-ADMISSION-PARTIAL.json') + need(price['after']==partial['invoice'],'Complete invoice from two adapters') + need(price['gate']==partial['compiler_outer'],'Both complete directed compiler gates') + catalogue=[] + size=int(subprocess.check_output([sys.executable,'-B',str(folder/'short_native_catalogue.py'),'--size'],cwd=folder,text=True)) + for start in range(0,size,1000): + stop=min(start+1000,size) + print('RUN complete catalogue',start,stop,flush=True) + path=folder/f'SHORT-CATALOGUE-{start}-{stop}.log' + with path.open('x') as out:subprocess.run([sys.executable,'-B',str(folder/'short_native_catalogue.py'),'--start',str(start),'--stop',str(stop)],cwd=folder,stdout=out,check=True) + text=path.read_text();catalogue.append(json.loads(text[text.index('\n{'):])) + subprocess.run([sys.executable,'-B',str(folder/'assemble_odd_application.py')],cwd=folder,check=True) + files=('ODD-TYPE-AB-REPLAY.json','ODD-CALLER-EXACT-GRID.json','ODD-PHYSICAL-BINDING.json', + 'ODD-PRECISION.json','ODD-ADMISSION-PARTIAL.json','ODD-FIXED-TAPE-COUNTS.json','ODD-8X9-APPLICATION-CHECKS.json') + result=dict(status='PASS_TEMPORAL_CHART306_CONTINUATION',claim=price['gate']['claim'],price=price, + caller_sha256=sha256((folder/'ODD-TYPE-AB-CALLER.json').read_bytes()).hexdigest(), + adapter=adapter,catalogue=catalogue,checks={name:read(folder/name) for name in files}) + return result + +def main(): + p=argparse.ArgumentParser();p.add_argument('--out',type=Path);a=p.parse_args();result=run() + if a.out: + with a.out.open('x') as f:json.dump(result,f,sort_keys=True,indent=2);f.write('\n') + else:need(result==read(HERE/'RESULT.json'),'Every frozen composition receipt field') + print(result['status'],result['claim'],flush=True) +if __name__=='__main__':main() diff --git a/research/p104-temporal-chart306-continuation/verify_early.py b/research/p104-temporal-chart306-continuation/verify_early.py new file mode 100644 index 0000000000..42d826cf35 --- /dev/null +++ b/research/p104-temporal-chart306-continuation/verify_early.py @@ -0,0 +1,33 @@ +"""Exact source, native operator, complete invoice and two price engines. + +This gate alone does not certify the full physical/precision application. +Rohan Arun with OpenAI Codex assistance. Apache-2.0. +""" +from pathlib import Path +from collections import Counter +from hashlib import sha256 +import sys,json,gzip,copy,argparse +sys.path.insert(0,str(Path(__file__).resolve().parent)) +from source import HERE,read,sources,canonical,need,load +from construct import construct +def normalized(x):return json.loads(json.dumps(x,default=str)) +def run(): + need(__debug__,'Do not disable proof assertions') + with sources() as (vendor,archive,rank9,bundle,parent,old): + new=construct(old,read(HERE/'WITNESS.json'),read(HERE/'PATHS.json'));need(canonical(new)==gzip.decompress((HERE/'WORD.json.gz').read_bytes()),'Entire regenerated word') + I=load('rechart_early_independent',vendor/'independent.py');before,after=map(I.native,(old,new)) + need(not before['bad_inputs'] and not after['bad_inputs'],'Exact arbitrary-input adjoint') + need(normalized(before)==read(parent/'NATIVE-RESULT.json')['native'],'Entire source inventory') + need(after['lifetimes']==before['lifetimes']+2 and new['owned_fields']==old['owned_fields']+2,'Two explicit added owned lifetimes and labels') + need(after['rises']==before['rises'],'Owned ascent inventory unchanged') + base=read(parent/'RESULT.json')['price'];old_invoice={k:({int(r):v for r,v in x.items()} if k in ('T','P') else x) for k,x in base['after'].items()} + invoice=copy.deepcopy(old_invoice);deltas={} + for ik,nk in (('T','helpers'),('P','paid')): + d=Counter(after[nk]);d.subtract(before[nk]);d={r:v for r,v in d.items() if v};deltas[ik]=d + for r,v in d.items():invoice[ik][r]=invoice[ik].get(r,0)+17*v + invoice['S']=sum(r*(invoice['T'].get(r,0)-invoice['P'].get(r,0)) for r in invoice['T'].keys()|invoice['P'].keys()) + for k in ('raw_crossing','no_E_credit_crossing'):invoice.pop(k,None) + G=load('rechart_early_price',bundle/'gate.py');gate,price=G.exact_price(vendor,archive,old_invoice,invoice,{'gate':base['gate']}) + return normalized(dict(status='PASS_EXACT_NATIVE_AND_PRICE_ONLY',word_sha256=sha256(canonical(new)).hexdigest(),native=after,native_delta=deltas,invoice=invoice,gate=gate,price=price,pending=['fresh integer grid','all affected physical chart maps','complete caller replay','ordinary and precision bounds','full source application'])) +if __name__=='__main__': + r=run();need(r==read(HERE/'EARLY-RESULT.json'),'Every frozen early receipt field');print(r['status'],r['price']['claim_decimal'],flush=True) diff --git a/research/p104-temporal-chart306-continuation/verify_native.py b/research/p104-temporal-chart306-continuation/verify_native.py new file mode 100644 index 0000000000..e8b2fc0761 --- /dev/null +++ b/research/p104-temporal-chart306-continuation/verify_native.py @@ -0,0 +1,150 @@ +"""Full changed-native operator, grid, price, envelope and physical checks. + +Retains authenticated predecessor engines and all source notices. Source-aware +verification is distinct from independent human/formal acceptance. +Rohan Arun with OpenAI Codex assistance. Apache-2.0. +Adapted to the exact causal-history two-buffer split by dillona/OpenAI Codex. +""" +from pathlib import Path +from collections import Counter +from copy import deepcopy +from fractions import Fraction as Q +from hashlib import sha256 +import sys,json,gzip,argparse,subprocess,tempfile,io,contextlib +sys.path.insert(0,str(Path(__file__).resolve().parent)) +from source import HERE,read,load,sources,canonical,need +from construct import construct +from derive_grid import derive +def normalized(x):return json.loads(json.dumps(x,default=str)) +def delta(a,b): + d=Counter(a);d.subtract(b);return {r:v for r,v in d.items() if v} +def rejects(fn): + try:fn() + except (AssertionError,ValueError):return True + raise ValueError('Corruption control accepted') +def chart_check(vendor,source,word): + C=load('step_chart_compiler',vendor/'frozen/clifford_exact.py') + V=load('step_chart_interpreter',vendor/'frozen/native_verify.py') + def pairs(w): + main=set(w['live'])|{r+112 for r in w['live']}|set(w['hosted']['X2'])|set(w['hosted']['Y2']) + return {(e[2],e[3])for e in w['program']if e[0]=='MOVE'}|{(w['initial'][r],w['final'][r])for r in range(w['public'])if r not in main} + changed=pairs(word)-pairs(source) + hit=read(HERE/'WITNESS.json');f=hit['frame'];u=source['initial'][hit['pivot']];v=source['final'][hit['pivot']];a=hit['path']['old'];b=hit['path']['new'] + needed=changed|{(u,f),(f,v),(a,f),(f,b),(a,b),(u,v)} + out=[] + for a,b in sorted(needed): + ca,cb=[C.canonical_frame(9,tuple(word['frames'][f]))for f in(a,b)] + recipe,_=C.lower_child(ca.adjoint().then(cb)) + expected=V.adjoint(V.frame(word['frames'][a],9))+V.frame(word['frames'][b],9) + actual=V.recipe(recipe);V.equal(actual,expected,'Signed Pauli action and absolute phase') + need(recipe['rank']==abs(len(word['frames'][a])-len(word['frames'][b])),'Exact chart rank') + for column in range(512):need(V.state(actual,column)==V.state(expected,column),'All Gaussian columns') + bad=deepcopy(recipe);bad['left']['phase']=(bad['left']['phase']+1)%4 + need(rejects(lambda:V.equal(V.recipe(bad),expected,'wrong phase')),'Wrong phase rejected') + out.append({'pair':[a,b],'rank':recipe['rank'],'columns':512}) + return {'new_pairs':sorted(changed),'rechecked_pairs':out,'wrong_phase_rejected':True} + +def forward_endpoint(word,rows): + n=word['public'];unit=1125*2**25 + target=[{r:Q(1)}if r0,'Ordinary allowance') + gate,price=G.exact_price(vendor,archive,before,invoice,previous) + manifest=read(vendor/'INDEPENDENT-SOURCES.json');P=load('rechart_bit_binding',archive/'verify.py');P.bit_binding(I,manifest) + precision=base.precision(vendor,new,C,gate,manifest) + need(precision['word']['odd_scale_lcm']==1125 and precision['word']['dyadic_height']==25,'Fresh ingredient precision') + print('PASS full ingredient invoice, ordinary, precision, both prices and outer gates',flush=True) + charts=chart_check(vendor,old,new) + from certificate import controls as temporal_controls, observe, check + snapshots=observe(old,hit);timed_certificate=check(hit,snapshots) + controls=temporal_controls(old,hit,paths,snapshots) + scalar=next(i for i,e in enumerate(new['program'])if e[0]=='ADD') + controls['wrong_boundary_scalar_coefficient']=bool(I.native(new,mutant=scalar)['bad_inputs']) + bad=deepcopy(new);i=next(i for i,e in enumerate(bad['program'])if e[0]=='MOVE');bad['program'][i][2]=-1 + controls['wrong_move_source']=rejects(lambda:I.native(bad)) + bad=deepcopy(new);bad['final'][hit['pivot']]=old['final'][hit['pivot']] + controls['omitted_retiring_output_frame']=rejects(lambda:I.native(bad)) + A=new['public']+old['owned_fields'] + bad=deepcopy(new);bad['program']=[e for e in bad['program']if not(e[0]=='INIT'and e[1]==A)] + controls['omitted_accumulator_init']=rejects(lambda:I.native(bad)) + bad=deepcopy(new);i=next(i for i,e in enumerate(bad['program'])if e[0]=='CLEAR'and e[1]==A);bad['program'][i][1]=hit['pivot'] + controls['public_erasure_rejected']=rejects(lambda:I.native(bad)) + owned_check=G.module('temporal_owned_census',vendor/'retained/query-only-precision-envelope/envelopes.py',(('(life, peak, owned_count) == (54, 43, 51)','(life, peak, owned_count) == (64, 47, 61)'),)) + need(owned_check.validate_word(new)['lifetimes']==64,'Fresh exact owned census in envelope validator') + bad=deepcopy(new);bad['program']=[['INIT',A,hit['frame']],['CLEAR',A,hit['frame']]]+bad['program'] + controls['extra_uncharged_owned_lifetime']=rejects(lambda:owned_check.validate_word(bad)) + grid_engine=G.module('rechart_grid_controls',vendor/'retained/odd-native-common-grid/independent_bounds.py') + controls['insufficient_odd_grid']=rejects(lambda:grid_engine.word_run(new,375,25)) + controls['insufficient_fractional_grid']=rejects(lambda:grid_engine.word_run(new,1125,24)) + need(all(controls.values()),'All native corruption controls') + physical_checks=[] + with tempfile.TemporaryDirectory(prefix='rechart-physical-') as tmp: + path=Path(tmp)/'word.json.gz';path.write_bytes(gzip.compress(canonical(new),mtime=0)) + for command,args in [(vendor/'frozen/verify_host3_odd.py',[path,'1125']),(vendor/'frozen/physical.py',[path,vendor/'frozen/clifford_exact.py','1000000009','11'])]: + subprocess.run([sys.executable,'-I','-B',str(command),*map(str,args)],check=True);physical_checks.append(command.name) + digest=sha256(canonical(new)).hexdigest() + engine=G.module('rechart_signed_routes',rank9/'physical_child.py',(('cca66a7ec924bab47ccd1410968d16e071a01dc6110b5c08040bd207f753d066',digest),)) + capture=io.StringIO() + with contextlib.redirect_stdout(capture):engine.main(path,vendor/'data/caller.json',caller_path) + signed_routes=json.loads(capture.getvalue()) + need(signed_routes['status']=='PASS_PHYSICAL_RANK9_ALGEBRA' and signed_routes['paid_calls']==32,'Signed physical fields') + need(1000*sum(len(row['caller_fields'])*row['ordinary_elementary_units'] for row in signed_routes['bindings'])==routes,'Actual signed-route charge') + print('PASS affected Gaussian chart columns, phase, corruption controls and finite physical replay',flush=True) + return normalized(dict(status='PASS_TEMPORAL_CHART306_NATIVE',source_head=read(HERE/'INPUTS.json')['source_head'],word_canonical_sha256=digest,native=N,forward=forward_receipt,grid=grid,derived_grid=derived,caller=symbolic,invoice=invoice,ordinary=ordinary,gate=gate,price=price,precision=precision,charts=charts,timed_certificate=timed_certificate,controls=controls,physical_checks=physical_checks,signed_routes=signed_routes,limitations=['Five inherited framework assumptions remain.','Source-aware retained engines are not independent human/formal acceptance.','The complete 17-stage application is checked separately.'])) +if __name__=='__main__': + p=argparse.ArgumentParser();p.add_argument('--out',type=Path);a=p.parse_args();r=run() + if a.out: + with a.out.open('x') as f:json.dump(r,f,sort_keys=True,indent=2);f.write('\n') + else:need(r==read(HERE/'NATIVE-RESULT.json'),'Every frozen native receipt field') + print(r['status'],r['gate']['claim'],flush=True)