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-global-input-rechart/APPLICATION.md b/research/p104-global-input-rechart/APPLICATION.md new file mode 100644 index 0000000000..3573bb5a75 --- /dev/null +++ b/research/p104-global-input-rechart/APPLICATION.md @@ -0,0 +1,36 @@ +# Complete conditional application + +The construction changes the native template while retaining the exact +signed 17-stage caller from Rohan Arun's #7113. The source closure is the +complete #7121 package, itself retaining every earlier native/compiler, +BIT, caller and reviewed application source and notice. + +The initial draft was published after the exact native adjoint and price checks. +Subsequent full native and application runs passed locally on CPython 3.12.14; +receipts are `NATIVE-RESULT.json` and `RESULT.json`. Registered isolated replay +subsequently passed with every frozen field matching; see `REPLAY.txt`. The complete application has 110,655 paid positions, 22,274 +productive fields, rank surplus 1,424 and ordinary work 777,717,464. Its +precision context is 2,344; caller odd scale is 675 and native odd scale 1,125. +All 3,047 catalogue checks and 104 main boundary pairs passed, as did 54 strict +and four functional outer conditions. The rational claim is +1820380687071/500000000000000 = 0.003640761374142. + +The application verifier reconstructs both complete invoices, the entire +rational and integer Laurent caller, every paid/helper chart map and all +104 main boundary pairs. It binds native occurrences to the physical caller, +recomputes ownership and phase, derives the native grid and rounded envelope, +charges the caller's separate odd grid, and recomputes ordinary and fixed-tape +costs with both directed price engines and 54 strict plus four functional +outer inequalities. It rejects a compiler probe at the certified crossing. + +The mathematical component substitution is the normalized-coordinate +identity in `PROOF.md`, applied separately to every native invocation with +fresh independent helpers. Scalar coefficients and order are unchanged; +helper boundary requests and all native transports are explicitly recounted. +No old same-native precision or physical receipt is silently reused. + +The result remains conditional on `native_all_columns`, `owned_erasure`, +`compiler`, `precision_tape`, and `analytic_recovery`. Owned erasure keeps +its original nonzero-content premise. No compiled top-level multiplier, +independent human proof, formal-kernel acceptance or maintainer admission +is supplied by these source-aware finite checks. diff --git a/research/p104-global-input-rechart/CHANGES.json b/research/p104-global-input-rechart/CHANGES.json new file mode 100644 index 0000000000..ef91519140 --- /dev/null +++ b/research/p104-global-input-rechart/CHANGES.json @@ -0,0 +1,151 @@ +{ + "initial": [ + [ + 496, + 595, + 3 + ], + [ + 649, + 597, + 3 + ], + [ + 664, + 105, + 3 + ], + [ + 1310, + 105, + 3 + ], + [ + 1445, + 105, + 3 + ], + [ + 1447, + 597, + 3 + ], + [ + 1449, + 597, + 3 + ] + ], + "scalar": [ + [ + 1189, + 597, + 3 + ], + [ + 1190, + 597, + 3 + ], + [ + 34707, + 105, + 3 + ], + [ + 34708, + 105, + 3 + ], + [ + 34755, + 105, + 3 + ], + [ + 34757, + 105, + 3 + ], + [ + 35071, + 595, + 3 + ], + [ + 35870, + 105, + 3 + ], + [ + 35871, + 105, + 3 + ], + [ + 35872, + 105, + 3 + ], + [ + 35873, + 105, + 3 + ], + [ + 37233, + 597, + 3 + ], + [ + 37234, + 597, + 3 + ], + [ + 37235, + 597, + 3 + ], + [ + 37236, + 597, + 3 + ], + [ + 37237, + 597, + 3 + ], + [ + 37238, + 597, + 3 + ], + [ + 37896, + 595, + 3 + ], + [ + 39038, + 597, + 3 + ], + [ + 39039, + 597, + 3 + ], + [ + 39040, + 597, + 3 + ], + [ + 39072, + 597, + 3 + ] + ] +} \ No newline at end of file diff --git a/research/p104-global-input-rechart/DISCOVERY.json b/research/p104-global-input-rechart/DISCOVERY.json new file mode 100644 index 0000000000..91efb07405 --- /dev/null +++ b/research/p104-global-input-rechart/DISCOVERY.json @@ -0,0 +1,20 @@ +{ + "source_head": "1670baa28f5a9631286591068d7cc2934d2c2d37", + "method": "Fresh-helper-boundary alpha expansion with current tariff and complete public transport reconstruction", + "candidate_frames": 1095, + "graph_nodes": 70434, + "graph_edges": 132493, + "mutable_nodes": 68096, + "passes": 2, + "accepted_expansions": [ + { + "frame": 3, + "changed_nodes": 29, + "helper_inputs": 7, + "scalar_contacts": 22 + } + ], + "termination": "No further improving alpha move in the second pass", + "scope": "Finite current-catalogue floating discovery, not a global optimum. Exact word construction, adjoint and directed prices are independently checked. Full discovery logs remain local.", + "credit": "1337isnot1337/OpenAI Codex fresh-helper-boundary method; new graph adapter and experiment Rohan Arun/OpenAI Codex." +} \ No newline at end of file diff --git a/research/p104-global-input-rechart/EARLY-RESULT.json b/research/p104-global-input-rechart/EARLY-RESULT.json new file mode 100644 index 0000000000..9eb49a84e7 --- /dev/null +++ b/research/p104-global-input-rechart/EARLY-RESULT.json @@ -0,0 +1,200 @@ +{ + "status": "PASS_EXACT_NATIVE_AND_PRICE_ONLY", + "word_sha256": "880a2402e01a6a92ce8bfde2046fa6375014b16ca4f89d6cc6f5cead621e54f8", + "native": { + "public": 1490, + "events": 73694, + "paid": { + "1": 4028, + "2": 842, + "3": 819, + "4": 232, + "5": 333, + "6": 16, + "7": 11, + "8": 6 + }, + "helpers": { + "1": 17, + "2": 18, + "3": 47, + "4": 217, + "5": 74, + "6": 42, + "7": 17, + "8": 54, + "9": 604 + }, + "rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + }, + "owned_peak": 43, + "lifetimes": 54, + "bad_inputs": [] + }, + "native_delta": { + "T": { + "4": -2, + "5": 2, + "7": -1, + "8": -3, + "9": 4 + }, + "P": { + "1": -6, + "2": 1, + "3": 1, + "4": -8, + "5": 8 + } + }, + "invoice": { + "P": { + "1": 68860, + "16": 416, + "2": 14314, + "24": 416, + "3": 13923, + "32": 416, + "4": 3944, + "40": 416, + "48": 416, + "5": 5661, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1258, + "57": 416, + "6": 714, + "65": 416, + "7": 289, + "73": 208, + "8": 918, + "9": 10684 + }, + "empty_root_credits": 0 + }, + "gate": { + "claim": "1820380687071/500000000000000", + "tested": "364076137414207/100000000000000000", + "raw_bracket": [ + "36407613741422058608084968767767/10000000000000000000000000000000000", + "4550951717677757326010621095971/1250000000000000000000000000000000" + ], + "moment_margins": { + "36407613741422058608084968767767/10000000000000000000000000000000000": [ + "705662820921648342557504615682160171790091569745373/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "882078526152060428196880769602700214737614471802137/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "4550951717677757326010621095971/1250000000000000000000000000000000": [ + "-176891770204375840322306566385618998312040009924017/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-176891770204375840322306566385618998312039990531611/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364076137414207/100000000000000000": [ + "2637124623579151041814188174130498146641124433592058965465953775945151/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "527424924715830208362837634826099629328224886718411793093190759059357/10000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "moment_margin_float": { + "36407613741422058608084968767767/10000000000000000000000000000000000": [ + 3.528314104608242e-29, + 3.528314104608242e-29 + ], + "4550951717677757326010621095971/1250000000000000000000000000000000": [ + -3.537835404087517e-30, + -3.537835404087517e-30 + ], + "364076137414207/100000000000000000": [ + 5.274249247158302e-11, + 5.274249247158302e-11 + ] + }, + "derivative_upper": -382152.98856900504, + "alpha": [ + 0.9999999999999998, + 0.9999999999999998 + ], + "gamma": [ + 0.9407717523209109, + 0.9407717523209109 + ], + "delta": [ + 0.9016746922369976, + 0.9016746922369976 + ], + "minimum_log_power": 2234, + "written_log_power": 2235, + "compiler_gap": "1/100000000000000000", + "H": "16495300000000000000000", + "BIT_pin": "376669/100000000", + "BIT_margin": "12592862585793/100000000000000000", + "outer": { + "strict_count": 54, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "BIT_just_below_effective_rejected": true + }, + "input_lift": { + "margins": { + "1820380687071/500000000000000": [ + "124221303183246605798157548681067042551641595501913289040898023137931068965231/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "15527662897905825724769693585133380318955199437739161130112252892241383620897/12500000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364076137414207/100000000000000000": [ + "62110651591624446195264618588536884543270343875546256441433555808238909051133/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124221303183248892390529237177073769086540687751092512882867111616477818104221/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.003640761374142", + "previous_claim": "910025546849/250000000000000", + "gain": "6.59186746E-7", + "gain_exact": "329593373/500000000000000", + "raw_bracket": [ + "0.0036407613741422058608084968767767", + "0.0036407613741422058608084968767768" + ], + "independent_raw_bracket": [ + "0.00364076137414220586080849687677679", + "0.0036407613741422058608084968767768" + ], + "candidate_margin_at_old_upper": [ + "12795153887105283049491190585683761220183312536272534915099696316222039901673577/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "25590307774210566098982381171367522440366625072545069830199392632444079837480431/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "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-global-input-rechart/ENVIRONMENT.json b/research/p104-global-input-rechart/ENVIRONMENT.json new file mode 100644 index 0000000000..a26a486136 --- /dev/null +++ b/research/p104-global-input-rechart/ENVIRONMENT.json @@ -0,0 +1,7 @@ +{ + "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", + "source_head": "1670baa28f5a9631286591068d7cc2934d2c2d37", + "registered_command": "python3.12 -B scripts/research_package.py --package research/p104-global-input-rechart" +} diff --git a/research/p104-global-input-rechart/INPUTS.json b/research/p104-global-input-rechart/INPUTS.json new file mode 100644 index 0000000000..4b5da8a519 --- /dev/null +++ b/research/p104-global-input-rechart/INPUTS.json @@ -0,0 +1,134 @@ +{ + "source_pr": 7121, + "source_head": "1670baa28f5a9631286591068d7cc2934d2c2d37", + "archive": "inputs/pr7121.tar", + "archive_sha256": "dab5a4de50253d47234930cdef7c2f04b4d283acdf3bd8c636cb3279afabc35c", + "prefix": "research/p104-unlocked-rank8-split", + "files": [ + { + "path": "research/p104-unlocked-rank8-split/APPLICATION.md", + "sha256": "1ba91f9c6140c74cf061ec3c9b51d2a5f50ef55ef51ef7dca1893a78225cda66", + "size": 7012 + }, + { + "path": "research/p104-unlocked-rank8-split/DISCOVERY.json", + "sha256": "826e45d9e7b1828227e9e4a3113a882efecf7106b97da8b5b682a554b831fafb", + "size": 4465 + }, + { + "path": "research/p104-unlocked-rank8-split/ENVIRONMENT.json", + "sha256": "c5e15b717c462c19673dda2ce58c655577e22384d0308c5b851d6716440a55bf", + "size": 676 + }, + { + "path": "research/p104-unlocked-rank8-split/INPUTS.json", + "sha256": "fc163fa400b19bf5ac6a22ccbe9d58b648fc5bcfe29fdfd92b00767427eaf858", + "size": 6712 + }, + { + "path": "research/p104-unlocked-rank8-split/NATIVE-RESULT.json", + "sha256": "03d2ddf0b0fef7abbb738e293e383f9117d412b33f6269cee9a0a7c480fa4e4b", + "size": 74082 + }, + { + "path": "research/p104-unlocked-rank8-split/PROOF.md", + "sha256": "7a953b6e4a03acf319404851ffc960411a0a683d627c2c524c78b1ec40b50a93", + "size": 4297 + }, + { + "path": "research/p104-unlocked-rank8-split/README.md", + "sha256": "5768679bc78cd68940d5878dcb2b1391c8fc07a1ba14da742645a11c0d004130", + "size": 5520 + }, + { + "path": "research/p104-unlocked-rank8-split/REPLAY.txt", + "sha256": "0e6fa99a53c9577dc4f8527a483e37448496aaff8e8db04f7a1f1e326fea4294", + "size": 3773 + }, + { + "path": "research/p104-unlocked-rank8-split/RESULT.json", + "sha256": "13de429dc6a674ae3fd5894b3137946c3fe79682b7a1ba8d2adb444c16afc7d8", + "size": 76663 + }, + { + "path": "research/p104-unlocked-rank8-split/SOURCES.json", + "sha256": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372", + "size": 856 + }, + { + "path": "research/p104-unlocked-rank8-split/TASK.json", + "sha256": "23ff76ec810a4efc23ae553fed43d29e7019d197915417e752516e57c4bb7c98", + "size": 10578 + }, + { + "path": "research/p104-unlocked-rank8-split/VALIDATION.md", + "sha256": "5619ae4fb31d4e19361486d98156b9bb23ec4c56540f5dfaa6102fff705fbc7b", + "size": 2208 + }, + { + "path": "research/p104-unlocked-rank8-split/VERIFY.json", + "sha256": "9ef2338a0404837e4f6a871cde38f085a29e302d658178da92fd146062df3bde", + "size": 1051 + }, + { + "path": "research/p104-unlocked-rank8-split/WITNESS.json", + "sha256": "fc41cd95452e21fe43a629023045db77cc8e37c397c1e2e5b510d43a8634a7af", + "size": 343 + }, + { + "path": "research/p104-unlocked-rank8-split/WORD.json.gz", + "sha256": "de682b0c857da34da27bf665b90b8c700994d34d1572642c3365dc69327d11e0", + "size": 364689 + }, + { + "path": "research/p104-unlocked-rank8-split/adapt.py", + "sha256": "e545e41d1736e1caba69e1c12cb4cf44197ebcdefbdfc68f6ab56b1191475250", + "size": 3154 + }, + { + "path": "research/p104-unlocked-rank8-split/construct.py", + "sha256": "c36205186781ff1a484efe553471e0a772dfe20a046d2bf996b620b72f5857de", + "size": 686 + }, + { + "path": "research/p104-unlocked-rank8-split/derive_grid.py", + "sha256": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0", + "size": 1510 + }, + { + "path": "research/p104-unlocked-rank8-split/inputs/pr7120.tar", + "sha256": "6e4e30926d7d554dfee3046eb064d082baa6139fd7c520a6d1c2eb5d3d7c18bf", + "size": 8130560 + }, + { + "path": "research/p104-unlocked-rank8-split/price.py", + "sha256": "5d51c1a30fd13a80112739587fc8e5cdd7af4631aea9c4359396059bb645510a", + "size": 3642 + }, + { + "path": "research/p104-unlocked-rank8-split/source.py", + "sha256": "9288a8f6d29d5780170dd9f04fd7dea3d320fa4ca2eafbdd2508b8913dbfd689", + "size": 3309 + }, + { + "path": "research/p104-unlocked-rank8-split/split.py", + "sha256": "3d529d78994504ad591a3afade4dab094751c1c221edbab10165290314cf0894", + "size": 6432 + }, + { + "path": "research/p104-unlocked-rank8-split/support.py", + "sha256": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6", + "size": 606 + }, + { + "path": "research/p104-unlocked-rank8-split/verify.py", + "sha256": "59ea92a19217b9f8360931c35e07948e48bf733532027199c20d77fe8f625653", + "size": 3447 + }, + { + "path": "research/p104-unlocked-rank8-split/verify_native.py", + "sha256": "9f92dc9c173074c25827c828e2c37c696bfb9a870ecab7f0aa2ead39de4a9181", + "size": 12961 + } + ] +} \ No newline at end of file diff --git a/research/p104-global-input-rechart/NATIVE-RESULT.json b/research/p104-global-input-rechart/NATIVE-RESULT.json new file mode 100644 index 0000000000..477af0e9da --- /dev/null +++ b/research/p104-global-input-rechart/NATIVE-RESULT.json @@ -0,0 +1,3075 @@ +{ + "caller": { + "bad_outputs": [], + "caller_denominator_height_bound": 431, + "caller_mass_bound": "2031778024781380738667307850969872261300825114412066667930609010754885615256246771273722516797028373875488084463456734932931819440254377992064287155336455679722182496470290893143689397339193405421398373633/137438953472", + "caller_mass_ceiling_bits": 642, + "max_terms": 3998 + }, + "charts": { + "new_pairs": [ + [ + 3, + 430 + ] + ], + "rechecked_pairs": [ + { + "columns": 512, + "pair": [ + 3, + 246 + ], + "rank": 8 + }, + { + "columns": 512, + "pair": [ + 3, + 259 + ], + "rank": 3 + }, + { + "columns": 512, + "pair": [ + 3, + 430 + ], + "rank": 2 + }, + { + "columns": 512, + "pair": [ + 259, + 246 + ], + "rank": 5 + } + ], + "wrong_phase_rejected": true + }, + "controls": { + "duplicate_scalar_edit": true, + "insufficient_fractional_grid": true, + "insufficient_odd_grid": true, + "omitted_input_rechart": true, + "wrong_move_source": true, + "wrong_scalar_coefficient": true, + "wrong_source_input": true, + "wrong_source_scalar": true + }, + "derived_grid": { + "coefficient_visits": 15003535, + "fractional_bits": 24, + "mass_witness": [ + 64727, + "stored" + ], + "odd_scale": 1125, + "scaled_maximum_mass": "1630603680282225/16384", + "unscaled_maximum_mass": "7247127467921/81920" + }, + "forward": { + "coefficient_positions": 2374681, + "fractional_bits": 24, + "grid": 1125, + "rows": 1541 + }, + "gate": { + "BIT_margin": "12651434079093/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16487800000000000000000", + "alpha": [ + 0.9999999999999991, + 0.9999999999999991 + ], + "claim": "3640175659209/1000000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.8816381749226408, + 0.8816381749226408 + ], + "derivative_upper": -407455.7098256655, + "gamma": [ + 0.9499417132910757, + 0.9499417132910757 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3640175659209/1000000000000000": [ + "124202170314028306885856672099460848814567549968677745167347733091585423177941/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124202170314028306885856672099460848814567549968677745167347733091585423179889/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364017565920907/100000000000000000": [ + "124202170314030593510829552724577080001071642595748478550268065715222241003541/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62101085157015296755414776362288540000535821297874239275134032857611120502739/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2233, + "moment_margin_float": { + "18200878296048708274849054719699/5000000000000000000000000000000000": [ + -1.134964726630597e-29, + -1.134964726630597e-29 + ], + "364017565920907/100000000000000000": [ + 2.783447592073808e-10, + 2.783447592073808e-10 + ], + "36401756592097416549698109439397/10000000000000000000000000000000000": [ + 3.0091981504151623e-29, + 3.0091981504151623e-29 + ] + }, + "moment_margins": { + "18200878296048708274849054719699/5000000000000000000000000000000000": [ + "-567482363315298449088654242024872758504896071086277/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-141870590828824612272163560506218189626224012472913/12500000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364017565920907/100000000000000000": [ + "6958618980184519998460088451306595172507586481103282111126686847086939/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "6958618980184519998460088451306595172507586481103282111126686857556089/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36401756592097416549698109439397/10000000000000000000000000000000000": [ + "1504599075207581257212753513969842413752530543179037/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "1504599075207581257212753513969842413752530564076833/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36401756592097416549698109439397/10000000000000000000000000000000000", + "18200878296048708274849054719699/5000000000000000000000000000000000" + ], + "tested": "364017565920907/100000000000000000", + "written_log_power": 2234 + }, + "grid": { + "dyadic_height": 24, + "maximum_scaled_mass": "1630603680282225/16384", + "odd_divisions": { + "ADD": 5219, + "SCALE": 67 + }, + "odd_grid_lcm": 1125, + "opcodes": { + "ADD": 63602, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6287, + "SCALE": 3696 + }, + "owned_lifetimes": 54, + "owned_peak": 43, + "owned_rise_mass": 56, + "owned_rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + }, + "paid": { + "1": 4028, + "2": 842, + "3": 819, + "4": 232, + "5": 333, + "6": 16, + "7": 11, + "8": 6 + } + }, + "invoice": { + "P": { + "1": 72888, + "16": 416, + "2": 15156, + "24": 416, + "3": 14742, + "32": 416, + "4": 4176, + "40": 416, + "48": 416, + "5": 5994, + "56": 416, + "6": 288, + "64": 416, + "7": 198, + "8": 780, + "9": 32 + }, + "S": 1520, + "T": { + "1": 306, + "145": 208, + "17": 416, + "2": 324, + "25": 416, + "3": 846, + "33": 416, + "4": 3906, + "41": 416, + "49": 416, + "5": 1332, + "57": 416, + "6": 756, + "65": 416, + "7": 306, + "73": 416, + "8": 972, + "9": 11288 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036401756592097416549698109439397726129314820831368473652992567341", + "raw_crossing": "0.0036401756592097416549698109439397726129314820831368473652992567341" + }, + "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": 73694, + "helpers": { + "1": 17, + "2": 18, + "3": 47, + "4": 217, + "5": 74, + "6": 42, + "7": 17, + "8": 54, + "9": 604 + }, + "lifetimes": 54, + "owned_peak": 43, + "paid": { + "1": 4028, + "2": 842, + "3": 819, + "4": 232, + "5": 333, + "6": 16, + "7": 11, + "8": 6 + }, + "public": 1490, + "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": 851453008, + "extra_B_scalar_surcharge": 784256, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 14384, + "lambda_second_charge": 14384000, + "margin_to_billion": 148546992, + "odd_divisions": { + "ADD": 5219, + "SCALE": 67 + }, + "per_input_conversion": 2789280, + "raw_upper": 833495472, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2180, + "moves": 6287, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9883000, + "scalar_upper": 1989744 + }, + "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": 450, + "context_mass_bits": 671, + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "77479600692749393612326251218125109343077252274869553794627954330619844099878031163994705359892641253786444336460576303416786138954594923341501153974057572544993742739554569546048682810305016363472137726911151755730282160774425969799974726252337146359721241496227907163193372024906061053625036918409102932664185643/236574025616993083824920739000090624000000000000000000000", + "strict_power_of_two": 856, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Gamma_context": { + "exact": "49932042176990874511256674878146592065196184505305484551735060237720072487968818050648750046750394804615673396509480047852166076678655817946982692139800328539533944119802107741761409339425261248020619076499960382793883290464630148747745080344544369146017551128291673900622712554861542179081147673693007067870564730463/1135555322961566802359619547200434995200000000000000000000", + "strict_power_of_two": 863, + "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": "1517467424199399144286442889854250311314040536971336977505931646515895031104093193723692428893655009292634521511035243044911764407801606748768257977747444276602207933088115613310444385069087492168081000234540944330870598969953470600064012372965427774031188570477225594929817668336314544781366385206040173015916702009337/94629610246797233529968295600036249600000000000000000000", + "strict_power_of_two": 872, + "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": "49932042176990874511256674878146592065196184505305484551735060237720072487968818050648750046750394804615673396509480047852166076678655817946982692139800328539533944119802107741761409339425261248020619076499960382793883290464630148747745080344544369146017551128291673900622712554861542179081147673693007067870564730463/1135555322961566802359619547200434995200000000000000000000", + "strict_power_of_two": 863, + "witness": { + "cut": 5098, + "event": 5097, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "Sigma_context": { + "exact": "26627516142774866761322532431079069794656610406993676810628483830637866955965666573553005242983756068919120730963483958339395342153436541915308460791406558616464396089849031482236530002629726819485354998388983099657600330030544061460551461977800390532481020154805368567054176642492926188106078973004162059459574987588142883752502369006434690738504761706651867174790379290551196469545626044791133529838009077444249663003748305952739937089642448653/81983305073188036898332404126324460286112199797016435889798262030336000000000000000000000000000000000000000000", + "strict_power_of_two": 1115, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 19620, + "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": "77479600692749393612326251218125109343077252274869553794627954330619844099878031163994705359892641253786444336460576303416786138954594923341501153974057572544993742739554569546048682810305016363472137726911151755730282160774425969799974726252337146359721241496227907163193372024906061053625036918409102932664185643/236574025616993083824920739000090624000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "49932042176990874511256674878146592065196184505305484551735060237720072487968818050648750046750394804615673396509480047852166076678655817946982692139800328539533944119802107741761409339425261248020619076499960382793883290464630148747745080344544369146017551128291673900622712554861542179081147673693007067870564730463/1135555322961566802359619547200434995200000000000000000000" + }, + "M_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528104995/131072", + "residual_mass": "49932042176990874511256674878146592065196184505305484551735060237720072487968818050648750046750394804615673396509480047852166076678655817946982692139800328539533944119802107741761409339425261248020619076499960382793883290464630148747745080344544369146017551127156118577661145752501922631880712678493007067870564730463/1135555322961566802359619547200434995200000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "77479600692749393612326251218125109343077252274869553794627954330619844099878031163994705359892641253786444336460576303416786138954594923341501153974057572544993742739554569546048682810305016363472137726911151755730282160774425969799974726252337146359721241496227907163193372024906061053625036918409102932664185643/236574025616993083824920739000090624000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "49932042176990874511256674878146592065196184505305484551735060237720072487968818050648750046750394804615673396509480047852166076678655817946982692139800328539533944119802107741761409339425261248020619076499960382793883290464630148747745080344544369146017551128291673900622712554861542179081147673693007067870564730463/1135555322961566802359619547200434995200000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "4384", + "entrance_mass": "23859/2", + "event": 49, + "stage": 1 + }, + { + "entrance_defect": "9817941882706950664704169065716741122746739633161610880009278161269327290036688162710019636716560071914661618171700254039132463999052873/43317997854674026579270154846208000000000000000000000", + "entrance_mass": "44760984243/4", + "event": 144, + "stage": 2 + }, + { + "entrance_defect": "28143643591873283031497772908876172628857489980023525498706291498749717449091710171736449028486459119827182765660093433348580040687608545884639867/2772351862699137701073289910157312000000000000000000000", + "entrance_mass": "8019347752894898813/16", + "event": 275, + "stage": 3 + }, + { + "entrance_defect": "363190176040294540100426272339376731232874037704163558761960785004679241295693304337018573279989230270359841571469312357015033144663768407045952578867559/138617593134956885053664495507865600000000000000000000", + "entrance_mass": "258721681913211409397548013/2", + "event": 435, + "stage": 4 + }, + { + "entrance_defect": "1290038670929548627285610236903700852094177436341574854397463920621127751667451973891170046698082293636788868189374993531045903894213433669038796822215444401117823/924117287566379233691096636719104000000000000000000000", + "entrance_mass": "1102764325780487636837595009524032653/16", + "event": 627, + "stage": 5 + }, + { + "entrance_defect": "2315186749368141491789923507553413514425850174304703780625434358474329926713742528376216343682083080663973706860179745373722820076853239261273957873676978240074916106194569/693087965674784425268322477539328000000000000000000000", + "entrance_mass": "659697369868562418053848749577901431896032551/4", + "event": 848, + "stage": 6 + }, + { + "entrance_defect": "35107102091535527921174800886806741801055949664605144262419923117848003010778805806631952128848232040273363622081429857972756547122056709576891789371084343074581788708460017404175831/4435762980318620321717263856251699200000000000000000000", + "entrance_mass": "50017699262951285012300223375874644326538714050483088723/128", + "event": 1101, + "stage": 7 + }, + { + "entrance_defect": "144894943434028882728086474136220496105886242813740602426241162141770928257889943254774941241687267839514004552873390012817234416654767629672291784107302297271213240455582675933961099489319337/1848234575132758467382193273438208000000000000000000000", + "entrance_mass": "123860608372223676361208276303474840021608894935793894644443117475/32", + "event": 1383, + "stage": 8 + }, + { + "entrance_defect": "1568358381991560031727645080840025505598468118388149313297420483168568760278057526747815987355920458392894540882038453053303544606837610145241342919523033569030026583575244943016713860074233268183036633/11089407450796550804293159640629248000000000000000000000", + "entrance_mass": "446893495694686287960280473450842802655971489871616126572592413520841719161/64", + "event": 1662, + "stage": 9 + }, + { + "entrance_defect": "45011782190369138430292971781028353590557960321726402913524427624866754205014114090660543182342130511812531954241362362306690063021650564945968450090050347739798257160911664072541362859603491072600693331179974201712836507414545703049237559643369/2772351862699137701073289910157312000000000000000000000", + "entrance_mass": "1603226733879417057855793968966209778425632456862348198524030211565823693253398434234475406089669867705587698766845597/2", + "event": 3203, + "stage": 10 + }, + { + "entrance_defect": "561482358173167622902445700169639602517476336439391722412737778129195312632771946800955273391525966257299870372966427507877231915879771757933099506253464010345297713301016072392532213983038119918006579507458529361849584150690855408896118318904516857542391/44357629803186203217172638562516992000000000000000000000", + "entrance_mass": "159990737255009044304340266028013949411590186711547802615104749842798991699729693917477577741470706009608765481680513095697397863/256", + "event": 3526, + "stage": 11 + }, + { + "entrance_defect": "2503944077839924224363276750425675943632614995504711547443740257036012641903555777407451749371648524407384379277166302808291974849844416549790672048493443641022214872552390181397849999175249015258836033863962295407808638849284998569580168849289356095994363696825871/177430519212744812868690554250067968000000000000000000000", + "entrance_mass": "713482539972112811302498126039122556478474335397824876612540289480809876975347015211250548661355667282704396311981650378099911649135840063/1024", + "event": 3821, + "stage": 12 + }, + { + "entrance_defect": "269304034023117349171106702794868403265250864030974687232458546582336219333302007583109907176443525440570567847809272188159759646413706797236163413794181464474949912552555483989876143385535141195795986730594399777779008237191274629403529672235302749440854484912471369951109/19714502134749423652076728250007552000000000000000000000", + "entrance_mass": "690627858377635566118234917748020783796286454330854789097666289598705747090709204201800639258908872647850357504982405971722609074791401430947671165/1024", + "event": 4088, + "stage": 13 + }, + { + "entrance_defect": "1652485678700179732043721038136474113671792653379725723452286497512610662136878044816915358664954983561808879403309627575332836485328154122500975913228494997610453457997743487093675213650882306075486138923614856692495875969760617427730578163564760013143495052098411351743575436462567/354861038425489625737381108500135936000000000000000000000", + "entrance_mass": "470865020405587123936906066570155601953174646068287322382245101819760273515813542612024822098129182481570490831889396523550001544922531326945370763196989399/2048", + "event": 4324, + "stage": 14 + }, + { + "entrance_defect": "163069772887445304558130352312353258405478206412693182912873288150906029727498597728351049235278150667876420487312629123718207100343098018949075772204143038308483249282782394582953525238218574372844471236067343733667341220278819844950459427309772872637197923448136017630601206024249821509881/177430519212744812868690554250067968000000000000000000000", + "entrance_mass": "46465668615402712050475352820015987705766128000689019237904160504542353131957951954454381327545881694314550682714483945959032017848349099581053150524269011108711881/1024", + "event": 4532, + "stage": 15 + }, + { + "entrance_defect": "79660400227522364991117370513239981661934056775717742133177534448222752801117894971436878779142789387930663723410664090592887922672520442657196727298424832682129301452936525695813217306514077481412686060899985100165876720573197901729366935908590397950562160543957733567917411017890154286815095905199/1419444153701958502949524434000543744000000000000000000000", + "entrance_mass": "22698711681515933658235268009935719580127806482189476469420786919611768582281970304620813093468639555288906634046185136362302550495196405154606658307111274865117192668126623/8192", + "event": 4709, + "stage": 16 + }, + { + "entrance_defect": "164502449939043401379785640357446323428799008138407580976616346184111855060097865301550784751059546255078521381802203668086861282060620459314326980608440187138101435875427461351125407009632662892737224200711112919200883300025178732181593368102305544993033416523234996895626998605532796822050345249746410801/283888830740391700589904886800108748800000000000000000000", + "entrance_mass": "234369503003028720835110712559034466962392865438574454855472632480300248897620917700915501102797005900029816899906431175273180672543487679750570754841237111980601879269511857634373/8192", + "event": 4858, + "stage": 17 + }, + { + "entrance_defect": "77479600692749393612326251218125109343077252274869553794627954330619844099878031163994705359892641253786444336460576303416786138954594923341501153974057572544993742739554569546048682810305016363472137726911151755730282160774425969799974726252337146359721241496227907163193372024906061053625036918409102932664185643/236574025616993083824920739000090624000000000000000000000", + "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": "69566161103563006459985184443649808495275592415285166830882500380988778438886566454006034458317054124689211654827955970262610369083/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 258, + "witness": { + "cut": 73694, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "343671313541845501309472612492502311032999987392244517478817334560141457140286622439606680653979622823283610254904180591124034876071/346543982837392212634161238769664000000000000000000000", + "strict_power_of_two": 260, + "witness": { + "cut": 72951, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "69566161103563006459985184443649808495275592415285166830882500380988778438886566454006034458317054124689211654827955970262610369083/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 258, + "witness": { + "cut": 72951, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 73694, + "lifetimes": 54, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 63602, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6287, + "SCALE": 3696 + }, + "owned_labels": 51, + "peak_owned": 43, + "public": 1490, + "scalars": { + "dyadic": 62013, + "integer": 39293, + "noninteger": 28006, + "odd": 5286 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26064, + "entrance_mass": "343671313541845501309472612492502311032999987392244517478817334560141457140286622439606680653979622823283610254904180591124034876071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69566161103563006459985184443649808495275592415285166830882500380988778438886566454006034458317054124689211654827955970262610369083/173271991418696106317080619384832000000000000000000000" + }, + "M": { + "active_residual_sites": 26064, + "entrance_mass": "343671313541845501309472612492502311032999987392244517478817334560141457140286622439606680653979622823283610254904180591124034876071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69566161103563006459985184443649808495275592415285166830882500380988778438886566454006034458317054124689211654827955970262610369083/173271991418696106317080619384832000000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26064, + "entrance_mass": "343671313541845501309472612492502311032999987392244517478817334560141457140286622439606680653979622823283610254904180591124034876071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69566161103563006459985184443649808495275592415285166830882500380988778438886566454006034458317054124689211654827955970262610369083/173271991418696106317080619384832000000000000000000000" + } + } + }, + "scope": "Exact-child grid and attributed all-fibre error envelope, with one signed unitary per fused event", + "word": { + "coefficient_visits": 15003535, + "dyadic_height": 24, + "mass_witness": [ + 64727, + "stored add" + ], + "maximum_scaled_mass": "1630603680282225/16384", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + } + }, + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "2709128708506855753198513683632396969668857977168553706452748284513641259260673/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "541825741701371150639702736726479393933771595433710741290549656902728252601/2000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003640175659209", + "gain": "6.53720694E-7", + "gain_exact": "326860347/500000000000000", + "independent_raw_bracket": [ + "0.00364017565920974165496981094393977", + "0.00364017565920974165496981094393978" + ], + "previous_claim": "727904387703/200000000000000", + "raw_bracket": [ + "0.0036401756592097416549698109439397", + "0.0036401756592097416549698109439398" + ] + }, + "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": "880a2402e01a6a92ce8bfde2046fa6375014b16ca4f89d6cc6f5cead621e54f8" + }, + "source_head": "1670baa28f5a9631286591068d7cc2934d2c2d37", + "status": "PASS_GLOBAL_INPUT_RECHART_NATIVE", + "word_canonical_sha256": "880a2402e01a6a92ce8bfde2046fa6375014b16ca4f89d6cc6f5cead621e54f8" +} diff --git a/research/p104-global-input-rechart/PROOF.md b/research/p104-global-input-rechart/PROOF.md new file mode 100644 index 0000000000..572f923057 --- /dev/null +++ b/research/p104-global-input-rechart/PROOF.md @@ -0,0 +1,84 @@ +# Source-bound global input rechart + +The source is the complete frozen #7121 export identified by `INPUTS.json`. +The construction is the finite specification in `CHANGES.json`, interpreted +by `construct.py`. The discovery heuristic is not a proof premise. + +## Normalized-coordinate identity + +For a field in chart F, write its physical value as C_F z. A legal MOVE from +F to G applies C_G C_F⁻¹, leaving z unchanged. When two fields share F, +ADD(r,s,q) sends z_r to z_r+q z_s. SCALE and COPY have the corresponding +chart-independent normalized actions. Consequently a chronological scalar +program has the same normalized linear operator whenever each scalar's +operands share its declared chart and every intervening MOVE is legal. + +The generator retains every scalar opcode, operand and rational coefficient +in the original order. It changes only the declared charts of 22 public +scalar contacts and the input charts of seven independent public helpers. +It removes the old public transport schedule and reconstructs the required +transport immediately before each scalar contact and at the final boundary. +Every emitted public MOVE is checked to be strictly nested and increasing. +Unchanged transports need not retain their former timestamp: in normalized +coordinates they are identities and the scalar chronology is identical. + +Main input/output charts stay fixed. Each affected helper now promises +C_final C_new-input⁻¹ on its arbitrary independent input, and its productive +rank is changed accordingly. No old helper credit is retained for a changed +boundary. All independent helper coefficients and every main output are +checked by the complete reverse adjoint; a separate integer forward replay +checks the full endpoint matrix. + +Owned INIT/CLEAR operations, scalar contacts involving owned fields, and +owned MOVEs retain their source order and charts. The verifier separately +checks all lifetimes, peak live allocation and upward rank mass. This is +under the inherited owned-erasure contract, not a new zero-erasure theorem. + +## Complete invoice + +The exact per-native changes are + +``` +ΔT = {4: -2, 5: +2, 7: -1, 8: -3, 9: +4} +ΔP = {1: -6, 2: +1, 3: +1, 4: -8, 5: +8}. +``` + +Both target rank mass and paid rank mass increase by seven. Productive +field count is unchanged and the paid field count decreases by four. +The unchanged literal 17-stage caller multiplies both changes by 17; +its own targets and paid operations are retained. The full rank surplus +therefore remains 1,424 and no empty-root credit is introduced. + +For p=1−κ, the native signed-moment improvement is + +``` +6 H1 − H2 − H3 + 6 H4 − 6 H5 − H7 − 3 H8 + 4 H9, +Hr = r^p. +``` + +At the source crossing this is positive. Both retained directed engines +independently bracket the new complete invoice crossing in +`(0.0036407613741422058608084968767767, + 0.0036407613741422058608084968767768)` and reject the source invoice at +the claimed rational κ=0.003640761374142. The strict compiler probe is +chosen below the lower endpoint and all compiler/outer inequalities are +recomputed. This is an invoice-specific crossing, not a global optimum. + +## Scope of acceptance + +The full application additionally requires legal physical chart maps, +absolute phase, native and caller integer grids, precision/error envelopes, +ordinary work and fixed-tape substitution. Their executable checks and +receipts are separate from the early price receipt. See `APPLICATION.md` +for the current completion state. Five inherited assumptions and independent +human/formal review remain; a successful finite replay does not remove them. + +## Attribution + +The global assignment was nominated using **1337isnot1337/OpenAI Codex**'s +`fresh-helper-boundary/discover-cut.cpp` alpha-expansion method, with its +tariff parameter exposed rather than frozen. Ali Romman, CubeJerry, ToikY, +dillona, Matarener, DreamingOfClouds, the #7000 reviewers and Rohan Arun's +caller retain their respective source credit. All nested notices remain +in the authenticated source export. Rohan Arun with OpenAI Codex assistance; +Apache-2.0. diff --git a/research/p104-global-input-rechart/README.md b/research/p104-global-input-rechart/README.md new file mode 100644 index 0000000000..9731cc7ae6 --- /dev/null +++ b/research/p104-global-input-rechart/README.md @@ -0,0 +1,44 @@ +# Conditional candidate κ = 0.003640761374142 + +This candidate improves the exact complete signed invoice of PR #7121 by +0.000000659186746. It changes seven helper input frames and 22 public scalar +contact charts, then reconstructs every causal transport. The new native has +four fewer paid MOVEs. Scalar coefficients and their chronological order, +main endpoints, owned lifetimes and the 17-stage caller remain unchanged. + +**Author-checked evidence:** the complete native and signed application replays +pass locally, including exact forward/adjoint endpoints, native/caller grids, +all 3,047 catalogue checks and 104 main boundary pairs, physical ownership, +ordinary and precision costs, fixed-tape substitution, both directed price +engines, and 54 strict plus four functional outer conditions. The emitted +invoice's crossing lies in `(0.0036407613741422058608084968767767, +0.0036407613741422058608084968767768)`. +The initial draft was published after the narrower early checks. Registered +isolated Python 3.12 replay subsequently passed, matching every frozen field. +See `REPLAY.txt` and `VALIDATION.md`. No scientific admission or selected-frontier update +is claimed. The five inherited framework assumptions remain. + +Per-native changes are ΔT={4:−2,5:+2,7:−1,8:−3,9:+4} and +ΔP={1:−6,2:+1,3:+1,4:−8,5:+8}. The complete caller repeats these 17 times. + +```sh +python3.12 -B scripts/research_package.py --package research/p104-global-input-rechart +``` + +`INPUTS.json` pins the complete 25-file source export of #7121 at +`1670baa28f5a9631286591068d7cc2934d2c2d37`, with every nested source and notice. +`CHANGES.json` is the small construction specification; `construct.py` +regenerates the entire word. `EARLY-RESULT.json` preserves the initial evidence boundary; `NATIVE-RESULT.json` +and `RESULT.json` contain the subsequent full receipts. + +Credit **1337isnot1337/OpenAI Codex** for the fresh-helper-boundary min-cut method, +Ali Romman, Jerry Chen/CubeJerry, ToikY, dillona, Matarener, DreamingOfClouds, +Douglas Colkitt and the #7000 reviewers, Rohan Arun's #7113 caller, and all +authors/notices in the complete source closure. Rohan Arun with substantial +OpenAI Codex assistance; no subagents. Apache-2.0. + +## Open next questions + +- Obtain independent reviewer confirmation of the registered replay. +- Independently audit the source-bound recharting identity and all charges. +- Test further frame assignments only after refreshing the public comparator. diff --git a/research/p104-global-input-rechart/REPLAY.txt b/research/p104-global-input-rechart/REPLAY.txt new file mode 100644 index 0000000000..de7a32b3b6 --- /dev/null +++ b/research/p104-global-input-rechart/REPLAY.txt @@ -0,0 +1,76 @@ +CHECK Entire source reconstruction, exact native adjoint and complete signed price with both directed engines; all frozen early fields. +PASS_EXACT_NATIVE_AND_PRICE_ONLY 0.003640761374142 +CHECK Complete forward/adjoint, changed chart columns and phase, native common grid, ordinary/precision/physical bounds and corruption controls; all native receipt fields. +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 73694 public 1490 owned roles 51 paid {1: 4028, 2: 842, 3: 819, 4: 232, 5: 333, 6: 16, 7: 11, 8: 6} owned UP {1: 10, 2: 4, 3: 1, 4: 6, 5: 1, 6: 1} helpers {1: 17, 2: 18, 3: 47, 4: 217, 5: 74, 6: 42, 7: 17, 8: 54, 9: 604} +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 73694 events, 2963 chart pairs, 15s +prime 1000000009 seed 11: helper rows bad 0 (of 1090), 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_GLOBAL_INPUT_RECHART_NATIVE 3640175659209/1000000000000000 +CHECK Complete literal signed 17-stage caller, all paid/helper maps and main boundaries, independent integer grid, physical ownership, ordinary, precision, fixed-tape and compiler/outer gates; all application receipt fields. +PASS two reconstructed invoices and both exact price engines 0.003640761374142 +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 ['36407613741422058608084968767767/10000000000000000000000000000000000', '4550951717677757326010621095971/1250000000000000000000000000000000'] +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 110655 13600 22274 +RUN check_odd_precision.py +PASS short precision 405 1172 2344 +RUN check_odd_partial_admission.py +ordinary bill 777717464 +PASS partial signed short gates 777717464 1820380687071/500000000000000 {'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 42301536 25468868384 precision 2344 +RUN complete catalogue 0 1000 +RUN complete catalogue 1000 2000 +RUN complete catalogue 2000 3000 +RUN complete catalogue 3000 3047 +PASS complete 8+9 component application checks 1820380687071/500000000000000 3047 110655 +PASS_P104_GLOBAL_INPUT_RECHART 1820380687071/500000000000000 +PASS_REGISTERED_RESEARCH_PACKAGE research/p104-global-input-rechart outcome=completed diff --git a/research/p104-global-input-rechart/RESULT.json b/research/p104-global-input-rechart/RESULT.json new file mode 100644 index 0000000000..c6e57d5497 --- /dev/null +++ b/research/p104-global-input-rechart/RESULT.json @@ -0,0 +1,1594 @@ +{ + "adapter": { + "adapted_sha256": { + "check_odd_partial_admission.py": "074f713d6d73673c54127c5b68f2f5adbfb6b471edfa7469e881c9cd72a68080", + "check_odd_precision.py": "65fc0858c70601fa3de6c758fa5b11388a5225bf813d1f383ac9aae26721e303", + "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.003640761374142')", + "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": "", + "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)\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": "98d28b3acfba7609f11b2be7a080d6db952450af56fd0a9b9100cbe85e71e433", + "catalogue_size": 3047, + "checked_maps": 1000, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "349657e3b6c08db43122bc7523d4f225519f785992320966b2c14b3fdf40b9d7", + "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": "7690bdbd0180c9212693c600e7a54c2d391f27b293ac06826dc5a961b2dc2829" + }, + { + "catalogue_digest": "98d28b3acfba7609f11b2be7a080d6db952450af56fd0a9b9100cbe85e71e433", + "catalogue_size": 3047, + "checked_maps": 1000, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "f55d2737b671dbbb651759789eb20e5f597c55db09c3cb8bbeea2dc6f119391a", + "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": "7690bdbd0180c9212693c600e7a54c2d391f27b293ac06826dc5a961b2dc2829" + }, + { + "catalogue_digest": "98d28b3acfba7609f11b2be7a080d6db952450af56fd0a9b9100cbe85e71e433", + "catalogue_size": 3047, + "checked_maps": 1000, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "cf9f12d50c4b16a25727ee953ed4ebdae5e54d4964b4df1da4c4ec4eb7055dc2", + "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": "7690bdbd0180c9212693c600e7a54c2d391f27b293ac06826dc5a961b2dc2829" + }, + { + "catalogue_digest": "98d28b3acfba7609f11b2be7a080d6db952450af56fd0a9b9100cbe85e71e433", + "catalogue_size": 3047, + "checked_maps": 47, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "b84f93060618453dfc0b48608d9cb5671d3d3a162dcbc292f046bb1fdb588d5d", + "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": 3047, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "7690bdbd0180c9212693c600e7a54c2d391f27b293ac06826dc5a961b2dc2829" + } + ], + "checks": { + "ODD-8X9-APPLICATION-CHECKS.json": { + "assumptions": [ + "native_all_columns", + "owned_erasure", + "compiler", + "precision_tape", + "analytic_recovery" + ], + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "candidate": "1820380687071/500000000000000", + "catalogue": [ + { + "catalogue_digest": "98d28b3acfba7609f11b2be7a080d6db952450af56fd0a9b9100cbe85e71e433", + "catalogue_size": 3047, + "checked_maps": 1000, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "349657e3b6c08db43122bc7523d4f225519f785992320966b2c14b3fdf40b9d7", + "log_sha256": "e8afb3777466f6b5cc19dee283accc06f66bdb09559acc26b3898d3e04b9fda0", + "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": "7690bdbd0180c9212693c600e7a54c2d391f27b293ac06826dc5a961b2dc2829" + }, + { + "catalogue_digest": "98d28b3acfba7609f11b2be7a080d6db952450af56fd0a9b9100cbe85e71e433", + "catalogue_size": 3047, + "checked_maps": 1000, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "f55d2737b671dbbb651759789eb20e5f597c55db09c3cb8bbeea2dc6f119391a", + "log_sha256": "22c45b363b1d45913bc4c6898628df119163e7d8ce759232118885bf37a7d2e5", + "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": "7690bdbd0180c9212693c600e7a54c2d391f27b293ac06826dc5a961b2dc2829" + }, + { + "catalogue_digest": "98d28b3acfba7609f11b2be7a080d6db952450af56fd0a9b9100cbe85e71e433", + "catalogue_size": 3047, + "checked_maps": 1000, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "cf9f12d50c4b16a25727ee953ed4ebdae5e54d4964b4df1da4c4ec4eb7055dc2", + "log_sha256": "7c14a741b4a4ed6cafaae483596593399aed2f498022968eb0cbf6e5ccb5567d", + "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": "7690bdbd0180c9212693c600e7a54c2d391f27b293ac06826dc5a961b2dc2829" + }, + { + "catalogue_digest": "98d28b3acfba7609f11b2be7a080d6db952450af56fd0a9b9100cbe85e71e433", + "catalogue_size": 3047, + "checked_maps": 47, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "b84f93060618453dfc0b48608d9cb5671d3d3a162dcbc292f046bb1fdb588d5d", + "log_sha256": "7c7fe85d65225647f76ed4ad1455b81e0619621fcd23e5496db6170870c94c4c", + "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": 3047, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "7690bdbd0180c9212693c600e7a54c2d391f27b293ac06826dc5a961b2dc2829" + } + ], + "fixed_tape_counts": { + "H": 16495300000000000000000, + "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": 2344, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25468868384, + "log_power": 2235, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298706, + "native_invocations": 17, + "native_sha256": "880a2402e01a6a92ce8bfde2046fa6375014b16ca4f89d6cc6f5cead621e54f8", + "owned_banks_per_raw_occurrence": 867, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58148, + "native": 1145919 + }, + "scalar_services_upper": 42301536, + "scalar_steps_coefficient": 44356375412736, + "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": "1820380687071/500000000000000" + }, + "native_archive_sha256": "7690bdbd0180c9212693c600e7a54c2d391f27b293ac06826dc5a961b2dc2829", + "native_canonical_sha256": "880a2402e01a6a92ce8bfde2046fa6375014b16ca4f89d6cc6f5cead621e54f8", + "numeric_gate": { + "BIT_margin": "12592862585793/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16495300000000000000000", + "alpha": [ + 0.9999999999999998, + 0.9999999999999998 + ], + "claim": "1820380687071/500000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9016746922369976, + 0.9016746922369976 + ], + "derivative_upper": -382152.98856900504, + "gamma": [ + 0.9407717523209109, + 0.9407717523209109 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "1820380687071/500000000000000": [ + "124221303183246605798157548681067042551641595501913289040898023137931068965231/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "15527662897905825724769693585133380318955199437739161130112252892241383620897/12500000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364076137414207/100000000000000000": [ + "62110651591624446195264618588536884543270343875546256441433555808238909051133/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124221303183248892390529237177073769086540687751092512882867111616477818104221/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2234, + "moment_margin_float": { + "364076137414207/100000000000000000": [ + 5.274249247158302e-11, + 5.274249247158302e-11 + ], + "36407613741422058608084968767767/10000000000000000000000000000000000": [ + 3.528314104608242e-29, + 3.528314104608242e-29 + ], + "4550951717677757326010621095971/1250000000000000000000000000000000": [ + -3.537835404087517e-30, + -3.537835404087517e-30 + ] + }, + "moment_margins": { + "364076137414207/100000000000000000": [ + "2637124623579151041814188174130498146641124433592058965465953775945151/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "527424924715830208362837634826099629328224886718411793093190759059357/10000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36407613741422058608084968767767/10000000000000000000000000000000000": [ + "705662820921648342557504615682160171790091569745373/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "882078526152060428196880769602700214737614471802137/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "4550951717677757326010621095971/1250000000000000000000000000000000": [ + "-176891770204375840322306566385618998312040009924017/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-176891770204375840322306566385618998312039990531611/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36407613741422058608084968767767/10000000000000000000000000000000000", + "4550951717677757326010621095971/1250000000000000000000000000000000" + ], + "tested": "364076137414207/100000000000000000", + "written_log_power": 2235 + }, + "physical_binding": { + "ambient": 145, + "complete_paid_position_digest": "509db5910a4babcb5104c93f5fc32944c2782403a36937e265630384a71ad1a5", + "fresh_helpers": 18530, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1490, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68860, + "16": 416, + "2": 14314, + "24": 416, + "3": 13923, + "32": 416, + "4": 3944, + "40": 416, + "48": 416, + "5": 5661, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "paid_positions": 110655, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22274, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 867, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1258, + "57": 416, + "6": 714, + "65": 416, + "7": 289, + "73": 208, + "8": 918, + "9": 10684 + } + }, + "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": 777717464, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 222282536, + "odd_divisions": { + "ADD": 5219, + "SCALE": 67 + }, + "per_input_conversion": 2634320, + "raw_upper": 761074984, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2180, + "moves": 6287, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9883000, + "scalar_upper": 1989744 + }, + "status": "PASS_8X9_EXACT_COMPONENT_APPLICATION_CHECKS" + }, + "ODD-ADMISSION-PARTIAL.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "compiler_outer": { + "BIT_margin": "12592862585793/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16495300000000000000000", + "alpha": [ + 0.9999999999999998, + 0.9999999999999998 + ], + "claim": "1820380687071/500000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9016746922369976, + 0.9016746922369976 + ], + "derivative_upper": -382152.98856900504, + "gamma": [ + 0.9407717523209109, + 0.9407717523209109 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "1820380687071/500000000000000": [ + "124221303183246605798157548681067042551641595501913289040898023137931068965231/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "15527662897905825724769693585133380318955199437739161130112252892241383620897/12500000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364076137414207/100000000000000000": [ + "62110651591624446195264618588536884543270343875546256441433555808238909051133/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124221303183248892390529237177073769086540687751092512882867111616477818104221/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2234, + "moment_margin_float": { + "364076137414207/100000000000000000": [ + 5.274249247158302e-11, + 5.274249247158302e-11 + ], + "36407613741422058608084968767767/10000000000000000000000000000000000": [ + 3.528314104608242e-29, + 3.528314104608242e-29 + ], + "4550951717677757326010621095971/1250000000000000000000000000000000": [ + -3.537835404087517e-30, + -3.537835404087517e-30 + ] + }, + "moment_margins": { + "364076137414207/100000000000000000": [ + "2637124623579151041814188174130498146641124433592058965465953775945151/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "527424924715830208362837634826099629328224886718411793093190759059357/10000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36407613741422058608084968767767/10000000000000000000000000000000000": [ + "705662820921648342557504615682160171790091569745373/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "882078526152060428196880769602700214737614471802137/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "4550951717677757326010621095971/1250000000000000000000000000000000": [ + "-176891770204375840322306566385618998312040009924017/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-176891770204375840322306566385618998312039990531611/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36407613741422058608084968767767/10000000000000000000000000000000000", + "4550951717677757326010621095971/1250000000000000000000000000000000" + ], + "tested": "364076137414207/100000000000000000", + "written_log_power": 2235 + }, + "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": 68860, + "16": 416, + "2": 14314, + "24": 416, + "3": 13923, + "32": 416, + "4": 3944, + "40": 416, + "48": 416, + "5": 5661, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1258, + "57": 416, + "6": 714, + "65": 416, + "7": 289, + "73": 208, + "8": 918, + "9": 10684 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036407613741422058608084968767767908867943890369857566819992927556", + "raw_crossing": "0.0036407613741422058608084968767767908867943890369857566819992927556" + }, + "native_sha256": "880a2402e01a6a92ce8bfde2046fa6375014b16ca4f89d6cc6f5cead621e54f8", + "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": 777717464, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 222282536, + "odd_divisions": { + "ADD": 5219, + "SCALE": 67 + }, + "per_input_conversion": 2634320, + "raw_upper": 761074984, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2180, + "moves": 6287, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9883000, + "scalar_upper": 1989744 + }, + "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": 16495300000000000000000, + "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": 2344, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25468868384, + "log_power": 2235, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298706, + "native_invocations": 17, + "native_sha256": "880a2402e01a6a92ce8bfde2046fa6375014b16ca4f89d6cc6f5cead621e54f8", + "owned_banks_per_raw_occurrence": 867, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58148, + "native": 1145919 + }, + "scalar_services_upper": 42301536, + "scalar_steps_coefficient": 44356375412736, + "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": "1820380687071/500000000000000" + }, + "ODD-PHYSICAL-BINDING.json": { + "aliased_main_rejected": true, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "native_sha256": "880a2402e01a6a92ce8bfde2046fa6375014b16ca4f89d6cc6f5cead621e54f8", + "occurrence_and_geometry": { + "ambient": 145, + "complete_paid_position_digest": "509db5910a4babcb5104c93f5fc32944c2782403a36937e265630384a71ad1a5", + "fresh_helpers": 18530, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1490, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68860, + "16": 416, + "2": 14314, + "24": 416, + "3": 13923, + "32": 416, + "4": 3944, + "40": 416, + "48": 416, + "5": 5661, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "paid_positions": 110655, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22274, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 867, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1258, + "57": 416, + "6": 714, + "65": 416, + "7": 289, + "73": 208, + "8": 918, + "9": 10684 + } + }, + "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": 2344, + "context_height": 405, + "context_mass_bits": 1172, + "native_grid": { + "coefficient_visits": 15003535, + "dyadic_height": 24, + "mass_witness": [ + 64727, + "stored add" + ], + "maximum_scaled_mass": "1630603680282225/16384", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + }, + "native_sha256": "880a2402e01a6a92ce8bfde2046fa6375014b16ca4f89d6cc6f5cead621e54f8", + "precision_program_sha256": "7696f2e4074ccc9c970670494595e2a973742279a6109d1e60fd551a4611d236", + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "10032701267883194203701446000061699205301419819444718138215522276805729935152995069554037987491995054972416698288968940501243796778844766031371457485071048204632608469576186455222960690911237548676202121760838677007750329816072682256509054535295749541910209228440041279628780630759398343128870368401177162269150034472731302372764518041007277895058651997135389239714278470053518880966786588322353610879109099657550532211499171/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "strict_power_of_two": 1139, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Gamma_context": { + "exact": "258919962647749236800827156782745656864164568415727355605486035123180869272473807182501426841331476845218045741455775063060105161188720132078975725844180087976750684284125948670516196984246602519515207575832928281416616375167990130809730130106414650696780431159864962559911192733999598491092205216281812251017402565585790763798423278110235137000786838191172824030064244470888284271001625926766226846042194758899796471480582241/1896868660409292976994249205822259200000000000000000000000000000000000000000000000", + "strict_power_of_two": 1144, + "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": "4277509754039960050452381169736591244329696726676399079845171772706980272205648455603963793483481104580049767085347859354950679273160651310099321558997707959500601501462729674368706177307765625131234585002326912452460454728495442678221226575599030745731254857226661640884567692054673967590995121943204400759556733443633081261795187945098404913671803335550535588666161138357958162899785498284146904257262486161715694707380684441/210763184489921441888249911758028800000000000000000000000000000000000000000000000", + "strict_power_of_two": 1151, + "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": "258919962647749236800827156782745656864164568415727355605486035123180869272473807182501426841331476845218045741455775063060105161188720132078975725844180087976750684284125948670516196984246602519515207575832928281416616375167990130809730130106414650696780431159864962559911192733999598491092205216281812251017402565585790763798423278110235137000786838191172824030064244470888284271001625926766226846042194758899796471480582241/1896868660409292976994249205822259200000000000000000000000000000000000000000000000", + "strict_power_of_two": 1144, + "witness": { + "cut": 4753, + "event": 4752, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "Sigma_context": { + "exact": "3447951623106356130604416251353360690683801747471753008919429971542983742019470353274492696243664250730530995206009122891808133451945364812883351042568053444235310910259542192414645725253807722029031195185626874803567994404158385606934621703405379759238138063922849247890013440648012924741694905466869201013303071443262262790629620022484766639736174476116343867172257902131119158741858170888932016227416966343349769154740050409016364379541280302892042946939688281707219511204486451284108719696434676187226731994334054621789786974369960233063454236104237141/876464560663553576891675682287697443716687967220550563971830539878400000000000000000000000000000000000000000000000000000000000000000000", + "strict_power_of_two": 1398, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 18530, + "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": "10032701267883194203701446000061699205301419819444718138215522276805729935152995069554037987491995054972416698288968940501243796778844766031371457485071048204632608469576186455222960690911237548676202121760838677007750329816072682256509054535295749541910209228440041279628780630759398343128870368401177162269150034472731302372764518041007277895058651997135389239714278470053518880966786588322353610879109099657550532211499171/2529158213879057302658998941096345600000000000000000000000000000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "258919962647749236800827156782745656864164568415727355605486035123180869272473807182501426841331476845218045741455775063060105161188720132078975725844180087976750684284125948670516196984246602519515207575832928281416616375167990130809730130106414650696780431159864962559911192733999598491092205216281812251017402565585790763798423278110235137000786838191172824030064244470888284271001625926766226846042194758899796471480582241/1896868660409292976994249205822259200000000000000000000000000000000000000000000000" + }, + "M_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796247824792255124449682067424881/131368167114257812500000000000", + "residual_mass": "258919962647749236800827156782745656864164568415727355605486035123180869272473807182501426841331476845218045741455775063060105161188720132078975725844180087976750684284125948670516196984246602519515207575832928281416616375167990130809730130106414650696780431159864962559911192733999598491092205216281812251017402565585790763798423278110235136998889969530763531053069995265066025071001625926766226846042194758899796471480582241/1896868660409292976994249205822259200000000000000000000000000000000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "10032701267883194203701446000061699205301419819444718138215522276805729935152995069554037987491995054972416698288968940501243796778844766031371457485071048204632608469576186455222960690911237548676202121760838677007750329816072682256509054535295749541910209228440041279628780630759398343128870368401177162269150034472731302372764518041007277895058651997135389239714278470053518880966786588322353610879109099657550532211499171/2529158213879057302658998941096345600000000000000000000000000000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "258919962647749236800827156782745656864164568415727355605486035123180869272473807182501426841331476845218045741455775063060105161188720132078975725844180087976750684284125948670516196984246602519515207575832928281416616375167990130809730130106414650696780431159864962559911192733999598491092205216281812251017402565585790763798423278110235137000786838191172824030064244470888284271001625926766226846042194758899796471480582241/1896868660409292976994249205822259200000000000000000000000000000000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "1435/4", + "entrance_mass": "2067/2", + "event": 43, + "stage": 1 + }, + { + "entrance_defect": "119334279720179706222503805290927987041455218158327082177863657331050817455727606079226073645533578755652938647947219467080273665397561781/54147497318342533224087693557760000000000000000000000", + "entrance_mass": "56849465528/5", + "event": 137, + "stage": 2 + }, + { + "entrance_defect": "181315553531683418565096987177853219371101539472765435999989695719398833820834427404067941472783085510998090705220863216313914829252081353060023335221/5198159742560883189512418581544960000000000000000000000", + "entrance_mass": "899756300051784928313/5", + "event": 268, + "stage": 3 + }, + { + "entrance_defect": "168878130982550428442160798048306747034365926349832095541761611634299799519575184803107389156914951875270399421805348357140488798140499585837567170107124104053/5198159742560883189512418581544960000000000000000000000", + "entrance_mass": "2514111326902273689027625979152/15", + "event": 432, + "stage": 4 + }, + { + "entrance_defect": "34497988357329062026822151962827278091911325071968045775496830911044362903678440084233584128299419337968721318876456032775973014453326471182420137692464824003090803456563/5198159742560883189512418581544960000000000000000000000", + "entrance_mass": "513576167499541081817002847690160861158177/15", + "event": 633, + "stage": 5 + }, + { + "entrance_defect": "3303181852162475936589717620908695325193954969741986156981806465548163323207544972021918641322589744510020948181974190523148249443925892147102621196410952319220461398464902350593367/77972396138413247842686278723174400000000000000000000000", + "entrance_mass": "49174910102467876864090432969907258581035345395534834/225", + "event": 867, + "stage": 6 + }, + { + "entrance_defect": "352301207192005803275422019799732530964520469280116679694124856032195766402463141177944004467136227282354901746508828255113274910246173196116831557900248471056767375517857135267474773723123417/8663599570934805315854030969241600000000000000000000000", + "entrance_mass": "47202796791779792903787260464709452698419616298153732189406926691/225", + "event": 1138, + "stage": 7 + }, + { + "entrance_defect": "102575804250447646282907667428008426820936872373895406791607248109172165185566920950135576360001296057588408875418791300318237780976341111985580627575819600011847337899295135041983092761582247489605927431669343/9746549517301655980335784840396800000000000000000000000000", + "entrance_mass": "1527059719525243651854937925515623170877847518562264265010551055991429949116792541/28125", + "event": 1423, + "stage": 8 + }, + { + "entrance_defect": "36580866196464828331593138802151636490729207622147304447825415473195173064372817275038891075194779268902789278812240452267794153276839508467573424542502664287595781549524058642306664610769004594297230529265707262925384519176160122698539227563087368489872459122631814389900510989753511277732205237590058978600180876843366645143260906625769367003/11240703172795810234039995293761536000000000000000000000000000000000000000000000", + "entrance_mass": "45382020709918266925583064268574418985484021788023395083741971786893952543604385214817042722264713249357732585113211736557042182118473445437784492974844696068231496289005681248244219743195326431922663592509646282903/2703048706054687500000000", + "event": 3058, + "stage": 9 + }, + { + "entrance_defect": "13909925183369759960647908446471506196754825457828416119611393673358056791753646729530066850359035937516487105921201738187641669129266393201033378884326799528445059124063470702046068411234807650160992455663367548257606414825002729605864244109577790886523963321823630851919504014551059408538110839152712468915763489255240111884751267047969858382370620832813337/281017579319895255850999882344038400000000000000000000000000000000000000000000000", + "entrance_mass": "17256576412236653193246225901973714737195067836439327666112948810725372605325768521068989782195051084826433423902219365061463548934152577319772447024097669813834215493691840531234110147024064996639957180865886380686899413865699437/67576217651367187500000000", + "event": 3377, + "stage": 10 + }, + { + "entrance_defect": "6636227848578645173740315812292973624685935518757961188069357566018717959694373177572511260698675540887201316295764349968353356073596724708591973954659827438696388800174931253733307719902815334504873521806763758550121733055746171271042607071860464532554677917960660068648297349182928079843171226393180908022157105262171756630999975423554694599404665404776217794238176803/9367252643996508528366662744801280000000000000000000000000000000000000000000000", + "entrance_mass": "8232867642949280967953864719378369729636081542640965177026582834276172086852779069019078166383458700724373015543641299678854718814560615654710102550769670203427726502361438450768012893674227975469242856299447027845030556012745339827937032703/2252540588378906250000000", + "event": 3674, + "stage": 11 + }, + { + "entrance_defect": "83393580209955801789089647068893851191620999469276930660750354396189874541292971805978712009765469593430379819433667488749500095433343483421278898960909019781016769362031889618107519501714041622238058908587273573008475565496254387467603841192264794887016691444291661901934900961350729898137053128602656873272942569439746780361844716635723547636336711401553655240410815570799365843331/1264579106939528651329499470548172800000000000000000000000000000000000000000000000", + "entrance_mass": "103457615351059805192637231353494210876529187337645013912367786609511281374638184501291799844537790265462481580051228205479278831706979374022592427678836083146990308179368316797029946556942233864286312243671687806427572314354434738422294564686254956597631/304092979431152343750000000", + "event": 3934, + "stage": 12 + }, + { + "entrance_defect": "5493082065348362410465433795034783339845749940137769166957029526487598905151383925569909625276621716126383355117018527076643876372042137649009843884987211932017822333229361535539638656230732901301893013913983348963106902747972185500069331792139260623565051283812106586662332219845063723598723917695461369952880284415255773857191408210962261543987358201339981860517041494221752601612172550339/316144776734882162832374867637043200000000000000000000000000000000000000000000000", + "entrance_mass": "6814687293408352348961376609223100753789665399854180217091951198766673494955017243489117504312576625705862588971333049204842152193259763726092611947454717867967563820647006231530855513792517852570389360287582421241328472893443552787136426885585158158296407747039/76023244857788085937500000", + "event": 4149, + "stage": 13 + }, + { + "entrance_defect": "220610818782883370016859505031785101551893436872345727895010931380278151820158837402025577377707835435543852147006491259626500743828000182214408006793152333854142379292195440006840704141074480021296640714247487712139281344873927794785792133919834043809059427059484351275410901028674359056897279323526095650315440474722106637490822548993049275930001566187085811265143491539014438364914359394508621967291/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "entrance_mass": "273688564209132230699064882255651065961520374651451250325109091529813162250488973700796593555467744131430272845604649750549608356985710665121874068107850799585492748533787927289567936649257940207702597871193107311090132538524151482351564937285621850171994049078063458209591/608185958862304687500000000", + "event": 4337, + "stage": 14 + }, + { + "entrance_defect": "4216350050565608867961652572070729461236940868340388064750709510370991190358006050710624421687459097697655352693716559560614936484332625950407767770962414552189244547955508114074460036498430819907651968408073864561417237884261098735142453518998603767655524091258284434511185744751297103117352564365753593291360325265179951962425713193194117352209652648431415733537777570228137972257048513090618627249918414761/1264579106939528651329499470548172800000000000000000000000000000000000000000000000", + "entrance_mass": "5230780602279043381317572379439763694807653157987526423412516241866438709931406455512285461654380762978554988724296151241130161368896505647624919395909388513302452136334767445346454946237326490486725295589968816639097338790755366202380875008783642473174121062695038054202858248061/304092979431152343750000000", + "event": 4485, + "stage": 15 + }, + { + "entrance_defect": "4667459181758409687172689897690089768672859043151966123038541899809821895370884640921040488267296337599670892812823093813364467291195603616995832681822291334455066873529968951649612242812257149786713153335767654988913686052947067674395767509792677074954988219331456230046527432926248149127992963646493053540292358144086434301991447607968508574688308614062697426325519102539448611226646202874550438359314063055782974163/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "entrance_mass": "5790424100720951765768300756324298709533962301792798636386692749870979029496708556989270788662796627612885676197810930990877069943243536093513215980405080279750566239442965631097385199413957318608000177913047677092759213914423460784984181631621622445055356552059259436283593839861423838063/608185958862304687500000000", + "event": 4606, + "stage": 16 + }, + { + "entrance_defect": "10032701267883194203701446000061699205301419819444718138215522276805729935152995069554037987491995054972416698288968940501243796778844766031371457485071048204632608469576186455222960690911237548676202121760838677007750329816072682256509054535295749541910209228440041279628780630759398343128870368401177162269150034472731302372764518041007277895058651997135389239714278470053518880966786588322353610879109099657550532211499171/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "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": "69566161103563006459985184443649808495275592415285166830882500380988778438886566454006034458317054124689211654827955970262610369083/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 258, + "witness": { + "cut": 73694, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "343671313541845501309472612492502311032999987392244517478817334560141457140286622439606680653979622823283610254904180591124034876071/346543982837392212634161238769664000000000000000000000", + "strict_power_of_two": 260, + "witness": { + "cut": 72951, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "69566161103563006459985184443649808495275592415285166830882500380988778438886566454006034458317054124689211654827955970262610369083/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 258, + "witness": { + "cut": 72951, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 73694, + "lifetimes": 54, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 63602, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6287, + "SCALE": 3696 + }, + "owned_labels": 51, + "peak_owned": 43, + "public": 1490, + "scalars": { + "dyadic": 62013, + "integer": 39293, + "noninteger": 28006, + "odd": 5286 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26064, + "entrance_mass": "343671313541845501309472612492502311032999987392244517478817334560141457140286622439606680653979622823283610254904180591124034876071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69566161103563006459985184443649808495275592415285166830882500380988778438886566454006034458317054124689211654827955970262610369083/173271991418696106317080619384832000000000000000000000" + }, + "M": { + "active_residual_sites": 26064, + "entrance_mass": "343671313541845501309472612492502311032999987392244517478817334560141457140286622439606680653979622823283610254904180591124034876071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69566161103563006459985184443649808495275592415285166830882500380988778438886566454006034458317054124689211654827955970262610369083/173271991418696106317080619384832000000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26064, + "entrance_mass": "343671313541845501309472612492502311032999987392244517478817334560141457140286622439606680653979622823283610254904180591124034876071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69566161103563006459985184443649808495275592415285166830882500380988778438886566454006034458317054124689211654827955970262610369083/173271991418696106317080619384832000000000000000000000" + } + } + }, + "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": 68860, + "16": 416, + "2": 14314, + "24": 416, + "3": 13923, + "32": 416, + "4": 3944, + "40": 416, + "48": 416, + "5": 5661, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "raw_bracket": [ + "36407613741422058608084968767767/10000000000000000000000000000000000", + "4550951717677757326010621095971/1250000000000000000000000000000000" + ], + "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": "880a2402e01a6a92ce8bfde2046fa6375014b16ca4f89d6cc6f5cead621e54f8", + "target": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1258, + "57": 416, + "6": 714, + "65": 416, + "7": 289, + "73": 208, + "8": 918, + "9": 10684 + } + } + }, + "claim": "1820380687071/500000000000000", + "price": { + "after": { + "P": { + "1": 68860, + "16": 416, + "2": 14314, + "24": 416, + "3": 13923, + "32": 416, + "4": 3944, + "40": 416, + "48": 416, + "5": 5661, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1258, + "57": 416, + "6": 714, + "65": 416, + "7": 289, + "73": 208, + "8": 918, + "9": 10684 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036407613741422058608084968767767908867943890369857566819992927556", + "raw_crossing": "0.0036407613741422058608084968767767908867943890369857566819992927556" + }, + "before": { + "P": { + "1": 68962, + "16": 416, + "2": 14297, + "24": 416, + "3": 13906, + "32": 416, + "4": 4080, + "40": 416, + "48": 416, + "5": 5525, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3723, + "41": 416, + "49": 416, + "5": 1224, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 969, + "9": 10616 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036401021873964907241085191294166921194597121219375525703542844145", + "raw_crossing": "0.0036401021873964907241085191294166921194597121219375525703542844145" + }, + "gate": { + "BIT_margin": "12592862585793/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16495300000000000000000", + "alpha": [ + 0.9999999999999998, + 0.9999999999999998 + ], + "claim": "1820380687071/500000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9016746922369976, + 0.9016746922369976 + ], + "derivative_upper": -382152.98856900504, + "gamma": [ + 0.9407717523209109, + 0.9407717523209109 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "1820380687071/500000000000000": [ + "124221303183246605798157548681067042551641595501913289040898023137931068965231/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "15527662897905825724769693585133380318955199437739161130112252892241383620897/12500000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364076137414207/100000000000000000": [ + "62110651591624446195264618588536884543270343875546256441433555808238909051133/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124221303183248892390529237177073769086540687751092512882867111616477818104221/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2234, + "moment_margin_float": { + "364076137414207/100000000000000000": [ + 5.274249247158302e-11, + 5.274249247158302e-11 + ], + "36407613741422058608084968767767/10000000000000000000000000000000000": [ + 3.528314104608242e-29, + 3.528314104608242e-29 + ], + "4550951717677757326010621095971/1250000000000000000000000000000000": [ + -3.537835404087517e-30, + -3.537835404087517e-30 + ] + }, + "moment_margins": { + "364076137414207/100000000000000000": [ + "2637124623579151041814188174130498146641124433592058965465953775945151/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "527424924715830208362837634826099629328224886718411793093190759059357/10000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36407613741422058608084968767767/10000000000000000000000000000000000": [ + "705662820921648342557504615682160171790091569745373/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "882078526152060428196880769602700214737614471802137/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "4550951717677757326010621095971/1250000000000000000000000000000000": [ + "-176891770204375840322306566385618998312040009924017/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-176891770204375840322306566385618998312039990531611/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36407613741422058608084968767767/10000000000000000000000000000000000", + "4550951717677757326010621095971/1250000000000000000000000000000000" + ], + "tested": "364076137414207/100000000000000000", + "written_log_power": 2235 + }, + "native_baseline_rejects_new_claim": true, + "new_native": "880a2402e01a6a92ce8bfde2046fa6375014b16ca4f89d6cc6f5cead621e54f8", + "old_native": "0a27f1224fdb196602d52d4170bc12b8bde0b9818809e73ecdbdaaa5d3b7adbc", + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "12795153887105283049491190585683761220183312536272534915099696316222039901673577/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "25590307774210566098982381171367522440366625072545069830199392632444079837480431/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003640761374142", + "gain": "6.59186746E-7", + "gain_exact": "329593373/500000000000000", + "independent_raw_bracket": [ + "0.00364076137414220586080849687677679", + "0.0036407613741422058608084968767768" + ], + "previous_claim": "910025546849/250000000000000", + "raw_bracket": [ + "0.0036407613741422058608084968767767", + "0.0036407613741422058608084968767768" + ] + } + }, + "status": "PASS_P104_GLOBAL_INPUT_RECHART" +} diff --git a/research/p104-global-input-rechart/SOURCES.json b/research/p104-global-input-rechart/SOURCES.json new file mode 100644 index 0000000000..5359c07027 --- /dev/null +++ b/research/p104-global-input-rechart/SOURCES.json @@ -0,0 +1,36 @@ +{ + "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" + }, + { + "path": "research/fresh-helper-boundary/discover-cut.cpp", + "usage": "provenance", + "git_blob": "5caa077ea070e3a5f27328dd55d02ac846024871", + "sha256": "ad6b8e91ea641ebd177c483c51d301921022fdb5f79e5dd03e8bd4d62b8d2356" + }, + { + "path": "research/fresh-helper-boundary/README.md", + "usage": "provenance", + "git_blob": "cbcfab9ccd9cc266f6353da4e820ad00b5f311ca", + "sha256": "5b29c0902638f8ae4e78c07fb5d7958c64e0d3ec6651260fc8db05b940bb4185" + } + ] +} \ No newline at end of file diff --git a/research/p104-global-input-rechart/TASK.json b/research/p104-global-input-rechart/TASK.json new file mode 100644 index 0000000000..f6af6c6ddd --- /dev/null +++ b/research/p104-global-input-rechart/TASK.json @@ -0,0 +1,131 @@ +{ + "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", + "ai_assistance": "Substantial OpenAI Codex assistance; no subagents.", + "claim": "https://github.com/CrocSwap/integer-mult-bounds/pull/7122", + "scope_status": "changed", + "scope_change_reason": "Global scalar-chart and helper-input alpha expansion on exact PR7121, rather than another fixed-boundary helper split.", + "concrete_question": "Can a global alpha expansion of public scalar charts and helper input charts improve the full PR7121 invoice while preserving the exact normalized operator?", + "actual_scope": "Rechart seven public helper inputs and 22 scalar contacts; reconstruct and verify the entire paid program and unchanged signed 17-stage application.", + "domain": "Exact PR7121 native; 70434 graph nodes, 68096 mutable public scalar/helper-input nodes, 132493 edges and 1095 catalogue frames. Owned contacts and main boundaries fixed.", + "success": "A complete arbitrary-input native and signed 17-stage application with conditional kappa > 0.003640102187396.", + "bottleneck_link": "Changing helper input charts changes productive credits; every entry, scalar contact and exit transport must be recounted together at the current tariff.", + "predecessor_head": "1670baa28f5a9631286591068d7cc2934d2c2d37", + "predecessors": [ + "dillona/OpenAI Codex PR7121 exact native construction, source closure and source-specific verification; immediate source at 1670baa28f5a9631286591068d7cc2934d2c2d37.", + "1337isnot1337/OpenAI Codex fresh-helper-boundary alpha-expansion min-cut method.", + "Rohan Arun/OpenAI Codex PR7113 exact signed 17-stage caller and source-specific application.", + "ToikY signed sources, price engines, splits and chart-120 proposal retained through PR7120.", + "Ali Romman helper bases and independent split identities; Jerry Chen/CubeJerry causal retiming and native/invoice/compiler engines; Matarener complete kernels and pairing decisions.", + "DreamingOfClouds, Douglas Colkitt and #7000 reviewers, and all retained nested-source authors and notices." + ], + "outcome": "completed", + "evidence_status": "Direct local CPython 3.12.14 early, full native and complete application runs passed. Final registered isolated CPython 3.12.14 replay passed and matched every frozen early, native and application receipt field.", + "evidence": "EARLY-RESULT.json; NATIVE-RESULT.json; RESULT.json; REPLAY.txt", + "overlap": "Source and pending work were refreshed from the public PR list and discussion evidence before this scope. The exact comparator is PR7121 at 1670baa28f5a9631286591068d7cc2934d2c2d37. No claim of exhaustive novelty or maintainer admission.", + "open_questions": [ + { + "question": "Can an independent reviewer validate the exact global rechart and complete application?", + "why_it_matters": "Source-aware author replay is not independent admission.", + "first_step": "Run the package replay and inspect PROOF.md and APPLICATION.md.", + "blocked_by": "No independent reviewer receipt yet." + } + ], + "stop_rule": "One new fully checked invoice; refresh before any further research round." +} diff --git a/research/p104-global-input-rechart/VALIDATION.md b/research/p104-global-input-rechart/VALIDATION.md new file mode 100644 index 0000000000..2f747535cd --- /dev/null +++ b/research/p104-global-input-rechart/VALIDATION.md @@ -0,0 +1,28 @@ +# Validation record + +Direct local runs on macOS arm64 with CPython 3.12.14: + +- `python3.12 -B -u research/p104-global-input-rechart/verify_early.py`: PASS_EXACT_NATIVE_AND_PRICE_ONLY. +- `python3.12 -B -u research/p104-global-input-rechart/verify_native.py --out research/p104-global-input-rechart/NATIVE-RESULT.json`: PASS_GLOBAL_INPUT_RECHART_NATIVE. +- `python3.12 -B -u research/p104-global-input-rechart/verify.py --out research/p104-global-input-rechart/RESULT.json`: PASS_P104_GLOBAL_INPUT_RECHART. + +The registered verifier reruns all three stages with isolated Python and +compares every frozen receipt field. It completed with exit code 0 and +`PASS_REGISTERED_RESEARCH_PACKAGE research/p104-global-input-rechart outcome=completed`. +The complete stdout is retained in `REPLAY.txt`. Command: + +```sh +python3.12 -B scripts/research_package.py --package research/p104-global-input-rechart +``` + +The first native attempt stopped on a Python module-name collision when loading +the authenticated predecessor verifier. The loader now isolates the predecessor's +modules and restores our modules afterward. The complete subsequent native run +passed; no scientific condition was relaxed. + +The initial draft CI plan failed a pre-existing documentation consistency test: +`docs/ci-verification.md` still identified #6030 while the selected result is +#7000. This PR carries the existing correction from #7113; the targeted +`CurrentCiNavigationTests.test_current_ci_section_matches_selected_record` passed. +Hosted CI acceptance and independent mathematical review are separate from the +local verification results above. diff --git a/research/p104-global-input-rechart/VERIFY.json b/research/p104-global-input-rechart/VERIFY.json new file mode 100644 index 0000000000..c67a7dfb66 --- /dev/null +++ b/research/p104-global-input-rechart/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": 120, + "checks": "Entire source reconstruction, exact native adjoint and complete signed price with both directed engines; all frozen early fields." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify_native.py" + ], + "timeout_seconds": 480, + "checks": "Complete forward/adjoint, changed chart columns and phase, native common grid, ordinary/precision/physical bounds and corruption controls; all native receipt fields." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 600, + "checks": "Complete literal signed 17-stage caller, all paid/helper maps and main boundaries, independent integer grid, physical ownership, ordinary, precision, fixed-tape and compiler/outer gates; all application receipt fields." + } + ] +} \ No newline at end of file diff --git a/research/p104-global-input-rechart/WORD.json.gz b/research/p104-global-input-rechart/WORD.json.gz new file mode 100644 index 0000000000..c57f1d11af Binary files /dev/null and b/research/p104-global-input-rechart/WORD.json.gz differ diff --git a/research/p104-global-input-rechart/adapt.py b/research/p104-global-input-rechart/adapt.py new file mode 100644 index 0000000000..ef26305773 --- /dev/null +++ b/research/p104-global-input-rechart/adapt.py @@ -0,0 +1,39 @@ +# Successor: Rohan Arun/OpenAI Codex global input 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): + 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','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()}', + 'wg=grid.word_run(w)\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-global-input-rechart/construct.py b/research/p104-global-input-rechart/construct.py new file mode 100644 index 0000000000..abab5b5b7c --- /dev/null +++ b/research/p104-global-input-rechart/construct.py @@ -0,0 +1,39 @@ +"""Rechart public scalar contacts and reconstruct every causal transport. + +Fresh-helper-boundary alpha-expansion supplied the nomination. This generator +does not trust its floating score. Rohan Arun/OpenAI Codex, Apache-2.0. +""" +from copy import deepcopy +def span(basis): + out={0} + for x in basis: + assert x not in out;out|={x^v for v in tuple(out)} + return frozenset(out) +def construct(source,changes): + w=deepcopy(source);n=w['public'];spaces=list(map(span,w['frames'])) + main=set(w['live'])|{r+112 for r in w['live']}|set(w['hosted']['X2'])|set(w['hosted']['Y2']) + for r,old,new in changes['initial']: + assert r=n and spaces[to]=n]);cur[r]=to + for i,e in enumerate(source['program']): + op,r=e[:2] + if op=='MOVE': + if r>=n:assert cur[r]==e[2];move(r,e[3]) + elif op=='INIT':assert r>=n and cur[r] is None;program.append(e.copy());cur[r]=e[2] + elif op=='CLEAR':assert r>=n and cur[r]==e[2];program.append(e.copy());cur[r]=None + else: + assert op in ('ADD','COPY','SCALE');roles=e[1:3] if op in ('ADD','COPY') else e[1:2];frame=e[-1] + if i in edits: + old,frame=edits[i];assert old==e[-1] and all(rpeak: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-global-input-rechart/inputs/pr7121.tar b/research/p104-global-input-rechart/inputs/pr7121.tar new file mode 100644 index 0000000000..0fe0913233 Binary files /dev/null and b/research/p104-global-input-rechart/inputs/pr7121.tar differ diff --git a/research/p104-global-input-rechart/price.py b/research/p104-global-input-rechart/price.py new file mode 100644 index 0000000000..46033c22d2 --- /dev/null +++ b/research/p104-global-input-rechart/price.py @@ -0,0 +1,54 @@ +# Successor: Rohan Arun/OpenAI Codex global input 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 #7120 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-global-input-rechart/source.py b/research/p104-global-input-rechart/source.py new file mode 100644 index 0000000000..1ab8c136ec --- /dev/null +++ b/research/p104-global-input-rechart/source.py @@ -0,0 +1,45 @@ +"""Authenticate the complete #7121 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): + saved={k:sys.modules.get(k) for k in ('support','split')} + try: + load('support',parent/'support.py');load('split',parent/'split.py');c=load('rechart_parent_construct',parent/'construct.py') + word=c.construct(oldword,read(parent/'WITNESS.json')) + finally: + 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 #7121 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-global-input-rechart/verify.py b/research/p104-global-input-rechart/verify.py new file mode 100644 index 0000000000..2b6fd30fca --- /dev/null +++ b/research/p104-global-input-rechart/verify.py @@ -0,0 +1,54 @@ +# Successor: Rohan Arun/OpenAI Codex global input 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']) + 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_P104_GLOBAL_INPUT_RECHART',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-global-input-rechart/verify_early.py b/research/p104-global-input-rechart/verify_early.py new file mode 100644 index 0000000000..b7bd7ad3e3 --- /dev/null +++ b/research/p104-global-input-rechart/verify_early.py @@ -0,0 +1,32 @@ +"""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/'CHANGES.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(all(before[k]==after[k] for k in ('lifetimes','owned_peak','rises')),'Owned 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-global-input-rechart/verify_native.py b/research/p104-global-input-rechart/verify_native.py new file mode 100644 index 0000000000..0c87a25a20 --- /dev/null +++ b/research/p104-global-input-rechart/verify_native.py @@ -0,0 +1,118 @@ +"""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. +""" +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 run(): + need(__debug__,'Assertions are proof obligations') + with sources() as (vendor,archive,rank9,bundle,parent,old): + changes=read(HERE/'CHANGES.json');new=construct(old,changes) + need(canonical(new)==gzip.decompress((HERE/'WORD.json.gz').read_bytes()),'Whole emitted word') + G=load('rechart_price_engine',bundle/'gate.py');sys.path.insert(0,str(rank9)) + helper_count=sum(read(parent/'NATIVE-RESULT.json')['native']['helpers'].values()) + base=G.module('rechart_rank9',rank9/'candidate_gate.py',( + ('== 1080','== '+str(helper_count)), + ('fresh_arbitrary_helpers=18 * 1080','fresh_arbitrary_helpers=18 * '+str(helper_count)))) + I=base.independent(vendor);oldN,N=map(I.native,(old,new));previous=read(parent/'NATIVE-RESULT.json') + need(normalized(oldN)==previous['native'] and not N['bad_inputs'],'Source inventory and entire changed adjoint') + need(all(N[k]==oldN[k] for k in ('lifetimes','owned_peak','rises')),'Owned inventory unchanged') + early=read(HERE/'EARLY-RESULT.json') + need(normalized(dict(T=delta(N['helpers'],oldN['helpers']),P=delta(N['paid'],oldN['paid'])))==early['native_delta'],'Exact target and paid deltas') + # Recharting changes no scalar operation or normalized chronological map. + strip=lambda w:[[e[0],*e[1:-1]] for e in w['program'] if e[0] in ('ADD','COPY','SCALE')] + need(strip(old)==strip(new),'Every scalar coefficient, operand and chronological order unchanged') + derived,_=derive(new);need(derived['odd_scale']==1125 and derived['fractional_bits']==24,'Fresh minimal common grid') + audit=load('rechart_forward',archive/'audit_native.py');forward,grid=audit.replay(new,list(enumerate(new['program'])),set()) + saved_modules={k:sys.modules.get(k) for k in ('source','construct','support','split')};saved_path=list(sys.path) + try: + for k in saved_modules:sys.modules.pop(k,None) + sys.path.insert(0,str(parent)) + parent_checks=load('rechart_parent_checks',parent/'verify_native.py') + finally: + sys.path[:]=saved_path + for k,v in saved_modules.items(): + if v is None:sys.modules.pop(k,None) + else:sys.modules[k]=v + forward_receipt=parent_checks.forward_endpoint(new,forward[0]) + need(grid['odd_grid_lcm']==1125 and grid['owned_rise_mass']==56,'Fresh native grid and owned ascent') + print('PASS whole source/operator, forward/adjoint, causal charts and fresh native grid',flush=True) + caller_path=rank9/'dyadic/CALLER.json';C=read(caller_path) + need(sha256(caller_path.read_bytes()).hexdigest()==G.CALLER,'Exact 18-stage ingredient caller') + symbolic=I.caller(C);need(not symbolic['bad_outputs'] and normalized(symbolic)==previous['caller'],'Full ingredient caller') + before=I.invoices(old,C,oldN);invoice=I.invoices(new,C,N) + need(normalized(before)==previous['invoice'],'Reconstructed source ingredient invoice') + unadjusted=I.ordinary(old,C,oldN);ordinary=I.ordinary(new,C,N) + routes=previous['ordinary']['caller_items']['B']['fused_routes'];route_delta=routes-unadjusted['caller_items']['B']['fused_routes'] + surcharge=0 + for e in C['events']: + if e[0]=='B' and e[1] in ('ADD','SCALE'): + q=Q(e[4] if e[1]=='ADD' else e[3]);a,d=abs(q.numerator),q.denominator + surcharge+=4*(a.bit_length()+d.bit_length()+1+(a.bit_count() if e[1]=='ADD' else 0)) + surcharge*=len(C['types']['B']['ports']) + need(surcharge==previous['ordinary']['extra_B_scalar_surcharge'],'Fresh B surcharge') + need(unadjusted['conservative_total']+route_delta+surcharge==previous['ordinary']['conservative_total'],'Whole source ordinary bill') + ordinary['caller_items']['B']['fused_routes']=routes + for k in ('caller_total','raw_upper','conservative_total'):ordinary[k]+=route_delta + ordinary['extra_B_scalar_surcharge']=surcharge;ordinary['conservative_total']+=surcharge + ordinary['margin_to_billion']=10**9-ordinary['conservative_total'];need(ordinary['margin_to_billion']>0,'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']==24,'Fresh ingredient precision') + print('PASS full ingredient invoice, ordinary, precision, both prices and outer gates',flush=True) + charts=parent_checks.chart_check(vendor,old,new) + controls={} + bad=deepcopy(changes);bad['initial'][0][1]=-1 + controls['wrong_source_input']=rejects(lambda:construct(old,bad)) + bad=deepcopy(changes);bad['scalar'][0][1]=-1 + controls['wrong_source_scalar']=rejects(lambda:construct(old,bad)) + bad=deepcopy(changes);bad['scalar'].append(bad['scalar'][0]) + controls['duplicate_scalar_edit']=rejects(lambda:construct(old,bad)) + scalar=next(i for i,e in enumerate(new['program']) if e[0]=='ADD') + controls['wrong_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);r=changes['initial'][0][0];bad['initial'][r]=old['initial'][r] + controls['omitted_input_rechart']=rejects(lambda:I.native(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,24)) + controls['insufficient_fractional_grid']=rejects(lambda:grid_engine.word_run(new,1125,23)) + 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_GLOBAL_INPUT_RECHART_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,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)