@vela-science/canopus 0.4.5 → 0.5.0

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

@@ -0,0 +1,42 @@
+{
+  "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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vela-science/canopus",
-  "version": "0.4.5",
+  "version": "0.5.0",
   "description": "A bounded, replaceable research harness over released Vela interfaces",
   "type": "module",
   "private": false,
@@ -16,6 +16,7 @@
   "engines": {
     "node": ">=22 <23 || >=24 <25"
   },
+  "packageManager": "bun@1.3.12",
   "bin": {
     "canopus": "dist/src/cli.js"
   },
@@ -55,6 +56,9 @@
     "capsules/erdos1056-k15/bin/linux-arm64/10428401-10428600/verifier",
     "capsules/erdos1056-k15/bin/linux-x86_64/10428401-10428600/verifier",
     "capsules/formal-erdos-505-test-dim-one/verifier",
+    "capsules/quantum-10-1-4/verifier.py",
+    "capsules/sidon-a24/bin/linux-arm64/verifier",
+    "capsules/sidon-a24/bin/linux-x86_64/verifier",
     "missions",
     "profiles",
     "runtime",
@@ -74,18 +78,19 @@
     "LICENSE-APACHE",
     "LICENSE-MIT"
   ],
-  "devDependencies": {
-    "@types/node": "^24.0.0",
-    "typescript": "^5.9.0"
-  },
   "scripts": {
     "build": "node scripts/clean-dist.mjs && tsc -p tsconfig.json",
     "typecheck": "tsc -p tsconfig.json --noEmit",
     "lint": "tsc -p tsconfig.json --noEmit",
-    "test": "pnpm run build && node --test 'dist/tests/**/*.test.js' 'tests/**/*.test.mjs'",
-    "check": "pnpm run lint && pnpm run test",
-    "pack:check": "pnpm pack --dry-run",
+    "test": "bun run build && node --test 'dist/tests/**/*.test.js' 'tests/**/*.test.mjs'",
+    "check": "bun run lint && bun run test",
+    "prepack": "bun run build",
+    "pack:check": "bun pm pack --dry-run",
     "fixture:hostile-custody": "node scripts/run-hostile-native-custody-fixture.mjs",
     "fixture:hostile-verifier": "node scripts/run-hostile-verifier-fixture.mjs"
+  },
+  "devDependencies": {
+    "@types/node": "^24.0.0",
+    "typescript": "^5.9.0"
   }
-}
+}

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

@@ -0,0 +1,35 @@
+{
+  "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

@@ -0,0 +1,35 @@
+{
+  "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

@@ -0,0 +1,35 @@
+{
+  "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

@@ -0,0 +1,35 @@
+{
+  "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"
+    }
+  }
+}