@vela-science/canopus 0.6.5 → 0.8.0

package/evidence/build-week/run_eb6bcd46-cffd-4ae8-b630-2681bd84da71.public.json

@@ -1 +0,0 @@
-{"activity":{"clean_clone_replay":"matched","verifier":"pass","worker":"success"},"artifact_roots":["sha256:143ce07733126239999e375f865aeeca36a17453df1de98a0afbef848c33066c","sha256:79370d5243095f28e65c218f3d5dc4710802e4dbe462fcfff1a35a8697a6f225","sha256:9fdad10b14ff7c267c418e1ced041810085974d52715d7d1c5b5f766d62f1df3"],"authority":"read_only_projection","caveats":["Declared verifier outcome: passed.","Canopus produced this record; it is not a human acceptance decision."],"claim":"Exhaustive registered search over primes in 10428401..10428600 completed with a bounded negative result; the maximum factorial-residue fiber multiplicity found was 12 at p=10428581, residue=5141590.","final":{"commit":"807f0a8f770cfed05ac0dff00b952dc41052a720","event_log_root":"sha256:a06797bc0d1b0e3c88a2f97507fe0832661e3992d8df41187a0aa6d3ceee9bde","snapshot_root":"sha256:1faedc24f040a60a22177b456c74b969a61ce8836082297b1835797a57b4fa56"},"mission":{"digest":"sha256:184719717253a80c7731dfa669c179698be50893d3b4abf88a1c0542bca1683d","id":"mission_erdos1056_k15_range_10428401_10428600_native1","model":"gpt-5.4","registration_kind":"mission_bundle","registration_name":"mission_erdos1056_k15_range_10428401_10428600_native1","registration_root":"sha256:184719717253a80c7731dfa669c179698be50893d3b4abf88a1c0542bca1683d","target":"erdos:1056","target_packet_root":"sha256:d724686d60ffbb61e5e24eab9084b34f1a797381bfb2731a2fa81e14d7ee652e"},"nonclaims":["Verifier success is not scientific acceptance.","The bounded result does not solve its general Erdős problem.","Canopus did not sign or perform a human decision."],"policy":{"accepted_state_delta":0,"proposal_id":"vpr_501cbeec70cd719c","route":"defer"},"receipt_root":"sha256:263506aae0144fb2aa4784ff9c145c6c41886b2956191c6458214cedd0bfd4aa","reproduction":{"commands":["git clone https://github.com/vela-science/erdos-frontier.git","cd erdos-frontier","git checkout 807f0a8f770cfed05ac0dff00b952dc41052a720","vela reproduce ."]},"run_id":"run_eb6bcd46-cffd-4ae8-b630-2681bd84da71","schema":"canopus.public-run.v1","source":{"commit":"fde5e1da5816445e3f7a71f3d5a3cc3167b0b2c0","event_log_root":"sha256:1e88846f042451428d4aeade2f26d45253db9db669aab9a28bba1a4e95d6c8b8","repository":"https://github.com/vela-science/erdos-frontier","snapshot_root":"sha256:2c8318dc84ec44240018b272a5bb2f99bc4479a378a9a5a50f0b78f2c19e772f"},"usage":{"attempts":1,"observed_tokens":50442,"research_elapsed_ms":94770,"research_processes":7},"verifier_root":"sha256:6d3f61b9111fde87d57340404ad5b7561a4aa777ce54c8bf639d081c216cb165"}

package/evidence/build-week/run_f68e4cfc-e5c7-4c73-86cb-d79807c47ec4.public.json

@@ -1 +0,0 @@
-{"activity":{"clean_clone_replay":"matched","verifier":"pass","worker":"success"},"artifact_roots":["sha256:5eca82c582a9d3b6ae63d137cf7dadd4a01e40d52bc1bfac99932d1d8752f884","sha256:878b05e01dbc4a785e5a671f977509f0bb338dfcb58ac53bf03d47bf6465f01e","sha256:ba5da48c4f6fd744a70eb82d5e1a8291f981bf5ee4df9ec2d86d8184fde22de3"],"authority":"read_only_projection","caveats":["The worker handed off without verifier authority; Canopus subsequently recorded the separate verifier pass shown in this projection.","Declared verifier outcome: passed.","Canopus produced this record; it is not a human acceptance decision."],"claim":"Produced the exact reconstructed 7,194-point Sidon witness for {0,1}^24.","final":{"commit":"4289e05876f142e72af622672e190be26f6a6f1d","event_log_root":"sha256:11a668d1cdd9caa18f6c3c78ac8c03431bd2ab9beb71f3c62c747d8a7b6571cd","snapshot_root":"sha256:0441baf3d3c0f7f58e51d8d0b54d2e20ee94c57cfe3fd52ec0ea6dde2ee0c92d"},"mission":{"digest":"sha256:611dc75d2dce98b218deeaf68985dec961a0722446fe1d2879447997ffcfa2ba","id":"mission_sidon_a24_at_least_7194_gpt56_v3","model":"gpt-5.6-sol","registration_kind":"profile","registration_name":"sidon-a24-at-least-7194-gpt56-v3","registration_root":"sha256:3b529df4304b96890cdd7eed5f90fd862422b8b1e7b4da1cef0a478e6e7cdebe","target":"sidon:a24-improve","target_packet_root":"sha256:09977a08357cbe240c5a7f5c3ea8e5c7055d6b5d71bcfb5f947b49accee1a3a8"},"nonclaims":["Verifier success is not scientific acceptance.","The bounded result does not establish maximality or settle the broader scientific problem.","Canopus did not sign or perform a human decision."],"policy":{"accepted_state_delta":0,"proposal_id":"vpr_491cc97cfdfe98ff","route":"defer"},"receipt_root":"sha256:91b9f0c72e2934d3f98a34de93b61a168c8a9ff560a18a63ff4a1ee6ae2f897c","reproduction":{"commands":["git clone https://github.com/vela-science/sidon-frontier.git","cd sidon-frontier","git checkout 4289e05876f142e72af622672e190be26f6a6f1d","vela reproduce ."]},"run_id":"run_f68e4cfc-e5c7-4c73-86cb-d79807c47ec4","schema":"canopus.public-run.v1","source":{"commit":"6f9dca7e30ea3d9db3f440fcb4b50ece21dcf40e","event_log_root":"sha256:f063218142b0995179f751036108c94e7f368eb257be31e6807a36121f7a13aa","repository":"https://github.com/vela-science/sidon-frontier","snapshot_root":"sha256:fe5498193ab1079696af6de6f8a899334908a247fd78f7a25fb476b5b36b43b8"},"usage":{"attempts":1,"observed_tokens":105553,"research_elapsed_ms":88131,"research_processes":7},"verifier_root":"sha256:89130864b3ca4f354673416d4352616265b1e3dc25147a4ae91bbbf3874fbff8"}

package/evidence/erdos/run_192b3bef-9d6e-49e5-b72d-7ae903b29d5e/pending-commands.json

@@ -1 +0,0 @@
-{"authority":"none","commands":[{"authority":"read_only","command":"vela reproduce . --proposal vpr_a845ae60ed695b93 --json","purpose":"reproduce_pending_artifact"},{"authority":"read_only","command":"vela review show . vpr_a845ae60ed695b93 --json","purpose":"inspect_review_material"},{"authority":"evidence_only","command":"vela verify attach . <attachment.json> --proposal vpr_a845ae60ed695b93 --as verifier:<actor> --json","purpose":"retain_independent_verifier_evidence"}],"proposal_id":"vpr_a845ae60ed695b93","schema":"canopus.pending-commands.v1"}

package/evidence/erdos/run_192b3bef-9d6e-49e5-b72d-7ae903b29d5e/public-run.json

@@ -1 +0,0 @@
-{"activity":{"clean_clone_replay":"matched","verifier":"pass","worker":"success"},"artifact_roots":["sha256:0547b0dba763c44b7c29f25407c66c3fe378ad64e164713d9c40a2caab96b088","sha256:23938294de90988480724d89405e8e97e8c9427ec647ea1a6e67aed877df6d9b","sha256:a16d74ae1bbde4d126afd57f5217e023f528bd754f62c6b7d5e86a58e7787c88"],"authority":"read_only_projection","caveats":["The worker handed off without verifier authority; Canopus subsequently recorded the separate verifier outcome.","Declared verifier outcome: passed.","Canopus produced this record; it is not a human acceptance decision."],"claim":"Bounded exhaustive search completed for Erdős 1056 k=15 over primes in 10428601..10428800; produced the required artifact bytes. Verification remains pending and will be performed separately by the frozen Canopus verifier.","final":{"commit":"e9ae9d3dd2ef5cae18346ee892451a091159f232","event_log_root":"sha256:b430f080ef0ac992571e0777b7154a8ae3567d0e9dd7292d3ee36e3ed2e4d8cd","snapshot_root":"sha256:ec16ec12124084e9ecbe3e954faa78bde52761673b2e3057dca0cd7f3a563280"},"mission":{"digest":"sha256:5d16a95366a5dce79dd3f1b1ea873349ca52e86c7caab8e015e9377e3385b2e0","id":"mission_erdos1056_k15_range_10428601_10428800_native2_retry","model":"gpt-5.4","registration_kind":"profile","registration_name":"erdos1056-k15-10428601-10428800","registration_root":"sha256:7225998d661b711786e194e2b578233f8d5f0cef129d4d06af7156ff90b51734","target":"erdos:1056","target_packet_root":"sha256:351cf94d7a6bfee8f8abd386af54f8bfa7fcc2cd01cf5cc155cf0a981086fcc5"},"nonclaims":["Verifier success is not scientific acceptance.","The bounded result does not establish maximality or settle the broader scientific problem.","Canopus did not sign or perform a human decision."],"policy":{"accepted_state_delta":0,"proposal_id":"vpr_a845ae60ed695b93","route":"defer"},"receipt_root":"sha256:7400662ed6493aa6dc49a31c0d2ea1099a5380a272914b13325aaf088ba58b57","reproduction":{"commands":["git clone https://github.com/vela-science/erdos-frontier.git","cd erdos-frontier","git checkout e9ae9d3dd2ef5cae18346ee892451a091159f232","vela reproduce 'artifacts/erdos1056-k15-range-10428601-10428800.txt'"]},"run_id":"run_192b3bef-9d6e-49e5-b72d-7ae903b29d5e","schema":"canopus.public-run.v1","source":{"commit":"7028ab2ad85f0fa2aee4526098e474044459e4e6","event_log_root":"sha256:12daf8cc1e4f2777629ca953e081c99b2931a60b8245273b9085a5c0add53c3b","repository":"https://github.com/vela-science/erdos-frontier","snapshot_root":"sha256:7f6efe7edd5bb0cf5e1fcb31d0b0d8892aa1de9a680dc4355d8628addcb546f4"},"usage":{"attempts":1,"observed_tokens":72454,"research_elapsed_ms":281331,"research_processes":7},"verifier_root":"sha256:7d6ac5bc88a1ca3d879c05e4429f237d017cdfc58f4c837d5d011a77c66fd46d"}

package/evidence/erdos/run_192b3bef-9d6e-49e5-b72d-7ae903b29d5e/root-manifest.json

@@ -1 +0,0 @@
-{"authority":"none","files":{"pending-commands.json":"sha256:9430fe4db2aa0842b6e806fde292412ca9b679676d0487e9ae55296822e1f850","public-run.json":"sha256:8809e983e526a4065c626ae4b9c27032082fbdc87ddb508009d35e4a620b330d","web-import.json":"sha256:65eaba0e4af34be3bb868c292b5905f5b97eb6a7a56c52f541e706c65238e047"},"run_id":"run_192b3bef-9d6e-49e5-b72d-7ae903b29d5e","schema":"canopus.publication-manifest.v1"}

package/evidence/erdos/run_192b3bef-9d6e-49e5-b72d-7ae903b29d5e/web-import.json

@@ -1 +0,0 @@
-{"accepted_state_delta":0,"authority":"read_only","projection_path":"public-run.json","projection_root":"sha256:8809e983e526a4065c626ae4b9c27032082fbdc87ddb508009d35e4a620b330d","route":"defer","run_id":"run_192b3bef-9d6e-49e5-b72d-7ae903b29d5e","schema":"vela-web.canopus-import.v1"}

package/evidence/erdos/run_b3b0cf07-b149-4d53-8258-76ba0e1fc0a5/pending-commands.json

@@ -1 +0,0 @@
-{"authority":"none","commands":[{"authority":"read_only","command":"vela reproduce . --proposal vpr_4a9068064a0c441c --json","purpose":"reproduce_pending_artifact"},{"authority":"read_only","command":"vela review show . vpr_4a9068064a0c441c --json","purpose":"inspect_review_material"},{"authority":"evidence_only","command":"vela verify attach . <attachment.json> --proposal vpr_4a9068064a0c441c --as verifier:<actor> --json","purpose":"retain_independent_verifier_evidence"}],"proposal_id":"vpr_4a9068064a0c441c","schema":"canopus.pending-commands.v1"}

package/evidence/erdos/run_b3b0cf07-b149-4d53-8258-76ba0e1fc0a5/public-run.json

@@ -1 +0,0 @@
-{"activity":{"clean_clone_replay":"matched","verifier":"pass","worker":"success"},"artifact_roots":["sha256:c21bc6dd9ddab27e75e25b19b03ea05a2029c4440d48ed2d062813556f732ee5","sha256:ce808e3f27edf7571b8d4f4a5c7a1ffc4041642568a4aa409bfda8c8801bb4e0","sha256:faf5395d6b3cb9a7f4f7262b1e3257dcc3bb4aff3bfacb7aab6a0384d4f4590e"],"authority":"read_only_projection","caveats":["The worker handed off without verifier authority; Canopus subsequently recorded the separate verifier outcome.","Producer status success indicates a contract-complete candidate artifact was produced, not verifier passage or scientific acceptance.","Declared verifier outcome: passed.","Canopus produced this record; it is not a human acceptance decision."],"claim":"Computed the exact registered search over primes in 10428801..10429000 and produced the required artifact bytes; verifier confirmation remains pending outside this worker.","final":{"commit":"d663166996c1522fe1c3257588c2ba0bcd58677f","event_log_root":"sha256:cbfa8ff683e44a0abfef9388d48496f0efee60595ae070d415f013ca8c3129c4","snapshot_root":"sha256:0b4b356bed9bba4c9d31a2ab46c9898d4f72593f744be4c0457a8ee8eb74c224"},"mission":{"digest":"sha256:ac6fe17ed47698c16372b282a1f8bbf5ad8d7c8924adff2495912fb86f5f9c1d","id":"mission_erdos1056_k15_range_10428801_10429000_native3","model":"gpt-5.4","registration_kind":"profile","registration_name":"erdos1056-k15-10428801-10429000","registration_root":"sha256:8602aacc6abfab7183a1e1895d337909754b7326e40372ea804c0bac3283e08d","target":"erdos:1056","target_packet_root":"sha256:72b3f4e234849bf88755a05aef10c1f1c1e946760acc564e72a0493a0306c834"},"nonclaims":["Verifier success is not scientific acceptance.","The bounded result does not establish maximality or settle the broader scientific problem.","Canopus did not sign or perform a human decision."],"policy":{"accepted_state_delta":0,"proposal_id":"vpr_4a9068064a0c441c","route":"defer"},"receipt_root":"sha256:7a7c728516e79da3f25ac1f6c10c30908949b6aba118dc9752f61b90b4a96435","reproduction":{"commands":["git clone https://github.com/vela-science/erdos-frontier.git","cd erdos-frontier","git checkout d663166996c1522fe1c3257588c2ba0bcd58677f","vela reproduce 'artifacts/erdos1056-k15-range-10428801-10429000.txt'"]},"run_id":"run_b3b0cf07-b149-4d53-8258-76ba0e1fc0a5","schema":"canopus.public-run.v1","source":{"commit":"e7c24af88cd1026830a666cd5abb4bdfc406a6f9","event_log_root":"sha256:b430f080ef0ac992571e0777b7154a8ae3567d0e9dd7292d3ee36e3ed2e4d8cd","repository":"https://github.com/vela-science/erdos-frontier","snapshot_root":"sha256:c20bab5a5693fb20fc1581eccbfb4e318f1012e9ee37b4f41c280c04dd636b37"},"usage":{"attempts":1,"observed_tokens":73083,"research_elapsed_ms":273559,"research_processes":7},"verifier_root":"sha256:507b607c8c35270ff54a7ae6483e00ff17104d7767d48956d0ab0c6f0ca38993"}

package/evidence/erdos/run_b3b0cf07-b149-4d53-8258-76ba0e1fc0a5/root-manifest.json

@@ -1 +0,0 @@
-{"authority":"none","files":{"pending-commands.json":"sha256:1ef0b4cbbfb6ca9bc055bf2019628088ab91a2dc8c31aad7dc9a0cbeee8e2aae","public-run.json":"sha256:9e2ed0a19ff8f9f52c2efcecb59865cea4f69ca25f67db5fe0e09dd2b54826e8","web-import.json":"sha256:e8617f21da503884d24555946d316268b9dda11d98a562343f1209f1e0282e72"},"run_id":"run_b3b0cf07-b149-4d53-8258-76ba0e1fc0a5","schema":"canopus.publication-manifest.v1"}

package/evidence/erdos/run_b3b0cf07-b149-4d53-8258-76ba0e1fc0a5/web-import.json

@@ -1 +0,0 @@
-{"accepted_state_delta":0,"authority":"read_only","projection_path":"public-run.json","projection_root":"sha256:9e2ed0a19ff8f9f52c2efcecb59865cea4f69ca25f67db5fe0e09dd2b54826e8","route":"defer","run_id":"run_b3b0cf07-b149-4d53-8258-76ba0e1fc0a5","schema":"vela-web.canopus-import.v1"}

package/missions/formal-erdos-505-test-dim-one-gpt56/mission.draft.json

@@ -1,40 +0,0 @@
-{
-  "id": "mission_formal_erdos_505_test_dim_one_gpt56_native1",
-  "target": "auto",
-  "frontier": ".",
-  "actor": "agent:canopus-local",
-  "role": "producer",
-  "claim_type": "theoretical",
-  "replayability": "exact",
-  "objective": "Produce one exactly checkable, sorry-free Lean proof term for Erdos505.erdos_505.test_dim_one in the frozen Lean 4.27.0 and Mathlib environment bound by the target packet. Write exactly one UTF-8 artifact at artifacts/erdos505-test-dim-one-proof.lean. The file must begin with by and contain only the proof term: no imports, theorem declaration, JSON, markdown fence, or surrounding prose. Do not use sorry, admit, an axiom declaration, or an unsafe declaration. Return engine status success only after the exact artifact exists. This bounded mission proves only the frozen one-dimensional category test; it does not prove the general Erdős 505 statement or establish scientific acceptance.",
-  "completion_condition": "The independent frozen capsule supplies the exact theorem statement, elaborates the candidate with Lean 4.27.0 against the frozen formal-conjectures and Mathlib commits, and confirms that its axiom closure contains only propext, Classical.choice, and Quot.sound and never sorryAx.",
-  "allowed_paths": [
-    "artifacts/erdos505-test-dim-one-proof.lean"
-  ],
-  "budgets": {
-    "max_research_wall_time_ms": 1800000,
-    "max_research_processes": 8,
-    "max_research_output_bytes": 16777216,
-    "max_prompt_bytes": 2097152,
-    "max_artifact_bytes": 131072,
-    "max_attempts": 1,
-    "max_observed_tokens": 120000
-  },
-  "worker": {
-    "model": "gpt-5.6-sol"
-  },
-  "verifier": {
-    "argv": [
-      "capsule/verifier",
-      "{artifact:artifacts/erdos505-test-dim-one-proof.lean}"
-    ],
-    "cwd": "targets",
-    "timeout_ms": 600000,
-    "max_output_bytes": 65536,
-    "capsule_path": "capsule/verifier"
-  },
-  "scientific_chain": {
-    "predicted_observable": "The frozen Lean verifier elaborates the exact candidate against Erdos505.erdos_505.test_dim_one, reports only the registered standard axioms, and exits zero on the unchanged proof bytes.",
-    "performed_test": "capsule/verifier artifacts/erdos505-test-dim-one-proof.lean"
-  }
-}

package/missions/quantum-10-1-4-retry/mission.draft.json

@@ -1,40 +0,0 @@
-{
-  "id": "mission_quantum_10_1_4_stabilizer_v2",
-  "target": "quantum:[[10,1,4]]",
-  "frontier": ".",
-  "actor": "agent:canopus-local",
-  "role": "producer",
-  "claim_type": "computational",
-  "replayability": "exact",
-  "objective": "Produce exactly one explicit stabilizer witness at artifacts/quantum-10-1-4.witness.json. The JSON fields must be exactly schema, target, n, k, and generators. Set schema to canopus.quantum-stabilizer-witness.v1, target to quantum:[[10,1,4]], n to 10, k to 1, and generators to exactly nine distinct length-10 strings over I, X, Y, Z. The generators must be non-identity, pairwise commuting, GF(2)-independent, and define no undetectable non-stabilizer Pauli of weight one, two, or three. A null or failed result is valid if no candidate is found. Work only from the supplied frontier and do not assume access to any earlier run artifact. Do not claim classification, optimality, or universal nonexistence.",
-  "completion_condition": "The frozen verifier independently checks generator validity, pairwise symplectic commutation, rank nine, stabilizer-span membership, and all 3,675 Pauli errors of weight one through three in a separate network-denied and write-denied container.",
-  "allowed_paths": [
-    "artifacts/quantum-10-1-4.witness.json"
-  ],
-  "budgets": {
-    "max_research_wall_time_ms": 1800000,
-    "max_research_processes": 16,
-    "max_research_output_bytes": 16777216,
-    "max_prompt_bytes": 2097152,
-    "max_artifact_bytes": 65536,
-    "max_attempts": 1,
-    "max_observed_tokens": 400000
-  },
-  "worker": {
-    "model": "gpt-5.4"
-  },
-  "verifier": {
-    "argv": [
-      "capsule/verifier",
-      "{artifact:artifacts/quantum-10-1-4.witness.json}"
-    ],
-    "cwd": "targets",
-    "timeout_ms": 30000,
-    "max_output_bytes": 65536,
-    "capsule_path": "capsule/verifier"
-  },
-  "scientific_chain": {
-    "predicted_observable": "The frozen verifier reports rank nine, stabilizer size 512, exactly 3,675 checked Pauli errors, and distance_at_least=4 for the supplied generator set.",
-    "performed_test": "capsule/verifier artifacts/quantum-10-1-4.witness.json"
-  }
-}

package/missions/sidon-a24-at-least-7194-gpt56/mission.draft.json

@@ -1,42 +0,0 @@
-{
-  "id": "mission_sidon_a24_at_least_7194_gpt56_v1",
-  "target": "auto",
-  "frontier": ".",
-  "actor": "agent:canopus-local",
-  "role": "producer",
-  "claim_type": "computational",
-  "replayability": "exact",
-  "objective": "Produce exactly one genuinely new Vela-native Sidon witness at artifacts/sidon-a24-gpt56-7194.witness.json and declare it as kind vela-witness. The input frontier contains a mechanically verified but pending 7,193-point baseline at artifacts/sidon-a24-improvement.witness.json with SHA-256 f3712b47633a239133b5e0491e68fffc85831b761c27402ba9de8057f09252e7, plus the prior exact 1-for-2 exchange implementation and benchmark under research/. Use those immutable inputs as a starting point, but do not return the existing 7,193 witness or merely replay its already-known one-point-extension and 1-for-2 result. Design, implement, and execute a stronger bounded search capable of a net improvement, such as a broader 1-for-2 search on the 7,193 baseline, a 2-for-3 or larger conflict-hypergraph exchange, or another exact collision-preserving repair method. Temporary source and diagnostics may be created outside the declared artifact path, but the only declared scientific artifact is the final witness. The artifact must be compact JSON with kind sidon, n 24, claimed_size at least 7194, and points as claimed_size distinct arrays of exactly 24 binary integers. Before reporting success, independently recheck the complete candidate by generating all m(m+1)/2 componentwise integer pair sums and confirming they are distinct. Report engine status success only after that check passes. If the bounded search does not find a valid improvement, return null with the strongest exact negative observations and no artifact. Do not claim maximality, classification, scientific acceptance, or a world record.",
-  "completion_condition": "The separate frozen Vela verifier parses the declared witness, independently checks 24-bit distinctness and every unordered componentwise pair sum, binds the exact claim that a Sidon subset of {0,1}^24 with at least 7,194 elements exists, and exits zero in a network-denied, read-only container. Canopus then clean-clone replays the same artifact and verifier roots and Vela routes the Receipt to Defer with accepted-state delta zero.",
-  "allowed_paths": [
-    "artifacts/sidon-a24-gpt56-7194.witness.json"
-  ],
-  "budgets": {
-    "max_research_wall_time_ms": 1800000,
-    "max_research_processes": 16,
-    "max_research_output_bytes": 16777216,
-    "max_prompt_bytes": 2097152,
-    "max_artifact_bytes": 1048576,
-    "max_attempts": 1,
-    "max_observed_tokens": 400000
-  },
-  "worker": {
-    "model": "gpt-5.6-sol"
-  },
-  "verifier": {
-    "argv": [
-      "capsule/verifier",
-      "--claim",
-      "There exists a Sidon subset of {0,1}^24 with at least 7,194 elements.",
-      "{artifact:artifacts/sidon-a24-gpt56-7194.witness.json}"
-    ],
-    "cwd": "targets",
-    "timeout_ms": 300000,
-    "max_output_bytes": 65536,
-    "capsule_path": "capsule/verifier"
-  },
-  "scientific_chain": {
-    "predicted_observable": "A newly produced set contains at least 7,194 distinct 24-bit points and all of its unordered componentwise integer pair sums are distinct.",
-    "performed_test": "capsule/verifier --claim 'There exists a Sidon subset of {0,1}^24 with at least 7,194 elements.' artifacts/sidon-a24-gpt56-7194.witness.json"
-  }
-}

package/missions/sidon-a24-at-least-7194-gpt56-v2/mission.draft.json

@@ -1,42 +0,0 @@
-{
-  "id": "mission_sidon_a24_at_least_7194_gpt56_v2",
-  "target": "auto",
-  "frontier": ".",
-  "actor": "agent:canopus-local",
-  "role": "producer",
-  "claim_type": "computational",
-  "replayability": "exact",
-  "objective": "Produce exactly one genuinely new Vela-native Sidon witness at artifacts/sidon-a24-gpt56-7194.witness.json and declare it as kind vela-witness. This repairs the first GPT-5.6 attempt's unavailable-input defect: the exact target packet now embeds the complete mechanically verified pending 7,193-point baseline in current_state.tracked_unaccepted_seed.encoded_points. Require its encoded_points_sha256 to equal sha256:cbf35310bafabb05a610e3e4e6ff3c5f5c60c5a80cb6821a3cde165b672c643a and its witness root to equal sha256:f3712b47633a239133b5e0491e68fffc85831b761c27402ba9de8057f09252e7 before using it. The packet also records the prior exact one-removal/two-addition exchange that improved 7,192 to 7,193. Do not return that existing witness or merely replay its already-known exchange. Design, implement, and execute a stronger bounded search capable of another net improvement, such as a broader 1-for-2 search on the 7,193 baseline, a 2-for-3 or larger conflict-hypergraph exchange, or another exact collision-preserving repair method. Temporary source and diagnostics may be created inside the worker workspace, but the only declared scientific artifact is the final witness. The artifact must be compact JSON with kind sidon, n 24, claimed_size at least 7194, and points as claimed_size distinct arrays of exactly 24 binary integers. Before reporting success, independently recheck the complete candidate by generating all m(m+1)/2 componentwise integer pair sums and confirming they are distinct. Report engine status success only after that check passes. If the bounded search does not find a valid improvement, return null with the strongest exact negative observations and no artifact. Do not claim maximality, classification, scientific acceptance, or a world record.",
-  "completion_condition": "The separate frozen Vela verifier parses the declared witness, independently checks 24-bit distinctness and every unordered componentwise integer pair sum, binds the exact claim that a Sidon subset of {0,1}^24 with at least 7,194 elements exists, and exits zero in a network-denied, read-only container. Canopus then clean-clone replays the same artifact and verifier roots and Vela routes the Receipt to Defer with accepted-state delta zero.",
-  "allowed_paths": [
-    "artifacts/sidon-a24-gpt56-7194.witness.json"
-  ],
-  "budgets": {
-    "max_research_wall_time_ms": 1800000,
-    "max_research_processes": 16,
-    "max_research_output_bytes": 16777216,
-    "max_prompt_bytes": 2097152,
-    "max_artifact_bytes": 1048576,
-    "max_attempts": 1,
-    "max_observed_tokens": 600000
-  },
-  "worker": {
-    "model": "gpt-5.6-sol"
-  },
-  "verifier": {
-    "argv": [
-      "capsule/verifier",
-      "--claim",
-      "There exists a Sidon subset of {0,1}^24 with at least 7,194 elements.",
-      "{artifact:artifacts/sidon-a24-gpt56-7194.witness.json}"
-    ],
-    "cwd": "targets",
-    "timeout_ms": 300000,
-    "max_output_bytes": 65536,
-    "capsule_path": "capsule/verifier"
-  },
-  "scientific_chain": {
-    "predicted_observable": "A newly produced set contains at least 7,194 distinct 24-bit points and all of its unordered componentwise integer pair sums are distinct.",
-    "performed_test": "capsule/verifier --claim 'There exists a Sidon subset of {0,1}^24 with at least 7,194 elements.' artifacts/sidon-a24-gpt56-7194.witness.json"
-  }
-}

package/missions/sidon-a24-at-least-7194-gpt56-v3/mission.draft.json

@@ -1,42 +0,0 @@
-{
-  "id": "mission_sidon_a24_at_least_7194_gpt56_v3",
-  "target": "auto",
-  "frontier": ".",
-  "actor": "agent:canopus-local",
-  "role": "producer",
-  "claim_type": "computational",
-  "replayability": "exact",
-  "objective": "Retain and independently recheck the genuinely new 7,194-point Sidon construction discovered by GPT-5.6 in bounded Canopus run run_230412bc-01f4-4805-9152-7fc8f8a5b8e0. That discovery run was bound to target packet sha256:09977a08357cbe240c5a7f5c3ea8e5c7055d6b5d71bcfb5f947b49accee1a3a8 and baseline encoded_points_sha256 sha256:cbf35310bafabb05a610e3e4e6ff3c5f5c60c5a80cb6821a3cde165b672c643a. Its exact successful exchange removed baseline point index 72 and added the two new 24-bit points encoded as hexadecimal 970f25 and 246891. Reconstruct the candidate from the complete baseline embedded in current_state.tracked_unaccepted_seed.encoded_points, write exactly one artifact at artifacts/sidon-a24-gpt56-7194.witness.json, and declare it as kind vela-witness. The artifact must be compact JSON with kind sidon, n 24, claimed_size 7194, and points as 7,194 distinct arrays of exactly 24 binary integers. Before reporting success, independently regenerate all 7,194*7,195/2 unordered componentwise integer pair sums and confirm all 25,880,415 are distinct. Leave the complete artifact at its declared workspace path and use the workspace-backed handoff by returning an empty inline content field if the artifact is too large to inline. Report engine status success only after the complete check passes. This mission repairs the prior transport failure; it does not claim a second discovery. If reconstruction or the exact check fails, return failed with no artifact. Do not claim maximality, classification, scientific acceptance, or a world record.",
-  "completion_condition": "The separate frozen Vela verifier parses the declared witness, independently checks 24-bit distinctness and every unordered componentwise integer pair sum, binds the exact claim that a Sidon subset of {0,1}^24 with at least 7,194 elements exists, and exits zero in a network-denied, read-only container. Canopus then clean-clone replays the same artifact and verifier roots and Vela routes the Receipt to Defer with accepted-state delta zero.",
-  "allowed_paths": [
-    "artifacts/sidon-a24-gpt56-7194.witness.json"
-  ],
-  "budgets": {
-    "max_research_wall_time_ms": 600000,
-    "max_research_processes": 12,
-    "max_research_output_bytes": 16777216,
-    "max_prompt_bytes": 2097152,
-    "max_artifact_bytes": 1048576,
-    "max_attempts": 1,
-    "max_observed_tokens": 300000
-  },
-  "worker": {
-    "model": "gpt-5.6-sol"
-  },
-  "verifier": {
-    "argv": [
-      "capsule/verifier",
-      "--claim",
-      "There exists a Sidon subset of {0,1}^24 with at least 7,194 elements.",
-      "{artifact:artifacts/sidon-a24-gpt56-7194.witness.json}"
-    ],
-    "cwd": "targets",
-    "timeout_ms": 300000,
-    "max_output_bytes": 65536,
-    "capsule_path": "capsule/verifier"
-  },
-  "scientific_chain": {
-    "predicted_observable": "The GPT-5.6-discovered set contains exactly 7,194 distinct 24-bit points and all 25,880,415 unordered componentwise integer pair sums are distinct.",
-    "performed_test": "capsule/verifier --claim 'There exists a Sidon subset of {0,1}^24 with at least 7,194 elements.' artifacts/sidon-a24-gpt56-7194.witness.json"
-  }
-}

package/profiles/formal-erdos-505-test-dim-one-gpt56.json

@@ -1,35 +0,0 @@
-{
-  "schema": "canopus.profile.v2",
-  "name": "formal-erdos-505-test-dim-one-gpt56",
-  "target": "formal:erdos-505-test-dim-one",
-  "target_packet_schema": "formal-conjectures.lean-proof-work.v1",
-  "draft": "missions/formal-erdos-505-test-dim-one-gpt56/mission.draft.json",
-  "draft_sha256": "sha256:dd066b636ed9261f73a6413a37d023b870a2ae8be7710954e9bb3368b77eddc5",
-  "objective_sha256": "sha256:d9b480cf26a5d4481a00eb6da15b6805fe49dd00154e9906943fbd1dcb3667fb",
-  "completion_condition_sha256": "sha256:75a9c7ce1f44f24e594b068beea5d4b26544331546435592a90b32c4363672fb",
-  "allowed_artifacts_sha256": "sha256:6c95468a5b24366edf539b156bbf3651cff55c1b1aad2a752522d316e88882db",
-  "budgets_sha256": "sha256:ac698d491f864a95be0e708029f538d532333920105ea5c28b56b45b6f639245",
-  "replay_argv_sha256": "sha256:120e2870a3570cbcebca835bb30c3f4b016d9cbbaece13b269ce449b2dcdfd1e",
-  "landing": {
-    "expected_routes": ["defer"],
-    "max_accepted_delta": 0
-  },
-  "platforms": {
-    "darwin-arm64": {
-      "worker_profile": "runtime/native-worker/config.toml",
-      "worker_profile_sha256": "sha256:12b58762819481ad101e7a172a296224b6050a8a07a7431272e521a4102908da",
-      "verifier_capsule": "capsules/formal-erdos-505-test-dim-one/verifier",
-      "verifier_capsule_sha256": "sha256:c1ef5a0914e9d537d2acba2b74a27f139d37414629c7676937515e99438b58dd",
-      "verifier_image": "ghcr.io/vela-science/canopus-formal-verifier@sha256:a9df828f9480d79e10a9707847fdf99a6a27287cf4281256d79f17be7f3d9f39",
-      "verifier_platform": "linux/amd64"
-    },
-    "linux-x86_64": {
-      "worker_profile": "runtime/native-worker/config-linux.toml",
-      "worker_profile_sha256": "sha256:fddecc4b7458b91f6d55ae16b666d297ae7bcd1a2f5deeb6650dcea60fc0242c",
-      "verifier_capsule": "capsules/formal-erdos-505-test-dim-one/verifier",
-      "verifier_capsule_sha256": "sha256:c1ef5a0914e9d537d2acba2b74a27f139d37414629c7676937515e99438b58dd",
-      "verifier_image": "ghcr.io/vela-science/canopus-formal-verifier@sha256:a9df828f9480d79e10a9707847fdf99a6a27287cf4281256d79f17be7f3d9f39",
-      "verifier_platform": "linux/amd64"
-    }
-  }
-}

package/profiles/quantum-10-1-4-stabilizer-retry.json

@@ -1,35 +0,0 @@
-{
-  "schema": "canopus.profile.v2",
-  "name": "quantum-10-1-4-stabilizer-retry",
-  "target": "quantum:[[10,1,4]]",
-  "target_packet_schema": "quantum-codes.stabilizer-work.v1",
-  "draft": "missions/quantum-10-1-4-retry/mission.draft.json",
-  "draft_sha256": "sha256:e19f77440210492229e77014766abda013ab08ae5d8780a1ba7ae88f299c6c9d",
-  "objective_sha256": "sha256:bb432a7dedff4ed91facabc519f9d822988fe5a071342e6b1b7da15ab922e81e",
-  "completion_condition_sha256": "sha256:3f8efa58f9262d0e7a5cf3c7357a52b41331c8de4996c8d46d4bc187893a2372",
-  "allowed_artifacts_sha256": "sha256:17c9b63d133d87c3f8947805a414772597b99babcebdf95645c80a8357b67e35",
-  "budgets_sha256": "sha256:af61ff3790f8a96491fecca0693b6498f89b87ae7f67cebdbe85bef1670c48a0",
-  "replay_argv_sha256": "sha256:db20f2bd15f3bad1de911942247efbc190199d9d3683462a41723302b7ffacce",
-  "landing": {
-    "expected_routes": [
-      "defer"
-    ],
-    "max_accepted_delta": 0
-  },
-  "platforms": {
-    "darwin-arm64": {
-      "worker_profile": "runtime/native-worker/config.toml",
-      "worker_profile_sha256": "sha256:12b58762819481ad101e7a172a296224b6050a8a07a7431272e521a4102908da",
-      "verifier_capsule": "capsules/quantum-10-1-4/verifier.py",
-      "verifier_capsule_sha256": "sha256:7070364ac9017b597b7765efd772f68f543008b64217df4b0d43e72719527160",
-      "verifier_image": "ghcr.io/vela-science/canopus-verifier@sha256:a6f354862f2a3f7d72eb99244c65fa8583c98b74e17e3d5ce6e31ef48aa16536"
-    },
-    "linux-x86_64": {
-      "worker_profile": "runtime/native-worker/config-linux.toml",
-      "worker_profile_sha256": "sha256:fddecc4b7458b91f6d55ae16b666d297ae7bcd1a2f5deeb6650dcea60fc0242c",
-      "verifier_capsule": "capsules/quantum-10-1-4/verifier.py",
-      "verifier_capsule_sha256": "sha256:7070364ac9017b597b7765efd772f68f543008b64217df4b0d43e72719527160",
-      "verifier_image": "ghcr.io/vela-science/canopus-verifier@sha256:a6f354862f2a3f7d72eb99244c65fa8583c98b74e17e3d5ce6e31ef48aa16536"
-    }
-  }
-}

package/profiles/sidon-a24-at-least-7194-gpt56-v2.json

@@ -1,35 +0,0 @@
-{
-  "schema": "canopus.profile.v2",
-  "name": "sidon-a24-at-least-7194-gpt56-v2",
-  "target": "sidon:a24-improve",
-  "target_packet_schema": "sidon-frontier.a24-improvement-work.v1",
-  "draft": "missions/sidon-a24-at-least-7194-gpt56-v2/mission.draft.json",
-  "draft_sha256": "sha256:e48a3b7c839d24e65ce716265f15cdf0524039be51d2f0bfc7161c126d371d90",
-  "objective_sha256": "sha256:3bfd95405a7cff86f473cf626c9e5ab7fc54e08747a8c0cbf540994c078b5c3e",
-  "completion_condition_sha256": "sha256:7141926b5d72c01a817b80ad054e2e664e3c3d16c0b0531228036ad9fd082a86",
-  "allowed_artifacts_sha256": "sha256:7ad061b9970829e7456088cb267e141dcabba592f45c086666e5df866735fe02",
-  "budgets_sha256": "sha256:651b5fa8060b5b52269f957bba0319e72e9cc3cad74a053fc6206c1ec1679494",
-  "replay_argv_sha256": "sha256:b2ad1c73f144ee0dee9707bb9fdf18cad65a6a9fdeac467fab50f2602dac6108",
-  "landing": {
-    "expected_routes": ["defer"],
-    "max_accepted_delta": 0
-  },
-  "platforms": {
-    "darwin-arm64": {
-      "worker_profile": "runtime/native-worker/config.toml",
-      "worker_profile_sha256": "sha256:12b58762819481ad101e7a172a296224b6050a8a07a7431272e521a4102908da",
-      "verifier_capsule": "capsules/sidon-a24/bin/linux-arm64/verifier",
-      "verifier_capsule_sha256": "sha256:7641fdaf11a3ad0c4110ade53b7d905c1ce1dae5a16234ed0d4e8d1dc79f548c",
-      "verifier_image": "ghcr.io/vela-science/canopus-verifier@sha256:a6f354862f2a3f7d72eb99244c65fa8583c98b74e17e3d5ce6e31ef48aa16536",
-      "verifier_platform": "linux/arm64"
-    },
-    "linux-x86_64": {
-      "worker_profile": "runtime/native-worker/config-linux.toml",
-      "worker_profile_sha256": "sha256:fddecc4b7458b91f6d55ae16b666d297ae7bcd1a2f5deeb6650dcea60fc0242c",
-      "verifier_capsule": "capsules/sidon-a24/bin/linux-x86_64/verifier",
-      "verifier_capsule_sha256": "sha256:799b6ba5afb372dd74abd7952b76640d19a2edca9fdd9c54aecb024de5e100cd",
-      "verifier_image": "ghcr.io/vela-science/canopus-verifier@sha256:a6f354862f2a3f7d72eb99244c65fa8583c98b74e17e3d5ce6e31ef48aa16536",
-      "verifier_platform": "linux/amd64"
-    }
-  }
-}

package/profiles/sidon-a24-at-least-7194-gpt56-v3.json

@@ -1,35 +0,0 @@
-{
-  "schema": "canopus.profile.v2",
-  "name": "sidon-a24-at-least-7194-gpt56-v3",
-  "target": "sidon:a24-improve",
-  "target_packet_schema": "sidon-frontier.a24-improvement-work.v1",
-  "draft": "missions/sidon-a24-at-least-7194-gpt56-v3/mission.draft.json",
-  "draft_sha256": "sha256:6cb1866832cba030d88bd15ae22c0b44766b859f34302320041f170ed02360e0",
-  "objective_sha256": "sha256:479105be0f2b4d0f0dfc46ecdb36119f4f3231bc66b8e576ba8d1a61be3bea3f",
-  "completion_condition_sha256": "sha256:7141926b5d72c01a817b80ad054e2e664e3c3d16c0b0531228036ad9fd082a86",
-  "allowed_artifacts_sha256": "sha256:7ad061b9970829e7456088cb267e141dcabba592f45c086666e5df866735fe02",
-  "budgets_sha256": "sha256:6c4d10a504e32935442feea296a4143d1e5769b0b8905939cd60a3a5d8aea40c",
-  "replay_argv_sha256": "sha256:b2ad1c73f144ee0dee9707bb9fdf18cad65a6a9fdeac467fab50f2602dac6108",
-  "landing": {
-    "expected_routes": ["defer"],
-    "max_accepted_delta": 0
-  },
-  "platforms": {
-    "darwin-arm64": {
-      "worker_profile": "runtime/native-worker/config.toml",
-      "worker_profile_sha256": "sha256:12b58762819481ad101e7a172a296224b6050a8a07a7431272e521a4102908da",
-      "verifier_capsule": "capsules/sidon-a24/bin/linux-arm64/verifier",
-      "verifier_capsule_sha256": "sha256:7641fdaf11a3ad0c4110ade53b7d905c1ce1dae5a16234ed0d4e8d1dc79f548c",
-      "verifier_image": "ghcr.io/vela-science/canopus-verifier@sha256:a6f354862f2a3f7d72eb99244c65fa8583c98b74e17e3d5ce6e31ef48aa16536",
-      "verifier_platform": "linux/arm64"
-    },
-    "linux-x86_64": {
-      "worker_profile": "runtime/native-worker/config-linux.toml",
-      "worker_profile_sha256": "sha256:fddecc4b7458b91f6d55ae16b666d297ae7bcd1a2f5deeb6650dcea60fc0242c",
-      "verifier_capsule": "capsules/sidon-a24/bin/linux-x86_64/verifier",
-      "verifier_capsule_sha256": "sha256:799b6ba5afb372dd74abd7952b76640d19a2edca9fdd9c54aecb024de5e100cd",
-      "verifier_image": "ghcr.io/vela-science/canopus-verifier@sha256:a6f354862f2a3f7d72eb99244c65fa8583c98b74e17e3d5ce6e31ef48aa16536",
-      "verifier_platform": "linux/amd64"
-    }
-  }
-}

package/profiles/sidon-a24-at-least-7194-gpt56.json

@@ -1,35 +0,0 @@
-{
-  "schema": "canopus.profile.v2",
-  "name": "sidon-a24-at-least-7194-gpt56",
-  "target": "sidon:a24-improve",
-  "target_packet_schema": "sidon-frontier.a24-improvement-work.v1",
-  "draft": "missions/sidon-a24-at-least-7194-gpt56/mission.draft.json",
-  "draft_sha256": "sha256:34ff550847aad6a4f832b9ef6ee5cff8901020d3e88291c3f9ba95ebc40368d4",
-  "objective_sha256": "sha256:509eba95a790b0addd56f67179c9692f93d339db67c9a915b188d3feebc10f92",
-  "completion_condition_sha256": "sha256:f5051ed38a914c9efcb677f5db5e49d1fa7f1186ad68e966e0e97f096880c2e7",
-  "allowed_artifacts_sha256": "sha256:7ad061b9970829e7456088cb267e141dcabba592f45c086666e5df866735fe02",
-  "budgets_sha256": "sha256:94337a17242923ff4c923a88dd101902ee244f09809faba1bcdf090bb0e4ff00",
-  "replay_argv_sha256": "sha256:b2ad1c73f144ee0dee9707bb9fdf18cad65a6a9fdeac467fab50f2602dac6108",
-  "landing": {
-    "expected_routes": ["defer"],
-    "max_accepted_delta": 0
-  },
-  "platforms": {
-    "darwin-arm64": {
-      "worker_profile": "runtime/native-worker/config.toml",
-      "worker_profile_sha256": "sha256:12b58762819481ad101e7a172a296224b6050a8a07a7431272e521a4102908da",
-      "verifier_capsule": "capsules/sidon-a24/bin/linux-arm64/verifier",
-      "verifier_capsule_sha256": "sha256:7641fdaf11a3ad0c4110ade53b7d905c1ce1dae5a16234ed0d4e8d1dc79f548c",
-      "verifier_image": "ghcr.io/vela-science/canopus-verifier@sha256:a6f354862f2a3f7d72eb99244c65fa8583c98b74e17e3d5ce6e31ef48aa16536",
-      "verifier_platform": "linux/arm64"
-    },
-    "linux-x86_64": {
-      "worker_profile": "runtime/native-worker/config-linux.toml",
-      "worker_profile_sha256": "sha256:fddecc4b7458b91f6d55ae16b666d297ae7bcd1a2f5deeb6650dcea60fc0242c",
-      "verifier_capsule": "capsules/sidon-a24/bin/linux-x86_64/verifier",
-      "verifier_capsule_sha256": "sha256:799b6ba5afb372dd74abd7952b76640d19a2edca9fdd9c54aecb024de5e100cd",
-      "verifier_image": "ghcr.io/vela-science/canopus-verifier@sha256:a6f354862f2a3f7d72eb99244c65fa8583c98b74e17e3d5ce6e31ef48aa16536",
-      "verifier_platform": "linux/amd64"
-    }
-  }
-}

package/schemas/canopus.public-run.v1.json

@@ -1,116 +0,0 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://vela.science/schemas/canopus.public-run.v1.json",
-  "title": "Canopus Public Run v1",
-  "type": "object",
-  "additionalProperties": false,
-  "required": [
-    "schema",
-    "authority",
-    "run_id",
-    "mission",
-    "activity",
-    "claim",
-    "caveats",
-    "artifact_roots",
-    "verifier_root",
-    "receipt_root",
-    "policy",
-    "usage",
-    "source",
-    "final",
-    "reproduction",
-    "nonclaims"
-  ],
-  "properties": {
-    "schema": { "const": "canopus.public-run.v1" },
-    "authority": { "const": "read_only_projection" },
-    "run_id": { "type": "string", "minLength": 5, "maxLength": 128 },
-    "mission": {
-      "type": "object",
-      "additionalProperties": false,
-      "required": ["id", "target", "digest", "registration_kind", "registration_name", "registration_root", "target_packet_root", "model"],
-      "properties": {
-        "id": { "type": "string" },
-        "target": { "type": "string" },
-        "digest": { "$ref": "#/$defs/sha256" },
-        "registration_kind": { "type": "string", "enum": ["profile", "mission_bundle"] },
-        "registration_name": { "type": "string" },
-        "registration_root": { "$ref": "#/$defs/sha256" },
-        "target_packet_root": { "$ref": "#/$defs/sha256" },
-        "model": { "type": "string" }
-      }
-    },
-    "activity": {
-      "type": "object",
-      "additionalProperties": false,
-      "required": ["worker", "verifier", "clean_clone_replay"],
-      "properties": {
-        "worker": { "const": "success" },
-        "verifier": { "const": "pass" },
-        "clean_clone_replay": { "const": "matched" }
-      }
-    },
-    "claim": { "type": "string", "minLength": 1 },
-    "caveats": { "type": "array", "items": { "type": "string" } },
-    "artifact_roots": { "type": "array", "minItems": 1, "maxItems": 10, "items": { "$ref": "#/$defs/sha256" } },
-    "verifier_root": { "$ref": "#/$defs/sha256" },
-    "receipt_root": { "$ref": "#/$defs/sha256" },
-    "policy": {
-      "type": "object",
-      "additionalProperties": false,
-      "required": ["route", "proposal_id", "accepted_state_delta"],
-      "properties": {
-        "route": { "const": "defer" },
-        "proposal_id": { "type": "string" },
-        "accepted_state_delta": { "const": 0 }
-      }
-    },
-    "usage": {
-      "type": "object",
-      "additionalProperties": false,
-      "required": ["research_elapsed_ms", "research_processes", "observed_tokens", "attempts"],
-      "properties": {
-        "research_elapsed_ms": { "type": "integer", "minimum": 0 },
-        "research_processes": { "type": "integer", "minimum": 0 },
-        "observed_tokens": { "type": "integer", "minimum": 0 },
-        "attempts": { "type": "integer", "minimum": 0 }
-      }
-    },
-    "source": { "$ref": "#/$defs/state" },
-    "final": {
-      "type": "object",
-      "additionalProperties": false,
-      "required": ["commit", "event_log_root", "snapshot_root"],
-      "properties": {
-        "commit": { "$ref": "#/$defs/git" },
-        "event_log_root": { "$ref": "#/$defs/sha256" },
-        "snapshot_root": { "$ref": "#/$defs/sha256" }
-      }
-    },
-    "reproduction": {
-      "type": "object",
-      "additionalProperties": false,
-      "required": ["commands"],
-      "properties": {
-        "commands": { "type": "array", "minItems": 4, "maxItems": 4, "items": { "type": "string" } }
-      }
-    },
-    "nonclaims": { "type": "array", "minItems": 3, "items": { "type": "string" } }
-  },
-  "$defs": {
-    "sha256": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
-    "git": { "type": "string", "pattern": "^[0-9a-f]{40,64}$" },
-    "state": {
-      "type": "object",
-      "additionalProperties": false,
-      "required": ["repository", "commit", "event_log_root", "snapshot_root"],
-      "properties": {
-        "repository": { "type": "string", "pattern": "^https://github\\.com/vela-science/[a-z0-9-]+$" },
-        "commit": { "$ref": "#/$defs/git" },
-        "event_log_root": { "$ref": "#/$defs/sha256" },
-        "snapshot_root": { "$ref": "#/$defs/sha256" }
-      }
-    }
-  }
-}