Skip to content

Archive conditional AT_RANDOM producer-event proof and exact-source replay #6379

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Mister-Meeseeks merged 1 commit into from
Nov 10, 2026
Merged

Archive conditional AT_RANDOM producer-event proof and exact-source replay #6379

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
217 changes: 217 additions & 0 deletions research/h25-c05-at-random-producer-events/ARCHIVE-ORIGINS.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,217 @@
{
"schema": "unit13-frozen-task-evidence-export/v1",
"files": [
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/PLAN.json",
"package_path": "archive/unit13/PLAN.json",
"bytes": 4152,
"sha256": "569cb1720fd0b8f300bf9e6cecbda3d7c2f97a3721c2072835e9678df61a6bbf"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/CLAIM-CLARIFICATION-v1.json",
"package_path": "archive/unit13/CLAIM-CLARIFICATION-v1.json",
"bytes": 1599,
"sha256": "81ca27af56222d00cb73507734743d909ad63512df0ba8e825ab16cdbddae7c2"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/SOURCE-IMPLEMENTATION-RELEASE-v1.json",
"package_path": "archive/unit13/SOURCE-IMPLEMENTATION-RELEASE-v1.json",
"bytes": 735,
"sha256": "67fa7c2794460ca8bceb75c1496f6c2056a5c79d05e6d0bf64e83fa93ab208d6"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/SOURCE-REPAIR-WINDOW-v1.json",
"package_path": "archive/unit13/SOURCE-REPAIR-WINDOW-v1.json",
"bytes": 1853,
"sha256": "b741ffb0dec80920c174f1f0e3ff9bcc4fc91418b38f1db1771dc8e545125333"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/input/SOURCE-AVAILABILITY-v1.json",
"package_path": "archive/unit13/input/SOURCE-AVAILABILITY-v1.json",
"bytes": 47029,
"sha256": "08811bbb1d4b8cb384c166a27f33226c976604eeb2be1f27d3cbb1402cd424fc"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/input/SOURCE-AVAILABILITY-v1.md",
"package_path": "archive/unit13/input/SOURCE-AVAILABILITY-v1.md",
"bytes": 2048,
"sha256": "d2d546187601314067a1b4fb05b8702cbadd585025b686e64697d9b7061b5ef8"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/input/ELF-DEFINITION-ACQUISITION-v1.json",
"package_path": "archive/unit13/input/ELF-DEFINITION-ACQUISITION-v1.json",
"bytes": 1406,
"sha256": "2a57b91b37492b721fbdbc0fcca10aaedf403f00369d9b78bfd8ae1dc27f780b"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/implementation/INPUT-AVAILABILITY-v1.json",
"package_path": "archive/unit13/implementation/INPUT-AVAILABILITY-v1.json",
"bytes": 5990,
"sha256": "4cb957e049f813e9ef71ff948253f2433ec13461f9f94ff45a8489c1f4d873da"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/implementation/INPUT-CLAIM-v2.md",
"package_path": "archive/unit13/implementation/INPUT-CLAIM-v2.md",
"bytes": 1904,
"sha256": "ff173cbb7d1274921baf6f40d8021ba57e742f08db1fe8c595834998e1a732ae"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/implementation/at_random_producer_v1.py",
"package_path": "archive/unit13/implementation/at_random_producer_v1.py.txt",
"bytes": 19989,
"sha256": "35bc50f6f66b29acb3ce3fd36a1dbf750dfd80914b7da3cc44f5ad3d50dc323b"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/implementation/package_reader_v1.py",
"package_path": "archive/unit13/implementation/package_reader_v1.py.txt",
"bytes": 4826,
"sha256": "63c67d9060cd7eae9e8fb95ebdd799e947a911fd3baf200127a5be673c26a2a5"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/author-receipts/AUTHOR-INITIAL-FREEZE-v1.json",
"package_path": "archive/unit13/author-receipts/AUTHOR-INITIAL-FREEZE-v1.json",
"bytes": 2317,
"sha256": "14e9f327c75b3fc01e76af2786e3882634a57012134185458aecf023c556e6fa"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/author-receipts/AUTHOR-REPAIRED-FREEZE-v2.json",
"package_path": "archive/unit13/author-receipts/AUTHOR-REPAIRED-FREEZE-v2.json",
"bytes": 6706,
"sha256": "2fe72430f0b3ff98d2fbf813c580d2fac2d7bd0b3bc1d32729fa9aa2df1f3045"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/author-receipts/COLD-EXPORT-v1.md",
"package_path": "archive/unit13/author-receipts/COLD-EXPORT-v1.md",
"bytes": 4022,
"sha256": "28a8a75e5fcc84e75b7747309e1def72db22d62514c8ad7ec89c030ab86567a4"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/controls/DESIGN-v1.md",
"package_path": "archive/unit13/controls/DESIGN-v1.md",
"bytes": 6904,
"sha256": "30addd150d37f1891d3a3e1ba9f133659802f1e52c56d21d5a115e34b24467f2"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/controls/run_semantic_controls_v1.py",
"package_path": "archive/unit13/controls/run_semantic_controls_v1.py.txt",
"bytes": 8472,
"sha256": "7aa2b4008dd39f1f8c1de6148ceaf009d50004016f61744ca2f38b636fcbede7"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/controls/run_semantic_controls_v2.py",
"package_path": "archive/unit13/controls/run_semantic_controls_v2.py.txt",
"bytes": 10036,
"sha256": "86c00342a451af919ca6a053a2e903d9616a52755117f973319260987327cf24"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/controls/SEMANTIC-FIXTURES-v1.json",
"package_path": "archive/unit13/controls/SEMANTIC-FIXTURES-v1.json",
"bytes": 7293,
"sha256": "71606e0ab2273ad5fa21eef1635ef9ddb45f528d3bfc7a2b015532912d07a58b"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/controls/PROJECTION-ORACLE-v1.json",
"package_path": "archive/unit13/controls/PROJECTION-ORACLE-v1.json",
"bytes": 1333,
"sha256": "da0f4fd82170662c0a35de9f1e9bb7f98d96ffccc0781ca4a27926ddf9e567f0"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/controls/STATIC-STOP-v1.json",
"package_path": "archive/unit13/controls/STATIC-STOP-v1.json",
"bytes": 1569,
"sha256": "c4184f2ca331e720e79a933fb85751cc8f25d28796aaf5d236ee7e7262b4b1d9"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/controls/RESULTS-v1.json",
"package_path": "archive/unit13/controls/RESULTS-v1.json",
"bytes": 21032,
"sha256": "8c031791504efb5b76a65281e8ddea350b0dc42a27f71aaf8611b564fba608a9"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/controls/RESULTS-v1.md",
"package_path": "archive/unit13/controls/RESULTS-v1.md",
"bytes": 4481,
"sha256": "c02850333925a74308dda47cb551b0c5e4ab3eefbf919428bbf74191d6cf0ee7"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/controls/NORMAL-v2.raw",
"package_path": "archive/unit13/controls/NORMAL-v2.raw",
"bytes": 6138,
"sha256": "34f5eb3866d3c4f3aca71a5369bf3d0c77ac4e0d939748cf64e0433ebf8c6cbe"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/controls/OPTIMIZED-v2.raw",
"package_path": "archive/unit13/controls/OPTIMIZED-v2.raw",
"bytes": 6137,
"sha256": "29ff505a002bd10cdfcb97e288ec3e83f7ac271ea802a599fd89e31e78e277df"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/review/INPUT-GATE-v1.json",
"package_path": "archive/unit13/review/INPUT-GATE-v1.json",
"bytes": 6803,
"sha256": "ede755e7c14af3a90a59e484c78374e11c7998eb797e11a28419fef91e846bf3"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/review/INPUT-GATE-v1.md",
"package_path": "archive/unit13/review/INPUT-GATE-v1.md",
"bytes": 4970,
"sha256": "044ad35edeb40994db1027230620d4a4fd1fca668d54bd292faed53fb5847877"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/review/ARGUMENT-v1.json",
"package_path": "archive/unit13/review/ARGUMENT-v1.json",
"bytes": 6698,
"sha256": "1ac44449fe9ff331dd6933b09fe63e1f29acf3f09c197c23cf117290304d4092"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/review/ARGUMENT-v1.md",
"package_path": "archive/unit13/review/ARGUMENT-v1.md",
"bytes": 5324,
"sha256": "aac2772f3b743cfb4eddcdc2f1d77034cfdca97b1f0a4394261c568e004bc3bb"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/review/SOURCE-REVIEW-v1.json",
"package_path": "archive/unit13/review/SOURCE-REVIEW-v1.json",
"bytes": 5110,
"sha256": "85f634487dd2a4711aee399839855861ecedeb8d47bdabde641a8eb19d63c4a4"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/review/SOURCE-REVIEW-v1.md",
"package_path": "archive/unit13/review/SOURCE-REVIEW-v1.md",
"bytes": 3804,
"sha256": "1aac1fd8a464b5c90ebc5bd8e409a5a272ed900a34b2098833c91e86c625d724"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/review/SOURCE-REVIEW-v2.json",
"package_path": "archive/unit13/review/SOURCE-REVIEW-v2.json",
"bytes": 11902,
"sha256": "88256aa611a3b965b02d1b89722ec3065986a9a4fb6004e22fdfeb7cd1699e93"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/review/SOURCE-REVIEW-v2.md",
"package_path": "archive/unit13/review/SOURCE-REVIEW-v2.md",
"bytes": 6863,
"sha256": "2b331dc75b5962f5694d77b258e5de203b6d1001378ef5d3cc6af548f6bd889f"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/review/FINAL-SOURCE-GATE-v1.json",
"package_path": "archive/unit13/review/FINAL-SOURCE-GATE-v1.json",
"bytes": 11008,
"sha256": "3bc2f37d58fa502957d24524b999b3753f39ef9c203e15da122da655b4088b7b"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/review/FINAL-SOURCE-GATE-v1.md",
"package_path": "archive/unit13/review/FINAL-SOURCE-GATE-v1.md",
"bytes": 7193,
"sha256": "b66f839230b6b8680cd14878ecca100021cb694eccf5947aebec4d4bfa196301"
},
{
"source": "outputs/c05-v03-completion-20261102T055710Z/unit13/SOURCE-CLOSE-v1.json",
"package_path": "archive/unit13/SOURCE-CLOSE-v1.json",
"bytes": 7469,
"sha256": "cb8fe8c0bbad6e7812a673df90a0e5b9a36a510bbb867c28e904b3638e38540a"
}
],
"archived_python_is_inert_DATA": true,
"missing_or_unexecuted_work_not_synthesized": true
}
Loading