@vela-science/canopus 0.7.0 → 0.8.0

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" }
-      }
-    }
-  }
-}