Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
31 changes: 31 additions & 0 deletions research/complex-t37-independent-seed39/DEPENDENCY-PINS.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
{
"scripts/verify_frontier741.py": "215ee6a12de8dc2392e6811a1b8f2140035f6b2d2a0d2100ff4bd2fdcb8bb39b",
"scripts/verify_frontier741_bindings.py": "eff455167e2fd0bc9a67d35241d0e69d8edc58f3a23e776dcfe8f500ca8e8d67",
"scripts/verify_frontier799.py": "19fe1b32079095160dc00fe2f7df75e0fcbc82cff37f7159b755c8a63bd5ce99",
"scripts/verify_frontier799_bindings.py": "43897b3c99212d6134870898a1840f32898aa1b3679b299e654901568ad7e19b",
"research/complex-sw4-frame8/MANIFEST.json": "b9b39c206fcd2613382b0dcbda23a371e8781d1bedaf8e2f8e7df1e79dc1fa89",
"research/gauge44-frames-x/MANIFEST.json": "e1b7998c8f7cb24f8674d250d0510f2b5b351b2ed0b35f17a17e6bacf3d9824b",
"research/complex-k492-owner-repair/vendor/multicold/code/run_portable.py": "322d29d43dbee8130cde15d4bf05396698b5e3dfe3735813899db91cc0ba7955",
"research/complex-k492-owner-repair/vendor/multicold/engines/moment.py": "81cbc864e106418fc7854322746f72180cb8110ff39f74450a3b8d55a82c1482",
"research/complex-k492-owner-repair/vendor/multicold/engines/base_two_moment.py": "aee70c242a2f1d225528fabe2002e1564d1dc884797c07d28a831c7878ee9098",
"research/complex-k492-owner-repair/vendor/multicold/engines/outer.py": "c1ebb52163a7219504c728a5c2b098bf1e50bf20148a2879c5a74c3cadc7c03c",
"research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CANONICAL-WORD.json.gz": "66d3c3c70983224650643a0a05a21ac6c6959f84d0f4528650601016f5a76844",
"research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CLIFFORD-RECIPES.json": "534ace870cabe515987e00f50f71550030965006ea18978e0924590ac6944345",
"research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CLIFFORD-REVIEW.json": "ee9b86428278392d2c933f76d60e51f5af90d4ab67e4d3937ed2fa416e7755ab",
"research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26",
"research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INDEPENDENT-REPLAY.json": "ad3f2b941127688f98ce6872d00f110644f1c2b156f8adad1b6700e838ed0e26",
"research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INTEGRATION.json": "5c14538134dfffbc58fa4b4d2f26b270ec5f56d17d4bf23752c82964f45171db",
"research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/LOCAL-CHECKS.json": "79177449e404403964ce1b2f4a9a8bd49e1916daba3123d7fd7f5cfd1f1ac0ea",
"research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/LOCAL-PROGRAMS.json.gz": "99a18eede965accf65943e490b8d2b2ffb9f1c9bc6babdb825413a80cbea2cde",
"research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/RESIDUAL-ADAPTERS.json": "baafef737acc16dafbe1150896feb16744f3d669fa123bb2bff19ecc4e71b275",
"research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json": "73b3601a6239502475a272ea0c46945fd42034486aaf43e66a212eb4f012ca44",
"research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/WRAPPER-CHECKS.json": "9a09146e686c4f535b04fdef3753fe01dad8f5e8881a69408a91394acb5b48f5",
"research/community-k492-audit/pr622/replay/baseline558/complex-global/base/work/complex-nine-native/DATA-PHASES.json": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa",
"research/complex-k492-owner-repair/vendor/multicold/inputs/PR543-EXPECTED.json": "06eccee9f6b77e140833df83407e7996dc948c17d49b0779ab171fbe463fd28d",
"research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor531/evidence/audit/PREFIX-AND-INVOICE.json": "ce1bfa49be88ae67a404f606a11db2232b7e1f2610d4418058e39749d86d8478",
"research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor535/inputs/ROUND20-PARENT-TEMPLATE.json.gz": "025448abdf2012d327e50a009084e1501690d05e650300d2982836aa0350ae00",
"research/community-k492-audit/pr622/replay/baseline558/complex-global/controller-input/split-centres/CANONICAL-WORD.json.gz": "de2be0f4b6d24ace368fd5b834b7a00f9625d0a1824c4ff969f2db5f115db667",
"research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor531/code/prepare_supplier_base.py": "f5eae94aca965d0008bc07cff8245ccb7509042ccad457d3bcb7d51c1e9409f0",
"research/gauge44-frames-x/data/PLAN.json": "5f40e7ccfca61f298539b4f41286d2a9d62caf947057f9cec82aa53f73f707fd",
"research/gauge44-frames-x/data/OWNERS.json.gz": "99d1c4caf85855c353d30f122d9efbd9e51562914facded13027f347b18a6082"
}
72 changes: 72 additions & 0 deletions research/complex-t37-independent-seed39/MANIFEST.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,72 @@
{
"DEPENDENCY-PINS.json": "7c47d44e8d5c24aa80afc70724e7c0381fec57ef80d085d2ee4611726a0f1254",
"NOTICE.md": "63e02f691554dd3beb8e0d06a4cd220f637f2a9c99598e7e88c893e89b0902ab",
"PROOF.md": "89df269b3ca072272cc173a416a7f17da66ad558962c21b4caf9935a14302743",
"README.md": "e38e11b6c3a3e86d8c1ece59253eddc858ce0aae420e676ea377908f730d53e3",
"SPRINT-CLAIM.json": "13002e6ffbbce1fcc6763cd2413ddabc9f23f0b0b27c12a11cf566666b7b410f",
"VENDOR-PINS.json": "da483ca6b28bcbb58fff384a804b69967e3a89526395a2fc26f459a9cae46683",
"build_owners.py": "aa1e624df1870b679ce49b92d038d3589c0b0891ac83ad54f07c1906d171907d",
"build_parent.py": "3e47d1875eeb2dba97e6ee28f451a7b37f7617ba434ab327eaed06d658c35e6c",
"check_parent.py": "f667f92cb2e34b8fa2229d3ca61f695fdfafc6de970ab61d4dde6d04401d1654",
"common.py": "e7abf00c6f0dcd364fab8ff220bd32ad2811c02e0f8aaa86da855f0a14be262d",
"data/ADAPTER-EDITS.json": "1001dbbc393676d77fecf58f54ba9e2af6681efddf5fb1ff1e179502ad50e622",
"data/CLAIM.json": "38a7b8bd752bbe728c9017ee945f59bfd9b3ac5730bffc95490cc8326b4004a0",
"data/EDITS.json": "a7068548f4c2d623129a80f59003fdcc5887858604ceb8a4ebc15987c6ee1da7",
"data/SEARCH-TRACE.json": "efa763d3b61c0b335f23afb3767d6c729a6911d7c82cea168001a5a99d5e4396",
"data/SPEC.json": "5adbe4872ae9c2dc0e2dfab0739383164fd094c2c82ec7b4c8295fcd7627993e",
"data/T5-OWNERS.json.gz": "676e91f0ab18bdc93b3da067082506b779969dde32a38baacfc8576c327a3c54",
"independent_check.py": "a934891ebfa4139aeb7cdb572bf7e50c89520e8afd8bc7f7fd3bfb253d6206ba",
"owner_controls.py": "fb2a23ed103ef7060f76ab05aa21898d47eb80b2a1d87d53d284cf744798f03c",
"package_controls.py": "22caf1613de73cf1ca787b5a9da7b710afd460550fa5954ccc8207b98f560079",
"payload_controls.py": "71449873b51d17a6e9a483268f42ca6589c8ae868824fbaa16f76a4c292c264a",
"price.py": "9cd661c2710b1d64cbb84db1efca2cf3f733bc74b778d7e3c6c92541ffc9aac7",
"source_adapters.py": "b2ba8e7e38023d2ef35ac5d56d704f659a889de252bf9c35933b3313cc582975",
"vendor/pr858/baseline_coverage.py": "c0cf6bb2035817a09e1abb5dc492d57af79f584bbd0c1cf5fe73ba0f8f604741",
"vendor/pr858/independent_check.py": "dd552d627bbefc05ab3f6abbbd1640ba53b67e607002ebb7dd3d17bf03ae1e65",
"vendor/pr870/LICENSE": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4",
"vendor/pr870/NOTICE.md": "e67a7bf357e62c130ed0df184c27d3b439b55c30e1c4c003c97bb1c6d0ab58e1",
"vendor/pr870/PROOF-NOTE-BARCH.md": "c24f211b09358b25d6cf47dd18e4bbd8bcf4ecf279e6f1c6c90613cfa230818d",
"vendor/pr870/PROOF-NOTE-T16.md": "b13621111876dee62367d7ee8e9b46c3707145d5f08914b0932d0960ee700d43",
"vendor/pr870/SOURCES.json": "a7c2f2d21d535439b729f4d1245fa6a9bb24a148d877c1298e9bbdbcf251067f",
"vendor/pr870/UPSTREAM-NOTICE.md": "a75967ebc34e3bf2ff2c25c08e6c7f1a61b0c0d171cfd1b62196ae2caaf2c610",
"vendor/pr870/code/assemble.py": "15f6986a476bac76bcdc0bfcf51da115389b46f1950d2766b6822f757888b13a",
"vendor/pr870/code/assembly_controls.py": "da7e981ae1b9f099d4e1524cb4f3ba1116011936ebe378692889b5dbfa99029d",
"vendor/pr870/code/audit_allcold.py": "1467a2acb654e62552c69fb9a7c4c85f70a02120881d222313865058ab71a6cc",
"vendor/pr870/code/bind_providers_portable.py": "1d39bcc7b63ac158e021454beaae897d123e174360573762aecade3cd43193f6",
"vendor/pr870/code/bit_supplier_controls.py": "e6d33fb61a570c3f50669412acc467a3fd06ef0b806da6a75bc296c6ba2142a5",
"vendor/pr870/code/emit_allcold.py": "354367e1fd6185a67b04f4268bcae4d502e47b18cb2131e247f5bcab5b3a769e",
"vendor/pr870/code/freeze_spec.py": "5971eecac6d6fbcb53244b80f1b9d7232012dc32876fab511214a5addebbe6c2",
"vendor/pr870/code/generated_identity.py": "c8af22719c0f3097a991a3f6ccac8f090afd2faba554745733d9ea88f2c25708",
"vendor/pr870/code/invoice_allcold.py": "71eb57514e28ced97251e0507105f654f59885ec4d40486a780bf166098858a8",
"vendor/pr870/code/prepare_global.py": "8c0dae301a8f34b77a5a462f840952d08ed120576212adf5051bc09bcad874dc",
"vendor/pr870/code/restore_parent.py": "69b7b25ff85e9b8160e233c1d415cc6a0272019e5c486dcec14cb6c349e7024d",
"vendor/pr870/code/witness.py": "779c5172894b992131e85be1e592ed2a1aec8c287b872ff42007d36a7291e444",
"vendor/pr870/construction/barch/LOCAL-PINS-barch-U8.json": "2d16f99e1f71fd66378f5f767cf4cfa2a58264919a95074c7b31029f39a3c9f5",
"vendor/pr870/construction/barch/RECIPE-U8.json": "292f0e9f82824c4111728cf4de929bf6e43320fbbdc77658aae9681906b0d652",
"vendor/pr870/construction/barch/build_tri.py": "0fba65b31c2fd71864c291358bb0ad8d5f7e1be07e21df23f0ae73d7b966002e",
"vendor/pr870/construction/barch/reproduce_barch.py": "19bc970aa6af25ab0e7fa96fb65c64dd0c5243976d8f2cb733cba839155482c1",
"vendor/pr870/construction/barch/run_controls.py": "42639bf62bf57795e3ea615c1944c67efed00f28591333daeb3139bf63d04476",
"vendor/pr870/construction/layers_np/PIVOT-SWAP-NP.json": "d49b8d316da1cbdaf995dd0e8314d3c67cc9cd4d5902e9d85ccb907be645bef5",
"vendor/pr870/construction/layers_p6n/layer_end_controls.py": "fc58c5699ba6191c1163a3041241f6f0b619626c4462cd99bcf88210bac9e81e",
"vendor/pr870/data/T8/PLAN.json": "673fd8e812fadcfb757264aba2d7e1abee9199457ed52e678ac65796cd4c1b70",
"vendor/pr870/data/UPSTREAM-PINS.json": "ccc37ab7fbf78947fe02c7f57ea672d2e4eae8454cb1158ed964c75bf423869b",
"vendor/pr870/independent/audit_local.py": "03afcfc9da428b3f6edac81c1fee7f277ab81b64998efae78380b63498dec6cd",
"vendor/pr870/independent/price_profile_t16.py": "53f8e62dcf27bee032c1bee0245d126a9c8a12ebcf24f6aaff65ea3122fffe29",
"vendor/pr870/inputs/PR589-EXPECTED.json": "b9f0e5ca038abe837b0007c8fe006f366a6f02009244ac57705a8a200e2301f4",
"vendor/pr870/t16/NOTICE.md": "902370e6bfcd39dbea2ece474f15fccbcce3b8e966b2b94066bd03e5174591b5",
"vendor/pr870/t16/build_owners.py": "faf14dd99b331a8bc5d35e3497bdb9c26fcea24ce2ee74f0dfeae87883af8db4",
"vendor/pr870/t16/build_parent.py": "82e274d0c7a94f9bf0468dd37f0505d0c42017559ebb4ba8c079a1f4e403d91e",
"vendor/pr890/NOTICE.md": "91fffbebc4bb0f3c1e4e81f239d3e7c44400c1f001a6fd5120572017bfb598f7",
"vendor/pr890/PROOF.md": "78721b32fceb34b21b8e77c95381c38c60276e72e6d9c2e9c6262cb347457def",
"vendor/pr890/VENDOR-PINS.json": "578100c9ed4812a161271a1b5c8036673f4b27d6cc1df560715ff2ea9a598f6d",
"vendor/pr890/build_owners.py": "d1e6bbab8ea0de09048fc9737dd4a4713289ca69328efe71855e16fc55abfa57",
"vendor/pr890/common.py": "41a2e8a4cc69251e7e31dd82b4776ccfe46033afa8dca59f45f5d3c377541ea7",
"vendor/pr890/data/EDITS.json": "a3bdecb4899af794427458eec0b7b13b404e2c822c1e8e152d4a4eb92cb10638",
"vendor/pr890/data/T5-OWNERS.json.gz": "676e91f0ab18bdc93b3da067082506b779969dde32a38baacfc8576c327a3c54",
"vendor/pr890/vendor/pr870/LICENSE": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4",
"vendor/pr890/vendor/pr870/NOTICE.md": "e67a7bf357e62c130ed0df184c27d3b439b55c30e1c4c003c97bb1c6d0ab58e1",
"vendor/pr890/vendor/pr870/UPSTREAM-NOTICE.md": "a75967ebc34e3bf2ff2c25c08e6c7f1a61b0c0d171cfd1b62196ae2caaf2c610",
"vendor/pr890/vendor/pr870/t16/NOTICE.md": "902370e6bfcd39dbea2ece474f15fccbcce3b8e966b2b94066bd03e5174591b5",
"vendor/pr890/vendor/pr870/t16/build_owners.py": "faf14dd99b331a8bc5d35e3497bdb9c26fcea24ce2ee74f0dfeae87883af8db4",
"verify.py": "4e9082fd6c01d8e6d0f50b916ba4e8056eb35d846fe80ba5c99bc87cbe7f7020"
}
32 changes: 32 additions & 0 deletions research/complex-t37-independent-seed39/NOTICE.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
# Attribution and source boundaries

T37 contribution prepared by Tekalign (@tekuuu) with substantial OpenAI Codex assistance, Apache-2.0.

This package adapts Chafik Boukhalfa’s PR890 T21 package, also prepared with OpenAI Codex assistance. The T37 role exchange, paid complex payload1024, extended independent checks and new full composition are this contribution. No priority is claimed for inherited U8, T16 or T21 work.

- The new T5 owner witness, T16+T5 interleaving, nine-role trade, partial 8+8+5
bank lift, independent lift audit and strict T21 composition are PR890 predecessor work, retained and credited here.
- Hao Yan (@FanPUYen), PR858, supplied the T16 duplication and eleven-role
correction, physical source-event windows, independent owner/chart audit,
fixed ancestral coverage and replication-parameterization approach. The
T16 constructors are vendored unchanged through PR870. The generalized
independent checker retains his copyright and license notices.
- PR869/PR870 supplies the unchanged U8 local word, builder, controls and
its T16 composition. The triangle-hybrid B construction is credited there
to NewBArch; its driver and composition to ColdWitness/icekylinx. Original
notices, source attribution and proof notes are retained under `vendor/pr870`.
- Jeremy Kothe's PR799 X4 word, Chafik Boukhalfa's PR741 frames/owners, the
earlier gauge44/PR645, PR635, PR514/PR484/PR507 controller lineage, and the
PR589 bit supplier remain dependencies. Their original notices and pinned
sources remain in the repository and are covered by the ancestral replay.

`VENDOR-PINS.json` identifies every selected unmodified vendored file and its
source PR head. This is a selected subset, not a copy of PR870's whole package.
`data/ADAPTER-EDITS.json` gives every literal before/after source edit and its
required multiplicity. The generated runtime retains the upstream notices.
`DEPENDENCY-PINS.json` pins the existing replay drivers/manifests and direct
dependencies. Their full source and artifact checks run through the retained
ancestral verifiers. `MANIFEST.json` binds this package, including all data and
proof-relevant source bytes.

Jonathan Capalbo (@jon314159), PR942, concurrently constructed the same T37 profile and κ, using eight owner edits and an all-T bound. This package was developed independently from PR890 and PR870 and uses ten edits. PR942 code is not imported; its result is explicitly credited as concurrent corroboration.
Loading
Loading