diff --git a/research/qq16-portable-integration/README.md b/research/qq16-portable-integration/README.md new file mode 100644 index 0000000000..7d38aaf057 --- /dev/null +++ b/research/qq16-portable-integration/README.md @@ -0,0 +1,177 @@ +# Portable replay of the complete QQ16 protected-return fixture + +**Verifier engineering; no new saving, supplier admission or kappa.** This +package makes JoyboyBrian's PR4790 six-case integration replay executable on +native Windows with one source-bound, in-memory path-rendering correction. +The full original result is compared, including JSON scalar types. Frozen files, +archives, original inventory/hash checks and mathematical guards are retained. + +The failure was already reported by Mainzu in +[`selected-stock-rho-ledger`](../selected-stock-rho-ledger/README.md) for PR3385, +and blocked the complete integration attempt in +[PR4949](https://github.com/CrocSwap/integer-mult-bounds/pull/4949). Mainzu's local +shim was not a registered reusable replay. This contribution supplies a narrowly +bound adapter, fault controls and the complete PR4790 replay; it does not claim +the path issue, return optimization or earlier ownership audit as new discoveries. +It answers [the explicit handoff](https://github.com/CrocSwap/integer-mult-bounds/discussions/1166#discussioncomment-19137316). + +## Exact failure and correction + +On Windows / CPython 3.12.0, the unchanged command + +```sh +python -I -B research/qq16-protected-return-caller/verify.py --case fixed +``` + +fails before the first return at retained PR2753 `verify.py:75`: +`ValueError: no omitted or extra predecessor files`. Its inventory renders +relative paths with the host's separator, whereas `FROZEN_FILES` uses `/`. +The complete 50-file inventory includes nested names such as +`vendor/controller.py`, rendered as `vendor\controller.py` on Windows. + +The adapter changes exactly this expression in executable memory: + +```diff +-str(path.relative_to(here/'predecessor')) ++path.relative_to(here/'predecessor').as_posix() +``` + +It requires the complete original module SHA256 +`65126e788eeea10e830fc583cf4afe0bfc4d67495cbf8ac21de3507dbe624d56`, +exactly one matching expression, and the complete transformed-module SHA256 +`d3685f34f88b1e2f5f8aaf5fe55bdbaf7f4bb004af8bcf321a2e9e4cb4e74ec9`. +No path is dropped, renamed in the manifest, case-folded or stripped. On POSIX, +the replacement gives the same names for this exact inventory. Controls check +both path flavours against every retained name. + +The actual source chain is PR3087 `inputs/pr3055.tar` -> +`inputs/pr2899.tar` -> `inputs/pr2809.tar` -> `inputs/pr2753/verify.py`. +The source hashes for each archive boundary are checked in `verify.py`. +The original PR2809 loader's two allowed complete historical selected records +remain the only accepted records. Its compatibility controls still reject +changed kappa and proof supplements. The original PR4790 temporary projection +supplies its exact historical selected record; the repository's current selected +record is unchanged. + +## Coverage and evidence + +The new launcher authenticates **143 live files**: all 136 original inputs and +all seven files of the retained PR4790 package. `SOURCES.json` binds their Git +blobs and SHA256 values at main `cef4b52f2a59009865bf8eabde1be3f159063703`. +PR4790's published head is `38dd6b59d50d346bb34fea02a4ee1ac8d282ebbf`. +The retained package's own authentication also runs. + +A temporary compiler hook recognizes only the exact PR2753 source image and +must fire exactly once per worker. It is removed in `finally`. The original +PR4790 aggregator is executed unchanged; a module-local subprocess facade +redirects only its six recognized worker commands to this launcher, preserving +order, `-I`, `-B`, optimization mode, fresh bytecode-cache namespaces and each +90-second timeout. Its original adapter, fixture, numerical execution, metering, +source census checks and every comparison remain executable predecessor code. + +| Original case | Reproduced boundary | +|---|---| +| `fixed`, `adopt` | Two nonconstant generations, 24 actual child calls per arm, equal complete endpoints and exact final inventories; 8,046 record Tapes per arm | +| `stale-engines` | Original disjointness guard rejects after four completed returns | +| `stale-external` | Original external-inventory guard rejects before any completed return | +| `output-alias` | Original exclusive-inventory guard rejects after four completed returns | +| `service-stop` | Deliberate stop after the fifth return; actual controlled disposal checked before fixture cleanup | + +Each successful generation retains the original order: four producer calls, +six service calls, then two later producer calls. Packets contain 512 bits in +this reduced fixture. The inherited whole-fixture difference is exactly +`(reads, writes, moves) = (61488, 24576, 49200)`. This reproduces PR4790's result; +it is not an additional optimization. + +The canonical **complete original receipt**, rather than selected output fields, +has SHA256 `1c9579c7e34614030922e51697b511db7bea0a3e4c3a652a54bed162e3e19a67`. +The launcher compares it with retained `RESULT.json` after each full replay. + +Twelve new failure controls exercise actual source/receipt boundaries: missing, +extra and changed predecessor files; changed Git blob; omitted predecessor +manifest entry, live source and CI input; altered adapter source; boolean to +integer and integer to float substitutions in the full original receipt; +omitted service cleanup; and changed saving. The positive authenticator checks +50 frozen files, four proof files and eleven live inputs before and after these +faults. The retained PR2809 selected-record controls run separately. On Windows, +the control also requires the original unadapted authenticator to reject at the +reported inventory boundary; on POSIX it requires both authenticators to agree. + +## Reproduce + +Python 3.12 standard library; no solver, Git subprocess or network is needed by +the direct verifier. From the repository root: + +```sh +python -B scripts/research_package.py --package research/qq16-portable-integration +python -I -W error -B research/qq16-portable-integration/verify.py --json +python -I -W error -O -B research/qq16-portable-integration/verify.py --json +``` + +Expected marker: `PASS_QQ16_PORTABLE_INTEGRATION`. The registered hook executes +both modes, each with a 300-second bound. The direct `--controls-only` option +checks the source/receipt boundary without running the integrated cases. + +Local verification on October 23, 2026: + +- Metadata/source-pin validation and both registered commands pass on Windows / + CPython 3.12.0 (119.465 seconds for the complete registered pair). +- Both adapted direct modes pass on Ubuntu under WSL2 / CPython 3.12.3 + (75.192 and 74.863 seconds). The unchanged original full PR4790 replay also + passes there. Timings describe this host, not a speedup or performance promise. +- All three captured platform/mode JSON reports compare equal; the registered + Windows commands compare the same complete original receipt. +- All 143 live input SHA256 values are unchanged after verification. +- The selected orientation helper returns `PASS_RESEARCH_BASELINE_BINDINGS_ONLY`; + this checks source bindings, not the selected mathematical cold replay. + +The official exporter can snapshot the committed package and its declared +inputs. After integrity checking and extraction, the same direct commands run +without Git. There is no write/regeneration mode and no expected receipt is +updated by verification. Archive checks, publication-byte validation and hosted +CI status are reported in the linked PR. + +This is a shallow checkout, so the optional full-history publication-ancestry +preflight was not run. Every declared pin resolves at the exact starting main +commit; no unmerged foreign Git object is required. + +## Scope, coordination and credit + +This is a reproducibility extension using the original mathematical checker, +not a second independent implementation or human/formal proof audit. The six +cases use reduced geometry. Production O73 execution, a new complete root +census, full native/all-size admission, stock/precision/compiler proofs and the +complete D* versus B* cost are not supplied. Finite rebinding control remains an +unknown signed charge. The inherited source census and whole-root saving +formula remain credited source evidence. No selected cold replay was run. + +Handoff-first assignment, `portable-replay`, priority revision 7. The original +card and refinement are in `TASK.json`. +[Canonical claim and findings](https://github.com/CrocSwap/integer-mult-bounds/discussions/4744#discussioncomment-19137557). +Initial remote overlap covered 315 open PRs and 4,035 Discussion records with +complete pagination (03:44–03:45 UTC, October 23, 2026). Subsequent local search +covered all 6,601 tracked top-level notes and found the credited Mainzu precedent. +Canonical main was refreshed to `3fd7d441b898563fedb7dc45e5f926d937d4dfc8`; +none of the 143 inputs or governing guidance changed. The scientific source +pins remain at the starting main commit. +Arbitrary closed diffs, nested notes and unpublished work are outside that scan. + +Credit JoyboyBrian for PR4790's installed composition and full receipt; Chris R / +Clear1nsight for PR4166/4167/4172/4177's caller, transaction, tariff and cost +lineage; DavidAriasC for PR2753's authenticator; Mainzu for the earlier Windows +observation; Tekalign for role exchange; Jose Manuel for physical machinery; +and all QQ16/native predecessors named in the retained package and archives. +The PR4949 handoff and finite ownership audit retain Mihir Srivastava's credit. +New adapter, controls and replay by Mihir Srivastava with substantial OpenAI +Codex assistance. No subagents or independent human review. Apache-2.0. + +## Open next questions + +- Price the complete D* versus B* comparison at the actual nonterminal C8 band. + Start from PR4790 and current #4744 handoffs, with an explicit finite-control + tariff and every unmatched native term. The reproduced return saving alone + cannot decide that comparison. +- Other callers of the same frozen authenticator need their own source closure + and full-receipt comparison. Mainzu's PR3385 replay note is one concrete + starting point. This package does not install a repository-wide patch; check + live overlap before extending it. These questions are structured in TASK.json. diff --git a/research/qq16-portable-integration/SOURCES.json b/research/qq16-portable-integration/SOURCES.json new file mode 100644 index 0000000000..7305ec3c69 --- /dev/null +++ b/research/qq16-portable-integration/SOURCES.json @@ -0,0 +1,882 @@ +{ + "schema_version": 1, + "base_commit": "cef4b52f2a59009865bf8eabde1be3f159063703", + "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": "notes/batched-complex-rows.tex", + "usage": "input", + "git_blob": "e13bd96eb29bdc6526f10dc32e0a146bc17848a4", + "sha256": "64c70926a8705874f1c9b42a2f703e42cad4e90f927f544458cfdf729540236c" + }, + { + "path": "notes/compact-control-layout.tex", + "usage": "input", + "git_blob": "16f4d233471a7d189163ae7e7902becadecbba64", + "sha256": "2bc28e50f3eb092195294cafa81213e520f6d42e7935e9905ad8a6199e2a7c87" + }, + { + "path": "notes/compact-control-movement.tex", + "usage": "input", + "git_blob": "06b6a9ef24245ac7b724c53a204635415b402357", + "sha256": "b963c3d2f4e1b7059aa289bb4b4ac89b688920bcf42f5b20d7698cdef0132cc6" + }, + { + "path": "research/bit2234-stock-threshold/README.md", + "usage": "input", + "git_blob": "ede0d322c477af91d4c2cc33db0fd10958f45eab", + "sha256": "1e050c9f963421d751d9208092f9a15321ed77810e03912df8eb5eb56bbb06e7" + }, + { + "path": "research/community-frontier1042-audit/selected-replay.tar.gz", + "usage": "input", + "git_blob": "6f4dc6fe7631d8aacf8081fcaecf32197181685b", + "sha256": "22c3f4dce4b897a1d423d1388801933e288b6a6b1906cb15e1b16a5eb68db754" + }, + { + "path": "research/community-frontier1094-audit/selected-replay.tar.gz", + "usage": "input", + "git_blob": "c24daf067f9c543421d89ca2eeaa4eb78a57fb6f", + "sha256": "f1da80610bf33c58527f18ad63b4350d0b864e1d4486141ee17ac9bed4d529d6" + }, + { + "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/complex-grid-prefix-audit/PROOF.md", + "usage": "input", + "git_blob": "30f019e14866200660cbd2ad82f3bff707003210", + "sha256": "9c2473e080a64de5139abf66680534043143ec9f4488ceabf62403702047a3ad" + }, + { + "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/gaussian-normalization-stream/SOURCES.json", + "usage": "input", + "git_blob": "58fce750dc2814f36ac096b407dd28293539bf8f", + "sha256": "c434302f4489366c1763f918ba59e2f57efc0a41d72310fd3c6bbe1553370275" + }, + { + "path": "research/gaussian-normalization-stream/normalizer.py", + "usage": "input", + "git_blob": "5d1a0961ace6b7edccb26c05780623c5509a7597", + "sha256": "2b0acaa831219faf3e7776969bdcffc3f0f9c608b15d6b4c343ff20cf6a50107" + }, + { + "path": "research/gaussian-parity-synthesis/REVIEW.md", + "usage": "input", + "git_blob": "0a6a4c7c1e8bef9c9aa9c7fb636e5ad6c0c411ae", + "sha256": "7d7b9ac63ccd2927f592e9edac1b4c11d58a6c74c5813d488e112f729090f60c" + }, + { + "path": "research/gaussian-parity/gaussian-parity-certificates.tex", + "usage": "input", + "git_blob": "e364cff719a12a5dfd52f2975cd07cc0318da511", + "sha256": "e21e1063141cbc798e73052e22d01eec57f1c173a580041e55aa196b1b0479f8" + }, + { + "path": "research/joint-query/certificate.json.gz", + "usage": "input", + "git_blob": "c6e876d8b48d768214deee265ade428f8983b566", + "sha256": "a5ed85fac5ebf3c091482a113ab0d351eb5a7892fe2841a35e16017ec1ff49f7" + }, + { + "path": "research/joint-query/evidence/BRIDGE-REVIEW.md", + "usage": "input", + "git_blob": "86139908c418235588045324f0873de6ac9f9707", + "sha256": "d01b5f4959f7c91f835496d050dfae3eeab9dee2f581571c316a42571eaa1cd3" + }, + { + "path": "research/joint-query/evidence/JOINT-QUERY-TRANSFER.md", + "usage": "input", + "git_blob": "a6805c58f23132f9420efebf90f5b7e863c2e179", + "sha256": "9e13e73ebf3192a6548798c2f1d13bd4d83957e8db0dc34de12b1a5311a52a75" + }, + { + "path": "research/joint-query/source_data.py", + "usage": "input", + "git_blob": "c9d465ed47500304bef65fcb588befe356c5cf09", + "sha256": "d23924511e3aed41e5e64511ca70126a636d91c8aa02e656cb61d6ceca1fe0a0" + }, + { + "path": "research/joint-query/verify_native.py", + "usage": "input", + "git_blob": "ede9e7e42744dd0c96790516a9acdfe07d180018", + "sha256": "1c58e7b6e8e1cde4df455c2129601c145ed763fc63a3ab427eb1058d1fc08bd2" + }, + { + "path": "research/joint-query/verify_scalar.py", + "usage": "input", + "git_blob": "7a7051fa8a70f48589fa1fccd5c38fccb5eacbf7", + "sha256": "33bdbad17a0531fe527aff306eb235d9c38c1629db4fd167b989725930b0327a" + }, + { + "path": "research/p104-whole-word-internal-grid/README.md", + "usage": "input", + "git_blob": "4075bb303592ccc53cd7d29399f15ff01c89da5d", + "sha256": "d98c0b0a4835d766852e960299dd87112375990ed645d2c9e84edb08b79500e4" + }, + { + "path": "research/physical-complex-controller/PROOF.md", + "usage": "input", + "git_blob": "c505caecc7ced19a4efc35c423efedda9427bea5", + "sha256": "471185621c0ecce295ffd327b1244aed234efe5ff05a804aaaa11316f1a8319e" + }, + { + "path": "research/physical-complex-controller/SOURCES.json", + "usage": "input", + "git_blob": "a56a247ecb28c77fcb055fac031be471b291777d", + "sha256": "c9c47d9df2445fc554673316d42f68f0a1b800ea3593ac568835c9b063025eb4" + }, + { + "path": "research/physical-complex-controller/bank_packets.py", + "usage": "input", + "git_blob": "defda707199e8eba83ee483daf5ae7acb642c43c", + "sha256": "83e2f80fb72c906ccc7857f2b5139758ca8a997b17f51a5db29e2bb3c1143477" + }, + { + "path": "research/physical-complex-controller/cohort.py", + "usage": "input", + "git_blob": "3876ab737f3c2a90100749e4ba141f1923caff79", + "sha256": "8fb650c0cc3dfaad94811149b0c0e725777a8cff195c5f21e21a7576494e84f1" + }, + { + "path": "research/physical-complex-controller/cover.py", + "usage": "input", + "git_blob": "2b9b9df832a747bcb02505d5495f79d38deffa43", + "sha256": "d797daec10275f439f6019c596b89afbc32a7716cb657648adfcaae2408949da" + }, + { + "path": "research/physical-complex-controller/fixture_binding.py", + "usage": "input", + "git_blob": "447ddc84d7dd9905c767c91acc7467a495093475", + "sha256": "efcb94cf050412ccd2d5eea592d77f294f6124f6feebc86580b16a73e5c2c202" + }, + { + "path": "research/physical-complex-controller/grid_boundary.py", + "usage": "input", + "git_blob": "387576fc2f0701709237430febed7ea5b730828b", + "sha256": "55f32b8cfaa3482d5d62127ac90c2370fc0dc8122263815e1564ee95093ffccc" + }, + { + "path": "research/physical-complex-controller/machine.py", + "usage": "input", + "git_blob": "92f9467ffd3346d672a0e2c56f2508e33ed21689", + "sha256": "b648792a361fdf98597a2f56c634767508be8e818b82e482fbfc60b5c63cc855" + }, + { + "path": "research/physical-complex-controller/monomial_packets.py", + "usage": "input", + "git_blob": "5b4eaf49b3847cafa7bd99e7147c8818b248a021", + "sha256": "6856e80c13ebf3b6e9e0e142ed65420579b5a1b4892f23859d3c6e5f17a334b4" + }, + { + "path": "research/physical-complex-controller/native_program.py", + "usage": "input", + "git_blob": "7d1c54c7d1394de28585d48b1a703d4b00069e98", + "sha256": "177d87445659d7ddbef11370d0b4cdc0596732147ed26c1fa11bad16ae53c93b" + }, + { + "path": "research/physical-complex-controller/parking.py", + "usage": "input", + "git_blob": "34bc6a0bd0daade7ccc69d0c236984f024d22ef4", + "sha256": "33e6d2a6fcdc648de31b374132bf885259eec9748bafa6facca3822a78427e94" + }, + { + "path": "research/physical-complex-controller/root_layer.py", + "usage": "input", + "git_blob": "389efd17af0f8d68711f0e7c6d8b6be65421e846", + "sha256": "247b82feefecedc12142379fd7c9c6cdd5ac7e5309e443c4b4fa703d6b995c21" + }, + { + "path": "research/physical-complex-controller/root_plan.py", + "usage": "input", + "git_blob": "78390164c3551bfcce8da6b0f23197a4048a7e5e", + "sha256": "494cad3edc376928684f380cd16568076b286a53bd763d910d49efa5b03f07c9" + }, + { + "path": "research/physical-complex-controller/root_streams.py", + "usage": "input", + "git_blob": "213144a6c905ac5dfbec9aaadc43f14eb4b1044d", + "sha256": "b67daf3de591b6788220a016b0394cfe2cc8e94ffd41426bb2544ad578b715c8" + }, + { + "path": "research/physical-complex-controller/scalar_packets.py", + "usage": "input", + "git_blob": "66ea778399423005695bdea1e43ef9dcde903402", + "sha256": "cc48f726325c000ab2304eb691feb950ff4abeab5c537d6165d5b3322dc45c35" + }, + { + "path": "research/physical-complex-controller/scalar_program.py", + "usage": "input", + "git_blob": "30ba678c7b828285d549e923b34e315e439b8452", + "sha256": "4c005167b4c2fe0d98d2dd93b7f931b251259417ff4392b67ee0fbe290f6d48a" + }, + { + "path": "research/physical-complex-controller/selected_binding.py", + "usage": "input", + "git_blob": "5fe097ff688f5304a45945054e9d4a4af05f13d8", + "sha256": "d6583458d00e4933c3a3fd83cc376f21c059e9fc6aa338c00d66c1deeaa0e985" + }, + { + "path": "research/physical-complex-controller/selected_source.py", + "usage": "input", + "git_blob": "6bdc133472e85d2230d59c91813390b3547caf8d", + "sha256": "02601c9e7d88e58e62d63509ff709c6498a40fbbc0f95fab328379ae6acaa87a" + }, + { + "path": "research/physical-gaussian-leaf/PROOF.md", + "usage": "input", + "git_blob": "e98db470cdb8bfc49e9da86c39c0d6ae16e92716", + "sha256": "29ebd43146f921077f980a408915ecc3a5199a07fcdadc624a8282c06b0b8104" + }, + { + "path": "research/physical-gaussian-leaf/SOURCES.json", + "usage": "input", + "git_blob": "2ae5d4a9bd2b62bf21fee81106fa9e38bbd84bd0", + "sha256": "c693fc79212652d7427560189ad8eb5e841fe71325e6d7a0d61e05f97438a5e1" + }, + { + "path": "research/physical-gaussian-leaf/axis_stream.py", + "usage": "input", + "git_blob": "ba8230443fdb0370b72a7a617ba7d88eb23a9c37", + "sha256": "40dea1c6fa41effd8e7a61f39a3a599e897370ca118e332ee5301a905dbb2998" + }, + { + "path": "research/physical-gaussian-leaf/coefficient_engine.py", + "usage": "input", + "git_blob": "dff2f099b60c23310a10665cd81e443282b249e8", + "sha256": "fff28cbc27b95ed546ac65f70279fa41a933421f1cd32b988ae8910632f0efcf" + }, + { + "path": "research/physical-gaussian-leaf/inputs/pr3087.tar", + "usage": "input", + "git_blob": "6daedf70a927fa1359caec68d56fc0cbdaeb54dd", + "sha256": "d7e9c04a5e6d3f76158555d84080786c7cd8028ca31a61c9399de2b2c67bfd53" + }, + { + "path": "research/physical-gaussian-leaf/leaf_sources.py", + "usage": "input", + "git_blob": "31c33dbed6061ca7c0455a9170fd05fb388f4607", + "sha256": "e0f958a0169257ba08eac5e025a3fc7ce99009efc18974cdd231f16758004014" + }, + { + "path": "research/physical-gaussian-leaf/signed_linear.py", + "usage": "input", + "git_blob": "d17018a976ea4af15b6b5828a091d799435bacfc", + "sha256": "5b86afc33042e1c43eaa6957f94e0ebf403d1b07bb26d30ba89aa14d71f76078" + }, + { + "path": "research/physical-scalar-stream/scalar_engine.py", + "usage": "input", + "git_blob": "aea19253f6a772047f22d2f0e1927b9bf319aba9", + "sha256": "be74c74862ff2b152d3752cb887c6682ddf2d889bc9f16f6328e418618e4c8b6" + }, + { + "path": "research/physical-scalar-stream/scalar_words.py", + "usage": "input", + "git_blob": "36919dc569678656a1696f23454cba2d1fb0f393", + "sha256": "f4293c5ea5a7b65be920997f2ff33ce046ae3d9707ecbcecb3bd163d821dfd00" + }, + { + "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/qq16-all-depth-producer-grid/PROOF.md", + "usage": "input", + "git_blob": "9cf1ec57646fb760fd26f206d754e52c99c347e3", + "sha256": "6dd878aa01807eecf4a37f7ce3fbc1105d79f6b1b06791b23d4deeef90b7d994" + }, + { + "path": "research/qq16-caller-install/ADMISSION.json", + "usage": "input", + "git_blob": "804c010ce80fd9caa80ba2a2436aa39d630324db", + "sha256": "fef2407cc8cc081bfd5e5fa9dbee23d1d119b2b59b6fad0b3484593cdcfb0187" + }, + { + "path": "research/qq16-caller-install/BILL.json", + "usage": "input", + "git_blob": "674b8493d82accb134de4884b7e6fa63c7d265db", + "sha256": "ccc10df473fb4bf7c2aa0b9e5c0ad01bf029ae9d2102dc1caa48ca59eb8e46a6" + }, + { + "path": "research/qq16-caller-install/COMPILATION.json", + "usage": "input", + "git_blob": "a9f8017f06f7c9517b090f7d02bf408138ecb28e", + "sha256": "eda249c33de0924c3bff99a2ae2b0f137990808a904cb3c46d36399ea49703ed" + }, + { + "path": "research/qq16-caller-install/CONTINUATION.md", + "usage": "input", + "git_blob": "c3d5959ec2815abd31f1f885712340caafcaa26b", + "sha256": "a2d928d14fcff9b16d4e88dd60237fd13b93fcf21d4996d7d98eeacd834e9867" + }, + { + "path": "research/qq16-caller-install/COST.md", + "usage": "input", + "git_blob": "122f19d101be401800e9819f1d8fd3e7983e699b", + "sha256": "cf6d68babc70ac268f02fe53f3abfa5172b5204dbef692a94c4942a65bfc5b40" + }, + { + "path": "research/qq16-caller-install/DECODER.md", + "usage": "input", + "git_blob": "2961fd8d8a2a98d4195167f82aad5249c698727d", + "sha256": "3bef6d83596ce8d90ea1d9f2da9ab081287f498b27e34cf56e7a46be643e56d9" + }, + { + "path": "research/qq16-caller-install/EXECUTION.json", + "usage": "input", + "git_blob": "72e5c299de44b795057363c5ea4f6386ec57a1aa", + "sha256": "2d49db217eefa8e55f56476b90b9132ceddcb2986691b7aa20a8c555b725f0c8" + }, + { + "path": "research/qq16-caller-install/LIFECYCLE.md", + "usage": "input", + "git_blob": "ed1e42e347eab6d74ee654f38a381bb835577049", + "sha256": "881153d57505325456c91bf8c5a3eca2980b634f792217d18e8a07130c8c08dd" + }, + { + "path": "research/qq16-caller-install/PACKET.md", + "usage": "input", + "git_blob": "3e3142d427f48d4e7de3015ed65c4896658590ab", + "sha256": "dab89829f5553d945866219c2f668cec6a71a8f694effbe9ac0e3e091ee3e99b" + }, + { + "path": "research/qq16-caller-install/PREDECESSORS.json", + "usage": "input", + "git_blob": "4eef989ff4beb190b0cf6aaab4d0459afc572c42", + "sha256": "57440a9f5cae02f123b38ad68e43928b694e7ca4e6569098c7904d7fe846b0c4" + }, + { + "path": "research/qq16-caller-install/PRODUCER.md", + "usage": "input", + "git_blob": "c22aa5ac997d4097a164cad39a15592be77ff608", + "sha256": "49b360232f422e299a17cf908f1a39d44847dbe1cd11ec2e5f8533f60829ba70" + }, + { + "path": "research/qq16-caller-install/PROOF.md", + "usage": "input", + "git_blob": "a19beac6fc3b56625dc4caf684d47c7c28f23e7e", + "sha256": "fde109910f348266a4781239d9b673e27ed335a33549d29a1914fa485855f158" + }, + { + "path": "research/qq16-caller-install/README.md", + "usage": "input", + "git_blob": "d1d42d5e494f22a9db6da8ae4539d9edf2165334", + "sha256": "b781f1cd3ff625c5cf1264f8cf61f9b4413ea3516e35b3984d816bbf45b25fdc" + }, + { + "path": "research/qq16-caller-install/RESULT.json", + "usage": "input", + "git_blob": "94f0c6dc816f5280bb2d06414e6c0f2cb9a8deb0", + "sha256": "08e59d781a60aa0eb49bc86cb819111ad4e0ccf9ce9807d8fb09fa12884c7925" + }, + { + "path": "research/qq16-caller-install/REUSE.json", + "usage": "input", + "git_blob": "7439823c3c52f7244e87c5fbd8b13dd19875b2f4", + "sha256": "3c1954483d8f8769335ac81cbc87ec9fdf9956b0ffac6bd82b5d999e77ce5f8d" + }, + { + "path": "research/qq16-caller-install/REVIEW.json", + "usage": "input", + "git_blob": "23bea95cf478b0477da6dade0a38a613118732c9", + "sha256": "d6f3d15890224125ec40849d88601d00f993458335db3e60081bd97e2e739950" + }, + { + "path": "research/qq16-caller-install/SOURCES.json", + "usage": "input", + "git_blob": "54df1264ecc0f082c595f7670bfac9e3505a6450", + "sha256": "3ba36d49185c81691dc8c5a87f3f80a0540579bfd8b97658a52037aaa62274a6" + }, + { + "path": "research/qq16-caller-install/TASK.json", + "usage": "input", + "git_blob": "4a960f18037f3e8fd956fca8011f4ebe55fa5f6a", + "sha256": "59884e2b7ac9d8c26e01807eae431e4e47fe9b2f8206678c81a8d06e91fe6848" + }, + { + "path": "research/qq16-caller-install/VERIFY.json", + "usage": "input", + "git_blob": "fa219dde4e9b43f7a95b06ed151ce7c5092e6214", + "sha256": "b3d0eb4cfff3b0a885d6b4bb7b11aa961f57526dee4e3b7ae0e25d3e1164d839" + }, + { + "path": "research/qq16-caller-install/auth.py", + "usage": "input", + "git_blob": "b49b3a87709a05659a44afc85216a53fb0ee8d63", + "sha256": "98cd015d9b6c9501f36a305b58f9bef88b904b9d6bbd921e0a6ecd351b960a79" + }, + { + "path": "research/qq16-caller-install/connection.py", + "usage": "input", + "git_blob": "8d010eeece6622ea7dfbf1462ecd4ae1b0702c61", + "sha256": "3da2ac158a6f36a568d0873cbb45f230ba8fa609cf8092bfbd55da83bae498c2" + }, + { + "path": "research/qq16-caller-install/continuation.py", + "usage": "input", + "git_blob": "0639356935a69610c3ab1c79e96d56887ce711b8", + "sha256": "9fa2de5d79768b4130f81a74f29f388ffc28c990512a9fa22921ec2d75401aca" + }, + { + "path": "research/qq16-caller-install/cost.py", + "usage": "input", + "git_blob": "01da5024495a16a8ad6cfb5be2dcd7ac0a36fdd6", + "sha256": "935b23fee0abdce52279820febce93d23a2095f347ddf0da4fbd424995b99842" + }, + { + "path": "research/qq16-caller-install/decoder-fixture.py", + "usage": "input", + "git_blob": "c6829e39be76da90c695162afa00dffd89e64db0", + "sha256": "b09b2751fccc37e3c2c864ce89aa13bbdc6bfba3296bbb816b9636ff1fbffea4" + }, + { + "path": "research/qq16-caller-install/decoder.py", + "usage": "input", + "git_blob": "edc8bdbd22083b7d9f8648fef1c12460572c6885", + "sha256": "e169a8b160bfa89dd22bc618df1ed947ebe668e82bca1014c70781ff9dcf75ce" + }, + { + "path": "research/qq16-caller-install/inputs/PR3055-PROOF.md", + "usage": "input", + "git_blob": "f65f38123ca0adb02f6ca69351cbfc933506e5cb", + "sha256": "ec6395822ae500242f3fe5e2cf40caf9a7f9fa259d475d2c14970d951ff4df48" + }, + { + "path": "research/qq16-caller-install/inputs/PR3380-PROOF.md", + "usage": "input", + "git_blob": "d32e60ad65aee0b2a1663d5d739e78c3bf03009a", + "sha256": "c208f16c93be22795b9b01a5a1702a446541163ebf823251b12a891597077826" + }, + { + "path": "research/qq16-caller-install/inputs/PR3464-PROOF.md", + "usage": "input", + "git_blob": "1e241b1e9e46a5d41bd29d4413e326104407adc2", + "sha256": "b3c41ea0f812315a7bab877edecc911e6dffb5b596f4135a39c3d5b99aae14c5" + }, + { + "path": "research/qq16-caller-install/inputs/PR3464-bank_packets.py", + "usage": "input", + "git_blob": "defda707199e8eba83ee483daf5ae7acb642c43c", + "sha256": "83e2f80fb72c906ccc7857f2b5139758ca8a997b17f51a5db29e2bb3c1143477" + }, + { + "path": "research/qq16-caller-install/inputs/PR3464-machine.py", + "usage": "input", + "git_blob": "92f9467ffd3346d672a0e2c56f2508e33ed21689", + "sha256": "b648792a361fdf98597a2f56c634767508be8e818b82e482fbfc60b5c63cc855" + }, + { + "path": "research/qq16-caller-install/inputs/PR3464-parking.py", + "usage": "input", + "git_blob": "34bc6a0bd0daade7ccc69d0c236984f024d22ef4", + "sha256": "33e6d2a6fcdc648de31b374132bf885259eec9748bafa6facca3822a78427e94" + }, + { + "path": "research/qq16-caller-install/inputs/PR3464-selected_binding.py", + "usage": "input", + "git_blob": "5fe097ff688f5304a45945054e9d4a4af05f13d8", + "sha256": "d6583458d00e4933c3a3fd83cc376f21c059e9fc6aa338c00d66c1deeaa0e985" + }, + { + "path": "research/qq16-caller-install/inputs/PR3607-PROOF.md", + "usage": "input", + "git_blob": "158cd78492161aeab75ba09f050a8e5d1a91ef71", + "sha256": "fab92623c04ff43868c1cf787b0fbdf619e81301a83f6272f6d33cadf6c42f9d" + }, + { + "path": "research/qq16-caller-install/inputs/PR3619-PROOF.md", + "usage": "input", + "git_blob": "afaff74d38945d26d02f4fc8e9884b4f811d8249", + "sha256": "88edbc9718c00302c0aae2036a32e4d9f534090a9754eb7d267707e637971cbb" + }, + { + "path": "research/qq16-caller-install/inputs/PR3993-PROOF.md", + "usage": "input", + "git_blob": "51e4fade5fdcec75be981d0be77d3f8ab2aced53", + "sha256": "18a0b88a25817aee02356fc8156ecfb6f175a3689dc16b2eb31e23ad4bdf83e9" + }, + { + "path": "research/qq16-caller-install/inputs/PR4106-WORD.json", + "usage": "input", + "git_blob": "6c6f726cd14010f9763155518f833862eb167263", + "sha256": "b4f2b5662734178d02a5d620ebd071bc284abd4d9b6dbe11b5d9646455a0f021" + }, + { + "path": "research/qq16-caller-install/inputs/PR4114-README.md", + "usage": "input", + "git_blob": "cc4743dd9d56f0facc6e63f7a67b1b03f9cf37f5", + "sha256": "734d8d3578be00e6899bd500b91f0fe992e13d3921faebc9fc2400d32e208bd6" + }, + { + "path": "research/qq16-caller-install/inputs/PR4129-COST.md", + "usage": "input", + "git_blob": "989da4b71d9f3c8bb43b7e2f975c1d9c7f590a54", + "sha256": "05699f427530cc0417e28bd1c3a94b018ffdd0d5c4bc9f4261d49a557e293d9b" + }, + { + "path": "research/qq16-caller-install/inputs/PR4129-NATIVE.md", + "usage": "input", + "git_blob": "c0133ac0e758b3ab8ebf053811910404a2e74f24", + "sha256": "567e4d12ac7d57f5916d7ecc24c77cd351ce3fcc966acf8348d7288ee9801b03" + }, + { + "path": "research/qq16-caller-install/inputs/PR4129-PREDECESSORS.json", + "usage": "input", + "git_blob": "e7e6b6130fea5737b24f24fa668d1d3202a02ed4", + "sha256": "209170a530f2ec5897edb102c029863bada01409fb2f838132a94127ff768315" + }, + { + "path": "research/qq16-caller-install/inputs/PR4129-PROOF.md", + "usage": "input", + "git_blob": "5de56af0213bf710ae3e832f21de74cf0ac9c7b0", + "sha256": "b547277ab5380b218893908a3e8e8874efc0cf3f9717b582f8972698d87418a2" + }, + { + "path": "research/qq16-caller-install/inputs/PR4129-README.md", + "usage": "input", + "git_blob": "71858dcddef078456016716c05d7e310eee77bcc", + "sha256": "fd47f198b534ae0b9a1d1896614100c56145dc5004650de6c9d4b27a8cba219a" + }, + { + "path": "research/qq16-caller-install/inputs/PR4129-RESULT.json", + "usage": "input", + "git_blob": "af630ea7b9fcfab3e399191437405332d5067e03", + "sha256": "7dd05d54817202d86de77b550b0e68517756eb8ec71d3b591ebde0cb4e9e2389" + }, + { + "path": "research/qq16-caller-install/inputs/PR4129-SOURCES.json", + "usage": "input", + "git_blob": "e7121d9892727c96dcb7c9bbe92d32b1e0596cc5", + "sha256": "d4b3343f6f6b1d08a2879df693e6d2ab89246615f20fb978a4e9cbfd5ee2e26d" + }, + { + "path": "research/qq16-caller-install/inputs/PR4129-TASK.json", + "usage": "input", + "git_blob": "e031101d7f1bf6344b273912d896145f4ce57599", + "sha256": "73729ec6260d118bd0a73fd89576f2c33aff772d4a932bb56330ac42fdb326d3" + }, + { + "path": "research/qq16-caller-install/inputs/PR4129-bridge.py", + "usage": "input", + "git_blob": "4d5d99ee8f1da0eaa941e7040be8cefafb984e1f", + "sha256": "120cd3a2d0deb44b9c059636b1ac9bdd8a6b998143718f4252794780edf7decb" + }, + { + "path": "research/qq16-caller-install/inputs/PR4129-construction.py", + "usage": "input", + "git_blob": "79573076c53126618c125c9ad4d21c06ee70a8ba", + "sha256": "bbfb0014e8636ab4f66ff925189fd523fd4e8e377aec51509f4f3fe6877c3007" + }, + { + "path": "research/qq16-caller-install/installer.py", + "usage": "input", + "git_blob": "fdb932baa00482d61b4ab48ca1413dd45ba319a3", + "sha256": "6af289c0b21c11dad7efaa2f7373ad0f61a3d1d6975bcfb5d1560320373260df" + }, + { + "path": "research/qq16-caller-install/integrated-fixture.py", + "usage": "input", + "git_blob": "871a21846e5b0479ba22f5b63c912990322442e3", + "sha256": "e4f8bcc947e761ca4f1efb825794210dfd56ca79e049a5207fbfad26ee7e71ae" + }, + { + "path": "research/qq16-caller-install/lifecycle.py", + "usage": "input", + "git_blob": "56c16368013ba2ba212890325f34039326040747", + "sha256": "2eadca77717ee28c24dd6ff175a115277a83d852c56d320cc93937cab27e5191" + }, + { + "path": "research/qq16-caller-install/packet.py", + "usage": "input", + "git_blob": "9b965f8f639e1deafdd6f0c4b2f078bb47d368c2", + "sha256": "d8f4e63feae1ed372951ba5643dadf02e2af006bf3632d29137e92d05067234e" + }, + { + "path": "research/qq16-caller-install/physical.py", + "usage": "input", + "git_blob": "79a8a5b82e7b775e3c069a6cc07ef07406213118", + "sha256": "d37813bcfbdd95f2e1b756d6f978ba2fdd4ec2b82212f2b7b228cb3422ee9b0a" + }, + { + "path": "research/qq16-caller-install/producer-fixture.py", + "usage": "input", + "git_blob": "84e4552c75b4d58035306cd3bcfdaa44409fa50d", + "sha256": "4744a12cc9c015f6cfa6bddff6886f2eb163fec4ff2e3e07556cb37152c2ebf3" + }, + { + "path": "research/qq16-caller-install/producer.py", + "usage": "input", + "git_blob": "7abf64aba3e6813afe26f68b9cbb09e1d9cb181d", + "sha256": "69a7cc6c9545a0d8684a529d6365345c337276f9c8faaf2dcdb0923ca72c396d" + }, + { + "path": "research/qq16-caller-install/runtime.py", + "usage": "input", + "git_blob": "c037424904ad291598670851de348c3fe9559038", + "sha256": "ec760da8c8799ebb0c02e4ec0464d50c627e24d6a64514ab8f753d9d10cb8764" + }, + { + "path": "research/qq16-caller-install/test_verify.py", + "usage": "input", + "git_blob": "6a00d4d61147037d8098f9c1f44561b9fab31c78", + "sha256": "08388023367b028f3d98fbfc3188505d12d6b11f23ae563b104238c68f9ddf0c" + }, + { + "path": "research/qq16-caller-install/verify.py", + "usage": "input", + "git_blob": "7639dca0296fb8d7d3c2d8d828bb0cd0f271eaf7", + "sha256": "46f16651383d5677e641c3e2fed86b6c2f3b62834d0be1699cfa03a1de0385ec" + }, + { + "path": "research/qq16-complete-cost/inputs/PR4172.tar", + "usage": "input", + "git_blob": "9c28c6447f46e7156557131ff26cb4c33ffcb8cd", + "sha256": "ebfb717d60bf37b8edd894036827210a93c2594d637d4a6b8d617018567767a3" + }, + { + "path": "research/qq16-line-normalized-decoder/PREDECESSORS.json", + "usage": "input", + "git_blob": "db77dbf21b0f89b1f5bdbd308ab20d0045f61561", + "sha256": "a8be0439e350d7a634a188176894ec51180efc0d236a56b293d39dc96383a87d" + }, + { + "path": "research/qq16-line-normalized-decoder/PROOF.md", + "usage": "input", + "git_blob": "f7c694ff54e590416e4a52fa762f9d3b9474bccb", + "sha256": "0a0995e70f2a64c15cdd1aee66634d1ba221cbcb2a7cfa3a4d4950a37d0e143a" + }, + { + "path": "research/qq16-line-normalized-decoder/RESULT.json", + "usage": "input", + "git_blob": "ba4167dbf133cff51513bb832802c290edcdffea", + "sha256": "58df4ad68e2ff335ee58fa4336a449d0f73f3366d840574e5e30b50f507c358d" + }, + { + "path": "research/qq16-line-normalized-decoder/SOURCES.json", + "usage": "input", + "git_blob": "300c183db8d263899ee1795033af215ba6522b9f", + "sha256": "66bf8f57019632ef45780769c6f112d287e145e23ff03336998589b474165fbe" + }, + { + "path": "research/qq16-line-normalized-decoder/vendor/pr2681/PROOF.md", + "usage": "input", + "git_blob": "38cd38aa1d342f3bfe0d6d7f3c388aff0352f370", + "sha256": "471f6360cdac94d9e1054c6c9530ace1822b11942f7e141dfd344864d2357862" + }, + { + "path": "research/qq16-line-normalized-decoder/vendor/pr2681/README.md", + "usage": "input", + "git_blob": "c3d4d76b28fa47b86da37cc7428d5da362c7bf9a", + "sha256": "b658e00db095f1097b9ae7ec49d8dd465c1a317cdc84da4251cbdd3e0af597d3" + }, + { + "path": "research/qq16-line-normalized-decoder/vendor/pr2681/RESULT.json", + "usage": "input", + "git_blob": "a16a8f9a23cd00c9030f9b03cf0ae52c0ff4b526", + "sha256": "e4f3ff28be27f96c341b225a62a2ba84d3907ed3466122d18bcaaf5a60da740e" + }, + { + "path": "research/qq16-line-normalized-decoder/vendor/pr2681/SOURCES.json", + "usage": "input", + "git_blob": "1db7201ed145d1ef3707ab24bb599d341439050d", + "sha256": "30a88d8bf33c603836fffdcab3c3dabf663b98f2deda95893685e394c60ea95c" + }, + { + "path": "research/qq16-line-normalized-decoder/vendor/pr2681/WORD.json", + "usage": "input", + "git_blob": "80de97cf168441a888e7d05fc2c3cace919f31ec", + "sha256": "f02e57d238f127c8fd195dc6a4a9dce6db6bee9f6050bd9d5b9c14cf6e1946d0" + }, + { + "path": "research/qq16-line-normalized-decoder/vendor/pr2681/references/PR2540-PROOF.md", + "usage": "input", + "git_blob": "6ae136c8baef4793f4f7ae630720afff6c23a953", + "sha256": "09d587f1d6bc250e90e29fa8751a40f45be79f1a8a56af0b645c144cefaefa46" + }, + { + "path": "research/qq16-line-normalized-decoder/vendor/pr2681/references/PR2540-README.md", + "usage": "input", + "git_blob": "e91138fb0fabbc0fe0e9fd80ee189ed4366a0f61", + "sha256": "07588c3863b8d686497d9c0b263c35c47424fa3b63d43b7c2e5f788bd31a8d3f" + }, + { + "path": "research/qq16-line-normalized-decoder/vendor/pr2681/verify.py", + "usage": "input", + "git_blob": "99bd60a9139b4d7ef070b69f38a954e64e0f8aa1", + "sha256": "71f9a010553691e892703e3ec8d5eedf3e48d72b7f6af24b954a5442f4a52ccf" + }, + { + "path": "research/qq16-line-normalized-decoder/verify.py", + "usage": "input", + "git_blob": "a8f3c811108414eda0b507d295cfc9301c04d585", + "sha256": "0f6fb86aafb74b9722f20cc97af70a3a3c78bd012c142b2eaa19cb00e02d1fe9" + }, + { + "path": "research/qq16-nonterminal-c8-tree/README.md", + "usage": "input", + "git_blob": "55bd5ce66846b5ddf124c655c617a8b47b52d9b7", + "sha256": "e57f9c84275c5cf0baf914322392a8ba0b39e014490c396ed1da85fb005337a2" + }, + { + "path": "research/qq16-nonterminal-c8-tree/RESULT.json", + "usage": "input", + "git_blob": "8c11adabc19648de3ebcfb20cbad1cd47ee63e5d", + "sha256": "0e3fbddf58103dd04c2bdf2912b30c218e3e68a974aac868bd07b2cc1280230b" + }, + { + "path": "research/qq16-protected-return-caller/README.md", + "usage": "input", + "git_blob": "2e4c95780f25f02c8880bcf78c7e6430c152d276", + "sha256": "33aa76b07a5631efbdb8dd4736df8014de325b5f26a1d6090e83b099a87c358a" + }, + { + "path": "research/qq16-protected-return-caller/RESULT.json", + "usage": "input", + "git_blob": "c7fb1a147dab1f39e45a3d946242b214968d4e72", + "sha256": "4495e3a116bc8be86cc21765fff62f68d9822c57d9b13bc0a2ce8904dd2f0a9f" + }, + { + "path": "research/qq16-protected-return-caller/SOURCES.json", + "usage": "input", + "git_blob": "9f76f7ff2be9938fe9de935704be11cf09261304", + "sha256": "c430fb1b15ca4a3c6549de33da81f854155dea056ce34a20a50917765df347f2" + }, + { + "path": "research/qq16-protected-return-caller/TASK.json", + "usage": "input", + "git_blob": "042a544a8a0e903150e6d0857485dc258cfeb884", + "sha256": "0479256600172d68fffb0febe70cdc2a5dacf2627b8654661b792d6f907c60e4" + }, + { + "path": "research/qq16-protected-return-caller/VERIFY.json", + "usage": "input", + "git_blob": "de2b8fe81945c5199bb7da0553dd29eec56e1d5a", + "sha256": "7394d2b99c4c81bf7d98ae0c1f6442dc49bb3b63b764a4ba39fac5410ebc280e" + }, + { + "path": "research/qq16-protected-return-caller/adapter.py", + "usage": "input", + "git_blob": "d25a04b9bbfd01851aabe905cc73837dda8ec2ed", + "sha256": "af3e39b64483075fc8dcee9fe13fecff643b30e22a861bce8fd4770f243df53a" + }, + { + "path": "research/qq16-protected-return-caller/verify.py", + "usage": "input", + "git_blob": "1bcd5f9a1a5010fcf1cc4de04faa73059d092ec4", + "sha256": "798f1d0eb25cace11bd7e5fae344930a4e29170226ba036bfe6654f0ef590f98" + }, + { + "path": "research/qq16-tagged-cover-routing/PROOF.md", + "usage": "input", + "git_blob": "44725131a9ecb8b41533492efa7a83bd65aca9ae", + "sha256": "1b32c88e6c6ace2b41a1f2168a6754c329fb1bf9a5b64cf3fec53b31085604ea" + }, + { + "path": "research/qq16-tagged-cover-routing/oracle.py", + "usage": "input", + "git_blob": "555efb4b105c6bc59395f445625eb335688cd6aa", + "sha256": "00328380126faa55b9f8027c81872663985610a247d0a61108951b394ad27fff" + }, + { + "path": "research/qq16-tagged-cover-routing/router.py", + "usage": "input", + "git_blob": "1994ad9fa80e5fbce5b58dffed0c44d89a7259a7", + "sha256": "a5221ec8a3a38b5d0133abc685ec28e392e946ef5b60dec37f69a605a45ba7ce" + }, + { + "path": "research/qq16-tagged-cover-routing/verify.py", + "usage": "input", + "git_blob": "c89b57e23f8e5167c64128763807f4c379e862a0", + "sha256": "05b06299545c7fc74de34d13951e083cc7f8f8ab1e9b9c8eb96df892a430776e" + }, + { + "path": "research/r437-leaf-dispatch/retained/selected-result.json", + "usage": "input", + "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81", + "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "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-recursive-closure/PROOF.md", + "usage": "input", + "git_blob": "6c410cab5713979214a45835091fbeb9ee9b8531", + "sha256": "74cc8de20f21acb5123fe2d20996fe0925ea6e51b3dec633bd5221fb719b3344" + }, + { + "path": "research/selected-complex-layer-closure/PROOF.md", + "usage": "input", + "git_blob": "d7ec0d101405a5f099f55f6a73e9791731737fd0", + "sha256": "43feda0342c07a9429699c3a44e8936a3f3fb57ce9b32f38ff3dc06ac887b265" + }, + { + "path": "research/selected-complex-layer-closure/arithmetic.py", + "usage": "input", + "git_blob": "009d7b7166718832ebbf11893cb1ef258184a4f9", + "sha256": "31e4b21bb64924d723d1248a7eccf4e9c80d323ba8784804af79a75da18c346a" + }, + { + "path": "upstream/build/sections/02-streams.tex", + "usage": "input", + "git_blob": "088fceea1867abc76271d7efe7532b779fee9039", + "sha256": "606c80db61cad13aa0c3b6060dc4b88dbbe7ac60cdd831aa93f28d908fd09dab" + }, + { + "path": "research/selected-stock-rho-ledger/README.md", + "usage": "provenance", + "git_blob": "26884bb575aaa712a9081ccc501946e52d39f83d", + "sha256": "979a38cc27cbcb6acac212b9c66e95a5261d822cc7ea9429df00fc6df4e3817d" + } + ] +} diff --git a/research/qq16-portable-integration/TASK.json b/research/qq16-portable-integration/TASK.json new file mode 100644 index 0000000000..aff64b71f6 --- /dev/null +++ b/research/qq16-portable-integration/TASK.json @@ -0,0 +1,72 @@ +{ + "schema_version": 1, + "task_id": "portable-replay", + "priority_revision": 7, + "base_commit": "cef4b52f2a59009865bf8eabde1be3f159063703", + "original_card": { + "id": "portable-replay", + "question": "Can one reproducible environment or artifact-comparison failure be repaired?", + "starting_points": [ + "research/gzip-container-reproducibility/README.md", + "docs/ci-verification.md" + ], + "methods": [ + "Reproduce one portability failure and add a minimal cross-environment fix.", + "Audit one canonical-payload comparison for omitted proof-relevant fields." + ], + "acceptance_gate": "Preserve immutable source hashes and proof-relevant content; a different compressed byte stream alone is not a mathematical mismatch.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Read the gzip-container reproducibility examples and distinguish frozen source bytes from regenerated payloads.", + "scope": "Positive control / source-bound orientation only; this is not a new construction or full cold replay." + }, + "first_experiment": "Reproduce one specific mismatch or audit one canonical comparison for omitted proof-relevant fields.", + "bottleneck_link": "Portable exact checks prevent environment failures from blocking valid contributions.", + "allowed_variations": [ + "One interpreter/version mismatch or one payload field comparison." + ], + "scope_change_triggers": [ + "Removing immutable-source pins because generated compressed bytes differ." + ], + "overlap_terms": [ + "gzip container", + "reproducibility", + "canonical payload" + ] + }, + "scope_status": "refined", + "actual_scope": "Repair the retained PR2753 Windows path-inventory mismatch in the exact PR4790 six-case integration replay, using one source-bound in-memory expression adapter and preserving the complete typed receipt.", + "scope_change_reason": "Handoff-first selection: PR4949 explicitly left full integration unexecuted on Windows. The portable-replay card is narrowed to that concrete caller and authentication boundary; no new cost or mathematical identity is proposed.", + "bottleneck_link": "A platform-specific source-inventory failure prevents independently replaying actual producer/service calls, guards and controlled cleanup. Restore that finite execution without weakening authentication or claiming supplier admission.", + "budget_minutes": 60, + "stop_rule": "Stop at the exact inventory failure unless a single authenticated path-rendering correction preserves every original check and full receipt. No production geometry, full mathematical cold replay, expanded protocol search or selected-frontier change.", + "outcome": "partial", + "evidence": "verify.py authenticates 143 retained live files, adapts exactly one PR2753 path expression, exercises actual authentication and complete-receipt fault controls, and runs all six original PR4790 cases through its unchanged aggregator. README records commands, platform results and limits.", + "author": "Mihir Srivastava", + "ai_assistance": "Substantial OpenAI Codex assistance for investigation, implementation, verification and writing. No subagents, independent human review or formal-kernel acceptance.", + "open_questions": [ + { + "question": "Does the complete installed D* protocol beat the matched B* baseline at the first nonterminal C8 band?", + "why_it_matters": "The reproduced return saving is only one contribution to the complete physical/control bill.", + "first_step": "Use PR4790 and the current #4744 handoffs to price the remaining unmatched native work and finite control under an explicit tariff.", + "blocked_by": "The inherited full D* versus B* cost and finite-control delta remain unpriced." + }, + { + "question": "Which other actual callers of the same frozen authenticator require a separately bound portable replay?", + "why_it_matters": "This adapter proves execution only for PR4790 and is not a repository-wide portability fix.", + "first_step": "Start from Mainzu's selected-stock-rho-ledger PR3385 replay note; pin that caller and compare every original receipt through an equally narrow adapter.", + "blocked_by": "Its source closure and full replay are outside this package; check live overlap first." + } + ], + "selection": { + "mode": "handoff-first", + "handoff": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1166#discussioncomment-19137316", + "claim": "https://github.com/CrocSwap/integer-mult-bounds/discussions/4744#discussioncomment-19137557", + "card_retrieval_seed": "d45285d643ea5d5d7cd6f8ac2b1fdbdb" + } +} diff --git a/research/qq16-portable-integration/VERIFY.json b/research/qq16-portable-integration/VERIFY.json new file mode 100644 index 0000000000..e447905e35 --- /dev/null +++ b/research/qq16-portable-integration/VERIFY.json @@ -0,0 +1,180 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [ + "notes/batched-complex-rows.tex", + "notes/compact-control-layout.tex", + "notes/compact-control-movement.tex", + "research/bit2234-stock-threshold/README.md", + "research/community-frontier1042-audit/selected-replay.tar.gz", + "research/community-frontier1094-audit/selected-replay.tar.gz", + "research/community-hyperplane599-audit/pr589/bit589/v9/hosted/GLOBAL-TEMPLATE.json.gz", + "research/community-hyperplane599-audit/pr589/bit589/v9/nine/GEOMETRY.json", + "research/complex-grid-prefix-audit/PROOF.md", + "research/e8-bit-p111-tuned/tune/EXPECTED.json", + "research/e8-bit-p111-tuned/tune/bitE8mut-p111-tuned.json.gz", + "research/gaussian-normalization-stream/SOURCES.json", + "research/gaussian-normalization-stream/normalizer.py", + "research/gaussian-parity-synthesis/REVIEW.md", + "research/gaussian-parity/gaussian-parity-certificates.tex", + "research/joint-query/certificate.json.gz", + "research/joint-query/evidence/BRIDGE-REVIEW.md", + "research/joint-query/evidence/JOINT-QUERY-TRANSFER.md", + "research/joint-query/source_data.py", + "research/joint-query/verify_native.py", + "research/joint-query/verify_scalar.py", + "research/p104-whole-word-internal-grid/README.md", + "research/physical-complex-controller/PROOF.md", + "research/physical-complex-controller/SOURCES.json", + "research/physical-complex-controller/bank_packets.py", + "research/physical-complex-controller/cohort.py", + "research/physical-complex-controller/cover.py", + "research/physical-complex-controller/fixture_binding.py", + "research/physical-complex-controller/grid_boundary.py", + "research/physical-complex-controller/machine.py", + "research/physical-complex-controller/monomial_packets.py", + "research/physical-complex-controller/native_program.py", + "research/physical-complex-controller/parking.py", + "research/physical-complex-controller/root_layer.py", + "research/physical-complex-controller/root_plan.py", + "research/physical-complex-controller/root_streams.py", + "research/physical-complex-controller/scalar_packets.py", + "research/physical-complex-controller/scalar_program.py", + "research/physical-complex-controller/selected_binding.py", + "research/physical-complex-controller/selected_source.py", + "research/physical-gaussian-leaf/PROOF.md", + "research/physical-gaussian-leaf/SOURCES.json", + "research/physical-gaussian-leaf/axis_stream.py", + "research/physical-gaussian-leaf/coefficient_engine.py", + "research/physical-gaussian-leaf/inputs/pr3087.tar", + "research/physical-gaussian-leaf/leaf_sources.py", + "research/physical-gaussian-leaf/signed_linear.py", + "research/physical-scalar-stream/scalar_engine.py", + "research/physical-scalar-stream/scalar_words.py", + "research/pr589-five-helper-hosting/PROOF.md", + "research/pr589-five-helper-hosting/verify.py", + "research/qq16-all-depth-producer-grid/PROOF.md", + "research/qq16-caller-install/ADMISSION.json", + "research/qq16-caller-install/BILL.json", + "research/qq16-caller-install/COMPILATION.json", + "research/qq16-caller-install/CONTINUATION.md", + "research/qq16-caller-install/COST.md", + "research/qq16-caller-install/DECODER.md", + "research/qq16-caller-install/EXECUTION.json", + "research/qq16-caller-install/LIFECYCLE.md", + "research/qq16-caller-install/PACKET.md", + "research/qq16-caller-install/PREDECESSORS.json", + "research/qq16-caller-install/PRODUCER.md", + "research/qq16-caller-install/PROOF.md", + "research/qq16-caller-install/README.md", + "research/qq16-caller-install/RESULT.json", + "research/qq16-caller-install/REUSE.json", + "research/qq16-caller-install/REVIEW.json", + "research/qq16-caller-install/SOURCES.json", + "research/qq16-caller-install/TASK.json", + "research/qq16-caller-install/VERIFY.json", + "research/qq16-caller-install/auth.py", + "research/qq16-caller-install/connection.py", + "research/qq16-caller-install/continuation.py", + "research/qq16-caller-install/cost.py", + "research/qq16-caller-install/decoder-fixture.py", + "research/qq16-caller-install/decoder.py", + "research/qq16-caller-install/inputs/PR3055-PROOF.md", + "research/qq16-caller-install/inputs/PR3380-PROOF.md", + "research/qq16-caller-install/inputs/PR3464-PROOF.md", + "research/qq16-caller-install/inputs/PR3464-bank_packets.py", + "research/qq16-caller-install/inputs/PR3464-machine.py", + "research/qq16-caller-install/inputs/PR3464-parking.py", + "research/qq16-caller-install/inputs/PR3464-selected_binding.py", + "research/qq16-caller-install/inputs/PR3607-PROOF.md", + "research/qq16-caller-install/inputs/PR3619-PROOF.md", + "research/qq16-caller-install/inputs/PR3993-PROOF.md", + "research/qq16-caller-install/inputs/PR4106-WORD.json", + "research/qq16-caller-install/inputs/PR4114-README.md", + "research/qq16-caller-install/inputs/PR4129-COST.md", + "research/qq16-caller-install/inputs/PR4129-NATIVE.md", + "research/qq16-caller-install/inputs/PR4129-PREDECESSORS.json", + "research/qq16-caller-install/inputs/PR4129-PROOF.md", + "research/qq16-caller-install/inputs/PR4129-README.md", + "research/qq16-caller-install/inputs/PR4129-RESULT.json", + "research/qq16-caller-install/inputs/PR4129-SOURCES.json", + "research/qq16-caller-install/inputs/PR4129-TASK.json", + "research/qq16-caller-install/inputs/PR4129-bridge.py", + "research/qq16-caller-install/inputs/PR4129-construction.py", + "research/qq16-caller-install/installer.py", + "research/qq16-caller-install/integrated-fixture.py", + "research/qq16-caller-install/lifecycle.py", + "research/qq16-caller-install/packet.py", + "research/qq16-caller-install/physical.py", + "research/qq16-caller-install/producer-fixture.py", + "research/qq16-caller-install/producer.py", + "research/qq16-caller-install/runtime.py", + "research/qq16-caller-install/test_verify.py", + "research/qq16-caller-install/verify.py", + "research/qq16-complete-cost/inputs/PR4172.tar", + "research/qq16-line-normalized-decoder/PREDECESSORS.json", + "research/qq16-line-normalized-decoder/PROOF.md", + "research/qq16-line-normalized-decoder/RESULT.json", + "research/qq16-line-normalized-decoder/SOURCES.json", + "research/qq16-line-normalized-decoder/vendor/pr2681/PROOF.md", + "research/qq16-line-normalized-decoder/vendor/pr2681/README.md", + "research/qq16-line-normalized-decoder/vendor/pr2681/RESULT.json", + "research/qq16-line-normalized-decoder/vendor/pr2681/SOURCES.json", + "research/qq16-line-normalized-decoder/vendor/pr2681/WORD.json", + "research/qq16-line-normalized-decoder/vendor/pr2681/references/PR2540-PROOF.md", + "research/qq16-line-normalized-decoder/vendor/pr2681/references/PR2540-README.md", + "research/qq16-line-normalized-decoder/vendor/pr2681/verify.py", + "research/qq16-line-normalized-decoder/verify.py", + "research/qq16-nonterminal-c8-tree/README.md", + "research/qq16-nonterminal-c8-tree/RESULT.json", + "research/qq16-protected-return-caller/README.md", + "research/qq16-protected-return-caller/RESULT.json", + "research/qq16-protected-return-caller/SOURCES.json", + "research/qq16-protected-return-caller/TASK.json", + "research/qq16-protected-return-caller/VERIFY.json", + "research/qq16-protected-return-caller/adapter.py", + "research/qq16-protected-return-caller/verify.py", + "research/qq16-tagged-cover-routing/PROOF.md", + "research/qq16-tagged-cover-routing/oracle.py", + "research/qq16-tagged-cover-routing/router.py", + "research/qq16-tagged-cover-routing/verify.py", + "research/r437-leaf-dispatch/retained/selected-result.json", + "research/recursive-parking-boundary/README.md", + "research/selected-bit-local-ring-sweeps/PROOF.md", + "research/selected-bit-recursive-closure/PROOF.md", + "research/selected-complex-layer-closure/PROOF.md", + "research/selected-complex-layer-closure/arithmetic.py", + "upstream/build/sections/02-streams.tex" + ], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-W", + "error", + "-B", + "{package}/verify.py", + "--json" + ], + "timeout_seconds": 300, + "checks": "Actual retained authentication faults and all six PR4790 integration cases; exact complete typed original receipt, with one source-bound path expression adapted." + }, + { + "argv": [ + "{python}", + "-I", + "-W", + "error", + "-B", + "-O", + "{package}/verify.py", + "--json" + ], + "timeout_seconds": 300, + "checks": "Actual retained authentication faults and all six PR4790 integration cases; exact complete typed original receipt, with one source-bound path expression adapted." + } + ] +} diff --git a/research/qq16-portable-integration/verify.py b/research/qq16-portable-integration/verify.py new file mode 100644 index 0000000000..7d20859ee3 --- /dev/null +++ b/research/qq16-portable-integration/verify.py @@ -0,0 +1,289 @@ +#!/usr/bin/env python3 +"""PR4790 replay with one authenticated, in-memory path-rendering correction. + +Mihir Srivastava, substantial OpenAI Codex assistance. Apache-2.0. +The retained verifier, protocol and authentication keep their original authors. +""" +import argparse +import builtins +from contextlib import contextmanager +from copy import deepcopy +import hashlib +import io +import json +from pathlib import Path, PurePosixPath, PureWindowsPath +import subprocess +import sys +import tarfile +import tempfile +import types + +HERE = Path(__file__).resolve().parent +ROOT = HERE.parents[1] +PRIOR = ROOT / 'research/qq16-protected-return-caller' +ARCHIVE = ROOT / 'research/physical-gaussian-leaf/inputs/pr3087.tar' +ARCHIVE_SHA = 'd7e9c04a5e6d3f76158555d84080786c7cd8028ca31a61c9399de2b2c67bfd53' +NESTED = ( + ('inputs/pr3055.tar', 'c76e11cce0696db643715a362631b60fb14f26ba66c1e3bb5b5b0389eb52e95d'), + ('inputs/pr2899.tar', 'fc4a2e07423835737c8fb3872664b16ff12aa4cf83b1e26e49878debef40c531'), + ('inputs/pr2809.tar', 'ee1d4ec05e3c872d264be3b38f71a8c153acf37427f5d3ba87f8e15440c9ccf0'), +) +ORIGINAL_SHA = '65126e788eeea10e830fc583cf4afe0bfc4d67495cbf8ac21de3507dbe624d56' +ADAPTED_SHA = 'd3685f34f88b1e2f5f8aaf5fe55bdbaf7f4bb004af8bcf321a2e9e4cb4e74ec9' +OLD = b"str(path.relative_to(here/'predecessor'))" +NEW = b"path.relative_to(here/'predecessor').as_posix()" +COMPILE = builtins.compile + + +def need(ok, message): + if not ok: + raise ValueError(message) + + +def sha(raw): + return hashlib.sha256(raw).hexdigest() + + +def canonical(value): + return json.dumps(value, sort_keys=True, separators=(',', ':'), allow_nan=False) + + +def authenticate(): + rows = json.loads((HERE / 'SOURCES.json').read_bytes())['files'] + inputs = [r for r in rows if r['usage'] == 'input'] + need(len(inputs) == len({r['path'] for r in inputs}), 'unique live source inventory') + for row in inputs: + path = ROOT / row['path'] + need(path.is_file() and not path.is_symlink(), 'regular source: ' + row['path']) + need(sha(path.read_bytes()) == row['sha256'], 'source integrity: ' + row['path']) + return inputs + + +def load_source(raw, path, name): + module = types.ModuleType(name) + module.__file__ = str(path) + exec(COMPILE(raw, str(path), 'exec'), module.__dict__) + return module + + +def retained(): + return load_source((PRIOR / 'verify.py').read_bytes(), PRIOR / 'verify.py', 'retained_pr4790') + + +def compare_result(prior, observed, expected): + need(prior.canonical(observed) == prior.canonical(expected), 'complete typed PR4790 receipt') + + +def adapt(raw): + need(sha(raw) == ORIGINAL_SHA, 'exact PR2753 verifier before adaptation') + need(raw.count(OLD) == 1, 'one inventory path expression') + result = raw.replace(OLD, NEW) + need(sha(result) == ADAPTED_SHA, 'exact adapted PR2753 verifier') + return result + + +@contextmanager +def inventory_adapter(): + """Only this exact source image changes; source files and pins stay intact.""" + calls = [] + + def compile_source(source, filename, mode, *args, **kwargs): + raw = source.encode('utf-8') if isinstance(source, str) else source + if isinstance(raw, bytes) and sha(raw) == ORIGINAL_SHA: + need(mode == 'exec', 'adapt complete executable module only') + source = adapt(raw) + calls.append(ORIGINAL_SHA) + return COMPILE(source, filename, mode, *args, **kwargs) + + need(builtins.compile is COMPILE, 'unmodified compiler at adapter entry') + builtins.compile = compile_source + try: + yield calls + finally: + builtins.compile = COMPILE + + +def run_case(name): + authenticate() + prior = retained() + with inventory_adapter() as calls: + result = prior.case(name) + need(calls == [ORIGINAL_SHA], 'exactly one adapted PR2753 module per case') + return result + + +def replay(): + """Use the complete original aggregator, redirecting only its six workers.""" + prior = retained() + seen = [] + + def run(command, **kwargs): + expected = [sys.executable, '-I', '-B'] + (['-O'] if sys.flags.optimize else []) + need(command[:len(expected)] == expected and len(command) == len(expected) + 5, + 'original isolated worker arguments') + need(command[-3] == str(PRIOR / 'verify.py') and command[-2] == '--case' + and command[-1] in prior.CASE_NAMES, 'original known worker destination') + need(command[len(expected)] == '-X' and + command[len(expected)+1].startswith('pycache_prefix='), 'fresh original worker cache') + need(kwargs == dict(capture_output=True, text=True, timeout=90), 'original worker bounds') + seen.append(command[-1]) + command = list(command) + command[-3] = str(HERE / 'verify.py') + return subprocess.run(command, **kwargs) + + # A module-local facade: no global subprocess monkeypatch or new aggregator. + prior.subprocess = types.SimpleNamespace(run=run) + result = prior.compute() + need(seen == list(prior.CASE_NAMES), 'all six original workers in original order') + expected = json.loads((PRIOR / 'RESULT.json').read_bytes()) + compare_result(prior, result, expected) + return result + + +def predecessor_archive(): + raw = ARCHIVE.read_bytes() + need(sha(raw) == ARCHIVE_SHA, 'outer immutable archive') + for name, digest in NESTED: + with tarfile.open(fileobj=io.BytesIO(raw)) as archive: + members = [m for m in archive.getmembers() if m.name == name] + need(len(members) == 1 and members[0].isfile(), 'one regular nested archive: ' + name) + raw = archive.extractfile(members[0]).read() + need(sha(raw) == digest, 'nested immutable archive: ' + name) + return raw + + +def controls(): + """Exercise the actual retained authenticator, including real file faults.""" + rejected = [] + + def reject(label, action, message): + try: + action() + except ValueError as error: + need(str(error) == message, 'wrong rejection boundary: ' + label + ': ' + str(error)) + rejected.append(label) + else: + raise ValueError('negative control accepted: ' + label) + + prior = retained() + with tempfile.TemporaryDirectory(prefix='qq16-portable-controls-') as td: + root = Path(td).resolve() + prior.projection(root, prior.authenticate()) + container = root / 'auth-fixture' + container.mkdir() + with tarfile.open(fileobj=io.BytesIO(predecessor_archive())) as archive: + seen = set() + for member in archive.getmembers(): + path = PurePosixPath(member.name) + need(not path.is_absolute() and '..' not in path.parts and + member.name not in seen and (member.isfile() or member.isdir()), + 'regular unique relative predecessor member') + seen.add(member.name) + archive.extractall(container, filter='data') + here = container / 'inputs/pr2753' + loader_path = container / 'loader.py' + loader = load_source(loader_path.read_bytes(), loader_path, 'retained_pr2809_loader') + loader.REPOSITORY = root + sources = loader.selected_sources((root / 'certificates/selected-result.json').read_bytes()) + loader.compatibility_controls() + raw = (here / 'verify.py').read_bytes() + fixed = load_source(adapt(raw), here / 'verify.py', 'adapted_auth_control') + original = load_source(raw, here / 'verify.py', 'original_auth_control') + kwargs = dict(sources=sources, here=here, root=root) + positive = fixed.authenticate(**kwargs) + if sys.platform == 'win32': + reject('original_windows_inventory', lambda: original.authenticate(**kwargs), + 'no omitted or extra predecessor files') + else: + need(original.authenticate(**kwargs) == positive, 'unchanged POSIX authentication') + for cls in (PurePosixPath, PureWindowsPath): + need(sorted(cls(p).as_posix() for p in fixed.FROZEN_FILES) == sorted(fixed.FROZEN_FILES), + 'same exact inventory on both path flavours') + need(sorted(str(PureWindowsPath(p)) for p in fixed.FROZEN_FILES) != sorted(fixed.FROZEN_FILES), + 'original Windows inventory mismatch reproduced independently') + victim = here / 'predecessor/vendor/controller.py' + saved = victim.read_bytes() + victim.unlink() + try: + reject('missing_file', lambda: fixed.authenticate(**kwargs), 'no omitted or extra predecessor files') + finally: + victim.write_bytes(saved) + extra = here / 'predecessor/vendor/unexpected.py' + extra.write_bytes(b'# extra source\n') + try: + reject('extra_file', lambda: fixed.authenticate(**kwargs), 'no omitted or extra predecessor files') + finally: + extra.unlink() + victim.write_bytes(saved + b'\n# changed source\n') + try: + reject('changed_file', lambda: fixed.authenticate(**kwargs), 'pinned bytes changed: vendor/controller.py') + finally: + victim.write_bytes(saved) + frozen = json.loads((here / 'PREDECESSOR.json').read_bytes()) + changed = deepcopy(frozen) + changed['files']['vendor/controller.py']['git_blob'] = '0' * 40 + reject('changed_git_blob', lambda: fixed.authenticate(predecessor=changed, **kwargs), + 'pinned Git blob changed: vendor/controller.py') + changed = deepcopy(frozen) + del changed['files']['vendor/controller.py'] + reject('omitted_manifest_entry', lambda: fixed.authenticate(predecessor=changed, **kwargs), + 'exact predecessor source inventory') + changed = deepcopy(sources) + changed['files'] = [r for r in changed['files'] if r['path'] != fixed.LIVE_INPUTS[0]] + reject('omitted_live_source', lambda: fixed.authenticate(**dict(kwargs, sources=changed)), + 'exact live source inventory') + manifest = json.loads((here / 'VERIFY.json').read_bytes()) + manifest['inputs'].pop() + reject('omitted_CI_input', lambda: fixed.authenticate(manifest=manifest, **kwargs), + 'exact replay invalidation inventory') + reject('changed_adapter_source', lambda: adapt(raw + b'\n'), 'exact PR2753 verifier before adaptation') + need(fixed.authenticate(**kwargs) == positive, 'authentication restored after all controls') + need((here / 'verify.py').read_bytes() == raw, 'retained executable bytes unchanged') + receipt = json.loads((PRIOR / 'RESULT.json').read_bytes()) + compare_result(prior, receipt, deepcopy(receipt)) + changed = deepcopy(receipt) + changed['cases']['fixed']['final_inventory_exact'] = 1 + reject('receipt_bool_to_integer', lambda: compare_result(prior, changed, receipt), + 'complete typed PR4790 receipt') + changed = deepcopy(receipt) + changed['cases']['fixed']['fresh_record_tapes'] = float(changed['cases']['fixed']['fresh_record_tapes']) + reject('receipt_integer_to_float', lambda: compare_result(prior, changed, receipt), + 'complete typed PR4790 receipt') + changed = deepcopy(receipt) + del changed['cases']['service-stop'] + reject('receipt_omitted_cleanup', lambda: compare_result(prior, changed, receipt), + 'complete typed PR4790 receipt') + changed = deepcopy(receipt) + changed['finite_matched_saving_RWM']['reads'] += 1 + reject('receipt_changed_saving', lambda: compare_result(prior, changed, receipt), + 'complete typed PR4790 receipt') + return {'authentication': positive, + 'rejected': [r for r in rejected if r != 'original_windows_inventory'], + 'path_flavours': ['posix', 'windows'], 'single_expression_sha256': ADAPTED_SHA} + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument('--case', choices=('fixed', 'adopt', 'stale-engines', 'stale-external', 'output-alias', 'service-stop')) + parser.add_argument('--controls-only', action='store_true') + parser.add_argument('--json', action='store_true') + args = parser.parse_args() + authenticate() + if args.case: + need(not args.controls_only, 'one worker mode') + print(canonical(run_case(args.case))) + return + checked = controls() + if args.controls_only: + print(canonical(checked)) + return + result = replay() + report = {'status': 'PASS_QQ16_PORTABLE_INTEGRATION', 'controls': checked, + 'complete_prior_receipt_sha256': sha(canonical(result).encode()), + 'cases': list(result['cases']), 'finite_matched_saving_RWM': result['finite_matched_saving_RWM'], + 'source_census': 'inherited, not independently rerun', 'new_kappa': False} + print(canonical(report) if args.json else report['status']) + + +if __name__ == '__main__': + main()