From 96315effd7790270bf7e36b53ac06903304994a5 Mon Sep 17 00:00:00 2001 From: JoyboyBrian <122925040+JoyboyBrian@users.noreply.github.com> Date: Thu, 22 Oct 2026 23:26:54 -0700 Subject: [PATCH 1/2] Complete the admitted R437 fibre Count with a validated radix cache --- research/r437-admitted-count-power/PROOF.md | 99 + research/r437-admitted-count-power/README.md | 73 + .../r437-admitted-count-power/RESULT.json | 219 ++ .../r437-admitted-count-power/SOURCES.json | 2474 +++++++++++++++++ research/r437-admitted-count-power/TASK.json | 91 + .../r437-admitted-count-power/VERIFY.json | 439 +++ research/r437-admitted-count-power/adapter.py | 42 + research/r437-admitted-count-power/bridge.py | 25 + .../r437-admitted-count-power/controls.py | 66 + .../retained/selected-result.json | 222 ++ research/r437-admitted-count-power/verify.py | 135 + 11 files changed, 3885 insertions(+) create mode 100644 research/r437-admitted-count-power/PROOF.md create mode 100644 research/r437-admitted-count-power/README.md create mode 100644 research/r437-admitted-count-power/RESULT.json create mode 100644 research/r437-admitted-count-power/SOURCES.json create mode 100644 research/r437-admitted-count-power/TASK.json create mode 100644 research/r437-admitted-count-power/VERIFY.json create mode 100644 research/r437-admitted-count-power/adapter.py create mode 100644 research/r437-admitted-count-power/bridge.py create mode 100644 research/r437-admitted-count-power/controls.py create mode 100644 research/r437-admitted-count-power/retained/selected-result.json create mode 100644 research/r437-admitted-count-power/verify.py diff --git a/research/r437-admitted-count-power/PROOF.md b/research/r437-admitted-count-power/PROOF.md new file mode 100644 index 0000000000..06b6ca7039 --- /dev/null +++ b/research/r437-admitted-count-power/PROOF.md @@ -0,0 +1,99 @@ +# Original admitted NODE through the complete fibre Count + +JoyboyBrian, substantial OpenAI Codex assistance, Apache-2.0. Adapted verification +setup from JoyboyBrian #4987. Original caller, cardinality, physical words and +stock/compiler mechanisms retain the credit in README.md and predecessor notices. + +## Exact contract and changed implementation + +Inputs are a valid immutable source Ring with modulus q^w, compiled integer +q>=2 and w>=1, an encoded nonnegative exponent Word E, and an owned canonical +Count V. The Ring/modulus/exponent and all unrelated dirty state are borrowed. +Count.multiply_small(q), source Counter and Word division are the actual +original primitives; the radix loop retains its original arithmetic and guards +with corrected opt-in cleanup on a rejected intermediate quotient. Runtime Word.inspect or decoding of E,w,V is forbidden. +The required endpoint is V_out=V_in*q^(w E), with borrowed bytes/heads restored +and all owned cache/Counter/numerical backing erased. This is a positive valid- +context contract. It does not roll back partial output Count writes if the +original Count primitive itself fails. + +The original multiply_atom_power traverses radix_power(ring,q) for every one +of E iterations. Each traversal divides the same unchanged modulus by q until +one, validates the exact remainder and copies/frees its own numerical operands. +No iteration modifies the borrowed Ring/modulus/exponent. Its yielded length is +therefore exactly w on every traversal. The original Count modification word is +precisely w*E repetitions of multiply_small(q), in that order. + +The adapter performs the original radix_power division/validation loop once and writes one ONE marker per yielded +step on an owned sequential Tape, followed by RIGHT. It never decodes w into +host control. An actual source Counter copies E. For each Counter iteration, +the cache is read sequentially, each ONE invokes the unchanged Count primitive, +and RIGHT causes a rewind and original Counter decrement. Induction on the +Counter iterations proves the identical full Count modification word and the +required endpoint, for every valid finite input. Source q/carry finite-control +assumptions remain inherited; no new unit-cost arithmetic claim is introduced. + +The owned cache is created before the try and cleared in its finally. The source +Counter is assigned only after successful creation and closed in the same finally. +The opt-in validation loop also releases quotient/remainder if the original +prime-power guard rejects: the frozen original generator checks that guard +before freeing those two new Words. Its copied modulus/divisor are released +in finally. Thus invalid radix validation and a failing Count operation release the adapter's +cache/Counter. A Count exception may retain its own partial output writes; general +failure rollback is not claimed. Cached validation is performed even when E=0, +so malformed contexts may reject earlier than the original no-op branch. This +is outside the stated valid-context equivalence, and is tested explicitly. + +## Actual source binding and completed NODE boundary + +The original source is the exact Machine.node in the authenticated R437 source +closure, inherited through #4987. bridge.py parses its AST and retains every +statement before the assignment to peeled. Only fresh_rows.quotient is replaced +by the already credited #4794 opt-in quotient and multiply_atom_power by the +adapter above. All other globals and statements are unchanged. In particular +these original statements execute: + + total = Unsigned(self.indices).times_small(self.size, 2) + multiply_atom_power(fibre, total, self.context.ring, self.context.q) + self.indices.free(total) + complete = Count.product(fibre, self.count("suffix")) + fibre.close() + self.save_count(complete, "fibre") + +The AST prefix hash and exact statement count are in RESULT.json. This is a +literal source cut before payload peel, not a reimplementation of the NODE +arithmetic. Root checked_entry authenticates original source handle/key, precision, +field, root size/history and stock before invoking the encoded continuation. +The context view is tied to that admitted metadata but its expensive full +Context/codebook constructor is not executed. An authenticated view is not +claimed as proof that the full constructor/caller has run. + +For the unchanged q=2^127-1 root e=n=64,w=2,h=0, original precision is +L255/I8/Q520213. Unused and leading Counts are 9475, gap=suffix=1. The original +completed saved Count is exactly 9475*(q^2)^128, of bit length 32526. All 256 +Count multipliers remain paid. Two actual original Word divisions validate the +radix once instead of 256 original divisions. The adapter saves the completed +Count on the original fibre role before the first payload operation. The +root Count, original Program, old directory and unrelated dirty Count173/Word37 +retain bytes and heads. The actual Count output persists only until explicitly +owned disposal; no teardown is used to conceal a failed borrowed-state test. + +## Costs, evidence and limits + +The new cache occupies w marker cells plus terminator/boundary and rewinds for +each exponent iteration. It pays w original radix divisions once, every source +Counter action, every original Count multiplier, all unary-cache reads/moves, +and cleanup. Record/index/residue counters and visited backing are reported +for the complete source prefix and fixture construction/disposal separately. +No huge integer is read as a runtime arithmetic oracle. Independent host integer +arithmetic observes completed outputs only; fixture construction and the inherited +large quotient divisor preparation remain explicit separate costs. + +This is source-bound semantic completion and finite admitted execution. It does +not provide a total fixed binary-TM tariff, a runtime asymptotic improvement, +full Context/GL64 directory construction, payload, original peel, stock/precision +admission for all descendants, compiler or supplier/outer admission. The old +#4987 90.505-second interruption and this complete run are distinct diagnostics; +wall times across revisions/environments are not a proved speed comparison. +The exact reduction from 256 to two original divisions follows from the bound +source word and immutable valid Ring, rather than measured wall time. diff --git a/research/r437-admitted-count-power/README.md b/research/r437-admitted-count-power/README.md new file mode 100644 index 0000000000..cb020abe38 --- /dev/null +++ b/research/r437-admitted-count-power/README.md @@ -0,0 +1,73 @@ +# Complete the admitted R437 binary fibre Count + +The actual original q=2^127-1 R437 root now executes through its completed +32,526-bit fibre Count, including the original suffix product and save, before +payload peel. An owned sequential radix cache validates the immutable modulus +once, retaining the original encoded Counter and all 256 Count.multiply_small(q) +calls. Actual original Word divisions fall from 256 to two for this root. +[PROOF.md](PROOF.md) proves the valid-context source equivalence for all widths. + +#4987 already supplied the admitted root/ingress/stock/initial Count boundary. +Its full exponent diagnostic was interrupted after 90.505 seconds. This package +answers its first open next question with an actual completed Count output, +rather than replacing q127 by a tiny fixture. The first full completed run took +56.104 seconds on local Python 3.12.15; that observation is not a proved runtime +bound or a controlled baseline speedup. All frozen inputs remain unchanged. + +## Boundary and evidence + +The source AST is cut before the original assignment to peeled. The original +ingress, quotient, stock guard, saved leading, initial fibre, exponent, suffix +product and saved complete fibre run unchanged except the two named opt-in +adapters. Runtime Word.inspect is disabled. The exact output is +9475*(q^2)^128. Original root precision L255/I8/Q520213, source handle/key, +Program and numerical admission checks remain bound to the actual root. + +Borrowed bytes/heads, dirty Count173/Word37, numerical live sets and erased +owned backing are checked before fixture disposal. Separate small-domain +comparisons retain the exact original multiplier word, including zero exponent, +and reject invalid modulus and injected Count-failure leaks. Typed receipt and +source corruption must reject. Exact counts, AST identity, lane invoices and +output hashes are in [RESULT.json](RESULT.json). + +The context is a structural view bound to admitted metadata. Full codebook and +Context construction, physical large-divisor arithmetic pricing, original peel, +complete directory/gather and payload are unrun. Unknown costs are not zero. +This does not admit a supplier, improve kappa, or change the selected result. + +## Reproduce + +Use standard-library Python 3.12: + +```sh +python3.12 -B scripts/research_package.py --package research/r437-admitted-count-power +python3.12 -I -O -B research/r437-admitted-count-power/verify.py +``` + +Both full admitted replays are registered with 120-second bounds. No concurrent +artifact regeneration or whole historical suite is required. The source closure +and exact historical selected-record projection retain the #4987 loading +contract; the latter is not substituted as the current selected result. + +Family decision: NARROW to #4987's concrete incomplete exponent segment, close +this Count boundary, then stop before payload. #4981's complete-prefix consumer +fusion and Nick Petalas #4854's shared-radix quotient remain separate credited +results. Initial overlap covered 310 open PRs, 4096 Discussion records and all +6690 tracked local notes; keyword absence is not novelty. Canonical base is +bee95ce88f9f19802f0613f92838895cd0e14a1f, priority revision 7, selected +conditional kappa 0.00302015 unchanged. Canonical Discussion: #4682. + +## Open next questions + +1. Execute the original peel/directory/gather consumer from this exact completed + Count output, preserving every borrowed row and actual admitted precision. + Full Context/codebook construction and payload scale are blockers. +2. Replace the inherited compile-time large quotient arithmetic diagnostic by + an explicit binary implementation and complete price, retaining all original + source/preparation obligations. A Python big integer is not one physical step. + +Credit David Arias, Chris R/Clear1nsight, Jose Manuel, Nick Petalas, ToikY, +codyw912 and the pinned compiler/caller/stock/Count lineage. The copied root +fixture adapts JoyboyBrian #4987, preserving attribution. New cache/composition +and checks: JoyboyBrian, substantial OpenAI Codex assistance. Apache-2.0. +No independent human or formal proof-kernel acceptance is claimed. diff --git a/research/r437-admitted-count-power/RESULT.json b/research/r437-admitted-count-power/RESULT.json new file mode 100644 index 0000000000..649cf93497 --- /dev/null +++ b/research/r437-admitted-count-power/RESULT.json @@ -0,0 +1,219 @@ +{ + "batch_constant": { + "bits": 520192, + "sha256": "750f89ba4ed2f9b59c25d497275b3f666ef874f5f06a8b555b4fb8c35b2082b5" + }, + "completed_expansion": { + "cached_word_divisions": 2, + "count_multiply_small": 256, + "final_fibre_bits": 32526, + "original_word_divisions": 256 + }, + "construction": { + "multiplications": 13, + "operand_bit_pairs": [ + [ + 127, + 127 + ], + [ + 254, + 254 + ], + [ + 508, + 508 + ], + [ + 1016, + 1016 + ], + [ + 2032, + 2032 + ], + [ + 4064, + 4064 + ], + [ + 8128, + 8128 + ], + [ + 16256, + 16256 + ], + [ + 32512, + 32512 + ], + [ + 65024, + 65024 + ], + [ + 130048, + 130048 + ], + [ + 260096, + 260096 + ], + [ + 1, + 520192 + ] + ], + "schoolbook_bit_products": 90200420437, + "stored_divisor_bits": 520192 + }, + "controls": [ + { + "continuation_called": false, + "error": "actual canonical residue width", + "name": "wrong precision" + }, + { + "continuation_called": false, + "error": "actual canonical root-index width", + "name": "reset root index" + }, + { + "continuation_called": false, + "error": "actual complete codebook width", + "name": "wrong code width" + }, + { + "continuation_called": false, + "error": "compatible original-root stock divisor", + "name": "incompatible rows" + }, + { + "continuation_called": false, + "error": "executable original-root entry; descendant path certificate required", + "name": "nonroot history" + }, + { + "continuation_called": false, + "error": "fresh source codebook identity", + "name": "stale actual source" + } + ], + "differential": { + "all_control_backing_erased": true, + "controls": [ + "non-prime-power context rejected before Count writes", + "non-prime-power context rejected before Count writes", + "Count exception releases owned cache and Counter" + ], + "original_cached_pairs": 81, + "unchanged_multiplier_words": 81 + }, + "encoded_result": { + "borrowed_preserved": true, + "full_construct_execute_dispose": { + "index": { + "moves": 3976, + "reads": 3979, + "writes": 883 + }, + "record": { + "moves": 42704090, + "reads": 49520496, + "writes": 14360651 + }, + "residue": { + "moves": 10492500, + "reads": 11163790, + "writes": 2281969 + } + }, + "node_invoice": { + "index": { + "moves": 3668, + "reads": 3669, + "writes": 797 + }, + "record": { + "moves": 30152594, + "reads": 35928605, + "writes": 10165818 + }, + "residue": { + "moves": 10483750, + "reads": 11154546, + "writes": 2279658 + } + }, + "numerical_restored": true, + "outputs": { + "complete_fibre": { + "bits": 32526, + "sha256": "b1a0387b76a9c6b4ea092cad57e20adf7dfdb49746478141aeb14f73452cfae4" + }, + "leading": { + "bits": 14, + "sha256": "b184d29a1c103b5269165d679d2460bdc54ed484d57a4716800bfba78ae036ff" + }, + "unused": { + "bits": 14, + "sha256": "b184d29a1c103b5269165d679d2460bdc54ed484d57a4716800bfba78ae036ff" + } + }, + "record_backing_erased": true, + "visited_record_cells": 3284936 + }, + "full_directory_context_constructed": false, + "input_rows": { + "bits": 1040413, + "sha256": "f6bf5a75756bf8267103578f24f2b5934e122da6d96e68100fc2b28853da7a01" + }, + "live_inputs": 408, + "node_boundary": { + "adapter_return": false, + "ast_sha256": "778f0fc40a63e6e00bf428cabe5a55a894439c1fec007db4cb48c77c97d4496a", + "boundary": "literal NODE through save_count(complete, fibre); before peel", + "statements": 23 + }, + "production_payload_executed": false, + "root_entry": { + "common": false, + "compatible_rows": { + "big_endian_sha256": "f6bf5a75756bf8267103578f24f2b5934e122da6d96e68100fc2b28853da7a01", + "bit_length": 1040413 + }, + "domain": { + "I": 8, + "L": 255, + "Q": 520213, + "e": 64, + "h": 0, + "n": 64, + "w": 2 + }, + "entry_certificate_modular_square_subtract_steps": 125, + "guard_before_continuation": true, + "guard_implementation": "host finite arithmetic; exact source/parameter guard, physical encoded guard tariff open", + "mode": "numerical", + "numerical_admitted": true, + "production_payload_execution": false, + "q": "170141183460469231731687303715884105727", + "rank": 2, + "request": 1676, + "request_key": [ + "MOVE", + 0, + 0, + 22397 + ], + "row_multiplier": { + "big_endian_sha256": "4bf5122f344554c53bde2ebb8cd2b7e3d1600ad631c385a5d7cce23c7785459a", + "bit_length": 1 + }, + "source_identity": "bcea2a31e9001699148b6f1ff8524a0c6c4524d70ef47add027651da31389a73", + "stock_certificate_scope": "original root" + }, + "scope": "Original admitted root through completed fibre and suffix Count product before peel; full Context, physical big-int tariff and payload remain open.", + "status": "PASS_R437_ADMITTED_COUNT_POWER" +} diff --git a/research/r437-admitted-count-power/SOURCES.json b/research/r437-admitted-count-power/SOURCES.json new file mode 100644 index 0000000000..aab79e0e69 --- /dev/null +++ b/research/r437-admitted-count-power/SOURCES.json @@ -0,0 +1,2474 @@ +{ + "schema_version": 1, + "base_commit": "bee95ce88f9f19802f0613f92838895cd0e14a1f", + "files": [ + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "c35482cd9035843b15a634cc8276a7e1e40e8395", + "sha256": "6fe0a099b89aa2aed796a13c3a21dafc63f3388ebf397464e44e0451893b9375" + }, + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "f126dd2e2dad2b669e75d1d0d0bd05c600725602", + "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72" + }, + { + "path": "research/r437-admitted-count-consumer/README.md", + "usage": "input", + "git_blob": "323e64df60068c5ff2bd56ce8a9f2e3b8edda712", + "sha256": "c574751f1052f05c5e6791845affc3342de755eb01c4bebb7218ab716c2f6bb7" + }, + { + "path": "research/r437-admitted-count-consumer/RESULT.json", + "usage": "input", + "git_blob": "247ae5e2aa1ce863eb32084d53efcc91ce56ea51", + "sha256": "50cb0caa49eb3831ec26c5208889281c900a1fb6b8fc4214722bfd8bef80963d" + }, + { + "path": "research/r437-admitted-count-consumer/SOURCES.json", + "usage": "input", + "git_blob": "c22f7d7882c333e262fe82ed8c04cdd49a1e6ebc", + "sha256": "5a70a17499ff7c0bb3919cb4f70f1157a4967918001cedb561a76f2a63ca80ec" + }, + { + "path": "research/r437-admitted-count-consumer/bridge.py", + "usage": "input", + "git_blob": "2440f6ffb34ac5416c7f097838084dba2260fe88", + "sha256": "d15ba1ec84450a74b7f1640a25f229dc127efe02a3e9c0bac79adb63616637a7" + }, + { + "path": "research/r437-admitted-count-consumer/verify.py", + "usage": "input", + "git_blob": "bb1d13a6b37afc159d635e898cad55072e55f93a", + "sha256": "96e59f09ad8a8e01bf4001cedaa14e3fb75440c756e489a918c25461957e9ffb" + }, + { + "path": "research/r437-preparation-composition/predecessor4025/source/CALLER.py", + "usage": "input", + "git_blob": "5a032e8923f7f8b22bb98f3e39b804beb9906c16", + "sha256": "7bc6e42072a09a08ac961e05c3da01cde012d740d4b4c605f298d994f2ad7c5a" + }, + { + "path": "research/r437-preparation-composition/predecessor4025/source/cardinality.py", + "usage": "input", + "git_blob": "b8ba857e32c5903408e1e61ff916300848b4a208", + "sha256": "505d5e560c5a507e6184edcc19a87cf1fed243eb34a5cb21fbe1e4fe017e7f22" + }, + { + "path": "research/bit-p111-r437-gl464-470-20261018/code/invoice_audit.py", + "usage": "input", + "git_blob": "f3ae8ab88bd82dff41899d682e2e087b0d9683f1", + "sha256": "8bcf640e1e27313c92c00a7a76e72d8ae995360899d178221d1c65cf9b6dda6d" + }, + { + "path": "research/bit-p111-r437-gl464-470-20261018/data/GEOMETRY.json", + "usage": "input", + "git_blob": "7158a5c55b0001a526dab6e816b7b98f0527a202", + "sha256": "b9ed0e5e0084dcd285f33bfc71aab833ddcfa1062bd80c9c83da8244276d6830" + }, + { + "path": "research/bit-p111-r437-gl464-470-20261018/vendor/assemble9.py", + "usage": "input", + "git_blob": "7c49dc0756118b2b8d90c59478cd9d54b17d4ba7", + "sha256": "808ef620230ac0ccb4c4b31a02288936fbe0be6d9b3ff715bbe828848d4642d1" + }, + { + "path": "research/community-hyperplane599-audit/pr589/bit589/v9/hosted/GLOBAL-TEMPLATE.json.gz", + "usage": "input", + "git_blob": "9eafb8776cbf78c72124f833534469ddfa5e98ec", + "sha256": "0357b7cfbd7c29b4983982baf153c8a9f1e1e412690cd7fa9fc3d23d7963b20f" + }, + { + "path": "research/community-hyperplane599-audit/pr589/bit589/v9/nine/GEOMETRY.json", + "usage": "input", + "git_blob": "44006542202ca6037533a754f0bcd00549d7e088", + "sha256": "0058c491d839142aa99ef86a5ec697ce99857632228531512ea3fa74fb24d734" + }, + { + "path": "research/e8-bit-p111-tuned/tune/EXPECTED.json", + "usage": "input", + "git_blob": "e293ddc557742637f9f679f083a1a282d87b1b13", + "sha256": "b9f0e5ca038abe837b0007c8fe006f366a6f02009244ac57705a8a200e2301f4" + }, + { + "path": "research/e8-bit-p111-tuned/tune/bitE8mut-p111-tuned.json.gz", + "usage": "input", + "git_blob": "85a4499bf9e4911a705d50567a2c2ef6cf23739a", + "sha256": "e3e301e62bc2b41dbf1ceac0acf3d35824ebeab1848c5a2142d4577b109da52f" + }, + { + "path": "research/encoded-child-spectators/CERTIFICATE.json", + "usage": "input", + "git_blob": "4879b20afb732ad503f8b0b576018e4d738fdf32", + "sha256": "bb66ad1cdf009c6ac81c0911ed428782aa618089506b1c7c03bdc97634e4c662" + }, + { + "path": "research/encoded-child-spectators/CONTEXT.json", + "usage": "input", + "git_blob": "1862e89a14469f01262c8bd042a89dedf7ebb556", + "sha256": "2df933c9d3b00c34a92a1eb2dba685cde12d9dd71598aab15a401e8b15f793ab" + }, + { + "path": "research/encoded-child-spectators/PROOF.md", + "usage": "input", + "git_blob": "0e4bbcf04f1a2502bae7f47d5376a72de74fb36a", + "sha256": "cf439a2ffe2bc8521377225400306df7c829af194dc6d8614a4383c7741616a2" + }, + { + "path": "research/encoded-child-spectators/README.md", + "usage": "input", + "git_blob": "c4373db5f3f22b91f51a13df62a0a5329580cc83", + "sha256": "05ab321b1ec220375115ca28fc1113edafd530d4e147e09e8534b7172661df77" + }, + { + "path": "research/encoded-child-spectators/SOURCES.json", + "usage": "input", + "git_blob": "32e976d4de444421b90138daf4597f7f5b68dafa", + "sha256": "826d4dcdc29c66b7395bad8de9201dafee12aa5aa0eaf2772b14e621439daf44" + }, + { + "path": "research/encoded-child-spectators/TASK.json", + "usage": "input", + "git_blob": "3dba6e551d43b346f02d164a139f08129e33a3f0", + "sha256": "5a72c1cd351594db7b7a29b863bec101cebd87ea9463f57f0077a74ae3c83c53" + }, + { + "path": "research/encoded-child-spectators/TIMINGS.json", + "usage": "input", + "git_blob": "9d97cda48d5318b6f4e84416bb0944aad4ffbda1", + "sha256": "d96d3a255213085ee42e1c5eaa0d16398cbdfd49161d48a76fef8a45905d359c" + }, + { + "path": "research/encoded-child-spectators/VERIFICATION.md", + "usage": "input", + "git_blob": "15de5fadd2a0fe2c23d2803656cec4859a27df26", + "sha256": "920f834f8c71856c464ea6f10b8f731d8b6b00d6897f4fd36bab28ac3b4dfc7d" + }, + { + "path": "research/encoded-child-spectators/VERIFY.json", + "usage": "input", + "git_blob": "9b1f60364dc5185b23587ee186b7dec8e78a7fc1", + "sha256": "7e9ff87a25c83d62cf926a7bbc4078b4efcaf36fc3c9018d90918f722a1fc1ea" + }, + { + "path": "research/encoded-child-spectators/bench.py", + "usage": "input", + "git_blob": "cbb9366545427c1f8ce7c84e74ad5cf7ac0c9486", + "sha256": "a4775c6c5f3ea3d30e628ebd817599b9949729ee0afd542996260a3be6533c38" + }, + { + "path": "research/encoded-child-spectators/cases.py", + "usage": "input", + "git_blob": "9b3f3e8caa66ea4d54290af9daa7a10b5f07786f", + "sha256": "3b4d727e62774c3aa562f9523f8b75dc2e805f73a11da77b7e4f58e68eb14a0c" + }, + { + "path": "research/encoded-child-spectators/controls.py", + "usage": "input", + "git_blob": "bd5d499af8ae177cd822847c248e18f6770accb6", + "sha256": "521a6be551cf9ac5b6cca1c7a293ed8626a40ed93123e2176f601a80f1295aa8" + }, + { + "path": "research/encoded-child-spectators/independent.py", + "usage": "input", + "git_blob": "7ae21806d1157a52590625e55c6cdb277991c420", + "sha256": "3208e500407ce95a15bf0e32461fecb9a416e4708cd86e034e96c26fa4073b7e" + }, + { + "path": "research/encoded-child-spectators/powers.py", + "usage": "input", + "git_blob": "b22a76cffbe6404833a87793c001f53fb09d4d25", + "sha256": "dd8c150dfa07a594651f64156ec696153fb71e8423df382f11c18f5859b662e7" + }, + { + "path": "research/encoded-child-spectators/runtime.py", + "usage": "input", + "git_blob": "56deefc868c673e717b6491563c69afa1514eabf", + "sha256": "ff4004769e01e888c0e4d9ae9d13417e7f757b4acf3aaac696087d0e5afa10e8" + }, + { + "path": "research/encoded-child-spectators/tariff.py", + "usage": "input", + "git_blob": "df1efb5aeb1c1f54e7dcc07a9754a16e94b6c557", + "sha256": "4fc26570cd637fb761a900ecba75bedf60b3d4f4b10325df0cca7c1e72bac57e" + }, + { + "path": "research/encoded-child-spectators/verify.py", + "usage": "input", + "git_blob": "c8b5ac757501747d983ba8573723310fe2d4f12f", + "sha256": "17b2c37e783a9148f0ff532bd944814c087f8bebbf59dafe574ce9ff021ceede" + }, + { + "path": "research/physical-compiler-correspondence/README.md", + "usage": "input", + "git_blob": "1b542517f938ef64a25155f96214ba332d8ce623", + "sha256": "bb04d8a05f0fbda2df0dc653118524ecaace3d22dd924179574fc115524df901" + }, + { + "path": "research/physical-compiler-correspondence/owners.py", + "usage": "input", + "git_blob": "3fdf157278aa00308df706e11fc4a9e428b05e66", + "sha256": "220918b53e45c5992471bb2fd0a95e62f410679048f3517504c851077ee94845" + }, + { + "path": "research/pr589-five-helper-hosting/PROOF.md", + "usage": "input", + "git_blob": "bbd3f12b9a32b3ad3cba85a2d5a1b3054214fa02", + "sha256": "59cae781bfbe1a01ed9e66a8efeeb5a2b995e5ecdf908586b23ecc39f2b8d647" + }, + { + "path": "research/pr589-five-helper-hosting/verify.py", + "usage": "input", + "git_blob": "dbc71f56bb4205ebe378ada1f9f4ea88630d1d39", + "sha256": "cf90e19ae9991b0698be03d395a8cc29061ecb307eb7fea19adfb2d23c25a367" + }, + { + "path": "research/r437-carrier-integration/admission.py", + "usage": "input", + "git_blob": "3e7586146545ca80891c11cb8b5a34f47b0ba607", + "sha256": "d34f0166a936decc4de0cc07ab4f8ca8dac6ac03f83b74b85a851098c01f3eae" + }, + { + "path": "research/r437-carrier-integration/compiler.py", + "usage": "input", + "git_blob": "345a84013327224c5c2c96232811b59262efcfe1", + "sha256": "df86b31a80e1827dc20a3a34f20305b4b9cbd3582e3d26b8a05ac90e346177fb" + }, + { + "path": "research/r437-carrier-integration/numerical.py", + "usage": "input", + "git_blob": "d3411758be96f22f8d64e02ba278dc46b21639c5", + "sha256": "83f2b60a90ab2d0354c5c84f48af246ab416605c3ae4bd62368bbe5f23bb53bb" + }, + { + "path": "research/r437-carrier-integration/physical.py", + "usage": "input", + "git_blob": "e314799b5c6deeb45a790534539d846a27d2d60c", + "sha256": "d41ea48bc8fd6e449ef17f122dfbea05adf06e7ab448063e4afd06add1152cf0" + }, + { + "path": "research/r437-oq4-caller-binding/RANK26-COST.md", + "usage": "input", + "git_blob": "15809a6154ef189cb6c2fe1c8bf3dd6459f90bec", + "sha256": "cf6e472ff945ee4c3d5dc5407aa9aa7751022819846c4d7380cb697e227b0cc9" + }, + { + "path": "research/r437-pooled-native-interface/.gitattributes", + "usage": "input", + "git_blob": "a154a13b7c8d4590e03a6949ed1e76c102fd1dbd", + "sha256": "a3c414970082c100e8f9cec6d96b7d5eec4c31660d670b50d46f2d8ac53a3b76" + }, + { + "path": "research/r437-pooled-native-interface/PROOF.md", + "usage": "input", + "git_blob": "24816d8dfb5e07978c3d7ad5010d25605d3f9a03", + "sha256": "695c3416094ee374a6b5d5152c80ce29f18358eda21e3afb7b58c2264a6d879c" + }, + { + "path": "research/r437-pooled-native-interface/README.md", + "usage": "input", + "git_blob": "6187399f1c7d947cd13f3fb064fb7b65b6d93290", + "sha256": "be6c7a6fae80047631d926e83c73a217037cfdccdc38a5e6d0f4c38865f1ca14" + }, + { + "path": "research/r437-pooled-native-interface/RESULT.json", + "usage": "input", + "git_blob": "4a03e803bfb3fe7af6808f655b9b6e828574d212", + "sha256": "27a20d575cb90c16a186a621d553e167f2bb6fd4e19541fe8d8dfc0208451658" + }, + { + "path": "research/r437-pooled-native-interface/SOURCES.json", + "usage": "input", + "git_blob": "d0987e871ac318a208bed473540ace42cbd9eaf5", + "sha256": "219bcca3f47aa555cc7c9e126ccbee3509fe7e4fe29b4968b4357ae9c1f0a006" + }, + { + "path": "research/r437-pooled-native-interface/TASK.json", + "usage": "input", + "git_blob": "31286abc91a461677a93d1c38c0895c7f00e074b", + "sha256": "f8348e1128757b7e42650100f24c690f368c230f7c72c3613617a1105fba2fc7" + }, + { + "path": "research/r437-pooled-native-interface/VALIDATION.md", + "usage": "input", + "git_blob": "ba071214dd6ad7bfe863a35856ae2f2e1b3bd11f", + "sha256": "b3b4978ca4540ea1d6083f6ba77b957750afeed222e2048f046ee62b5f31a590" + }, + { + "path": "research/r437-pooled-native-interface/VERIFY.json", + "usage": "input", + "git_blob": "885be188550090829a166baad4cc21b581ea0515", + "sha256": "c23da87b8d9cb87b651b987a71fbf76811b182be474f42dc5273c7d13e4bab2b" + }, + { + "path": "research/r437-pooled-native-interface/adapter.py", + "usage": "input", + "git_blob": "276a9a0f436ba03e2a0bb1cd95d57ebc3cc3a290", + "sha256": "c1c054e5a2c650cfc267117b32896073e6735b93c5fbfb1defe6e379c4afab9e" + }, + { + "path": "research/r437-pooled-native-interface/check_interface.py", + "usage": "input", + "git_blob": "d44bcf750f121ddd276f09ce94d8d898a3d52078", + "sha256": "b4f5fab63a262e36b5d585ad9ed6bb9436ecb8183eae233b27c8da9c448128d4" + }, + { + "path": "research/r437-pooled-native-interface/check_transport.py", + "usage": "input", + "git_blob": "5bd3c8a38aed9df3b0d4404d382268aee02dfcb3", + "sha256": "c1351777d8886754a172ed3f6e90586be5c664a93b66eda5e87fa9580f104ab7" + }, + { + "path": "research/r437-pooled-native-interface/inputs/EXPECTED.json", + "usage": "input", + "git_blob": "bc2585e1404402395a7c59ba6f6dde58b04e65a2", + "sha256": "67d06bcb90d2307a11975d6b25107a695be477f168f2dc289b8484ba0b7e2de0" + }, + { + "path": "research/r437-pooled-native-interface/inputs/catalogue.py", + "usage": "input", + "git_blob": "0efc0575a7623ac41c094d2e8772beda5a9fdc29", + "sha256": "83ea88f82d4a83c5f889774bfe3519b7ebaa24b6a0e2a969dafff012107a89bf" + }, + { + "path": "research/r437-pooled-native-interface/inputs/geometry.json.gz", + "usage": "input", + "git_blob": "a01a33c4753955ec4707db9515cee82a567cc1cb", + "sha256": "edcaebb35d313f403b2db45a2cf808617f921c83cf7a11dd5d74356570ede1a8" + }, + { + "path": "research/r437-pooled-native-interface/inputs/moves.json", + "usage": "input", + "git_blob": "2cdb414a38cff6f0b872445f0980f2e3bc1895eb", + "sha256": "0a58b239795d213743b5654c59a3e4622a0ddd4a53d8dba3fa30dedef4558dff" + }, + { + "path": "research/r437-pooled-native-interface/inputs/template.json.gz", + "usage": "input", + "git_blob": "f56efc7ca3648d2070b791d4551a3d77dd7fdde4", + "sha256": "6e03c76f5a4227394ea57e901eb7e93f4d1ee411ccfecd483fd44ea043550494" + }, + { + "path": "research/r437-pooled-native-interface/inputs/word.json.gz", + "usage": "input", + "git_blob": "c558a221dd44cbdaa732a401f9876de4c096d4a7", + "sha256": "e432182d5b62c8bbefeb871fce30317234d707e5e18d4295e65ac21f7fd8365e" + }, + { + "path": "research/r437-pooled-native-interface/pooled_compiler.py", + "usage": "input", + "git_blob": "512047d8b99628b097f5a597761e6647b424c92e", + "sha256": "fa1c589e5809ba8223eaf070cfb299bf55d843889d360b4d089824eb675e177c" + }, + { + "path": "research/r437-pooled-native-interface/replica_catalogue.py", + "usage": "input", + "git_blob": "1fa6ea58c5193952bc6175cbb9f1a778a6502eac", + "sha256": "d093a5a5421596d82c6c6e9fbc7fbf3f313c803a7ba423d666b98344b1912ff3" + }, + { + "path": "research/r437-pooled-native-interface/verify.py", + "usage": "input", + "git_blob": "4a470e1e9961308c094dd167df7535b26b17e035", + "sha256": "dcbe8cdfee38ce0beff30c48a07a07009f4f054fd11454a80e834188547c2ffd" + }, + { + "path": "research/r437-preparation-composition/.gitattributes", + "usage": "input", + "git_blob": "fa1385d99a319b43c06f5309d1aae9fdd3adea46", + "sha256": "705fd4d6451a31d36b3df7de96f83f30ac976c9b4a6d1e51671d8e2f33e2d0da" + }, + { + "path": "research/r437-preparation-composition/POOLED-SOURCES.json", + "usage": "input", + "git_blob": "439c24dc2cbf055edae246ea8d34f57b8a73fe2b", + "sha256": "95635c15a09cdac656e91b3a13ad2bf481ef4ffdcf67c7dd3c27b8400b2751ef" + }, + { + "path": "research/r437-preparation-composition/PREDECESSORS.json", + "usage": "input", + "git_blob": "7b48c3de7c5ec00971fc8d0694d363da5146afe4", + "sha256": "61ae906bee904905b283164a2238f3640772217ccede0b53d1f7d168a90040af" + }, + { + "path": "research/r437-preparation-composition/PROOF.md", + "usage": "input", + "git_blob": "7dff5622034394009f908a659f20aa511e6becc2", + "sha256": "21c5b5a914a5417a385c41b800934c0b2e155ffef89681a6166465393f1cf7ea" + }, + { + "path": "research/r437-preparation-composition/README.md", + "usage": "input", + "git_blob": "ee2d04215e35646a1c013c39e8840744aeb0ef8c", + "sha256": "413362271e8c3ad44aba1fcc751dc683fafa4c7ea694d9bcc05325a37f25cd20" + }, + { + "path": "research/r437-preparation-composition/RESULT.json", + "usage": "input", + "git_blob": "2ff963ad94b7385a35e3ea5498c0e9bdc1f995bb", + "sha256": "372425e00746955d68c4d86afe8db4f5ca4ad6b9ff4031349af4f5bb42ece436" + }, + { + "path": "research/r437-preparation-composition/REVIEW.md", + "usage": "input", + "git_blob": "95702631001f9aa0d43cd5ea94b75d77de728f6e", + "sha256": "88b2996b16228d536c5ca8cf8192b84fcdc03605eb05795f2a7c2185adf40594" + }, + { + "path": "research/r437-preparation-composition/SOURCES.json", + "usage": "input", + "git_blob": "0839f4876a67fc26084ae94d832ccd69d2b5edb7", + "sha256": "e5822ba1b619af70e55e88a0b4bf81eddd8497bc98b5aac7b00c9d6b63b64bf9" + }, + { + "path": "research/r437-preparation-composition/TASK.json", + "usage": "input", + "git_blob": "553e385d2bac17fa42b167ec1a7b9bd38aedb5f4", + "sha256": "d3bcf16d46934bd2a802abdf07deba619c2f296aa64993d36e82cf59b9ed71ab" + }, + { + "path": "research/r437-preparation-composition/VALIDATION.json", + "usage": "input", + "git_blob": "afc5065b998c4c5adf0b50c053d01aab4a463ed8", + "sha256": "cbb9d97b34552467dc9f1eca1f9270e01381314061cc4d72cd9dafc22a880e37" + }, + { + "path": "research/r437-preparation-composition/VERIFY.json", + "usage": "input", + "git_blob": "3b839256f00c29f983f74a46e65caf4c956a3226", + "sha256": "bc6d10d1d310bdc11d94e32f0245fadc5f3ac1e9469e4029b37e2b235b9c431c" + }, + { + "path": "research/r437-preparation-composition/forward_fields.py", + "usage": "input", + "git_blob": "45dcf2467f2167293fada94ba93d6e9d367de18b", + "sha256": "4b6cb4b8a20c920c32dbad7b8e99a728d75681b0b4cdc876f4bd60730302a83b" + }, + { + "path": "research/r437-preparation-composition/independent.py", + "usage": "input", + "git_blob": "83fcd9d882ea8f70385e5c2607e5c537d1d5343a", + "sha256": "d8f29ab18fadad315c3fe86b5a3d9877dc65c602156d479d5b52ea9210dd295c" + }, + { + "path": "research/r437-preparation-composition/predecessor4025/source/NOTICE.md", + "usage": "input", + "git_blob": "ef9f81510db86eaf2f0a7191d85e92a6db30ddc0", + "sha256": "c446b32b8a621844fb2fbe654810c8122035bdd43fed2132f1137d98cb6f9943" + }, + { + "path": "research/r437-preparation-composition/predecessor4025/source/counts.py", + "usage": "input", + "git_blob": "81b48940ce222290a40d4fb349ce827f4788469d", + "sha256": "00b476dbda0e8cc99886bf794439e1cb9e775f435f599a3557e99321fe084069" + }, + { + "path": "research/r437-preparation-composition/predecessor4025/source/directory.py", + "usage": "input", + "git_blob": "c74cacf5ce809c0561d374f137a52df0992b4226", + "sha256": "4270e370b2bfe38ef73aadcd97d1b3496b56bd582115d74331eb9e5ceb90bec7" + }, + { + "path": "research/r437-preparation-composition/predecessor4025/source/records.py", + "usage": "input", + "git_blob": "4f00467a0ff580954ad2fd0c7380240c753ddef3", + "sha256": "0c9c4b23e998597fb877bb1a29da69ac869b68262abe635b162b4dba9c69b372" + }, + { + "path": "research/r437-preparation-composition/predecessor4025/source/stream.py", + "usage": "input", + "git_blob": "5e5a4bb0f98971447043e25d4dd6991bfc070389", + "sha256": "c7dc7da5b00f27016982ada4c0416f8328568b00df16d97012f33d4b372d79b5" + }, + { + "path": "research/r437-preparation-composition/predecessor4025/source/words.py", + "usage": "input", + "git_blob": "8d4ba37e2778acb35b34e0719df2caf138fbeb50", + "sha256": "5c37f57708ba3131bdcb03139f9dbc29886bee44569c09cbba51b68f75acd7f9" + }, + { + "path": "research/r437-preparation-composition/predecessor4025/verify.py", + "usage": "input", + "git_blob": "614e57282c0edfe39f1afe45d140cf338210e62a", + "sha256": "b2c72707bebb9ecdba2b89675830439393e6e13c76f68dad20d42d6ef70e539a" + }, + { + "path": "research/r437-preparation-composition/test_verify.py", + "usage": "input", + "git_blob": "ff9a2c364dfafc9188beb7429d58ea0f5e9732e7", + "sha256": "cdd1caaaa01980419a4c212a04961f8122f78371fb74698ffb8c5a9a1cfe7aef" + }, + { + "path": "research/r437-preparation-composition/vendor/certificates/selected-result.json", + "usage": "input", + "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81", + "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "path": "research/r437-preparation-composition/vendor/research/community-hyperplane599-audit/pr589/bit589/v9/hosted/GLOBAL-TEMPLATE.json.gz", + "usage": "input", + "git_blob": "9eafb8776cbf78c72124f833534469ddfa5e98ec", + "sha256": "0357b7cfbd7c29b4983982baf153c8a9f1e1e412690cd7fa9fc3d23d7963b20f" + }, + { + "path": "research/r437-preparation-composition/vendor/research/community-hyperplane599-audit/pr589/bit589/v9/nine/GEOMETRY.json", + "usage": "input", + "git_blob": "44006542202ca6037533a754f0bcd00549d7e088", + "sha256": "0058c491d839142aa99ef86a5ec697ce99857632228531512ea3fa74fb24d734" + }, + { + "path": "research/r437-preparation-composition/vendor/research/e8-bit-p111-tuned/tune/EXPECTED.json", + "usage": "input", + "git_blob": "e293ddc557742637f9f679f083a1a282d87b1b13", + "sha256": "b9f0e5ca038abe837b0007c8fe006f366a6f02009244ac57705a8a200e2301f4" + }, + { + "path": "research/r437-preparation-composition/vendor/research/e8-bit-p111-tuned/tune/bitE8mut-p111-tuned.json.gz", + "usage": "input", + "git_blob": "85a4499bf9e4911a705d50567a2c2ef6cf23739a", + "sha256": "e3e301e62bc2b41dbf1ceac0acf3d35824ebeab1848c5a2142d4577b109da52f" + }, + { + "path": "research/r437-preparation-composition/vendor/research/physical-compiler-correspondence/README.md", + "usage": "input", + "git_blob": "1b542517f938ef64a25155f96214ba332d8ce623", + "sha256": "bb04d8a05f0fbda2df0dc653118524ecaace3d22dd924179574fc115524df901" + }, + { + "path": "research/r437-preparation-composition/vendor/research/physical-compiler-correspondence/owners.py", + "usage": "input", + "git_blob": "3fdf157278aa00308df706e11fc4a9e428b05e66", + "sha256": "220918b53e45c5992471bb2fd0a95e62f410679048f3517504c851077ee94845" + }, + { + "path": "research/r437-preparation-composition/vendor/research/pr589-five-helper-hosting/PROOF.md", + "usage": "input", + "git_blob": "bbd3f12b9a32b3ad3cba85a2d5a1b3054214fa02", + "sha256": "59cae781bfbe1a01ed9e66a8efeeb5a2b995e5ecdf908586b23ecc39f2b8d647" + }, + { + "path": "research/r437-preparation-composition/vendor/research/pr589-five-helper-hosting/verify.py", + "usage": "input", + "git_blob": "dbc71f56bb4205ebe378ada1f9f4ea88630d1d39", + "sha256": "cf90e19ae9991b0698be03d395a8cc29061ecb307eb7fea19adfb2d23c25a367" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/.gitattributes", + "usage": "input", + "git_blob": "a154a13b7c8d4590e03a6949ed1e76c102fd1dbd", + "sha256": "a3c414970082c100e8f9cec6d96b7d5eec4c31660d670b50d46f2d8ac53a3b76" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/PROOF.md", + "usage": "input", + "git_blob": "24816d8dfb5e07978c3d7ad5010d25605d3f9a03", + "sha256": "695c3416094ee374a6b5d5152c80ce29f18358eda21e3afb7b58c2264a6d879c" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/README.md", + "usage": "input", + "git_blob": "6187399f1c7d947cd13f3fb064fb7b65b6d93290", + "sha256": "be6c7a6fae80047631d926e83c73a217037cfdccdc38a5e6d0f4c38865f1ca14" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/RESULT.json", + "usage": "input", + "git_blob": "4a03e803bfb3fe7af6808f655b9b6e828574d212", + "sha256": "27a20d575cb90c16a186a621d553e167f2bb6fd4e19541fe8d8dfc0208451658" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/SOURCES.json", + "usage": "input", + "git_blob": "d0987e871ac318a208bed473540ace42cbd9eaf5", + "sha256": "219bcca3f47aa555cc7c9e126ccbee3509fe7e4fe29b4968b4357ae9c1f0a006" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/TASK.json", + "usage": "input", + "git_blob": "31286abc91a461677a93d1c38c0895c7f00e074b", + "sha256": "f8348e1128757b7e42650100f24c690f368c230f7c72c3613617a1105fba2fc7" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/VALIDATION.md", + "usage": "input", + "git_blob": "ba071214dd6ad7bfe863a35856ae2f2e1b3bd11f", + "sha256": "b3b4978ca4540ea1d6083f6ba77b957750afeed222e2048f046ee62b5f31a590" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/VERIFY.json", + "usage": "input", + "git_blob": "885be188550090829a166baad4cc21b581ea0515", + "sha256": "c23da87b8d9cb87b651b987a71fbf76811b182be474f42dc5273c7d13e4bab2b" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/adapter.py", + "usage": "input", + "git_blob": "276a9a0f436ba03e2a0bb1cd95d57ebc3cc3a290", + "sha256": "c1c054e5a2c650cfc267117b32896073e6735b93c5fbfb1defe6e379c4afab9e" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/check_interface.py", + "usage": "input", + "git_blob": "d44bcf750f121ddd276f09ce94d8d898a3d52078", + "sha256": "b4f5fab63a262e36b5d585ad9ed6bb9436ecb8183eae233b27c8da9c448128d4" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/check_transport.py", + "usage": "input", + "git_blob": "5bd3c8a38aed9df3b0d4404d382268aee02dfcb3", + "sha256": "c1351777d8886754a172ed3f6e90586be5c664a93b66eda5e87fa9580f104ab7" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/EXPECTED.json", + "usage": "input", + "git_blob": "bc2585e1404402395a7c59ba6f6dde58b04e65a2", + "sha256": "67d06bcb90d2307a11975d6b25107a695be477f168f2dc289b8484ba0b7e2de0" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/catalogue.py", + "usage": "input", + "git_blob": "0efc0575a7623ac41c094d2e8772beda5a9fdc29", + "sha256": "83ea88f82d4a83c5f889774bfe3519b7ebaa24b6a0e2a969dafff012107a89bf" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/geometry.json.gz", + "usage": "input", + "git_blob": "a01a33c4753955ec4707db9515cee82a567cc1cb", + "sha256": "edcaebb35d313f403b2db45a2cf808617f921c83cf7a11dd5d74356570ede1a8" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/moves.json", + "usage": "input", + "git_blob": "2cdb414a38cff6f0b872445f0980f2e3bc1895eb", + "sha256": "0a58b239795d213743b5654c59a3e4622a0ddd4a53d8dba3fa30dedef4558dff" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/template.json.gz", + "usage": "input", + "git_blob": "f56efc7ca3648d2070b791d4551a3d77dd7fdde4", + "sha256": "6e03c76f5a4227394ea57e901eb7e93f4d1ee411ccfecd483fd44ea043550494" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/word.json.gz", + "usage": "input", + "git_blob": "c558a221dd44cbdaa732a401f9876de4c096d4a7", + "sha256": "e432182d5b62c8bbefeb871fce30317234d707e5e18d4295e65ac21f7fd8365e" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/pooled_compiler.py", + "usage": "input", + "git_blob": "512047d8b99628b097f5a597761e6647b424c92e", + "sha256": "fa1c589e5809ba8223eaf070cfb299bf55d843889d360b4d089824eb675e177c" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/replica_catalogue.py", + "usage": "input", + "git_blob": "1fa6ea58c5193952bc6175cbb9f1a778a6502eac", + "sha256": "d093a5a5421596d82c6c6e9fbc7fbf3f313c803a7ba423d666b98344b1912ff3" + }, + { + "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/verify.py", + "usage": "input", + "git_blob": "4a470e1e9961308c094dd167df7535b26b17e035", + "sha256": "dcbe8cdfee38ce0beff30c48a07a07009f4f054fd11454a80e834188547c2ffd" + }, + { + "path": "research/r437-preparation-composition/vendor/research/recursive-parking-boundary/README.md", + "usage": "input", + "git_blob": "251f335ebaccc11d69393ee7aeb5a2e84526d0bb", + "sha256": "491aa208391ee4c2936510b1a5c5c018dd5509d9a0e88687c72ab8406cd77b18" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-local-ring-sweeps/PROOF.md", + "usage": "input", + "git_blob": "4330de85dd9862ed15d84ab917887d249753df99", + "sha256": "846c59440cc99e28bae93ad2af99525bc769de29368080071b8427141215b4f7" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/PROOF.md", + "usage": "input", + "git_blob": "548ecff3ef79a32c14bafc7f2309781181d3c23d", + "sha256": "e5a827e93fe313ba9bf4a2e300bae01b58b28004aa8a8ee119cf6d950edd9f93" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/README.md", + "usage": "input", + "git_blob": "abd0edba96101a025609d2840c3dbdf4d3e30aa8", + "sha256": "989ad891ce3f866c920a25e0cdd661815f982c4c854370f8c00668eaa15d770c" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/RESULT.json", + "usage": "input", + "git_blob": "44afaf8dca8f76b3c9f5ef58616b6d57ff7ff2f3", + "sha256": "de6216b9f89f22b9602867776a7fc951ec558c852e6abd4624151e95d868af56" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/SNAPSHOTS.json", + "usage": "input", + "git_blob": "034836cfaa3e4f984e900a980eecc986ec405b1d", + "sha256": "c7b3485bdae5ddf43166cd6626bd512816e179617a4234c36584f6c57c34744a" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/SOURCES.json", + "usage": "input", + "git_blob": "a27291a91519f9f4e074712afa3262c4d372aaaf", + "sha256": "94e1f55094bbd122e4ee73413650fa24072c392d53d257041cd5d38a2269e4fd" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/TASK.json", + "usage": "input", + "git_blob": "28b8d5e1cbd29824e702d384937831ddb3876da7", + "sha256": "84319cb2f8c7c121927123e8c3271c3ec4ec93fc9be362dcfdf7ee4366cd1a74" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/VALIDATION.md", + "usage": "input", + "git_blob": "5b1a9221f35cbd637183282489e8eeaa30314ea8", + "sha256": "c38eaa31a9cf3489356f2e2a675e2bc6194fa41796589edc9cbd8578b5d71c0f" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/VERIFY.json", + "usage": "input", + "git_blob": "682809777271adfe08df6e6ba2fae89571420212", + "sha256": "5bb3cf67018f35de5b825c9bb4b7a6590296da85f492ba3dbff7a6ce9bdebf8e" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/continuation_checks.py", + "usage": "input", + "git_blob": "f2be8aad16e279c0d1467e21d79d2dd81dcae8d8", + "sha256": "c6ef8fa86a7099af0eb6763a3f5bd43f8f94e1e176cfba38c0077b3e0f5fda48" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/frame_checks.py", + "usage": "input", + "git_blob": "4b992ffcb0a613da54ca24e31d25e61445799e10", + "sha256": "ced41d9244afcb5275ad5c46dc0f60265afc1e6422d29b277364e945825c4dd8" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/EVIDENCE.json", + "usage": "input", + "git_blob": "c2c347abc2b8c19bb642c4da1aad5b3e8383016f", + "sha256": "77b7cbefa2ca30acf2f77e23d14808ccd27848e9c76e4c5e68a045ef7891a07f" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/PREDECESSOR.json", + "usage": "input", + "git_blob": "56d76c357b51f4fc6856923222bfca47f03334e7", + "sha256": "e3127475913d62dbdf1b45d9283d2db2e9b689e0f81a703189150c1e5be2bca0" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/PROOF.md", + "usage": "input", + "git_blob": "1a08e57eac2a37764066d31baa3ecd3769759158", + "sha256": "552fa306d5cc228f4d8d8553f8ac5fc6a738ef2b66a2cb765ba0638cd229794d" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/README.md", + "usage": "input", + "git_blob": "75461632856f94d6b48ae820cf5d0b2b232305c2", + "sha256": "6ce41fd7e6dfbe5faecc25bd36561f0a65b6ebca6fc69d3fb72569424a405045" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/RESULT.json", + "usage": "input", + "git_blob": "75faec7844e18fc7c44543dbab87aba2ecf32b3e", + "sha256": "4919655bae2e5cff051e8f2d240a8e4ebb03392a9da2fb5328daa9248fb7e88b" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/SOURCES.json", + "usage": "input", + "git_blob": "ff8c8e36176aa56e319d0f9e584167ac21d67f33", + "sha256": "7c78f539078e1bc3d893b78b5ee24cb22dc090d3763fe554e861b6c3d3e7eaf7" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/TASK.json", + "usage": "input", + "git_blob": "d70ad317275d2a517ab1294ce48ecb1f83dfedbf", + "sha256": "ac7d4b38da31b373e665929027fc04afb66c3e9aedaea3296e3783637912d0e8" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/VALIDATION.md", + "usage": "input", + "git_blob": "d91680665a28c12c27c99336b55c3d5341dd0fe4", + "sha256": "ac0f2fab0ca810ce0202d31480daa8329cba0897ab015520a2bfd4b689c4086b" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/VERIFY.json", + "usage": "input", + "git_blob": "b6072f66c13a38b5d8dff3ca3bc5f3f3562f1b6e", + "sha256": "6ad0e07f68458afedece927550655b5bc5cd9861a70044fcd95bb10a2179f0a6" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/bootstrap.py", + "usage": "input", + "git_blob": "448c9b3a86eedb84220646ab27ff089a32ad5b9b", + "sha256": "eef1c418e8edbdf317d159683e30beaecd971c77cf41d6b09708576405e2141e" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_layout.py", + "usage": "input", + "git_blob": "be59d614d25961f891e1640bf85cf5e2f474a059", + "sha256": "454b1587d1ed5ccaea19b621a67e2ceba999d7ede61188125faa41c4dd2ab2b1" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_nested_model.py", + "usage": "input", + "git_blob": "20fed6bd389cb53fc52d0ad8389e9e7704c90265", + "sha256": "b1941b882b0659722c3c41994c82f020c1f7ab320dc28c43c2758029ef8a48b7" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_recursion.py", + "usage": "input", + "git_blob": "8f36c88e196cf5afc0d6e227ba8568a10bb23c6a", + "sha256": "dde82badf043e553bc635a34295e2b5505d84d6dfbaf96e0cfccb8a8c3dbb158" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_runtime.py", + "usage": "input", + "git_blob": "fe355a703475325bca4807b8ffedfa9f6edb74f5", + "sha256": "9fcf0c9a3c84a17446fafe8da50b63db296ba9465d48ddb6fdeac8742dfc98b1" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_sign.py", + "usage": "input", + "git_blob": "50669949a1325e8c49aa0ff714c40a50077b5eb8", + "sha256": "ee4fd34acd49962a18d268aefeb20aa3c2673a10e7a43eee3e51a9bd3cf9106a" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_sources.py", + "usage": "input", + "git_blob": "5c09a13943070a3bb3c0da06fd19fbc6916d1743", + "sha256": "1c49984ae6ee7f8a44cde16b51e486f0b3ba4ee5c973389ac8d58a82d0a0aa3b" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/consumer.py", + "usage": "input", + "git_blob": "a66d9276f829ce2c619871866816649d5f3687fd", + "sha256": "2f2a8604c23fb2c81f24320c71ed0142118d98dde3be6086adad28e89954a777" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/control_checks.py", + "usage": "input", + "git_blob": "11daa0b2221c5870d19ba2eaf411a6bff3a0398d", + "sha256": "c09d33327932b4ffbb8acb26c8a6bb621bcca542157d22f1edf72679a9359981" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/driver.py", + "usage": "input", + "git_blob": "5b7846a70aada53d87480b337e1c04217118771b", + "sha256": "ceaf8f75de9810a05ebf8f65780b6f8bd7599a5768401d5e4386182afe615cdf" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/NOTICE.md", + "usage": "input", + "git_blob": "d0318d43ed420e21dc52166a19de703aa87fbb3e", + "sha256": "fd7c42e89878cda6df86dde8720ece34625a337cf5edd795a421e2d3b42919e9" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2688-NOTICE.md", + "usage": "input", + "git_blob": "f2b49cdef83a4a685fad32c01fba93e12cfcb5a8", + "sha256": "c899fccf7bd32397f0ddd85e4af35a166cefb3e3ae3407ec40edc3ab2051b617" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2688-PROOF.md", + "usage": "input", + "git_blob": "1395e1941863e40ff6d62dd91c41de2cb56edae9", + "sha256": "fa9bec0952468e4acb760a88d45d5be216325650e1a4080cf590e07b90c9f533" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2708-README.md", + "usage": "input", + "git_blob": "79b8742f32b4ffb991f91ddd2d3c6be693084e6d", + "sha256": "5906f6b7b2c8eea90e441476c4cbd60fe2ef981b690c63357bcfe67e3104aeef" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2731-README.md", + "usage": "input", + "git_blob": "ac5b826f9c34e1faadc5d5a02d5d260823112078", + "sha256": "19683df4394de299cbd7e1cce39bf9434ad260b1a37006587cf9aed84c9c0a03" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/layout.py", + "usage": "input", + "git_blob": "aa554b14fe0f6b308d9fba0a2afc92e5a28e20cb", + "sha256": "3beef6534b02c3b011b741f957a7d9fb05a9ac0bba1fed53b2c71834e4ea6bc1" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/linear_sign.py", + "usage": "input", + "git_blob": "6a6e5c02f299fad8c4f7ab724fc36e14a22ab13c", + "sha256": "73e895fc701a4145cbe89d60f5775128354e7f08d0a45eacf22f423913f54e67" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/node.py", + "usage": "input", + "git_blob": "28c98a3573b458f7a055678d70b602b80e6e959e", + "sha256": "0bd4f640cafb5c8f070c161d86445910f77578a672bf5886936ed89e7f6bd21b" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/packet_engine.py", + "usage": "input", + "git_blob": "72543f684f38fefeacc2ee66d81661f1a2439cf7", + "sha256": "c80fc3aa9092f91cc309b2fb2dbc3618bf96bdb9b8498503993ea161f0ae2134" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/peel.py", + "usage": "input", + "git_blob": "38502515afc928082c849cd2cda8578d33a5050a", + "sha256": "8b20888f74b4cd814a97b42ec72528fbfb6d2e936c5022df726f0785d0d01a2e" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/NOTICE.md", + "usage": "input", + "git_blob": "ef9f81510db86eaf2f0a7191d85e92a6db30ddc0", + "sha256": "c446b32b8a621844fb2fbe654810c8122035bdd43fed2132f1137d98cb6f9943" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/PROOF.md", + "usage": "input", + "git_blob": "a4746d1786f41e45a36fdedf37966b80fbab3562", + "sha256": "88754d57bae35a2089d9de221ff32ba802b7a56b810f96271f3ea36985edfb14" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/README.md", + "usage": "input", + "git_blob": "988ff622029aff49d7e99deb2468684d904bc852", + "sha256": "15631eb826b2d8d54fbee18fb6f70ee035e172d524c2a209b6c467c3f0204f64" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/RESULT.json", + "usage": "input", + "git_blob": "7b7dfe0eab22a7b511483f268b97a7c707fd8b90", + "sha256": "0d94c5e9150f3fbd603526c67ea33168d3ba45e158aaf722e848bf5c316a37a8" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/SOURCES.json", + "usage": "input", + "git_blob": "4fef1a4d6c2d5e2620d3506d6032f9226870ed39", + "sha256": "1b02a5c607a5967948988c3beaf37d9975d650ad501a99fcf74c135dc1f05fdd" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/TASK.json", + "usage": "input", + "git_blob": "eb2ce7cc00df816daf566f101d56a0330852c1d9", + "sha256": "a4cd54d4b09ad12a90a5feeb39a127f0f0d5a2a04f9f88554c5fc3ee0cfe77f4" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/VERIFY.json", + "usage": "input", + "git_blob": "69c7ad75abe494be386f73a5d51359b9053cd9be", + "sha256": "e1dd0ee5f267ffa515bb345054ff8637cfedb0079b0d2da29b90b7848264926e" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/cardinal_counts.py", + "usage": "input", + "git_blob": "6a14feac45094ae9156e8c2c982d6727544f180e", + "sha256": "59ddeac102a0cc51fa49b15aae6aeb68cd68ed217fa974ce916372a177d2ec8f" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/catalogue.py", + "usage": "input", + "git_blob": "0efc0575a7623ac41c094d2e8772beda5a9fdc29", + "sha256": "83ea88f82d4a83c5f889774bfe3519b7ebaa24b6a0e2a969dafff012107a89bf" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_headers.py", + "usage": "input", + "git_blob": "1c372b19e19b838a89c0e64daeda15ec6b49f079", + "sha256": "a41dab0c487c341eb32b34a03af74454e15e9e61e7386a1ca426d83f3b68b1ca" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_layout.py", + "usage": "input", + "git_blob": "174d843716a684145f934cb55a612bca85aad725", + "sha256": "8f776a21dc0e31f9738d822cfda38db92f1e3672afb880d4246ec5e084a50a41" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_runtime.py", + "usage": "input", + "git_blob": "5647693b3a5c1555b65e281c6609f98b92d45542", + "sha256": "5357e4ff255f17c4209aaf71a3413a4148475f11180c4f829e8f0ebacd2877cb" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_sources.py", + "usage": "input", + "git_blob": "9219cdf863d9f060d6e38a4f2f4760fd227af003", + "sha256": "6463c2724e04a313181b78e90a17cd62ee42465754902cca3e9a65c6140a15a1" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/consumer.py", + "usage": "input", + "git_blob": "24b53521fce94d3349072cf47d70e62195f4d541", + "sha256": "b28ec97b0873ff2be25aff4bdde268247ffcec0d21279d0ada196de19a0bdc66" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/control.py", + "usage": "input", + "git_blob": "4f6ac09bffab43dbccc470bd0bde2ffbe969a8b2", + "sha256": "d3a93e54bb7d333b73917586407d11674d38b5c3fda4fbdc436fb5293ae7786a" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/control_checks.py", + "usage": "input", + "git_blob": "712cfddc4caaad9e788d97b0e1e3f623172c43ed", + "sha256": "5ea6ded8c2508fbb00d93655affdfe7907ffb60916389e0736249c003a7a5148" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/driver.py", + "usage": "input", + "git_blob": "0bdee4c9e348259b470a636a98e7657770f97fae", + "sha256": "ee9e42fe95ab28fdd5e927c2d46fd480305aaad610eb2ca7ae514a5d22d9f0ac" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/fresh_rows.py", + "usage": "input", + "git_blob": "aa3a327604308d3a5c7a27b65f5e631d430ab093", + "sha256": "e4ae08fbd658add630eb7754ebe0cbcb42c6f39cf4128f9cb92e27fcf5213a7d" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/layout.py", + "usage": "input", + "git_blob": "267d5ab98cd013ee82ba75e6d41609f1778af25f", + "sha256": "7534b0166805f2ae8d11495c811d2bd272cea89c89b6bb5251fd411c89245a20" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/model.py", + "usage": "input", + "git_blob": "9fb82fa57d29cdf8402f91534dffed8f586ced6c", + "sha256": "c937ae8e46162f88fc1cd7646d3b22c99273029ad0f0e3131f46ddec230676cb" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/node.py", + "usage": "input", + "git_blob": "13badda6f059da2132cbe325c071307e5191baa3", + "sha256": "b88fc9ac0b22d939311ff4f7aff788e8c87a64fd5e866498e59bd27940ee3f28" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/packet_engine.py", + "usage": "input", + "git_blob": "27a0dbf82e78252beede56ff86f5933c93eb55c1", + "sha256": "ce7f132a6a69c802406f07c4a2119ef921e8978520ff58d5eeaeedb982c257f2" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/peel.py", + "usage": "input", + "git_blob": "2ae1769a9726ab738d3981891d0b76beccac2d99", + "sha256": "3de018e68601566c364c7568b110f60c1bf34941b846cdffb94401bb799f85e3" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/topology.py", + "usage": "input", + "git_blob": "39a2916c207d04be5efc44750d8606f5da0c2990", + "sha256": "384d456ddba76de137a63b50019d5bba2e9f6daa4177c91643e0565d4cf1d44b" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/binding.py", + "usage": "input", + "git_blob": "21a5a21220a18ab62a19ac403a9944bc3a8665c8", + "sha256": "20169a8af6ed2b34069fd353a2bc1c42335ab686c58de8479baef33dd3fb493b" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/bitstream.py", + "usage": "input", + "git_blob": "4d1fd4abb0f2aabe833e5cbc9efb51039739e7ca", + "sha256": "f78bac9641007dbd8824984edcac057274fe016ce78bd9cb512d0c0913274783" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/cardinality.py", + "usage": "input", + "git_blob": "b8ba857e32c5903408e1e61ff916300848b4a208", + "sha256": "505d5e560c5a507e6184edcc19a87cf1fed243eb34a5cb21fbe1e4fe017e7f22" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/check_support.py", + "usage": "input", + "git_blob": "e1f961df9fa3a441fc5b600d1288a8d038eca51e", + "sha256": "d9977e87ddc5acdb836b8e4a4e3942da17a05b04ce67c04547d17b986b518964" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/children.py", + "usage": "input", + "git_blob": "ce4935f838516e2b08d13bec767cb803786fbc6b", + "sha256": "a78866939631214c1d1659203b2b5fc062e3c6255e9f11f975c310046b010bd6" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/controller.py", + "usage": "input", + "git_blob": "c631a9e77fbcccf0e8f448adc22978728aed7b60", + "sha256": "fa09146991f6c04e6f4b6eb9bf0c8e103e70e90a0e402ff3d69814e6aac8ff8c" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/counts.py", + "usage": "input", + "git_blob": "81b48940ce222290a40d4fb349ce827f4788469d", + "sha256": "00b476dbda0e8cc99886bf794439e1cb9e775f435f599a3557e99321fe084069" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/directory.py", + "usage": "input", + "git_blob": "c74cacf5ce809c0561d374f137a52df0992b4226", + "sha256": "4270e370b2bfe38ef73aadcd97d1b3496b56bd582115d74331eb9e5ceb90bec7" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/episode.py", + "usage": "input", + "git_blob": "30d11ff4f333813855d36da3eb5a1ab0e154bafe", + "sha256": "38f79cb2a370548471063952d5f7c74bd795a2a8496fdcf3ce0996d79e3adaff" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/forms.py", + "usage": "input", + "git_blob": "6667c0b772a63f0059c7caffec63e0d919a92398", + "sha256": "1fdf9d31b7eb107c396e33f94dad61c9d3f2c709cae61178268a44ca80dbc0b4" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/low_codes.py", + "usage": "input", + "git_blob": "737edfc4a10f4b7b3b97a7cef4b40864efd806e6", + "sha256": "f657e17f6088c840e3f7783e662257630f6d2c1e71c217721ffbca4d6ac93e87" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/matrices.py", + "usage": "input", + "git_blob": "5d497353efbb9eeaaf4facd96ab40ffb0f3aa20d", + "sha256": "00b687434039b54529ee092e34f9435cfcd66e0816eb3bd2a6688c73f4e01459" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/numeric.py", + "usage": "input", + "git_blob": "6d4ebca8398008375b8f4762d1a9f1514e8c2611", + "sha256": "7327b05c4ec3e0f6d9c352cc7de85bfd4ebe940482553e77c59a773a8c09c514" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/oracle.py", + "usage": "input", + "git_blob": "244f131466698a3ace10b657242fe1f65c07fd1f", + "sha256": "7bd18089e32ce48085b5e3a75159f6a82cdb2649ec682c53db05e399d97aef67" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/packet.py", + "usage": "input", + "git_blob": "ebc9b616514412b80c56d523776e6ba5d6766453", + "sha256": "970e7fe0719e3dfe122b248941e6f21cd90d7dd62089fa6acbd0e5412ce083a5" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/plan.py", + "usage": "input", + "git_blob": "48255d5454308c07635fae4e7eb4873b0bd2a4f8", + "sha256": "d9c8dc93762db4d3a449814aa51e2211460648694469854d89cb48cb04188cf3" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/records.py", + "usage": "input", + "git_blob": "4f00467a0ff580954ad2fd0c7380240c753ddef3", + "sha256": "0c9c4b23e998597fb877bb1a29da69ac869b68262abe635b162b4dba9c69b372" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/residual.py", + "usage": "input", + "git_blob": "3d070d2539a529f3b14ecb086a92a3db056229fe", + "sha256": "8fd24747cae498dfb2ba333e7f8a68d7315ae4c2d7530d8ca145aab95ede21df" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/routes.py", + "usage": "input", + "git_blob": "35531201dc349a811dfabc6f1f6e64697d665194", + "sha256": "ed7dc3679451696ab1dd841146b215c9515a3eec5e4ff3763f33c315f1696ada" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/selection.py", + "usage": "input", + "git_blob": "2c28f1aaec104a75c4e6c170b3e6a60300ee6700", + "sha256": "bc8e371fb1fa0b41fb05ef0b34d0f4c317b2396f9833d91f44f95c2b54b4052b" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/sources.py", + "usage": "input", + "git_blob": "16d5e7e6a28018f1e2d76d61efe2d54f6a6941d4", + "sha256": "f102edc7816d742bd89db8097254c19b843d0ef5cf6758ad42e93bcc0b214c62" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/stream.py", + "usage": "input", + "git_blob": "5e5a4bb0f98971447043e25d4dd6991bfc070389", + "sha256": "c7dc7da5b00f27016982ada4c0416f8328568b00df16d97012f33d4b372d79b5" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/stream_runner.py", + "usage": "input", + "git_blob": "efff281d4c4be5c1378e31404fbcc634fe4ade59", + "sha256": "751c5023ca0e477369e448583961ace6a76db2723bb6c26f81203def539f1249" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/trace.py", + "usage": "input", + "git_blob": "bb845a90f5bcf006e683e581e385936208f6a1f4", + "sha256": "c71ba11d793dde2ac6e4cdcf468482872975c34589bf1167f2a460cb8a74e984" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/words.py", + "usage": "input", + "git_blob": "8d4ba37e2778acb35b34e0719df2caf138fbeb50", + "sha256": "5c37f57708ba3131bdcb03139f9dbc29886bee44569c09cbba51b68f75acd7f9" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/verify.py", + "usage": "input", + "git_blob": "121acc1ff15ec85a8011e96eda2eb587608413b9", + "sha256": "cd83797d1f420f7e5de61c1a693110b4ee0c80bac0adae4699599046b7f76f8a" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/recursive_call.py", + "usage": "input", + "git_blob": "6d33224145aa04f7fbaf7b6cda7c9c164311a402", + "sha256": "157deaa5972557893d43494a81151483bdc46373448ec677cb6a738c9b7e6f1e" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/scheduler.py", + "usage": "input", + "git_blob": "60c2b6d065eba91dd5e0edb7a77fc087971eca3f", + "sha256": "0d96f7fbd6f90416167c5a52c0e3de942d1a0cae3d2968831932a9576701699f" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/stream_runner.py", + "usage": "input", + "git_blob": "6ba5df130bb4a0fcb06b6c630830ae3a6922921b", + "sha256": "b255feaf6cc6e40413ae73fe302bf8f290bf4dd89f4128b23a91cc9860601801" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/trace.py", + "usage": "input", + "git_blob": "4b002201ce54cdecec9acf4e874b7f71cd75fe71", + "sha256": "3a664224c558244f606b603cad816d75e94a17c9b2620a06a1530e893dfceac2" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/verify.py", + "usage": "input", + "git_blob": "96be8f5859a3f3799344d46dec1ee68170d96bfa", + "sha256": "65126e788eeea10e830fc583cf4afe0bfc4d67495cbf8ac21de3507dbe624d56" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/NOTICE.md", + "usage": "input", + "git_blob": "307c2da733f7f3a76e97c77e71072e811f40df02", + "sha256": "8640d1b52fd21e5b20e8109ce9c4957ca1e19a95e26a1c80d019a6e6f4d5f178" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/PROOF.md", + "usage": "input", + "git_blob": "7207ce7dec86694f01a3d9c049dcb87cc909e380", + "sha256": "fc9e7dcc5b385b6e508d6a6e9524b93059fa3e9fd5fcfb5eedbd85b3a54ba55e" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/README.md", + "usage": "input", + "git_blob": "c96e0d6cec56a9a5579ae159456fc15767315bc3", + "sha256": "6550a466bfafff2ca11740e931ed9fce062eb488f23e74edff7e4bbae8282bb1" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/RESULT.json", + "usage": "input", + "git_blob": "b2d1889d77019e06ac0326ac91b1322340cf3866", + "sha256": "4406fec9515bb4206c75b681f046b5441319cf1ed39a13b9b0134696b1c192a7" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/SOURCES.json", + "usage": "input", + "git_blob": "746393061c55f47412601e3d346e914762683e0c", + "sha256": "a6476b786632c2cbffabbe27eece790e378996c8b03eb17a01f1094f20fc4cdf" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/TASK.json", + "usage": "input", + "git_blob": "216dc8f8bcb33fe32d0eaccdadb0fe0383d73848", + "sha256": "964d3a4fbfb53fd58936840328ac4b770b324c9e78f722861b1db04663110626" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/VERIFY.json", + "usage": "input", + "git_blob": "6537be05745836106c753e1388ffc8b1bd23ce4c", + "sha256": "f9e252e8ab255b49c3b18d4db76cc09ebd9fb61d599305e0aca8bf295189028d" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/checks.py", + "usage": "input", + "git_blob": "46630a7648b1c93530e9253872a19cce338929ff", + "sha256": "98ffbd58881aa138b8dbae4d5722855ece2a5fdf7585e53978069ae9b064eb09" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/codec.py", + "usage": "input", + "git_blob": "9cd54d9417eb685dcd3f8293f01299ef9046ad31", + "sha256": "5b9fda8136f7e60bece54e3fcc74f4ea0bec7145fa60e1ae3a4d252741b81fd3" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/vendor/parking_machine.py", + "usage": "input", + "git_blob": "cafd614a3b7bc87b019361fcdf890ed976f26d19", + "sha256": "68134779debfb795468a1aaecbc2b9d321d7d4e451313ce7dc8fa7092561df4c" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/vendor/pr2753_recursive_call.py", + "usage": "input", + "git_blob": "6d33224145aa04f7fbaf7b6cda7c9c164311a402", + "sha256": "157deaa5972557893d43494a81151483bdc46373448ec677cb6a738c9b7e6f1e" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/vendor/words.py", + "usage": "input", + "git_blob": "8d4ba37e2778acb35b34e0719df2caf138fbeb50", + "sha256": "5c37f57708ba3131bdcb03139f9dbc29886bee44569c09cbba51b68f75acd7f9" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/verify.py", + "usage": "input", + "git_blob": "6be4f94eda9c96f4e7265a294f63e39309dcb0c6", + "sha256": "37f9e51e6c038a2493b4550e3cf0bd52621b6c20e115f0886406fc9909a82120" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/loader.py", + "usage": "input", + "git_blob": "4a0326c9af88626938645f288e559b5b97cb1787", + "sha256": "4d8647f520b2967a0ca7dcadeb39d6ebabbce44df4193f609fef22911d0ae67b" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_binding.py", + "usage": "input", + "git_blob": "c197eb6458be9374cb4684c654bfc99e619dcaf0", + "sha256": "9ef31765d03d2c54fad9296f2ff0707a190ce169e44de4f0f45214e3c410c01a" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_checks.py", + "usage": "input", + "git_blob": "6a9226a647d095419840fd9d6696ffcef9827b0b", + "sha256": "0631b4d6b547a76d8ea4babd3465908b9efaa058503f8330140bcc8eb22a51cb" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_code.py", + "usage": "input", + "git_blob": "2f5f8ecfac6457171707b1b5ff02b5071954fcb7", + "sha256": "f626b018124747a5f17c1603bea36cd74c00a69a0647fd7b10e9c4e2964caea8" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_controls.py", + "usage": "input", + "git_blob": "b7c1d28dd47ff463df02ea97b5907a041c05bdde", + "sha256": "a5343faffadfdd9ea0e52d4c7c4ef24ba5e8d2dee86c8af27c094ad78944b845" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_local_checks.py", + "usage": "input", + "git_blob": "421f9030f91f3ab309a9873928c09ba8a2ade580", + "sha256": "a9be60378d1282184632066b87cb044a8510b6623acf0df4dbf2f1bcd35cb830" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_machine.py", + "usage": "input", + "git_blob": "5a032e8923f7f8b22bb98f3e39b804beb9906c16", + "sha256": "7bc6e42072a09a08ac961e05c3da01cde012d740d4b4c605f298d994f2ad7c5a" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_selected_checks.py", + "usage": "input", + "git_blob": "14f224e975fdd1a580088baf26e23ca44091a2f7", + "sha256": "080e147837a4983a73e598af0cc97333e2cfb1d328f5190c9d4447a8bdbb4668" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/nested_bank_checks.py", + "usage": "input", + "git_blob": "c48f87429773e3b80719c209b4ad3f3977e3c41e", + "sha256": "4c225e7d91c767b4cedcf9f9b5222875be948bf8b4ef03cedc4f46f1d570e9bb" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/numerical_frame.py", + "usage": "input", + "git_blob": "dc92611dd5f131718806fa96470b8f3494e15e2a", + "sha256": "3fd62eda5d0b48bf31ea244708a77afdc6d16cf4fc9439d140ef422a38c7406c" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/residual_blocks.py", + "usage": "input", + "git_blob": "fba75e7649cf77e352a75324495191bbd7853c22", + "sha256": "ab7f3df8906decd2efecfb138eac1456c106bb520b2598761f699f80680d8331" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/role_parking.py", + "usage": "input", + "git_blob": "fc48c244eefdbaa3e320e86c75a7d187cb5765ef", + "sha256": "1884a3c260d81d5efbc0c33d86a810d6728e55e5764cfcd423f858cc685470f3" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/scratch_pool.py", + "usage": "input", + "git_blob": "0f22807c65d1bca374b905538512bf8c43702070", + "sha256": "41f1eb93652b7174c3b02f95f70e1a9ce2e2aed0a729e725167c8f226e65d8db" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/verify.py", + "usage": "input", + "git_blob": "fbdc87b9f98dc7722db45a42a742c5569089eeeb", + "sha256": "bfba14c842ea4d97bf160588abc061553d3e4eab66cd5f32b903e1a67e661aec" + }, + { + "path": "research/r437-preparation-composition/vendor/research/selected-bit-recursive-closure/PROOF.md", + "usage": "input", + "git_blob": "6c410cab5713979214a45835091fbeb9ee9b8531", + "sha256": "74cc8de20f21acb5123fe2d20996fe0925ea6e51b3dec633bd5221fb719b3344" + }, + { + "path": "research/r437-preparation-composition/vendor/upstream/build/sections/02-streams.tex", + "usage": "input", + "git_blob": "088fceea1867abc76271d7efe7532b779fee9039", + "sha256": "606c80db61cad13aa0c3b6060dc4b88dbbe7ac60cdd831aa93f28d908fd09dab" + }, + { + "path": "research/r437-preparation-composition/verify.py", + "usage": "input", + "git_blob": "955b199140ebb903ca55a543b97eeb884ea9681e", + "sha256": "98b38dd6ae9a657e34966bf683e0a732b7cbf2728cb108a86157ad8692ee7ad7" + }, + { + "path": "research/r437-reverse-row-coefficient/README.md", + "usage": "input", + "git_blob": "d23b6ecd4f6374b7bc01aada2a958e8d1fd3f1b4", + "sha256": "a7873487757b6796d9883712e59f7d79df5a5495fc143bcffa6b422fc576b07c" + }, + { + "path": "research/r437-reverse-row-coefficient/SOURCES.json", + "usage": "input", + "git_blob": "a604c6a640acd80f08b7378a00739eff45ac0830", + "sha256": "53211542c4e92eee92458f2b313d0bf6c1706e56dada488c604e93a0760fec43" + }, + { + "path": "research/r437-reverse-row-coefficient/TASK.json", + "usage": "input", + "git_blob": "c17ebdad667c0e84bdd98cbb2e942da805fe0c32", + "sha256": "4d78de8b25f29878fba3cd39679c08fed1b55af1cdb566d23b88804d1b2e7148" + }, + { + "path": "research/r437-reverse-row-coefficient/VERIFY.json", + "usage": "input", + "git_blob": "1f9455c1c7f10ff419f1a6d22fcd0596bf15052d", + "sha256": "acebfa5e7dc034cc6ff8d39de15b43b407482b1622097b05eacd86fb128b5221" + }, + { + "path": "research/r437-reverse-row-coefficient/independent.py", + "usage": "input", + "git_blob": "08ca179f3c5bff77efecb388894b974f7c94b51c", + "sha256": "d06b99de599a5b75590bb107fd605df314ed9cf8da19a9ba22bb8de0c33787b7" + }, + { + "path": "research/r437-reverse-row-coefficient/inputs/CANDIDATE-PHASES.json.gz", + "usage": "input", + "git_blob": "278422ca4a668b37274c620ad7105c953e2c26e3", + "sha256": "47c092cf409ac09c4386e5e59ea539d7406f65f746ddcf62a595353507c16607" + }, + { + "path": "research/r437-reverse-row-coefficient/inputs/R437-COMPOSED-WORD.json.gz", + "usage": "input", + "git_blob": "c558a221dd44cbdaa732a401f9876de4c096d4a7", + "sha256": "e432182d5b62c8bbefeb871fce30317234d707e5e18d4295e65ac21f7fd8365e" + }, + { + "path": "research/r437-reverse-row-coefficient/test_verify.py", + "usage": "input", + "git_blob": "eaf1962391ae5489eed96d697186a75c3bcdc0d8", + "sha256": "6488b70b7f67170116c0fe039cf2a254293621ad0b443751c5050d3b7cc7a039" + }, + { + "path": "research/r437-reverse-row-coefficient/verify.py", + "usage": "input", + "git_blob": "5e416b46c0975d8d39c39f86fa3d25cf3a142a93", + "sha256": "0a345d3658b868f8ccb36969e68fd1e8d5412a98a9f06b3e1a6e74ed9041216a" + }, + { + "path": "research/r437-two-window-carrier/CANDIDATE-TEMPLATE.json", + "usage": "input", + "git_blob": "96e959f07eebd6330fbbf27b628e793c1cba113c", + "sha256": "6228ba213be5ad22c42e85afb885e96594d2b355ec1fa6c4a57767b4f80bef8e" + }, + { + "path": "research/r437-two-window-carrier/CANDIDATE.json", + "usage": "input", + "git_blob": "1479f765540ce3625e4909e59b40ad6f8c3621fa", + "sha256": "0e4dc8bda7941b9c5bba2f7af9895544ca6f69666026e4835610b808c3d4d7f2" + }, + { + "path": "research/r437-two-window-carrier/HOST-RESULT.json", + "usage": "input", + "git_blob": "ee0952e10f744cf1c6d9c237006ccae4ce3c36c8", + "sha256": "000837b2b7a1e9d7e4b6b657a055c6f5f3886c7ea343239f8620f79d5d7b2ae8" + }, + { + "path": "research/r437-two-window-carrier/LOSING-CONTROL-RESULT.json", + "usage": "input", + "git_blob": "295681b3b3ac36cafc4f261dc708717ae09c5491", + "sha256": "10fde408da0c4aa44b3ec2719313a6a5be49fedbf61e290c04cea9aa37aaa4ca" + }, + { + "path": "research/r437-two-window-carrier/LOSING-CONTROL.json", + "usage": "input", + "git_blob": "49206cf3419a9b0347abfd615fee1b61089f11a0", + "sha256": "c7c9ae2fe5e336ef17892a630b947b6638b7068c74b6881d75f51b0e019a5d8a" + }, + { + "path": "research/r437-two-window-carrier/README.md", + "usage": "input", + "git_blob": "26001b13570d3d7b7e5ddeb4ad3f328bac8e201f", + "sha256": "ede0403964aafe33022999c583bc6debafea033bf46d7f98fdaf559b841e4e99" + }, + { + "path": "research/r437-two-window-carrier/RESULT.json", + "usage": "input", + "git_blob": "52fa337d99268879a82c5a69b7d3d318fa933a7e", + "sha256": "0dfeae97f64845c799857ab5ab0d83b61251b8bae52be269350c168f03c6aff9" + }, + { + "path": "research/r437-two-window-carrier/RETAINED.json", + "usage": "input", + "git_blob": "3fa87fc722c6b7c4353a3965e64dbe2d34fade38", + "sha256": "da91a8207025a4e141b7fd24a2511dfa0ff7d837b0a5d257599d44b9715747dd" + }, + { + "path": "research/r437-two-window-carrier/SOURCES.json", + "usage": "input", + "git_blob": "0839f4876a67fc26084ae94d832ccd69d2b5edb7", + "sha256": "e5822ba1b619af70e55e88a0b4bf81eddd8497bc98b5aac7b00c9d6b63b64bf9" + }, + { + "path": "research/r437-two-window-carrier/TASK.json", + "usage": "input", + "git_blob": "b719602c3f0316fa33316b6eb143c03b5aeb101c", + "sha256": "5e14a6a0845b700bd39fb0e1b4514e39a01ff2932da7603ea224fef61fd2e9c4" + }, + { + "path": "research/r437-two-window-carrier/VERIFY.json", + "usage": "input", + "git_blob": "1e4dc59c4c6da04bea7aa6300dd47246c3cf999c", + "sha256": "16318771c2ad8a1d13d9f209262e5942290fde9678a7417440b6c3888deec456" + }, + { + "path": "research/r437-two-window-carrier/candidate-template-chunks/part-000.bin", + "usage": "input", + "git_blob": "7f01aa7eef382501dfbaebbe6482e944fa814d87", + "sha256": "8e00d476dfe58732a897ce3137f4b1a2cf49d385b1bb4789031f0ea3c5696aaf" + }, + { + "path": "research/r437-two-window-carrier/candidate-template-chunks/part-001.bin", + "usage": "input", + "git_blob": "decd96a65dab997d67783c52b7668f758a6c115a", + "sha256": "32a7c61c62f418407bce7253ea86985ea189ff43e6f1aad14edb443d03885bfe" + }, + { + "path": "research/r437-two-window-carrier/candidate-template-chunks/part-002.bin", + "usage": "input", + "git_blob": "6ce96e8a18486b1ca4467db9947a316979591dba", + "sha256": "aaa622ea2195cfd77e9fa2416725e4e97c035dcb0edfc82a5f3adcccf58e22ca" + }, + { + "path": "research/r437-two-window-carrier/candidate-template-chunks/part-003.bin", + "usage": "input", + "git_blob": "e4514d27f5968bf82cb0f2ef81fd19ec1df1444a", + "sha256": "02305f71a9be6ebc9e5a28e07485bd174262879654f0cfd6273aac88acca56de" + }, + { + "path": "research/r437-two-window-carrier/candidate-template-chunks/part-004.bin", + "usage": "input", + "git_blob": "4021fe43bf1748eac8b49790395a5e3f4caf3012", + "sha256": "0f2764045d5f041055e7adb4713df81a67204d60360633c26af85c0493edb9cc" + }, + { + "path": "research/r437-two-window-carrier/candidate-template-chunks/part-005.bin", + "usage": "input", + "git_blob": "f1ff26b3a20cba0b1ca2b314ab3b8c1dbba54291", + "sha256": "5c88efd13b31b97af68ef967fc6cee1e8d2e7925f89169e67f960ad5b7c0f2d2" + }, + { + "path": "research/r437-two-window-carrier/candidate-template-chunks/part-006.bin", + "usage": "input", + "git_blob": "35aafc44c709e257caff7eacb8dcc33ac665a1a1", + "sha256": "51d679fbcb5d567d8574912e5a985f941d020c4612f878db8a976cd01b39c8cb" + }, + { + "path": "research/r437-two-window-carrier/candidate-template-chunks/part-007.bin", + "usage": "input", + "git_blob": "63e0755ffab1b56b0ea9bfad5bba51f73dc57480", + "sha256": "8c851cfbbc582b1f27f0d1c8ea8c32a4f48513f8e09ed0924beb643f4e3e4eb0" + }, + { + "path": "research/r437-two-window-carrier/candidate-template-chunks/part-008.bin", + "usage": "input", + "git_blob": "9bdc1c8f54034f70fd690a7603d2d566992165e1", + "sha256": "25752503f390e5109e248d99fd9806e11c4a12158d99db6a5263b2a2ff2166aa" + }, + { + "path": "research/r437-two-window-carrier/candidate-template-chunks/part-009.bin", + "usage": "input", + "git_blob": "8cdea621dccfae68a817b53ba591ec99e0202ce5", + "sha256": "e205f9bb6d396498a44f6cb4b1117efe4c5a22543bf83b11bafb9d1902fad992" + }, + { + "path": "research/r437-two-window-carrier/candidate-template-chunks/part-010.bin", + "usage": "input", + "git_blob": "f2f158a0ac596eb63668545911fee6abca3a25b4", + "sha256": "40bd7ba4fd1d4c96b035ee8984be3e023fd8b4d5bf270b636bd3256ebef17447" + }, + { + "path": "research/r437-two-window-carrier/candidate-template-chunks/part-011.bin", + "usage": "input", + "git_blob": "a93e192962aaa697c41a8443dd2cac27d5de6a73", + "sha256": "940a13dbb1c55f9acf6d28fcfd400ec615d911ae34c729604b29173cf66313f0" + }, + { + "path": "research/r437-two-window-carrier/candidate-template-chunks/part-012.bin", + "usage": "input", + "git_blob": "db181442703c9a61e66c3ee7022b7e8a7d95416c", + "sha256": "1836611a68633b2db8422e20f9a4d8e16949f0c402893db2737dba4dc4f34e41" + }, + { + "path": "research/r437-two-window-carrier/candidate-template-chunks/part-013.bin", + "usage": "input", + "git_blob": "854c9c7cea86c1251abd6c188443e359d5e75c36", + "sha256": "77bb5447b15aa1e4892425a23ec2737d91b336f4e73acc64d1d4e68528591c73" + }, + { + "path": "research/r437-two-window-carrier/candidate-template-chunks/part-014.bin", + "usage": "input", + "git_blob": "aec64554648edb5f9d8c0a0e50d7d88f90b63b05", + "sha256": "10f6ebc9118d5d42b7df6b611ed8cd9f4e0adef0c50e99859232546737bad87f" + }, + { + "path": "research/r437-two-window-carrier/candidate-template-chunks/part-015.bin", + "usage": "input", + "git_blob": "a1d264f85dfa54cb1ee31d306bbc75a433430161", + "sha256": "5672528cce227615c61ec77545199683112486ec428af6b755664da9363dfae1" + }, + { + "path": "research/r437-two-window-carrier/candidate-template-chunks/part-016.bin", + "usage": "input", + "git_blob": "d059e02425f35313a2d4f94f6a7ff1ed48e62171", + "sha256": "62eced9b9817294528a442297cde0bc880a7698e463c94e71f1ee91f7c04e2bf" + }, + { + "path": "research/r437-two-window-carrier/host.py", + "usage": "input", + "git_blob": "2cb9b22890fdfacea4ee51a75b7746dd35b78489", + "sha256": "df01e61dc31a1cb6b2bf3549be1e2241f7a30829c2c98567f462271e3fc216ee" + }, + { + "path": "research/r437-two-window-carrier/inputs/LICENSE", + "usage": "input", + "git_blob": "261eeb9e9f8b2b4b0d119366dda99c6fd7d35c64", + "sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4" + }, + { + "path": "research/r437-two-window-carrier/inputs/OQ4-EXPECTED.json", + "usage": "input", + "git_blob": "bc2585e1404402395a7c59ba6f6dde58b04e65a2", + "sha256": "67d06bcb90d2307a11975d6b25107a695be477f168f2dc289b8484ba0b7e2de0" + }, + { + "path": "research/r437-two-window-carrier/inputs/OQ4-TEMPLATE.json.gz", + "usage": "input", + "git_blob": "f56efc7ca3648d2070b791d4551a3d77dd7fdde4", + "sha256": "6e03c76f5a4227394ea57e901eb7e93f4d1ee411ccfecd483fd44ea043550494" + }, + { + "path": "research/r437-two-window-carrier/inputs/R437-COMPOSED-WORD.json.gz", + "usage": "input", + "git_blob": "c558a221dd44cbdaa732a401f9876de4c096d4a7", + "sha256": "e432182d5b62c8bbefeb871fce30317234d707e5e18d4295e65ac21f7fd8365e" + }, + { + "path": "research/r437-two-window-carrier/inputs/UPSTREAM-NOTICE.md", + "usage": "input", + "git_blob": "9b519b904d456b0b5861f7469a66c365e77799a6", + "sha256": "8ed83f2f0bde43a41e44279f44d29efaeae3df44850b86f0e3578edf3ee104e4" + }, + { + "path": "research/r437-two-window-carrier/test_package.py", + "usage": "input", + "git_blob": "37789c0494949572011dbb7049f5e61eca76b3e0", + "sha256": "c1fe16dcc1207cddc855eb0be2736a94e05b5e371a7d4c8117fa6dfcf9741d7a" + }, + { + "path": "research/r437-two-window-carrier/verify.py", + "usage": "input", + "git_blob": "49fe8d80c041da0c8d3e1dc37dff15b5e8c4cb9c", + "sha256": "0e972da66ef57955b28f371dc4f958a5ad61d42e037b110cf1f3be1285dd4523" + }, + { + "path": "research/recursive-parking-boundary/README.md", + "usage": "input", + "git_blob": "251f335ebaccc11d69393ee7aeb5a2e84526d0bb", + "sha256": "491aa208391ee4c2936510b1a5c5c018dd5509d9a0e88687c72ab8406cd77b18" + }, + { + "path": "research/selected-bit-local-ring-sweeps/PROOF.md", + "usage": "input", + "git_blob": "4330de85dd9862ed15d84ab917887d249753df99", + "sha256": "846c59440cc99e28bae93ad2af99525bc769de29368080071b8427141215b4f7" + }, + { + "path": "research/selected-bit-physical-caller/PROOF.md", + "usage": "input", + "git_blob": "548ecff3ef79a32c14bafc7f2309781181d3c23d", + "sha256": "e5a827e93fe313ba9bf4a2e300bae01b58b28004aa8a8ee119cf6d950edd9f93" + }, + { + "path": "research/selected-bit-physical-caller/README.md", + "usage": "input", + "git_blob": "abd0edba96101a025609d2840c3dbdf4d3e30aa8", + "sha256": "989ad891ce3f866c920a25e0cdd661815f982c4c854370f8c00668eaa15d770c" + }, + { + "path": "research/selected-bit-physical-caller/RESULT.json", + "usage": "input", + "git_blob": "44afaf8dca8f76b3c9f5ef58616b6d57ff7ff2f3", + "sha256": "de6216b9f89f22b9602867776a7fc951ec558c852e6abd4624151e95d868af56" + }, + { + "path": "research/selected-bit-physical-caller/SNAPSHOTS.json", + "usage": "input", + "git_blob": "034836cfaa3e4f984e900a980eecc986ec405b1d", + "sha256": "c7b3485bdae5ddf43166cd6626bd512816e179617a4234c36584f6c57c34744a" + }, + { + "path": "research/selected-bit-physical-caller/SOURCES.json", + "usage": "input", + "git_blob": "a27291a91519f9f4e074712afa3262c4d372aaaf", + "sha256": "94e1f55094bbd122e4ee73413650fa24072c392d53d257041cd5d38a2269e4fd" + }, + { + "path": "research/selected-bit-physical-caller/TASK.json", + "usage": "input", + "git_blob": "28b8d5e1cbd29824e702d384937831ddb3876da7", + "sha256": "84319cb2f8c7c121927123e8c3271c3ec4ec93fc9be362dcfdf7ee4366cd1a74" + }, + { + "path": "research/selected-bit-physical-caller/VALIDATION.md", + "usage": "input", + "git_blob": "5b1a9221f35cbd637183282489e8eeaa30314ea8", + "sha256": "c38eaa31a9cf3489356f2e2a675e2bc6194fa41796589edc9cbd8578b5d71c0f" + }, + { + "path": "research/selected-bit-physical-caller/VERIFY.json", + "usage": "input", + "git_blob": "682809777271adfe08df6e6ba2fae89571420212", + "sha256": "5bb3cf67018f35de5b825c9bb4b7a6590296da85f492ba3dbff7a6ce9bdebf8e" + }, + { + "path": "research/selected-bit-physical-caller/continuation_checks.py", + "usage": "input", + "git_blob": "f2be8aad16e279c0d1467e21d79d2dd81dcae8d8", + "sha256": "c6ef8fa86a7099af0eb6763a3f5bd43f8f94e1e176cfba38c0077b3e0f5fda48" + }, + { + "path": "research/selected-bit-physical-caller/frame_checks.py", + "usage": "input", + "git_blob": "4b992ffcb0a613da54ca24e31d25e61445799e10", + "sha256": "ced41d9244afcb5275ad5c46dc0f60265afc1e6422d29b277364e945825c4dd8" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/EVIDENCE.json", + "usage": "input", + "git_blob": "c2c347abc2b8c19bb642c4da1aad5b3e8383016f", + "sha256": "77b7cbefa2ca30acf2f77e23d14808ccd27848e9c76e4c5e68a045ef7891a07f" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/PREDECESSOR.json", + "usage": "input", + "git_blob": "56d76c357b51f4fc6856923222bfca47f03334e7", + "sha256": "e3127475913d62dbdf1b45d9283d2db2e9b689e0f81a703189150c1e5be2bca0" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/PROOF.md", + "usage": "input", + "git_blob": "1a08e57eac2a37764066d31baa3ecd3769759158", + "sha256": "552fa306d5cc228f4d8d8553f8ac5fc6a738ef2b66a2cb765ba0638cd229794d" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/README.md", + "usage": "input", + "git_blob": "75461632856f94d6b48ae820cf5d0b2b232305c2", + "sha256": "6ce41fd7e6dfbe5faecc25bd36561f0a65b6ebca6fc69d3fb72569424a405045" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/RESULT.json", + "usage": "input", + "git_blob": "75faec7844e18fc7c44543dbab87aba2ecf32b3e", + "sha256": "4919655bae2e5cff051e8f2d240a8e4ebb03392a9da2fb5328daa9248fb7e88b" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/SOURCES.json", + "usage": "input", + "git_blob": "ff8c8e36176aa56e319d0f9e584167ac21d67f33", + "sha256": "7c78f539078e1bc3d893b78b5ee24cb22dc090d3763fe554e861b6c3d3e7eaf7" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/TASK.json", + "usage": "input", + "git_blob": "d70ad317275d2a517ab1294ce48ecb1f83dfedbf", + "sha256": "ac7d4b38da31b373e665929027fc04afb66c3e9aedaea3296e3783637912d0e8" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/VALIDATION.md", + "usage": "input", + "git_blob": "d91680665a28c12c27c99336b55c3d5341dd0fe4", + "sha256": "ac0f2fab0ca810ce0202d31480daa8329cba0897ab015520a2bfd4b689c4086b" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/VERIFY.json", + "usage": "input", + "git_blob": "b6072f66c13a38b5d8dff3ca3bc5f3f3562f1b6e", + "sha256": "6ad0e07f68458afedece927550655b5bc5cd9861a70044fcd95bb10a2179f0a6" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/bootstrap.py", + "usage": "input", + "git_blob": "448c9b3a86eedb84220646ab27ff089a32ad5b9b", + "sha256": "eef1c418e8edbdf317d159683e30beaecd971c77cf41d6b09708576405e2141e" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/check_layout.py", + "usage": "input", + "git_blob": "be59d614d25961f891e1640bf85cf5e2f474a059", + "sha256": "454b1587d1ed5ccaea19b621a67e2ceba999d7ede61188125faa41c4dd2ab2b1" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/check_nested_model.py", + "usage": "input", + "git_blob": "20fed6bd389cb53fc52d0ad8389e9e7704c90265", + "sha256": "b1941b882b0659722c3c41994c82f020c1f7ab320dc28c43c2758029ef8a48b7" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/check_recursion.py", + "usage": "input", + "git_blob": "8f36c88e196cf5afc0d6e227ba8568a10bb23c6a", + "sha256": "dde82badf043e553bc635a34295e2b5505d84d6dfbaf96e0cfccb8a8c3dbb158" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/check_runtime.py", + "usage": "input", + "git_blob": "fe355a703475325bca4807b8ffedfa9f6edb74f5", + "sha256": "9fcf0c9a3c84a17446fafe8da50b63db296ba9465d48ddb6fdeac8742dfc98b1" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/check_sign.py", + "usage": "input", + "git_blob": "50669949a1325e8c49aa0ff714c40a50077b5eb8", + "sha256": "ee4fd34acd49962a18d268aefeb20aa3c2673a10e7a43eee3e51a9bd3cf9106a" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/check_sources.py", + "usage": "input", + "git_blob": "5c09a13943070a3bb3c0da06fd19fbc6916d1743", + "sha256": "1c49984ae6ee7f8a44cde16b51e486f0b3ba4ee5c973389ac8d58a82d0a0aa3b" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/consumer.py", + "usage": "input", + "git_blob": "a66d9276f829ce2c619871866816649d5f3687fd", + "sha256": "2f2a8604c23fb2c81f24320c71ed0142118d98dde3be6086adad28e89954a777" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/control_checks.py", + "usage": "input", + "git_blob": "11daa0b2221c5870d19ba2eaf411a6bff3a0398d", + "sha256": "c09d33327932b4ffbb8acb26c8a6bb621bcca542157d22f1edf72679a9359981" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/driver.py", + "usage": "input", + "git_blob": "5b7846a70aada53d87480b337e1c04217118771b", + "sha256": "ceaf8f75de9810a05ebf8f65780b6f8bd7599a5768401d5e4386182afe615cdf" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/evidence/NOTICE.md", + "usage": "input", + "git_blob": "d0318d43ed420e21dc52166a19de703aa87fbb3e", + "sha256": "fd7c42e89878cda6df86dde8720ece34625a337cf5edd795a421e2d3b42919e9" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2688-NOTICE.md", + "usage": "input", + "git_blob": "f2b49cdef83a4a685fad32c01fba93e12cfcb5a8", + "sha256": "c899fccf7bd32397f0ddd85e4af35a166cefb3e3ae3407ec40edc3ab2051b617" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2688-PROOF.md", + "usage": "input", + "git_blob": "1395e1941863e40ff6d62dd91c41de2cb56edae9", + "sha256": "fa9bec0952468e4acb760a88d45d5be216325650e1a4080cf590e07b90c9f533" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2708-README.md", + "usage": "input", + "git_blob": "79b8742f32b4ffb991f91ddd2d3c6be693084e6d", + "sha256": "5906f6b7b2c8eea90e441476c4cbd60fe2ef981b690c63357bcfe67e3104aeef" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2731-README.md", + "usage": "input", + "git_blob": "ac5b826f9c34e1faadc5d5a02d5d260823112078", + "sha256": "19683df4394de299cbd7e1cce39bf9434ad260b1a37006587cf9aed84c9c0a03" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/layout.py", + "usage": "input", + "git_blob": "aa554b14fe0f6b308d9fba0a2afc92e5a28e20cb", + "sha256": "3beef6534b02c3b011b741f957a7d9fb05a9ac0bba1fed53b2c71834e4ea6bc1" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/linear_sign.py", + "usage": "input", + "git_blob": "6a6e5c02f299fad8c4f7ab724fc36e14a22ab13c", + "sha256": "73e895fc701a4145cbe89d60f5775128354e7f08d0a45eacf22f423913f54e67" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/node.py", + "usage": "input", + "git_blob": "28c98a3573b458f7a055678d70b602b80e6e959e", + "sha256": "0bd4f640cafb5c8f070c161d86445910f77578a672bf5886936ed89e7f6bd21b" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/packet_engine.py", + "usage": "input", + "git_blob": "72543f684f38fefeacc2ee66d81661f1a2439cf7", + "sha256": "c80fc3aa9092f91cc309b2fb2dbc3618bf96bdb9b8498503993ea161f0ae2134" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/peel.py", + "usage": "input", + "git_blob": "38502515afc928082c849cd2cda8578d33a5050a", + "sha256": "8b20888f74b4cd814a97b42ec72528fbfb6d2e936c5022df726f0785d0d01a2e" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/NOTICE.md", + "usage": "input", + "git_blob": "ef9f81510db86eaf2f0a7191d85e92a6db30ddc0", + "sha256": "c446b32b8a621844fb2fbe654810c8122035bdd43fed2132f1137d98cb6f9943" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/PROOF.md", + "usage": "input", + "git_blob": "a4746d1786f41e45a36fdedf37966b80fbab3562", + "sha256": "88754d57bae35a2089d9de221ff32ba802b7a56b810f96271f3ea36985edfb14" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/README.md", + "usage": "input", + "git_blob": "988ff622029aff49d7e99deb2468684d904bc852", + "sha256": "15631eb826b2d8d54fbee18fb6f70ee035e172d524c2a209b6c467c3f0204f64" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/RESULT.json", + "usage": "input", + "git_blob": "7b7dfe0eab22a7b511483f268b97a7c707fd8b90", + "sha256": "0d94c5e9150f3fbd603526c67ea33168d3ba45e158aaf722e848bf5c316a37a8" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/SOURCES.json", + "usage": "input", + "git_blob": "4fef1a4d6c2d5e2620d3506d6032f9226870ed39", + "sha256": "1b02a5c607a5967948988c3beaf37d9975d650ad501a99fcf74c135dc1f05fdd" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/TASK.json", + "usage": "input", + "git_blob": "eb2ce7cc00df816daf566f101d56a0330852c1d9", + "sha256": "a4cd54d4b09ad12a90a5feeb39a127f0f0d5a2a04f9f88554c5fc3ee0cfe77f4" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/VERIFY.json", + "usage": "input", + "git_blob": "69c7ad75abe494be386f73a5d51359b9053cd9be", + "sha256": "e1dd0ee5f267ffa515bb345054ff8637cfedb0079b0d2da29b90b7848264926e" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/cardinal_counts.py", + "usage": "input", + "git_blob": "6a14feac45094ae9156e8c2c982d6727544f180e", + "sha256": "59ddeac102a0cc51fa49b15aae6aeb68cd68ed217fa974ce916372a177d2ec8f" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/catalogue.py", + "usage": "input", + "git_blob": "0efc0575a7623ac41c094d2e8772beda5a9fdc29", + "sha256": "83ea88f82d4a83c5f889774bfe3519b7ebaa24b6a0e2a969dafff012107a89bf" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_headers.py", + "usage": "input", + "git_blob": "1c372b19e19b838a89c0e64daeda15ec6b49f079", + "sha256": "a41dab0c487c341eb32b34a03af74454e15e9e61e7386a1ca426d83f3b68b1ca" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_layout.py", + "usage": "input", + "git_blob": "174d843716a684145f934cb55a612bca85aad725", + "sha256": "8f776a21dc0e31f9738d822cfda38db92f1e3672afb880d4246ec5e084a50a41" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_runtime.py", + "usage": "input", + "git_blob": "5647693b3a5c1555b65e281c6609f98b92d45542", + "sha256": "5357e4ff255f17c4209aaf71a3413a4148475f11180c4f829e8f0ebacd2877cb" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_sources.py", + "usage": "input", + "git_blob": "9219cdf863d9f060d6e38a4f2f4760fd227af003", + "sha256": "6463c2724e04a313181b78e90a17cd62ee42465754902cca3e9a65c6140a15a1" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/consumer.py", + "usage": "input", + "git_blob": "24b53521fce94d3349072cf47d70e62195f4d541", + "sha256": "b28ec97b0873ff2be25aff4bdde268247ffcec0d21279d0ada196de19a0bdc66" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/control.py", + "usage": "input", + "git_blob": "4f6ac09bffab43dbccc470bd0bde2ffbe969a8b2", + "sha256": "d3a93e54bb7d333b73917586407d11674d38b5c3fda4fbdc436fb5293ae7786a" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/control_checks.py", + "usage": "input", + "git_blob": "712cfddc4caaad9e788d97b0e1e3f623172c43ed", + "sha256": "5ea6ded8c2508fbb00d93655affdfe7907ffb60916389e0736249c003a7a5148" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/driver.py", + "usage": "input", + "git_blob": "0bdee4c9e348259b470a636a98e7657770f97fae", + "sha256": "ee9e42fe95ab28fdd5e927c2d46fd480305aaad610eb2ca7ae514a5d22d9f0ac" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/fresh_rows.py", + "usage": "input", + "git_blob": "aa3a327604308d3a5c7a27b65f5e631d430ab093", + "sha256": "e4ae08fbd658add630eb7754ebe0cbcb42c6f39cf4128f9cb92e27fcf5213a7d" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/layout.py", + "usage": "input", + "git_blob": "267d5ab98cd013ee82ba75e6d41609f1778af25f", + "sha256": "7534b0166805f2ae8d11495c811d2bd272cea89c89b6bb5251fd411c89245a20" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/model.py", + "usage": "input", + "git_blob": "9fb82fa57d29cdf8402f91534dffed8f586ced6c", + "sha256": "c937ae8e46162f88fc1cd7646d3b22c99273029ad0f0e3131f46ddec230676cb" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/node.py", + "usage": "input", + "git_blob": "13badda6f059da2132cbe325c071307e5191baa3", + "sha256": "b88fc9ac0b22d939311ff4f7aff788e8c87a64fd5e866498e59bd27940ee3f28" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/packet_engine.py", + "usage": "input", + "git_blob": "27a0dbf82e78252beede56ff86f5933c93eb55c1", + "sha256": "ce7f132a6a69c802406f07c4a2119ef921e8978520ff58d5eeaeedb982c257f2" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/peel.py", + "usage": "input", + "git_blob": "2ae1769a9726ab738d3981891d0b76beccac2d99", + "sha256": "3de018e68601566c364c7568b110f60c1bf34941b846cdffb94401bb799f85e3" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/topology.py", + "usage": "input", + "git_blob": "39a2916c207d04be5efc44750d8606f5da0c2990", + "sha256": "384d456ddba76de137a63b50019d5bba2e9f6daa4177c91643e0565d4cf1d44b" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/binding.py", + "usage": "input", + "git_blob": "21a5a21220a18ab62a19ac403a9944bc3a8665c8", + "sha256": "20169a8af6ed2b34069fd353a2bc1c42335ab686c58de8479baef33dd3fb493b" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/bitstream.py", + "usage": "input", + "git_blob": "4d1fd4abb0f2aabe833e5cbc9efb51039739e7ca", + "sha256": "f78bac9641007dbd8824984edcac057274fe016ce78bd9cb512d0c0913274783" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/cardinality.py", + "usage": "input", + "git_blob": "b8ba857e32c5903408e1e61ff916300848b4a208", + "sha256": "505d5e560c5a507e6184edcc19a87cf1fed243eb34a5cb21fbe1e4fe017e7f22" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/check_support.py", + "usage": "input", + "git_blob": "e1f961df9fa3a441fc5b600d1288a8d038eca51e", + "sha256": "d9977e87ddc5acdb836b8e4a4e3942da17a05b04ce67c04547d17b986b518964" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/children.py", + "usage": "input", + "git_blob": "ce4935f838516e2b08d13bec767cb803786fbc6b", + "sha256": "a78866939631214c1d1659203b2b5fc062e3c6255e9f11f975c310046b010bd6" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/controller.py", + "usage": "input", + "git_blob": "c631a9e77fbcccf0e8f448adc22978728aed7b60", + "sha256": "fa09146991f6c04e6f4b6eb9bf0c8e103e70e90a0e402ff3d69814e6aac8ff8c" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/counts.py", + "usage": "input", + "git_blob": "81b48940ce222290a40d4fb349ce827f4788469d", + "sha256": "00b476dbda0e8cc99886bf794439e1cb9e775f435f599a3557e99321fe084069" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/directory.py", + "usage": "input", + "git_blob": "c74cacf5ce809c0561d374f137a52df0992b4226", + "sha256": "4270e370b2bfe38ef73aadcd97d1b3496b56bd582115d74331eb9e5ceb90bec7" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/episode.py", + "usage": "input", + "git_blob": "30d11ff4f333813855d36da3eb5a1ab0e154bafe", + "sha256": "38f79cb2a370548471063952d5f7c74bd795a2a8496fdcf3ce0996d79e3adaff" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/forms.py", + "usage": "input", + "git_blob": "6667c0b772a63f0059c7caffec63e0d919a92398", + "sha256": "1fdf9d31b7eb107c396e33f94dad61c9d3f2c709cae61178268a44ca80dbc0b4" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/low_codes.py", + "usage": "input", + "git_blob": "737edfc4a10f4b7b3b97a7cef4b40864efd806e6", + "sha256": "f657e17f6088c840e3f7783e662257630f6d2c1e71c217721ffbca4d6ac93e87" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/matrices.py", + "usage": "input", + "git_blob": "5d497353efbb9eeaaf4facd96ab40ffb0f3aa20d", + "sha256": "00b687434039b54529ee092e34f9435cfcd66e0816eb3bd2a6688c73f4e01459" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/numeric.py", + "usage": "input", + "git_blob": "6d4ebca8398008375b8f4762d1a9f1514e8c2611", + "sha256": "7327b05c4ec3e0f6d9c352cc7de85bfd4ebe940482553e77c59a773a8c09c514" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/oracle.py", + "usage": "input", + "git_blob": "244f131466698a3ace10b657242fe1f65c07fd1f", + "sha256": "7bd18089e32ce48085b5e3a75159f6a82cdb2649ec682c53db05e399d97aef67" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/packet.py", + "usage": "input", + "git_blob": "ebc9b616514412b80c56d523776e6ba5d6766453", + "sha256": "970e7fe0719e3dfe122b248941e6f21cd90d7dd62089fa6acbd0e5412ce083a5" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/plan.py", + "usage": "input", + "git_blob": "48255d5454308c07635fae4e7eb4873b0bd2a4f8", + "sha256": "d9c8dc93762db4d3a449814aa51e2211460648694469854d89cb48cb04188cf3" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/records.py", + "usage": "input", + "git_blob": "4f00467a0ff580954ad2fd0c7380240c753ddef3", + "sha256": "0c9c4b23e998597fb877bb1a29da69ac869b68262abe635b162b4dba9c69b372" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/residual.py", + "usage": "input", + "git_blob": "3d070d2539a529f3b14ecb086a92a3db056229fe", + "sha256": "8fd24747cae498dfb2ba333e7f8a68d7315ae4c2d7530d8ca145aab95ede21df" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/routes.py", + "usage": "input", + "git_blob": "35531201dc349a811dfabc6f1f6e64697d665194", + "sha256": "ed7dc3679451696ab1dd841146b215c9515a3eec5e4ff3763f33c315f1696ada" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/selection.py", + "usage": "input", + "git_blob": "2c28f1aaec104a75c4e6c170b3e6a60300ee6700", + "sha256": "bc8e371fb1fa0b41fb05ef0b34d0f4c317b2396f9833d91f44f95c2b54b4052b" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/sources.py", + "usage": "input", + "git_blob": "16d5e7e6a28018f1e2d76d61efe2d54f6a6941d4", + "sha256": "f102edc7816d742bd89db8097254c19b843d0ef5cf6758ad42e93bcc0b214c62" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/stream.py", + "usage": "input", + "git_blob": "5e5a4bb0f98971447043e25d4dd6991bfc070389", + "sha256": "c7dc7da5b00f27016982ada4c0416f8328568b00df16d97012f33d4b372d79b5" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/stream_runner.py", + "usage": "input", + "git_blob": "efff281d4c4be5c1378e31404fbcc634fe4ade59", + "sha256": "751c5023ca0e477369e448583961ace6a76db2723bb6c26f81203def539f1249" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/trace.py", + "usage": "input", + "git_blob": "bb845a90f5bcf006e683e581e385936208f6a1f4", + "sha256": "c71ba11d793dde2ac6e4cdcf468482872975c34589bf1167f2a460cb8a74e984" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/words.py", + "usage": "input", + "git_blob": "8d4ba37e2778acb35b34e0719df2caf138fbeb50", + "sha256": "5c37f57708ba3131bdcb03139f9dbc29886bee44569c09cbba51b68f75acd7f9" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/verify.py", + "usage": "input", + "git_blob": "121acc1ff15ec85a8011e96eda2eb587608413b9", + "sha256": "cd83797d1f420f7e5de61c1a693110b4ee0c80bac0adae4699599046b7f76f8a" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/recursive_call.py", + "usage": "input", + "git_blob": "6d33224145aa04f7fbaf7b6cda7c9c164311a402", + "sha256": "157deaa5972557893d43494a81151483bdc46373448ec677cb6a738c9b7e6f1e" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/scheduler.py", + "usage": "input", + "git_blob": "60c2b6d065eba91dd5e0edb7a77fc087971eca3f", + "sha256": "0d96f7fbd6f90416167c5a52c0e3de942d1a0cae3d2968831932a9576701699f" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/stream_runner.py", + "usage": "input", + "git_blob": "6ba5df130bb4a0fcb06b6c630830ae3a6922921b", + "sha256": "b255feaf6cc6e40413ae73fe302bf8f290bf4dd89f4128b23a91cc9860601801" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/trace.py", + "usage": "input", + "git_blob": "4b002201ce54cdecec9acf4e874b7f71cd75fe71", + "sha256": "3a664224c558244f606b603cad816d75e94a17c9b2620a06a1530e893dfceac2" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2753/verify.py", + "usage": "input", + "git_blob": "96be8f5859a3f3799344d46dec1ee68170d96bfa", + "sha256": "65126e788eeea10e830fc583cf4afe0bfc4d67495cbf8ac21de3507dbe624d56" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2769/NOTICE.md", + "usage": "input", + "git_blob": "307c2da733f7f3a76e97c77e71072e811f40df02", + "sha256": "8640d1b52fd21e5b20e8109ce9c4957ca1e19a95e26a1c80d019a6e6f4d5f178" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2769/PROOF.md", + "usage": "input", + "git_blob": "7207ce7dec86694f01a3d9c049dcb87cc909e380", + "sha256": "fc9e7dcc5b385b6e508d6a6e9524b93059fa3e9fd5fcfb5eedbd85b3a54ba55e" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2769/README.md", + "usage": "input", + "git_blob": "c96e0d6cec56a9a5579ae159456fc15767315bc3", + "sha256": "6550a466bfafff2ca11740e931ed9fce062eb488f23e74edff7e4bbae8282bb1" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2769/RESULT.json", + "usage": "input", + "git_blob": "b2d1889d77019e06ac0326ac91b1322340cf3866", + "sha256": "4406fec9515bb4206c75b681f046b5441319cf1ed39a13b9b0134696b1c192a7" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2769/SOURCES.json", + "usage": "input", + "git_blob": "746393061c55f47412601e3d346e914762683e0c", + "sha256": "a6476b786632c2cbffabbe27eece790e378996c8b03eb17a01f1094f20fc4cdf" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2769/TASK.json", + "usage": "input", + "git_blob": "216dc8f8bcb33fe32d0eaccdadb0fe0383d73848", + "sha256": "964d3a4fbfb53fd58936840328ac4b770b324c9e78f722861b1db04663110626" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2769/VERIFY.json", + "usage": "input", + "git_blob": "6537be05745836106c753e1388ffc8b1bd23ce4c", + "sha256": "f9e252e8ab255b49c3b18d4db76cc09ebd9fb61d599305e0aca8bf295189028d" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2769/checks.py", + "usage": "input", + "git_blob": "46630a7648b1c93530e9253872a19cce338929ff", + "sha256": "98ffbd58881aa138b8dbae4d5722855ece2a5fdf7585e53978069ae9b064eb09" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2769/codec.py", + "usage": "input", + "git_blob": "9cd54d9417eb685dcd3f8293f01299ef9046ad31", + "sha256": "5b9fda8136f7e60bece54e3fcc74f4ea0bec7145fa60e1ae3a4d252741b81fd3" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2769/vendor/parking_machine.py", + "usage": "input", + "git_blob": "cafd614a3b7bc87b019361fcdf890ed976f26d19", + "sha256": "68134779debfb795468a1aaecbc2b9d321d7d4e451313ce7dc8fa7092561df4c" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2769/vendor/pr2753_recursive_call.py", + "usage": "input", + "git_blob": "6d33224145aa04f7fbaf7b6cda7c9c164311a402", + "sha256": "157deaa5972557893d43494a81151483bdc46373448ec677cb6a738c9b7e6f1e" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2769/vendor/words.py", + "usage": "input", + "git_blob": "8d4ba37e2778acb35b34e0719df2caf138fbeb50", + "sha256": "5c37f57708ba3131bdcb03139f9dbc29886bee44569c09cbba51b68f75acd7f9" + }, + { + "path": "research/selected-bit-physical-caller/inputs/pr2769/verify.py", + "usage": "input", + "git_blob": "6be4f94eda9c96f4e7265a294f63e39309dcb0c6", + "sha256": "37f9e51e6c038a2493b4550e3cf0bd52621b6c20e115f0886406fc9909a82120" + }, + { + "path": "research/selected-bit-physical-caller/loader.py", + "usage": "input", + "git_blob": "4a0326c9af88626938645f288e559b5b97cb1787", + "sha256": "4d8647f520b2967a0ca7dcadeb39d6ebabbce44df4193f609fef22911d0ae67b" + }, + { + "path": "research/selected-bit-physical-caller/macro_binding.py", + "usage": "input", + "git_blob": "c197eb6458be9374cb4684c654bfc99e619dcaf0", + "sha256": "9ef31765d03d2c54fad9296f2ff0707a190ce169e44de4f0f45214e3c410c01a" + }, + { + "path": "research/selected-bit-physical-caller/macro_checks.py", + "usage": "input", + "git_blob": "6a9226a647d095419840fd9d6696ffcef9827b0b", + "sha256": "0631b4d6b547a76d8ea4babd3465908b9efaa058503f8330140bcc8eb22a51cb" + }, + { + "path": "research/selected-bit-physical-caller/macro_code.py", + "usage": "input", + "git_blob": "2f5f8ecfac6457171707b1b5ff02b5071954fcb7", + "sha256": "f626b018124747a5f17c1603bea36cd74c00a69a0647fd7b10e9c4e2964caea8" + }, + { + "path": "research/selected-bit-physical-caller/macro_controls.py", + "usage": "input", + "git_blob": "b7c1d28dd47ff463df02ea97b5907a041c05bdde", + "sha256": "a5343faffadfdd9ea0e52d4c7c4ef24ba5e8d2dee86c8af27c094ad78944b845" + }, + { + "path": "research/selected-bit-physical-caller/macro_local_checks.py", + "usage": "input", + "git_blob": "421f9030f91f3ab309a9873928c09ba8a2ade580", + "sha256": "a9be60378d1282184632066b87cb044a8510b6623acf0df4dbf2f1bcd35cb830" + }, + { + "path": "research/selected-bit-physical-caller/macro_machine.py", + "usage": "input", + "git_blob": "5a032e8923f7f8b22bb98f3e39b804beb9906c16", + "sha256": "7bc6e42072a09a08ac961e05c3da01cde012d740d4b4c605f298d994f2ad7c5a" + }, + { + "path": "research/selected-bit-physical-caller/macro_selected_checks.py", + "usage": "input", + "git_blob": "14f224e975fdd1a580088baf26e23ca44091a2f7", + "sha256": "080e147837a4983a73e598af0cc97333e2cfb1d328f5190c9d4447a8bdbb4668" + }, + { + "path": "research/selected-bit-physical-caller/nested_bank_checks.py", + "usage": "input", + "git_blob": "c48f87429773e3b80719c209b4ad3f3977e3c41e", + "sha256": "4c225e7d91c767b4cedcf9f9b5222875be948bf8b4ef03cedc4f46f1d570e9bb" + }, + { + "path": "research/selected-bit-physical-caller/numerical_frame.py", + "usage": "input", + "git_blob": "dc92611dd5f131718806fa96470b8f3494e15e2a", + "sha256": "3fd62eda5d0b48bf31ea244708a77afdc6d16cf4fc9439d140ef422a38c7406c" + }, + { + "path": "research/selected-bit-physical-caller/residual_blocks.py", + "usage": "input", + "git_blob": "fba75e7649cf77e352a75324495191bbd7853c22", + "sha256": "ab7f3df8906decd2efecfb138eac1456c106bb520b2598761f699f80680d8331" + }, + { + "path": "research/selected-bit-physical-caller/role_parking.py", + "usage": "input", + "git_blob": "fc48c244eefdbaa3e320e86c75a7d187cb5765ef", + "sha256": "1884a3c260d81d5efbc0c33d86a810d6728e55e5764cfcd423f858cc685470f3" + }, + { + "path": "research/selected-bit-physical-caller/scratch_pool.py", + "usage": "input", + "git_blob": "0f22807c65d1bca374b905538512bf8c43702070", + "sha256": "41f1eb93652b7174c3b02f95f70e1a9ce2e2aed0a729e725167c8f226e65d8db" + }, + { + "path": "research/selected-bit-physical-caller/verify.py", + "usage": "input", + "git_blob": "fbdc87b9f98dc7722db45a42a742c5569089eeeb", + "sha256": "bfba14c842ea4d97bf160588abc061553d3e4eab66cd5f32b903e1a67e661aec" + }, + { + "path": "research/selected-bit-recursive-closure/PROOF.md", + "usage": "input", + "git_blob": "6c410cab5713979214a45835091fbeb9ee9b8531", + "sha256": "74cc8de20f21acb5123fe2d20996fe0925ea6e51b3dec633bd5221fb719b3344" + }, + { + "path": "upstream/build/sections/02-streams.tex", + "usage": "input", + "git_blob": "088fceea1867abc76271d7efe7532b779fee9039", + "sha256": "606c80db61cad13aa0c3b6060dc4b88dbbe7ac60cdd831aa93f28d908fd09dab" + }, + { + "path": "research/r437-batched-high-quotient/adapter.py", + "usage": "input", + "git_blob": "37674d1744bea0efd94af14806cde54c8c9fb107", + "sha256": "f01afea5e9aa731ae05f8742ad9f3c55004d197a2ab550fb90a0a42a6dd1ba34" + }, + { + "path": "research/r437-sharp-stock-entry/retained/ordinal.py", + "usage": "input", + "git_blob": "953577cfff34e30e854e815f2660ef7a57279bec", + "sha256": "6b5f35ff29770e1a3443d89a5819413594fd5aa6f7feb9c99311ca09b6aa3e5f" + } + ], + "retained": [ + { + "path": "retained/selected-result.json", + "source_git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81", + "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129", + "purpose": "Exact historical complete record accepted by frozen loader; not the current selected result." + } + ] +} diff --git a/research/r437-admitted-count-power/TASK.json b/research/r437-admitted-count-power/TASK.json new file mode 100644 index 0000000000..ad1c7d4051 --- /dev/null +++ b/research/r437-admitted-count-power/TASK.json @@ -0,0 +1,91 @@ +{ + "schema_version": 1, + "task_id": "r437-carrier-integration", + "priority_revision": 7, + "base_commit": "bee95ce88f9f19802f0613f92838895cd0e14a1f", + "original_card": { + "id": "r437-carrier-integration", + "question": "Can the paid R437 two-window carrier improvement be admitted by the actual pooled compiler and physical caller?", + "starting_points": [ + "docs/research/research-family-status.md", + "certificates/selected-result.json", + "research/r437-two-window-carrier/README.md", + "research/r437-reverse-row-coefficient/README.md" + ], + "methods": [ + "Close one compiler/request, caller or precision/stock implication for the pinned paid exchange.", + "Falsify that exact interface with an arbitrary-dirty-state or chronology counterexample." + ], + "acceptance_gate": "Pin the complete source and destination contracts, exact paid and scalar deltas, and all remaining assumptions. A local moment gain is not a physical or all-size supplier admission.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Read #4067 paid profile and open integration obligations; #4147 covers the reverse row coefficient. Three additional ADDs per call and all helpers remain charged. This is not a selected supplier.", + "scope": "Source-binding orientation only; no scientific replay, theorem acceptance or supplier admission. Budget any heavy replay separately." + }, + "first_experiment": "Choose one unclaimed obligation: pooled compiler codebook/request alignment, actual physical caller, or precision/stock envelope using the already reported reverse coefficient. Pin the input and receiver, preserve dirty/source windows, and test one binding with a rejection control. Stop at unresolved dependencies; do not rederive the coefficient or quote the local moment as a completed bound.", + "bottleneck_link": "The exchange changes the paid profile; integration must establish that its gain survives the complete caller.", + "allowed_variations": [ + "One compiler rebind, one actual caller boundary, or one precision/stock implication." + ], + "scope_change_triggers": [ + "Ignoring added ADDs, retaining an obsolete reverse coefficient, or declaring global admission from the local histogram." + ], + "overlap_terms": [ + "R437", + "two-window carrier", + "4067", + "4147", + "pooled compiler", + "request alignment", + "reverse row coefficient" + ], + "existing_checks": [ + { + "scope": "PR #4067: source-bound two-window carrier with (2,2) to (1,3) paid exchange and fixed OQ4 host.", + "evidence": "research/r437-two-window-carrier/README.md", + "remaining": "Pooled compiler/request rebind, physical caller and precision/stock admission.", + "status": "author-checked", + "source_commit": "a95f11c52e3ca1e4c5171b3c20d8f4b0815aee2e", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4147: reverse row coefficient follow-up.", + "evidence": "research/r437-reverse-row-coefficient/README.md", + "remaining": "Use the exact coefficient in a caller-bound precision/stock proof rather than repeat the arithmetic.", + "status": "author-checked", + "source_commit": "72e7bb797adf82aeb525a399f56ab8adbab8e93c", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + } + ] + }, + "scope_status": "refined", + "actual_scope": "Complete original admitted R437 fibre Count through suffix product using one owned encoded radix validation", + "scope_change_reason": "Close the explicit measured exponent-segment boundary in PR4987 without changing Count multiplication semantics", + "bottleneck_link": "Complete one actual R437 numerical consumer before payload and global caller admission", + "budget_minutes": 60, + "stop_rule": "Stop at the completed saved Count before peel; no full Context or payload claim", + "outcome": "completed", + "evidence": "PROOF.md and RESULT.json; exact root execution and rejection controls", + "author": "JoyboyBrian", + "ai_assistance": "Substantial OpenAI Codex assistance; parallel research and independent proof/code review; no independent human acceptance", + "open_questions": [ + { + "question": "Bind the completed Count boundary to the complete directory and payload consumers", + "why_it_matters": "The local Count/linear query interface alone cannot admit the recursive supplier", + "first_step": "Retain the actual admitted root and execute one source-bound consumer with complete restoration", + "blocked_by": "Full Context, physical tapes and payload costs" + } + ], + "overlap": { + "open_prs": 310, + "discussions": 4096, + "local_notes": 6690, + "complete_pagination": true, + "limits": "Arbitrary diffs, unindexed prose and unpublished work may overlap." + } +} diff --git a/research/r437-admitted-count-power/VERIFY.json b/research/r437-admitted-count-power/VERIFY.json new file mode 100644 index 0000000000..4ce588509a --- /dev/null +++ b/research/r437-admitted-count-power/VERIFY.json @@ -0,0 +1,439 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [ + "research/bit-p111-r437-gl464-470-20261018/code/invoice_audit.py", + "research/bit-p111-r437-gl464-470-20261018/data/GEOMETRY.json", + "research/bit-p111-r437-gl464-470-20261018/vendor/assemble9.py", + "research/community-hyperplane599-audit/pr589/bit589/v9/hosted/GLOBAL-TEMPLATE.json.gz", + "research/community-hyperplane599-audit/pr589/bit589/v9/nine/GEOMETRY.json", + "research/e8-bit-p111-tuned/tune/EXPECTED.json", + "research/e8-bit-p111-tuned/tune/bitE8mut-p111-tuned.json.gz", + "research/encoded-child-spectators/CERTIFICATE.json", + "research/encoded-child-spectators/CONTEXT.json", + "research/encoded-child-spectators/PROOF.md", + "research/encoded-child-spectators/README.md", + "research/encoded-child-spectators/SOURCES.json", + "research/encoded-child-spectators/TASK.json", + "research/encoded-child-spectators/TIMINGS.json", + "research/encoded-child-spectators/VERIFICATION.md", + "research/encoded-child-spectators/VERIFY.json", + "research/encoded-child-spectators/bench.py", + "research/encoded-child-spectators/cases.py", + "research/encoded-child-spectators/controls.py", + "research/encoded-child-spectators/independent.py", + "research/encoded-child-spectators/powers.py", + "research/encoded-child-spectators/runtime.py", + "research/encoded-child-spectators/tariff.py", + "research/encoded-child-spectators/verify.py", + "research/physical-compiler-correspondence/README.md", + "research/physical-compiler-correspondence/owners.py", + "research/pr589-five-helper-hosting/PROOF.md", + "research/pr589-five-helper-hosting/verify.py", + "research/r437-admitted-count-consumer/README.md", + "research/r437-admitted-count-consumer/RESULT.json", + "research/r437-admitted-count-consumer/SOURCES.json", + "research/r437-admitted-count-consumer/bridge.py", + "research/r437-admitted-count-consumer/verify.py", + "research/r437-batched-high-quotient/adapter.py", + "research/r437-carrier-integration/admission.py", + "research/r437-carrier-integration/compiler.py", + "research/r437-carrier-integration/numerical.py", + "research/r437-carrier-integration/physical.py", + "research/r437-oq4-caller-binding/RANK26-COST.md", + "research/r437-pooled-native-interface/.gitattributes", + "research/r437-pooled-native-interface/PROOF.md", + "research/r437-pooled-native-interface/README.md", + "research/r437-pooled-native-interface/RESULT.json", + "research/r437-pooled-native-interface/SOURCES.json", + "research/r437-pooled-native-interface/TASK.json", + "research/r437-pooled-native-interface/VALIDATION.md", + "research/r437-pooled-native-interface/VERIFY.json", + "research/r437-pooled-native-interface/adapter.py", + "research/r437-pooled-native-interface/check_interface.py", + "research/r437-pooled-native-interface/check_transport.py", + "research/r437-pooled-native-interface/inputs/EXPECTED.json", + "research/r437-pooled-native-interface/inputs/catalogue.py", + "research/r437-pooled-native-interface/inputs/geometry.json.gz", + "research/r437-pooled-native-interface/inputs/moves.json", + "research/r437-pooled-native-interface/inputs/template.json.gz", + "research/r437-pooled-native-interface/inputs/word.json.gz", + "research/r437-pooled-native-interface/pooled_compiler.py", + "research/r437-pooled-native-interface/replica_catalogue.py", + "research/r437-pooled-native-interface/verify.py", + "research/r437-preparation-composition/.gitattributes", + "research/r437-preparation-composition/POOLED-SOURCES.json", + "research/r437-preparation-composition/PREDECESSORS.json", + "research/r437-preparation-composition/PROOF.md", + "research/r437-preparation-composition/README.md", + "research/r437-preparation-composition/RESULT.json", + "research/r437-preparation-composition/REVIEW.md", + "research/r437-preparation-composition/SOURCES.json", + "research/r437-preparation-composition/TASK.json", + "research/r437-preparation-composition/VALIDATION.json", + "research/r437-preparation-composition/VERIFY.json", + "research/r437-preparation-composition/forward_fields.py", + "research/r437-preparation-composition/independent.py", + "research/r437-preparation-composition/predecessor4025/source/CALLER.py", + "research/r437-preparation-composition/predecessor4025/source/NOTICE.md", + "research/r437-preparation-composition/predecessor4025/source/cardinality.py", + "research/r437-preparation-composition/predecessor4025/source/counts.py", + "research/r437-preparation-composition/predecessor4025/source/directory.py", + "research/r437-preparation-composition/predecessor4025/source/records.py", + "research/r437-preparation-composition/predecessor4025/source/stream.py", + "research/r437-preparation-composition/predecessor4025/source/words.py", + "research/r437-preparation-composition/predecessor4025/verify.py", + "research/r437-preparation-composition/test_verify.py", + "research/r437-preparation-composition/vendor/certificates/selected-result.json", + "research/r437-preparation-composition/vendor/research/community-hyperplane599-audit/pr589/bit589/v9/hosted/GLOBAL-TEMPLATE.json.gz", + "research/r437-preparation-composition/vendor/research/community-hyperplane599-audit/pr589/bit589/v9/nine/GEOMETRY.json", + "research/r437-preparation-composition/vendor/research/e8-bit-p111-tuned/tune/EXPECTED.json", + "research/r437-preparation-composition/vendor/research/e8-bit-p111-tuned/tune/bitE8mut-p111-tuned.json.gz", + "research/r437-preparation-composition/vendor/research/physical-compiler-correspondence/README.md", + "research/r437-preparation-composition/vendor/research/physical-compiler-correspondence/owners.py", + "research/r437-preparation-composition/vendor/research/pr589-five-helper-hosting/PROOF.md", + "research/r437-preparation-composition/vendor/research/pr589-five-helper-hosting/verify.py", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/.gitattributes", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/PROOF.md", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/README.md", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/RESULT.json", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/SOURCES.json", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/TASK.json", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/VALIDATION.md", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/VERIFY.json", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/adapter.py", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/check_interface.py", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/check_transport.py", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/EXPECTED.json", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/catalogue.py", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/geometry.json.gz", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/moves.json", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/template.json.gz", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/word.json.gz", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/pooled_compiler.py", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/replica_catalogue.py", + "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/verify.py", + "research/r437-preparation-composition/vendor/research/recursive-parking-boundary/README.md", + "research/r437-preparation-composition/vendor/research/selected-bit-local-ring-sweeps/PROOF.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/PROOF.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/README.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/RESULT.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/SNAPSHOTS.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/SOURCES.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/TASK.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/VALIDATION.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/VERIFY.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/continuation_checks.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/frame_checks.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/EVIDENCE.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/PREDECESSOR.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/PROOF.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/README.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/RESULT.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/SOURCES.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/TASK.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/VALIDATION.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/VERIFY.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/bootstrap.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_layout.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_nested_model.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_recursion.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_runtime.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_sign.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_sources.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/consumer.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/control_checks.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/driver.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/NOTICE.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2688-NOTICE.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2688-PROOF.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2708-README.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2731-README.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/layout.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/linear_sign.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/node.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/packet_engine.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/peel.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/NOTICE.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/PROOF.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/README.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/RESULT.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/SOURCES.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/TASK.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/VERIFY.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/cardinal_counts.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/catalogue.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_headers.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_layout.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_runtime.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_sources.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/consumer.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/control.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/control_checks.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/driver.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/fresh_rows.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/layout.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/model.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/node.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/packet_engine.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/peel.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/topology.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/binding.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/bitstream.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/cardinality.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/check_support.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/children.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/controller.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/counts.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/directory.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/episode.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/forms.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/low_codes.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/matrices.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/numeric.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/oracle.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/packet.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/plan.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/records.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/residual.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/routes.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/selection.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/sources.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/stream.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/stream_runner.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/trace.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/words.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/verify.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/recursive_call.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/scheduler.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/stream_runner.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/trace.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/verify.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/NOTICE.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/PROOF.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/README.md", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/RESULT.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/SOURCES.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/TASK.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/VERIFY.json", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/checks.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/codec.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/vendor/parking_machine.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/vendor/pr2753_recursive_call.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/vendor/words.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/verify.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/loader.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_binding.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_checks.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_code.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_controls.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_local_checks.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_machine.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_selected_checks.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/nested_bank_checks.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/numerical_frame.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/residual_blocks.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/role_parking.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/scratch_pool.py", + "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/verify.py", + "research/r437-preparation-composition/vendor/research/selected-bit-recursive-closure/PROOF.md", + "research/r437-preparation-composition/vendor/upstream/build/sections/02-streams.tex", + "research/r437-preparation-composition/verify.py", + "research/r437-reverse-row-coefficient/README.md", + "research/r437-reverse-row-coefficient/SOURCES.json", + "research/r437-reverse-row-coefficient/TASK.json", + "research/r437-reverse-row-coefficient/VERIFY.json", + "research/r437-reverse-row-coefficient/independent.py", + "research/r437-reverse-row-coefficient/inputs/CANDIDATE-PHASES.json.gz", + "research/r437-reverse-row-coefficient/inputs/R437-COMPOSED-WORD.json.gz", + "research/r437-reverse-row-coefficient/test_verify.py", + "research/r437-reverse-row-coefficient/verify.py", + "research/r437-sharp-stock-entry/retained/ordinal.py", + "research/r437-two-window-carrier/CANDIDATE-TEMPLATE.json", + "research/r437-two-window-carrier/CANDIDATE.json", + "research/r437-two-window-carrier/HOST-RESULT.json", + "research/r437-two-window-carrier/LOSING-CONTROL-RESULT.json", + "research/r437-two-window-carrier/LOSING-CONTROL.json", + "research/r437-two-window-carrier/README.md", + "research/r437-two-window-carrier/RESULT.json", + "research/r437-two-window-carrier/RETAINED.json", + "research/r437-two-window-carrier/SOURCES.json", + "research/r437-two-window-carrier/TASK.json", + "research/r437-two-window-carrier/VERIFY.json", + "research/r437-two-window-carrier/candidate-template-chunks/part-000.bin", + "research/r437-two-window-carrier/candidate-template-chunks/part-001.bin", + "research/r437-two-window-carrier/candidate-template-chunks/part-002.bin", + "research/r437-two-window-carrier/candidate-template-chunks/part-003.bin", + "research/r437-two-window-carrier/candidate-template-chunks/part-004.bin", + "research/r437-two-window-carrier/candidate-template-chunks/part-005.bin", + "research/r437-two-window-carrier/candidate-template-chunks/part-006.bin", + "research/r437-two-window-carrier/candidate-template-chunks/part-007.bin", + "research/r437-two-window-carrier/candidate-template-chunks/part-008.bin", + "research/r437-two-window-carrier/candidate-template-chunks/part-009.bin", + "research/r437-two-window-carrier/candidate-template-chunks/part-010.bin", + "research/r437-two-window-carrier/candidate-template-chunks/part-011.bin", + "research/r437-two-window-carrier/candidate-template-chunks/part-012.bin", + "research/r437-two-window-carrier/candidate-template-chunks/part-013.bin", + "research/r437-two-window-carrier/candidate-template-chunks/part-014.bin", + "research/r437-two-window-carrier/candidate-template-chunks/part-015.bin", + "research/r437-two-window-carrier/candidate-template-chunks/part-016.bin", + "research/r437-two-window-carrier/host.py", + "research/r437-two-window-carrier/inputs/LICENSE", + "research/r437-two-window-carrier/inputs/OQ4-EXPECTED.json", + "research/r437-two-window-carrier/inputs/OQ4-TEMPLATE.json.gz", + "research/r437-two-window-carrier/inputs/R437-COMPOSED-WORD.json.gz", + "research/r437-two-window-carrier/inputs/UPSTREAM-NOTICE.md", + "research/r437-two-window-carrier/test_package.py", + "research/r437-two-window-carrier/verify.py", + "research/recursive-parking-boundary/README.md", + "research/selected-bit-local-ring-sweeps/PROOF.md", + "research/selected-bit-physical-caller/PROOF.md", + "research/selected-bit-physical-caller/README.md", + "research/selected-bit-physical-caller/RESULT.json", + "research/selected-bit-physical-caller/SNAPSHOTS.json", + "research/selected-bit-physical-caller/SOURCES.json", + "research/selected-bit-physical-caller/TASK.json", + "research/selected-bit-physical-caller/VALIDATION.md", + "research/selected-bit-physical-caller/VERIFY.json", + "research/selected-bit-physical-caller/continuation_checks.py", + "research/selected-bit-physical-caller/frame_checks.py", + "research/selected-bit-physical-caller/inputs/pr2753/EVIDENCE.json", + "research/selected-bit-physical-caller/inputs/pr2753/PREDECESSOR.json", + "research/selected-bit-physical-caller/inputs/pr2753/PROOF.md", + "research/selected-bit-physical-caller/inputs/pr2753/README.md", + "research/selected-bit-physical-caller/inputs/pr2753/RESULT.json", + "research/selected-bit-physical-caller/inputs/pr2753/SOURCES.json", + "research/selected-bit-physical-caller/inputs/pr2753/TASK.json", + "research/selected-bit-physical-caller/inputs/pr2753/VALIDATION.md", + "research/selected-bit-physical-caller/inputs/pr2753/VERIFY.json", + "research/selected-bit-physical-caller/inputs/pr2753/bootstrap.py", + "research/selected-bit-physical-caller/inputs/pr2753/check_layout.py", + "research/selected-bit-physical-caller/inputs/pr2753/check_nested_model.py", + "research/selected-bit-physical-caller/inputs/pr2753/check_recursion.py", + "research/selected-bit-physical-caller/inputs/pr2753/check_runtime.py", + "research/selected-bit-physical-caller/inputs/pr2753/check_sign.py", + "research/selected-bit-physical-caller/inputs/pr2753/check_sources.py", + "research/selected-bit-physical-caller/inputs/pr2753/consumer.py", + "research/selected-bit-physical-caller/inputs/pr2753/control_checks.py", + "research/selected-bit-physical-caller/inputs/pr2753/driver.py", + "research/selected-bit-physical-caller/inputs/pr2753/evidence/NOTICE.md", + "research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2688-NOTICE.md", + "research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2688-PROOF.md", + "research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2708-README.md", + "research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2731-README.md", + "research/selected-bit-physical-caller/inputs/pr2753/layout.py", + "research/selected-bit-physical-caller/inputs/pr2753/linear_sign.py", + "research/selected-bit-physical-caller/inputs/pr2753/node.py", + "research/selected-bit-physical-caller/inputs/pr2753/packet_engine.py", + "research/selected-bit-physical-caller/inputs/pr2753/peel.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/NOTICE.md", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/PROOF.md", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/README.md", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/RESULT.json", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/SOURCES.json", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/TASK.json", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/VERIFY.json", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/cardinal_counts.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/catalogue.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_headers.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_layout.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_runtime.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_sources.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/consumer.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/control.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/control_checks.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/driver.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/fresh_rows.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/layout.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/model.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/node.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/packet_engine.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/peel.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/topology.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/binding.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/bitstream.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/cardinality.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/check_support.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/children.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/controller.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/counts.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/directory.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/episode.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/forms.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/low_codes.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/matrices.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/numeric.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/oracle.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/packet.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/plan.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/records.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/residual.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/routes.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/selection.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/sources.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/stream.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/stream_runner.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/trace.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/words.py", + "research/selected-bit-physical-caller/inputs/pr2753/predecessor/verify.py", + "research/selected-bit-physical-caller/inputs/pr2753/recursive_call.py", + "research/selected-bit-physical-caller/inputs/pr2753/scheduler.py", + "research/selected-bit-physical-caller/inputs/pr2753/stream_runner.py", + "research/selected-bit-physical-caller/inputs/pr2753/trace.py", + "research/selected-bit-physical-caller/inputs/pr2753/verify.py", + "research/selected-bit-physical-caller/inputs/pr2769/NOTICE.md", + "research/selected-bit-physical-caller/inputs/pr2769/PROOF.md", + "research/selected-bit-physical-caller/inputs/pr2769/README.md", + "research/selected-bit-physical-caller/inputs/pr2769/RESULT.json", + "research/selected-bit-physical-caller/inputs/pr2769/SOURCES.json", + "research/selected-bit-physical-caller/inputs/pr2769/TASK.json", + "research/selected-bit-physical-caller/inputs/pr2769/VERIFY.json", + "research/selected-bit-physical-caller/inputs/pr2769/checks.py", + "research/selected-bit-physical-caller/inputs/pr2769/codec.py", + "research/selected-bit-physical-caller/inputs/pr2769/vendor/parking_machine.py", + "research/selected-bit-physical-caller/inputs/pr2769/vendor/pr2753_recursive_call.py", + "research/selected-bit-physical-caller/inputs/pr2769/vendor/words.py", + "research/selected-bit-physical-caller/inputs/pr2769/verify.py", + "research/selected-bit-physical-caller/loader.py", + "research/selected-bit-physical-caller/macro_binding.py", + "research/selected-bit-physical-caller/macro_checks.py", + "research/selected-bit-physical-caller/macro_code.py", + "research/selected-bit-physical-caller/macro_controls.py", + "research/selected-bit-physical-caller/macro_local_checks.py", + "research/selected-bit-physical-caller/macro_machine.py", + "research/selected-bit-physical-caller/macro_selected_checks.py", + "research/selected-bit-physical-caller/nested_bank_checks.py", + "research/selected-bit-physical-caller/numerical_frame.py", + "research/selected-bit-physical-caller/residual_blocks.py", + "research/selected-bit-physical-caller/role_parking.py", + "research/selected-bit-physical-caller/scratch_pool.py", + "research/selected-bit-physical-caller/verify.py", + "research/selected-bit-recursive-closure/PROOF.md", + "upstream/build/sections/02-streams.tex" + ], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 120, + "checks": "Original admitted q127 NODE through completed binary Count, exact independent endpoint, root rejection, owned backing and borrowed-state checks" + }, + { + "argv": [ + "{python}", + "-I", + "-O", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 120, + "checks": "Same full admitted Count boundary under optimization" + } + ] +} diff --git a/research/r437-admitted-count-power/adapter.py b/research/r437-admitted-count-power/adapter.py new file mode 100644 index 0000000000..9653b03852 --- /dev/null +++ b/research/r437-admitted-count-power/adapter.py @@ -0,0 +1,42 @@ +"""Reuse the immutable radix validation; retain every original Count multiplier. + +JoyboyBrian with substantial OpenAI Codex assistance. Apache-2.0. +Original cardinality/Counter/Tape semantics retain predecessor attribution. +""" + +def install(records, stream, words): + def multiply_atom_power(value, exponent, ring, q): + cache, count = records.Tape(), None + try: + arena=ring.arena + divisor,power=arena.literal(q),arena.copy(ring.modulus) + try: + while ring.raw.compare(power,ring.one)>0: + quotient,remainder=ring.raw.divmod(power,divisor) + try: + words.need(remainder.zero() and not quotient.zero(), + 'cardinality prime-power context') + except BaseException: + arena.free_many(quotient,remainder) + raise + arena.free_many(power,remainder) + power=quotient + cache.append(words.ONE) + words.need(ring.raw.compare(power,ring.one)==0,'complete radix exponent') + finally: + arena.free_many(divisor,power) + cache.append(words.RIGHT) + cache.rewind() + count = stream.Counter(exponent) + while not count.finished: + while cache.read() != words.RIGHT: + words.need(cache.read() == words.ONE, 'cached radix marker') + value.multiply_small(q) + cache.step(1) + cache.rewind() + count.decrement() + finally: + if count is not None: + count.close() + cache.clear() + return multiply_atom_power diff --git a/research/r437-admitted-count-power/bridge.py b/research/r437-admitted-count-power/bridge.py new file mode 100644 index 0000000000..927dec1d3a --- /dev/null +++ b/research/r437-admitted-count-power/bridge.py @@ -0,0 +1,25 @@ +"""Literal original NODE through saved fibre, before first payload peel. + +Adapted from JoyboyBrian PR4987; original Machine belongs to credited callers. +Apache-2.0; substantial OpenAI Codex assistance. +""" +import ast, copy, hashlib +from pathlib import Path +from types import SimpleNamespace + +def compile_node_prefix(module, quotient, atom_power): + tree=ast.parse(Path(module.__file__).read_text()) + cls=next(n for n in tree.body if isinstance(n,ast.ClassDef) and n.name=='Machine') + node=next(n for n in cls.body if isinstance(n,ast.FunctionDef) and n.name=='node') + stop=next(i for i,n in enumerate(node.body) if isinstance(n,ast.Assign) and + isinstance(n.targets[0],ast.Name) and n.targets[0].id=='peeled') + kept=copy.deepcopy(node);kept.name='bound_node_prefix';kept.body=kept.body[:stop] + original_ast=ast.dump(ast.Module(body=kept.body,type_ignores=[])) + namespace=dict(vars(module));namespace['fresh_rows']=SimpleNamespace(quotient=quotient) + namespace['multiply_atom_power']=atom_power + exec(compile(ast.fix_missing_locations(ast.Module(body=[kept],type_ignores=[])), + '','exec'),namespace) + return namespace['bound_node_prefix'],dict(statements=stop, + ast_sha256=hashlib.sha256(original_ast.encode()).hexdigest(), + boundary='literal NODE through save_count(complete, fibre); before peel', + adapter_return=False) diff --git a/research/r437-admitted-count-power/controls.py b/research/r437-admitted-count-power/controls.py new file mode 100644 index 0000000000..3df93ca5e2 --- /dev/null +++ b/research/r437-admitted-count-power/controls.py @@ -0,0 +1,66 @@ +"""Actual original/cached arithmetic comparisons and ownership failure controls. + +JoyboyBrian; substantial OpenAI Codex assistance; Apache-2.0. +""" +from types import MethodType + +def run(cached,cardinality,records,words,Count): + def need(ok,message): + if not ok:raise ValueError(message) + def observe(value): + body=value.tape.cells[1:];stop=body.index(words.RIGHT) + return sum(bit< Date: Thu, 22 Oct 2026 23:33:35 -0700 Subject: [PATCH 2/2] Bind actual radix counts, borrowed words and partial-failure cleanup --- research/r437-admitted-count-power/PROOF.md | 11 ++++++--- research/r437-admitted-count-power/README.md | 13 ++++++---- .../r437-admitted-count-power/RESULT.json | 9 ++++++- .../r437-admitted-count-power/controls.py | 19 +++++++++++++-- research/r437-admitted-count-power/verify.py | 24 ++++++++++++++++--- 5 files changed, 63 insertions(+), 13 deletions(-) diff --git a/research/r437-admitted-count-power/PROOF.md b/research/r437-admitted-count-power/PROOF.md index 06b6ca7039..d8c9f2727c 100644 --- a/research/r437-admitted-count-power/PROOF.md +++ b/research/r437-admitted-count-power/PROOF.md @@ -8,13 +8,16 @@ stock/compiler mechanisms retain the credit in README.md and predecessor notices Inputs are a valid immutable source Ring with modulus q^w, compiled integer q>=2 and w>=1, an encoded nonnegative exponent Word E, and an owned canonical -Count V. The Ring/modulus/exponent and all unrelated dirty state are borrowed. +Count V. Borrowed words enter at the original caller's agreed canonical heads. +The Ring/modulus/exponent and all unrelated dirty state are borrowed. Count.multiply_small(q), source Counter and Word division are the actual original primitives; the radix loop retains its original arithmetic and guards with corrected opt-in cleanup on a rejected intermediate quotient. Runtime Word.inspect or decoding of E,w,V is forbidden. The required endpoint is V_out=V_in*q^(w E), with borrowed bytes/heads restored and all owned cache/Counter/numerical backing erased. This is a positive valid- -context contract. It does not roll back partial output Count writes if the +context contract. Initial Tape/Counter/Word construction and the underlying +primitive-owned allocation contracts must succeed; resource exhaustion and +primitive internal allocation failures are not a general rollback guarantee. It does not roll back partial output Count writes if the original Count primitive itself fails. The original multiply_atom_power traverses radix_power(ring,q) for every one @@ -70,7 +73,9 @@ claimed as proof that the full constructor/caller has run. For the unchanged q=2^127-1 root e=n=64,w=2,h=0, original precision is L255/I8/Q520213. Unused and leading Counts are 9475, gap=suffix=1. The original -completed saved Count is exactly 9475*(q^2)^128, of bit length 32526. All 256 +completed saved Count is exactly 9475*(q^2)^128, of bit length 32526. A read-only observer wrapping the actual call records one invocation, two +Word divisions and all 256 Count multipliers; these counters never control the +algorithm and the wrapped methods are restored in finally. All 256 Count multipliers remain paid. Two actual original Word divisions validate the radix once instead of 256 original divisions. The adapter saves the completed Count on the original fibre role before the first payload operation. The diff --git a/research/r437-admitted-count-power/README.md b/research/r437-admitted-count-power/README.md index cb020abe38..6594bd5cb8 100644 --- a/research/r437-admitted-count-power/README.md +++ b/research/r437-admitted-count-power/README.md @@ -12,25 +12,30 @@ Its full exponent diagnostic was interrupted after 90.505 seconds. This package answers its first open next question with an actual completed Count output, rather than replacing q127 by a tiny fixture. The first full completed run took 56.104 seconds on local Python 3.12.15; that observation is not a proved runtime -bound or a controlled baseline speedup. All frozen inputs remain unchanged. +bound or a controlled baseline speedup. All frozen inputs remain unchanged. A read-only actual-call observer checks +one adapter invocation, two Word divisions and 256 Count multipliers. ## Boundary and evidence The source AST is cut before the original assignment to peeled. The original ingress, quotient, stock guard, saved leading, initial fibre, exponent, suffix product and saved complete fibre run unchanged except the two named opt-in -adapters. Runtime Word.inspect is disabled. The exact output is +adapters. The radix validator retains source arithmetic/guards and additionally +releases quotient/remainder on a rejected prime-power guard; the frozen original +guard leaked those two newly allocated Words. Runtime Word.inspect is disabled. The exact output is 9475*(q^2)^128. Original root precision L255/I8/Q520213, source handle/key, Program and numerical admission checks remain bound to the actual root. Borrowed bytes/heads, dirty Count173/Word37, numerical live sets and erased owned backing are checked before fixture disposal. Separate small-domain comparisons retain the exact original multiplier word, including zero exponent, -and reject invalid modulus and injected Count-failure leaks. Typed receipt and +and reject invalid modulus and injected partial Count-failure leaks. The original malformed +radix guard is separately confirmed to leak exactly two returned numerical Words. Typed receipt and source corruption must reject. Exact counts, AST identity, lane invoices and output hashes are in [RESULT.json](RESULT.json). -The context is a structural view bound to admitted metadata. Full codebook and +The context is a structural view bound to admitted metadata. Allocation exhaustion and arbitrary primitive-internal failure rollback are +outside the tested exception classes. Full codebook and Context construction, physical large-divisor arithmetic pricing, original peel, complete directory/gather and payload are unrun. Unknown costs are not zero. This does not admit a supplier, improve kappa, or change the selected result. diff --git a/research/r437-admitted-count-power/RESULT.json b/research/r437-admitted-count-power/RESULT.json index 649cf93497..a9490f326c 100644 --- a/research/r437-admitted-count-power/RESULT.json +++ b/research/r437-admitted-count-power/RESULT.json @@ -1,4 +1,9 @@ { + "actual_atom_calls": { + "calls": 1, + "count_multipliers": 256, + "word_divisions": 2 + }, "batch_constant": { "bits": 520192, "sha256": "750f89ba4ed2f9b59c25d497275b3f666ef874f5f06a8b555b4fb8c35b2082b5" @@ -105,13 +110,15 @@ "controls": [ "non-prime-power context rejected before Count writes", "non-prime-power context rejected before Count writes", - "Count exception releases owned cache and Counter" + "partial Count failure releases cache and Counter without output rollback", + "original malformed guard positive control leaks exactly two Words" ], "original_cached_pairs": 81, "unchanged_multiplier_words": 81 }, "encoded_result": { "borrowed_preserved": true, + "borrowed_ring_size_depth_words": 4, "full_construct_execute_dispose": { "index": { "moves": 3976, diff --git a/research/r437-admitted-count-power/controls.py b/research/r437-admitted-count-power/controls.py index 3df93ca5e2..27e92ad6a4 100644 --- a/research/r437-admitted-count-power/controls.py +++ b/research/r437-admitted-count-power/controls.py @@ -51,14 +51,29 @@ def multiply(self,constant):calls.append(constant);original(constant) ia,ra=words.Arena(8,64),words.Arena(5,128) power=ra.literal(9);ring=words.Ring(power);e=ia.literal(3);value=Count.literal(5) saved=[(v,bytes(v.cells),v.head)for v in(power,ring.one,e)] - def reject(self,constant):raise RuntimeError('injected Count failure') + original=value.multiply_small + failure=RuntimeError('injected Count failure after one completed write') + def reject(self,constant):original(constant);raise failure value.multiply_small=MethodType(reject,value) try:cached(value,e,ring,3) - except RuntimeError:controls.append('Count exception releases owned cache and Counter') + except RuntimeError as error: + need(error is failure and observe(value)==15,'partial Count output and original exception retained') + controls.append('partial Count failure releases cache and Counter without output rollback') else:raise ValueError('injected failure ignored') need(all((bytes(v.cells),v.head)==(raw,head)for v,raw,head in saved),'failure preserves borrowed operands') value.close();ia.free(e);ring.close();ra.free(power) need(not ia.live and not ra.live,'failure numerical cleanup') + ia,ra=words.Arena(8,64),words.Arena(4,128) + power=ra.literal(6);ring=words.Ring(power);e=ia.literal(1);value=Count.literal(5) + protected=set(ra.live) + try:cardinality.multiply_atom_power(value,e,ring,3) + except ValueError:pass + else:raise ValueError('original malformed context unexpectedly accepted') + need(len(ra.live-protected)==2,'original guard leaks returned quotient and remainder') + controls.append('original malformed guard positive control leaks exactly two Words') + ra.rollback(protected) # Observer-only teardown after the failed original call. + value.close();ia.free(e);ring.close();ra.free(power) + need(not ia.live and not ra.live,'positive-control fixture disposal') need(all(t.head==1 and all(x==words.BLANK for x in t.cells[1:])for t in tapes), 'all control Count/cache/Counter backing erased') finally:records.Tape.__init__=original_init diff --git a/research/r437-admitted-count-power/verify.py b/research/r437-admitted-count-power/verify.py index a0b7d6d671..49dfb2fdbe 100644 --- a/research/r437-admitted-count-power/verify.py +++ b/research/r437-admitted-count-power/verify.py @@ -55,7 +55,22 @@ def phase(name): adapter=module('r437_admitted_count_power_adapter',HERE/'adapter.py') atom_power=adapter.install(records,stream,words) checks=module('r437_count_power_controls',HERE/'controls.py').run(atom_power,cardinality,records,words,Count) - node_prefix,boundary=bridge.compile_node_prefix(macro_machine,quotient,atom_power) + atom_observation=dict(calls=0,word_divisions=0,count_multipliers=0) + def observed_atom_power(value,exponent,ring,q): + atom_observation['calls']+=1 + divide,multiply=ring.raw.divmod,value.multiply_small + def counted_divide(left,right): + atom_observation['word_divisions']+=1 + return divide(left,right) + def counted_multiply(constant): + atom_observation['count_multipliers']+=1 + return multiply(constant) + ring.raw.divmod=counted_divide;value.multiply_small=counted_multiply + try:return atom_power(value,exponent,ring,q) + finally: + del ring.raw.divmod + del value.multiply_small + node_prefix,boundary=bridge.compile_node_prefix(macro_machine,quotient,observed_atom_power) phase('certified source and actual NODE prefix bound') calls=[];controls=[] def check_entry(d=domain,h=handle,callback=lambda:None): @@ -94,6 +109,7 @@ def continuation(): for name in('tape','count','commit','save_count'):setattr(runtime,name,MethodType(getattr(macro_machine.Machine,name),runtime)) need(runtime.indices.bits==domain.I and runtime.arena.bits==domain.L and runtime.context.codes is cat.codes,'encoded widths/codebook match admitted root') borrowed=[(t,bytes(t.cells),t.head)for t in[roles[n]for n in('rows','before','gap','suffix','old_count','old_directory')]+[program.tape,dirty.tape]] + borrowed_words=[(v,bytes(v.cells),v.head)for v in(modulus,ring.one,runtime.size,runtime.depth)] dirty_saved=(bytes(dirty_word.cells),dirty_word.head);live=(set(ia.live),set(ra.live));existing=set(map(id,tapes)) phase('actual root Count encoded') before=dict(record=record_actions(),index=actions(ia.meter),residue=actions(ra.meter)) @@ -101,6 +117,7 @@ def continuation(): try:node_prefix(runtime) finally:words.Word.inspect=old_inspect phase('literal completed fibre and suffix product finished') + need(atom_observation==dict(calls=1,word_divisions=2,count_multipliers=256),'actual root radix and Count call observations') observed={name:value(runtime.count(name))for name in('unused','leading')} observed['complete_fibre']=value(runtime.count('fibre')) expected=9475*(q**domain.w)**(2*domain.n) @@ -109,6 +126,7 @@ def continuation(): need(live==(set(ia.live),set(ra.live)),'NODE prefix numerical ownership restored') need(all((bytes(t.cells),t.head)==(raw,head)for t,raw,head in borrowed),'borrowed root/Count metadata preserved') need((bytes(dirty_word.cells),dirty_word.head)==dirty_saved,'unrelated dirty residue word preserved') + need(all((bytes(v.cells),v.head)==(raw,head)for v,raw,head in borrowed_words),'actual borrowed Ring and size/depth words preserved') need(all(t.head==1 and all(c==words.BLANK for c in t.cells[1:])for t in tapes if id(t)not in existing),'temporary Count backing erased') after=dict(record=record_actions(),index=actions(ia.meter),residue=actions(ra.meter)) invoice={lane:{k:after[lane][k]-before[lane][k]for k in after[lane]}for lane in after} @@ -117,13 +135,13 @@ def continuation(): dirty.close();program.tape.clear();ia.free_many(runtime.size,runtime.depth);ra.free(dirty_word);ring.close();ra.free(modulus) need(not ia.live and not ra.live,'complete terminal numerical cleanup') need(all(t.head==1 and all(c==words.BLANK for c in t.cells[1:])for t in tapes),'all record backing blank after owned/fixture disposal') - return dict(outputs=returned,node_invoice=invoice,full_construct_execute_dispose=dict(record=record_actions(),index=actions(ia.meter),residue=actions(ra.meter)),visited_record_cells=sum(len(t.cells)for t in tapes),borrowed_preserved=True,numerical_restored=True,record_backing_erased=True) + return dict(outputs=returned,node_invoice=invoice,full_construct_execute_dispose=dict(record=record_actions(),index=actions(ia.meter),residue=actions(ra.meter)),visited_record_cells=sum(len(t.cells)for t in tapes),borrowed_preserved=True,borrowed_ring_size_depth_words=4,numerical_restored=True,record_backing_erased=True) result,entry=check_entry(callback=continuation);need(calls==['actual encoded continuation'],'one actual admitted continuation') records.Tape.__init__=old_init phase('complete disposal') return dict(status='PASS_R437_ADMITTED_COUNT_POWER',live_inputs=inputs,root_entry=entry,node_boundary=boundary, input_rows=integer(rows),batch_constant=integer(constant),construction=quotient.construction, - encoded_result=result,controls=controls,differential=checks,full_directory_context_constructed=False,production_payload_executed=False, + encoded_result=result,controls=controls,differential=checks,actual_atom_calls=atom_observation,full_directory_context_constructed=False,production_payload_executed=False, completed_expansion=dict(original_word_divisions=2*domain.n*domain.w,cached_word_divisions=domain.w,count_multiply_small=2*domain.n*domain.w,final_fibre_bits=(9475*(q**domain.w)**(2*domain.n)).bit_length()), scope='Original admitted root through completed fibre and suffix Count product before peel; full Context, physical big-int tariff and payload remain open.')