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-endpoint-funded-split/APPLICATION.md b/research/p104-endpoint-funded-split/APPLICATION.md new file mode 100644 index 0000000000..1a57e329f9 --- /dev/null +++ b/research/p104-endpoint-funded-split/APPLICATION.md @@ -0,0 +1,11 @@ +# Complete application verification + +The direct source-bound early, native and full application checks pass at κ=0.003643216822476. Registered replay passed, matching every frozen receipt field. + +The caller is byte-identical to the retained signed17-stage caller. Its reconstructed paid count is110434, productive field count22342, surplus1424, and empty credit0. Every changed native occurrence is included. Ordinary source-unit work is779695108 <10^9. Fresh precision is c=2380 (source2362); the native minimal grid is1125/F25, independently derived over all exact prefix rows and scalar products and compared with integer forward replay. Caller grid, rounded envelopes, physical bindings and fixed-tape substitution are recomputed. + +All3039 paid/helper maps and104 main boundaries are covered by signed Pauli action and exact Gaussian phase. Six native chart pairs are additionally checked on all512 columns, including the new pair(3,529). All ten native corruption controls and phase mutations reject. Full forward/adjoint, ownership, finite physical replay, both complete directed price engines and54 strict plus4 functional outer conditions pass. The candidate adds666 ADDs,4 SCALEs and1 MOVE; owned inventory remains53 labels,56 lifetimes, peak44. + +The complete receipts are NATIVE-RESULT.json and RESULT.json. The early receipt is intentionally narrower and retains its historical pending list. All20 scientific source/receipt hashes were unchanged across registered replay; see REPLAY-INTEGRITY.json. + +Five inherited assumptions remain: native_all_columns, owned_erasure, compiler, precision_tape, analytic_recovery. Hosted scientific replay, overall CI, maintainer admission and independent human/formal acceptance are distinct. diff --git a/research/p104-endpoint-funded-split/DISCOVERY.json b/research/p104-endpoint-funded-split/DISCOVERY.json new file mode 100644 index 0000000000..a185f0cf64 --- /dev/null +++ b/research/p104-endpoint-funded-split/DISCOVERY.json @@ -0,0 +1,34 @@ +{ + "status": "BOUNDED_NOMINATION_SEARCH_NOT_ACCEPTANCE", + "source_head": "a95783a8c861248a759136d4285ea725499cf231", + "source_word_sha256": "81f9b2e0a170aa3ab0cd4bb1056c834ebe0b98eaf37abe5986c6e53abd1257ea", + "scope": "Exact kernel nomination with fully charged helper input/output extensions and contact-free path retiming; existing frames and source group(3,127); scalar-alphabet rescue. First positive witness materialized.", + "group": [ + 3, + 127 + ], + "pool": 1093, + "windows": 18155, + "counts": { + "systems": 40935, + "saved": 19625, + "pairs": 52795, + "unchanged_boundary": 31760, + "cost_reject": 20996 + }, + "nominees": 17, + "seconds": 111.28170570777729, + "selected": { + "frame": 529, + "cut": 44614, + "pivot": 146, + "input_extension": [ + 1479 + ] + }, + "other_bounded_tests": { + "entry_alpha_expansion": "no_gain", + "exit_alpha_expansion": "no_gain" + }, + "limits": "Finite domain; no global optimality or acceptance inferred from nomination. Frozen WITNESS is checked independently of search." +} diff --git a/research/p104-endpoint-funded-split/EARLY-RESULT.json b/research/p104-endpoint-funded-split/EARLY-RESULT.json new file mode 100644 index 0000000000..3ec07c0958 --- /dev/null +++ b/research/p104-endpoint-funded-split/EARLY-RESULT.json @@ -0,0 +1,194 @@ +{ + "status": "PASS_EXACT_NATIVE_AND_PRICE_ONLY", + "word_sha256": "3bb4d3a9d8a222af1155c366e52f0b787029b937f71d870f1e407feb1c1d9f33", + "native": { + "public": 1494, + "events": 75298, + "paid": { + "1": 3995, + "2": 854, + "3": 827, + "4": 224, + "5": 342, + "6": 15, + "7": 11, + "8": 6 + }, + "helpers": { + "1": 16, + "2": 21, + "3": 47, + "4": 219, + "5": 75, + "6": 43, + "7": 19, + "8": 34, + "9": 620 + }, + "rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + }, + "owned_peak": 44, + "lifetimes": 56, + "bad_inputs": [] + }, + "native_delta": { + "T": { + "2": 1, + "7": 1, + "8": -1 + }, + "P": { + "1": 1 + } + }, + "invoice": { + "P": { + "1": 68299, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5814, + "56": 416, + "6": 255, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 272, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3723, + "41": 416, + "49": 416, + "5": 1275, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10956 + }, + "empty_root_credits": 0 + }, + "gate": { + "claim": "910804205619/250000000000000", + "tested": "364321682247607/100000000000000000", + "raw_bracket": [ + "1457286728990780624124945120203/400000000000000000000000000000000", + "9108042056192378900780907001269/2500000000000000000000000000000000" + ], + "moment_margins": { + "1457286728990780624124945120203/400000000000000000000000000000000": [ + "2273183987785945091003015810461332751543178901736987/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "2273183987785945091003015810461332751543178940809867/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "9108042056192378900780907001269/2500000000000000000000000000000000": [ + "-1606248736749284499150452672100924278429799872965867/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-321249747349856899830090534420184855685959966833051/20000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364321682247607/100000000000000000": [ + "34199539244317534116896752841699885571424583853369643437300948306757579/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "34199539244317534116896752841699885571424583853369643437300948345522219/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "moment_margin_float": { + "1457286728990780624124945120203/400000000000000000000000000000000": [ + 2.2731839877859452e-29, + 2.2731839877859452e-29 + ], + "9108042056192378900780907001269/2500000000000000000000000000000000": [ + -1.6062487367492846e-29, + -1.6062487367492846e-29 + ], + "364321682247607/100000000000000000": [ + 3.4199539244317534e-10, + 3.4199539244317534e-10 + ] + }, + "derivative_upper": -381862.8775025715, + "alpha": [ + 0.9999999999999989, + 0.9999999999999989 + ], + "gamma": [ + 0.9408663506378053, + 0.9408663506378053 + ], + "delta": [ + 0.9032879005682555, + 0.9032879005682555 + ], + "minimum_log_power": 2235, + "written_log_power": 2236, + "compiler_gap": "1/100000000000000000", + "H": "16502900000000000000000", + "BIT_pin": "376669/100000000", + "BIT_margin": "12347317752393/100000000000000000", + "outer": { + "strict_count": 54, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "BIT_just_below_effective_rejected": true + }, + "input_lift": { + "margins": { + "910804205619/250000000000000": [ + "124301509492323414962316845627396329980766890611096158844373487594008327923183/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62150754746161707481158422813698164990383445305548079422186743797004163962551/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364321682247607/100000000000000000": [ + "124301509492325701418017795296915414012173623857108304317789461155618554164317/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124301509492325701418017795296915414012173623857108304317789461155618554166231/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.003643216822476", + "previous_claim": "3642959019031/1000000000000000", + "gain": "2.57803445E-7", + "gain_exact": "51560689/200000000000000", + "raw_bracket": [ + "0.0036432168224769515603123628005075", + "0.0036432168224769515603123628005076" + ], + "independent_raw_bracket": [ + "0.00364321682247695156031236280050755", + "0.00364321682247695156031236280050756" + ], + "candidate_margin_at_old_upper": [ + "2500329133576133019737602767763181295808627680611146929539506330346112652394981/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "5000658267152266039475205535526362591617255361222293859079012660692225322157841/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "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-endpoint-funded-split/ENVIRONMENT.json b/research/p104-endpoint-funded-split/ENVIRONMENT.json new file mode 100644 index 0000000000..35afcfa7f5 --- /dev/null +++ b/research/p104-endpoint-funded-split/ENVIRONMENT.json @@ -0,0 +1,8 @@ +{ + "python": "3.12.14 (main, Aug 12 2026, 13:57:54) [Clang 21.0.0 (clang-2100.1.1.101)]", + "platform": "macOS-27.0.1-arm64-arm-64bit", + "verification_status": "PASS_REGISTERED_RESEARCH_PACKAGE", + "completed_at": "2026-11-11T00:32:26.383001+00:00", + "registered_command": "python3.12 -B scripts/research_package.py --package research/p104-endpoint-funded-split", + "hosted_scientific_ci": "pending_on_final_head" +} diff --git a/research/p104-endpoint-funded-split/INPUTS.json b/research/p104-endpoint-funded-split/INPUTS.json new file mode 100644 index 0000000000..e429fb49b0 --- /dev/null +++ b/research/p104-endpoint-funded-split/INPUTS.json @@ -0,0 +1,158 @@ +{ + "source_head": "a95783a8c861248a759136d4285ea725499cf231", + "archive": "inputs/pr7140.tar", + "archive_sha256": "66f517dd17dbdf1f3963dd183981b3e83129e6d6e80904aa73d8a8b83f22ffe0", + "prefix": "research/p104-causal-buffer-split", + "files": [ + { + "path": "research/p104-causal-buffer-split/APPLICATION.md", + "size": 3522, + "sha256": "7e126cb20880b49f6408015b748556975efdbd412a7b2241020ec77bd7c1c8ee" + }, + { + "path": "research/p104-causal-buffer-split/CERTIFICATE.json", + "size": 993, + "sha256": "059b6e2aa6e82a0a8356e67b59bcfec84b8a5fdbd97a84b5a2f966c6b0f7f258" + }, + { + "path": "research/p104-causal-buffer-split/DISCOVERY.json", + "size": 1712, + "sha256": "862c2178233005aef75765ade36b6af09ddcb134855fd587c7e9c18a9667bad0" + }, + { + "path": "research/p104-causal-buffer-split/ENVIRONMENT.json", + "size": 541, + "sha256": "cbbd3573bd8579344838f4e3cd3ef52611de741490176961d322fbc74e6f61b7" + }, + { + "path": "research/p104-causal-buffer-split/INPUTS.json", + "size": 9540, + "sha256": "eb67979e3bf5bb98a3c8ff46c00fd5f94f8826f4867f155e653841e57f0f1361" + }, + { + "path": "research/p104-causal-buffer-split/NATIVE-RESULT.json", + "size": 74498, + "sha256": "afec1967fbfd9f964e54dae666d172b052e9dc965a1f5cce93732e09d8b3b58a" + }, + { + "path": "research/p104-causal-buffer-split/NOTICE", + "size": 826, + "sha256": "ca74f81c158d44fd8816984f9c59b022067b4ec3c99eb437c8e25ee970b4eb53" + }, + { + "path": "research/p104-causal-buffer-split/PATHS.json", + "size": 1086, + "sha256": "de30460f010e7799c71fe95dc81f0073982c5f3ec89323d4e580d9050d51cd4f" + }, + { + "path": "research/p104-causal-buffer-split/PROOF.md", + "size": 6917, + "sha256": "5216f9d71fa2911c82607d10ff359924edc43b438ed76e3cb751317338476696" + }, + { + "path": "research/p104-causal-buffer-split/README.md", + "size": 5242, + "sha256": "527252fc7d813f5ad00173957b76cdd0cca392b032c0fe228e322e3aea18ce42" + }, + { + "path": "research/p104-causal-buffer-split/REPLAY.txt", + "size": 4068, + "sha256": "45a18764bd25b7059ca36baecf571d9ae55c6300bb6538f82ff343f753b86f9f" + }, + { + "path": "research/p104-causal-buffer-split/RESULT.json", + "size": 77060, + "sha256": "e061d124849b9f29595bf1ab5fda12c3bd923d5fee1b119813ae0c771048e65e" + }, + { + "path": "research/p104-causal-buffer-split/SOURCES.json", + "size": 856, + "sha256": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372" + }, + { + "path": "research/p104-causal-buffer-split/TASK.json", + "size": 12796, + "sha256": "eb3c2861c57be4a380be1294ad52800dd0f0cbb94d53d5dd03ffd674bce4df7d" + }, + { + "path": "research/p104-causal-buffer-split/VALIDATION.md", + "size": 3763, + "sha256": "1c390af21b3b4176132ce90bf3f4b0c2fa5d88d30182e537e637addc7860927e" + }, + { + "path": "research/p104-causal-buffer-split/VERIFY.json", + "size": 1476, + "sha256": "19f86066c089225b77bb649e28c98026e10926261afbf9eeb23fcbeb7035b0ff" + }, + { + "path": "research/p104-causal-buffer-split/WITNESS.json", + "size": 1609, + "sha256": "edced97c758ad82b32ee1e1e0013622ea8ac3d88070a77b7a37d519060793bfc" + }, + { + "path": "research/p104-causal-buffer-split/WORD.json.gz", + "size": 370998, + "sha256": "222851b3fa368e669fca09bfc7515bb19df1ad8690d49ff52cfa04e9776a6e1b" + }, + { + "path": "research/p104-causal-buffer-split/adapt.py", + "size": 3381, + "sha256": "bb0f103584e3fe5fa9866c1b2a3342848651f9aba12d8807f5474635c418ae84" + }, + { + "path": "research/p104-causal-buffer-split/certificate.py", + "size": 5067, + "sha256": "15581732d5e07550a2fea1dcb17a1eb106a053ef69223c4c861d4e322149ce86" + }, + { + "path": "research/p104-causal-buffer-split/construct.py", + "size": 7156, + "sha256": "2e07135e9c733bd0a6d61eb1d9c2bfbf5b482f599dcb6f82238e15ee9bd93018" + }, + { + "path": "research/p104-causal-buffer-split/derive_grid.py", + "size": 1510, + "sha256": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0" + }, + { + "path": "research/p104-causal-buffer-split/inputs/previous-composition.tar", + "size": 11683840, + "sha256": "efa1c93816997998dd61d214aa7c4e312a43e131b30a374ffccce2d5ccc91f71" + }, + { + "path": "research/p104-causal-buffer-split/price.py", + "size": 3653, + "sha256": "e0c3d20e9c90f2eb7366e740b93c71360fe32121f68f6631da91541b69c321b5" + }, + { + "path": "research/p104-causal-buffer-split/source.py", + "size": 3009, + "sha256": "dac1e3953bf62732fccdb050838a369f35490b27a0377362cdc42b800ad2d4fc" + }, + { + "path": "research/p104-causal-buffer-split/split.py", + "size": 6551, + "sha256": "999b9eeabe5cd1a7e3ec014d1a449f850b4ac9bfb19749cddef41ae12cd0b405" + }, + { + "path": "research/p104-causal-buffer-split/support.py", + "size": 606, + "sha256": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6" + }, + { + "path": "research/p104-causal-buffer-split/verify.py", + "size": 3446, + "sha256": "2afce5cf164366755c39c2a3cfd29ef067695c6123912306391d55ca363d9f8a" + }, + { + "path": "research/p104-causal-buffer-split/verify_certificate.py", + "size": 1618, + "sha256": "0c79decfe1c0286e2aea72706579ccdd480dee8c31a50bda80bc52e44d1ea478" + }, + { + "path": "research/p104-causal-buffer-split/verify_native.py", + "size": 12357, + "sha256": "87e17930da8d6e01f917eae8a180ee1730c896a19e9d99e45a374799bb12a885" + } + ] +} diff --git a/research/p104-endpoint-funded-split/NATIVE-RESULT.json b/research/p104-endpoint-funded-split/NATIVE-RESULT.json new file mode 100644 index 0000000000..bbdfb1ef11 --- /dev/null +++ b/research/p104-endpoint-funded-split/NATIVE-RESULT.json @@ -0,0 +1,3093 @@ +{ + "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, + 529 + ] + ], + "rechecked_pairs": [ + { + "columns": 512, + "pair": [ + 3, + 127 + ], + "rank": 9 + }, + { + "columns": 512, + "pair": [ + 3, + 237 + ], + "rank": 4 + }, + { + "columns": 512, + "pair": [ + 3, + 529 + ], + "rank": 7 + }, + { + "columns": 512, + "pair": [ + 237, + 127 + ], + "rank": 5 + }, + { + "columns": 512, + "pair": [ + 734, + 127 + ], + "rank": 6 + }, + { + "columns": 512, + "pair": [ + 734, + 237 + ], + "rank": 1 + } + ], + "wrong_phase_rejected": true + }, + "controls": { + "extra_uncharged_owned_lifetime": true, + "insufficient_fractional_grid": true, + "insufficient_odd_grid": true, + "noncausal_cut": true, + "omitted_input_extension": true, + "omitted_retimed_path_event": true, + "omitted_retiring_output_frame": true, + "wrong_boundary_scalar_coefficient": true, + "wrong_cut_coefficient": true, + "wrong_move_source": true + }, + "derived_grid": { + "coefficient_visits": 15833866, + "fractional_bits": 25, + "mass_witness": [ + 65563, + "stored" + ], + "odd_scale": 1125, + "scaled_maximum_mass": "814656664575075/8192", + "unscaled_maximum_mass": "10862088861001/122880" + }, + "forward": { + "coefficient_positions": 2393209, + "fractional_bits": 25, + "grid": 1125, + "rows": 1547 + }, + "gate": { + "BIT_margin": "12407927043593/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16502900000000000000000", + "alpha": [ + 0.9999999999999997, + 0.9999999999999997 + ], + "claim": "910652682391/250000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.8832412075597688, + 0.8832412075597688 + ], + "derivative_upper": -407151.46514527395, + "gamma": [ + 0.9500229209609653, + 0.9500229209609653 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "364261072956407/100000000000000000": [ + "7767607008612091087893889804853601509380180685236474356946185764453745524401/6250000000000000000000000000000000000000000000000000000000000000000000000000000", + "124281712137793457406302236877657624150082890963783589711138972231259928392371/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "910652682391/250000000000000": [ + "124281712137791170916866151510837881977488330586704768267131579592124683525753/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "31070428034447792729216537877709470494372082646676192066782894898031170881919/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2235, + "moment_margin_float": { + "364261072956407/100000000000000000": [ + 1.1754080497056233e-10, + 1.1754080497056233e-10 + ], + "36426107295643538230690171491577/10000000000000000000000000000000000": [ + -3.9550564285551787e-29, + -3.9550564285551787e-29 + ], + "4553263411955442278836271436447/1250000000000000000000000000000000": [ + 1.862843503178811e-30, + 1.862843503178811e-30 + ] + }, + "moment_margins": { + "364261072956407/100000000000000000": [ + "2938520124264058493207484607869669345674070037298490319763241039784711/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "1469260062132029246603742303934834672837035018649245159881620525136119/12500000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36426107295643538230690171491577/10000000000000000000000000000000000": [ + "-1977528214277589359129042528545268915312084897129799/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-1977528214277589359129042528545268915312084876239721/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "4553263411955442278836271436447/1250000000000000000000000000000000": [ + "46571087579470274706311612079445441098121426388569/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "46571087579470274706311612079445441098121436854549/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "4553263411955442278836271436447/1250000000000000000000000000000000", + "36426107295643538230690171491577/10000000000000000000000000000000000" + ], + "tested": "364261072956407/100000000000000000", + "written_log_power": 2236 + }, + "grid": { + "dyadic_height": 25, + "maximum_scaled_mass": "814656664575075/8192", + "odd_divisions": { + "ADD": 5365, + "SCALE": 71 + }, + "odd_grid_lcm": 1125, + "opcodes": { + "ADD": 65197, + "CLEAR": 56, + "COPY": 1, + "INIT": 56, + "MOVE": 6274, + "SCALE": 3714 + }, + "owned_lifetimes": 56, + "owned_peak": 44, + "owned_rise_mass": 56, + "owned_rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + }, + "paid": { + "1": 3995, + "2": 854, + "3": 827, + "4": 224, + "5": 342, + "6": 15, + "7": 11, + "8": 6 + } + }, + "invoice": { + "P": { + "1": 72294, + "16": 416, + "2": 15372, + "24": 416, + "3": 14886, + "32": 416, + "4": 4032, + "40": 416, + "48": 416, + "5": 6156, + "56": 416, + "6": 270, + "64": 416, + "7": 198, + "8": 780, + "9": 32 + }, + "S": 1520, + "T": { + "1": 288, + "145": 208, + "17": 416, + "2": 378, + "25": 416, + "3": 846, + "33": 416, + "4": 3942, + "41": 416, + "49": 416, + "5": 1350, + "57": 416, + "6": 774, + "65": 416, + "7": 342, + "73": 416, + "8": 612, + "9": 11576 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036426107295643538230690171491576044981652142273771084917673699209", + "raw_crossing": "0.0036426107295643538230690171491576044981652142273771084917673699209" + }, + "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": 75298, + "helpers": { + "1": 16, + "2": 21, + "3": 47, + "4": 219, + "5": 75, + "6": 43, + "7": 19, + "8": 34, + "9": 620 + }, + "lifetimes": 56, + "owned_peak": 44, + "paid": { + "1": 3995, + "2": 854, + "3": 827, + "4": 224, + "5": 342, + "6": 15, + "7": 11, + "8": 6 + }, + "public": 1494, + "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": 853546984, + "extra_B_scalar_surcharge": 784256, + "init_clear_allowance": 224, + "lambda_paid_rank1_would_reduce_S_by": 14384, + "lambda_second_charge": 14384000, + "margin_to_billion": 146453016, + "odd_divisions": { + "ADD": 5365, + "SCALE": 71 + }, + "per_input_conversion": 2796768, + "raw_upper": 835581960, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2188, + "moves": 6274, + "owned_lifetime": 224, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9886000, + "scalar_upper": 2102660 + }, + "physical_checks": [ + "verify_host3_odd.py", + "physical.py" + ], + "precision": { + "Kstar_bits": 14093, + "caller": { + "denominator_height": 431, + "maximum_mass": "2031778024781380738667307850969872261300825114412066667930609010754885615256246771273722516797028373875488084463456734932931819440254377992064287155336455679722182496470290893143689397339193405421398373633/137438953472", + "pre_joint_height": 426, + "pre_joint_mass": "766527916529583301313228867197686200815349463045311717713050641430930492401493758087731346459407655106441982454343595473292801327075604294093436993244143470221321807686760749419510412771973080166736111/17179869184" + }, + "context_c": 1342, + "context_height": 451, + "context_mass_bits": 671, + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "146949433253837488182783030450535495812740444268352261061683782649473039161910613688541841468011742213596545468114202194621010206250653695449736130500362541560738109865420611419776675896987937846491650405013918726254254920314682093637344613429957767883445481251171295907752676390159084537040482142115074004192859706302923/3028147527897511472958985459201159987200000000000000000000", + "strict_power_of_two": 873, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Gamma_context": { + "exact": "94702156871107453773746649733211928370809855391435675850675470365771297369928202496834509567988592539985302102483605305946155300831342230462287334291452170155635766117113636271496656338128503144758818372581225147831397085082535399173814456983435890756565118044265439452538129145707375980280662867292709884131631779515874943/14535108133908055070203130204165567938560000000000000000000", + "strict_power_of_two": 880, + "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": "339472623271412098033041875346610586632129765674263626134334830255135670992556891338584584497197272375505724728620818275054392068168294106424704006546057809151237334843507121584677331654716476949628453303998457541653291506190547555757967747863076327668316231774290861962033970807850201703113178505916098052888697687558681340973/96900720892720367134687534694437119590400000000000000000000", + "strict_power_of_two": 889, + "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": "94702156871107453773746649733211928370809855391435675850675470365771297369928202496834509567988592539985302102483605305946155300831342230462287334291452170155635766117113636271496656338128503144758818372581225147831397085082535399173814456983435890756565118044265439452538129145707375980280662867292709884131631779515874943/14535108133908055070203130204165567938560000000000000000000", + "strict_power_of_two": 880, + "witness": { + "cut": 5098, + "event": 5097, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "Sigma_context": { + "exact": "11297870123291407073116982221927852222519670108579516966301134387761030384462729300632646718880669272326177503560682723498660441994932546461226356019799224266012110417187010827249911122521735784705677208929715653102574404128672103130600704308416976756591388914760285970511763893901179942941307090796472852439732594771923826645649214374366915422578556719174757629031305030664920798598320661652235054657483676411910601372586550588583849793236433918199031128142257/1074571576255290237233822487364559965862129825179453828494763780084020019200000000000000000000000000000000000000000", + "strict_power_of_two": 1150, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 19692, + "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": "146949433253837488182783030450535495812740444268352261061683782649473039161910613688541841468011742213596545468114202194621010206250653695449736130500362541560738109865420611419776675896987937846491650405013918726254254920314682093637344613429957767883445481251171295907752676390159084537040482142115074004192859706302923/3028147527897511472958985459201159987200000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "94702156871107453773746649733211928370809855391435675850675470365771297369928202496834509567988592539985302102483605305946155300831342230462287334291452170155635766117113636271496656338128503144758818372581225147831397085082535399173814456983435890756565118044265439452538129145707375980280662867292709884131631779515874943/14535108133908055070203130204165567938560000000000000000000" + }, + "M_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528104995/131072", + "residual_mass": "94702156871107453773746649733211928370809855391435675850675470365771297369928202496834509567988592539985302102483605305946155300831342230462287334291452170155635766117113636271496656338128503144758818372581225147831397085082535399173814456983435890756565118044265424917429995237652305777150458701724771324131631779515874943/14535108133908055070203130204165567938560000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "146949433253837488182783030450535495812740444268352261061683782649473039161910613688541841468011742213596545468114202194621010206250653695449736130500362541560738109865420611419776675896987937846491650405013918726254254920314682093637344613429957767883445481251171295907752676390159084537040482142115074004192859706302923/3028147527897511472958985459201159987200000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "94702156871107453773746649733211928370809855391435675850675470365771297369928202496834509567988592539985302102483605305946155300831342230462287334291452170155635766117113636271496656338128503144758818372581225147831397085082535399173814456983435890756565118044265439452538129145707375980280662867292709884131631779515874943/14535108133908055070203130204165567938560000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "4384", + "entrance_mass": "23859/2", + "event": 49, + "stage": 1 + }, + { + "entrance_defect": "18620914182356047316116877994521392131538720947205386448517618171932570176283788558511189831705123835940941212459735051248378237476933592710953/554470372539827540214657982031462400000000000000000000", + "entrance_mass": "44760984243/4", + "event": 144, + "stage": 2 + }, + { + "entrance_defect": "53377823821319664304345015306015287463977229704437038594248326135044541644065966217766188669138224545740646574776676169609643353596494521844053038012187/35486103842548962573738110850013593600000000000000000000", + "entrance_mass": "8019347752894898813/16", + "event": 275, + "stage": 3 + }, + { + "entrance_defect": "688834093816867266330150224502881270473139496031863199388905625286566878045849510942000362676666459921929093196997324938383974760688286389135288538208462424199/1774305192127448128686905542500679680000000000000000000", + "entrance_mass": "258721681913211409397548013/2", + "event": 435, + "stage": 4 + }, + { + "entrance_defect": "2446714359310980449792050337122891927336492449936472344672194565021489295080859086519253397907620386226070538676026978570524663909439357873602046401257371105593612127903/11828701280849654191246036950004531200000000000000000000", + "entrance_mass": "1102764325780487636837595009524032653/16", + "event": 627, + "stage": 5 + }, + { + "entrance_defect": "4391031673557402986419210411689728822314848456797519483454832419325087802972800634570081533139265407099886909113011646046204467530002415936644122230517815032270524013161496680809/8871525960637240643434527712503398400000000000000000000", + "entrance_mass": "659697369868562418053848749577901431896032551/4", + "event": 848, + "stage": 6 + }, + { + "entrance_defect": "66584865040722121164091995167100312169199595498389207997473496180051192266591484231240602690013963729416707827379260049136947594754434529448216271630475252491269732358696618051189889273591/56777766148078340117980977360021749760000000000000000000", + "entrance_mass": "50017699262951285012300223375874644326538714050483088723/128", + "event": 1101, + "stage": 7 + }, + { + "entrance_defect": "274810784110945096040906323091865139087528862826421075394405296257842823056013663239083797479340990360795833724624336883319916069805121371351382051142891197306642508828306324861538355492583965982857/23657402561699308382492073900009062400000000000000000000", + "entrance_mass": "123860608372223676361208276303474840021608894935793894644443117475/32", + "event": 1383, + "stage": 8 + }, + { + "entrance_defect": "2974581351890379944274317775527443044854854359911788861473277020406110564083594349009145812462664576022663485851330104859238687249570320689041230782090711553759051300700568798528199790211748014921969449104313/141944415370195850294952443400054374400000000000000000000", + "entrance_mass": "446893495694686287960280473450842802655971489871616126572592413520841719161/64", + "event": 1662, + "stage": 9 + }, + { + "entrance_defect": "85370288740258144408861932707905406286510556750412169882652335156310862636783346652019476974363225344418591108759200367456315306721143016075608856465281280318721670611951468648075581630861023728413012948922340076654585978228878020169565665222500977609/35486103842548962573738110850013593600000000000000000000", + "entrance_mass": "1603226733879417057855793968966209778425632456862348198524030211565823693253398434234475406089669867705587698766845597/2", + "event": 3203, + "stage": 10 + }, + { + "entrance_defect": "1064919199090509502385404731795054626048279215338684885999183151875365301843214137416599126218756189081766547493658663152758701109597199666492466491345890463050617869810711042655181976465907902689004153518682775013344678407528047319176901738645592028582062537751/567777661480783401179809773600217497600000000000000000000", + "entrance_mass": "159990737255009044304340266028013949411590186711547802615104749842798991699729693917477577741470706009608765481680513095697397863/256", + "event": 3526, + "stage": 11 + }, + { + "entrance_defect": "4749032775698248689876628877997761068743749236989710903276577601018802760980728465235559246493268260772026809221972548087803679056976062568901526772423028665661677933939793868831195952119896868114887142351778596162521865179422040982749725844584025077255274067006817962031/2271110645923133604719239094400869990400000000000000000000", + "entrance_mass": "713482539972112811302498126039122556478474335397824876612540289480809876975347015211250548661355667282704396311981650378099911649135840063/1024", + "event": 3821, + "stage": 12 + }, + { + "entrance_defect": "510767670700871826290619775721746205933746414932644919168756337641887543527648315407614623438596667632891950249582620026398019889480803038975613537085705420558345100359688423432132322358818166415992598868217418490342394113260202670706725213707366763826225617585244802842108715749/252345627324792622746582121600096665600000000000000000000", + "entrance_mass": "690627858377635566118234917748020783796286454330854789097666289598705747090709204201800639258908872647850357504982405971722609074791401430947671165/1024", + "event": 4088, + "stage": 13 + }, + { + "entrance_defect": "3134138944624153314885898138854145689495767196371330567302399334707452694707733976835570704078221343011205275547704125140379796583242775727063260438705412211524522889877591568947046050231456947296683499132369123286353704310196561597936425486520390671085081627932385009916924018405049626887/4542221291846267209438478188801739980800000000000000000000", + "entrance_mass": "470865020405587123936906066570155601953174646068287322382245101819760273515813542612024822098129182481570490831889396523550001544922531326945370763196989399/2048", + "event": 4324, + "stage": 14 + }, + { + "entrance_defect": "309281546270082424761270803027196024676242654367161633307968408381443866973858197581050705744506801841167241659017002500879628418026157728442394822065911618577478890316849324845548294955273397683409917221530578526434411453394263031900471042309611989373111258072397305946026152751886005052012295641/2271110645923133604719239094400869990400000000000000000000", + "entrance_mass": "46465668615402712050475352820015987705766128000689019237904160504542353131957951954454381327545881694314550682714483945959032017848349099581053150524269011108711881/1024", + "event": 4532, + "stage": 15 + }, + { + "entrance_defect": "151085583321852877426768456029120788764141287083515897355330615723903361388128679770864469291279896022804393372918057486467968246158854612722346462030373286669755305189162457801112986657888241819886228509206325033667438246150184140857873353131158451676602140666797426126170602305312437543724020982507596239/18168885167385068837753912755206959923200000000000000000000", + "entrance_mass": "22698711681515933658235268009935719580127806482189476469420786919611768582281970304620813093468639555288906634046185136362302550495196405154606658307111274865117192668126623/8192", + "event": 4709, + "stage": 16 + }, + { + "entrance_defect": "311998791569306338961173906229007825205927794295255240902684147182591634580861336584519784004306565922649674916049285403004686808938388894816257262088856362408694808840238831203309214514936667928787616493410251547220435377593366891690780267830903279509376412621279667184619401400243474072934795526218997758079761/3633777033477013767550782551041391984640000000000000000000", + "entrance_mass": "234369503003028720835110712559034466962392865438574454855472632480300248897620917700915501102797005900029816899906431175273180672543487679750570754841237111980601879269511857634373/8192", + "event": 4858, + "stage": 17 + }, + { + "entrance_defect": "146949433253837488182783030450535495812740444268352261061683782649473039161910613688541841468011742213596545468114202194621010206250653695449736130500362541560738109865420611419776675896987937846491650405013918726254254920314682093637344613429957767883445481251171295907752676390159084537040482142115074004192859706302923/3028147527897511472958985459201159987200000000000000000000", + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "event": 4982, + "stage": 18 + } + ], + "physical_main_inputs": 3952, + "sites": { + "ADD": 4102, + "IDLE_ODD": 4, + "IDLE_ONE": 96, + "J": 18, + "LAMBDA": 214, + "QUERY": 4, + "SCALE": 298, + "SWAP": 376, + "noninteger_scalar": 1562 + } + }, + "rounded_native": { + "bounds": { + "Gamma": { + "exact": "131940638005512944116578767205797394842654845124071865490343143405294160576229079916551558223367529559751870957897890539963425735500588763/2217881490159310160858631928125849600000000000000000000", + "strict_power_of_two": 275, + "witness": { + "cut": 75298, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "76882706337326895380095739533954814528195516270501316571512567804302779539826743130088779199326317823148682986798225320621217230951127292659/354861038425489625737381108500135936000000000000000000000", + "strict_power_of_two": 277, + "witness": { + "cut": 73787, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "131940638005512944116578767205797394842654845124071865490343143405294160576229079916551558223367529559751870957897890539963425735500588763/2217881490159310160858631928125849600000000000000000000", + "strict_power_of_two": 275, + "witness": { + "cut": 73787, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 75298, + "lifetimes": 56, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 65197, + "CLEAR": 56, + "COPY": 1, + "INIT": 56, + "MOVE": 6274, + "SCALE": 3714 + }, + "owned_labels": 53, + "peak_owned": 44, + "public": 1494, + "scalars": { + "dyadic": 63476, + "integer": 39487, + "noninteger": 29425, + "odd": 5436 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26777, + "entrance_mass": "76882706337326895380095739533954814528195516270501316571512567804302779539826743130088779199326317823148682986798225320621217230951127292659/354861038425489625737381108500135936000000000000000000000", + "residual_mass": "131940638005512944116578767205797394842654845124071865490343143405294160576229079916551558223367529559751870957897890539963425735500588763/2217881490159310160858631928125849600000000000000000000" + }, + "M": { + "active_residual_sites": 26777, + "entrance_mass": "76882706337326895380095739533954814528195516270501316571512567804302779539826743130088779199326317823148682986798225320621217230951127292659/354861038425489625737381108500135936000000000000000000000", + "residual_mass": "131940638005512944116578767205797394842654845124071865490343143405294160576229079916551558223367529559751870957897890539963425735500588763/2217881490159310160858631928125849600000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26777, + "entrance_mass": "76882706337326895380095739533954814528195516270501316571512567804302779539826743130088779199326317823148682986798225320621217230951127292659/354861038425489625737381108500135936000000000000000000000", + "residual_mass": "131940638005512944116578767205797394842654845124071865490343143405294160576229079916551558223367529559751870957897890539963425735500588763/2217881490159310160858631928125849600000000000000000000" + } + } + }, + "scope": "Exact-child grid and attributed all-fibre error envelope, with one signed unitary per fused event", + "word": { + "coefficient_visits": 15833866, + "dyadic_height": 25, + "mass_witness": [ + 65563, + "stored add" + ], + "maximum_scaled_mass": "814656664575075/8192", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + } + }, + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "5293943834913003871524622899575320189007923161203674870103483909509912669887997/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "105878876698260077430492457991506403780158463224073497402069678190198253774301/1000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003642610729564", + "gain": "2.55663144E-7", + "gain_exact": "31957893/125000000000000", + "independent_raw_bracket": [ + "0.0036426107295643538230690171491576", + "0.00364261072956435382306901714915761" + ], + "previous_claim": "182117753321/50000000000000", + "raw_bracket": [ + "0.0036426107295643538230690171491576", + "0.0036426107295643538230690171491577" + ] + }, + "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": "3bb4d3a9d8a222af1155c366e52f0b787029b937f71d870f1e407feb1c1d9f33" + }, + "source_head": "a95783a8c861248a759136d4285ea725499cf231", + "status": "PASS_ENDPOINT_FUNDED_SPLIT_NATIVE", + "word_canonical_sha256": "3bb4d3a9d8a222af1155c366e52f0b787029b937f71d870f1e407feb1c1d9f33" +} diff --git a/research/p104-endpoint-funded-split/NOTICE b/research/p104-endpoint-funded-split/NOTICE new file mode 100644 index 0000000000..55bb6604a4 --- /dev/null +++ b/research/p104-endpoint-funded-split/NOTICE @@ -0,0 +1,11 @@ +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. + +Ali Romman: causal-history owned-buffer split identity and helper bases. +Jerry Chen / CubeJerry: contact-free retiming, temporal history, independent native/caller, precision and compiler methods. +Matarener: complete helper kernels. Rohan Arun: input/output rechart, signed17-stage caller and application. +Cinna Davis / 1337isnot1337: alpha expansion. Dugongue: temporal S09 predecessor. +ToikY, DreamingOfClouds, Douglas Colkitt/#7000 reviewers and every author in the complete frozen source closure remain credited. + +The complete prior composition artifact666fd749 is retained, with its notices and all nested sources. Ali Romman causal-history discussion: https://github.com/CrocSwap/integer-mult-bounds/discussions/5600#discussioncomment-19209322 + +Endpoint extension and fully charged helper split: Rohan Arun with substantial OpenAI Codex assistance. Retains Ali Romman, CubeJerry, Matarener, ToikY, dillona and all nested authors. Apache-2.0. diff --git a/research/p104-endpoint-funded-split/PROOF.md b/research/p104-endpoint-funded-split/PROOF.md new file mode 100644 index 0000000000..84492e3987 --- /dev/null +++ b/research/p104-endpoint-funded-split/PROOF.md @@ -0,0 +1,23 @@ +# Endpoint-funded split identity and exact accounting + +The source is PR7140 at a95783a8c861248a759136d4285ea725499cf231. Its complete30-file archive is authenticated by every member size and SHA256, with all nested sources/notices. The source constructor is replayed and compared with every canonical word byte before using it. + +## Changed boundary and causal cut + +Helper1479 starts one rank higher than frame3. Changing its input frame to3 and prepending the nested MOVE restores the previous normalized input at its former frame, for every arbitrary helper input. This raises its productive rank from8 to9 and adds one paid rank-one MOVE. Both changes are counted; the old helper credit is replaced. + +The witness uses pivot146, intermediate frame529, and the source cut44614. The single contact-free path of role228 is retimed to remain at529 until the split. Its original rank-two MOVE is preserved, so its paid histogram does not change. The constructor checks every event and source read throughout the declared path interval and verifies its exact endpoints. + +The retained Ali Romman/CubeJerry split checker computes complete rational prefix rows and suffix columns. It verifies the four witness vectors a,b,c,d at the literal cut, both unit pairings, common-frame availability, and a single helper boundary group. The basis constructor gives B with pivot row c and B d=e_pivot; the middle basis has pivot row a and maps b to e_pivot. Its inverse, original prefix, middle change, successor inverse change, original suffix, and output correction yield the independent split identity on every arbitrary input. All scalar operations obey the retained alphabet and magnitude bounds in the native checker. Retained smooth-pivot selection is credited to dillona. + +The old rank-nine pivot target is replaced by ranks7 and2, with one new arbitrary-input public helper. Combined with the input extension, the native productive delta is T2 +1, T7 +1, T8 -1. The paid delta is P1 +1. Owned labels/lifetimes/peak and upward mass remain unchanged; the inherited erasure contract remains an assumption. + +## Complete directed price + +The17-stage caller applies these changes17 times. Both productive and paid rank mass increase17, preserving surplus1424 and zero empty credit. For p=1−κ the native margin change is 2^p+7^p−8^p−1. Both retained directed price engines give κ=0.003643216822476 and reject the source invoice at that claim. The independent crossing bracket is (0.00364321682247695156031236280050755,0.00364321682247695156031236280050756). + +This is a changed invoice, not additional digits of an unchanged crossing. The full source-aware application must also check all physical charts, absolute phase, grid, precision, ordinary cost, fixed tape and outer predicates. Their results are reported separately in APPLICATION.md. No optimality or unconditional theorem is claimed. + +## Credit + +Ali Romman: helper splitting and boundary bases. CubeJerry: contact-free retiming and source engines. Matarener: exact kernel methods. Dillona: causal-buffer source and smooth-pivot adaptations. ToikY: directed price engines. Rohan Arun: signed caller, recharts, and this endpoint extension. All nested authors and licenses remain in the complete source closure. Substantial OpenAI Codex assistance; Apache-2.0. diff --git a/research/p104-endpoint-funded-split/README.md b/research/p104-endpoint-funded-split/README.md new file mode 100644 index 0000000000..88260686a9 --- /dev/null +++ b/research/p104-endpoint-funded-split/README.md @@ -0,0 +1,19 @@ +# Endpoint-funded helper split + +Source-aware direct and registered checks pass at **κ = 0.003643216822476**, gain **0.000000257803445** over PR #7140 at `a95783a8c861248a759136d4285ea725499cf231`. + +Extend helper 1479’s input boundary to frame 3, charging the extra rank-one MOVE. Retiming one contact-free path permits a rank-nine helper split into ranks seven and two. Net native target delta is T2 +1, T7 +1, T8 -1; paid delta is P1 +1. All 17 caller occurrences are priced. This changes the invoice, rather than rounding the same root. + +The full 30-file source export and nested notices are retained. `construct.py` reconstructs the entire candidate from that authenticated source. `verify_early.py` checks every early receipt field, the arbitrary-input adjoint, exact owned inventory, and both directed pricing engines. + +```sh +python3.12 -I -B research/p104-endpoint-funded-split/verify_early.py +``` + +Direct full forward/grid, physical chart/phase, ordinary/precision and complete caller/catalogue checks passed. Registered replay passed and matched every frozen receipt field; all20 scientific input hashes stayed unchanged. These checks do not establish maintainer acceptance, independent human proof, formal acceptance, or a compiled multiplication theorem. The five inherited assumptions remain: native_all_columns, owned_erasure, compiler, precision_tape, analytic_recovery. + +Credit Ali Romman’s helper identity, CubeJerry’s contact-free retiming, Matarener’s kernel methods, dillona’s predecessor constructions, ToikY’s pricing, Rohan Arun’s signed caller and recharts, and every retained source author. New work by Rohan Arun with substantial OpenAI Codex assistance; Apache-2.0. + +## Open next questions + +Independently review the exact paid boundary substitution, cut identity and inherited assumptions. If a check rejects, preserve the failure and repair or withdraw the candidate claim. No global optimality is claimed. diff --git a/research/p104-endpoint-funded-split/REPLAY-INTEGRITY.json b/research/p104-endpoint-funded-split/REPLAY-INTEGRITY.json new file mode 100644 index 0000000000..38ab97674e --- /dev/null +++ b/research/p104-endpoint-funded-split/REPLAY-INTEGRITY.json @@ -0,0 +1,26 @@ +{ + "status": "ALL_SCIENTIFIC_INPUTS_UNCHANGED", + "count": 20, + "sha256": { + "SOURCES.json": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372", + "verify_early.py": "d3257afc6cbcc1f01bafc231290c747c61bbd697b2b5e2c8130ec3d6b9b15748", + "support.py": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6", + "VERIFY.json": "f97d89e8b012e9edc89e061a1dac9124fa4c9db49ff9b2a0f19092f36021f79d", + "RESULT.json": "b0af7a26e034bbebfdc1c1680584e62f9b72120e9583bde847f3cb0e42a3d2cb", + "WORD.json.gz": "0f1b4da393aa01e46828c6ec4a0c17a4b24c932b5ed71f4db8af3039b00efe5b", + "WITNESS.json": "6a9fa9edf8298910c5a2d16f373709502eff7bf152175395feee664562e61510", + "derive_grid.py": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0", + "verify_native.py": "faf98e8677ab20511da0f66b5a32632bb9248c14345d0dc3fb52aa4225d09e1c", + "EARLY-RESULT.json": "6eb96b5eed26c80b1f30af938366e76604c0f25eaf156a6eb0a3dfdcf7aebfc0", + "split.py": "999b9eeabe5cd1a7e3ec014d1a449f850b4ac9bfb19749cddef41ae12cd0b405", + "INPUTS.json": "089c9b38b59e53b2156a1a27a1468c98672f1b5e479722505a4bb54a64bd97f9", + "NATIVE-RESULT.json": "9f114a55ec953130fec2ffd771d4d5d2bbd04b377255adebbcb604c071b9a137", + "adapt.py": "b66569eabd599183ed9b61876522280016e61b333f38ea713d34f3bf627e0651", + "construct.py": "04c387a646d0e63f040c62d9baa2f2e20dc3c6f61d4c717eeea7704ee63205b2", + "verify.py": "4dc25fd96f4cd0a382b494487f5ed234cb6a9342424ded69d2255bed65bbc344", + "retime.py": "42ffab76b8664088f444ba7d815537a541af72c5fa5eef897989b90399b9e564", + "source.py": "0eda5aee52bc5f4caa717dd24fa937a1c1aea7b4285979b68cf8c2eda87293cc", + "price.py": "0a6a5c4c2afed9d8402d1b0f1b0f6d8f94bc61765caedf4f0278cae7cbd6cc59", + "inputs/pr7140.tar": "66f517dd17dbdf1f3963dd183981b3e83129e6d6e80904aa73d8a8b83f22ffe0" + } +} diff --git a/research/p104-endpoint-funded-split/REPLAY.txt b/research/p104-endpoint-funded-split/REPLAY.txt new file mode 100644 index 0000000000..bc0afacedd --- /dev/null +++ b/research/p104-endpoint-funded-split/REPLAY.txt @@ -0,0 +1,76 @@ +CHECK Complete source reconstruction, exact arbitrary-input adjoint, owned inventory and both directed17-stage prices; every early receipt field. +PASS_EXACT_NATIVE_AND_PRICE_ONLY 0.003643216822476 +CHECK Reconstructed source/candidate, independent forward and adjoint, fresh1125/F25 grid, owned census, native ordinary/precision/ingredient pricing, all affected512-column charts and phase, ten corruption controls and finite physical replay. +PASS whole source/operator, forward/adjoint, causal charts and fresh native grid +caller 0 terms 77 +caller 500 terms 621 +caller 1000 terms 2648 +caller 1500 terms 3619 +caller 2000 terms 1590 +caller 2500 terms 398 +caller 3000 terms 1918 +caller 3500 terms 1797 +caller 4000 terms 1817 +caller 4500 terms 912 +caller 5000 terms 167 +PASS full ingredient invoice, ordinary, precision, both prices and outer gates +events 75298 public 1494 owned roles 53 paid {1: 3995, 2: 854, 3: 827, 4: 224, 5: 342, 6: 15, 7: 11, 8: 6} owned UP {1: 10, 2: 4, 3: 1, 4: 6, 5: 1, 6: 1} helpers {1: 16, 2: 21, 3: 47, 4: 219, 5: 75, 6: 43, 7: 19, 8: 34, 9: 620} +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 75298 events, 2954 chart pairs, 15s +prime 1000000009 seed 11: helper rows bad 0 (of 1094), 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_ENDPOINT_FUNDED_SPLIT_NATIVE 910652682391/250000000000000 +CHECK Full unchanged17-stage caller, complete paid/helper catalogue and104 main boundaries; fresh grid, precision, ordinary/physical/fixed-tape costs, two directed prices and54+4 outer conditions; every frozen application field. +PASS two reconstructed invoices and both exact price engines 0.003643216822476 +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 ['1457286728990780624124945120203/400000000000000000000000000000000', '9108042056192378900780907001269/2500000000000000000000000000000000'] +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 110434 13600 22342 +RUN check_odd_precision.py +PASS short precision 406 1190 2380 +RUN check_odd_partial_admission.py +ordinary bill 779695108 +PASS partial signed short gates 779695108 910804205619/250000000000000 {'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 43185536 25442777600 precision 2380 +RUN complete catalogue 0 1000 +RUN complete catalogue 1000 2000 +RUN complete catalogue 2000 3000 +RUN complete catalogue 3000 3039 +PASS complete 8+9 component application checks 910804205619/250000000000000 3039 110434 +PASS_P104_ENDPOINT_FUNDED_SPLIT 910804205619/250000000000000 +PASS_REGISTERED_RESEARCH_PACKAGE research/p104-endpoint-funded-split outcome=partial diff --git a/research/p104-endpoint-funded-split/RESULT.json b/research/p104-endpoint-funded-split/RESULT.json new file mode 100644 index 0000000000..418f12b8e1 --- /dev/null +++ b/research/p104-endpoint-funded-split/RESULT.json @@ -0,0 +1,1599 @@ +{ + "adapter": { + "adapted_sha256": { + "check_odd_partial_admission.py": "57ed4994a63e92565b6f1a5e1131755b1d64073919b1a5cbd28ec42921929384", + "check_odd_precision.py": "92575d02396d293fd7c7be5be8d661affc9b3399acf2185298c485d7a695eb87", + "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.003643216822476')", + "old": "claim=Q(\".00363797977\")" + }, + { + "file": "check_odd_partial_admission.py", + "new": "tested=claim+Q(7,10**17)\nwhile tested>=Q(reference[\"raw_bracket\"][0]):\n tested=claim+(tested-claim)/10", + "old": "tested=claim+Q(7,10**17)" + }, + { + "file": "check_odd_partial_admission.py", + "new": "g=gate(invoice,claim,tested,*bracket,r[\"gate\"][\"BIT_pin\"])\ntry:\n gate(invoice,claim,Q(bracket[0]),*bracket,r[\"gate\"][\"BIT_pin\"])\nexcept AssertionError:\n crossing_probe_rejected=True\nelse:\n raise AssertionError(\"Probe at lower crossing unexpectedly accepted\")", + "old": "g=gate(invoice,claim,tested,*bracket,r[\"gate\"][\"BIT_pin\"])" + }, + { + "file": "check_odd_partial_admission.py", + "new": "\"crossing_probe_rejected\":crossing_probe_rejected,\"scope\":\"Reuse exact same native word all-column adjoint;", + "old": "\"scope\":\"Reuse exact same native word all-column adjoint;" + }, + { + "file": "check_odd_precision.py", + "new": "patch('(life, peak, owned_count) == (54, 43, 51)','(life, peak, owned_count) == (56, 44, 53)')\nenv=ModuleType(\"short_envelope\")", + "old": "env=ModuleType(\"short_envelope\")" + }, + { + "file": "check_odd_precision.py", + "new": "", + "old": "previous=json.loads((root/\"SHORT-PRECISION.json\").read_text())" + }, + { + "file": "check_odd_precision.py", + "new": "assert grid_receipt[\"caller_sha256\"]==sha256(cpath.read_bytes()).hexdigest()", + "old": "assert previous[\"native_sha256\"]==sha and grid_receipt[\"caller_sha256\"]==sha256(cpath.read_bytes()).hexdigest()" + }, + { + "file": "check_odd_precision.py", + "new": "wg=grid.word_run(w, frac=25)\nwp,wr=env.native_envelope(w)\nwg=json.loads(json.dumps(wg,default=str));wr=json.loads(json.dumps(wr,default=str))\nassert wg==r[\"precision\"][\"word\"] and wr==r[\"precision\"][\"rounded_native\"], \"Fresh changed-native grid and envelope\"", + "old": "wg=previous[\"native_grid\"]\nwr=previous[\"rounded_native\"]\nwp={key:(Q(v[\"exact\"]),v[\"witness\"]) for key,v in wr[\"bounds\"].items()}" + } + ] + }, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "catalogue": [ + { + "catalogue_digest": "be86229c9a936f0b5c54a1f05e1dabe93ff092f31bf380348553a65663e57b2b", + "catalogue_size": 3039, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2954, + "exact_recipe_digest": "133260c6e9c76f12260a7256d6b1625867fd53ecdd5f367aad495e1c7633305b", + "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": "0f1b4da393aa01e46828c6ec4a0c17a4b24c932b5ed71f4db8af3039b00efe5b" + }, + { + "catalogue_digest": "be86229c9a936f0b5c54a1f05e1dabe93ff092f31bf380348553a65663e57b2b", + "catalogue_size": 3039, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2954, + "exact_recipe_digest": "5494961469e1d1f3e104b0c524e3c983d259178f00416a7cd4aa2c231774968b", + "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": "0f1b4da393aa01e46828c6ec4a0c17a4b24c932b5ed71f4db8af3039b00efe5b" + }, + { + "catalogue_digest": "be86229c9a936f0b5c54a1f05e1dabe93ff092f31bf380348553a65663e57b2b", + "catalogue_size": 3039, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2954, + "exact_recipe_digest": "0d947ed61f20935a3e30781fd0ab748725bfa64af7a268e4d5d916a4f9ded7ed", + "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": "0f1b4da393aa01e46828c6ec4a0c17a4b24c932b5ed71f4db8af3039b00efe5b" + }, + { + "catalogue_digest": "be86229c9a936f0b5c54a1f05e1dabe93ff092f31bf380348553a65663e57b2b", + "catalogue_size": 3039, + "checked_maps": 39, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2954, + "exact_recipe_digest": "aee37decf9c26e6e1ad3b2ecf7dbbf8d5c53e5b05801fe53a0950c935bb4363e", + "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": 3039, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "0f1b4da393aa01e46828c6ec4a0c17a4b24c932b5ed71f4db8af3039b00efe5b" + } + ], + "checks": { + "ODD-8X9-APPLICATION-CHECKS.json": { + "assumptions": [ + "native_all_columns", + "owned_erasure", + "compiler", + "precision_tape", + "analytic_recovery" + ], + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "candidate": "910804205619/250000000000000", + "catalogue": [ + { + "catalogue_digest": "be86229c9a936f0b5c54a1f05e1dabe93ff092f31bf380348553a65663e57b2b", + "catalogue_size": 3039, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2954, + "exact_recipe_digest": "133260c6e9c76f12260a7256d6b1625867fd53ecdd5f367aad495e1c7633305b", + "log_sha256": "1da244c38c8337dbb4872fe6a5a40c6d55e7243f4baaf6f660a0d61776ed2030", + "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": "0f1b4da393aa01e46828c6ec4a0c17a4b24c932b5ed71f4db8af3039b00efe5b" + }, + { + "catalogue_digest": "be86229c9a936f0b5c54a1f05e1dabe93ff092f31bf380348553a65663e57b2b", + "catalogue_size": 3039, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2954, + "exact_recipe_digest": "5494961469e1d1f3e104b0c524e3c983d259178f00416a7cd4aa2c231774968b", + "log_sha256": "178eba985afe61deff9fce853651233a9f2e0569b6c016e1f770c418184446eb", + "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": "0f1b4da393aa01e46828c6ec4a0c17a4b24c932b5ed71f4db8af3039b00efe5b" + }, + { + "catalogue_digest": "be86229c9a936f0b5c54a1f05e1dabe93ff092f31bf380348553a65663e57b2b", + "catalogue_size": 3039, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2954, + "exact_recipe_digest": "0d947ed61f20935a3e30781fd0ab748725bfa64af7a268e4d5d916a4f9ded7ed", + "log_sha256": "32a201302f5e0eadf6226e39c02fb8feae37e8c6faf9bf9450904ca8b0dceb53", + "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": "0f1b4da393aa01e46828c6ec4a0c17a4b24c932b5ed71f4db8af3039b00efe5b" + }, + { + "catalogue_digest": "be86229c9a936f0b5c54a1f05e1dabe93ff092f31bf380348553a65663e57b2b", + "catalogue_size": 3039, + "checked_maps": 39, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2954, + "exact_recipe_digest": "aee37decf9c26e6e1ad3b2ecf7dbbf8d5c53e5b05801fe53a0950c935bb4363e", + "log_sha256": "a63057a6d4232a61a650256eda0a19706313162531b9d609fb650a01e4867123", + "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": 3039, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "0f1b4da393aa01e46828c6ec4a0c17a4b24c932b5ed71f4db8af3039b00efe5b" + } + ], + "fixed_tape_counts": { + "H": 16502900000000000000000, + "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": 2380, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25442777600, + "log_power": 2236, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298400, + "native_invocations": 17, + "native_sha256": "3bb4d3a9d8a222af1155c366e52f0b787029b937f71d870f1e407feb1c1d9f33", + "owned_banks_per_raw_occurrence": 901, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58284, + "native": 1173408 + }, + "scalar_services_upper": 43185536, + "scalar_steps_coefficient": 45283316596736, + "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": "910804205619/250000000000000" + }, + "native_archive_sha256": "0f1b4da393aa01e46828c6ec4a0c17a4b24c932b5ed71f4db8af3039b00efe5b", + "native_canonical_sha256": "3bb4d3a9d8a222af1155c366e52f0b787029b937f71d870f1e407feb1c1d9f33", + "numeric_gate": { + "BIT_margin": "12347317752393/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16502900000000000000000", + "alpha": [ + 0.9999999999999989, + 0.9999999999999989 + ], + "claim": "910804205619/250000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9032879005682555, + 0.9032879005682555 + ], + "derivative_upper": -381862.8775025715, + "gamma": [ + 0.9408663506378053, + 0.9408663506378053 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "364321682247607/100000000000000000": [ + "124301509492325701418017795296915414012173623857108304317789461155618554164317/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124301509492325701418017795296915414012173623857108304317789461155618554166231/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "910804205619/250000000000000": [ + "124301509492323414962316845627396329980766890611096158844373487594008327923183/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62150754746161707481158422813698164990383445305548079422186743797004163962551/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2235, + "moment_margin_float": { + "1457286728990780624124945120203/400000000000000000000000000000000": [ + 2.2731839877859452e-29, + 2.2731839877859452e-29 + ], + "364321682247607/100000000000000000": [ + 3.4199539244317534e-10, + 3.4199539244317534e-10 + ], + "9108042056192378900780907001269/2500000000000000000000000000000000": [ + -1.6062487367492846e-29, + -1.6062487367492846e-29 + ] + }, + "moment_margins": { + "1457286728990780624124945120203/400000000000000000000000000000000": [ + "2273183987785945091003015810461332751543178901736987/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "2273183987785945091003015810461332751543178940809867/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364321682247607/100000000000000000": [ + "34199539244317534116896752841699885571424583853369643437300948306757579/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "34199539244317534116896752841699885571424583853369643437300948345522219/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "9108042056192378900780907001269/2500000000000000000000000000000000": [ + "-1606248736749284499150452672100924278429799872965867/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-321249747349856899830090534420184855685959966833051/20000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "1457286728990780624124945120203/400000000000000000000000000000000", + "9108042056192378900780907001269/2500000000000000000000000000000000" + ], + "tested": "364321682247607/100000000000000000", + "written_log_power": 2236 + }, + "physical_binding": { + "ambient": 145, + "complete_paid_position_digest": "3d32ce33140c5dd67d30471ba5dbebb1a08f9cc7c16b326a8f0f27568241027d", + "fresh_helpers": 18598, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1494, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68299, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5814, + "56": 416, + "6": 255, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "paid_positions": 110434, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22342, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 901, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 272, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3723, + "41": 416, + "49": 416, + "5": 1275, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10956 + } + }, + "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": 779695108, + "init_clear_allowance": 224, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 220304892, + "odd_divisions": { + "ADD": 5365, + "SCALE": 71 + }, + "per_input_conversion": 2641392, + "raw_upper": 763045556, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2188, + "moves": 6274, + "owned_lifetime": 224, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9886000, + "scalar_upper": 2102660 + }, + "status": "PASS_8X9_EXACT_COMPONENT_APPLICATION_CHECKS" + }, + "ODD-ADMISSION-PARTIAL.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "compiler_outer": { + "BIT_margin": "12347317752393/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16502900000000000000000", + "alpha": [ + 0.9999999999999989, + 0.9999999999999989 + ], + "claim": "910804205619/250000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9032879005682555, + 0.9032879005682555 + ], + "derivative_upper": -381862.8775025715, + "gamma": [ + 0.9408663506378053, + 0.9408663506378053 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "364321682247607/100000000000000000": [ + "124301509492325701418017795296915414012173623857108304317789461155618554164317/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124301509492325701418017795296915414012173623857108304317789461155618554166231/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "910804205619/250000000000000": [ + "124301509492323414962316845627396329980766890611096158844373487594008327923183/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62150754746161707481158422813698164990383445305548079422186743797004163962551/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2235, + "moment_margin_float": { + "1457286728990780624124945120203/400000000000000000000000000000000": [ + 2.2731839877859452e-29, + 2.2731839877859452e-29 + ], + "364321682247607/100000000000000000": [ + 3.4199539244317534e-10, + 3.4199539244317534e-10 + ], + "9108042056192378900780907001269/2500000000000000000000000000000000": [ + -1.6062487367492846e-29, + -1.6062487367492846e-29 + ] + }, + "moment_margins": { + "1457286728990780624124945120203/400000000000000000000000000000000": [ + "2273183987785945091003015810461332751543178901736987/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "2273183987785945091003015810461332751543178940809867/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364321682247607/100000000000000000": [ + "34199539244317534116896752841699885571424583853369643437300948306757579/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "34199539244317534116896752841699885571424583853369643437300948345522219/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "9108042056192378900780907001269/2500000000000000000000000000000000": [ + "-1606248736749284499150452672100924278429799872965867/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-321249747349856899830090534420184855685959966833051/20000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "1457286728990780624124945120203/400000000000000000000000000000000", + "9108042056192378900780907001269/2500000000000000000000000000000000" + ], + "tested": "364321682247607/100000000000000000", + "written_log_power": 2236 + }, + "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": 68299, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5814, + "56": 416, + "6": 255, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 272, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3723, + "41": 416, + "49": 416, + "5": 1275, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10956 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036432168224769515603123628005075585957831775077618501530685468709", + "raw_crossing": "0.0036432168224769515603123628005075585957831775077618501530685468709" + }, + "native_sha256": "3bb4d3a9d8a222af1155c366e52f0b787029b937f71d870f1e407feb1c1d9f33", + "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": 779695108, + "init_clear_allowance": 224, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 220304892, + "odd_divisions": { + "ADD": 5365, + "SCALE": 71 + }, + "per_input_conversion": 2641392, + "raw_upper": 763045556, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2188, + "moves": 6274, + "owned_lifetime": 224, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9886000, + "scalar_upper": 2102660 + }, + "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": 16502900000000000000000, + "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": 2380, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25442777600, + "log_power": 2236, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298400, + "native_invocations": 17, + "native_sha256": "3bb4d3a9d8a222af1155c366e52f0b787029b937f71d870f1e407feb1c1d9f33", + "owned_banks_per_raw_occurrence": 901, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58284, + "native": 1173408 + }, + "scalar_services_upper": 43185536, + "scalar_steps_coefficient": 45283316596736, + "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": "910804205619/250000000000000" + }, + "ODD-PHYSICAL-BINDING.json": { + "aliased_main_rejected": true, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "native_sha256": "3bb4d3a9d8a222af1155c366e52f0b787029b937f71d870f1e407feb1c1d9f33", + "occurrence_and_geometry": { + "ambient": 145, + "complete_paid_position_digest": "3d32ce33140c5dd67d30471ba5dbebb1a08f9cc7c16b326a8f0f27568241027d", + "fresh_helpers": 18598, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1494, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68299, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5814, + "56": 416, + "6": 255, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "paid_positions": 110434, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22342, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 901, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 272, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3723, + "41": 416, + "49": 416, + "5": 1275, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10956 + } + }, + "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": 2380, + "context_height": 406, + "context_mass_bits": 1190, + "native_grid": { + "coefficient_visits": 15833866, + "dyadic_height": 25, + "mass_witness": [ + 65563, + "stored add" + ], + "maximum_scaled_mass": "814656664575075/8192", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + }, + "native_sha256": "3bb4d3a9d8a222af1155c366e52f0b787029b937f71d870f1e407feb1c1d9f33", + "precision_program_sha256": "93d2fee8fd23f1798a048d923f87f57c8a09a66f5baadc5b95f850c7b86add34", + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "19028231329778373568932595864482642524830181689001886637824808161610264047198125761959040511490905836695861384503822492268543120468524986060432613344582219863450740550659456769864619061286797227203254705439222687637760328043014276275241254192018313528382501409343078100527967643386897431077154793078213207013898263743379982069381599988725049672369130675264468730179278385895001748805167886959195778213592537907341847965977509003331/32373225137651933474035186446033223680000000000000000000000000000000000000000000000", + "strict_power_of_two": 1156, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Gamma_context": { + "exact": "491073023466834919216508677230173292066189037689001323924471151399300800989523067018722924205898972795900661734181501781254192111031453260524909163534718990854495697431871349793492548014877407321220613261831630997557654840620359586881584962951838009849963066726679094000555974521286747773579435585660771747149828024988373948737372713351980424732907243903084957780754208671741765417491238398325721703705268106816359484448874208833601/24279918853238950105526389834524917760000000000000000000000000000000000000000000000", + "strict_power_of_two": 1161, + "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": "956921667059251889602539117016937731471958855569402458924536476889481130802577195546310232961998064390819256999870347511334049538252302070637987979518310140240081562683394293507143189648128747571056509944052800095499132387667655894009443037795605765273418394498711704319443512403493223981866972778349074438694085785643984024644531651963935812548737242989442279492444771664750366016261020450518351282348281248799584327275884133075437389/215821500917679556493567909640221491200000000000000000000000000000000000000000000000", + "strict_power_of_two": 1169, + "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": "491073023466834919216508677230173292066189037689001323924471151399300800989523067018722924205898972795900661734181501781254192111031453260524909163534718990854495697431871349793492548014877407321220613261831630997557654840620359586881584962951838009849963066726679094000555974521286747773579435585660771747149828024988373948737372713351980424732907243903084957780754208671741765417491238398325721703705268106816359484448874208833601/24279918853238950105526389834524917760000000000000000000000000000000000000000000000", + "strict_power_of_two": 1161, + "witness": { + "cut": 4753, + "event": 4752, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "Sigma_context": { + "exact": "1462941921446073939306824955139215212988300200485651161378695056886225333603318100025617292708649497334706604371690440683148706826084200739273256902258583209495945143718493197887819525644383593183165772151187408128184493203670621758772649432188330034768047863411989335886009280742965644429109522148143028141782919061751697955658627643236663422273621803731408093258966124647879890042848727110429349532008542706555343023072634212084997848217357232403574341982406088253927209863026803464094165361676003197840083952665747038102848341609668733833332181363518673953011442847129/11487996289529329443034571502881307934283372523953200352091577252294164480000000000000000000000000000000000000000000000000000000000000000000", + "strict_power_of_two": 1433, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 18598, + "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": "19028231329778373568932595864482642524830181689001886637824808161610264047198125761959040511490905836695861384503822492268543120468524986060432613344582219863450740550659456769864619061286797227203254705439222687637760328043014276275241254192018313528382501409343078100527967643386897431077154793078213207013898263743379982069381599988725049672369130675264468730179278385895001748805167886959195778213592537907341847965977509003331/32373225137651933474035186446033223680000000000000000000000000000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "491073023466834919216508677230173292066189037689001323924471151399300800989523067018722924205898972795900661734181501781254192111031453260524909163534718990854495697431871349793492548014877407321220613261831630997557654840620359586881584962951838009849963066726679094000555974521286747773579435585660771747149828024988373948737372713351980424732907243903084957780754208671741765417491238398325721703705268106816359484448874208833601/24279918853238950105526389834524917760000000000000000000000000000000000000000000000" + }, + "M_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796247824792255124449682067424881/131368167114257812500000000000", + "residual_mass": "491073023466834919216508677230173292066189037689001323924471151399300800989523067018722924205898972795900661734181501781254192111031453260524909163534718990854495697431871349793492548014877407321220613261831630997557654840620359586881584962951838009849963066726679094000555974521286747773579435585660771747149828024988373948737372713351980424732907219623166104541804103145351930892573478398325721703705268106816359484448874208833601/24279918853238950105526389834524917760000000000000000000000000000000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "19028231329778373568932595864482642524830181689001886637824808161610264047198125761959040511490905836695861384503822492268543120468524986060432613344582219863450740550659456769864619061286797227203254705439222687637760328043014276275241254192018313528382501409343078100527967643386897431077154793078213207013898263743379982069381599988725049672369130675264468730179278385895001748805167886959195778213592537907341847965977509003331/32373225137651933474035186446033223680000000000000000000000000000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "491073023466834919216508677230173292066189037689001323924471151399300800989523067018722924205898972795900661734181501781254192111031453260524909163534718990854495697431871349793492548014877407321220613261831630997557654840620359586881584962951838009849963066726679094000555974521286747773579435585660771747149828024988373948737372713351980424732907243903084957780754208671741765417491238398325721703705268106816359484448874208833601/24279918853238950105526389834524917760000000000000000000000000000000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "1435/4", + "entrance_mass": "2067/2", + "event": 43, + "stage": 1 + }, + { + "entrance_defect": "226331894019122942928188033316195291694854019909748746565193060599445440111587400012639517991756620519292679716334276621615040250657858468171541/693087965674784425268322477539328000000000000000000000", + "entrance_mass": "56849465528/5", + "event": 137, + "stage": 2 + }, + { + "entrance_defect": "343886875943594001381449069082114578347854840307290585304519678922869546753932567774426345976150112260637976134362291470272131388294568979278755798348447381/66536444704779304825758957843775488000000000000000000000", + "entrance_mass": "899756300051784928313/5", + "event": 268, + "stage": 3 + }, + { + "entrance_defect": "320297799872056803266494051614451857667851752550306212353571516233106026688606324837375100902789133405868863854213859670428155207449190802175884227562402790180894933/66536444704779304825758957843775488000000000000000000000", + "entrance_mass": "2514111326902273689027625979152/15", + "event": 432, + "stage": 4 + }, + { + "entrance_defect": "65429607176349246453750378882318423319274172207867721086420772655705124139413781748046570997277185658266002891280898917565959521758279983850120043731673496286012188450461657043/66536444704779304825758957843775488000000000000000000000", + "entrance_mass": "513576167499541081817002847690160861158177/15", + "event": 633, + "stage": 5 + }, + { + "entrance_defect": "6264883876138267890844218130296855233919969101627033897054968781362311212861649044104361782472268396910463016072455593882402206740398794339535020046908159057013024189869434949712369325687/998046670571689572386384367656632320000000000000000000000", + "entrance_mass": "49174910102467876864090432969907258581035345395534834/225", + "event": 867, + "stage": 6 + }, + { + "entrance_defect": "668181847462112075814430648908674993735036357232780484659639639005273098034117175530374382052372946888010292710351246859868581392878439449404307842499512911647971883003186314139031844389101235703737/110894074507965508042931596406292480000000000000000000000", + "entrance_mass": "47202796791779792903787260464709452698419616298153732189406926691/225", + "event": 1138, + "stage": 7 + }, + { + "entrance_defect": "194547418486766193051713726761639862468528683290407475463771194922069373342762849710046609966254326764088612050148928455073225814846076804680625230717197535945555847198551557454757458987634542716998061653319268138623/124755833821461196548298045957079040000000000000000000000000", + "entrance_mass": "1527059719525243651854937925515623170877847518562264265010551055991429949116792541/28125", + "event": 1423, + "stage": 8 + }, + { + "entrance_defect": "69380036905740218372045072726446214513459426265588923762611990128893212188866469478860199632879328115118779455528667942317248544222056313251687062571150918174653618531095743898182472457507852784597807440788620977975413663246584065335041174157395337117810527080003149097377537594866009669009012082784319049048440290616199176032392564021599827313589883/143881000611786370995711939760147660800000000000000000000000000000000000000000000", + "entrance_mass": "45382020709918266925583064268574418985484021788023395083741971786893952543604385214817042722264713249357732585113211736557042182118473445437784492974844696068231496289005681248244219743195326431922663592509646282903/2703048706054687500000000", + "event": 3058, + "stage": 9 + }, + { + "entrance_defect": "26381855404822087244407007121951456461722301810442966728809305977260928952909015099031799804753098832382097354813918566186050569705937933547572960233511543359959163701563696313764761893577062136249608545987458013245956075228596684856468538524887365515925233657538740424561166632482771785480844351883881288948802575907602214508031783029009288015386807957441263716857/3597025015294659274892798494003691520000000000000000000000000000000000000000000000", + "entrance_mass": "17256576412236653193246225901973714737195067836439327666112948810725372605325768521068989782195051084826433423902219365061463548934152577319772447024097669813834215493691840531234110147024064996639957180865886380686899413865699437/67576217651367187500000000", + "event": 3377, + "stage": 10 + }, + { + "entrance_defect": "12586408713683836366214932647697024750111144368058866488375043399009980815097336573019559277925326236559984789128700379419648786795776557495187318509959997265917629420717523692564154833432888065977863588879782784956580825265441800678248997248925374183981829429738734003835402493435187397877354406134680642752331129843238828516969996761030559968675982590175585398388215379807683/119900833843155309163093283133456384000000000000000000000000000000000000000000000", + "entrance_mass": "8232867642949280967953864719378369729636081542640965177026582834276172086852779069019078166383458700724373015543641299678854718814560615654710102550769670203427726502361438450768012893674227975469242856299447027845030556012745339827937032703/2252540588378906250000000", + "event": 3674, + "stage": 11 + }, + { + "entrance_defect": "158166010656895944047030921334160960076744649709134993616061634652850790197248605863807901441648317241977129875865190489251157095699082707297171421463400647072986556570441506289240230878590420459108039807170854886805100355636196197235787580320668582358150698864828570314414934501957176162998932684342678537385368174300927244727827340317259137371020793341123607561648344484112620002801741091/16186612568825966737017593223016611840000000000000000000000000000000000000000000000", + "entrance_mass": "103457615351059805192637231353494210876529187337645013912367786609511281374638184501291799844537790265462481580051228205479278831706979374022592427678836083146990308179368316797029946556942233864286312243671687806427572314354434738422294564686254956597631/304092979431152343750000000", + "event": 3934, + "stage": 12 + }, + { + "entrance_defect": "10418294481418254263950646150969262474583586166698818915705535304084830822935220344716875942078269305144708250645189888868114860045091046376761810159825244917221970389215940682603287124789703764708149320885865743465361020937222493818757461101049154433081565808641615532540946186686515623053144973691919194279584754824398697600645916540926381691472047650699467873353575491716076290609130578085575779/4046653142206491684254398305754152960000000000000000000000000000000000000000000000", + "entrance_mass": "6814687293408352348961376609223100753789665399854180217091951198766673494955017243489117504312576625705862588971333049204842152193259763726092611947454717867967563820647006231530855513792517852570389360287582421241328472893443552787136426885585158158296407747039/76023244857788085937500000", + "event": 4149, + "stage": 13 + }, + { + "entrance_defect": "418415098941565926577959406864917007894020955296212981700229837702640408365499178487377391520722461185109006422204859628952707160803266603134048760956460350049686958185794028431064508985366902392236677646012139249767218299217103874832428490545337188376288956313452937883938935932340322009764966370319125551981592291674921645003310936027866284745667986428083959490757134996044284803570732789200649758444866651/32373225137651933474035186446033223680000000000000000000000000000000000000000000000", + "entrance_mass": "273688564209132230699064882255651065961520374651451250325109091529813162250488973700796593555467744131430272845604649750549608356985710665121874068107850799585492748533787927289567936649257940207702597871193107311090132538524151482351564937285621850171994049078063458209591/608185958862304687500000000", + "event": 4337, + "stage": 14 + }, + { + "entrance_defect": "7996817804823651302559934552208175819407037443218004758027258594170101848634651872544990892980121073112826586789812217016520089665088048919096421804892569736409295125952336123278788319982357004617352609745746113876887409194552459672811077168083592624105552015953656662911515283390548492525672839540608604593120331115049763154576570738253132060521082722441359969853870398083467989164353833195540772796559047561885321/16186612568825966737017593223016611840000000000000000000000000000000000000000000000", + "entrance_mass": "5230780602279043381317572379439763694807653157987526423412516241866438709931406455512285461654380762978554988724296151241130161368896505647624919395909388513302452136334767445346454946237326490486725295589968816639097338790755366202380875008783642473174121062695038054202858248061/304092979431152343750000000", + "event": 4485, + "stage": 15 + }, + { + "entrance_defect": "8852400830183984613778953311835113159096629833322536949723379292116388771874423269696088829927818295114306521126930699425122334411844719287789337126138180481250707776950570349185186742012350418249268140815159636672113988468557507784086898169642601425736718840794155446652411106702560853268691305974809650896199902932640747406403930043833531935363815565619900489993765627720952859056910376734670675040076124480381410258070643/32373225137651933474035186446033223680000000000000000000000000000000000000000000000", + "entrance_mass": "5790424100720951765768300756324298709533962301792798636386692749870979029496708556989270788662796627612885676197810930990877069943243536093513215980405080279750566239442965631097385199413957318608000177913047677092759213914423460784984181631621622445055356552059259436283593839861423838063/608185958862304687500000000", + "event": 4606, + "stage": 16 + }, + { + "entrance_defect": "19028231329778373568932595864482642524830181689001886637824808161610264047198125761959040511490905836695861384503822492268543120468524986060432613344582219863450740550659456769864619061286797227203254705439222687637760328043014276275241254192018313528382501409343078100527967643386897431077154793078213207013898263743379982069381599988725049672369130675264468730179278385895001748805167886959195778213592537907341847965977509003331/32373225137651933474035186446033223680000000000000000000000000000000000000000000000", + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "event": 4691, + "stage": 17 + } + ], + "physical_main_inputs": 3744, + "sites": { + "ADD": 4126, + "IDLE_ODD": 4, + "IDLE_ONE": 90, + "J": 17, + "LAMBDA": 178, + "QUERY": 4, + "SCALE": 312, + "SWAP": 52, + "noninteger_scalar": 1752 + } + }, + "rounded_native": { + "bounds": { + "Gamma": { + "exact": "131940638005512944116578767205797394842654845124071865490343143405294160576229079916551558223367529559751870957897890539963425735500588763/2217881490159310160858631928125849600000000000000000000", + "strict_power_of_two": 275, + "witness": { + "cut": 75298, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "76882706337326895380095739533954814528195516270501316571512567804302779539826743130088779199326317823148682986798225320621217230951127292659/354861038425489625737381108500135936000000000000000000000", + "strict_power_of_two": 277, + "witness": { + "cut": 73787, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "131940638005512944116578767205797394842654845124071865490343143405294160576229079916551558223367529559751870957897890539963425735500588763/2217881490159310160858631928125849600000000000000000000", + "strict_power_of_two": 275, + "witness": { + "cut": 73787, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 75298, + "lifetimes": 56, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 65197, + "CLEAR": 56, + "COPY": 1, + "INIT": 56, + "MOVE": 6274, + "SCALE": 3714 + }, + "owned_labels": 53, + "peak_owned": 44, + "public": 1494, + "scalars": { + "dyadic": 63476, + "integer": 39487, + "noninteger": 29425, + "odd": 5436 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26777, + "entrance_mass": "76882706337326895380095739533954814528195516270501316571512567804302779539826743130088779199326317823148682986798225320621217230951127292659/354861038425489625737381108500135936000000000000000000000", + "residual_mass": "131940638005512944116578767205797394842654845124071865490343143405294160576229079916551558223367529559751870957897890539963425735500588763/2217881490159310160858631928125849600000000000000000000" + }, + "M": { + "active_residual_sites": 26777, + "entrance_mass": "76882706337326895380095739533954814528195516270501316571512567804302779539826743130088779199326317823148682986798225320621217230951127292659/354861038425489625737381108500135936000000000000000000000", + "residual_mass": "131940638005512944116578767205797394842654845124071865490343143405294160576229079916551558223367529559751870957897890539963425735500588763/2217881490159310160858631928125849600000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26777, + "entrance_mass": "76882706337326895380095739533954814528195516270501316571512567804302779539826743130088779199326317823148682986798225320621217230951127292659/354861038425489625737381108500135936000000000000000000000", + "residual_mass": "131940638005512944116578767205797394842654845124071865490343143405294160576229079916551558223367529559751870957897890539963425735500588763/2217881490159310160858631928125849600000000000000000000" + } + } + }, + "scope": "Fixed integer Laurent grid with charged odd caller scale, and pinned attributed forward/adjoint all-fibre defect engine applied to the emitted 17-stage caller. Each LAMBDA, QUERY and signed/unsigned idle is one unitary with one child defect. The caller allocation assumes independent stage helpers. Full physical application remains separate." + }, + "ODD-TYPE-AB-REPLAY.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "paid": { + "1": 68299, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5814, + "56": 416, + "6": 255, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "raw_bracket": [ + "1457286728990780624124945120203/400000000000000000000000000000000", + "9108042056192378900780907001269/2500000000000000000000000000000000" + ], + "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": "3bb4d3a9d8a222af1155c366e52f0b787029b937f71d870f1e407feb1c1d9f33", + "target": { + "1": 272, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3723, + "41": 416, + "49": 416, + "5": 1275, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10956 + } + } + }, + "claim": "910804205619/250000000000000", + "price": { + "after": { + "P": { + "1": 68299, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5814, + "56": 416, + "6": 255, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 272, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3723, + "41": 416, + "49": 416, + "5": 1275, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10956 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036432168224769515603123628005075585957831775077618501530685468709", + "raw_crossing": "0.0036432168224769515603123628005075585957831775077618501530685468709" + }, + "before": { + "P": { + "1": 68282, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5814, + "56": 416, + "6": 255, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 272, + "137": 208, + "17": 416, + "2": 340, + "25": 416, + "3": 799, + "33": 416, + "4": 3723, + "41": 416, + "49": 416, + "5": 1275, + "57": 416, + "6": 731, + "65": 416, + "7": 306, + "73": 208, + "8": 595, + "9": 10956 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036429590190313419414962272850934318443089604962431425128023661325", + "raw_crossing": "0.0036429590190313419414962272850934318443089604962431425128023661325" + }, + "gate": { + "BIT_margin": "12347317752393/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16502900000000000000000", + "alpha": [ + 0.9999999999999989, + 0.9999999999999989 + ], + "claim": "910804205619/250000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9032879005682555, + 0.9032879005682555 + ], + "derivative_upper": -381862.8775025715, + "gamma": [ + 0.9408663506378053, + 0.9408663506378053 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "364321682247607/100000000000000000": [ + "124301509492325701418017795296915414012173623857108304317789461155618554164317/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124301509492325701418017795296915414012173623857108304317789461155618554166231/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "910804205619/250000000000000": [ + "124301509492323414962316845627396329980766890611096158844373487594008327923183/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62150754746161707481158422813698164990383445305548079422186743797004163962551/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2235, + "moment_margin_float": { + "1457286728990780624124945120203/400000000000000000000000000000000": [ + 2.2731839877859452e-29, + 2.2731839877859452e-29 + ], + "364321682247607/100000000000000000": [ + 3.4199539244317534e-10, + 3.4199539244317534e-10 + ], + "9108042056192378900780907001269/2500000000000000000000000000000000": [ + -1.6062487367492846e-29, + -1.6062487367492846e-29 + ] + }, + "moment_margins": { + "1457286728990780624124945120203/400000000000000000000000000000000": [ + "2273183987785945091003015810461332751543178901736987/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "2273183987785945091003015810461332751543178940809867/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364321682247607/100000000000000000": [ + "34199539244317534116896752841699885571424583853369643437300948306757579/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "34199539244317534116896752841699885571424583853369643437300948345522219/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "9108042056192378900780907001269/2500000000000000000000000000000000": [ + "-1606248736749284499150452672100924278429799872965867/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-321249747349856899830090534420184855685959966833051/20000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "1457286728990780624124945120203/400000000000000000000000000000000", + "9108042056192378900780907001269/2500000000000000000000000000000000" + ], + "tested": "364321682247607/100000000000000000", + "written_log_power": 2236 + }, + "native_baseline_rejects_new_claim": true, + "new_native": "3bb4d3a9d8a222af1155c366e52f0b787029b937f71d870f1e407feb1c1d9f33", + "old_native": "81f9b2e0a170aa3ab0cd4bb1056c834ebe0b98eaf37abe5986c6e53abd1257ea", + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "2500329133576133019737602767763181295808627680611146929539506330346112652394981/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "5000658267152266039475205535526362591617255361222293859079012660692225322157841/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003643216822476", + "gain": "2.57803445E-7", + "gain_exact": "51560689/200000000000000", + "independent_raw_bracket": [ + "0.00364321682247695156031236280050755", + "0.00364321682247695156031236280050756" + ], + "previous_claim": "3642959019031/1000000000000000", + "raw_bracket": [ + "0.0036432168224769515603123628005075", + "0.0036432168224769515603123628005076" + ] + } + }, + "status": "PASS_P104_ENDPOINT_FUNDED_SPLIT" +} diff --git a/research/p104-endpoint-funded-split/SOURCES.json b/research/p104-endpoint-funded-split/SOURCES.json new file mode 100644 index 0000000000..c4150ae397 --- /dev/null +++ b/research/p104-endpoint-funded-split/SOURCES.json @@ -0,0 +1,24 @@ +{ + "schema_version": 1, + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "files": [ + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "3404fbdd5e7529a0674eef26114b5071e4586cec", + "sha256": "ead6cdc9d0af6d58e8a49744d8ec8c7c15e13d2ba93c276c434bcf9b51b93a81" + }, + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "75d77b328ea02ded535e7f23aee5b1e55d0bb1a8", + "sha256": "154c3d30455d778fd3343b6b4851f0fa4665f0f7625b0adb3675e2bafbbf6bf1" + }, + { + "path": "docs/research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md", + "usage": "provenance", + "git_blob": "3dd1af2285e597676725e85ad4f65e7ad326d695", + "sha256": "4501502c2ceb9759b20372435fe4beb51082c5a5e2910c1fd5dbe6edca415055" + } + ] +} diff --git a/research/p104-endpoint-funded-split/TASK.json b/research/p104-endpoint-funded-split/TASK.json new file mode 100644 index 0000000000..2cf072ca98 --- /dev/null +++ b/research/p104-endpoint-funded-split/TASK.json @@ -0,0 +1,148 @@ +{ + "schema_version": 1, + "task_id": "p104-side-correction", + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "priority_revision": 8, + "original_card": { + "id": "p104-side-correction", + "question": "Can joint helper bases and a legal causal split improve the complete P104 productive/paid invoice?", + "starting_points": [ + "docs/research/current-priorities.md", + "docs/research/research-family-status.md", + "certificates/selected-result.json", + "docs/research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md", + "research/p104-helper-subspace-splits/README.md", + "research/dyadic-helper-channel-capacity/README.md" + ], + "methods": [ + "Construct and independently check one source-bound instance of the stated first experiment.", + "Seek an exact counterexample or target-specific complete-budget obstruction to that same proposed change." + ], + "acceptance_gate": "An exact arbitrary-input identity, source/target frame availability and restoration at the chosen cut, plus the complete channel+correction+idle/hosting bill or an explicit favorable bound. The native channel alone is not a supplier. A scoped local result may be retained without a complete supplier. Expanding it into further construction rounds requires the family-level budget and obligation gate in research-family-status.md; an optimistic passing relaxation alone is not acceptance.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_selected_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Read revision 8, the selected review and live exact-source handoffs. Then follow this card's bounded first_experiment.", + "scope": "Source-bound orientation only, not a supplier replay or theorem proof." + }, + "first_experiment": "Start with the selected #5599 emitted word and review pending #5718 distinct input/output bases plus #5717/#5719 coverage before claiming work. Pick one uncovered source word, helper group and cut region. Prove the arbitrary-input relation and legal entry/exit corrections, then compare full target and paid profiles. Reject if completion, owned lifetimes or consumer costs repay the gain. A static pairing rank alone is not a physical split.", + "bottleneck_link": "Judge the actual current supplier contract and complete signed target/paid bill; frozen-profile ceilings require an applicability proof.", + "allowed_variations": [ + "One exact source head, helper/cut region or quantified proposition and changed hypothesis; check live handoffs first. Different seeds are not different scopes." + ], + "scope_change_triggers": [ + "Changing source head, helper/cut domain, operation alphabet or caller boundary without recording the new scope.", + "Treating an archived proposal or local numerical pass as complete supplier admission." + ], + "overlap_terms": [ + "P104", + "helper basis", + "helper split", + "5718", + "dyadic capacity" + ], + "existing_checks": [ + { + "scope": "PR #4133: literal-slot defect", + "evidence": "research/p104-literal-slot-defect/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "88666f1dee93fbd85b31fd5d6f91a219e111b5f4", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4136: uniform commutation gap", + "evidence": "research/p104-uniform-commutation-gap/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "281ce601a8be9db470de630759179c23e1dfaa88", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4140: uniform encoding gap", + "evidence": "research/p104-uniform-encoding-gap/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "de25c6525aa866962309df5d107b32d55e6e5628", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4153: source-chart shortcut exhausts its optimistic allowance", + "evidence": "research/p104-source-chart-shortcut/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "9123241fea53df77e51ffe30d9aca1625d4bf3a8", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4154: fiber-tag seam mismatch", + "evidence": "research/p104-fiber-tag-seam/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "4ffcdaee5d6255a9cea1fe53a5424435068089d0", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "Selected PR5599: complete helper-subspace construction and independent caller replay; five framework assumptions remain.", + "evidence": "docs/research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md", + "remaining": "The next experiment must identify uncovered source-specific work. Successor archive intake does not transfer this admission.", + "status": "reviewed", + "source_commit": "09dd0965711ca7eeb169057a420abab1c9052137", + "selected_record_sha256": "2a0220e866417774606e0f991e41b9c1d26b1f43b97857238cf478dbc7d330b5" + } + ] + }, + "author": "Rohan Arun with substantial OpenAI Codex assistance", + "ai_assistance": "Substantial OpenAI Codex assistance; no subagents.", + "claim": "https://github.com/CrocSwap/integer-mult-bounds/pull/7142", + "scope_status": "changed", + "scope_change_reason": "Extend one helper input boundary and charge its rank-one MOVE, enabling an exact simultaneous-cut split on the newer causal-buffer source.", + "concrete_question": "Can a paid input extension fund a further exact helper split on PR7140?", + "actual_scope": "Frame529/cut44614/pivot146 with helper1479 input extended to frame3; one neutral retimed path; unchanged owned inventory and17-stage caller.", + "domain": "One exact witness from17 finite nominations on source a95783a8; not a global search ceiling.", + "success": "Exact native and complete directed pricing above .003642959019031 followed by fresh full application and registered replay.", + "bottleneck_link": "Charge the changed boundary credit and its extra transport before pricing the new split.", + "predecessor_head": "a95783a8c861248a759136d4285ea725499cf231", + "predecessors": [ + "dillona/OpenAI Codex PR7140 causal-history buffer split, exact a95783a8c861248a759136d4285ea725499cf231; complete30-file export retained.", + "Ali Romman: explicit causal-history two-buffer identity and allowance for singular local replacement under owned erasure; Discussion5600/comment19209322.", + "Jerry Chen/CubeJerry: contact-free retiming, temporal pure spaces, exact native/caller, precision/compiler and cost engines.", + "Matarener: complete helper-kernel methods.", + "dillona/OpenAI Codex: exact37-file666fd749 composition artifact retained as full frozen input; completed independent artifact for identical Rohan Arun PR7131 canonical native.", + "Rohan Arun: #7124 output rechart, #7122 input rechart and #7113 signed17-stage caller.", + "Cinna Davis/1337isnot1337: alpha-expansion rechart predecessor; Dugongue: temporal S09 predecessor.", + "dillona/OpenAI Codex #7130 nonunit-pivot split, exact161e482bc2d8c78ecef96135430c60d49b8fc345, complete25-file export with full nested #7123 closure retained.", + "Rohan Arun #7124 output rechart, exact97dc14132da53562b7939776d7a83d72af72eeb1; byte-identical constructor and original specification retained among eight pinned peer files. 1337isnot1337/OpenAI Codex supplied alpha expansion. This package transfers their nominated changes to #7130, without claiming a new rechart search.", + "dillona/OpenAI Codex #7123 exact 020d581d9856b6db83e448c3f20418bc63b72c34, retained complete 30-file export and all nested sources. #7112 zero-pivot smooth swap is extended here to a nonzero nonunit pivot.", + "Rohan Arun7122 global input rechart, exact98aad9eb0e7d7f985622a35c7981695fe680c68a, retained as complete9-fileexport with nested7121closure; draft native/price evidence at this frozen head.", + "1337isnot1337/OpenAI Codex fresh-helper-boundary/discover-cut.cpp alpha-expansion method used by Rohan Arun7122; later completed source6391d64 retains identical six construction/source files, recorded in PEER-STATUS.json.", + "ToikY Discussion7111 original chart120 pattern, retained through7120; it is retained through the exact predecessor chain.", + "Ali Romman: helper bases, independent split identity and paid meetings", + "Jerry Chen/CubeJerry: causal retiming, native/invoice/compiler engines", + "Matarener: complete kernels including zero boundary images and pairing decision", + "Rohan Arun: exact7113 signed17-stage caller and source-specific application", + "ToikY: #7108\u2013#7110 signed sources and splits, plus the credited chart-120 lead in Discussion #7111", + "DreamingOfClouds, Douglas Colkitt/#7000 reviewers and all retained nested-source notices", + "dillona/OpenAI Codex:7105,7107,7112,7115,7116,7117; exact7117 parent retains all earlier exports", + "dillona/OpenAI Codex7118: first funded residual mode and exact source-specific application", + "dillona/OpenAI Codex7119: exact reciprocal source and full application", + "ToikY original chart120 pattern and dillona/OpenAI Codex7120 exact-source composition, fully retained as the immediate source." + ], + "outcome": "partial", + "evidence_status": "All direct source-aware checks and registered CPython3.12.14 replay passed. Every frozen receipt field matched; all20 scientific hashes unchanged. Six512-column chart checks, ten native controls,3039 catalogue maps and104 main boundaries, complete costs and54+4 outer conditions.", + "evidence": "INPUTS.json, WITNESS.json, WORD.json.gz, EARLY-RESULT.json, NATIVE-RESULT.json, RESULT.json; REPLAY.txt when completed.", + "overlap": "Canonical main e54523517d0f03e58352e647c403a5af3e525a57 refreshed unchanged after retry deadline; priority8 and selected7000 retained. Live latest PR heads and recent active discussion/handoff messages checked. PR7141 reports no kappa change from its7131 two-blocker scalar scope. This bounded endpoint-extension composition uses exact7140 source. Coverage is partial; no novelty guarantee.", + "open_questions": [ + { + "question": "Can the inherited five all-size assumptions be independently discharged?", + "why_it_matters": "Finite application replay is conditional, not a full multiplication theorem.", + "first_step": "Select one named assumption and its exact retained source contract.", + "blocked_by": "Independent human/formal acceptance remains open." + } + ], + "stop_rule": "One new fully checked invoice; refresh before any further research round." +} diff --git a/research/p104-endpoint-funded-split/VALIDATION.md b/research/p104-endpoint-funded-split/VALIDATION.md new file mode 100644 index 0000000000..a467ab0aeb --- /dev/null +++ b/research/p104-endpoint-funded-split/VALIDATION.md @@ -0,0 +1,19 @@ +# Validation + +All direct commands passed under CPython3.12.14 on the internal Mac workspace: + +```sh +python3.12 -I -B research/p104-endpoint-funded-split/verify_early.py +python3.12 -I -B research/p104-endpoint-funded-split/verify_native.py --out research/p104-endpoint-funded-split/NATIVE-RESULT.json +python3.12 -I -B research/p104-endpoint-funded-split/verify.py --out research/p104-endpoint-funded-split/RESULT.json +``` + +The registered manifest reruns these three gates without output generation and compares every receipt field: + +```sh +python3.12 -B scripts/research_package.py --package research/p104-endpoint-funded-split +``` + +Registered replay passed; REPLAY.txt records its output and REPLAY-INTEGRITY.json records the20 unchanged scientific hashes. See APPLICATION.md for the direct complete coverage and remaining assumptions. No hosted scientific pass or independent human/formal acceptance is claimed. + +The existing CI navigation correction from PR7131 is retained to fix the onboarding mismatch between the guide and unchanged selected record. Its targeted tests.test_research_current_status.CurrentCiNavigationTests passes. This documentation correction does not select a new bound or repair the separate historical Makefile-drift replay. diff --git a/research/p104-endpoint-funded-split/VERIFY.json b/research/p104-endpoint-funded-split/VERIFY.json new file mode 100644 index 0000000000..69cb0c1754 --- /dev/null +++ b/research/p104-endpoint-funded-split/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": 150, + "checks": "Complete source reconstruction, exact arbitrary-input adjoint, owned inventory and both directed17-stage prices; every early receipt field." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify_native.py" + ], + "timeout_seconds": 510, + "checks": "Reconstructed source/candidate, independent forward and adjoint, fresh1125/F25 grid, owned census, native ordinary/precision/ingredient pricing, all affected512-column charts and phase, ten corruption controls and finite physical replay." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 540, + "checks": "Full unchanged17-stage caller, complete paid/helper catalogue and104 main boundaries; fresh grid, precision, ordinary/physical/fixed-tape costs, two directed prices and54+4 outer conditions; every frozen application field." + } + ] +} diff --git a/research/p104-endpoint-funded-split/WITNESS.json b/research/p104-endpoint-funded-split/WITNESS.json new file mode 100644 index 0000000000..40b37f7fe4 --- /dev/null +++ b/research/p104-endpoint-funded-split/WITNESS.json @@ -0,0 +1,380 @@ +{ + "frame": 529, + "pivot": 146, + "cut": 44614, + "ranks": [ + 7, + 2 + ], + "group": [ + 3, + 127 + ], + "gain": 0.0058831273731208, + "elevate": [], + "extend_inputs": [ + 1479 + ], + "paths": [ + { + "role": 228, + "lo": 44612, + "hi": 44614, + "frame": 529, + "old": 529, + "new": 127, + "moves": [ + 44613 + ], + "old_paid": [ + 2 + ], + "new_paid": [ + 0, + 2 + ], + "cost": 0.0, + "private": false + } + ], + "a": { + "228": "1", + "1444": "1", + "1358": "1/4", + "744": "8", + "913": "-1/2" + }, + "b": { + "1358": "-4", + "744": "1/4", + "146": "-1/2" + }, + "c": { + "1132": "-7/2", + "1075": "-9/8", + "1053": "-11/2", + "711": "1/2", + "1479": "1", + "1234": "25/32", + "1134": "-1", + "1032": "-1/2", + "1030": "39/8", + "1008": "-1", + "671": "5/4", + "553": "1/2", + "1284": "-2", + "688": "-1/4", + "270": "-1", + "230": "-1", + "471": "1", + "757": "1/4", + "1058": "1", + "1006": "1/2", + "1274": "-1/2", + "1224": "1/2", + "997": "1", + "499": "-1", + "901": "-1/2", + "733": "1/4", + "496": "-1", + "1081": "1/4", + "1091": "3/2", + "1113": "-15", + "1077": "-13/2", + "1037": "-7", + "1136": "-15", + "1111": "15/2", + "1110": "-15", + "1095": "-15", + "550": "15/2", + "1172": "3/2", + "1016": "3/4", + "1174": "-13/4", + "917": "1/4", + "775": "-1", + "367": "-1", + "521": "2", + "599": "-1", + "372": "-1/8", + "497": "-1/4", + "1097": "3", + "995": "-1/2", + "1205": "-1", + "1195": "-1", + "1166": "-1/2", + "1109": "1/4", + "1106": "1/2", + "1100": "-1", + "1026": "1/2", + "1020": "-1/2", + "531": "-1/2", + "528": "1/2", + "526": "1/2", + "523": "1", + "516": "-1/4", + "438": "-1", + "1175": "-1/2", + "1318": "-1/4", + "1078": "-1/2", + "1080": "1/2" + }, + "d": { + "996": "-403/256", + "775": "-855/256", + "1463": "-25/16", + "1243": "-25/8", + "451": "25/8", + "1002": "-207/128", + "806": "137/512", + "1145": "151/32", + "1125": "773/64", + "830": "79/128", + "1026": "219/32", + "1122": "-13/8", + "1128": "-5/4", + "1289": "-6", + "619": "-55/512", + "1024": "125/16", + "301": "253/16", + "356": "51/16", + "1479": "-1", + "1466": "1", + "1075": "-23/2", + "1053": "-1", + "316": "63/8", + "1153": "-1/2", + "1022": "-4", + "1033": "305/64", + "1034": "1/8", + "1041": "-65/4", + "1042": "5/8", + "1043": "1/4", + "1044": "-1/4", + "1046": "69/16", + "1047": "-217/64", + "1049": "699/128", + "1055": "-193/8", + "1057": "-9/128", + "1058": "-1/4", + "1059": "-1/4", + "1062": "-9/16", + "1064": "-225/256", + "1068": "197/64", + "1073": "-3/8", + "1074": "9/32", + "1078": "95/16", + "1080": "49/8", + "1089": "-1027/256", + "1090": "61/32", + "1105": "515/128", + "1106": "47/16", + "1109": "3/16", + "1111": "3/8", + "1112": "-1265/64", + "1118": "3/16", + "1121": "1481/64", + "1126": "41/4", + "1127": "49/8", + "1134": "-3/8", + "1136": "-1/4", + "1137": "503/256", + "1138": "-1/4", + "1139": "1/2", + "1141": "1/4", + "1143": "1", + "1144": "101/32", + "1148": "4131/512", + "1157": "1", + "1159": "49/8", + "1160": "3/8", + "1162": "4", + "1164": "961/32", + "1166": "45/16", + "1169": "-59/16", + "1170": "1279/128", + "1171": "1257/64", + "1172": "1289/32", + "1174": "1277/64", + "1175": "1277/128", + "1178": "519/128", + "1182": "-211/16", + "1183": "-49/4", + "1186": "2019/32", + "1187": "-391/32", + "1188": "1/64", + "1191": "17/128", + "1193": "159/256", + "1198": "-3/8", + "1200": "131/8", + "1201": "1/16", + "1202": "-8", + "1204": "1/16", + "1205": "5", + "1207": "197/32", + "1210": "-33/16", + "1212": "-683/32", + "1215": "15/8", + "1216": "21/64", + "1221": "-9/32", + "1224": "-41/8", + "1227": "1253/128", + "1228": "-1489/128", + "1229": "-93/2", + "1232": "-159/256", + "1233": "-1055/128", + "1235": "1735/256", + "1240": "61/16", + "1244": "-29/16", + "1245": "305/32", + "1256": "363/64", + "1258": "1269/64", + "1259": "-1245/64", + "1260": "-1043/512", + "1262": "3/4", + "1272": "-1/4", + "1273": "-7/16", + "1274": "3/2", + "1281": "-8", + "1283": "875/32", + "1284": "-3/2", + "1293": "369/128", + "1294": "-3/2", + "1295": "33/8", + "1302": "-8", + "1306": "9/64", + "1307": "109/16", + "1309": "-123/16", + "1318": "3/16", + "1319": "-285/32", + "1328": "3907/128", + "1329": "1/4", + "1334": "-17/4", + "1340": "159/256", + "1341": "-33/8", + "1001": "-1/4", + "1003": "-1/8", + "1004": "37/32", + "1006": "2", + "1010": "-131/512", + "1011": "1/4", + "1013": "61/32", + "1020": "-1473/64", + "997": "-1/16", + "995": "-63/16", + "992": "59/16", + "924": "4", + "913": "185/64", + "901": "-3/128", + "810": "305/64", + "791": "-3/8", + "1132": "3/2", + "757": "3/4", + "752": "-13", + "733": "-3/64", + "732": "-1/4", + "726": "-11/16", + "711": "-159/128", + "704": "8", + "697": "11/16", + "695": "35/2", + "691": "181/16", + "689": "-143/32", + "679": "29/32", + "672": "279/32", + "671": "-17", + "648": "-349/32", + "586": "11/32", + "554": "11/32", + "280": "-11/32", + "332": "-11/16", + "331": "11/8", + "249": "11/8", + "252": "169/32", + "126": "147/32", + "268": "-15/16", + "643": "3/16", + "640": "-431/256", + "802": "10", + "635": "33/16", + "582": "31/4", + "581": "31/4", + "575": "1/8", + "573": "-211/128", + "572": "-55/8", + "570": "-3", + "569": "-2783/128", + "568": "-29/64", + "565": "1245/64", + "564": "-1269/64", + "563": "-363/64", + "562": "29/32", + "560": "1141/128", + "553": "4", + "551": "159/128", + "548": "9/64", + "546": "24", + "545": "25/4", + "541": "-1/4", + "540": "23/128", + "539": "-1/4", + "538": "-1/4", + "537": "9/64", + "536": "-9/64", + "535": "-1/8", + "534": "4029/64", + "531": "-3/8", + "527": "305/64", + "526": "-17/32", + "525": "1/2", + "524": "-1141/128", + "523": "-1/4", + "516": "-1/8", + "1050": "33/2", + "507": "145/8", + "504": "3/16", + "502": "1/4", + "501": "-153/16", + "498": "3/16", + "497": "6", + "490": "571/16", + "487": "9/8", + "474": "-3/16", + "470": "-16", + "468": "-53/8", + "467": "-423/16", + "466": "131/4", + "464": "135/8", + "439": "5/4", + "392": "-47/16", + "377": "159/128", + "376": "1/8", + "372": "32", + "365": "67/128", + "359": "-1/16", + "352": "69/16", + "343": "1/8", + "340": "103/8", + "338": "1/8", + "328": "1/4", + "312": "-67/16", + "303": "-53/128", + "344": "-1021/512", + "295": "3/4", + "290": "-1", + "286": "-3/4", + "281": "-1915/1024", + "279": "1/8", + "276": "1/4", + "265": "-113/64", + "264": "-1", + "262": "1", + "248": "1/8", + "173": "-15/32", + "21": "65/4", + "3": "-503/256", + "491": "-1/4", + "260": "1", + "496": "-1", + "1161": "-1/2" + } +} diff --git a/research/p104-endpoint-funded-split/WORD.json.gz b/research/p104-endpoint-funded-split/WORD.json.gz new file mode 100644 index 0000000000..2325f2e976 Binary files /dev/null and b/research/p104-endpoint-funded-split/WORD.json.gz differ diff --git a/research/p104-endpoint-funded-split/adapt.py b/research/p104-endpoint-funded-split/adapt.py new file mode 100644 index 0000000000..051cbd3bb2 --- /dev/null +++ b/research/p104-endpoint-funded-split/adapt.py @@ -0,0 +1,41 @@ +# Successor: Rohan Arun/OpenAI Codex global output rechart; predecessor attribution retained. +"""Counted adapters invalidate same-native reuse in Rohan Arun's #7113 checks. +All edits apply only to temporary copies of authenticated source. Apache-2.0. +Prepared for dillona with substantial OpenAI Codex assistance. +""" +from hashlib import sha256 + +def adapt(folder,claim,frac): + changes=[] + def patch(name,old,new): + path=folder/name;raw=path.read_text() + if raw.count(old)!=1:raise ValueError('Exact one-occurrence adapter: '+name+' '+old) + path.write_text(raw.replace(old,new));changes.append(dict(file=name,old=old,new=new)) + patch('emit_odd_type_ab.py', + 'invoice=next(x for x in json.loads((root/"SHORT-CALLER-RAW-PRICE.json").read_text())["rows"] if tuple(x["shape"])==shape)', + 'invoice=json.loads((root/"COHORT-PRICE.json").read_text())') + patch('check_odd_partial_admission.py', + 'previous=json.loads((root/"SHORT-ADMISSION-PARTIAL.json").read_text())\nassert previous["native_sha256"]==digest and not N["bad_inputs"]', + 'actual_native=ind.native(w)\nassert actual_native==N and not N["bad_inputs"], "Fresh complete native inventory and arbitrary-input adjoint"') + patch('check_odd_partial_admission.py','claim=Q(".00363797977")','claim=Q('+repr(claim)+')') + # ToikY's frozen exact_price() already shrinks this probe below the + # certified crossing. Recompute that rule in the caller's separate gate. + patch('check_odd_partial_admission.py', + 'tested=claim+Q(7,10**17)', + 'tested=claim+Q(7,10**17)\nwhile tested>=Q(reference["raw_bracket"][0]):\n tested=claim+(tested-claim)/10') + patch('check_odd_partial_admission.py', + 'g=gate(invoice,claim,tested,*bracket,r["gate"]["BIT_pin"])', + 'g=gate(invoice,claim,tested,*bracket,r["gate"]["BIT_pin"])\ntry:\n gate(invoice,claim,Q(bracket[0]),*bracket,r["gate"]["BIT_pin"])\nexcept AssertionError:\n crossing_probe_rejected=True\nelse:\n raise AssertionError("Probe at lower crossing unexpectedly accepted")') + patch('check_odd_partial_admission.py', + '"scope":"Reuse exact same native word all-column adjoint;', + '"crossing_probe_rejected":crossing_probe_rejected,"scope":"Reuse exact same native word all-column adjoint;') + patch('check_odd_precision.py', 'env=ModuleType("short_envelope")', + 'patch(\'(life, peak, owned_count) == (54, 43, 51)\',\'(life, peak, owned_count) == (56, 44, 53)\')\nenv=ModuleType("short_envelope")') + patch('check_odd_precision.py','previous=json.loads((root/"SHORT-PRECISION.json").read_text())','') + patch('check_odd_precision.py', + 'assert previous["native_sha256"]==sha and grid_receipt["caller_sha256"]==sha256(cpath.read_bytes()).hexdigest()', + 'assert grid_receipt["caller_sha256"]==sha256(cpath.read_bytes()).hexdigest()') + patch('check_odd_precision.py', + 'wg=previous["native_grid"]\nwr=previous["rounded_native"]\nwp={key:(Q(v["exact"]),v["witness"]) for key,v in wr["bounds"].items()}', + f'wg=grid.word_run(w, frac={frac})\nwp,wr=env.native_envelope(w)\nwg=json.loads(json.dumps(wg,default=str));wr=json.loads(json.dumps(wr,default=str))\nassert wg==r["precision"]["word"] and wr==r["precision"]["rounded_native"], "Fresh changed-native grid and envelope"') + return dict(edits=changes,adapted_sha256={x['file']:sha256((folder/x['file']).read_bytes()).hexdigest() for x in changes}) diff --git a/research/p104-endpoint-funded-split/construct.py b/research/p104-endpoint-funded-split/construct.py new file mode 100644 index 0000000000..aedaa7a436 --- /dev/null +++ b/research/p104-endpoint-funded-split/construct.py @@ -0,0 +1,38 @@ +"""Materialize a bounded endpoint nomination; no acceptance claim. + +Retains Ali Romman, CubeJerry, Matarener and dillona's split/retiming methods. +Rohan Arun with OpenAI Codex assistance. Apache-2.0. +""" +import argparse, copy, gzip, json +from collections import Counter +from pathlib import Path +from support import L +from split import split +from retime import prepare + +def construct(source, witness): + word, hit = copy.deepcopy(source), copy.deepcopy(witness) + prefix=[] + for r in hit.get('extend_inputs',[]): + new,old=hit['group'][0],word['initial'][r] + L.need(L.span(word['frames'][new]) < L.span(word['frames'][old]),'Strict input extension') + prefix.append(['MOVE',r,new,old,False]);word['initial'][r]=new + if prefix: + word['program']=prefix+word['program'];offset=len(prefix);hit['cut']+=offset + for p in hit.get('paths',[]): + p['lo']+=offset;p['hi']+=offset;p['moves']=[i+offset for i in p['moves']] + for r in hit.get('elevate',[]): + new,old=hit['group'][1],word['final'][r] + L.need(L.span(word['frames'][old]) < L.span(word['frames'][new]),'Strict output extension') + word['program'].append(['MOVE',r,old,new,False]);word['final'][r]=new + if hit.get('paths'): + d=Counter() + for p in hit['paths']: + d.update(r for r in p['new_paid'] if r);d.subtract(p['old_paid']) + hit['paid_delta']={r:v for r,v in d.items() if v} + word,spec=prepare(word,hit) + else: + spec={k:hit[k] for k in ('frame','pivot','ranks','a','b','c','d')} + spec['cut_after']=hit['cut']-1 + return split(word,spec) + diff --git a/research/p104-endpoint-funded-split/derive_grid.py b/research/p104-endpoint-funded-split/derive_grid.py new file mode 100644 index 0000000000..f8cb37f00b --- /dev/null +++ b/research/p104-endpoint-funded-split/derive_grid.py @@ -0,0 +1,36 @@ +"""Derive a finite common grid from every exact prefix row and scalar product. +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. +""" +from fractions import Fraction as Q +from math import lcm +from pathlib import Path +import gzip,json,sys + +def derive(word): + n=word['public'];rows=[{r:Q(1)}for r in range(n)]+[{}for _ in range(word['owned_fields'])] + denom=1;peak=Q(1);witness=None;visits=0 + def observe(row,i,kind): + nonlocal denom,peak,witness,visits + for v in row.values():denom=lcm(denom,v.denominator);visits+=1 + mass=sum(map(abs,row.values())) + if mass>peak:peak=mass;witness=[i,kind] + for i,e in enumerate(word['program']): + op,r=e[:2] + if op in('INIT','CLEAR'):rows[r]={} + elif op=='SCALE': + rows[r]={k:Q(e[2])*v for k,v in rows[r].items()};observe(rows[r],i,'scale') + elif op in('ADD','COPY'): + if op=='COPY':assert not rows[r] + product={k:Q(e[3])*v for k,v in rows[e[2]].items()};observe(product,i,'product') + row=rows[r].copy() + for k,v in product.items(): + value=row.get(k,Q(0))+v + if value:row[k]=value + else:row.pop(k,None) + rows[r]=row;observe(row,i,'stored') + odd=denom;frac=0 + while odd%2==0:odd//=2;frac+=1 + return dict(odd_scale=odd,fractional_bits=frac,unscaled_maximum_mass=str(peak),scaled_maximum_mass=str(peak*odd),mass_witness=witness,coefficient_visits=visits),rows +if __name__=='__main__': + w=json.load(gzip.open(sys.argv[1],'rt'));result,rows=derive(w) + Path(sys.argv[2]).write_text(json.dumps(result,indent=2)+'\n');print(result) diff --git a/research/p104-endpoint-funded-split/inputs/pr7140.tar b/research/p104-endpoint-funded-split/inputs/pr7140.tar new file mode 100644 index 0000000000..1bd568fa06 Binary files /dev/null and b/research/p104-endpoint-funded-split/inputs/pr7140.tar differ diff --git a/research/p104-endpoint-funded-split/price.py b/research/p104-endpoint-funded-split/price.py new file mode 100644 index 0000000000..e94120f276 --- /dev/null +++ b/research/p104-endpoint-funded-split/price.py @@ -0,0 +1,54 @@ +# Successor: Rohan Arun/OpenAI Codex global output rechart; predecessor attribution retained. +"""Recompute both source invoices and two exact crossing engines. +Retains Rohan Arun's caller adapters and ToikY's attributed price engines. +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. +""" +from pathlib import Path +from hashlib import sha256 +from fractions import Fraction as Q +import gzip,importlib.util,json,sys + +def load(name,path): + spec=importlib.util.spec_from_file_location(name,path);obj=importlib.util.module_from_spec(spec);sys.modules[name]=obj;spec.loader.exec_module(obj);return obj + +def read(path): + raw=Path(path).read_bytes();return json.loads(gzip.decompress(raw) if raw[:2]==b'\x1f\x8b' else raw) + +def normalized(value):return json.loads(json.dumps(value,default=str)) + +def main(native,caller,previous_composition,folder): + source=load('composition_native_source',native/'source.py') + with source.sources() as (vendor,archive,rank9,bundle,parent,word): + sys.path.insert(0,str(folder)) + model=load('composition_signed_model',folder/'signed_model.py');ind=model.signed_model() + code=(folder/'independent.py').read_text();part=code[code.index('def invoices('):code.index('def ordinary(')] + assert part.count('assert calls==18')==1 + part=part.replace('assert calls==18',"assert calls==C['stages']") + old="elif e[1]=='IDLE_ONE':P[8*len(e[3])]+=ports";assert part.count(old)==1 + part=part.replace(old,"elif e[1] in ('IDLE_ONE','IDLE_ODD'):P[8*len(e[3])+(e[1]=='IDLE_ODD')]+=ports") + exec(compile(part,str(folder/'independent.py'),'exec'),ind.__dict__) + C=read(caller/'expected/ODD-TYPE-AB-CALLER.json') + old_word=word;new_word=read(native/'WORD.json.gz') + old_result=read(parent/'NATIVE-RESULT.json');new_result=read(native/'NATIVE-RESULT.json') + inventories=[ind.native(w) for w in (old_word,new_word)] + for n,r,w in zip(inventories,(old_result,new_result),(old_word,new_word)): + assert normalized(n)==r['native'] and not n['bad_inputs'] + assert sha256(json.dumps(w,sort_keys=True,separators=(',',':')).encode()).hexdigest()==r['word_canonical_sha256'] + before,after=[ind.invoices(w,C,n) for w,n in zip((old_word,new_word),inventories)] + previous=read(previous_composition/'RESULT.json')['price'] + assert normalized(before)==previous['after'],'Entire reconstructed current #7140 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-endpoint-funded-split/retime.py b/research/p104-endpoint-funded-split/retime.py new file mode 100644 index 0000000000..748bfe2be2 --- /dev/null +++ b/research/p104-endpoint-funded-split/retime.py @@ -0,0 +1,46 @@ +"""Checked simultaneous contact-free retiming, then attributed helper split. +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. +Extends #7105/#7107 retiming to an arbitrary finite cohort with an +exact declared total paid-histogram change; retains Ali Romman and CubeJerry split. +The complete signed invoice, not path cardinality, decides acceptance. +""" +from copy import deepcopy +from collections import Counter +from split import split +from support import L + +def prepare(word,hit): + paths=hit['paths'];L.need(1<=len(paths),'A nonempty finite retiming cohort') + L.need(len({p['role']for p in paths})==len(paths),'Distinct retimed roles') + f,cut=hit['frame'],hit['cut'];spaces=[L.span(x)for x in word['frames']];remove=set();paid_change=Counter() + for p in paths: + r,a,b=p['role'],p['old'],p['new'] + L.need(p['frame']==f and p['lo']<=cut<=p['hi'],'Cut in declared interval') + actual=[i for i in range(p['lo'],p['hi'])if word['program'][i][1]==r] + L.need(actual==p['moves'],'Every role event in interval is a relocated MOVE') + L.need(all(not(e[0]in('ADD','COPY')and e[2]==r)for e in word['program'][p['lo']:p['hi']]),'No intervening source read') + path=[word['program'][i]for i in actual] + L.need(path and all(e[0]=='MOVE'and e[1]==r and e[4]==p['private']for e in path),'Only MOVE events') + L.need(path[0][2]==a and path[-1][3]==b and all(x[3]==y[2]for x,y in zip(path,path[1:])),'Complete path') + L.need(spaces[a]<=spaces[f]<=spaces[b]or spaces[b]<=spaces[f]<=spaces[a],'Nested intermediate frame') + old_paid=Counter(abs(len(word['frames'][e[2]])-len(word['frames'][e[3]])) for e in path if spaces[e[2]]!=spaces[e[3]]) + new_paid=Counter(abs(len(word['frames'][x])-len(word['frames'][y])) for x,y in ((a,f),(f,b)) if spaces[x]!=spaces[y]) + L.need(old_paid==Counter(p['old_paid']) and new_paid==Counter(d for d in p['new_paid'] if d), 'Exact old and new path histogram declarations') + paid_change.update(new_paid);paid_change.subtract(old_paid) + L.need(not(remove&set(actual)),'Distinct removed events');remove.update(actual) + L.need({r:c for r,c in paid_change.items() if c}=={int(r):c for r,c in hit['paid_delta'].items()}, 'Entire declared retiming paid delta') + program=[];split_cut=None + for i in range(len(word['program'])+1): + if i==cut: + for p in paths: + if p['old']!=f:program.append(['MOVE',p['role'],p['old'],f,p['private']]) + split_cut=len(program)-1 + for p in paths: + if f!=p['new']:program.append(['MOVE',p['role'],f,p['new'],p['private']]) + if i= n) + if e[0] in ('ADD', 'COPY'): + e[2] += int(e[2] >= n) + return e + + def use_successor(event): + e = event.copy() + if e[1] == p: + e[1] = n + if e[0] in ('ADD', 'COPY') and e[2] == p: + e[2] = n + return e + + boundary, middle = basis(c, d, p, u), basis(a, b, p, f) + out = deepcopy(word) + out['public'] = n+1 + out['initial'].append(f) + out['final'].append(v) + out['final'][p] = f + out['program'] = inverse(boundary) + out['program'] += [shift_owned(e) for e in word['program'][:cut+1]] + out['program'] += [shift_owned(e) for e in middle] + out['program'] += [use_successor(shift_owned(e)) for e in inverse(middle)] + out['program'] += [use_successor(shift_owned(e)) for e in word['program'][cut+1:]] + out['program'] += [use_successor([*e[:-1], v]) for e in boundary] + return out diff --git a/research/p104-endpoint-funded-split/support.py b/research/p104-endpoint-funded-split/support.py new file mode 100644 index 0000000000..192cd38d27 --- /dev/null +++ b/research/p104-endpoint-funded-split/support.py @@ -0,0 +1,18 @@ +"""Small exact sparse operations, retained from Ali Romman/CubeJerry. Apache-2.0.""" +class L: + @staticmethod + def need(ok, why): + if not ok: raise ValueError(why) + @staticmethod + def add(dst, src, q): + for k,v in tuple(src.items()): + value=dst.get(k,0)+q*v + if value: dst[k]=value + else: dst.pop(k,None) + @staticmethod + def span(basis): + out={0} + for v in basis: + L.need(type(v) is int and 00,'Ordinary allowance') + gate,price=G.exact_price(vendor,archive,before,invoice,previous) + manifest=read(vendor/'INDEPENDENT-SOURCES.json');P=load('rechart_bit_binding',archive/'verify.py');P.bit_binding(I,manifest) + precision=base.precision(vendor,new,C,gate,manifest) + need(precision['word']['odd_scale_lcm']==1125 and precision['word']['dyadic_height']==25,'Fresh ingredient precision') + print('PASS full ingredient invoice, ordinary, precision, both prices and outer gates',flush=True) + charts=chart_check(vendor,old,new) + controls={} + bad=deepcopy(hit);bad['cut']=0 + controls['noncausal_cut']=rejects(lambda:construct(old,bad)) + bad=deepcopy(hit);bad['extend_inputs']=[] + controls['omitted_input_extension']=rejects(lambda:construct(old,bad)) + bad=deepcopy(hit);bad['paths'][0]['moves']=[] + controls['omitted_retimed_path_event']=rejects(lambda:construct(old,bad)) + bad=deepcopy(hit);bad['a'][next(iter(bad['a']))]='123' + controls['wrong_cut_coefficient']=rejects(lambda:construct(old,bad)) + scalar=next(i for i,e in enumerate(new['program'])if e[0]=='ADD') + controls['wrong_boundary_scalar_coefficient']=bool(I.native(new,mutant=scalar)['bad_inputs']) + bad=deepcopy(new);i=next(i for i,e in enumerate(bad['program'])if e[0]=='MOVE');bad['program'][i][2]=-1 + controls['wrong_move_source']=rejects(lambda:I.native(bad)) + bad=deepcopy(new);bad['final'][hit['pivot']]=old['final'][hit['pivot']] + controls['omitted_retiring_output_frame']=rejects(lambda:I.native(bad)) + A=new['public'] + owned_check=G.module('temporal_owned_census',vendor/'retained/query-only-precision-envelope/envelopes.py',(('(life, peak, owned_count) == (54, 43, 51)','(life, peak, owned_count) == (56, 44, 53)'),)) + need(owned_check.validate_word(new)['lifetimes']==56,'Fresh exact owned census in envelope validator') + bad=deepcopy(new);bad['program']=[['INIT',A,hit['frame']],['CLEAR',A,hit['frame']]]+bad['program'] + controls['extra_uncharged_owned_lifetime']=rejects(lambda:owned_check.validate_word(bad)) + grid_engine=G.module('rechart_grid_controls',vendor/'retained/odd-native-common-grid/independent_bounds.py') + controls['insufficient_odd_grid']=rejects(lambda:grid_engine.word_run(new,375,25)) + controls['insufficient_fractional_grid']=rejects(lambda:grid_engine.word_run(new,1125,24)) + need(all(controls.values()),'All native corruption controls') + physical_checks=[] + with tempfile.TemporaryDirectory(prefix='rechart-physical-') as tmp: + path=Path(tmp)/'word.json.gz';path.write_bytes(gzip.compress(canonical(new),mtime=0)) + for command,args in [(vendor/'frozen/verify_host3_odd.py',[path,'1125']),(vendor/'frozen/physical.py',[path,vendor/'frozen/clifford_exact.py','1000000009','11'])]: + subprocess.run([sys.executable,'-I','-B',str(command),*map(str,args)],check=True);physical_checks.append(command.name) + digest=sha256(canonical(new)).hexdigest() + engine=G.module('rechart_signed_routes',rank9/'physical_child.py',(('cca66a7ec924bab47ccd1410968d16e071a01dc6110b5c08040bd207f753d066',digest),)) + capture=io.StringIO() + with contextlib.redirect_stdout(capture):engine.main(path,vendor/'data/caller.json',caller_path) + signed_routes=json.loads(capture.getvalue()) + need(signed_routes['status']=='PASS_PHYSICAL_RANK9_ALGEBRA' and signed_routes['paid_calls']==32,'Signed physical fields') + need(1000*sum(len(row['caller_fields'])*row['ordinary_elementary_units'] for row in signed_routes['bindings'])==routes,'Actual signed-route charge') + print('PASS affected Gaussian chart columns, phase, corruption controls and finite physical replay',flush=True) + return normalized(dict(status='PASS_ENDPOINT_FUNDED_SPLIT_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)