diff --git a/docs/ci-verification.md b/docs/ci-verification.md index 63ba3e9aa8..52b62d0481 100644 --- a/docs/ci-verification.md +++ b/docs/ci-verification.md @@ -1,8 +1,25 @@ # CI verification -## Current selected-family replay: #6030 +## Current selected-family replay: #7000 with #7001 The [selected record](../certificates/selected-result.json) binds conditional +κ = 0.00363005817 to the [application review](research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md), +[validation receipts](research/pr-intake-evidence/pr7000-application/VALIDATION.json), +and [explicit source closure](../certificates/frontier7000-source.json). +`make frontier7000-verify` follows that exact-source selected replay. The review +reuses eleven authenticated preceding executions and records seven fresh serial +application, scalar and complete native-catalogue executions. The earlier +monolithic timeout is retained separately and is not completed coverage. +Consult the receipts for exact commands, source heads and limits. + +The five inherited framework assumptions remain. No complete uniform word, +literal multiplier execution, independent human proof or formal-kernel proof +is asserted. Routine research submissions do not need to rerun this +selected-family replay. The sections below preserve historical checkpoints. + +## Historical selected-family replay: #6030 + +The [historical checkpoint](../certificates/checkpoints/frontier6030.json) binds conditional κ = 0.003125804 to the [proof review](research/pr-intake-evidence/pr6030-audit/PROOF-REVIEW.md), [validation receipts](research/pr-intake-evidence/pr6030-audit/VALIDATION.json), and [explicit source closure](../certificates/frontier6030-source.json). diff --git a/research/p104-temporal-chart237-continuation/APPLICATION.md b/research/p104-temporal-chart237-continuation/APPLICATION.md new file mode 100644 index 0000000000..b4df538055 --- /dev/null +++ b/research/p104-temporal-chart237-continuation/APPLICATION.md @@ -0,0 +1,11 @@ +# Complete application verification + +The direct source-bound early, native and complete17-stage application checks passed at κ=0.003643989339627. Registered isolated-cache replay passed, matching every frozen receipt field; all 22 scientific hashes were unchanged. See REPLAY.txt and REPLAY-INTEGRITY.json. + +The unchanged signed caller is compared byte-for-byte with the authenticated source. Its complete invoice has110468 paid positions,22376 productive fields, surplus1424 and zero empty credit. Every changed native occurrence is charged. Ordinary work is780087468 <10^9. Full caller grid, rounded envelopes, physical bindings and fixed-tape substitution are freshly recomputed in RESULT.json. Precision context c=2380; the native minimal grid remains1125/F25, independently derived over exact prefix rows/scalar products and compared with integer replay. + +All3038 paid/helper maps and104 main boundaries are checked by complete signed Pauli action and exact Gaussian phase. Additionally,5 native chart pairs are checked on all512 columns. All18 native corruption controls and phase mutations reject. The exact timed coefficient certificate reconstructs both gathers and all six injections. Whole forward/adjoint, owned lifecycle census, physical replay, both directed price engines and54 strict plus4 functional outer conditions pass. The exact owned census is57 labels,60 lifetimes and peak45; ascent mass remains56. + +NATIVE-RESULT.json and RESULT.json contain the full receipts. EARLY-RESULT.json retains its historical narrower pending list. The initial full native scientific stages passed but receipt serialization found a metadata key mismatch; that was corrected and the entire native gate rerun. No failed receipt was promoted. + +Five inherited assumptions remain: native_all_columns, owned_erasure, compiler, precision_tape, analytic_recovery. Local finite replay, hosted scientific verification, overall CI, maintainer admission and independent human/formal acceptance are distinct. diff --git a/research/p104-temporal-chart237-continuation/DISCOVERY.json b/research/p104-temporal-chart237-continuation/DISCOVERY.json new file mode 100644 index 0000000000..25b15919d6 --- /dev/null +++ b/research/p104-temporal-chart237-continuation/DISCOVERY.json @@ -0,0 +1,60 @@ +{ + "status": "EXACT_TEMPORAL_NOMINATION_ONLY", + "counts": { + "frames": 3552, + "prefix_pure": 1440, + "suffix_pure": 1176, + "causal_nonzero_pairs": 1, + "resident_pairs": 1 + }, + "seconds": 20.422969208098948, + "scope": "Bounded nomination only; every accepted claim is reconstructed by separate exact source-aware checks.", + "source_head": "db8f31c4a1d9e191976e2c92951e6d2dea886a27", + "search_sha256": "e2fc08d79e546d0a8a50675be49255cd0271b13eceebf6358f75b78faec1d991", + "command": "python3.12 -B discover_temporal.py --word SOURCE_WORD --out OUTPUT --paid-limit 5000 --kappa .003643438506419", + "preceding_negative_screens": { + "scope": "Fresh complete-profile improvement on PR7145 endpoint/temporal composition", + "trigger_head": "db8f31c4a1d9e191976e2c92951e6d2dea886a27", + "status": "draft_published_full_verification_pending", + "artifact_dir": ".local/round5", + "existing_chart_results": { + "entry": "no_gain", + "exit": "no_gain" + }, + "endpoint_pool_result": "No nominees:51442 pair checks,20997 cost rejections; finite domain only.", + "expanded_catalogue": { + "source_frames": 1096, + "added_frames": 4653, + "interval_ranks": [ + 2, + 3 + ], + "intervals": 930 + }, + "additional_domain": "Bounded alpha-beta swaps on interacting public chart-label pairs; discovery only.", + "entry_pair_swaps": "No gain in2851 interacting label pairs", + "other_group_domain": "Up to12 most-populated remaining helper boundary groups of rank>=4; stop at first nominee.", + "expanded_exit": "no_gain_5748_labels", + "exit_pair_swaps": "no_gain_2851_pairs", + "other_helper_groups": "12 groups completed without a nominee", + "temporal_domain": "Exact pure prefix/suffix kernels across neutral contact-free paths, ordered by causal availability. Nomination only.", + "expanded_entry": "no_gain_5748_labels", + "neutral_temporal": "No nominee in977 frames;366 pure prefix and309 pure suffix kernel vectors.", + "transport_normalization": "No invoice change; directed gate correctly rejected unchanged candidate. No publication.", + "owned_monotone_paths": "No eligible contact-free monotone owned paths with multiple MOVEs.", + "paid_temporal_domain": "First5000 individually affordable existing-frame midpoint paths, combined with all neutral temporal observations. Nomination only.", + "temporal_nominee": { + "frame": 237, + "cut": 36813, + "pivot": 1082, + "paths_tested": 3552, + "status": "materialized_exact_gate_running" + }, + "pr": 7147, + "candidate_kappa": "0.003643989339627", + "candidate_package": "research/p104-temporal-chart237-continuation", + "early_exact": "passed_source_bound_packaged_gate" + }, + "packaged_search_sha256": "5c0dbcff3800c924cb425815f74aaec90b376f98c75d648e6ff20ff27b3ea5b1", + "packaging_note": "Original nomination script retained semantically; encode/smooth/legal dependencies inlined verbatim from the local discovery helper, with package-local support/split imports. No search rerun or acceptance is inferred." +} diff --git a/research/p104-temporal-chart237-continuation/EARLY-RESULT.json b/research/p104-temporal-chart237-continuation/EARLY-RESULT.json new file mode 100644 index 0000000000..8ab5bba6d4 --- /dev/null +++ b/research/p104-temporal-chart237-continuation/EARLY-RESULT.json @@ -0,0 +1,196 @@ +{ + "status": "PASS_EXACT_NATIVE_AND_PRICE_ONLY", + "word_sha256": "80cec71719bb2b620004756a05935c51643c2591af3b95dce0d93008331d6ad9", + "native": { + "public": 1496, + "events": 75356, + "paid": { + "1": 3996, + "2": 854, + "3": 828, + "4": 225, + "5": 343, + "6": 14, + "7": 10, + "8": 6 + }, + "helpers": { + "1": 16, + "2": 21, + "3": 47, + "4": 221, + "5": 77, + "6": 43, + "7": 19, + "8": 34, + "9": 618 + }, + "rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + }, + "owned_peak": 45, + "lifetimes": 60, + "bad_inputs": [] + }, + "native_delta": { + "T": { + "4": 1, + "5": 1, + "9": -1 + }, + "P": { + "1": 1, + "5": 1, + "6": -1 + } + }, + "invoice": { + "P": { + "1": 68316, + "16": 416, + "2": 14518, + "24": 416, + "3": 14076, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 272, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3757, + "41": 416, + "49": 416, + "5": 1309, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10922 + }, + "empty_root_credits": 0 + }, + "gate": { + "claim": "3643989339627/1000000000000000", + "tested": "364398933962707/100000000000000000", + "raw_bracket": [ + "455498667453447453365489878829/125000000000000000000000000000000", + "36439893396275796269239190306321/10000000000000000000000000000000000" + ], + "moment_margins": { + "455498667453447453365489878829/125000000000000000000000000000000": [ + "780455362880507767174966027441180074943709395865003/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "780455362880507767174966027441180074943709405614317/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36439893396275796269239190306321/10000000000000000000000000000000000": [ + "-756783933327105026331756121998310118451860218641251/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-151356786665421005266351224399662023690372035997407/20000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364398933962707/100000000000000000": [ + "9883208656882276382297043537364054733991804816283016255585218775884233/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "19766417313764552764594087074728109467983609632566032511170437590333837/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "moment_margin_float": { + "455498667453447453365489878829/125000000000000000000000000000000": [ + 3.121821451522031e-29, + 3.121821451522031e-29 + ], + "36439893396275796269239190306321/10000000000000000000000000000000000": [ + -7.56783933327105e-30, + -7.56783933327105e-30 + ], + "364398933962707/100000000000000000": [ + 1.9766417313764553e-10, + 1.9766417313764553e-10 + ] + }, + "derivative_upper": -381782.5117945118, + "alpha": [ + 0.9999999999999993, + 0.9999999999999993 + ], + "gamma": [ + 0.9408123391015217, + 0.9408123391015217 + ], + "delta": [ + 0.9046606894418722, + 0.9046606894418722 + ], + "minimum_log_power": 2236, + "written_log_power": 2237, + "compiler_gap": "1/100000000000000000", + "H": "16510400000000000000000", + "BIT_pin": "376669/100000000", + "BIT_margin": "12270066037293/100000000000000000", + "outer": { + "strict_count": 54, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "BIT_just_below_effective_rejected": true + }, + "input_lift": { + "margins": { + "3643989339627/1000000000000000": [ + "124326742487117040932614411598047912100586180480988105256614752326458953723007/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124326742487117040932614411598047912100586180480988105256614752326458953724949/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364398933962707/100000000000000000": [ + "124326742487119327345317160907404199369873157162722895489814752527181034413251/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62163371243559663672658580453702099684936578581361447744907376263590517207597/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "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.003643989339627", + "previous_claim": "3643438506419/1000000000000000", + "gain": "5.50833208E-7", + "gain_exact": "68854151/125000000000000", + "raw_bracket": [ + "0.003643989339627579626923919030632", + "0.0036439893396275796269239190306321" + ], + "independent_raw_bracket": [ + "0.00364398933962757962692391903063208", + "0.00364398933962757962692391903063209" + ], + "candidate_margin_at_old_upper": [ + "21364670663055541035769819970123863058294103575739813128035664955665103008548129/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "21364670663055541035769819970123863058294103575739813128035664955665103043187613/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "baseline_rejects_new_claim": true + }, + "pending": [ + "fresh integer grid", + "all affected physical chart maps", + "complete caller replay", + "ordinary and precision bounds", + "full source application" + ] +} \ No newline at end of file diff --git a/research/p104-temporal-chart237-continuation/ENVIRONMENT.json b/research/p104-temporal-chart237-continuation/ENVIRONMENT.json new file mode 100644 index 0000000000..ec0413d9bd --- /dev/null +++ b/research/p104-temporal-chart237-continuation/ENVIRONMENT.json @@ -0,0 +1,8 @@ +{ + "python": "3.12.14 (main, Aug 12 2026, 13:57:54) [Clang 21.0.0 (clang-2100.1.1.101)]", + "platform": "macOS-27.0.1-arm64-arm-64bit", + "verification_status": "PASS_REGISTERED_RESEARCH_PACKAGE", + "registered_command": "python3.12 -B scripts/research_package.py --package research/p104-temporal-chart237-continuation", + "hosted_scientific_ci": "not_established", + "completed_at": "2026-11-11T01:43:03.305277+00:00" +} diff --git a/research/p104-temporal-chart237-continuation/INPUTS.json b/research/p104-temporal-chart237-continuation/INPUTS.json new file mode 100644 index 0000000000..846018b08b --- /dev/null +++ b/research/p104-temporal-chart237-continuation/INPUTS.json @@ -0,0 +1,173 @@ +{ + "source_head": "db8f31c4a1d9e191976e2c92951e6d2dea886a27", + "archive": "inputs/pr7145.tar", + "archive_sha256": "0a94c51ff855018d08f8a48c0b9748a164652b7492f2b5afcbe102f7202fbda0", + "prefix": "research/p104-endpoint-temporal-composition", + "files": [ + { + "path": "research/p104-endpoint-temporal-composition/APPLICATION.md", + "size": 3563, + "sha256": "6502a122126d5b2fb98aad9c9288115cd4409e2253bcf230d79264c7ed4a582e" + }, + { + "path": "research/p104-endpoint-temporal-composition/DISCOVERY.json", + "size": 842, + "sha256": "6a4a783165da26e54533fd2e5857d041f5365597b5ae63055a81b08bcccdf4d4" + }, + { + "path": "research/p104-endpoint-temporal-composition/EARLY-RESULT.json", + "size": 6452, + "sha256": "9f235d0e073202492c3d7ebc25d8ea652258a6fc75e59389bbd19a2ff2255840" + }, + { + "path": "research/p104-endpoint-temporal-composition/ENVIRONMENT.json", + "size": 459, + "sha256": "100b9854c0b38b5fc308cff3016688abc04ce40bbd08212d2cc478c9be0d9029" + }, + { + "path": "research/p104-endpoint-temporal-composition/INPUTS.json", + "size": 7960, + "sha256": "779969c4e37846bd2936ff492f8ac6551d8115181adcedb73b512cdb6776e9aa" + }, + { + "path": "research/p104-endpoint-temporal-composition/NATIVE-RESULT.json", + "size": 74405, + "sha256": "fab2e781a9e3f5c72aad34764ad22ac1cb22b8598b4e9987f8e9cb40981c89c2" + }, + { + "path": "research/p104-endpoint-temporal-composition/NOTICE", + "size": 1355, + "sha256": "882db3703ae3be2ec3b380341eaf831ee0f40eb3f4a608f1ecf2dd43b2af8b63" + }, + { + "path": "research/p104-endpoint-temporal-composition/PEER-INPUTS.json", + "size": 7640, + "sha256": "8d42eea94d49164d144e9006590747b7122ecd282c7504efb8f2a29552fbb0d8" + }, + { + "path": "research/p104-endpoint-temporal-composition/PEER-RESULT.json", + "size": 79259, + "sha256": "b0af7a26e034bbebfdc1c1680584e62f9b72120e9583bde847f3cb0e42a3d2cb" + }, + { + "path": "research/p104-endpoint-temporal-composition/PROOF.md", + "size": 5723, + "sha256": "847a6ce00dd31e1b6188b1f91b8d7eb0c7a1a4a92d578de8e760f250dc82d782" + }, + { + "path": "research/p104-endpoint-temporal-composition/README.md", + "size": 3400, + "sha256": "9e6279b776ac02c78cdb3ea03f02024072207ab7135e7b49b31e5b4afa3baed5" + }, + { + "path": "research/p104-endpoint-temporal-composition/REPLAY.txt", + "size": 3905, + "sha256": "9b68e69b26c2a62e442f3df4df16d7d46cd8b41083d3e64e7d772fb2c060915d" + }, + { + "path": "research/p104-endpoint-temporal-composition/RESULT.json", + "size": 79309, + "sha256": "3b0ab0f1f25ab38fbef929b16da8f11c4f809ac2eda48911b54920edd912cf1d" + }, + { + "path": "research/p104-endpoint-temporal-composition/REUSE.json", + "size": 697, + "sha256": "e5597c9cfdefd13b023dade0a085a3f156e990369e5aa79243f6e251555fd1e0" + }, + { + "path": "research/p104-endpoint-temporal-composition/SOURCES.json", + "size": 856, + "sha256": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372" + }, + { + "path": "research/p104-endpoint-temporal-composition/TASK.json", + "size": 9980, + "sha256": "b81d0b8eaa5da24909481606d3f8bb94f6797583227bbe64e438fcef3c1ff018" + }, + { + "path": "research/p104-endpoint-temporal-composition/VALIDATION.md", + "size": 3198, + "sha256": "27768f4e4c8e8b47f8e8c03836f364e818c3876265ae9cfcdee22a9c3845bd08" + }, + { + "path": "research/p104-endpoint-temporal-composition/VERIFY.json", + "size": 1229, + "sha256": "ae5d19100e035e5b4520b3dc56dedc2eceeee586a191b7356cda35a37da9bb68" + }, + { + "path": "research/p104-endpoint-temporal-composition/WITNESS.json", + "size": 7219, + "sha256": "38c3a5bec55e3b13c655b22c8a65637805f942f49199513b0646341b47198251" + }, + { + "path": "research/p104-endpoint-temporal-composition/WORD.json.gz", + "size": 374504, + "sha256": "970bf3cdfa02bd31d6c76ff5b55ef196e804c8b248bc6482c37ab91aa2425da7" + }, + { + "path": "research/p104-endpoint-temporal-composition/adapt.py", + "size": 3488, + "sha256": "8ab546447f995fe88361d914e2d9cc725ad7dc9de2f1e30e54678ef45f3a52be" + }, + { + "path": "research/p104-endpoint-temporal-composition/construct.py", + "size": 1628, + "sha256": "04c387a646d0e63f040c62d9baa2f2e20dc3c6f61d4c717eeea7704ee63205b2" + }, + { + "path": "research/p104-endpoint-temporal-composition/derive_grid.py", + "size": 1510, + "sha256": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0" + }, + { + "path": "research/p104-endpoint-temporal-composition/inputs/endpoint7142.tar", + "size": 12984320, + "sha256": "d7c449dfb5720e34a6dcf6c8fcd49ca956cbf3a6a66b6833e702b4998f043db7" + }, + { + "path": "research/p104-endpoint-temporal-composition/inputs/temporal7143.tar", + "size": 12994560, + "sha256": "578a8497cbd199d756bd1311bffee103c64d1556ddc915157f2a719105c23719" + }, + { + "path": "research/p104-endpoint-temporal-composition/price.py", + "size": 3875, + "sha256": "5068ddfbdc5f351a21fd35d42ac8aad6cad673128524a8eb2ddf42ea3a6b72cc" + }, + { + "path": "research/p104-endpoint-temporal-composition/retime.py", + "size": 3061, + "sha256": "42ffab76b8664088f444ba7d815537a541af72c5fa5eef897989b90399b9e564" + }, + { + "path": "research/p104-endpoint-temporal-composition/source.py", + "size": 3809, + "sha256": "ca8f0e9e5d4cd00b85bd14942ee128e2d8633dfb4a9c2e7a89a4ed7dfc75610c" + }, + { + "path": "research/p104-endpoint-temporal-composition/split.py", + "size": 6551, + "sha256": "999b9eeabe5cd1a7e3ec014d1a449f850b4ac9bfb19749cddef41ae12cd0b405" + }, + { + "path": "research/p104-endpoint-temporal-composition/support.py", + "size": 606, + "sha256": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6" + }, + { + "path": "research/p104-endpoint-temporal-composition/verify.py", + "size": 3826, + "sha256": "02ca4f6ffcde038575f79f52bada90bc2ad8c79ea29b88fd8fdf1860069488a3" + }, + { + "path": "research/p104-endpoint-temporal-composition/verify_early.py", + "size": 2910, + "sha256": "a82aa7d0d802fcf8de86dd282cc960b968f67cb022fcbea1a1de345a832b6cba" + }, + { + "path": "research/p104-endpoint-temporal-composition/verify_native.py", + "size": 12430, + "sha256": "14c008e44d1b8e7f7a0b493fd796d72fe702753d6ce2a814de4d41b8d332cc10" + } + ] +} diff --git a/research/p104-temporal-chart237-continuation/NATIVE-RESULT.json b/research/p104-temporal-chart237-continuation/NATIVE-RESULT.json new file mode 100644 index 0000000000..5fc907436e --- /dev/null +++ b/research/p104-temporal-chart237-continuation/NATIVE-RESULT.json @@ -0,0 +1,3088 @@ +{ + "caller": { + "bad_outputs": [], + "caller_denominator_height_bound": 431, + "caller_mass_bound": "2031778024781380738667307850969872261300825114412066667930609010754885615256246771273722516797028373875488084463456734932931819440254377992064287155336455679722182496470290893143689397339193405421398373633/137438953472", + "caller_mass_ceiling_bits": 642, + "max_terms": 3998 + }, + "charts": { + "new_pairs": [], + "rechecked_pairs": [ + { + "columns": 512, + "pair": [ + 3, + 127 + ], + "rank": 9 + }, + { + "columns": 512, + "pair": [ + 3, + 237 + ], + "rank": 4 + }, + { + "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, + "gather_after_retirement": true, + "incomplete_paid_path": true, + "injection_before_retirement": true, + "insufficient_fractional_grid": true, + "insufficient_odd_grid": true, + "omitted_accumulator_init": true, + "omitted_gathers_observation": true, + "omitted_injections_observation": true, + "omitted_paid_midpoint_cost": true, + "omitted_retiring_output_frame": true, + "public_erasure_rejected": true, + "retirement_before_last_gather": true, + "wrong_boundary_scalar_coefficient": true, + "wrong_gathers_coefficient": true, + "wrong_injections_coefficient": true, + "wrong_move_source": true, + "wrong_productive_ranks": true + }, + "derived_grid": { + "coefficient_visits": 15837869, + "fractional_bits": 25, + "mass_witness": [ + 65612, + "stored" + ], + "odd_scale": 1125, + "scaled_maximum_mass": "814656664575075/8192", + "unscaled_maximum_mass": "10862088861001/122880" + }, + "forward": { + "coefficient_positions": 2411809, + "fractional_bits": 25, + "grid": 1125, + "rows": 1553 + }, + "gate": { + "BIT_margin": "12331316838793/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16502900000000000000000", + "alpha": [ + 0.9999999999999993, + 0.9999999999999993 + ], + "claim": "910844207903/250000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.8845843005222185, + 0.8845843005222185 + ], + "derivative_upper": -407066.3720426225, + "gamma": [ + 0.9499700513666809, + 0.9499700513666809 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "364337683161207/100000000000000000": [ + "62153367982510584402531776454900319140436001308495404452268552261506352281691/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "24861347193004233761012710581960127656174400523398161780907420904602540913071/20000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "910844207903/250000000000000": [ + "15538341995627360294783587530431207558773770733623627715343227033152288732011/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "6215336798250944117913435012172483023509508293449451086137290813260915492901/5000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2235, + "moment_margin_float": { + "2277110519757866281050475251383/625000000000000000000000000000000": [ + 2.4806490258464606e-30, + 2.4806490258464606e-30 + ], + "364337683161207/100000000000000000": [ + 2.136685454222677e-10, + 2.136685454222677e-10 + ], + "36433768316125860496807604022129/10000000000000000000000000000000000": [ + -3.8923997346073704e-29, + -3.8923997346073704e-29 + ] + }, + "moment_margins": { + "2277110519757866281050475251383/625000000000000000000000000000000": [ + "24806490258464606740264881610018295286706688482293/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62016225646161516850662204025045738216766731677553/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364337683161207/100000000000000000": [ + "5341713635556692257656340354325474293295193727047921285739735413431681/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "534171363555669225765634035432547429329519372704792128573973542395873/2500000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36433768316125860496807604022129/10000000000000000000000000000000000": [ + "-1946199867303685146109265899549497526375479843597093/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-1946199867303685146109265899549497526375479822712833/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "2277110519757866281050475251383/625000000000000000000000000000000", + "36433768316125860496807604022129/10000000000000000000000000000000000" + ], + "tested": "364337683161207/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": 65241, + "CLEAR": 60, + "COPY": 1, + "INIT": 60, + "MOVE": 6276, + "SCALE": 3718 + }, + "owned_lifetimes": 60, + "owned_peak": 45, + "owned_rise_mass": 56, + "owned_rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + }, + "paid": { + "1": 3996, + "2": 854, + "3": 828, + "4": 225, + "5": 343, + "6": 14, + "7": 10, + "8": 6 + } + }, + "invoice": { + "P": { + "1": 72312, + "16": 416, + "2": 15372, + "24": 416, + "3": 14904, + "32": 416, + "4": 4050, + "40": 416, + "48": 416, + "5": 6174, + "56": 416, + "6": 252, + "64": 416, + "7": 180, + "8": 780, + "9": 32 + }, + "S": 1520, + "T": { + "1": 288, + "145": 208, + "17": 416, + "2": 378, + "25": 416, + "3": 846, + "33": 416, + "4": 3978, + "41": 416, + "49": 416, + "5": 1386, + "57": 416, + "6": 774, + "65": 416, + "7": 342, + "73": 416, + "8": 612, + "9": 11540 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036433768316125860496807604022128059912334561774912950111631626209", + "raw_crossing": "0.0036433768316125860496807604022128059912334561774912950111631626209" + }, + "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": 75356, + "helpers": { + "1": 16, + "2": 21, + "3": 47, + "4": 221, + "5": 77, + "6": 43, + "7": 19, + "8": 34, + "9": 618 + }, + "lifetimes": 60, + "owned_peak": 45, + "paid": { + "1": 3996, + "2": 854, + "3": 828, + "4": 225, + "5": 343, + "6": 14, + "7": 10, + "8": 6 + }, + "public": 1496, + "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": 853962424, + "extra_B_scalar_surcharge": 784256, + "init_clear_allowance": 240, + "lambda_paid_rank1_would_reduce_S_by": 14384, + "lambda_second_charge": 14384000, + "margin_to_billion": 146037576, + "odd_divisions": { + "ADD": 5365, + "SCALE": 71 + }, + "per_input_conversion": 2800512, + "raw_upper": 835993656, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2192, + "moves": 6276, + "owned_lifetime": 240, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9908000, + "scalar_upper": 2103532 + }, + "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": "147209927969148050879772933378382602770738175361056248992142465992541078963932308685338955289656618153666652938583491537516607974095571328062831701762519667534448148732280166514619130507658871962335351331973106410023909235557120753197449438403577630028238214315882682101732828232051390934041496942380127457804073507147723/3028147527897511472958985459201159987200000000000000000000", + "strict_power_of_two": 873, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Gamma_context": { + "exact": "94870033744445385886092669466071720456849825524003867568690050631973754376758564539267782547182538503699798280354817280720738790041442483506147052502203351452195847706548128154836375964362157742004599861213779979143869154577089132238063674217353378517399298578199342746775197556952377499488291117107646291964166965340271743/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": "340074400511356119255368959321920394449047825696547638852791928474566059637733092534692687463482607173811797268559506356821358788797214567524551360912614877845798465210839743746250727816745291022255685197971709684969975487258346309487781023511531049506251496985592077769900629811473725745163039915420033924424457093230028860973/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": "94870033744445385886092669466071720456849825524003867568690050631973754376758564539267782547182538503699798280354817280720738790041442483506147052502203351452195847706548128154836375964362157742004599861213779979143869154577089132238063674217353378517399298578199342746775197556952377499488291117107646291964166965340271743/14535108133908055070203130204165567938560000000000000000000", + "strict_power_of_two": 880, + "witness": { + "cut": 5098, + "event": 5097, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "Sigma_context": { + "exact": "11337960703161701601559311067271024982294418418722942208871248238112456491995944720926103796442153351366937590734686859420799203164144157957795882337892870957985593641275839768643477049035753038438905954146504950888955170599463668306506910458487067457547711222134592769569686914003891893394776704961366589683098114728027482692883089506723395716576662018253588438087001012250744056934520140964764303556145804485396283252061185650012981575234423163504100102145457/1074571576255290237233822487364559965862129825179453828494763780084020019200000000000000000000000000000000000000000", + "strict_power_of_two": 1150, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 19728, + "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": "147209927969148050879772933378382602770738175361056248992142465992541078963932308685338955289656618153666652938583491537516607974095571328062831701762519667534448148732280166514619130507658871962335351331973106410023909235557120753197449438403577630028238214315882682101732828232051390934041496942380127457804073507147723/3028147527897511472958985459201159987200000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "94870033744445385886092669466071720456849825524003867568690050631973754376758564539267782547182538503699798280354817280720738790041442483506147052502203351452195847706548128154836375964362157742004599861213779979143869154577089132238063674217353378517399298578199342746775197556952377499488291117107646291964166965340271743/14535108133908055070203130204165567938560000000000000000000" + }, + "M_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528104995/131072", + "residual_mass": "94870033744445385886092669466071720456849825524003867568690050631973754376758564539267782547182538503699798280354817280720738790041442483506147052502203351452195847706548128154836375964362157742004599861213779979143869154577089132238063674217353378517399298578199328211667063648897307296358086951539707731964166965340271743/14535108133908055070203130204165567938560000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "147209927969148050879772933378382602770738175361056248992142465992541078963932308685338955289656618153666652938583491537516607974095571328062831701762519667534448148732280166514619130507658871962335351331973106410023909235557120753197449438403577630028238214315882682101732828232051390934041496942380127457804073507147723/3028147527897511472958985459201159987200000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "94870033744445385886092669466071720456849825524003867568690050631973754376758564539267782547182538503699798280354817280720738790041442483506147052502203351452195847706548128154836375964362157742004599861213779979143869154577089132238063674217353378517399298578199342746775197556952377499488291117107646291964166965340271743/14535108133908055070203130204165567938560000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "4384", + "entrance_mass": "23859/2", + "event": 49, + "stage": 1 + }, + { + "entrance_defect": "18653923154431334897144439916457916171326617618108997072125449397312778800341438407868677021589069971658642277444697744759584237668023508883753/554470372539827540214657982031462400000000000000000000", + "entrance_mass": "44760984243/4", + "event": 144, + "stage": 2 + }, + { + "entrance_defect": "53472445765156721785551396764786360184453977466428093129818609184914770961273010783711645797480183268322285858113047964249793873643107968337646941103387/35486103842548962573738110850013593600000000000000000000", + "entrance_mass": "8019347752894898813/16", + "event": 275, + "stage": 3 + }, + { + "entrance_defect": "690055178085052753722906260333299560619411689708661167456157502608699828370113278675829798566214539579673486518949913988636938863447587129704478469474790526599/1774305192127448128686905542500679680000000000000000000", + "entrance_mass": "258721681913211409397548013/2", + "event": 435, + "stage": 4 + }, + { + "entrance_defect": "2451051607481063715630247781171992673922763850062982922476340296511922707022032959391727949510946404760635338984358780547096901662242795953343747938191805187052976620703/11828701280849654191246036950004531200000000000000000000", + "entrance_mass": "1102764325780487636837595009524032653/16", + "event": 627, + "stage": 5 + }, + { + "entrance_defect": "4398815579356802377567759830932672529177663191038554180975825590629313467382759832644257160480182620324663397590708286433753627398721053894842145886326396017232676213117199119209/8871525960637240643434527712503398400000000000000000000", + "entrance_mass": "659697369868562418053848749577901431896032551/4", + "event": 848, + "stage": 6 + }, + { + "entrance_defect": "66702898877795951417586025678828262539535059407529875305826337833647172141446162987920257500455753332025419482064911757907997214265691305717753745297601590364918220997655088491567304275191/56777766148078340117980977360021749760000000000000000000", + "entrance_mass": "50017699262951285012300223375874644326538714050483088723/128", + "event": 1101, + "stage": 7 + }, + { + "entrance_defect": "275297936428488203735657786522585738331397363872091495248973160545543764841187775754434013848122905780838149354041953165473225703423613826990828080619354101308391304856483431353409180790571678866057/23657402561699308382492073900009062400000000000000000000", + "entrance_mass": "123860608372223676361208276303474840021608894935793894644443117475/32", + "event": 1383, + "stage": 8 + }, + { + "entrance_defect": "2979854340736075667360756410038649253963583179138399551320687641342914071399799308408250098855872743010188117084128604549520807677467794548157717921338787427039372826865266711973758534268352232787642496413113/141944415370195850294952443400054374400000000000000000000", + "entrance_mass": "446893495694686287960280473450842802655971489871616126572592413520841719161/64", + "event": 1662, + "stage": 9 + }, + { + "entrance_defect": "85521623172579225425161233867514117492702313789111764114516512443173077510855776342990888167487693733491821353954848348260617880014420458998258952394011468598146423558186514258371683267765252350928141121965659047927212378945458764538234270280867096009/35486103842548962573738110850013593600000000000000000000", + "entrance_mass": "1603226733879417057855793968966209778425632456862348198524030211565823693253398434234475406089669867705587698766845597/2", + "event": 3203, + "stage": 10 + }, + { + "entrance_defect": "1066806962911392359987171158005718405110199172737541134851484511896730098114770073055745707917660387557844986408720904421633953418015213733727515487232448235309605689516666255789000473401392275935411187756566894775407808117904793039840351868395760181883774755351/567777661480783401179809773600217497600000000000000000000", + "entrance_mass": "159990737255009044304340266028013949411590186711547802615104749842798991699729693917477577741470706009608765481680513095697397863/256", + "event": 3526, + "stage": 11 + }, + { + "entrance_defect": "4757451303851188950659019436596598369511553910852549448801153075125040636421497486470348367202557875965640545907608347540918576451580765710736198539514097360666318849521241386568479381275774742584526891986043314507714365559549842710159885499711581728105822949018581507631/2271110645923133604719239094400869990400000000000000000000", + "entrance_mass": "713482539972112811302498126039122556478474335397824876612540289480809876975347015211250548661355667282704396311981650378099911649135840063/1024", + "event": 3821, + "stage": 12 + }, + { + "entrance_defect": "511673099704733522156578820606465289697963124472241787029678199500958328075358255061811367657917214637151817967008852338511078981631451544443638990271500814127033540859237070852829023291345654452914574856598031521328030937083633398918774746035669331255002885142339370046758098149/252345627324792622746582121600096665600000000000000000000", + "entrance_mass": "690627858377635566118234917748020783796286454330854789097666289598705747090709204201800639258908872647850357504982405971722609074791401430947671165/1024", + "event": 4088, + "stage": 13 + }, + { + "entrance_defect": "3139694778451108859109506937630435868053454420450400826232111915449270643067614772110607491056986667366491702262257529526915031759617219513570814413391493838040245832251932022845754045530048829479757717957660743456880543252793097884491388368134395155541119117027310401753121460621031438087/4542221291846267209438478188801739980800000000000000000000", + "entrance_mass": "470865020405587123936906066570155601953174646068287322382245101819760273515813542612024822098129182481570490831889396523550001544922531326945370763196989399/2048", + "event": 4324, + "stage": 14 + }, + { + "entrance_defect": "309829804310705604991545921820420818371325927971678389688694030287301310632512534178944940343357473284080057057058944831219252482017730575430717727369677525205385379337572702963658397394075478808467604640800271288541469605305231954885706509529522099428188865816874625081378651942373876301105377241/2271110645923133604719239094400869990400000000000000000000", + "entrance_mass": "46465668615402712050475352820015987705766128000689019237904160504542353131957951954454381327545881694314550682714483945959032017848349099581053150524269011108711881/1024", + "event": 4532, + "stage": 15 + }, + { + "entrance_defect": "151353410118754991934527531131013506419049715308901961646848096986027185482308345883903014758222725163688652403134114492221017398399967627502248473763807750765587096242758788612615664983586109197874572088223762176983432036107127551061418752860801987769383524326438559657895763373515555379175163629375602639/18168885167385068837753912755206959923200000000000000000000", + "entrance_mass": "22698711681515933658235268009935719580127806482189476469420786919611768582281970304620813093468639555288906634046185136362302550495196405154606658307111274865117192668126623/8192", + "event": 4709, + "stage": 16 + }, + { + "entrance_defect": "312551866423611458409228316573928949203163378707370136176329811812962906540893077062146345896190809316188016166454529234274977708022976333709491004119518883422755333534902256939966699451865944943817993518110958053955072310642554070749651158394818754599515249342974985495206760857879947746802756921596139587673361/3633777033477013767550782551041391984640000000000000000000", + "entrance_mass": "234369503003028720835110712559034466962392865438574454855472632480300248897620917700915501102797005900029816899906431175273180672543487679750570754841237111980601879269511857634373/8192", + "event": 4858, + "stage": 17 + }, + { + "entrance_defect": "147209927969148050879772933378382602770738175361056248992142465992541078963932308685338955289656618153666652938583491537516607974095571328062831701762519667534448148732280166514619130507658871962335351331973106410023909235557120753197449438403577630028238214315882682101732828232051390934041496942380127457804073507147723/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": "132174526889424257584403426011704842815020212555065840050204770017308591311203322636843253101770900440123306468061941623787716643884217563/2217881490159310160858631928125849600000000000000000000", + "strict_power_of_two": 275, + "witness": { + "cut": 75356, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "77018994979318838576921794094580567878394740338514110234383767051181358856922326935800973392966497673653159627357435024676197811365227452659/354861038425489625737381108500135936000000000000000000000", + "strict_power_of_two": 277, + "witness": { + "cut": 73836, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "132174526889424257584403426011704842815020212555065840050204770017308591311203322636843253101770900440123306468061941623787716643884217563/2217881490159310160858631928125849600000000000000000000", + "strict_power_of_two": 275, + "witness": { + "cut": 73836, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 75356, + "lifetimes": 60, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 65241, + "CLEAR": 60, + "COPY": 1, + "INIT": 60, + "MOVE": 6276, + "SCALE": 3718 + }, + "owned_labels": 57, + "peak_owned": 45, + "public": 1496, + "scalars": { + "dyadic": 63524, + "integer": 39519, + "noninteger": 29441, + "odd": 5436 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26790, + "entrance_mass": "77018994979318838576921794094580567878394740338514110234383767051181358856922326935800973392966497673653159627357435024676197811365227452659/354861038425489625737381108500135936000000000000000000000", + "residual_mass": "132174526889424257584403426011704842815020212555065840050204770017308591311203322636843253101770900440123306468061941623787716643884217563/2217881490159310160858631928125849600000000000000000000" + }, + "M": { + "active_residual_sites": 26790, + "entrance_mass": "77018994979318838576921794094580567878394740338514110234383767051181358856922326935800973392966497673653159627357435024676197811365227452659/354861038425489625737381108500135936000000000000000000000", + "residual_mass": "132174526889424257584403426011704842815020212555065840050204770017308591311203322636843253101770900440123306468061941623787716643884217563/2217881490159310160858631928125849600000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26790, + "entrance_mass": "77018994979318838576921794094580567878394740338514110234383767051181358856922326935800973392966497673653159627357435024676197811365227452659/354861038425489625737381108500135936000000000000000000000", + "residual_mass": "132174526889424257584403426011704842815020212555065840050204770017308591311203322636843253101770900440123306468061941623787716643884217563/2217881490159310160858631928125849600000000000000000000" + } + } + }, + "scope": "Exact-child grid and attributed all-fibre error envelope, with one signed unitary per fused event", + "word": { + "coefficient_visits": 15837869, + "dyadic_height": 25, + "mass_witness": [ + 65612, + "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": [ + "2261767409793883792387658756231739985988853257747665325339391582857627667485737/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "11308837048969418961938293781158699929944266288738326626696957914288138356052599/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003643376831612", + "gain": "5.46258703E-7", + "gain_exact": "546258703/1000000000000000", + "independent_raw_bracket": [ + "0.0036433768316125860496807604022128", + "0.00364337683161258604968076040221281" + ], + "previous_claim": "3642830572909/1000000000000000", + "raw_bracket": [ + "0.0036433768316125860496807604022128", + "0.0036433768316125860496807604022129" + ] + }, + "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": "80cec71719bb2b620004756a05935c51643c2591af3b95dce0d93008331d6ad9" + }, + "source_head": "db8f31c4a1d9e191976e2c92951e6d2dea886a27", + "status": "PASS_TEMPORAL_CHART237_NATIVE", + "word_canonical_sha256": "80cec71719bb2b620004756a05935c51643c2591af3b95dce0d93008331d6ad9" +} diff --git a/research/p104-temporal-chart237-continuation/NOTICE b/research/p104-temporal-chart237-continuation/NOTICE new file mode 100644 index 0000000000..2746028de5 --- /dev/null +++ b/research/p104-temporal-chart237-continuation/NOTICE @@ -0,0 +1,15 @@ +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. + +Composition prepared for dillona with substantial OpenAI Codex assistance; no subagents. Apache-2.0. Full #7143 and completed #7142 packages retain every nested source notice. Rohan Arun owns the endpoint-funded construction; Ali Romman the split identities. CubeJerry, Matarener, ToikY and every retained author remain credited. + +New chart237 timed instance and source-specific application: Rohan Arun with substantial OpenAI Codex assistance. Retains Ali Romman’s causal-history identity, CubeJerry’s retiming, Matarener’s kernels, dillona’s predecessors, ToikY’s pricing, and all nested author notices. Apache-2.0. diff --git a/research/p104-temporal-chart237-continuation/PATHS.json b/research/p104-temporal-chart237-continuation/PATHS.json new file mode 100644 index 0000000000..588955f415 --- /dev/null +++ b/research/p104-temporal-chart237-continuation/PATHS.json @@ -0,0 +1,106 @@ +[ + { + "role": 794, + "lo": 36813, + "hi": 36815, + "frame": 237, + "moves": [ + 36814 + ], + "frames": [ + 382, + 237 + ] + }, + { + "role": 794, + "lo": 36903, + "hi": 46491, + "frame": 237, + "moves": [ + 46490 + ], + "frames": [ + 237, + 127 + ] + }, + { + "role": 795, + "lo": 37076, + "hi": 37345, + "frame": 237, + "moves": [ + 37344 + ], + "frames": [ + 237, + 477 + ] + }, + { + "role": 878, + "lo": 37076, + "hi": 45038, + "frame": 237, + "moves": [ + 45037 + ], + "frames": [ + 237, + 267 + ] + }, + { + "role": 1082, + "lo": 34102, + "hi": 36821, + "frame": 237, + "moves": [ + 36820 + ], + "frames": [ + 376, + 237 + ] + }, + { + "role": 1082, + "lo": 37068, + "hi": 37352, + "frame": 237, + "moves": [ + 37351 + ], + "frames": [ + 237, + 517 + ] + }, + { + "role": 1092, + "lo": 36807, + "hi": 36835, + "frame": 237, + "moves": [ + 36834 + ], + "frames": [ + 379, + 237 + ] + }, + { + "role": 1095, + "lo": 38010, + "hi": 45553, + "frame": 237, + "moves": [ + 45552 + ], + "frames": [ + 237, + 127 + ] + } +] \ No newline at end of file diff --git a/research/p104-temporal-chart237-continuation/PROOF.md b/research/p104-temporal-chart237-continuation/PROOF.md new file mode 100644 index 0000000000..50b641591a --- /dev/null +++ b/research/p104-temporal-chart237-continuation/PROOF.md @@ -0,0 +1,17 @@ +# Temporal chart237 continuation + +The complete33-file PR7145 source at db8f31c4a1d9e191976e2c92951e6d2dea886a27 is retained with nested sources and notices. INPUTS.json authenticates every exported member. The source constructor is replayed and every canonical word byte compared before any candidate check. + +This uses Ali Romman's causal-history owned-buffer identity, CubeJerry's temporal coefficient and contact-free retiming methods, Matarener's exact kernels, and dillona's retained generic constructor. It is a new timed instance, not a new mechanism. Rohan Arun supplied this instance and the paid-path search, with substantial OpenAI Codex assistance. All nested authors remain credited under Apache-2.0. + +A cut denotes the instant before that original source event. In normalized coordinates, let P(t,r) be the complete forward row and S(t,r) the final response to a unit injection. The two gathers and six injections in WITNESS.json satisfy exact full-coordinate identities c = −4 e229 and d = −e233/4 − e549/2 − e1082/4 − e229/4. Hence c d = 1. Every support lies in the helper boundary group (3,127), and all other coefficients cancel. certificate.py reconstructs these identities from the source; no discovery arithmetic is trusted. + +All gathers occur at or before cut36813, and all injections after it. Contact-free paths in PATHS.json are retimed without changing their paid ranks. Role820's rank-six path734→127 becomes734→237→127 of ranks one and five; it supplies a later injection at45550. The constructor checks complete path intervals, every source read and target write, actual frames and pivot residency. Its timing need not precede the retirement cut because this path funds a later injection. + +Let G have pivot1082 row c and G d = e1082, using the credited basis constructor. Prepend G inverse on the original helper inputs. A zero-initialized owned accumulator A gathers c, so at retirement A equals the original independent pivot input x. Let v be the current pivot value and z a fresh arbitrary public input at chart237. Initialize owned B and emit B+=z; B-=A; z+=pivot; z-=A; z-=B; pivot+=A; pivot-=z. Then B=z_original−x, the successor slot contains v, and the retired pivot contains x. Explicitly clear A under the inherited owned-erasure contract. Redirect the remaining pivot uses to the successor, perform the scheduled injections of B, clear B, and finish with G at127. Because the response is d and G d=e1082, the continuing pivot output becomes the fresh input z_original, with every other public helper and main action preserved. Exact whole-word forward and adjoint checks are separate obligations. + +The new public count is1496; owned labels/lifetimes/peak are57/60/45, compared with55/58/44. There are30 additional instructions. The productive delta is T4+1,T5+1,T9−1; the paid delta is P1+1,P5+1,P6−1. Both rank masses remain unchanged. Every change is repeated17 times in the full caller, preserving surplus1424 and zero empty credit. For p=1−κ, the signed native improvement is 4^p+6^p−9^p−1. The complete directed engines certify κ=0.003643989339627, gain0.000000550833208 over7145, and reject the source invoice at the new claim. + +The new owned census is enforced by counted substitutions in temporary authenticated envelope engines; the lifecycle validation is retained. All physical, grid, ordinary, precision, fixed-tape, complete-catalogue and outer-condition obligations are reported separately in APPLICATION.md when completed. + +The five inherited assumptions remain native_all_columns, owned_erasure, compiler, precision_tape and analytic_recovery. Local finite checks do not establish maintainer admission, independent human/formal acceptance, or the complete multiplication theorem. No temporal optimum is claimed. diff --git a/research/p104-temporal-chart237-continuation/README.md b/research/p104-temporal-chart237-continuation/README.md new file mode 100644 index 0000000000..bb5732ca3c --- /dev/null +++ b/research/p104-temporal-chart237-continuation/README.md @@ -0,0 +1,21 @@ +# Temporal chart 237 continuation + +Source-bound conditional result: **κ = 0.003643989339627**, gain **0.000000550833208 over #7145** at db8f31c4a1d9e191976e2c92951e6d2dea886a27. + +Two timed gathers and six later injections at chart 237 split a rank-nine helper into four and five, using pivot 1082 at cut 36813. One paid rank-six path of role 820 changes to ranks one and five. Two owned buffers are explicit. Native delta is T4 +1,T5 +1,T9 −1 and P1 +1,P5 +1,P6 −1. All 17 native occurrences are priced. + +The complete 33-file predecessor export and nested sources/notices are retained. The package reconstructs every source/candidate byte, checks the arbitrary-input adjoint and owned inventory, and compares every early receipt field from both directed price engines. + +```sh +python3.12 -I -B research/p104-temporal-chart 237-continuation/verify_early.py +``` + +Fresh forward/grid, physical chart/phase, ordinary/precision and complete caller/catalogue checks passed. Registered isolated-cache replay also passed, matching every frozen receipt field with all 22 scientific hashes unchanged. Five inherited assumptions remain: native_all_columns, owned_erasure, compiler, precision_tape, analytic_recovery. Local checks do not establish hosted CI, maintainer admission, independent human/formal acceptance, or a full multiplication theorem. + +Credit Ali Romman’s causal-history identity, CubeJerry’s contact-free retiming, Matarener’s exact kernels, dillona’s predecessor instances and full source, ToikY’s pricing, Rohan Arun’s endpoint composition/caller/recharts, and all retained authors. New timed instance by Rohan Arun with substantial OpenAI Codex assistance; Apache-2.0. + +A concurrent source-bound result, PR #7148 at 154ef929894225674df48df2d6ea3b7a7d1f39a0, reports κ=0.003643716168305 with exact-head native/full/registered author receipts. Those receipts were inspected here, not independently replayed. This result remains higher by 0.000000273171322. Both extend #7145 using distinct timed instances; composition is untested. + +## Open next questions + +Seek independent replay and review of the inherited framework assumptions. No global temporal optimum is claimed. diff --git a/research/p104-temporal-chart237-continuation/REPLAY-INTEGRITY.json b/research/p104-temporal-chart237-continuation/REPLAY-INTEGRITY.json new file mode 100644 index 0000000000..dafd09d828 --- /dev/null +++ b/research/p104-temporal-chart237-continuation/REPLAY-INTEGRITY.json @@ -0,0 +1,29 @@ +{ + "status": "ALL_SCIENTIFIC_INPUTS_UNCHANGED", + "count": 22, + "sha256": { + "SOURCES.json": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372", + "verify_early.py": "cf6da7c9264a55b0f83e8432410c78a7fcfc11192633303f266b8c3a8a0a5a1b", + "support.py": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6", + "VERIFY.json": "93c1e741ffa39ed72771b345714ecdecaa8a6fbd59f975005008253b0bd30ad0", + "RESULT.json": "1b6c00fe3f32b74a335d6f024c8d2582684307fff90d29400487a1418427ad95", + "certificate.py": "15581732d5e07550a2fea1dcb17a1eb106a053ef69223c4c861d4e322149ce86", + "WORD.json.gz": "ef44f3a72db2e7c58c088423cd7613ff562c110caf4bb2142896dcaa56753d2d", + "discover_temporal.py": "5c0dbcff3800c924cb425815f74aaec90b376f98c75d648e6ff20ff27b3ea5b1", + "WITNESS.json": "7be3dd698c70dbbbf4509f4b6761b97a0868664d0cd08b56cd200316bb69f8b4", + "derive_grid.py": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0", + "verify_native.py": "491860330d85de095c194fd8a0962d22aa7ebd04db93ef7f13779a5f9c14b6c9", + "PATHS.json": "34ac7e3c287136d8a26815f80db09858daa2525ebed448ab23fd3d3765956eee", + "EARLY-RESULT.json": "2cfdffcea061a1d6f409f3a11f9d278c95d15a9432cb8448cb982896eb8defff", + "split.py": "999b9eeabe5cd1a7e3ec014d1a449f850b4ac9bfb19749cddef41ae12cd0b405", + "INPUTS.json": "95819ddabe99066fa041a3f97b2fa20a6dde52db6c433e358832e780fc94436c", + "NATIVE-RESULT.json": "e5ee210b63f8f6ae9bb876668e3cac6f8ea49c86e5bf4ae123e056add116006a", + "adapt.py": "ae16c4e6483097b608cd97c6f9928c4c8c9621dd7a61878af915d90dd3a6c074", + "construct.py": "2e07135e9c733bd0a6d61eb1d9c2bfbf5b482f599dcb6f82238e15ee9bd93018", + "verify.py": "ff744c1ed8c8b888064bf97919a50256fc3539f86c39d730b86f8a9d15962f51", + "source.py": "ae8dad83bc616f08bd4dd165d6d8c589e8e4b97491901199f443632807182453", + "price.py": "2bc1c31abbe21ae5dab42dfe5b2bb3477dee1b7158abbecdbb7b7d1eb6df3fe1", + "inputs/pr7145.tar": "0a94c51ff855018d08f8a48c0b9748a164652b7492f2b5afcbe102f7202fbda0" + }, + "completed_at": "2026-11-11T01:43:03.305277+00:00" +} diff --git a/research/p104-temporal-chart237-continuation/REPLAY.txt b/research/p104-temporal-chart237-continuation/REPLAY.txt new file mode 100644 index 0000000000..c90e7c65e4 --- /dev/null +++ b/research/p104-temporal-chart237-continuation/REPLAY.txt @@ -0,0 +1,76 @@ +CHECK Complete source reconstruction, exact arbitrary-input adjoint, owned inventory and both directed17-stage prices; every early receipt field. +PASS_EXACT_NATIVE_AND_PRICE_ONLY 0.003643989339627 +CHECK Complete source/operator, fresh forward/adjoint and minimal1125/F25 grid, exact owned census60/45/57, timed coefficient certificate and corruption controls, ingredient pricing, ordinary/precision, all affected512-column charts, absolute phase and finite physical replay. +PASS whole source/operator, forward/adjoint, causal charts and fresh native grid +caller 0 terms 77 +caller 500 terms 621 +caller 1000 terms 2648 +caller 1500 terms 3619 +caller 2000 terms 1590 +caller 2500 terms 398 +caller 3000 terms 1918 +caller 3500 terms 1797 +caller 4000 terms 1817 +caller 4500 terms 912 +caller 5000 terms 167 +PASS full ingredient invoice, ordinary, precision, both prices and outer gates +events 75356 public 1496 owned roles 57 paid {1: 3996, 2: 854, 3: 828, 4: 225, 5: 343, 6: 14, 7: 10, 8: 6} owned UP {1: 10, 2: 4, 3: 1, 4: 6, 5: 1, 6: 1} helpers {1: 16, 2: 21, 3: 47, 4: 221, 5: 77, 6: 43, 7: 19, 8: 34, 9: 618} +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 75356 events, 2952 chart pairs, 15s +prime 1000000009 seed 11: helper rows bad 0 (of 1096), 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 21s +PASS affected Gaussian chart columns, phase, corruption controls and finite physical replay +PASS_TEMPORAL_CHART237_NATIVE 910844207903/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.003643989339627 +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 ['455498667453447453365489878829/125000000000000000000000000000000', '36439893396275796269239190306321/10000000000000000000000000000000000'] +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 110468 13600 22376 +RUN check_odd_precision.py +PASS short precision 406 1190 2380 +RUN check_odd_partial_admission.py +ordinary bill 780087468 +PASS partial signed short gates 780087468 3643989339627/1000000000000000 {'strict_count': 54, 'functional_count': 4, 'minimum_margin': '1/1000000000000000000', 'BIT_just_below_effective_rejected': True} +RUN check_odd_fixed_tape_counts.py +PASS finite tariff substitution 43218176 25454373504 precision 2380 +RUN complete catalogue 0 1000 +RUN complete catalogue 1000 2000 +RUN complete catalogue 2000 3000 +RUN complete catalogue 3000 3038 +PASS complete 8+9 component application checks 3643989339627/1000000000000000 3038 110468 +PASS_TEMPORAL_CHART237_CONTINUATION 3643989339627/1000000000000000 +PASS_REGISTERED_RESEARCH_PACKAGE research/p104-temporal-chart237-continuation outcome=partial diff --git a/research/p104-temporal-chart237-continuation/RESULT.json b/research/p104-temporal-chart237-continuation/RESULT.json new file mode 100644 index 0000000000..6407dbdeef --- /dev/null +++ b/research/p104-temporal-chart237-continuation/RESULT.json @@ -0,0 +1,1599 @@ +{ + "adapter": { + "adapted_sha256": { + "check_odd_partial_admission.py": "1dcf3577fdb6d0ac84b872f672a858e1710946abc7f7e0e0f18b6c4321e555cf", + "check_odd_precision.py": "69c1314cbc50262166a6541566082d5424c7a9fb11e4f9d87c05986896a4314e", + "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.003643989339627')", + "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) == (60, 45, 57)')\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": "93bf5b7d6c7a2658ccb31c2d3961e4b1929378626a3405cb8f960afc3ead3c34", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2952, + "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": "ef44f3a72db2e7c58c088423cd7613ff562c110caf4bb2142896dcaa56753d2d" + }, + { + "catalogue_digest": "93bf5b7d6c7a2658ccb31c2d3961e4b1929378626a3405cb8f960afc3ead3c34", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2952, + "exact_recipe_digest": "745d6ab4939031eab34539e670e933ff130a82cc52c0449f2b4db6cba5a142b4", + "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": "ef44f3a72db2e7c58c088423cd7613ff562c110caf4bb2142896dcaa56753d2d" + }, + { + "catalogue_digest": "93bf5b7d6c7a2658ccb31c2d3961e4b1929378626a3405cb8f960afc3ead3c34", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2952, + "exact_recipe_digest": "ba4ef1badc9dddccc3b7a0eff81a26c66cb0c6e02d6101e1737fc024e71a875a", + "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": "ef44f3a72db2e7c58c088423cd7613ff562c110caf4bb2142896dcaa56753d2d" + }, + { + "catalogue_digest": "93bf5b7d6c7a2658ccb31c2d3961e4b1929378626a3405cb8f960afc3ead3c34", + "catalogue_size": 3038, + "checked_maps": 38, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2952, + "exact_recipe_digest": "bfc076a1b2a07970754ea4df7d34ebef3f24dfb8fb22f891d0b20192de61a896", + "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": 3038, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "ef44f3a72db2e7c58c088423cd7613ff562c110caf4bb2142896dcaa56753d2d" + } + ], + "checks": { + "ODD-8X9-APPLICATION-CHECKS.json": { + "assumptions": [ + "native_all_columns", + "owned_erasure", + "compiler", + "precision_tape", + "analytic_recovery" + ], + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "candidate": "3643989339627/1000000000000000", + "catalogue": [ + { + "catalogue_digest": "93bf5b7d6c7a2658ccb31c2d3961e4b1929378626a3405cb8f960afc3ead3c34", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2952, + "exact_recipe_digest": "133260c6e9c76f12260a7256d6b1625867fd53ecdd5f367aad495e1c7633305b", + "log_sha256": "d215aa4826ae5e9a111bb933f52bc1a435a630f7738b17adbcf4a3eee9e5758b", + "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": "ef44f3a72db2e7c58c088423cd7613ff562c110caf4bb2142896dcaa56753d2d" + }, + { + "catalogue_digest": "93bf5b7d6c7a2658ccb31c2d3961e4b1929378626a3405cb8f960afc3ead3c34", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2952, + "exact_recipe_digest": "745d6ab4939031eab34539e670e933ff130a82cc52c0449f2b4db6cba5a142b4", + "log_sha256": "dcbc381f33404c2d94f248d9965b9cf666746aa5759ddae4161506a7b292a9f9", + "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": "ef44f3a72db2e7c58c088423cd7613ff562c110caf4bb2142896dcaa56753d2d" + }, + { + "catalogue_digest": "93bf5b7d6c7a2658ccb31c2d3961e4b1929378626a3405cb8f960afc3ead3c34", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2952, + "exact_recipe_digest": "ba4ef1badc9dddccc3b7a0eff81a26c66cb0c6e02d6101e1737fc024e71a875a", + "log_sha256": "90fba4d4f3d2f19e57df743a86d21b36c9bf4e6e0abb412d44c462da171e3b42", + "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": "ef44f3a72db2e7c58c088423cd7613ff562c110caf4bb2142896dcaa56753d2d" + }, + { + "catalogue_digest": "93bf5b7d6c7a2658ccb31c2d3961e4b1929378626a3405cb8f960afc3ead3c34", + "catalogue_size": 3038, + "checked_maps": 38, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2952, + "exact_recipe_digest": "bfc076a1b2a07970754ea4df7d34ebef3f24dfb8fb22f891d0b20192de61a896", + "log_sha256": "d543d9dce4e89106a240fa5f50b6e85916e8324d0c1ce6fa98927842b7ebe331", + "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": 3038, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "ef44f3a72db2e7c58c088423cd7613ff562c110caf4bb2142896dcaa56753d2d" + } + ], + "fixed_tape_counts": { + "H": 16510400000000000000000, + "Kstar_bits": 14093, + "actual_ambient": 145, + "caller_odd_scale": 675, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "common_grid": { + "fractional": "p+D", + "signed_width": "p+h+2D+3", + "temp_padding": 26 + }, + "compiler_ambient_cap": 153, + "context_bound_bits": 14104, + "context_c": 2380, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25454373504, + "log_power": 2237, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298536, + "native_invocations": 17, + "native_sha256": "80cec71719bb2b620004756a05935c51643c2591af3b95dce0d93008331d6ad9", + "owned_banks_per_raw_occurrence": 969, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58352, + "native": 1174360 + }, + "scalar_services_upper": 43218176, + "scalar_steps_coefficient": 45317542117376, + "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": "3643989339627/1000000000000000" + }, + "native_archive_sha256": "ef44f3a72db2e7c58c088423cd7613ff562c110caf4bb2142896dcaa56753d2d", + "native_canonical_sha256": "80cec71719bb2b620004756a05935c51643c2591af3b95dce0d93008331d6ad9", + "numeric_gate": { + "BIT_margin": "12270066037293/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16510400000000000000000", + "alpha": [ + 0.9999999999999993, + 0.9999999999999993 + ], + "claim": "3643989339627/1000000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9046606894418722, + 0.9046606894418722 + ], + "derivative_upper": -381782.5117945118, + "gamma": [ + 0.9408123391015217, + 0.9408123391015217 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3643989339627/1000000000000000": [ + "124326742487117040932614411598047912100586180480988105256614752326458953723007/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124326742487117040932614411598047912100586180480988105256614752326458953724949/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364398933962707/100000000000000000": [ + "124326742487119327345317160907404199369873157162722895489814752527181034413251/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62163371243559663672658580453702099684936578581361447744907376263590517207597/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "364398933962707/100000000000000000": [ + 1.9766417313764553e-10, + 1.9766417313764553e-10 + ], + "36439893396275796269239190306321/10000000000000000000000000000000000": [ + -7.56783933327105e-30, + -7.56783933327105e-30 + ], + "455498667453447453365489878829/125000000000000000000000000000000": [ + 3.121821451522031e-29, + 3.121821451522031e-29 + ] + }, + "moment_margins": { + "364398933962707/100000000000000000": [ + "9883208656882276382297043537364054733991804816283016255585218775884233/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "19766417313764552764594087074728109467983609632566032511170437590333837/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36439893396275796269239190306321/10000000000000000000000000000000000": [ + "-756783933327105026331756121998310118451860218641251/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-151356786665421005266351224399662023690372035997407/20000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "455498667453447453365489878829/125000000000000000000000000000000": [ + "780455362880507767174966027441180074943709395865003/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "780455362880507767174966027441180074943709405614317/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "455498667453447453365489878829/125000000000000000000000000000000", + "36439893396275796269239190306321/10000000000000000000000000000000000" + ], + "tested": "364398933962707/100000000000000000", + "written_log_power": 2237 + }, + "physical_binding": { + "ambient": 145, + "complete_paid_position_digest": "0040e7918c38eaa2e0fdcbff467a529dd2ed84b71de043026ff6b392b8c569a4", + "fresh_helpers": 18632, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1496, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68316, + "16": 416, + "2": 14518, + "24": 416, + "3": 14076, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 758, + "9": 32 + }, + "paid_positions": 110468, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22376, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 969, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 272, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3757, + "41": 416, + "49": 416, + "5": 1309, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10922 + } + }, + "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": 780087468, + "init_clear_allowance": 240, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 219912532, + "odd_divisions": { + "ADD": 5365, + "SCALE": 71 + }, + "per_input_conversion": 2644928, + "raw_upper": 763434380, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2192, + "moves": 6276, + "owned_lifetime": 240, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9908000, + "scalar_upper": 2103532 + }, + "status": "PASS_8X9_EXACT_COMPONENT_APPLICATION_CHECKS" + }, + "ODD-ADMISSION-PARTIAL.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "compiler_outer": { + "BIT_margin": "12270066037293/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16510400000000000000000", + "alpha": [ + 0.9999999999999993, + 0.9999999999999993 + ], + "claim": "3643989339627/1000000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9046606894418722, + 0.9046606894418722 + ], + "derivative_upper": -381782.5117945118, + "gamma": [ + 0.9408123391015217, + 0.9408123391015217 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3643989339627/1000000000000000": [ + "124326742487117040932614411598047912100586180480988105256614752326458953723007/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124326742487117040932614411598047912100586180480988105256614752326458953724949/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364398933962707/100000000000000000": [ + "124326742487119327345317160907404199369873157162722895489814752527181034413251/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62163371243559663672658580453702099684936578581361447744907376263590517207597/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "364398933962707/100000000000000000": [ + 1.9766417313764553e-10, + 1.9766417313764553e-10 + ], + "36439893396275796269239190306321/10000000000000000000000000000000000": [ + -7.56783933327105e-30, + -7.56783933327105e-30 + ], + "455498667453447453365489878829/125000000000000000000000000000000": [ + 3.121821451522031e-29, + 3.121821451522031e-29 + ] + }, + "moment_margins": { + "364398933962707/100000000000000000": [ + "9883208656882276382297043537364054733991804816283016255585218775884233/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "19766417313764552764594087074728109467983609632566032511170437590333837/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36439893396275796269239190306321/10000000000000000000000000000000000": [ + "-756783933327105026331756121998310118451860218641251/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-151356786665421005266351224399662023690372035997407/20000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "455498667453447453365489878829/125000000000000000000000000000000": [ + "780455362880507767174966027441180074943709395865003/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "780455362880507767174966027441180074943709405614317/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "455498667453447453365489878829/125000000000000000000000000000000", + "36439893396275796269239190306321/10000000000000000000000000000000000" + ], + "tested": "364398933962707/100000000000000000", + "written_log_power": 2237 + }, + "crossing_probe_rejected": true, + "finite_rank9_fields": [ + { + "child_rank": 9, + "denominator": 512, + "exponent": 1, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 0 + }, + "spectators": 136, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 262144, + "width": 1 + }, + { + "child_rank": 9, + "denominator": 262144, + "exponent": 2, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 272, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 1024, + "width": 2 + }, + { + "child_rank": 9, + "denominator": 134217728, + "exponent": 3, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 408, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 1024, + "width": 3 + }, + { + "child_rank": 9, + "denominator": 512, + "exponent": 1, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 0 + }, + "spectators": 136, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 262144, + "width": 1 + }, + { + "child_rank": 9, + "denominator": 262144, + "exponent": 2, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 272, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 1024, + "width": 2 + }, + { + "child_rank": 9, + "denominator": 134217728, + "exponent": 3, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 408, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 1024, + "width": 3 + } + ], + "invoice": { + "P": { + "1": 68316, + "16": 416, + "2": 14518, + "24": 416, + "3": 14076, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 272, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3757, + "41": 416, + "49": 416, + "5": 1309, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10922 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036439893396275796269239190306320804882462061414061582089206271171", + "raw_crossing": "0.0036439893396275796269239190306320804882462061414061582089206271171" + }, + "native_sha256": "80cec71719bb2b620004756a05935c51643c2591af3b95dce0d93008331d6ad9", + "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": 780087468, + "init_clear_allowance": 240, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 219912532, + "odd_divisions": { + "ADD": 5365, + "SCALE": 71 + }, + "per_input_conversion": 2644928, + "raw_upper": 763434380, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2192, + "moves": 6276, + "owned_lifetime": 240, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9908000, + "scalar_upper": 2103532 + }, + "scope": "Reuse exact same native word all-column adjoint; fresh exact signed caller and invoice, ordinary source-unit upper bill, inherited numerical compiler and outer inequalities, and signed rank9 child finite field routes. Fresh integrated physical native/caller and changed-word precision/occurrence application remain separate." + }, + "ODD-CALLER-EXACT-GRID.json": { + "caller_odd_scale": "675", + "caller_odd_scale_bits": 10, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "grid_exponents": [ + 381, + 3, + 2 + ], + "peak_terms": 3752, + "preproduct_exact_divisions": 176874, + "prime_order": [ + 2, + 3, + 5 + ], + "safe_valuation_bound": [ + 381, + 69, + 62 + ], + "scope": "Independent integer Laurent caller endpoint and pre-product divisibility. Valuation bound propagates complete field operators whose Gaussian coefficients have only power-of-two denominators, so odd factors are sourced only from the charged scalar operations. Fixed conversion and storage bounds still needed." + }, + "ODD-FIXED-TAPE-COUNTS.json": { + "H": 16510400000000000000000, + "Kstar_bits": 14093, + "actual_ambient": 145, + "caller_odd_scale": 675, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "common_grid": { + "fractional": "p+D", + "signed_width": "p+h+2D+3", + "temp_padding": 26 + }, + "compiler_ambient_cap": 153, + "context_bound_bits": 14104, + "context_c": 2380, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25454373504, + "log_power": 2237, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298536, + "native_invocations": 17, + "native_sha256": "80cec71719bb2b620004756a05935c51643c2591af3b95dce0d93008331d6ad9", + "owned_banks_per_raw_occurrence": 969, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58352, + "native": 1174360 + }, + "scalar_services_upper": 43218176, + "scalar_steps_coefficient": 45317542117376, + "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": "3643989339627/1000000000000000" + }, + "ODD-PHYSICAL-BINDING.json": { + "aliased_main_rejected": true, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "native_sha256": "80cec71719bb2b620004756a05935c51643c2591af3b95dce0d93008331d6ad9", + "occurrence_and_geometry": { + "ambient": 145, + "complete_paid_position_digest": "0040e7918c38eaa2e0fdcbff467a529dd2ed84b71de043026ff6b392b8c569a4", + "fresh_helpers": 18632, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1496, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68316, + "16": 416, + "2": 14518, + "24": 416, + "3": 14076, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 758, + "9": 32 + }, + "paid_positions": 110468, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22376, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 969, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 272, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3757, + "41": 416, + "49": 416, + "5": 1309, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10922 + } + }, + "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": 15837869, + "dyadic_height": 25, + "mass_witness": [ + 65612, + "stored add" + ], + "maximum_scaled_mass": "814656664575075/8192", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + }, + "native_sha256": "80cec71719bb2b620004756a05935c51643c2591af3b95dce0d93008331d6ad9", + "precision_program_sha256": "0fcbf4706ff08c2aefeef3fb3ddb8282fbeb1a5f82e3c615753143007bb023ee", + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "19061962345906567482201336968287900569842585074025099856154246301551891117959477841484951612712754920359786986193548441046781768705419999389795632275985332917710775225287763256519910730402189162679293059492182040033031861666500943958459908246553299753601416198017332433833816808417858539968723237685011526615506305252315087638620718889056794715939939721439325084430290515011849021393192049035693498641899909504928521402690739428931/32373225137651933474035186446033223680000000000000000000000000000000000000000000000", + "strict_power_of_two": 1156, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Gamma_context": { + "exact": "491943540110636604919755128372970004932509591881590261865864715033460667065594063205970496349282831518293325337954084115681751797085541162000096027999062924145202559740536780161925636065143156361573082814419734087065056394020591717380205129194733644079261154744748747837909988451554788906244506456934010374155911924464283044577647511689326542409884449168543915866375653744374373765584194078100962103575809165490826947531834858011201/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": "958617985525513443953208668443509053733692313635014804067532896360230624638612862593256651585589988717269956633266541323252708790454112975613919262259342216447936023646916973925585422079246711041603797263031953930969960286515943521015664841904934417176271187630445991210654607745601430009526933502449370040717165434419614300252543768345134215668078236903965779613389461325460437166830967339085670160824377650603726557878118827050797389/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": "491943540110636604919755128372970004932509591881590261865864715033460667065594063205970496349282831518293325337954084115681751797085541162000096027999062924145202559740536780161925636065143156361573082814419734087065056394020591717380205129194733644079261154744748747837909988451554788906244506456934010374155911924464283044577647511689326542409884449168543915866375653744374373765584194078100962103575809165490826947531834858011201/24279918853238950105526389834524917760000000000000000000000000000000000000000000000", + "strict_power_of_two": 1161, + "witness": { + "cut": 4753, + "event": 4752, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "Sigma_context": { + "exact": "1468133182215342671062495117554299697857531415887281173813473056901529679276896603628100375874524442437855692095511069061156952056193339197339431410136576318942963753634193810172147865201276221719632201162040911442414211247383751763106718141544898956672174829665372251903026044096384152567759217256156273565910989680800534628926955994112269264636252119339421470664719721981702960186478129464312302423833967170992704193692262045089579845310359510466982236014699378732700189502088570627684868976160307845309340537145660982555660269972382957588491468938632580038601497477529/11487996289529329443034571502881307934283372523953200352091577252294164480000000000000000000000000000000000000000000000000000000000000000000", + "strict_power_of_two": 1433, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 18632, + "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": "19061962345906567482201336968287900569842585074025099856154246301551891117959477841484951612712754920359786986193548441046781768705419999389795632275985332917710775225287763256519910730402189162679293059492182040033031861666500943958459908246553299753601416198017332433833816808417858539968723237685011526615506305252315087638620718889056794715939939721439325084430290515011849021393192049035693498641899909504928521402690739428931/32373225137651933474035186446033223680000000000000000000000000000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "491943540110636604919755128372970004932509591881590261865864715033460667065594063205970496349282831518293325337954084115681751797085541162000096027999062924145202559740536780161925636065143156361573082814419734087065056394020591717380205129194733644079261154744748747837909988451554788906244506456934010374155911924464283044577647511689326542409884449168543915866375653744374373765584194078100962103575809165490826947531834858011201/24279918853238950105526389834524917760000000000000000000000000000000000000000000000" + }, + "M_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796247824792255124449682067424881/131368167114257812500000000000", + "residual_mass": "491943540110636604919755128372970004932509591881590261865864715033460667065594063205970496349282831518293325337954084115681751797085541162000096027999062924145202559740536780161925636065143156361573082814419734087065056394020591717380205129194733644079261154744748747837909988451554788906244506456934010374155911924464283044577647511689326542409884424888625062627425548217984539240666434078100962103575809165490826947531834858011201/24279918853238950105526389834524917760000000000000000000000000000000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "19061962345906567482201336968287900569842585074025099856154246301551891117959477841484951612712754920359786986193548441046781768705419999389795632275985332917710775225287763256519910730402189162679293059492182040033031861666500943958459908246553299753601416198017332433833816808417858539968723237685011526615506305252315087638620718889056794715939939721439325084430290515011849021393192049035693498641899909504928521402690739428931/32373225137651933474035186446033223680000000000000000000000000000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "491943540110636604919755128372970004932509591881590261865864715033460667065594063205970496349282831518293325337954084115681751797085541162000096027999062924145202559740536780161925636065143156361573082814419734087065056394020591717380205129194733644079261154744748747837909988451554788906244506456934010374155911924464283044577647511689326542409884449168543915866375653744374373765584194078100962103575809165490826947531834858011201/24279918853238950105526389834524917760000000000000000000000000000000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "1435/4", + "entrance_mass": "2067/2", + "event": 43, + "stage": 1 + }, + { + "entrance_defect": "226733108647806597430088727804460569298785377758447827483001613921081278695377360794726933428033911751078002790518260999164815644935493997093141/693087965674784425268322477539328000000000000000000000", + "entrance_mass": "56849465528/5", + "event": 137, + "stage": 2 + }, + { + "entrance_defect": "344496478252799409422451308902199841549630801442581729666639211244905357540570368699231726678680603111452872271498725865471738284994099731504860863884152981/66536444704779304825758957843775488000000000000000000000", + "entrance_mass": "899756300051784928313/5", + "event": 268, + "stage": 3 + }, + { + "entrance_defect": "320865586234649611350986063909264029487458965965145072748428832065670966787276189158104848844760870832448620497500939965555445813129465532133027219521039045379115733/66536444704779304825758957843775488000000000000000000000", + "entrance_mass": "2514111326902273689027625979152/15", + "event": 432, + "stage": 4 + }, + { + "entrance_defect": "65545593107814823932061226050741214125316663044597585248443673176492070368225073704913875188875449027652386919947033275565241297385986537099948718325418948073861823671431013843/66536444704779304825758957843775488000000000000000000000", + "entrance_mass": "513576167499541081817002847690160861158177/15", + "event": 633, + "stage": 5 + }, + { + "entrance_defect": "6275989527283919756246615817261896347536557544708750798007675229966377928896514881101457848381226747304901206093355587959529657781099285152175676081456150805446998522004642896497690016887/998046670571689572386384367656632320000000000000000000000", + "entrance_mass": "49174910102467876864090432969907258581035345395534834/225", + "event": 867, + "stage": 6 + }, + { + "entrance_defect": "669366321850860923259510775481262264624709445696760815611017138719573629164987010078131094830193571616937487586020115177422075032205198466556446830546985955426378349682109141966344506541658100074937/110894074507965508042931596406292480000000000000000000000", + "entrance_mass": "47202796791779792903787260464709452698419616298153732189406926691/225", + "event": 1138, + "stage": 7 + }, + { + "entrance_defect": "194892289326149247453099760144726649659037869045134972041934148115371412872318123555055350702001980949706743426174466511427350396269023089520977023464058418022847476190243032118940491953652654101316283656652837303423/124755833821461196548298045957079040000000000000000000000000", + "entrance_mass": "1527059719525243651854937925515623170877847518562264265010551055991429949116792541/28125", + "event": 1423, + "stage": 8 + }, + { + "entrance_defect": "69503025695569560319507020093022264460660008224102073246859938122949676833067563608631578910456070858119853383809375488532114207321373770598822477456846686708902895880968928811312286036576247079659129928784802638422196957186589141931327738614290954816694464783998704561787058286124689526710744267271573738139743229654281240307514732641644234052930683/143881000611786370995711939760147660800000000000000000000000000000000000000000000", + "entrance_mass": "45382020709918266925583064268574418985484021788023395083741971786893952543604385214817042722264713249357732585113211736557042182118473445437784492974844696068231496289005681248244219743195326431922663592509646282903/2703048706054687500000000", + "event": 3058, + "stage": 9 + }, + { + "entrance_defect": "26428622062990631714859982417788862336964324773968092209021177255822531008258224203012912443921995881787835815057535902509387764138310623236170019659018207639956266087616805024846120914894752356398502558372880608558091508407788475024928150438529224581411636203779338877540145047959577181585798104180039141040288115951694211489665372225550748853178351768254295000057/3597025015294659274892798494003691520000000000000000000000000000000000000000000000", + "entrance_mass": "17256576412236653193246225901973714737195067836439327666112948810725372605325768521068989782195051084826433423902219365061463548934152577319772447024097669813834215493691840531234110147024064996639957180865886380686899413865699437/67576217651367187500000000", + "event": 3377, + "stage": 10 + }, + { + "entrance_defect": "12608720422426461514592122056320852418201412663316427937715787458028532499745710173993730797703195360736648282865712645054470319196012232423093430704126720116975596122930959727452649677338119804133790286629711757673577492500089161151011961810596390717985317183948015195743022916853488782864761230600613173440150432507557975980015059692109036276407990546556719424688888392428483/119900833843155309163093283133456384000000000000000000000000000000000000000000000", + "entrance_mass": "8232867642949280967953864719378369729636081542640965177026582834276172086852779069019078166383458700724373015543641299678854718814560615654710102550769670203427726502361438450768012893674227975469242856299447027845030556012745339827937032703/2252540588378906250000000", + "event": 3674, + "stage": 11 + }, + { + "entrance_defect": "158446388804708906685605669025198130818021815069959436672582179090453579320661549224480998913164999939300732429581424768540579752385824871356515393261161457675383933880523984516148012205303516969241057178735471997839219837777729899731619766569510884722889250495339038321010619948267807120862537865391552721965889838707931109318419366182885756891876436228705525422235055263041339461144742691/16186612568825966737017593223016611840000000000000000000000000000000000000000000000", + "entrance_mass": "103457615351059805192637231353494210876529187337645013912367786609511281374638184501291799844537790265462481580051228205479278831706979374022592427678836083146990308179368316797029946556942233864286312243671687806427572314354434738422294564686254956597631/304092979431152343750000000", + "event": 3934, + "stage": 12 + }, + { + "entrance_defect": "10436762811610931496161744178969693100738675270221079578869440656964708233659515639529011699725227070054546845099169420327967422762135169322716933498718363669095861736564345153914447726542214460359048961473628973817252752473355461341657622443022225537983143170997163793143488695875086389557604019318431265635453895990100029558597301999333015903992898884152982874621025086887757632413844656405486179/4046653142206491684254398305754152960000000000000000000000000000000000000000000000", + "entrance_mass": "6814687293408352348961376609223100753789665399854180217091951198766673494955017243489117504312576625705862588971333049204842152193259763726092611947454717867967563820647006231530855513792517852570389360287582421241328472893443552787136426885585158158296407747039/76023244857788085937500000", + "event": 4149, + "stage": 13 + }, + { + "entrance_defect": "419156816140924895921236675224895640087627435543611400170834801868777761396597690888107625641007063796465788083169875945675982492786703096349532487623595924243088332667539944890018049784195828852092107027610396801271836140980578193568826064562976790866358159696344558969864206526677258700720194197060411811475136201795551294481620864208750867518153956291874097276642642187534210968847897283954554255565724251/32373225137651933474035186446033223680000000000000000000000000000000000000000000000", + "entrance_mass": "273688564209132230699064882255651065961520374651451250325109091529813162250488973700796593555467744131430272845604649750549608356985710665121874068107850799585492748533787927289567936649257940207702597871193107311090132538524151482351564937285621850171994049078063458209591/608185958862304687500000000", + "event": 4337, + "stage": 14 + }, + { + "entrance_defect": "8010993625249304944424238490065001251158108708621479696885460602069524429668932285780105033451962469516406949313562615315798391834036924536185407515970092588824488723270237487910171164336250545961427044706117918162328696671862257280041780219469407905340420862558209523138463787180927770353929968087796648759790210388222486439818803804739989699623743928131440886698126480008866916740054261650288278467332960137334921/16186612568825966737017593223016611840000000000000000000000000000000000000000000000", + "entrance_mass": "5230780602279043381317572379439763694807653157987526423412516241866438709931406455512285461654380762978554988724296151241130161368896505647624919395909388513302452136334767445346454946237326490486725295589968816639097338790755366202380875008783642473174121062695038054202858248061/304092979431152343750000000", + "event": 4485, + "stage": 15 + }, + { + "entrance_defect": "8868093327820844646867570388525046404336256393972776876271581031929159315545153754246720579715635264732751788871234131846444010722350687604452314802187101906580841184249897236691807784715535991209065849185285472815241827643578511790817483216907572262251930105945100131054053937167484354207406869913183551434042650843830855289977998209438793692959889316471390291236315692910291641860199528343056075841625478933400698186787443/32373225137651933474035186446033223680000000000000000000000000000000000000000000000", + "entrance_mass": "5790424100720951765768300756324298709533962301792798636386692749870979029496708556989270788662796627612885676197810930990877069943243536093513215980405080279750566239442965631097385199413957318608000177913047677092759213914423460784984181631621622445055356552059259436283593839861423838063/608185958862304687500000000", + "event": 4606, + "stage": 16 + }, + { + "entrance_defect": "19061962345906567482201336968287900569842585074025099856154246301551891117959477841484951612712754920359786986193548441046781768705419999389795632275985332917710775225287763256519910730402189162679293059492182040033031861666500943958459908246553299753601416198017332433833816808417858539968723237685011526615506305252315087638620718889056794715939939721439325084430290515011849021393192049035693498641899909504928521402690739428931/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": "132174526889424257584403426011704842815020212555065840050204770017308591311203322636843253101770900440123306468061941623787716643884217563/2217881490159310160858631928125849600000000000000000000", + "strict_power_of_two": 275, + "witness": { + "cut": 75356, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "77018994979318838576921794094580567878394740338514110234383767051181358856922326935800973392966497673653159627357435024676197811365227452659/354861038425489625737381108500135936000000000000000000000", + "strict_power_of_two": 277, + "witness": { + "cut": 73836, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "132174526889424257584403426011704842815020212555065840050204770017308591311203322636843253101770900440123306468061941623787716643884217563/2217881490159310160858631928125849600000000000000000000", + "strict_power_of_two": 275, + "witness": { + "cut": 73836, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 75356, + "lifetimes": 60, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 65241, + "CLEAR": 60, + "COPY": 1, + "INIT": 60, + "MOVE": 6276, + "SCALE": 3718 + }, + "owned_labels": 57, + "peak_owned": 45, + "public": 1496, + "scalars": { + "dyadic": 63524, + "integer": 39519, + "noninteger": 29441, + "odd": 5436 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26790, + "entrance_mass": "77018994979318838576921794094580567878394740338514110234383767051181358856922326935800973392966497673653159627357435024676197811365227452659/354861038425489625737381108500135936000000000000000000000", + "residual_mass": "132174526889424257584403426011704842815020212555065840050204770017308591311203322636843253101770900440123306468061941623787716643884217563/2217881490159310160858631928125849600000000000000000000" + }, + "M": { + "active_residual_sites": 26790, + "entrance_mass": "77018994979318838576921794094580567878394740338514110234383767051181358856922326935800973392966497673653159627357435024676197811365227452659/354861038425489625737381108500135936000000000000000000000", + "residual_mass": "132174526889424257584403426011704842815020212555065840050204770017308591311203322636843253101770900440123306468061941623787716643884217563/2217881490159310160858631928125849600000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26790, + "entrance_mass": "77018994979318838576921794094580567878394740338514110234383767051181358856922326935800973392966497673653159627357435024676197811365227452659/354861038425489625737381108500135936000000000000000000000", + "residual_mass": "132174526889424257584403426011704842815020212555065840050204770017308591311203322636843253101770900440123306468061941623787716643884217563/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": 68316, + "16": 416, + "2": 14518, + "24": 416, + "3": 14076, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 758, + "9": 32 + }, + "raw_bracket": [ + "455498667453447453365489878829/125000000000000000000000000000000", + "36439893396275796269239190306321/10000000000000000000000000000000000" + ], + "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": "80cec71719bb2b620004756a05935c51643c2591af3b95dce0d93008331d6ad9", + "target": { + "1": 272, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3757, + "41": 416, + "49": 416, + "5": 1309, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10922 + } + } + }, + "claim": "3643989339627/1000000000000000", + "price": { + "after": { + "P": { + "1": 68316, + "16": 416, + "2": 14518, + "24": 416, + "3": 14076, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 272, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3757, + "41": 416, + "49": 416, + "5": 1309, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10922 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036439893396275796269239190306320804882462061414061582089206271171", + "raw_crossing": "0.0036439893396275796269239190306320804882462061414061582089206271171" + }, + "before": { + "P": { + "1": 68299, + "16": 416, + "2": 14518, + "24": 416, + "3": 14076, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5814, + "56": 416, + "6": 255, + "64": 208, + "7": 170, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 272, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3740, + "41": 416, + "49": 416, + "5": 1292, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10939 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036434385064194522455189967132841104234819989842123509412405123394", + "raw_crossing": "0.0036434385064194522455189967132841104234819989842123509412405123394" + }, + "gate": { + "BIT_margin": "12270066037293/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16510400000000000000000", + "alpha": [ + 0.9999999999999993, + 0.9999999999999993 + ], + "claim": "3643989339627/1000000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9046606894418722, + 0.9046606894418722 + ], + "derivative_upper": -381782.5117945118, + "gamma": [ + 0.9408123391015217, + 0.9408123391015217 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3643989339627/1000000000000000": [ + "124326742487117040932614411598047912100586180480988105256614752326458953723007/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124326742487117040932614411598047912100586180480988105256614752326458953724949/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364398933962707/100000000000000000": [ + "124326742487119327345317160907404199369873157162722895489814752527181034413251/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62163371243559663672658580453702099684936578581361447744907376263590517207597/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "364398933962707/100000000000000000": [ + 1.9766417313764553e-10, + 1.9766417313764553e-10 + ], + "36439893396275796269239190306321/10000000000000000000000000000000000": [ + -7.56783933327105e-30, + -7.56783933327105e-30 + ], + "455498667453447453365489878829/125000000000000000000000000000000": [ + 3.121821451522031e-29, + 3.121821451522031e-29 + ] + }, + "moment_margins": { + "364398933962707/100000000000000000": [ + "9883208656882276382297043537364054733991804816283016255585218775884233/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "19766417313764552764594087074728109467983609632566032511170437590333837/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36439893396275796269239190306321/10000000000000000000000000000000000": [ + "-756783933327105026331756121998310118451860218641251/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-151356786665421005266351224399662023690372035997407/20000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "455498667453447453365489878829/125000000000000000000000000000000": [ + "780455362880507767174966027441180074943709395865003/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "780455362880507767174966027441180074943709405614317/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "455498667453447453365489878829/125000000000000000000000000000000", + "36439893396275796269239190306321/10000000000000000000000000000000000" + ], + "tested": "364398933962707/100000000000000000", + "written_log_power": 2237 + }, + "native_baseline_rejects_new_claim": true, + "new_native": "80cec71719bb2b620004756a05935c51643c2591af3b95dce0d93008331d6ad9", + "old_native": "8f5c08866c50070c8579d0dc230bc2941ec3669d643ba373ac4b1d59b423446d", + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "21364670663055541035769819970123863058294103575739813128035664955665103008548129/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "21364670663055541035769819970123863058294103575739813128035664955665103043187613/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003643989339627", + "gain": "5.50833208E-7", + "gain_exact": "68854151/125000000000000", + "independent_raw_bracket": [ + "0.00364398933962757962692391903063208", + "0.00364398933962757962692391903063209" + ], + "previous_claim": "3643438506419/1000000000000000", + "raw_bracket": [ + "0.003643989339627579626923919030632", + "0.0036439893396275796269239190306321" + ] + } + }, + "status": "PASS_TEMPORAL_CHART237_CONTINUATION" +} diff --git a/research/p104-temporal-chart237-continuation/SOURCES.json b/research/p104-temporal-chart237-continuation/SOURCES.json new file mode 100644 index 0000000000..c4150ae397 --- /dev/null +++ b/research/p104-temporal-chart237-continuation/SOURCES.json @@ -0,0 +1,24 @@ +{ + "schema_version": 1, + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "files": [ + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "3404fbdd5e7529a0674eef26114b5071e4586cec", + "sha256": "ead6cdc9d0af6d58e8a49744d8ec8c7c15e13d2ba93c276c434bcf9b51b93a81" + }, + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "75d77b328ea02ded535e7f23aee5b1e55d0bb1a8", + "sha256": "154c3d30455d778fd3343b6b4851f0fa4665f0f7625b0adb3675e2bafbbf6bf1" + }, + { + "path": "docs/research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md", + "usage": "provenance", + "git_blob": "3dd1af2285e597676725e85ad4f65e7ad326d695", + "sha256": "4501502c2ceb9759b20372435fe4beb51082c5a5e2910c1fd5dbe6edca415055" + } + ] +} diff --git a/research/p104-temporal-chart237-continuation/TASK.json b/research/p104-temporal-chart237-continuation/TASK.json new file mode 100644 index 0000000000..eef0f06f72 --- /dev/null +++ b/research/p104-temporal-chart237-continuation/TASK.json @@ -0,0 +1,149 @@ +{ + "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/7147", + "scope_status": "changed", + "scope_change_reason": "New source7145 and causal temporal instance with two paid owned buffers; complete changed costs required.", + "concrete_question": "Can a paid temporal midpoint fund another exact causal-history helper split on PR7145?", + "actual_scope": "Chart237/cut36813/pivot1082; two gathers and six injections, one paid path of role820; two explicit owned buffers and unchanged17-stage caller.", + "domain": "First5000 affordable existing-frame paid midpoint trials combined with neutral temporal observations; nominee at3552. Existing/expanded rechart, pair-swap, endpoint and12 helper-group screens had no gain. These are bounded domains, not global ceilings.", + "success": "Exact native and complete directed pricing above0.003643438506419 followed by full source-aware application and registered replay.", + "bottleneck_link": "Pay the complete path, two owned lifetimes, physical, ordinary and precision costs before accepting the temporal split.", + "predecessor_head": "db8f31c4a1d9e191976e2c92951e6d2dea886a27", + "predecessors": [ + "dillona/OpenAI Codex PR7145 at db8f31c4a1d9e191976e2c92951e6d2dea886a27: complete33-file endpoint/temporal composition export with nested7142/7143 sources and all notices.", + "dillona/OpenAI Codex PR7140 causal-history buffer split, exact a95783a8c861248a759136d4285ea725499cf231; complete30-file export retained.", + "Ali Romman: explicit causal-history two-buffer identity and allowance for singular local replacement under owned erasure; Discussion5600/comment19209322.", + "Jerry Chen/CubeJerry: contact-free retiming, temporal pure spaces, exact native/caller, precision/compiler and cost engines.", + "Matarener: complete helper-kernel methods.", + "dillona/OpenAI Codex: exact37-file666fd749 composition artifact retained as full frozen input; completed independent artifact for identical Rohan Arun PR7131 canonical native.", + "Rohan Arun: #7124 output rechart, #7122 input rechart and #7113 signed17-stage caller.", + "Cinna Davis/1337isnot1337: alpha-expansion rechart predecessor; Dugongue: temporal S09 predecessor.", + "dillona/OpenAI Codex #7130 nonunit-pivot split, exact161e482bc2d8c78ecef96135430c60d49b8fc345, complete25-file export with full nested #7123 closure retained.", + "Rohan Arun #7124 output rechart, exact97dc14132da53562b7939776d7a83d72af72eeb1; byte-identical constructor and original specification retained among eight pinned peer files. 1337isnot1337/OpenAI Codex supplied alpha expansion. This package transfers their nominated changes to #7130, without claiming a new rechart search.", + "dillona/OpenAI Codex #7123 exact 020d581d9856b6db83e448c3f20418bc63b72c34, retained complete 30-file export and all nested sources. #7112 zero-pivot smooth swap is extended here to a nonzero nonunit pivot.", + "Rohan Arun7122 global input rechart, exact98aad9eb0e7d7f985622a35c7981695fe680c68a, retained as complete9-fileexport with nested7121closure; draft native/price evidence at this frozen head.", + "1337isnot1337/OpenAI Codex fresh-helper-boundary/discover-cut.cpp alpha-expansion method used by Rohan Arun7122; later completed source6391d64 retains identical six construction/source files, recorded in PEER-STATUS.json.", + "ToikY Discussion7111 original chart120 pattern, retained through7120; it is retained through the exact predecessor chain.", + "Ali Romman: helper bases, independent split identity and paid meetings", + "Jerry Chen/CubeJerry: causal retiming, native/invoice/compiler engines", + "Matarener: complete kernels including zero boundary images and pairing decision", + "Rohan Arun: exact7113 signed17-stage caller and source-specific application", + "ToikY: #7108\u2013#7110 signed sources and splits, plus the credited chart-120 lead in Discussion #7111", + "DreamingOfClouds, Douglas Colkitt/#7000 reviewers and all retained nested-source notices", + "dillona/OpenAI Codex:7105,7107,7112,7115,7116,7117; exact7117 parent retains all earlier exports", + "dillona/OpenAI Codex7118: first funded residual mode and exact source-specific application", + "dillona/OpenAI Codex7119: exact reciprocal source and full application", + "ToikY original chart120 pattern and dillona/OpenAI Codex7120 exact-source composition, fully retained as the immediate source." + ], + "outcome": "partial", + "evidence_status": "All direct and registered isolated-cache CPython3.12.14 gates passed, matching every frozen receipt field; all22 scientific hashes unchanged. Whole native forward/adjoint,18 controls, five512-column chart checks,3038 catalogue maps and104 main boundaries, complete costs, both directed prices and54+4 outer conditions. Five inherited assumptions remain.", + "evidence": "INPUTS.json, WITNESS.json, WORD.json.gz, EARLY-RESULT.json, NATIVE-RESULT.json, RESULT.json; REPLAY.txt when completed.", + "overlap": "Canonical main e54523517d0f03e58352e647c403a5af3e525a57 refreshed unchanged after retry deadline; priority8 and selected7000 unchanged. Recent live PR heads and discussion/handoffs inspected;7144 and7146 make no kappa improvement. Immediate7145 source retains7142 endpoint and7143 temporal instances. This is a new timed instance of the credited mechanism, with no novelty or coverage guarantee.", + "open_questions": [ + { + "question": "Can the inherited five all-size assumptions be independently discharged?", + "why_it_matters": "Finite application replay is conditional, not a full multiplication theorem.", + "first_step": "Select one named assumption and its exact retained source contract.", + "blocked_by": "Independent human/formal acceptance remains open." + } + ], + "stop_rule": "One new fully checked invoice; refresh before any further research round." +} diff --git a/research/p104-temporal-chart237-continuation/VALIDATION.md b/research/p104-temporal-chart237-continuation/VALIDATION.md new file mode 100644 index 0000000000..8086006717 --- /dev/null +++ b/research/p104-temporal-chart237-continuation/VALIDATION.md @@ -0,0 +1,11 @@ +# Validation + +Direct source-aware gates passed under CPython3.12.14 on the internal Mac workspace. The registered manifest reruns all three gates without generating receipts and compares every frozen field: + +```sh +python3.12 -B scripts/research_package.py --package research/p104-temporal-chart237-continuation +``` + +Registered replay passed. REPLAY.txt records the complete run; REPLAY-INTEGRITY.json records all 22 unchanged scientific hashes. No hosted scientific pass or independent human/formal acceptance is claimed. + +The existing CI navigation correction from PR7142 is retained to reconcile the guide with the unchanged selected7000 record. Its targeted CurrentCiNavigationTests passed. This does not select a new bound or repair the separate historical Makefile-drift replay. diff --git a/research/p104-temporal-chart237-continuation/VERIFY.json b/research/p104-temporal-chart237-continuation/VERIFY.json new file mode 100644 index 0000000000..26c87aa00e --- /dev/null +++ b/research/p104-temporal-chart237-continuation/VERIFY.json @@ -0,0 +1,39 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify_early.py" + ], + "timeout_seconds": 180, + "checks": "Complete source reconstruction, exact arbitrary-input adjoint, owned inventory and both directed17-stage prices; every early receipt field." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify_native.py" + ], + "timeout_seconds": 510, + "checks": "Complete source/operator, fresh forward/adjoint and minimal1125/F25 grid, exact owned census60/45/57, timed coefficient certificate and corruption controls, ingredient pricing, ordinary/precision, all affected512-column charts, absolute phase and finite physical replay." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 510, + "checks": "Full unchanged17-stage caller, complete paid/helper catalogue and104 main boundaries; fresh grid, precision, ordinary/physical/fixed-tape costs, two directed prices and54+4 outer conditions; every frozen application field." + } + ] +} diff --git a/research/p104-temporal-chart237-continuation/WITNESS.json b/research/p104-temporal-chart237-continuation/WITNESS.json new file mode 100644 index 0000000000..48dae74cac --- /dev/null +++ b/research/p104-temporal-chart237-continuation/WITNESS.json @@ -0,0 +1,105 @@ +{ + "frame": 237, + "cut": 36813, + "pivot": 1082, + "ranks": [ + 4, + 5 + ], + "c": { + "229": "-4" + }, + "d": { + "233": "-1/4", + "549": "-1/2", + "1082": "-1/4", + "229": "-1/4" + }, + "gathers": [ + { + "cut": 36813, + "role": 794, + "frame": 237, + "path": 0, + "coefficient": "1" + }, + { + "cut": 36807, + "role": 1092, + "frame": 237, + "path": 6, + "coefficient": "1" + } + ], + "injections": [ + { + "cut": 37345, + "role": 795, + "frame": 237, + "path": 2, + "coefficient": "-1/4" + }, + { + "cut": 45553, + "role": 1095, + "frame": 237, + "path": 7, + "coefficient": "-1" + }, + { + "cut": 45038, + "role": 878, + "frame": 237, + "path": 3, + "coefficient": "-1/2" + }, + { + "cut": 45550, + "role": 820, + "frame": 237, + "paid_path": 0, + "coefficient": "1/2" + }, + { + "cut": 37352, + "role": 1082, + "frame": 237, + "path": 5, + "coefficient": "1/4" + }, + { + "cut": 46491, + "role": 794, + "frame": 237, + "path": 1, + "coefficient": "-1/4" + } + ], + "paid_delta": { + "1": 1, + "5": 1, + "6": -1 + }, + "paid_path": 0, + "path": { + "role": 820, + "lo": 37891, + "hi": 45550, + "frame": 237, + "moves": [ + 45548 + ], + "old": 734, + "new": 127, + "old_paid": [ + 6 + ], + "new_paid": [ + 1, + 5 + ], + "cost": 0.009807774450461437, + "gain": 0.02237522778166756, + "private": false + } +} \ No newline at end of file diff --git a/research/p104-temporal-chart237-continuation/WORD.json.gz b/research/p104-temporal-chart237-continuation/WORD.json.gz new file mode 100644 index 0000000000..4dd7b4ef60 Binary files /dev/null and b/research/p104-temporal-chart237-continuation/WORD.json.gz differ diff --git a/research/p104-temporal-chart237-continuation/adapt.py b/research/p104-temporal-chart237-continuation/adapt.py new file mode 100644 index 0000000000..eb56e0d37d --- /dev/null +++ b/research/p104-temporal-chart237-continuation/adapt.py @@ -0,0 +1,41 @@ +# Successor: Rohan Arun/OpenAI Codex global output rechart; predecessor attribution retained. +"""Counted adapters invalidate same-native reuse in Rohan Arun's #7113 checks. +All edits apply only to temporary copies of authenticated source. Apache-2.0. +Prepared for dillona with substantial OpenAI Codex assistance. +""" +from hashlib import sha256 + +def adapt(folder,claim,frac): + changes=[] + def patch(name,old,new): + path=folder/name;raw=path.read_text() + if raw.count(old)!=1:raise ValueError('Exact one-occurrence adapter: '+name+' '+old) + path.write_text(raw.replace(old,new));changes.append(dict(file=name,old=old,new=new)) + patch('emit_odd_type_ab.py', + 'invoice=next(x for x in json.loads((root/"SHORT-CALLER-RAW-PRICE.json").read_text())["rows"] if tuple(x["shape"])==shape)', + 'invoice=json.loads((root/"COHORT-PRICE.json").read_text())') + patch('check_odd_partial_admission.py', + 'previous=json.loads((root/"SHORT-ADMISSION-PARTIAL.json").read_text())\nassert previous["native_sha256"]==digest and not N["bad_inputs"]', + 'actual_native=ind.native(w)\nassert actual_native==N and not N["bad_inputs"], "Fresh complete native inventory and arbitrary-input adjoint"') + patch('check_odd_partial_admission.py','claim=Q(".00363797977")','claim=Q('+repr(claim)+')') + # ToikY's frozen exact_price() already shrinks this probe below the + # certified crossing. Recompute that rule in the caller's separate gate. + patch('check_odd_partial_admission.py', + 'tested=claim+Q(7,10**17)', + 'tested=claim+Q(7,10**17)\nwhile tested>=Q(reference["raw_bracket"][0]):\n tested=claim+(tested-claim)/10') + patch('check_odd_partial_admission.py', + 'g=gate(invoice,claim,tested,*bracket,r["gate"]["BIT_pin"])', + 'g=gate(invoice,claim,tested,*bracket,r["gate"]["BIT_pin"])\ntry:\n gate(invoice,claim,Q(bracket[0]),*bracket,r["gate"]["BIT_pin"])\nexcept AssertionError:\n crossing_probe_rejected=True\nelse:\n raise AssertionError("Probe at lower crossing unexpectedly accepted")') + patch('check_odd_partial_admission.py', + '"scope":"Reuse exact same native word all-column adjoint;', + '"crossing_probe_rejected":crossing_probe_rejected,"scope":"Reuse exact same native word all-column adjoint;') + patch('check_odd_precision.py', 'env=ModuleType("short_envelope")', + 'patch(\'(life, peak, owned_count) == (54, 43, 51)\',\'(life, peak, owned_count) == (60, 45, 57)\')\nenv=ModuleType("short_envelope")') + patch('check_odd_precision.py','previous=json.loads((root/"SHORT-PRECISION.json").read_text())','') + patch('check_odd_precision.py', + 'assert previous["native_sha256"]==sha and grid_receipt["caller_sha256"]==sha256(cpath.read_bytes()).hexdigest()', + 'assert grid_receipt["caller_sha256"]==sha256(cpath.read_bytes()).hexdigest()') + patch('check_odd_precision.py', + 'wg=previous["native_grid"]\nwr=previous["rounded_native"]\nwp={key:(Q(v["exact"]),v["witness"]) for key,v in wr["bounds"].items()}', + f'wg=grid.word_run(w, frac={frac})\nwp,wr=env.native_envelope(w)\nwg=json.loads(json.dumps(wg,default=str));wr=json.loads(json.dumps(wr,default=str))\nassert wg==r["precision"]["word"] and wr==r["precision"]["rounded_native"], "Fresh changed-native grid and envelope"') + return dict(edits=changes,adapted_sha256={x['file']:sha256((folder/x['file']).read_bytes()).hexdigest() for x in changes}) diff --git a/research/p104-temporal-chart237-continuation/certificate.py b/research/p104-temporal-chart237-continuation/certificate.py new file mode 100644 index 0000000000..99f017221f --- /dev/null +++ b/research/p104-temporal-chart237-continuation/certificate.py @@ -0,0 +1,116 @@ +"""Exact timed observation certificate; no discovery code is trusted. + +Causal-history identity: Ali Romman. Temporal coefficient methods and retiming: +Jerry Chen / CubeJerry; complete kernels: Matarener. Implementation for dillona +with substantial OpenAI Codex assistance. Apache-2.0. +""" +from collections import defaultdict +from copy import deepcopy +from fractions import Fraction as Q +from support import L +from construct import construct + + +def observe(word, hit): + n = word['public'] + N = n+word['owned_fields'] + requests = [defaultdict(set), defaultdict(set)] + for side, field in enumerate(('gathers', 'injections')): + for obs in hit[field]: + requests[side][obs['cut']].add(obs['role']) + snapshots = [{}, {}] + rows = [{r: Q(1)} if r < n else {} for r in range(N)] + cols = [{r: Q(1)} if r < n else {} for r in range(N)] + events = word['program'] + def save(side, cut, values): + for r in requests[side].get(cut, ()): + snapshots[side][cut, r] = dict(values[r]) + save(0, 0, rows) + for i, e in enumerate(events): + op, r = e[:2] + if op in ('INIT', 'CLEAR'): + rows[r] = {} + elif op == 'SCALE': + rows[r] = {k: Q(e[-2])*q for k, q in rows[r].items()} + elif op in ('ADD', 'COPY'): + if op == 'COPY': + L.need(not rows[r], 'Every source COPY destination is ideal zero') + L.add(rows[r], rows[e[2]], Q(e[-2])) + save(0, i+1, rows) + save(1, len(events), cols) + for i in reversed(range(len(events))): + e = events[i] + op, r = e[:2] + if op in ('INIT', 'CLEAR'): + cols[r] = {} + elif op == 'SCALE': + cols[r] = {k: Q(e[-2])*q for k, q in cols[r].items()} + elif op in ('ADD', 'COPY'): + L.add(cols[e[2]], cols[r], Q(e[-2])) + if op == 'COPY': + cols[r] = {} + save(1, i, cols) + return snapshots + + +def check(hit, snapshots): + result = {} + for side, field, target in ((0, 'gathers', 'c'), (1, 'injections', 'd')): + total = {} + seen = set() + for obs in hit[field]: + key = obs['cut'], obs['role'] + L.need(key in snapshots[side] and key not in seen, 'Distinct authenticated source observation') + seen.add(key) + L.need(obs['frame'] == hit['frame'], 'One accumulator frame') + L.need(obs['cut'] <= hit['cut'] if side == 0 else obs['cut'] >= hit['cut'], 'Causal observation clock') + q = Q(obs['coefficient']) + L.need(q != 0, 'Nonzero observation coefficient') + L.add(total, snapshots[side][key], q) + want = {int(k): Q(q) for k, q in hit[target].items()} + L.need(total == want, 'Every timed source coefficient for '+target) + result[target] = {str(k): str(v) for k, v in sorted(total.items())} + c, d = ({int(k): Q(q) for k, q in hit[s].items()} for s in ('c', 'd')) + L.need(sum(q*d.get(r, 0) for r, q in c.items()) == 1, 'Unit boundary pairing') + return dict(status='PASS_EXACT_TIMED_OBSERVATIONS', gather_count=len(hit['gathers']), + injection_count=len(hit['injections']), latest_gather=max(x['cut'] for x in hit['gathers']), + retirement_cut=hit['cut'], earliest_injection=min(x['cut'] for x in hit['injections']), + vectors=result, boundary_pairing='1') + + +def controls(word, hit, paths, snapshots=None): + snapshots = observe(word, hit) if snapshots is None else snapshots + check(hit, snapshots) + def rejected(action): + try: + action() + except (ValueError, AssertionError): + return True + raise ValueError('Temporal corruption control accepted') + result = {} + for field in ('gathers', 'injections'): + bad = deepcopy(hit) + bad[field][0]['coefficient'] = str(2*Q(bad[field][0]['coefficient'])) + result['wrong_'+field+'_coefficient'] = rejected(lambda: check(bad, snapshots)) + bad = deepcopy(hit) + bad[field].pop(0) + result['omitted_'+field+'_observation'] = rejected(lambda: check(bad, snapshots)) + bad = deepcopy(hit) + bad['cut'] = max(x['cut'] for x in bad['gathers'])-1 + result['retirement_before_last_gather'] = rejected(lambda: check(bad, snapshots)) + bad = deepcopy(hit) + bad['injections'][0]['cut'] = hit['cut']-1 + result['injection_before_retirement'] = rejected(lambda: check(bad, snapshots)) + bad = deepcopy(hit) + bad['paid_delta'] = {} + result['omitted_paid_midpoint_cost'] = rejected(lambda: construct(word, bad, paths)) + bad = deepcopy(hit) + bad['path']['hi'] = bad['path']['moves'][0] + result['incomplete_paid_path'] = rejected(lambda: construct(word, bad, paths)) + bad = deepcopy(hit) + bad['ranks'] = list(reversed(bad['ranks'])) + result['wrong_productive_ranks'] = rejected(lambda: construct(word, bad, paths)) + bad = deepcopy(hit) + bad['gathers'][0]['cut'] = hit['cut']+1 + result['gather_after_retirement'] = rejected(lambda: construct(word, bad, paths)) + return result diff --git a/research/p104-temporal-chart237-continuation/construct.py b/research/p104-temporal-chart237-continuation/construct.py new file mode 100644 index 0000000000..0e1fc67ac5 --- /dev/null +++ b/research/p104-temporal-chart237-continuation/construct.py @@ -0,0 +1,139 @@ +"""Causal-history two-buffer split; proposed constructor, not an admission. + +Ali Romman's owned-buffer identity and CubeJerry's contact-free retiming are +predecessors. Implementation for dillona with OpenAI Codex assistance. +Apache-2.0. The complete exact native and caller checks remain mandatory. +""" +from collections import defaultdict, Counter +from copy import deepcopy +from fractions import Fraction as Q +from support import L +from split import basis, inverse + + +def construct(word, hit, neutral_paths): + n, owned = word['public'], word['owned_fields'] + f, pivot, cut = hit['frame'], hit['pivot'], hit['cut'] + u, v = word['initial'][pivot], word['final'][pivot] + c, d = ({int(k): Q(q) for k, q in hit[s].items()} for s in ('c', 'd')) + main = set(word['live']) | {r+112 for r in word['live']} | set(word['hosted']['X2']) | set(word['hosted']['Y2']) + group = {r for r in range(n) if r not in main and (word['initial'][r], word['final'][r]) == (u, v)} + L.need(pivot in group and set(c) | set(d) <= group, 'One helper boundary group') + spaces = list(map(L.span, word['frames'])) + L.need(spaces[u] < spaces[f] < spaces[v], 'Strict productive boundaries') + L.need(hit['ranks'] == [len(word['frames'][f])-len(word['frames'][u]), len(word['frames'][v])-len(word['frames'][f])], 'Exact target ranks') + gathers, injections = defaultdict(list), defaultdict(list) + for obs in hit['gathers']: + L.need(obs['frame'] == f and obs['cut'] <= cut, 'Gather chronology') + gathers[obs['cut']].append(obs) + for obs in hit['injections']: + L.need(obs['frame'] == f and obs['cut'] >= cut, 'Injection chronology') + injections[obs['cut']].append(obs) + selected = {} + for obs in hit['gathers'] + hit['injections']: + if 'path' in obs: + p = neutral_paths[obs['path']] + L.need(p['role'] == obs['role'] and p['frame'] == f and p['lo'] <= obs['cut'] <= p['hi'], 'Observation belongs to its neutral path') + selected[(p['role'], p['lo'], p['hi'])] = (p, False) + if 'paid_path' in obs: + p = hit['path'] + L.need(obs['paid_path'] == hit['paid_path'] and p['role'] == obs['role'] and p['frame'] == f and p['lo'] <= obs['cut'] <= p['hi'], 'Observation belongs to its paid path') + if 'path' in hit: + p = hit['path'] + selected[(p['role'], p['lo'], p['hi'])] = (p, True) + # A pivot may use a neutral path even when its value is not gathered. + for p in neutral_paths: + if p['role'] == pivot and p['frame'] == f and p['lo'] <= cut <= p['hi']: + selected.setdefault((p['role'], p['lo'], p['hi']), (p, False)) + break + enter, leave, remove, delta = defaultdict(list), defaultdict(list), set(), Counter() + events = word['program'] + for p, paid in selected.values(): + r, lo, hi = p['role'], p['lo'], p['hi'] + actual = [i for i in range(lo, hi) if events[i][1] == r or (events[i][0] in ('ADD', 'COPY') and events[i][2] == r)] + L.need(actual == p['moves'] and actual, 'Complete contact-free interval') + path = [events[i] for i in actual] + L.need(all(e[0] == 'MOVE' and e[1] == r and e[4] == (r >= n) for e in path), 'Only owned-typed MOVEs') + L.need(all(a[3] == b[2] for a, b in zip(path, path[1:])), 'Continuous original path') + L.need(not remove.intersection(actual), 'Nonoverlapping changed intervals') + remove.update(actual) + if paid: + a, b = path[0][2], path[-1][3] + L.need((a, b) == (p['old'], p['new']) and (spaces[a] <= spaces[f] <= spaces[b] or spaces[b] <= spaces[f] <= spaces[a]), 'Paid nested midpoint') + before = [['MOVE', r, a, f, r >= n]] if a != f else [] + after = [['MOVE', r, f, b, r >= n]] if f != b else [] + else: + frames = [path[0][2]] + [e[3] for e in path] + L.need(frames == p['frames'] and f in frames, 'Exact retained neutral path') + at = frames.index(f) + before, after = path[:at], path[at:] + enter[lo].extend(before) + leave[hi].extend(after) + delta.update(abs(len(word['frames'][e[3]])-len(word['frames'][e[2]])) for e in before+after) + delta.subtract(abs(len(word['frames'][e[3]])-len(word['frames'][e[2]])) for e in path) + L.need({r: q for r, q in delta.items() if q} == {int(r): q for r, q in hit['paid_delta'].items()}, 'Complete paid histogram change') + boundary = basis(c, d, pivot, u) + out = deepcopy(word) + out['public'] = n+1 + out['owned_fields'] = owned+2 + out['initial'].append(f) + out['final'].append(v) + out['final'][pivot] = f + A, B = n+1+owned, n+2+owned + program = inverse(boundary) + current = word['initial'] + [None]*owned + first, last = min(gathers), max(injections) + + def mapped(event, after): + e = event.copy() + for pos in (1, 2) if e[0] in ('ADD', 'COPY') else (1,): + r = e[pos] + e[pos] = n if after and r == pivot else r+int(r >= n) + return e + + def original(event, after): + op, r = event[:2] + if op == 'MOVE': + L.need(current[r] == event[2], 'Retimed path entry') + current[r] = event[3] + elif op == 'INIT': + L.need(current[r] is None, 'Fresh original owned field') + current[r] = event[2] + elif op == 'CLEAR': + L.need(current[r] == event[2], 'Original owned clear') + current[r] = None + else: + L.need(current[r] == event[-1], 'Original scalar frame') + if op in ('ADD', 'COPY'): + L.need(current[event[2]] == event[-1], 'Original scalar source frame') + program.append(mapped(event, after)) + + for i in range(len(events)+1): + for e in enter[i]: + original(e, i > cut) + if i == first: + program.append(['INIT', A, f]) + for obs in gathers[i]: + L.need(current[obs['role']] == f, 'Literal scheduled gather frame') + r = obs['role'] + int(obs['role'] >= n) + program.append(['ADD', A, r, str(Q(obs['coefficient'])), f]) + if i == cut: + L.need(current[pivot] == f, 'Literal pivot residency') + program.extend([ + ['INIT', B, f], ['ADD', B, n, '1', f], ['ADD', B, A, '-1', f], + ['ADD', n, pivot, '1', f], ['ADD', n, A, '-1', f], ['ADD', n, B, '-1', f], + ['ADD', pivot, A, '1', f], ['ADD', pivot, n, '-1', f], ['CLEAR', A, f]]) + for obs in injections[i]: + L.need(current[obs['role']] == f, 'Literal scheduled injection frame') + r = n if obs['role'] == pivot else obs['role'] + int(obs['role'] >= n) + program.append(['ADD', r, B, str(Q(obs['coefficient'])), f]) + if i == last: + program.append(['CLEAR', B, f]) + for e in leave[i]: + original(e, i >= cut) + if i < len(events) and i not in remove: + original(events[i], i >= cut) + L.need(current == word['final'] + [None]*owned, 'All original final frames') + program += [mapped([*e[:-1], v], True) for e in boundary] + out['program'] = program + return out diff --git a/research/p104-temporal-chart237-continuation/derive_grid.py b/research/p104-temporal-chart237-continuation/derive_grid.py new file mode 100644 index 0000000000..f8cb37f00b --- /dev/null +++ b/research/p104-temporal-chart237-continuation/derive_grid.py @@ -0,0 +1,36 @@ +"""Derive a finite common grid from every exact prefix row and scalar product. +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. +""" +from fractions import Fraction as Q +from math import lcm +from pathlib import Path +import gzip,json,sys + +def derive(word): + n=word['public'];rows=[{r:Q(1)}for r in range(n)]+[{}for _ in range(word['owned_fields'])] + denom=1;peak=Q(1);witness=None;visits=0 + def observe(row,i,kind): + nonlocal denom,peak,witness,visits + for v in row.values():denom=lcm(denom,v.denominator);visits+=1 + mass=sum(map(abs,row.values())) + if mass>peak:peak=mass;witness=[i,kind] + for i,e in enumerate(word['program']): + op,r=e[:2] + if op in('INIT','CLEAR'):rows[r]={} + elif op=='SCALE': + rows[r]={k:Q(e[2])*v for k,v in rows[r].items()};observe(rows[r],i,'scale') + elif op in('ADD','COPY'): + if op=='COPY':assert not rows[r] + product={k:Q(e[3])*v for k,v in rows[e[2]].items()};observe(product,i,'product') + row=rows[r].copy() + for k,v in product.items(): + value=row.get(k,Q(0))+v + if value:row[k]=value + else:row.pop(k,None) + rows[r]=row;observe(row,i,'stored') + odd=denom;frac=0 + while odd%2==0:odd//=2;frac+=1 + return dict(odd_scale=odd,fractional_bits=frac,unscaled_maximum_mass=str(peak),scaled_maximum_mass=str(peak*odd),mass_witness=witness,coefficient_visits=visits),rows +if __name__=='__main__': + w=json.load(gzip.open(sys.argv[1],'rt'));result,rows=derive(w) + Path(sys.argv[2]).write_text(json.dumps(result,indent=2)+'\n');print(result) diff --git a/research/p104-temporal-chart237-continuation/discover_temporal.py b/research/p104-temporal-chart237-continuation/discover_temporal.py new file mode 100644 index 0000000000..0798cfea01 --- /dev/null +++ b/research/p104-temporal-chart237-continuation/discover_temporal.py @@ -0,0 +1,146 @@ +"""Bounded exact temporal helper nomination using existing neutral paths. + +Ali Romman's causal-history identity and CubeJerry's contact-free retiming; +Matarener's exact pure kernels. Rohan Arun/OpenAI Codex, Apache-2.0. +No native, physical or complete-price acceptance is inferred from this search. +""" +import argparse,gzip,json,time +from pathlib import Path +from collections import defaultdict,Counter +from fractions import Fraction as Q +import sys +sys.path.insert(0,str(Path(__file__).resolve().parent)) +from support import L +from split import basis + +def encode(x): + if isinstance(x,Q): return str(x) + if isinstance(x,dict): return {str(k):encode(v) for k,v in x.items()} + if isinstance(x,(list,tuple)): return [encode(v) for v in x] + return x + + +def smooth(n): + if not n:return False + for p in (2,3,5): + while n%p==0:n//=p + return n==1 + + +def legal(prog): + for e in prog: + q=Q(e[-2]) + if not q or abs(q)+1>=2**16 or not smooth(q.denominator):return False + if e[0]=='SCALE' and not smooth(abs(q.numerator)):return False + return True + + + +def kernel(observations,side,group): + pivots={};out=[] + order=sorted(range(len(observations)),key=lambda i:observations[i]['lo'] if side=='pre' else -observations[i]['hi']) + for i in order: + row=observations[i][side] + outside={k:v for k,v in row.items() if k not in group} + inside={k:v for k,v in row.items() if k in group};coef={i:Q(1)} + while outside: + k=min(outside) + if k not in pivots: + q=1/outside[k];pivots[k]=[{j:v*q for j,v in x.items()}for x in (outside,inside,coef)];break + q=-outside[k] + for dst,src in zip((outside,inside,coef),pivots[k]):L.add(dst,src,q) + if not outside and inside: + boundary=max(observations[j]['lo']for j in coef) if side=='pre' else min(observations[j]['hi']for j in coef) + out.append((inside,coef,boundary)) + return out + +def run(a): + start=time.monotonic();w=json.loads(gzip.decompress(a.word.read_bytes()));seq=w['program'];n=w['public'];N=n+w['owned_fields'] + spans=list(map(L.span,w['frames']));U,V=a.group + main=set(w['live'])|{r+112 for r in w['live']}|set(w['hosted']['X2'])|set(w['hosted']['Y2']) + group={r for r in range(n)if r not in main and (w['initial'][r],w['final'][r])==(U,V)} + valid={f for f,F in enumerate(spans)if spans[U]=gain-1e-12:continue + p={'role':r,'lo':lo+1,'hi':hi,'frame':f,'moves':mi,'old':x,'new':y,'old_paid':old,'new_paid':new,'cost':cost,'gain':gain,'private':r>=n,'paid':True} + idx=len(observations);observations.append(p);paid_frames[f].append(idx);starts[lo+1].append(idx);ends[hi].append(idx) + print('DOMAIN',len(group),'helpers',len(observations),'observations',len(frames),'frames',flush=True) + rows=[{r:Q(1)}if rhi:continue + pair=sum(v*dd.get(k,0)for k,v in c.items()) + if not pair:continue + stats['causal_nonzero_pairs']+=1 + d={k:v/pair for k,v in dd.items()};b={k:v/pair for k,v in bb.items()} + pivots=[(max(lo,o['lo']),o['role'],j)for j,o in enumerate(obs)if o['role']in group and max(lo,o['lo'])<=min(hi,o['hi'])] + for cut,pivot,pidx in sorted(pivots): + stats['resident_pairs']+=1 + scales={Q(1)}|{1/v for v in d.values()} + for scale in sorted(scales,key=lambda v:abs(v.numerator).bit_length()+v.denominator.bit_length()): + cc={k:v/scale for k,v in c.items()};dv={k:v*scale for k,v in d.items()};av={k:v/scale for k,v in aa.items()};bv={k:v*scale for k,v in b.items()} + code=basis(cc,dv,pivot,U)+[['ADD',N,obs[j]['role'],str(v),f]for j,v in list(av.items())+list(bv.items())] + if not legal(code):continue + used=sorted(j for j in set(av)|set(bv)|{pidx}if not obs[j].get('paid'));remap={j:i for i,j in enumerate(used)} + paths=[{k:v for k,v in obs[j].items()if k not in ('pre','suf')}for j in used] + def point(j,v,side):return {'cut':obs[j]['lo' if side=='pre' else 'hi'],'role':obs[j]['role'],'frame':f,**({'paid_path':0}if obs[j].get('paid')else{'path':remap[j]}),'coefficient':v} + hit={'frame':f,'cut':cut,'pivot':pivot,'ranks':[len(w['frames'][f])-len(w['frames'][U]),len(w['frames'][V])-len(w['frames'][f])],'c':cc,'d':dv,'gathers':[point(j,v,'pre')for j,v in av.items()],'injections':[point(j,v,'suf')for j,v in bv.items()],'paid_delta':{}} + if paid_idx is not None: + path={k:v for k,v in observations[paid_idx].items()if k not in ('pre','suf','paid')};delta=Counter(v for v in path['new_paid']if v);delta.subtract(path['old_paid']);hit.update(paid_path=0,path=path,paid_delta={r:v for r,v in delta.items()if v}) + (a.out/'WITNESS.json').write_text(json.dumps(encode(hit),indent=2));(a.out/'PATHS.json').write_text(json.dumps(encode(paths),indent=2)) + (a.out/'SEARCH.json').write_text(json.dumps({'status':'EXACT_TEMPORAL_NOMINATION_ONLY','counts':stats,'seconds':time.monotonic()-start},indent=2));print('NOMINEE',f,cut,pivot,dict(stats),flush=True);return + if stats['frames']%100==0:print('FRAMES',dict(stats),flush=True) + (a.out/'SEARCH.json').write_text(json.dumps({'status':'NO_NOMINEE_IN_BOUNDED_TEMPORAL_DOMAIN','paid_limit':a.paid_limit,'counts':stats,'seconds':time.monotonic()-start},indent=2));print('NO_NOMINEE',dict(stats),flush=True) + +if __name__=='__main__': + p=argparse.ArgumentParser();p.add_argument('--word',type=Path,required=True);p.add_argument('--out',type=Path,required=True);p.add_argument('--group',nargs=2,type=int,default=[3,127]);p.add_argument('--paid-limit',type=int,default=0);p.add_argument('--kappa',type=float,default=0.003);run(p.parse_args()) diff --git a/research/p104-temporal-chart237-continuation/inputs/pr7145.tar b/research/p104-temporal-chart237-continuation/inputs/pr7145.tar new file mode 100644 index 0000000000..c082c63d18 Binary files /dev/null and b/research/p104-temporal-chart237-continuation/inputs/pr7145.tar differ diff --git a/research/p104-temporal-chart237-continuation/price.py b/research/p104-temporal-chart237-continuation/price.py new file mode 100644 index 0000000000..766ff9bbad --- /dev/null +++ b/research/p104-temporal-chart237-continuation/price.py @@ -0,0 +1,54 @@ +# Successor: Rohan Arun/OpenAI Codex global output rechart; predecessor attribution retained. +"""Recompute both source invoices and two exact crossing engines. +Retains Rohan Arun's caller adapters and ToikY's attributed price engines. +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. +""" +from pathlib import Path +from hashlib import sha256 +from fractions import Fraction as Q +import gzip,importlib.util,json,sys + +def load(name,path): + spec=importlib.util.spec_from_file_location(name,path);obj=importlib.util.module_from_spec(spec);sys.modules[name]=obj;spec.loader.exec_module(obj);return obj + +def read(path): + raw=Path(path).read_bytes();return json.loads(gzip.decompress(raw) if raw[:2]==b'\x1f\x8b' else raw) + +def normalized(value):return json.loads(json.dumps(value,default=str)) + +def main(native,caller,previous_composition,folder): + source=load('composition_native_source',native/'source.py') + with source.sources() as (vendor,archive,rank9,bundle,parent,word): + sys.path.insert(0,str(folder)) + model=load('composition_signed_model',folder/'signed_model.py');ind=model.signed_model() + code=(folder/'independent.py').read_text();part=code[code.index('def invoices('):code.index('def ordinary(')] + assert part.count('assert calls==18')==1 + part=part.replace('assert calls==18',"assert calls==C['stages']") + old="elif e[1]=='IDLE_ONE':P[8*len(e[3])]+=ports";assert part.count(old)==1 + part=part.replace(old,"elif e[1] in ('IDLE_ONE','IDLE_ODD'):P[8*len(e[3])+(e[1]=='IDLE_ODD')]+=ports") + exec(compile(part,str(folder/'independent.py'),'exec'),ind.__dict__) + C=read(caller/'expected/ODD-TYPE-AB-CALLER.json') + old_word=word;new_word=read(native/'WORD.json.gz') + old_result=read(parent/'NATIVE-RESULT.json');new_result=read(native/'NATIVE-RESULT.json') + inventories=[ind.native(w) for w in (old_word,new_word)] + for n,r,w in zip(inventories,(old_result,new_result),(old_word,new_word)): + assert normalized(n)==r['native'] and not n['bad_inputs'] + assert sha256(json.dumps(w,sort_keys=True,separators=(',',':')).encode()).hexdigest()==r['word_canonical_sha256'] + before,after=[ind.invoices(w,C,n) for w,n in zip((old_word,new_word),inventories)] + previous=read(previous_composition/'RESULT.json')['price'] + assert normalized(before)==previous['after'],'Entire reconstructed current #7145 invoice' + G=load('composition_price_engine',bundle/'gate.py') + gate,price=G.exact_price(vendor,archive,before,after,{'gate':previous['gate']}) + assert Q(gate['claim'])>Q(new_result['gate']['claim']) + native_invoice={k:({int(r):v for r,v in value.items()} if k in ('T','P') else value) for k,value in new_result['invoice'].items()} + directed=G.module('composition_native_comparator',vendor/'interval_gate.py') + assert directed.moment(G.signed(native_invoice),Q(gate['claim']))[1]<0,'The separately checked18-stage ingredient invoice rejects the17-stage claim' + record=normalized(dict(before=before,after=after,gate=gate,price=price,native_baseline_rejects_new_claim=True, + old_native=old_result['word_canonical_sha256'],new_native=new_result['word_canonical_sha256'])) + with (folder/'CURRENT-PRICE.json').open('x') as f:json.dump(record,f,indent=2) + with (folder/'COHORT-PRICE.json').open('x') as f:json.dump(dict(target=after['T'],paid=after['P'],bracket=gate['raw_bracket']),f,indent=2) + print('PASS two reconstructed invoices and both exact price engines',price['claim_decimal'],flush=True) + +if __name__=='__main__': + assert __debug__ + main(*map(Path,sys.argv[1:])) diff --git a/research/p104-temporal-chart237-continuation/source.py b/research/p104-temporal-chart237-continuation/source.py new file mode 100644 index 0000000000..012a9a94d6 --- /dev/null +++ b/research/p104-temporal-chart237-continuation/source.py @@ -0,0 +1,49 @@ +"""Authenticate the complete #7145 closure. Apache-2.0; retained author notices apply.""" +from pathlib import Path +from contextlib import contextmanager +from hashlib import sha256 +import json,gzip,tarfile,tempfile,importlib.util,sys +HERE=Path(__file__).resolve().parent +def read(path): + raw=Path(path).read_bytes();return json.loads(gzip.decompress(raw) if raw[:2]==b'\x1f\x8b' else raw) +def canonical(obj):return json.dumps(obj,sort_keys=True,separators=(',',':')).encode() +def need(ok,why): + if not ok:raise ValueError(why) +def load(name,path): + s=importlib.util.spec_from_file_location(name,path);m=importlib.util.module_from_spec(s);sys.modules[name]=m;s.loader.exec_module(m);return m +@contextmanager +def parent_bundle(): + pin=read(HERE/'INPUTS.json');archive=HERE/pin['archive'];need(sha256(archive.read_bytes()).hexdigest()==pin['archive_sha256'],'Source archive') + with tempfile.TemporaryDirectory(prefix='rechart-source-') as tmp: + root=Path(tmp);pins={r['path']:r for r in pin['files']};seen=set() + with tarfile.open(archive) as tar: + for m in tar: + if m.isdir():continue + path=root/m.name;need(m.isfile() and m.name in pins and m.name not in seen and path.resolve().is_relative_to(root.resolve()),'Safe source member') + raw=tar.extractfile(m).read();p=pins[m.name];need(len(raw)==p['size'] and sha256(raw).hexdigest()==p['sha256'],'Source member hash') + path.parent.mkdir(parents=True,exist_ok=True);path.write_bytes(raw);seen.add(m.name) + need(seen==set(pins),'Complete source inventory');yield root/pin['prefix'] +@contextmanager +def sources(): + with parent_bundle() as parent: + s=load('rechart_parent_source',parent/'source.py') + with s.sources() as (vendor,archive,rank9,bundle,oldparent,oldword): + names=('source','construct','support','split','rechart','retime') + saved={k:sys.modules.get(k) for k in names};saved_path=list(sys.path) + try: + for k in names:sys.modules.pop(k,None) + sys.path.insert(0,str(parent)) + c=load('rechart_parent_construct',parent/'construct.py') + word=c.construct(oldword,read(parent/'WITNESS.json')) + finally: + sys.path[:]=saved_path + for k,v in saved.items(): + if v is None:sys.modules.pop(k,None) + else:sys.modules[k]=v + need(canonical(word)==gzip.decompress((parent/'WORD.json.gz').read_bytes()),'Every reconstructed #7145 word byte') + yield vendor,archive,rank9,bundle,parent,word +@contextmanager +def bundles(): + with parent_bundle() as parent: + s=load('rechart_composition_source',parent/'source.py') + with s.bundles() as (parts,previous,root):yield parts,parent,root diff --git a/research/p104-temporal-chart237-continuation/split.py b/research/p104-temporal-chart237-continuation/split.py new file mode 100644 index 0000000000..f1c7609653 --- /dev/null +++ b/research/p104-temporal-chart237-continuation/split.py @@ -0,0 +1,155 @@ +"""Split independent helper jobs with three scalar basis changes. + +Ali Romman with substantial OpenAI Codex assistance. Apache-2.0. +Adapted for arbitrary counted owned-field inventory by @CubeJerry with OpenAI assistance. +Successor: OpenAI Codex for dillona excludes both hosted main planes from helper groups. +The source word and caller retain the credits in README.md. +Successors: dillona/OpenAI Codex choose a small smooth swap entry when pivot is zero; +then also when a nonzero pivot has a nonunit reciprocal, preserving the native alphabet. +""" +from copy import deepcopy +from fractions import Fraction as Q +from support import L + + +def inverse(program): + return [[e[0], *e[1:-2], + str(1/Q(e[-2]) if e[0] == 'SCALE' else -Q(e[-2])), e[-1]] + for e in reversed(program)] + + +def basis(a, b, pivot, frame): + """Return B with row pivot equal to a and B b equal to e_pivot.""" + L.need(sum(v*b.get(k, 0) for k, v in a.items()) == 1, 'Unit basis pairing') + roles = sorted(set(a) | set(b) | {pivot}) + values, program = dict(b), [] + + def emit(event): + program.append(event) + r, q = event[1], Q(event[-2]) + if event[0] == 'SCALE': + values[r] = values.get(r, 0)*q + else: + values[r] = values.get(r, 0)+q*values.get(event[2], 0) + + def swap_score(r): + q=b[r] + def smooth(x): + for prime in (2,3,5): + while x%prime==0:x//=prime + return x==1 + return (not(smooth(abs(q.numerator)) and smooth(q.denominator)), + abs(q.numerator).bit_length()+q.denominator.bit_length(),r) + j = pivot if b.get(pivot) and not swap_score(pivot)[0] else min((r for r in roles if b.get(r)),key=swap_score) + if j != pivot: + for event in [['ADD', pivot, j, '1', frame], + ['ADD', j, pivot, '-1', frame], + ['ADD', pivot, j, '1', frame], + ['SCALE', j, '-1', frame]]: + emit(event) + if values[pivot] != 1: + emit(['SCALE', pivot, str(1/values[pivot]), frame]) + for r in roles: + if r != pivot and values.get(r): + emit(['ADD', r, pivot, str(-values[r]), frame]) + L.need(all(values.get(r, 0) == int(r == pivot) for r in roles), 'Basis column') + inverse_rows = {r: {r: Q(1)} for r in roles} + for e in inverse(program): + if e[0] == 'SCALE': + inverse_rows[e[1]] = {k: Q(e[-2])*v for k, v in inverse_rows[e[1]].items()} + else: + L.add(inverse_rows[e[1]], inverse_rows[e[2]], Q(e[-2])) + row = {} + for r, q in a.items(): + L.add(row, inverse_rows[r], q) + L.need(row[pivot] == 1, 'Basis row coefficient') + for r in roles: + if r != pivot and row.get(r): + program.append(['ADD', pivot, r, str(row[r]), frame]) + return program + + +def check_cut(word, h): + """Check the whole prefix row and suffix column over the rationals.""" + n, cut, f, p = word['public'], h['cut_after'], h['frame'], h['pivot'] + a, b, c, d = ({int(k): Q(v) for k, v in h[s].items()} for s in ('a', 'b', 'c', 'd')) + main = set(word['live']) | {r+112 for r in word['live']} | set(word['hosted']['X2']) | set(word['hosted']['Y2']) + L.need(p < n and p not in main, 'A helper supplies the retained output role') + u, v = word['initial'][p], word['final'][p] + group = {r for r in range(n) if r not in main and + (word['initial'][r], word['final'][r]) == (u, v)} + L.need(set(c) | set(d) <= group, 'Both boundary vectors use one helper group') + L.need(L.span(word['frames'][u]) < L.span(word['frames'][f]) < L.span(word['frames'][v]), + 'Two strictly productive nested targets') + L.need(h['ranks'] == [len(word['frames'][f])-len(word['frames'][u]), + len(word['frames'][v])-len(word['frames'][f])], 'Declared split ranks') + rows = [{r: Q(1)} if r < n else {} for r in range(n+word['owned_fields'])] + current = word['initial']+[None]*word['owned_fields'] + for e in word['program'][:cut+1]: + op, r = e[:2] + if op == 'MOVE': + current[r] = e[3] + elif op in ('INIT', 'CLEAR'): + rows[r] = {} + current[r] = e[2] if op == 'INIT' else None + elif op == 'SCALE': + rows[r] = {k: Q(e[-2])*x for k, x in rows[r].items()} + elif op == 'COPY': + rows[r] = {k: Q(e[-2])*x for k, x in rows[e[2]].items()} + else: + L.add(rows[r], rows[e[2]], Q(e[-2])) + L.need(all(current[r] == f for r in set(a) | set(b) | {p}), 'One intermediate chart') + total = {} + for r, q in a.items(): + L.add(total, rows[r], q) + L.need(total == c, 'Exact prefix functional; no other input') + column = [b.get(r, Q(0)) for r in range(n+word['owned_fields'])] + for e in word['program'][cut+1:]: + op, r = e[:2] + if op in ('INIT', 'CLEAR'): + column[r] = Q(0) + elif op == 'SCALE': + column[r] *= Q(e[-2]) + elif op == 'COPY': + column[r] = Q(e[-2])*column[e[2]] + elif op == 'ADD': + column[r] += Q(e[-2])*column[e[2]] + L.need(column == [d.get(r, Q(0)) for r in range(n+word['owned_fields'])], 'Exact suffix direction; no other output') + L.need(sum(x*b.get(r, 0) for r, x in a.items()) == + sum(x*d.get(r, 0) for r, x in c.items()) == 1, 'Both independent pairings') + return a, b, c, d + + +def split(word, h): + a, b, c, d = check_cut(word, h) + n, p, f, cut = word['public'], h['pivot'], h['frame'], h['cut_after'] + u, v = word['initial'][p], word['final'][p] + + def shift_owned(event): + e = event.copy() + e[1] += int(e[1] >= n) + if e[0] in ('ADD', 'COPY'): + e[2] += int(e[2] >= n) + return e + + def use_successor(event): + e = event.copy() + if e[1] == p: + e[1] = n + if e[0] in ('ADD', 'COPY') and e[2] == p: + e[2] = n + return e + + boundary, middle = basis(c, d, p, u), basis(a, b, p, f) + out = deepcopy(word) + out['public'] = n+1 + out['initial'].append(f) + out['final'].append(v) + out['final'][p] = f + out['program'] = inverse(boundary) + out['program'] += [shift_owned(e) for e in word['program'][:cut+1]] + out['program'] += [shift_owned(e) for e in middle] + out['program'] += [use_successor(shift_owned(e)) for e in inverse(middle)] + out['program'] += [use_successor(shift_owned(e)) for e in word['program'][cut+1:]] + out['program'] += [use_successor([*e[:-1], v]) for e in boundary] + return out diff --git a/research/p104-temporal-chart237-continuation/support.py b/research/p104-temporal-chart237-continuation/support.py new file mode 100644 index 0000000000..192cd38d27 --- /dev/null +++ b/research/p104-temporal-chart237-continuation/support.py @@ -0,0 +1,18 @@ +"""Small exact sparse operations, retained from Ali Romman/CubeJerry. Apache-2.0.""" +class L: + @staticmethod + def need(ok, why): + if not ok: raise ValueError(why) + @staticmethod + def add(dst, src, q): + for k,v in tuple(src.items()): + value=dst.get(k,0)+q*v + if value: dst[k]=value + else: dst.pop(k,None) + @staticmethod + def span(basis): + out={0} + for v in basis: + L.need(type(v) is int and 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) + from certificate import controls as temporal_controls + controls=temporal_controls(old,hit,paths) + scalar=next(i for i,e in enumerate(new['program'])if e[0]=='ADD') + controls['wrong_boundary_scalar_coefficient']=bool(I.native(new,mutant=scalar)['bad_inputs']) + bad=deepcopy(new);i=next(i for i,e in enumerate(bad['program'])if e[0]=='MOVE');bad['program'][i][2]=-1 + controls['wrong_move_source']=rejects(lambda:I.native(bad)) + bad=deepcopy(new);bad['final'][hit['pivot']]=old['final'][hit['pivot']] + controls['omitted_retiring_output_frame']=rejects(lambda:I.native(bad)) + A=new['public']+old['owned_fields'] + bad=deepcopy(new);bad['program']=[e for e in bad['program']if not(e[0]=='INIT'and e[1]==A)] + controls['omitted_accumulator_init']=rejects(lambda:I.native(bad)) + bad=deepcopy(new);i=next(i for i,e in enumerate(bad['program'])if e[0]=='CLEAR'and e[1]==A);bad['program'][i][1]=hit['pivot'] + controls['public_erasure_rejected']=rejects(lambda:I.native(bad)) + owned_check=G.module('temporal_owned_census',vendor/'retained/query-only-precision-envelope/envelopes.py',(('(life, peak, owned_count) == (54, 43, 51)','(life, peak, owned_count) == (60, 45, 57)'),)) + need(owned_check.validate_word(new)['lifetimes']==60,'Fresh exact owned census in envelope validator') + bad=deepcopy(new);bad['program']=[['INIT',A,hit['frame']],['CLEAR',A,hit['frame']]]+bad['program'] + controls['extra_uncharged_owned_lifetime']=rejects(lambda:owned_check.validate_word(bad)) + grid_engine=G.module('rechart_grid_controls',vendor/'retained/odd-native-common-grid/independent_bounds.py') + controls['insufficient_odd_grid']=rejects(lambda:grid_engine.word_run(new,375,25)) + controls['insufficient_fractional_grid']=rejects(lambda:grid_engine.word_run(new,1125,24)) + need(all(controls.values()),'All native corruption controls') + physical_checks=[] + with tempfile.TemporaryDirectory(prefix='rechart-physical-') as tmp: + path=Path(tmp)/'word.json.gz';path.write_bytes(gzip.compress(canonical(new),mtime=0)) + for command,args in [(vendor/'frozen/verify_host3_odd.py',[path,'1125']),(vendor/'frozen/physical.py',[path,vendor/'frozen/clifford_exact.py','1000000009','11'])]: + subprocess.run([sys.executable,'-I','-B',str(command),*map(str,args)],check=True);physical_checks.append(command.name) + digest=sha256(canonical(new)).hexdigest() + engine=G.module('rechart_signed_routes',rank9/'physical_child.py',(('cca66a7ec924bab47ccd1410968d16e071a01dc6110b5c08040bd207f753d066',digest),)) + capture=io.StringIO() + with contextlib.redirect_stdout(capture):engine.main(path,vendor/'data/caller.json',caller_path) + signed_routes=json.loads(capture.getvalue()) + need(signed_routes['status']=='PASS_PHYSICAL_RANK9_ALGEBRA' and signed_routes['paid_calls']==32,'Signed physical fields') + need(1000*sum(len(row['caller_fields'])*row['ordinary_elementary_units'] for row in signed_routes['bindings'])==routes,'Actual signed-route charge') + print('PASS affected Gaussian chart columns, phase, corruption controls and finite physical replay',flush=True) + return normalized(dict(status='PASS_TEMPORAL_CHART237_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)