From d1f1e1a4cbc542266e408d3106c16ee8d654f347 Mon Sep 17 00:00:00 2001 From: JoyboyBrian <122925040+JoyboyBrian@users.noreply.github.com> Date: Thu, 22 Oct 2026 21:55:15 -0700 Subject: [PATCH 1/4] research: define uniform R437 prefix-consumer fusion interface --- research/r437-prefix-consumer-fusion/PROOF.md | 63 +++++++++++++ .../r437-prefix-consumer-fusion/adapter.py | 94 +++++++++++++++++++ 2 files changed, 157 insertions(+) create mode 100644 research/r437-prefix-consumer-fusion/PROOF.md create mode 100644 research/r437-prefix-consumer-fusion/adapter.py diff --git a/research/r437-prefix-consumer-fusion/PROOF.md b/research/r437-prefix-consumer-fusion/PROOF.md new file mode 100644 index 0000000000..9ed15e5382 --- /dev/null +++ b/research/r437-prefix-consumer-fusion/PROOF.md @@ -0,0 +1,63 @@ +# Uniform complete-prefix leaf/consumer composition + +Fix q,w, a valid encoded Layout with finite fibre length v, a complete original +directory with p=C*H prefixes, and source/target Boolean packets of p*v bits. +The source directory producer supplies canonical complete prefixes in the same +order as those packets. All borrowed heads enter at 1. Inputs occupy distinct +roles. The unchanged trace factory yields the same closed finite leaf sequence +for every prefix. Its coefficients depend only on that prefix, the same Program +and encoded context, and return owned words while restoring borrowed state. +These are source-level hypotheses, not consequences of finite samples. + +For primitive t and prefix i, let T_t,i be its local payload map. In the pinned +packet_engine.run, every primitive reads exactly one prefix and v bits, invokes +`action` on that local tape, then appends exactly v output bits. It reads no +other prefix payload. The callback uses that complete prefix; controller's +restored Program/Fields reads and owned numerical work establish the stated +no-cross-prefix-effect contract on successful valid inputs. trace.leaf reads +geometry only and retains chronological ADD/swap/sign order within each prefix. +Thus the original primitive-major schedule is the direct product of maps +T_t,i. Operations on different prefix payloads commute, even when their +coefficients are correlated through a shared borrowed Program: their read-only +dependency is shared, but neither updates it. Reorder only across i, never +across t within i. This proves that prefix-major execution produces the same +p complete local returns for every Boolean source packet and every such context. + +The literal episode.xor_packet independently loops old_count, context.highs, +then v bits, emitting return XOR dirty_target. It changes neither operand and +restores heads. It is therefore the product of local pointwise XOR consumers. +Applying each local consumer immediately after its complete local leaf return +commutes with all other prefix computations. The new adapter's encoded product +check establishes p=C*H; complete-source/target/directory consumption checks +exclude silently omitted or extra prefixes. It does not infer canonical +producer contents merely from equal counts. The complete directory remains an +input; no directory serialization or reserve-absorption result is claimed. + +After each prefix, clear its owned return and all local copies, then continue. +Only the final consumer output grows to p*v bits. No intermediate whole-child +returned packet is created. At most one v-bit child return reaches the consumer +at a time. Local primitive workspace, source/target copies, accumulated output, +complete borrowed directory, Program, metadata and callbacks remain paid. +Repeated per-prefix trace setup is extra work, not free; output serialization +and every visited/erased backing cell remain part of the invoice. Logical +liveness does not establish a fixed-tape allocation/reuse or physical-space +improvement. The claim is functional composition and a changed lifetime +boundary, not uniform runtime savings, supplier admission or a new kappa. + +For the full high cube, take H=(q^(w-1))^(m*m) and the complete output of the +unchanged directory.produce. Its enumeration order and repeated old prefixes +are inherited. The same proof applies for every finite H without a sampled +high-fiber argument. The actual R437 corroboration uses the two q3,w2 prefixes +of #4793; it does not physically enumerate H=3^4096 or prove root reachability. +#4927's directory/metadata absorption audit and #4854's quotient are separate. + +The adapter adds exception-safe local raw-prefix parsing and bit-copy counters; +these front-end structural failures restore its owned state and borrowed heads. +The uniform positive theorem assumes valid callback/primitive contracts. It +is not a repair of every malformed-input cleanup path in frozen inner modules. +General arbitrary callback failure inside an inherited primitive remains open. + +Credit: Jose Manuel / David Arias's retained packet/callback/consumer sources; +Chris R / Clear1nsight #4176; #4793 nonzero-high finite payload; original compiler, +word arithmetic and source lineage retained in SOURCES.json. New adapter/proof: +JoyboyBrian, substantial OpenAI Codex assistance, Apache-2.0. diff --git a/research/r437-prefix-consumer-fusion/adapter.py b/research/r437-prefix-consumer-fusion/adapter.py new file mode 100644 index 0000000000..6be0e87fdb --- /dev/null +++ b/research/r437-prefix-consumer-fusion/adapter.py @@ -0,0 +1,94 @@ +"""Prefix-major leaf/XOR fusion on encoded complete-prefix domains. + +JoyboyBrian; substantial OpenAI Codex assistance; Apache-2.0. +Uses Jose Manuel / David Arias's packet interpreter and consumer unchanged. +""" +from types import SimpleNamespace +from cardinal_counts import Count, positive +from records import Tape, RECORD_END +from stream import Counter +from words import BLANK, ZERO, ONE, need +import packet_engine, episode + + +def read_prefix_owned(source, field_count): + """The source raw-prefix loop, with explicit owned cleanup on truncation.""" + output, remaining = Tape(), Counter(field_count) + try: + while not remaining.finished: + while source.read() != RECORD_END: + symbol = source.read() + need(symbol != BLANK, 'complete fused raw prefix') + output.append(symbol); source.step(1) + output.append(RECORD_END); source.step(1); remaining.decrement() + output.rewind() + return output + except ValueError: + output.clear() + raise + finally: + remaining.close() + + +def copy_exact(source, target, count): + """Encoded bit copy; the local counter is owned even on short input.""" + remaining = Counter(count) + try: + while not remaining.finished: + bit = source.read() + need(bit in (ZERO, ONE), 'complete fused Boolean fibre') + target.append(bit); source.step(1); remaining.decrement() + finally: + remaining.close() + + +def run(source, target, events, layout, prefix_directory, prefix_count, + field_count, coefficient, context, old_count, observe=None): + """Return owned XOR result, preserving canonical borrowed entry heads. + + events() yields the same closed leaf trace every time. Coefficients are + deterministic in the current complete prefix and restore borrowed state. + The supplied directory is the original complete producer's output. + """ + need(len({id(source), id(target), id(prefix_directory)}) == 3, + 'distinct fused borrowed roles') + positive(prefix_count); positive(old_count); positive(context.highs) + expected = Count.product(old_count, context.highs) + try: + need(prefix_count.equals(expected), 'complete fused prefix product') + finally: + expected.close() + fibre, single, output = layout.fibre(), Count.literal(1), Tape() + remaining = Counter(prefix_count) + source.rewind(); target.rewind(); prefix_directory.rewind() + try: + while not remaining.finished: + fields, left, right, returned, consumed = None, Tape(), Tape(), None, None + try: + fields = read_prefix_owned(prefix_directory, field_count) + copy_exact(source, left, fibre); copy_exact(target, right, fibre) + left.rewind(); right.rewind() + returned = packet_engine.run(left, events(), layout, fields, single, + field_count, coefficient) + need(returned is not left, 'owned completed fused child') + if observe is not None: observe(returned) + consumed = episode.xor_packet(returned, right, + SimpleNamespace(highs=single), single, fibre) + copy_exact(consumed, output, fibre) + need(consumed.read() == BLANK, 'complete fused local consumer') + finally: + if consumed is not None: consumed.clear() + if returned is not None and returned is not left: returned.clear() + left.clear(); right.clear() + if fields is not None: fields.clear() + remaining.decrement() + need(source.read() == target.read() == prefix_directory.read() == BLANK, + 'complete fused input packet and directory') + output.rewind() + return output + except ValueError: + output.clear() + raise + finally: + remaining.close(); single.close(); fibre.close() + source.rewind(); target.rewind(); prefix_directory.rewind() From 68943a392880d37ad8f90fb630b212e33f4b288d Mon Sep 17 00:00:00 2001 From: JoyboyBrian <122925040+JoyboyBrian@users.noreply.github.com> Date: Thu, 22 Oct 2026 22:04:32 -0700 Subject: [PATCH 2/4] research: add actual eager-fused R437 differential and rejection checks --- .../r437-prefix-consumer-fusion/SOURCES.json | 2439 +++++++++++++++++ .../r437-prefix-consumer-fusion/TASK.json | 91 + .../r437-prefix-consumer-fusion/VERIFY.json | 432 +++ .../retained/selected-result.json | 222 ++ .../r437-prefix-consumer-fusion/verify.py | 269 ++ 5 files changed, 3453 insertions(+) create mode 100644 research/r437-prefix-consumer-fusion/SOURCES.json create mode 100644 research/r437-prefix-consumer-fusion/TASK.json create mode 100644 research/r437-prefix-consumer-fusion/VERIFY.json create mode 100644 research/r437-prefix-consumer-fusion/retained/selected-result.json create mode 100644 research/r437-prefix-consumer-fusion/verify.py diff --git a/research/r437-prefix-consumer-fusion/SOURCES.json b/research/r437-prefix-consumer-fusion/SOURCES.json new file mode 100644 index 0000000000..27867d3264 --- /dev/null +++ b/research/r437-prefix-consumer-fusion/SOURCES.json @@ -0,0 +1,2439 @@ +{ + "schema_version": 1, + "base_commit": "b91956876e5b4122fd89179f1b57557ff8378f15", + "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/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/CALLER.py", + "usage": "input", + "git_blob": "5a032e8923f7f8b22bb98f3e39b804beb9906c16", + "sha256": "7bc6e42072a09a08ac961e05c3da01cde012d740d4b4c605f298d994f2ad7c5a" + }, + { + "path": "research/r437-preparation-composition/predecessor4025/source/NOTICE.md", + "usage": "input", + "git_blob": "ef9f81510db86eaf2f0a7191d85e92a6db30ddc0", + "sha256": "c446b32b8a621844fb2fbe654810c8122035bdd43fed2132f1137d98cb6f9943" + }, + { + "path": "research/r437-preparation-composition/predecessor4025/source/cardinality.py", + "usage": "input", + "git_blob": "b8ba857e32c5903408e1e61ff916300848b4a208", + "sha256": "505d5e560c5a507e6184edcc19a87cf1fed243eb34a5cb21fbe1e4fe017e7f22" + }, + { + "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" + } + ], + "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." + } + ], + "derived_from": [ + { + "package": "research/r437-nonzero-high-leaf", + "commit": "8ef4afcfba50c7f118d4787e34dda437192458ea", + "scope": "Credited finite nonzero-high fixture and source closure, extended with a new uniform adapter and eager/fused differential" + } + ] +} diff --git a/research/r437-prefix-consumer-fusion/TASK.json b/research/r437-prefix-consumer-fusion/TASK.json new file mode 100644 index 0000000000..00b510ec63 --- /dev/null +++ b/research/r437-prefix-consumer-fusion/TASK.json @@ -0,0 +1,91 @@ +{ + "schema_version": 1, + "task_id": "r437-carrier-integration", + "priority_revision": 7, + "base_commit": "b91956876e5b4122fd89179f1b57557ff8378f15", + "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": "Uniform source-bound prefix-major actual leaf and consumer fusion, with complete encoded-prefix contract and differential physical evidence.", + "scope_change_reason": "Close the whole-return consumer lifetime boundary instead of adding finite high-field samples.", + "bottleneck_link": "Close one source-bound R437 caller admission interface without changing the selected frontier.", + "budget_minutes": 60, + "stop_rule": "Stop if cross-prefix effects invalidate reordering; no full-cube execution or physical-space saving claimed.", + "outcome": "partial", + "evidence": "RESULT.json", + "author": "JoyboyBrian", + "ai_assistance": "Substantial OpenAI Codex assistance. Author-checked finite evidence; not formal-kernel verification.", + "open_questions": [ + { + "question": "Can a physical prefix producer and reusable tape allocator supply the fused interface at admitted root precision?", + "why_it_matters": "The full borrowed directory and all visited backing remain paid.", + "first_step": "Bind a streaming producer with explicit allocation reuse and tariff.", + "blocked_by": "Full production geometry, payload and physical backing contract." + } + ], + "freshness": { + "canonical_main": "b91956876e5b4122fd89179f1b57557ff8378f15", + "priority_revision": 7, + "entry_utc": "2026-10-23T04:49:00Z", + "canonical_claim": "https://github.com/CrocSwap/integer-mult-bounds/discussions/4682#discussioncomment-19138325", + "overlap_coverage": "317 open PRs; 4064 Discussion records; 6636 local notes; complete reported pagination/inventory." + } +} diff --git a/research/r437-prefix-consumer-fusion/VERIFY.json b/research/r437-prefix-consumer-fusion/VERIFY.json new file mode 100644 index 0000000000..f12caa1a27 --- /dev/null +++ b/research/r437-prefix-consumer-fusion/VERIFY.json @@ -0,0 +1,432 @@ +{ + "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-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-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": 240, + "checks": "Uniform-interface differential: actual eager/fused R437 payload, per-prefix chronology, count/alias/truncation controls and restoration." + }, + { + "argv": [ + "{python}", + "-I", + "-O", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 240, + "checks": "Uniform-interface differential: actual eager/fused R437 payload, per-prefix chronology, count/alias/truncation controls and restoration." + } + ] +} diff --git a/research/r437-prefix-consumer-fusion/retained/selected-result.json b/research/r437-prefix-consumer-fusion/retained/selected-result.json new file mode 100644 index 0000000000..b1fea0c944 --- /dev/null +++ b/research/r437-prefix-consumer-fusion/retained/selected-result.json @@ -0,0 +1,222 @@ +{ + "status": "Maintainer-reviewed conditional finite construction; see the integration receipt for publication and PR resolution status", + "kappa": "836330098538459/500000000000000000", + "decimal": "0.001672660197076918", + "source_prs": [ + 1094, + 1087, + 1082, + 1074, + 1068, + 1065, + 1063, + 1061, + 1056, + 1055, + 1053, + 1050, + 1042, + 1031, + 1028, + 1022, + 1018, + 1005, + 1004, + 987, + 942, + 890, + 870, + 869, + 858, + 799, + 741, + 699, + 685, + 676, + 664, + 660, + 659, + 656, + 655, + 653, + 658, + 649, + 645, + 635, + 589, + 555, + 545, + 626, + 623, + 622, + 620, + 617, + 615, + 604, + 601, + 596, + 592, + 591, + 593, + 599, + 588, + 543, + 584, + 586, + 583, + 582, + 579, + 576, + 575, + 574, + 571, + 569, + 568, + 567, + 564, + 562, + 561, + 559, + 558, + 552, + 550, + 548, + 541, + 535, + 510, + 503, + 531, + 523, + 493, + 514, + 507, + 484, + 496, + 505, + 522, + 520, + 472, + 458, + 445, + 442, + 425, + 433, + 370, + 361, + 315 + ], + "source_manifest": "research/community-frontier1094-audit/SELECTED-SOURCE.json", + "certificate": "research/community-frontier1094-audit/ASSEMBLY.json", + "certificate_sha256": "1122cb3a575f8c788345fc1bf4c108ac7c3250fb81a5988671f5eb04b3ab3045", + "proof": "docs/research/community-batch1099-review.md", + "proof_supplements": { + "research/e8-bit-r420/README.md": "9807be57c6adf26b30e4f54e2f8160075bbc05091f1a6d157e43d2a4620c1c9f", + "research/complex-571-free4fc8/NOTICE.md": "a4c084abdc1c7a9ac683eeb11124335d51cff8a6deba6ee92ba5a12bceaa2c97", + "research/complex-multicold/proof/CONSTRUCTION.md": "27ece5e1c11b90d97a808b56eff897b998c10e61016db95867f84e6e6aef132f", + "research/complex-multicold/vendor/pr559/PROOF.md": "d5d498edc56fdef8c5798af7f5ec66948bd2f66c553b9efe366cdaab01bd3453", + "research/structural-gain/frontier-composition/README.md": "70f0f791cbe3b2603f85d85bb9055aa0ee1df6dc06ba82fc1921356948312887", + "research/complex-joint-prefix/proof/CONSTRUCTION.md": "a92e610e7a598d99c612d1b63d1a03a49c0cd1e15ddd29fa55c465ddd8c18105", + "research/kernel-frame-coalescing/PROOF.md": "fa8b2f36b9590ee80ff45d3f7724f8c7de8ad29a29f366d5133010c77e41fe1b", + "research/complex-571-hpeq5/README.md": "4000b37f6c07c09d971dc4010ceb137c13340f3a8809d3272046ccaf746c3e2b", + "research/hyperplane-end-lean/PROOF.md": "1cbce5cf0ff0152f71e8ae7bef25841d1ce13010af248ff7209182d2328c21c9", + "docs/research/community-hyperplane599-review.md": "3298cd0d451541508af232cac72efbd7c10580e6c6ad493a855ab0faa01ade8c", + "research/complex-571-cold14-b3/README.md": "1945785785c153c7d0e8d4c071adabe626c1091b71721ff85d2d67191b376b96", + "research/complex-571-cold14-b3/PROOF-NOTE.md": "1cf592cbc8ab8e21d2dd8c1e945a5c64c6d5cde1216fb06e05a36c1c6ec6613d", + "scripts/verify_cold617_interface.py": "95d7a9094c05ad975fb72f5ab7605593003245a503c8456764987e512028fa6a", + "docs/research/community-cold617-review.md": "b3f2bcbae1249f1f651032022ce1e6e2bfb3f563ce580bf53671f50a074d7046", + "research/complex-k492-owner-repair/README.md": "ee5a1ace4828f7a073be97e95c2d931988774dd3a29a877e65abdf429aeec902", + "research/complex-k492-owner-repair/PROOF-NOTE.md": "337d70fe7abd9afca1d90954c23bde87f4dc27888cc1a6b4bb80506fd6fbf8c5", + "research/complex-k492-owner-repair/PROOF-NOTE-R.md": "22312bb347bdf159e6a01a45c47675e6170d33b258e2fd9ed52aee88fb92c0ed", + "docs/research/community-k492-review.md": "3b731d30e80010b15408a289b0b32192700885474c8b36d48ee3320a7a8c5c47", + "scripts/verify_frontier626.py": "2207bd0ef04a19ef276869085afdedad80a0938fa75db5e1aa7ab73fd3429444", + "scripts/verify_frontier626_bindings.py": "cda63ff41c6d6e2e352c7bf75b84e690c0ce57e4ec6c0355573bb5d9b1f98280", + "scripts/verify_frontier588_bindings.py": "6d1932eea7b1936598118ea8e607b09c29b6e31b749ec41bbe0744ea4f0b606d", + "scripts/verify_hpe_lean_binding.py": "2fe5aac5828b1fdb79ff5e9ba87faef4db77e0c9339f362a1775b498a6d59e13", + "research/hyperplane-end-lean/HyperplaneEnd/Exact.lean": "eebf3a3982af7ab9be45777b272a6aaa523206fa7667ceb6df63ad6589fd8183", + "docs/research/community-frontier741-review.md": "4634694fa75ea9e749ecf19d3db3e4d82effe3b61a2efdf08ac5a97275fb676a", + "research/complex-sw4-frame8/PROVENANCE.md": "c7648719b01dd93af2c3a2c6e951a54711d13892dc4bd4339d16edb4c37c9bf0", + "research/e8-bit-p111-tuned/tune/README.md": "46c7917fb252949f38b7bcd88cf568efc282e3ea065b61d11e457e41673d0b2d", + "scripts/verify_frontier741.py": "215ee6a12de8dc2392e6811a1b8f2140035f6b2d2a0d2100ff4bd2fdcb8bb39b", + "scripts/verify_frontier741_bindings.py": "eff455167e2fd0bc9a67d35241d0e69d8edc58f3a23e776dcfe8f500ca8e8d67", + "docs/research/community-frontier799-review.md": "bd91c10c67f2a873fd456b95cbb43f715a43dac0e0a66938737d591c6b754052", + "scripts/verify_frontier799.py": "19fe1b32079095160dc00fe2f7df75e0fcbc82cff37f7159b755c8a63bd5ce99", + "scripts/verify_frontier799_bindings.py": "43897b3c99212d6134870898a1840f32898aa1b3679b299e654901568ad7e19b", + "research/gauge44-frames-x/PROOF-NOTE-FRAMES-X4.md": "39c50420ebb6e8813706a49b2cf759f277c4afac9f6780fc0a7ac6a5fb86e036", + "docs/research/community-frontier890-review.md": "cd03b7c2c6c09db2cfa89ae40133ae44e1deb6e32ec5ddd23aacecc9c50f2fea", + "scripts/verify_frontier890.py": "88ea38dbef62dd7c0dd46e212618520cc89213edddb2032800e5509993958175", + "scripts/verify_replay_coverage.py": "babe5941d7e6dac4248613ef01f950ee7bb6199e7355021aea4cf854fd1b91c5", + "scripts/verify_frontier741_bridge_coverage.py": "9a14f26762b6126eb54ed43db90371773374fe98733ada80ee871a74afa3b836", + "certificates/replay-coverage/pr741-sw4-v1.json": "7acd5033bc78e3f473718269edaa267c2785d84fbe95ccf6815a33dcf58c2756", + "research/complex-t21-owners/PROOF.md": "78721b32fceb34b21b8e77c95381c38c60276e72e6d9c2e9c6262cb347457def", + "research/complex-t21-owner-bound/PROOF.md": "2aa0aa6ec1d87402138564c38749b5ca0f058c16817efdf58a2685d2d90cb417", + "research/gauge44-barch/PROOF-NOTE-BARCH.md": "c24f211b09358b25d6cf47dd18e4bbd8bcf4ecf279e6f1c6c90613cfa230818d", + "research/complex-double-replica-owners/PROOF.md": "db99599e3966bec253c577c23915e2a2899c4c4e8568044efc11c7918b137bbc", + "docs/research/community-batch952-review.md": "04db59dfc2c31453229b6061bbf59547e71ce3abdc0ce0f6779144bb0dde127b", + "scripts/verify_frontier942.py": "27c6713532d9f53f55dfff4884d55a2d9ae74b68156e37a44596c0418fbed5b7", + "research/complex-t37-owners/PROOF.md": "09b39ad0d5f1f59f54dcff15c16640f7a7acf27e6597660acaf957b95c7e8510", + "research/complex-t37-owners/ALL-T-PROOF.md": "4c0c71ccd0afb850538af1b467e5208b7eb3edd0260fded84e02a8c01dfc868b", + ".github/workflows/t37-owners.yml": "c13acc2902c007237103072b7ec10caf5ca21c1b319d27934f194af2f7d87026", + "docs/research/community-batch1047-review.md": "a6271faf5db0afe3ff7d24a34a3be7a959cdc33ee37784572fba014ee5358787", + "scripts/verify_frontier1042.py": "700fdcaeb6e8f57f6e63c71c2dd1652fc5b183e8d706cd092779bdc0d271e854", + "docs/research/community-batch1099-review.md": "7e76d2c38e5fce30587835b7251df1430488ae4dd372611ef69a3f03f476b6cb", + "scripts/verify_frontier1094.py": "c7e20f59968ed5736fb859735de4de207de3418083e37012310ebcded946b949", + "research/community-batch1099-audit/check_frontier1094.py": "2608ef213260a43d09a40b3429742f7a5f280861b54acae66400a7c29a123f51" + }, + "review": "docs/research/community-batch1099-review.md", + "validation": "docs/research/community-batch1099-integration.json", + "reproduce": "make frontier1094-verify", + "scope": "Finite composition under inherited all-size/compiler, common-label/mutable-source, whole-call hosting, precision/tape, analytic and bit H1-H5 assumptions. Not a full Lean multiplication theorem.", + "previous_kappa": "1672188119205421/1000000000000000000", + "previous_record": "certificates/checkpoints/frontier1042.json", + "audited_source_head": "0fc329d0bec93ca7cd288eaea1295172e8789810", + "reviewed_dependency_heads": { + "588": "6d0e53b66c29abd17981881a09eaff41ac862d85", + "543": "2065fe4f72a914d907f1046603f5a36f17018535", + "568": "71c99ac935a33bb7b59a1b4a7af8725a939b0b90", + "569": "1424da81263a5305b35e4cf74ef686c275f03f3f", + "571": "b7bdc5a8de18fcf418cfb9c7d83a2b1097a5e4a3", + "575": "eac6f7e378ab622dac50a2fd4b7ef6eab014de44", + "583": "89be768f0157f5a3d8e4db69cf1748768605eac9", + "586": "4846fee5b06af770e9b3a10c36200f673d656725", + "591": "f622547244bf6d895a571a7b035142ba66279806", + "592": "1f471c445c06a45a32e2c47e8d74c8264b68356b", + "593": "fdb6dcc6d7bc29764c5b6b4d32b7fa050acf74a4", + "596": "7732dd5e46863ff294b5e443661cb9d99abf4e01", + "599": "bc13c8a3e000442606bd2dbe8583a17649ba6c32", + "601": "529ab7dcb59d5ea7a5798e9e06cf5b3aee8a1550", + "604": "1b795c5d7dea746ba310572585c0ef067574b4a6", + "615": "bf8a49a34350599763cced8592db81dc62c2c1c0", + "617": "904d62855723c00f8acef9a287a10768598fdeb2", + "622": "f69477f4f6d3c7eb1f740b166881bffed4ffa9f6", + "623": "e39a615ca601ce5d62abeb24f3fcdb8644ca1005", + "626": "660de893d27bb7abd1d5b01b1640207528a5c851", + "589": "a5afc8c6169ea61ba7c51dfd3cade02cc7b13b46", + "741": "e516b1463606840a15f80aac1995d64ce0092e89", + "799": "80e6463157cfc80b85af09e7e2f14748fe2dac60", + "858": "ae2e25fee91540c83ceee5a60e3b07422ce21c7d", + "869": "73e86f69bf9a391e3c334999f7bbe3825dc42759", + "870": "b734850dc348800942f0ffd1f0723fdec7539b2b", + "890": "4b3bd8cbe8e3e81c44161017c9b72c905a8040a8", + "942": "1960cfa919a0945d0ca4cb14ea96237000037903", + "1004": "1974578f82a30158dd5fcdcdf226b83df8e7196f", + "1005": "779e80aef469bc3a28b19f1adde199871a9a22e3", + "1018": "eac7547cb191f875d5f5ea5f9bbb1d2b8c51c4ef", + "1022": "58618bcbfe88a252467755fc283c04c3db5ca4fd", + "1028": "be4bd89cb4483dcee43257200cd27601f938f13d", + "1031": "e900534f0beda892c726723524203b97471fb9a3", + "1042": "7e8ef087c02a77038a28a337a7ee3a77039cac0d", + "1094": "0fc329d0bec93ca7cd288eaea1295172e8789810", + "1087": "589d1cedf5ef5f231182f4ec86408616311a8af0", + "1082": "0c2e294ec204e83846d27344f829d15ed9ee7cc6", + "1074": "052afc128954f7b6a2b3c409eb4d72248e4020f2", + "1068": "cc71375eae4e8754da0f5d940cb519d66625fb2e", + "1065": "387d935e354a931d636e2c5e6ee63a6910f78a1b", + "1063": "d9377d32e0c97e41338e704c3960fd6f2fa73806", + "1061": "223f581afb1d63d5f8476a69040617e11bcd50e4", + "1056": "d0201efbd68c4acc9832b84bcc986c8781b83c4f", + "1055": "a8ea308976f1709eef0a328463f010cf51469277", + "1053": "6f92ce8884929c9fd4730c86a28e2e3735de02af", + "1050": "c87242f846cfab8c0b97fd889b5fecb0eacef939", + "987": "5142511af0437572aca71b35d1987cd2b47bb5e3" + } +} diff --git a/research/r437-prefix-consumer-fusion/verify.py b/research/r437-prefix-consumer-fusion/verify.py new file mode 100644 index 0000000000..2e3c7fd7de --- /dev/null +++ b/research/r437-prefix-consumer-fusion/verify.py @@ -0,0 +1,269 @@ +#!/usr/bin/env python3 +"""Actual eager versus prefix-fused R437 leaf/consumer comparison. + +JoyboyBrian, substantial OpenAI Codex assistance. Apache-2.0. +Based on Chris R/Clear1nsight's PR4176 produced-child physical bridge. +""" +import argparse,ast,hashlib,importlib.util,json,shutil,sys +from dataclasses import replace +from pathlib import Path +from tempfile import TemporaryDirectory +from types import SimpleNamespace as NS +HERE=Path(__file__).resolve().parent;ROOT=HERE.parents[1] + +def need(ok,message): + if not ok:raise ValueError(message) +def sha(data):return hashlib.sha256(data).hexdigest() +def integer(x):return dict(bits=x.bit_length(),sha256=sha(x.to_bytes(max(1,(x.bit_length()+7)//8),'big'))) +def authenticate(): + manifest=json.loads((HERE/'SOURCES.json').read_text()) + for row in manifest['files']: + if row['usage']=='input':need(sha((ROOT/row['path']).read_bytes())==row['sha256'],'source hash '+row['path']) + for row in manifest['retained']:need(sha((HERE/row['path']).read_bytes())==row['sha256'],'retained hash '+row['path']) + return sum(r['usage']=='input' for r in manifest['files']) + +def run(probe=False): + inputs=authenticate();sys.path.insert(0,str(HERE));sys.path.insert(0,str(ROOT/'research/selected-bit-physical-caller'));import loader + with TemporaryDirectory(prefix='r437-high-source-') as temp: + projection=Path(temp) + for row in json.loads((loader.CALLER/'SOURCES.json').read_text())['files']: + if row['usage']!='input':continue + target=projection/row['path'];target.parent.mkdir(parents=True,exist_ok=True) + shutil.copyfile(HERE/'retained/selected-result.json' if row['path']=='certificates/selected-result.json' else ROOT/row['path'],target) + loader.REPOSITORY=projection;loader.compatibility_controls() + sys.path.insert(0,str(ROOT/'research/r437-carrier-integration'));import physical + s=physical.source('D') + import words,records,directory,macro_binding,numeric,layout,trace,packet_engine,packet,episode,oracle + from cardinal_counts import Count + from plan import Request + # Oracle chart construction, outside encoded execution; no runtime field decoded. + P=oracle.reduce_rational(s.spec.template.preparation,9);Pinv=oracle.inverse(P,9) + def header(pivots): + matrix=oracle.eye(64) + for i,pivot in enumerate(pivots): + j=i+2;matrix[i][i]=1;matrix[i][j]=1;matrix[j][i]=pivot-1;matrix[j][j]=pivot + return matrix + chart0=oracle.multiply(header([2,2]),Pinv,9) + low=tuple(tuple(x%3 for x in row) for row in chart0) + s.low=low;s.handle=physical.compiler.source_handle(s.cat,s.record['identifier'],True,low) + s.spec=physical.compiler.resolve_handle(s.cat,s.specs,s.handle);s.plan=s.specs.plan(s.handle.code) + need(s.spec.good and s.spec.template.rank==2,'actual alternate GOOD common low chart') + def high(pivots): + target=header(pivots);chart=oracle.multiply(target,Pinv,9) + need(all(chart[i][j]%3==s.low[i][j] for i in range(64) for j in range(64)),'same actual compiled low class') + H=[[(chart[i][j]-s.low[i][j])//3 for j in range(64)] for i in range(64)] + need(any(x for row in H for x in row) and all(0<=x<3 for row in H for x in row),'canonical nonzero high chart') + need(oracle.multiply(chart,P,9)==target,'independent prepared chart') + inverse=oracle.inverse(target,9) + projector=oracle.multiply([row[:2] for row in target],inverse[:2],9) + need(oracle.good_pivots(projector,2,9)==pivots,'independent projector pivots') + return H + old_high=high([2,5]);current_highs=[high([2,5]),high([8,2])] + weights=[[8,2],[5,8]] + # directory.Odometer advances the last entry first: row-major big-endian base3. + def ordinal(matrix): + value=0 + for row in matrix: + for digit in row:value=value*3+digit + return value + ordinals=[ordinal(H) for H in current_highs];need(ordinals[0]!=ordinals[1] and all(0<=i<3**4096 for i in ordinals),'two distinct full-cube indices') + for index,H in zip(ordinals,current_highs): + recovered=[] + for _ in range(4096):index,digit=divmod(index,3);recovered.append(digit) + need(index==0 and list(reversed(recovered))==sum(H,[]),'full index decoding') + tapes=[];old_init=records.Tape.__init__ + def register(t):old_init(t);tapes.append(t) + records.Tape.__init__=register + ia=words.Arena(13,1024);ra=words.Arena(5,131072);modulus=ra.literal(9);ring=words.Ring(modulus) + parent=records.Program.fixture(ia,ra,2048,2,((0,s.handle.code,2,0,0,0),),s.cat.codes.bits) + fields=[] + for H in current_highs:fields.extend([(s.handle.code,old_high),(s.handle.code,H)]) + all_fields=records.Fields.fixture(ia,ra,fields,s.cat.codes.bits) + prefix_count=Count.literal(2);field_count=ia.literal(2) + parent_runtime=NS(indices=ia,arena=ra,context=NS(ring=ring,q=3),program=parent,size=ia.literal(64),depth=ia.literal(1),binding=NS(codes=s.cat.codes)) + binding=object.__new__(macro_binding.SelectedBinding);binding.specifications=s.specs;binding.codes=s.cat.codes;binding.ambient=s.handle.code + definition=NS(code=s.handle.code,plan=s.plan) + before,gap,suffix=[Count.literal(1) for _ in range(3)] + volume=9**4;initial=bytes(((i*17+i//3+7)^(i//5))&1 for i in range(2*volume));target_bits=bytes(((i*13+i//7+3)^(i//2))&1 for i in range(2*volume)) + source,target=records.Tape(),records.Tape() + for bit in initial:source.append(bit) + for bit in target_bits:target.append(bit) + source.rewind();target.rewind() + protected=[(t,bytes(t.cells),t.head) for t in [source,target,parent.tape,all_fields.tape,prefix_count.tape,before.tape,gap.tape,suffix.tape]] + old_live=(set(ia.live),set(ra.live));old_tapes=set(map(id,tapes)) + def actions(m):return {k:getattr(m,k) for k in ('reads','writes','moves')} + def record_actions():return {k:sum(getattr(t.meter,k) for t in tapes) for k in ('reads','writes','moves')} + start=dict(record=record_actions(),index=actions(ia.meter),residue=actions(ra.meter)) + first=packet.read_prefix(all_fields.tape,field_count);all_fields.tape.rewind() + try:produced=binding.child_program(parent_runtime,definition,NS(child_kind='good',field=0,reverse=False,half=False),first) + finally:first.clear() + # Same source/tag/rank makes the produced Program independent of the selected high fiber. + copied=records.Tape();directory.append_tape(produced,copied);copied.rewind();need(bytes(copied.cells)==bytes(produced.cells),'actual produced Program handoff') + child=NS(indices=ia,arena=ra,context=NS(ring=ring,q=3),binding=NS(codes=s.cat.codes),size=ia.literal(2),depth=ia.literal(2)) + child.program=macro_binding.view(records.Program,child,copied);incoming=binding.incoming(child) + calls=[];runtime_controls=[] + old_inspect=words.Word.inspect + def coefficient(prefix,request): + need(request.kind=='child' and request.child_kind=='good' and request.field==0 and not request.half and not request.reverse and request.reference is None and not request.reverse_adapter,'fixed GOOD bridge contract') + coord=old_inspect(request.coordinate) + raw=bytes(prefix.cells);which=None + for i in range(2): + if raw==prefix_bytes[i]:which=i + need(which is not None,'actual selected complete prefix') + value=incoming.coefficient(prefix,replace(request,kind='incoming')) + expected=(-pow(weights[which][coord],-1,9))%9 if request.negative_inverse else weights[which][coord] + need(old_inspect(value)==expected,'actual nonzero-high coordinate weight '+str((which,coord,old_inspect(value),expected))) + calls.append(dict(prefix=which,coordinate=coord,negative_inverse=request.negative_inverse,value=expected)) + return value + prefix_bytes=[] + for _ in range(2): + one=packet.read_prefix(all_fields.tape,field_count);prefix_bytes.append(bytes(one.cells));one.clear() + all_fields.tape.rewind() + if not probe: + # Both represented complete prefixes use the actual child producer. + second=records.Tape() + for v in prefix_bytes[1][1:]:second.append(v) + second.rewind() + try: + other=binding.child_program(parent_runtime,definition,NS(child_kind='good',field=0,reverse=False,half=False),second) + need(bytes(other.cells)==bytes(produced.cells),'same produced metadata for distinct high prefix');other.clear() + finally:second.clear() + def reject_prefix(prefix,expected): + coord=ia.literal(0);live=(set(ia.live),set(ra.live));saved=[(t,bytes(t.cells),t.head) for t in (prefix,copied,parent.tape)] + try: + value=incoming.coefficient(prefix,Request('incoming',coord));ra.free(value) + except ValueError as e:need(str(e)==expected,'actual rejection reason '+str(e)) + else:raise ValueError('invalid actual callback accepted') + need(live==(set(ia.live),set(ra.live)),'rejecting callback numerical restoration') + need(all((bytes(t.cells),t.head)==(raw,head) for t,raw,head in saved),'rejecting callback borrowed restoration') + ia.free(coord);runtime_controls.append(expected) + bad_high=[row[:] for row in old_high];bad_high[0][0]=3 + bad=records.Fields.fixture(ia,ra,[(s.handle.code,bad_high),(s.handle.code,current_highs[0])],s.cat.codes.bits) + reject_prefix(bad.tape,'canonical high digit');bad.tape.clear() + steps=[i for i,v in enumerate(copied.cells) if v==records.STEP] + rank_bit=steps[-1]+1+(records.FINITE_BITS+1)+(s.cat.codes.bits+1) + need(copied.cells[rank_bit]==0,'produced rank2 bit');copied.cells[rank_bit]=1 + valid=records.Tape() + for v in prefix_bytes[0][1:]:valid.append(v) + valid.rewind() + try:reject_prefix(valid,'actual selected rank') + finally:copied.cells[rank_bit]=0;valid.clear() + if probe: + one=packet.read_prefix(all_fields.tape,field_count);all_fields.tape.rewind();coord=ia.literal(0) + try: + value=coefficient(one,Request('child',coord,child_kind='good'));ra.free(value) + finally:one.clear();ia.free(coord) + return dict(status='PROBE_NONZERO_HIGH',first=calls) + cols=ia.literal(1);geometry=numeric.Geometry(NS(dimension=2,rank=2),ia,cols,child.depth,s.handle.code,child.program) + shape=layout.Layout(geometry,child.size,ring,3,before,gap,suffix) + left,right,span=[ia.literal(x) for x in (0,2,2)];lifetime=[] + words.Word.inspect=lambda _:(_ for _ in ()).throw(ValueError('runtime numerical decoding forbidden')) + try:returned=packet_engine.run(source,trace.leaf(geometry,left,right,span,'good'),shape,all_fields.tape,prefix_count,field_count,coefficient,observe=lifetime.append) + finally:words.Word.inspect=old_inspect + need(returned is not source and lifetime==['enter','return'],'actual owned child return') + need(len(calls)==24,'twelve actual callbacks per represented prefix') + for i in range(2): + one=[c for c in calls if c['prefix']==i];need([c['coordinate'] for c in one]==[0]*6+[1]*6,'per-prefix coordinate chronology') + # Matrix product of the eight literal primitives gives x_i <- lambda_i*y_(1-i), y_(1-i) <- lambda_i^-1*x_i. + def permutation(lambdas): + out=[] + for x0 in range(9): + for x1 in range(9): + for y0 in range(9): + for y1 in range(9): + a=lambdas[0]*y1%9;b=lambdas[1]*y0%9;c=pow(lambdas[1],-1,9)*x1%9;d=pow(lambdas[0],-1,9)*x0%9 + out.append(((a*9+b)*9+c)*9+d) + need(sorted(out)==list(range(volume)),'complete finite permutation') + return out + maps=[permutation(row) for row in weights] + # Explicit embedding/projection commutation on every represented coordinate. + offsets=[n*volume for n in ordinals] + for i,mapping in enumerate(maps): + need(all((offsets[i]+j)//volume==ordinals[i] and (offsets[i]+j)%volume==j and + (offsets[i]+mapping[j])//volume==ordinals[i] for j in range(volume)), + 'global selected-fiber offset and permutation intertwiner') + expected=bytes(initial[i*volume+j] for i,m in enumerate(maps) for j in m) + need(bytes(returned.cells[1:])==expected,'independent full two-fiber payload oracle') + call=s.top.call(s.record['key'][1],s.record['key'][2]);position=s.record['position']+1;event=call.events[position] + need(event[0]==1 and event[2]==87,'literal next SOURCE87 consumer') + # Explicit selected-fiber restriction: actual full context has 3^4096 highs. + consumer_highs=Count.literal(2);consumer_old=Count.literal(1);fibre=Count.literal(volume) + consumer=episode.xor_packet(returned,target,NS(highs=consumer_highs),consumer_old,fibre) + need(bytes(consumer.cells[1:])==bytes(a^b for a,b in zip(expected,target_bits)),'real XOR consumer uses computed return') + controls=list(runtime_controls) + module_spec=importlib.util.spec_from_file_location("r437_prefix_consumer_fusion_adapter",HERE/"adapter.py") + adapter=importlib.util.module_from_spec(module_spec);module_spec.loader.exec_module(adapter) + need(Path(adapter.__file__).resolve()==HERE/"adapter.py" and callable(adapter.run),"exact package-local fusion module") + eager_calls=list(calls);calls.clear();returned_lengths=[] + fuse_start=dict(record=record_actions(),index=actions(ia.meter),residue=actions(ra.meter)) + words.Word.inspect=lambda _:(_ for _ in ()).throw(ValueError('runtime numerical decoding forbidden')) + try: + fused=adapter.run(source,target,lambda:trace.leaf(geometry,left,right,span,'good'), + shape,all_fields.tape,prefix_count,field_count,coefficient, + NS(highs=consumer_highs),consumer_old, + observe=lambda tape:returned_lengths.append(len(tape.cells)-1)) + finally:words.Word.inspect=old_inspect + need(bytes(fused.cells)==bytes(consumer.cells),'actual fused/eager complete consumer bytes') + need(returned_lengths==[volume,volume],'one complete local return at each consumer boundary') + need(len(calls)==24 and calls!=eager_calls,'changed cross-prefix schedule with all callbacks retained') + for i in range(2): + need([c for c in calls if c['prefix']==i]==[c for c in eager_calls if c['prefix']==i], + 'unchanged callback order within prefix') + fused_sha=sha(bytes(fused.cells));fused.clear() + fuse_end=dict(record=record_actions(),index=actions(ia.meter),residue=actions(ra.meter)) + fusion_invoice={lane:{k:fuse_end[lane][k]-fuse_start[lane][k] for k in fuse_end[lane]} for lane in fuse_end} + # Front-end rejection is before expensive callback execution. + bad_count=Count.literal(1) + try: + try:adapter.run(source,target,lambda:trace.leaf(geometry,left,right,span,'good'), + shape,all_fields.tape,bad_count,field_count,coefficient,NS(highs=consumer_highs),consumer_old) + except ValueError as e:need(str(e)=='complete fused prefix product','count-product control reason') + else:raise ValueError('missing prefix accepted') + finally:bad_count.close() + controls.append('encoded prefix product rejects omitted prefix before payload') + try:adapter.run(source,source,lambda:trace.leaf(geometry,left,right,span,'good'), + shape,all_fields.tape,prefix_count,field_count,coefficient,NS(highs=consumer_highs),consumer_old) + except ValueError as e:need(str(e)=='distinct fused borrowed roles','borrowed alias control reason') + else:raise ValueError('aliased dirty target accepted') + controls.append('aliased source/dirty target rejected before payload') + tiny_source,tiny_target,tiny_dir=records.Tape(),records.Tape(),records.Tape() + for t in (tiny_source,tiny_target,tiny_dir):t.append(1);t.rewind() + unit=Count.literal(1);one_field=ia.literal(1);tiny_saved=[(t,bytes(t.cells),t.head) for t in (tiny_source,tiny_target,tiny_dir)] + try: + try:adapter.run(tiny_source,tiny_target,lambda:iter(()),NS(fibre=lambda:Count.literal(1)), + tiny_dir,unit,one_field,lambda *_:None,NS(highs=unit),unit) + except ValueError as e:need(str(e)=='complete fused raw prefix','truncated-prefix control reason') + else:raise ValueError('truncated raw prefix accepted') + need(all((bytes(t.cells),t.head)==(raw,head)for t,raw,head in tiny_saved),'truncated-prefix borrowed restoration') + finally: + unit.close();ia.free(one_field) + for t in (tiny_source,tiny_target,tiny_dir):t.clear() + controls.append('truncated raw-prefix reader clears owned counter/output and restores borrowed heads') + dirty=records.Tape() + for bit in returned.cells[1:]:dirty.append(bit) + dirty.cells[1]^=1;dirty.rewind() + corrupted=episode.xor_packet(dirty,target,NS(highs=consumer_highs),consumer_old,fibre) + need(bytes(corrupted.cells)!=bytes(consumer.cells),'dirty child return reaches actual consumer') + dirty.clear();corrupted.clear();controls.append('one-bit wrong return changes actual SOURCE87 consumer') + stale=bytes(initial[i*volume+j] for i in range(2) for j in maps[0]) + need(stale!=expected,'stale first-prefix coefficients discriminated');controls.append('stale prefix0 coefficient vector changes second fiber') + wrong_inverse_maps=[permutation([pow(v,-1,9) for v in row]) for row in weights] + wrong=bytes(initial[i*volume+j] for i,m in enumerate(wrong_inverse_maps) for j in m) + need(wrong!=expected,'wrong weight orientation discriminated');controls.append('inverse-weight substitution changes actual output') + result=dict(status='PASS_R437_PREFIX_CONSUMER_FUSION',live_inputs=inputs,q=3,w=2,modulus=9,source_request=s.record['identifier'],source_identity=s.cat.source_identity,root_width=2048,child_width=2,selected_prefix_count=2,full_high_cube_count=integer(3**4096),global_high_indices=[integer(x) for x in ordinals],global_fiber_offsets=[integer(x) for x in offsets],weights=weights,eager_callback_calls=eager_calls,fused_callback_calls=calls,fused_consumer_sha256=fused_sha,local_child_return_lengths=returned_lengths,fusion_invoice=fusion_invoice,complete_fiber_bits=volume,total_executed_bits=2*volume,produced_program_sha256=sha(bytes(copied.cells)),return_sha256=sha(bytes(returned.cells)),consumer_sha256=sha(bytes(consumer.cells)),literal_consumer_event=event,literal_consumer_position=position,controls=controls,scope='Uniform source-bound prefix-major leaf/XOR composition, corroborated by actual two-prefix R437 payload; full high cube/root reachability and fixed-tape tariff unexecuted.') + consumer.clear();consumer_highs.close();consumer_old.close();fibre.close();returned.clear();shape.close();geometry.close();ia.free_many(cols,left,right,span,child.size,child.depth);produced.clear();copied.clear() + need(old_live==(set(ia.live),set(ra.live)),'complete child/consumer numerical ownership restored') + need(all((bytes(t.cells),t.head)==(raw,head) for t,raw,head in protected),'all borrowed payload/metadata bytes and heads restored') + need(all(t.head==1 and all(v==words.BLANK for v in t.cells[1:]) for t in tapes if id(t) not in old_tapes),'all owned record backing erased') + finish=dict(record=record_actions(),index=actions(ia.meter),residue=actions(ra.meter));result['invoice']={lane:{k:finish[lane][k]-start[lane][k] for k in finish[lane]} for lane in finish} + result.update(borrowed_preserved=True,owned_erased=True,full_high_cube_executed=False,numerical_admitted=False) + records.Tape.__init__=old_init + return result + +def main(): + p=argparse.ArgumentParser();p.add_argument('--write',action='store_true');p.add_argument('--probe',action='store_true');args=p.parse_args();result=run(args.probe) + if args.probe:print(json.dumps(result));return + if args.write:(HERE/'RESULT.json').write_text(json.dumps(result,indent=2,sort_keys=True)+'\n') + else:need(json.dumps(json.loads((HERE/'RESULT.json').read_text()),sort_keys=True)==json.dumps(result,sort_keys=True),'typed deterministic receipt') + print(result['status']) +if __name__=='__main__':main() From f872d67e28bece831713b47fc6eff48d136fd0a9 Mon Sep 17 00:00:00 2001 From: JoyboyBrian <122925040+JoyboyBrian@users.noreply.github.com> Date: Thu, 22 Oct 2026 22:06:53 -0700 Subject: [PATCH 3/4] research: record fusion receipt scope and remaining physical obligations --- .../r437-prefix-consumer-fusion/README.md | 106 +++++ .../r437-prefix-consumer-fusion/RESULT.json | 406 ++++++++++++++++++ 2 files changed, 512 insertions(+) create mode 100644 research/r437-prefix-consumer-fusion/README.md create mode 100644 research/r437-prefix-consumer-fusion/RESULT.json diff --git a/research/r437-prefix-consumer-fusion/README.md b/research/r437-prefix-consumer-fusion/README.md new file mode 100644 index 0000000000..ef4b2a8d62 --- /dev/null +++ b/research/r437-prefix-consumer-fusion/README.md @@ -0,0 +1,106 @@ +# Uniform R437 complete-prefix leaf/consumer fusion + +This package proves a source-bound schedule change for the actual leaf and XOR +consumer: execute a complete leaf on one complete prefix, consume its returned +fibre immediately, erase local copies, then advance. The original primitive +order within each prefix is preserved. The proof applies to every finite +complete prefix directory, including the full high cube when that directory +and matching packets are supplied. It does not infer uniformity from samples. + +The new opt-in adapter removes the intermediate whole-child returned packet +from this interface. It does not replace the original callback, numeric +primitive or consumer. The complete borrowed directory, source and dirty target, +final output, local copies, trace setup, and every visited backing cell remain +paid. This is a functional composition and lifetime result, not a physical-space +or runtime improvement, supplier admission, or a new bound. + +## Source contract and increment + +`PROOF.md` derives the direct-product structure from authenticated +`packet_engine.run_generator`: copy one fibre, apply the primitive using only +that prefix and restored borrowed Program, append the local result. Distinct +prefix effects commute; effects within one prefix retain their original order. +The original `episode.xor_packet` is pointwise on the same fibres, so its +consumption may follow each completed local leaf. `adapter.py` checks the encoded +prefix product C*H, complete packet and directory consumption, and separate +borrowed roles. Canonical producer contents are a hypothesis, not inferred from +equal counts. A trace factory must return the same closed finite trace, and an +optional observation callback must be read-only. + +The positive theorem assumes successful valid primitive/callback contracts. +Owned parsing/copy counters have explicit cleanup, and borrowed heads rewind. +It does not claim to repair arbitrary inherited inner callback exceptions. + +#4793 (8ef4afcfba50c7f118d4787e34dda437192458ea) already established the two +nonzero-high physical fibres and their independent permutation oracle. This +package reuses that corroboration to compare a new prefix-major schedule with +the original primitive-major schedule and actual SOURCE87 consumer. #4176 by +Chris R / Clear1nsight supplied the produced-child physical bridge; #4759's +metadata-only dispatch is not a physical ancestry proof here. #4854 by Nick +Petalas covers local shared-radix quotient traversal, and Discussion #4927 audits +directory/reserve serialization; neither is claimed again or used to assume +free directory storage. + +## Actual differential certificate + +Both schedules execute actual R437 D request 1676, a source-valid borrowed +2048→64 Program and actual 64→2 child construction, modulo 9 at q=3,w=2. The +two distinct canonical high prefixes give weights [8,2] and [5,8]. Each schedule +executes 24 real coefficient callbacks and 13,122 dirty payload bits. All output +bits match the independent permutation oracle and each other. Global callback +order changes; each prefix's callback chronology agrees exactly. The actual +SOURCE87 XOR event [1,467,87,1,509,0] occurs at source position 22398. The fused +consumer observes two 6,561-bit returns instead of a single 13,122-bit return. +The consumer SHA256 is +`0f8e16924fd79d5c002ecafd4b77ac929a97f186b71c9fcf64992c6490a126f2`. + +This q3 fixture is not numerically admitted by the selected root domain. It +executes two represented complete fibres, not all 3^4096 high matrices, GL64 +gather, production parent spectators, or an original admitted root. The uniform +claim rests on the source contract and proof above. No full Machine.node or +supplier claim is made. + +Checks include omitted-prefix product rejection before payload, role alias +rejection, truncated raw-prefix cleanup, actual bad high digit and rank +rejections, wrong returned bit changing the real consumer, and independent +stale/inverse-weight controls. Borrowed bytes/heads, unrelated numerical state, +and erased owned record backing are checked. Runtime numerical decoding is +disabled; host oracles only observe results and never drive the algorithm. + +`RESULT.json` separately records the fused action invoice: record +50,395,613 reads / 10,278,012 writes / 43,705,218 moves; index +859,108 / 177,308 / 842,662; residue 165,628,640 / 34,082,134 / 173,048,120. +It includes fused local copying, callbacks, primitives, consumer and output +disposal. The aggregate invoice also includes the eager comparison and controls. +Host compilation, fixture/oracle creation and initial borrowed allocation are +outside these runtime invoices. Counters do not price allocator reuse or a +complete fixed-tape tariff. + +## Reproduction and provenance + +Run `python3.12 -I -B research/r437-prefix-consumer-fusion/verify.py` and the same +command with `-O`. `VERIFY.json` registers both, with a 240-second bound each. +A successful local first replay is recorded; hosted CI is not asserted. +`RESULT.json` uses typed JSON equality, including bool/int distinctions. + +`SOURCES.json` authenticates 401 live inputs at canonical base +b91956876e5b4122fd89179f1b57557ff8378f15. The exact historical selected record is +retained with SHA256 and projected only for its unchanged historical loader. +No selected or frozen source is edited. `TASK.json` records card revision 7 and +complete reported overlap coverage (317 open PRs, 4064 Discussion records, +6636 local notes); lack of keyword matches is not novelty proof. + +Original packet/callback/consumer, arithmetic and compiler work remains credited +to Jose Manuel, David Arias, Chris R / Clear1nsight and the pinned lineage. +New adapter/proof and differential integration: JoyboyBrian, substantial OpenAI +Codex assistance, Apache-2.0. This is author-checked evidence and a scoped proof, +not formal-kernel verification. + +## Open next questions + +1. Bind a streaming full-prefix producer and reusable physical tape allocator to + this interface, pricing all producer and returned-output backing. +2. Join admitted root precision and actual parent gather/spectators to this + lifetime boundary; the finite q3 ancestry remains separate. +3. Establish failure cleanup for arbitrary inherited primitive/callback errors + before extending the positive contract to those malformed inputs. diff --git a/research/r437-prefix-consumer-fusion/RESULT.json b/research/r437-prefix-consumer-fusion/RESULT.json new file mode 100644 index 0000000000..622152deb5 --- /dev/null +++ b/research/r437-prefix-consumer-fusion/RESULT.json @@ -0,0 +1,406 @@ +{ + "borrowed_preserved": true, + "child_width": 2, + "complete_fiber_bits": 6561, + "consumer_sha256": "0f8e16924fd79d5c002ecafd4b77ac929a97f186b71c9fcf64992c6490a126f2", + "controls": [ + "canonical high digit", + "actual selected rank", + "encoded prefix product rejects omitted prefix before payload", + "aliased source/dirty target rejected before payload", + "truncated raw-prefix reader clears owned counter/output and restores borrowed heads", + "one-bit wrong return changes actual SOURCE87 consumer", + "stale prefix0 coefficient vector changes second fiber", + "inverse-weight substitution changes actual output" + ], + "eager_callback_calls": [ + { + "coordinate": 0, + "negative_inverse": false, + "prefix": 0, + "value": 8 + }, + { + "coordinate": 0, + "negative_inverse": false, + "prefix": 0, + "value": 8 + }, + { + "coordinate": 0, + "negative_inverse": false, + "prefix": 1, + "value": 5 + }, + { + "coordinate": 0, + "negative_inverse": false, + "prefix": 1, + "value": 5 + }, + { + "coordinate": 0, + "negative_inverse": true, + "prefix": 0, + "value": 1 + }, + { + "coordinate": 0, + "negative_inverse": true, + "prefix": 0, + "value": 1 + }, + { + "coordinate": 0, + "negative_inverse": true, + "prefix": 1, + "value": 7 + }, + { + "coordinate": 0, + "negative_inverse": true, + "prefix": 1, + "value": 7 + }, + { + "coordinate": 0, + "negative_inverse": false, + "prefix": 0, + "value": 8 + }, + { + "coordinate": 0, + "negative_inverse": false, + "prefix": 0, + "value": 8 + }, + { + "coordinate": 0, + "negative_inverse": false, + "prefix": 1, + "value": 5 + }, + { + "coordinate": 0, + "negative_inverse": false, + "prefix": 1, + "value": 5 + }, + { + "coordinate": 1, + "negative_inverse": false, + "prefix": 0, + "value": 2 + }, + { + "coordinate": 1, + "negative_inverse": false, + "prefix": 0, + "value": 2 + }, + { + "coordinate": 1, + "negative_inverse": false, + "prefix": 1, + "value": 8 + }, + { + "coordinate": 1, + "negative_inverse": false, + "prefix": 1, + "value": 8 + }, + { + "coordinate": 1, + "negative_inverse": true, + "prefix": 0, + "value": 4 + }, + { + "coordinate": 1, + "negative_inverse": true, + "prefix": 0, + "value": 4 + }, + { + "coordinate": 1, + "negative_inverse": true, + "prefix": 1, + "value": 1 + }, + { + "coordinate": 1, + "negative_inverse": true, + "prefix": 1, + "value": 1 + }, + { + "coordinate": 1, + "negative_inverse": false, + "prefix": 0, + "value": 2 + }, + { + "coordinate": 1, + "negative_inverse": false, + "prefix": 0, + "value": 2 + }, + { + "coordinate": 1, + "negative_inverse": false, + "prefix": 1, + "value": 8 + }, + { + "coordinate": 1, + "negative_inverse": false, + "prefix": 1, + "value": 8 + } + ], + "full_high_cube_count": { + "bits": 6493, + "sha256": "4acde110321e89dc1be1c4b81709f91e8298a1bbff8c80d0d86adaf5b112eac2" + }, + "full_high_cube_executed": false, + "fused_callback_calls": [ + { + "coordinate": 0, + "negative_inverse": false, + "prefix": 0, + "value": 8 + }, + { + "coordinate": 0, + "negative_inverse": false, + "prefix": 0, + "value": 8 + }, + { + "coordinate": 0, + "negative_inverse": true, + "prefix": 0, + "value": 1 + }, + { + "coordinate": 0, + "negative_inverse": true, + "prefix": 0, + "value": 1 + }, + { + "coordinate": 0, + "negative_inverse": false, + "prefix": 0, + "value": 8 + }, + { + "coordinate": 0, + "negative_inverse": false, + "prefix": 0, + "value": 8 + }, + { + "coordinate": 1, + "negative_inverse": false, + "prefix": 0, + "value": 2 + }, + { + "coordinate": 1, + "negative_inverse": false, + "prefix": 0, + "value": 2 + }, + { + "coordinate": 1, + "negative_inverse": true, + "prefix": 0, + "value": 4 + }, + { + "coordinate": 1, + "negative_inverse": true, + "prefix": 0, + "value": 4 + }, + { + "coordinate": 1, + "negative_inverse": false, + "prefix": 0, + "value": 2 + }, + { + "coordinate": 1, + "negative_inverse": false, + "prefix": 0, + "value": 2 + }, + { + "coordinate": 0, + "negative_inverse": false, + "prefix": 1, + "value": 5 + }, + { + "coordinate": 0, + "negative_inverse": false, + "prefix": 1, + "value": 5 + }, + { + "coordinate": 0, + "negative_inverse": true, + "prefix": 1, + "value": 7 + }, + { + "coordinate": 0, + "negative_inverse": true, + "prefix": 1, + "value": 7 + }, + { + "coordinate": 0, + "negative_inverse": false, + "prefix": 1, + "value": 5 + }, + { + "coordinate": 0, + "negative_inverse": false, + "prefix": 1, + "value": 5 + }, + { + "coordinate": 1, + "negative_inverse": false, + "prefix": 1, + "value": 8 + }, + { + "coordinate": 1, + "negative_inverse": false, + "prefix": 1, + "value": 8 + }, + { + "coordinate": 1, + "negative_inverse": true, + "prefix": 1, + "value": 1 + }, + { + "coordinate": 1, + "negative_inverse": true, + "prefix": 1, + "value": 1 + }, + { + "coordinate": 1, + "negative_inverse": false, + "prefix": 1, + "value": 8 + }, + { + "coordinate": 1, + "negative_inverse": false, + "prefix": 1, + "value": 8 + } + ], + "fused_consumer_sha256": "0f8e16924fd79d5c002ecafd4b77ac929a97f186b71c9fcf64992c6490a126f2", + "fusion_invoice": { + "index": { + "moves": 842662, + "reads": 859108, + "writes": 177308 + }, + "record": { + "moves": 43705218, + "reads": 50395613, + "writes": 10278012 + }, + "residue": { + "moves": 173048120, + "reads": 165628640, + "writes": 34082134 + } + }, + "global_fiber_offsets": [ + { + "bits": 6498, + "sha256": "b2b36d04fd96500a40dd12c2b324767cf611604882bbe53fec169e03944e8c3e" + }, + { + "bits": 6498, + "sha256": "c8c7ca64fcdbf9a736c359099b045ee3d1ea7ee011730d26b07dc6f278ac66a6" + } + ], + "global_high_indices": [ + { + "bits": 6486, + "sha256": "d5e0075b1dac0a9498d27ef42281f4e9905c83ce6c8a4eba3475b374fd70561c" + }, + { + "bits": 6486, + "sha256": "7238e2dfd72a89b6e6e34610046f5adfa6ad25fb3cd65d6575ee3862583c6c85" + } + ], + "invoice": { + "index": { + "moves": 1741412, + "reads": 1775242, + "writes": 366649 + }, + "record": { + "moves": 89542274, + "reads": 103384588, + "writes": 21054245 + }, + "residue": { + "moves": 350343834, + "reads": 335348488, + "writes": 69038399 + } + }, + "literal_consumer_event": [ + 1, + 467, + 87, + 1, + 509, + 0 + ], + "literal_consumer_position": 22398, + "live_inputs": 401, + "local_child_return_lengths": [ + 6561, + 6561 + ], + "modulus": 9, + "numerical_admitted": false, + "owned_erased": true, + "produced_program_sha256": "a8293367597b7cb38efad9fd7b23224425b7d515b8088bf0302f225246a75ab0", + "q": 3, + "return_sha256": "4190faad3418b114a03f8116aaf352aafd2717109fef13827483f6c12306bc50", + "root_width": 2048, + "scope": "Uniform source-bound prefix-major leaf/XOR composition, corroborated by actual two-prefix R437 payload; full high cube/root reachability and fixed-tape tariff unexecuted.", + "selected_prefix_count": 2, + "source_identity": "d854ee52df07cce2a47ded48539f6c25266c0c6f245c7b10a5dcafbb03f71a3b", + "source_request": 1676, + "status": "PASS_R437_PREFIX_CONSUMER_FUSION", + "total_executed_bits": 13122, + "w": 2, + "weights": [ + [ + 8, + 2 + ], + [ + 5, + 8 + ] + ] +} From 0acc7bac49f1a1228114d959cc57f6eb807672fe Mon Sep 17 00:00:00 2001 From: JoyboyBrian <122925040+JoyboyBrian@users.noreply.github.com> Date: Thu, 22 Oct 2026 22:10:56 -0700 Subject: [PATCH 4/4] research: clarify fusion observational equivalence and callback bookkeeping --- research/r437-prefix-consumer-fusion/PROOF.md | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/research/r437-prefix-consumer-fusion/PROOF.md b/research/r437-prefix-consumer-fusion/PROOF.md index 9ed15e5382..6c8dd2daa3 100644 --- a/research/r437-prefix-consumer-fusion/PROOF.md +++ b/research/r437-prefix-consumer-fusion/PROOF.md @@ -7,7 +7,11 @@ order as those packets. All borrowed heads enter at 1. Inputs occupy distinct roles. The unchanged trace factory yields the same closed finite leaf sequence for every prefix. Its coefficients depend only on that prefix, the same Program and encoded context, and return owned words while restoring borrowed state. -These are source-level hypotheses, not consequences of finite samples. +An optional observer must be read-only. These are source-level hypotheses, +not consequences of finite samples. Equality means payload and borrowed logical +Program/Fields state, excluding meters, allocation order, and global callback +logs. Deterministic Specifications memoization may change bookkeeping; it does +not change coefficients or borrowed logical bytes. For primitive t and prefix i, let T_t,i be its local payload map. In the pinned packet_engine.run, every primitive reads exactly one prefix and v bits, invokes @@ -18,8 +22,9 @@ no-cross-prefix-effect contract on successful valid inputs. trace.leaf reads geometry only and retains chronological ADD/swap/sign order within each prefix. Thus the original primitive-major schedule is the direct product of maps T_t,i. Operations on different prefix payloads commute, even when their -coefficients are correlated through a shared borrowed Program: their read-only -dependency is shared, but neither updates it. Reorder only across i, never +coefficients are correlated through a shared borrowed Program: their Program/Fields +logical dependency is shared and unchanged. Deterministic cache population and +meter increments need not agree between the schedules. Reorder only across i, never across t within i. This proves that prefix-major execution produces the same p complete local returns for every Boolean source packet and every such context.