@vela-science/canopus 0.6.4 → 0.6.5

package/CHANGELOG.md

@@ -1,7 +1,25 @@
 # Changelog
 
-## Unreleased
-
+## 0.6.5 - 2026-07-25
+
+- Advance the sole runnable Erdős 1056 profile to the adjacent,
+  non-overlapping range `10428801..10429000`. The registration freezes one
+  bounded Mission v1 draft and independently built static Linux ARM64 and
+  x86-64 verifier capsules before any model call. The completed
+  `10428601..10428800` profile remains reproducible from Canopus `0.6.3`, its
+  retained run evidence, and immutable Git history; its binaries are removed
+  from the active package rather than accumulated indefinitely.
+- Complete that registered mission in 73,083 observed tokens. The frozen
+  verifier independently confirms the exhaustive bounded-negative result over
+  all 15 primes in `10428801..10429000`; Vela lands Receipt
+  `sha256:7a7c728516e79da3f25ac1f6c10c30908949b6aba118dc9752f61b90b4a96435`
+  as proposal `vpr_4a9068064a0c441c` through Defer with accepted-event delta
+  zero, and clean-clone reproduction matches. The result is not a universal
+  nonexistence claim and is not scientific acceptance.
+- Publish only the sanitized read-only run projection at
+  `evidence/erdos/run_b3b0cf07-b149-4d53-8258-76ba0e1fc0a5`; the raw worker
+  directory, credentials, unrestricted logs, and withdrawal capability remain
+  outside the package.
 - Compose exactly with released Vela `0.915.1`. The maintenance release changes
   no mission, Receipt, verifier, policy, proposal, or authority contract.
   GitHub CI pins the released macOS, Linux, and Windows archives and binaries by

package/README.md

@@ -57,15 +57,16 @@ Mission → GPT-5.6 → artifact → verifier → Receipt → Defer.
 **90 seconds — inspect the shipped product:**
 
 ```sh
-bunx @vela-science/canopus@0.6.4 --version
-bunx @vela-science/canopus@0.6.4 profile validate sidon-a24-at-least-7194-gpt56-v3
+bunx @vela-science/canopus@0.6.5 --version
+bunx @vela-science/canopus@0.6.5 profile validate sidon-a24-at-least-7194-gpt56-v3
 ```
 
-**Full workflow — reproduce without rebuilding Canopus:**
+**Retained historical result — reproduce without rebuilding Canopus:**
 
+This Sidon artifact remains bound to the Vela version recorded when it landed.
 Install the provenance-checked prebuilt
 [Vela 0.912.0 release](https://github.com/vela-science/vela/releases/tag/v0.912.0)
-for your platform, then:
+for this replay only, then:
 
 ```sh
 git clone https://github.com/vela-science/sidon-frontier.git
@@ -80,21 +81,24 @@ The first command selects the pending artifact explicitly and runs Vela's
 frozen Sidon verifier. The second is an independent base-3 implementation that
 also rejects a bound collision injection. Neither command accepts the proposal.
 
+For new missions, use Vela `0.915.1`, the version composed with Canopus
+`0.6.5` and enforced by `canopus doctor`.
+
 ## Quickstart
 
 Run the provenance-backed public package with Bun:
 
 ```sh
-bunx @vela-science/canopus@0.6.4 --version
+bunx @vela-science/canopus@0.6.5 --version
 ```
 
 Inspect a clean frontier, then run its first ranked producer offer:
 
 ```sh
-bunx @vela-science/canopus@0.6.4 doctor /path/to/frontier
-bunx @vela-science/canopus@0.6.4 run /path/to/frontier --first
-bunx @vela-science/canopus@0.6.4 inspect latest
-bunx @vela-science/canopus@0.6.4 replay /path/to/run.json
+bunx @vela-science/canopus@0.6.5 doctor /path/to/frontier
+bunx @vela-science/canopus@0.6.5 run /path/to/frontier --first
+bunx @vela-science/canopus@0.6.5 inspect latest
+bunx @vela-science/canopus@0.6.5 replay /path/to/run.json
 ```
 
 Export a completed Defer run without publishing or mutating anything:
@@ -113,7 +117,7 @@ standing after verification; historical run v0 records remain inspectable.
 Use `--no-land` for a diagnostic mission that cannot change the source frontier:
 
 ```sh
-bunx @vela-science/canopus@0.6.4 run /path/to/frontier --first --no-land
+bunx @vela-science/canopus@0.6.5 run /path/to/frontier --first --no-land
 ```
 
 `doctor` binds the exact Vela, Codex, Git, frontier, packet, profile, and verifier

package/docs/RELEASES.md

@@ -1,5 +1,49 @@
 # Release evidence
 
+## Canopus v0.6.5
+
+Version `0.6.5` packages the preregistered
+`erdos1056-k15-10428801-10429000` profile and the sanitized record of its
+completed non-overlapping bounded search. It changes no runtime, protocol,
+Receipt, policy, proposal, or authority contract.
+
+- Repository: [`vela-science/vela-research-harness`](https://github.com/vela-science/vela-research-harness)
+- Release: [`v0.6.5`](https://github.com/vela-science/vela-research-harness/releases/tag/v0.6.5)
+
+The mission completed without semantic hints:
+
+- Run: `run_b3b0cf07-b149-4d53-8258-76ba0e1fc0a5`
+- Model/runtime: `gpt-5.4` / Codex CLI `0.145.0`
+- Scope: every prime in the exact inclusive range `10428801..10429000`
+- Result: 15 primes checked; no factorial-residue fiber reached size 16; the
+  maximum was 11 at `p=10428809`, residue `2766139`
+- Observed usage: 73,083 tokens, below the registered 160,000-token ceiling
+- Artifact:
+  `sha256:ce808e3f27edf7571b8d4f4a5c7a1ffc4041642568a4aa409bfda8c8801bb4e0`
+- Frozen ARM64 verifier executable:
+  `sha256:c9533a8650ca2a76f37c4d482e5467849eb6df4e11d18759207abd94739293f3`
+- Verifier output:
+  `sha256:82c9d62b67f0909f1e080a9e150e3940ad03a9fa2f6b7a43f44802761fb36fc8`
+- Receipt:
+  `sha256:7a7c728516e79da3f25ac1f6c10c30908949b6aba118dc9752f61b90b4a96435`
+- Proposal: `vpr_4a9068064a0c441c`
+- Route and authority effect: Defer; accepted-event delta zero
+- Clean-clone reproduction: matched
+- Sanitized public projection:
+  `sha256:9e2ed0a19ff8f9f52c2efcecb59865cea4f69ca25f67db5fe0e09dd2b54826e8`
+- Publication bundle:
+  `sha256:33637f6164518cf4e5974d5a9f8a4af3dfbd004705a22d73f45fbe1db828f6bb`
+- Canonical frontier landing commit:
+  `d663166996c1522fe1c3257588c2ba0bcd58677f`
+
+The bounded negative result is evidence only. It does not prove universal
+nonexistence or settle Erdős 1056, and verifier passage is not scientific
+acceptance. The exact proposal remains pending human review; its acceptance
+path is blocked by the durable Engine gate because it lacks two independent
+retained attachments and one surviving adversarial probe. The raw run remains
+local. Only the sanitized projection and its content-addressed manifest enter
+this repository.
+
 ## Canopus v0.6.4
 
 Version `0.6.4` restores exact composition with released Vela `0.915.1`.
@@ -28,6 +72,25 @@ private-parent evidence. A standalone Canopus clone now reports that fixture
 as unavailable rather than copying it or making a non-normative experiment a
 false product failure.
 
+- Repository: [`vela-science/vela-research-harness`](https://github.com/vela-science/vela-research-harness)
+- Release: [`v0.6.4`](https://github.com/vela-science/vela-research-harness/releases/tag/v0.6.4)
+- Tag commit: `2a132e69ad2611ab6b9d04b03320cd5b6a76a405`
+- Main CI:
+  [run 30149356518](https://github.com/vela-science/vela-research-harness/actions/runs/30149356518),
+  passed on macOS, Ubuntu, Windows, and the exact released-Vela composition
+- CodeQL:
+  [run 30149355908](https://github.com/vela-science/vela-research-harness/actions/runs/30149355908),
+  passed for Actions, JavaScript/TypeScript, Python, and C/C++
+- Trusted release:
+  [run 30149415459](https://github.com/vela-science/vela-research-harness/actions/runs/30149415459),
+  verified the GitHub attestation, published through npm trusted publishing,
+  verified npm provenance, and created the matching GitHub release
+- npm integrity:
+  `sha512-GdPY05aw4uLJ/sYRaZ8OmpcvnuNAHB/NHnRAg7N68oemJpjWwr4mvF0PJEXJxcd9Jp+jfDabUgr+v6gWnUeyrQ==`
+- npm shasum: `de4f5b4874656cdff91a1cb1c721e0274a5c6c30`
+- Package SHA-256:
+  `bda10adaac4f73fdfce8dee5da0946b63c5128b3654866d434c871feb2c2a041`
+
 ## Canopus v0.6.3
 
 Version `0.6.3` is a narrow composition repair for released Vela `0.914.1`.

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

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

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

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

@@ -0,0 +1 @@
+{"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/erdos1056-k15-next/mission.draft.json

@@ -1,15 +1,15 @@
 {
-  "id": "mission_erdos1056_k15_range_10428601_10428800_native2_retry",
+  "id": "mission_erdos1056_k15_range_10428801_10429000_native3",
   "target": "auto",
   "frontier": ".",
   "actor": "agent:canopus-local",
   "role": "producer",
   "claim_type": "computational",
   "replayability": "exact",
-  "objective": "Perform one finite exhaustive search for an Erdős 1056 k=15 witness over every prime p in the exact inclusive range 10428601..10428800. Use a compiled C++ program, one prime at a time; a flat open-addressed table keyed by the factorial residue keeps this bounded computation inside the registered memory and time limits. For each prime, compute t! modulo p for every cut t in 0..p-1 and count every residue fiber. For each p choose its largest fiber, breaking a tie by the smallest residue. If any largest fiber has at least 16 cuts, stop at the first such prime and report status=witness. Otherwise report status=negative and the greatest multiplicity over the whole range, breaking ties by the earliest prime and then the smallest residue. In both cases list every increasing cut in the selected fiber. Produce exactly one UTF-8 artifact at artifacts/erdos1056-k15-range-10428601-10428800.txt with these newline-terminated lines in order: schema=canopus.erdos1056-k15-search.v1; status=witness or status=negative; problem=1056; k=15; range_start=10428601; range_end=10428800; primes_tested=<exact count>; max_multiplicity=<exact count>; best_p=<prime>; best_residue=<residue>; cuts=<comma-separated cuts>. Return engine status success only after the program completes the entire registered range and writes the exact artifact. This is an exact bounded computation, not a universal answer to Erdős 1056.",
+  "objective": "Perform one finite exhaustive search for an Erdős 1056 k=15 witness over every prime p in the exact inclusive range 10428801..10429000. Use a compiled C++ program, one prime at a time; a flat open-addressed table keyed by the factorial residue keeps this bounded computation inside the registered memory and time limits. For each prime, compute t! modulo p for every cut t in 0..p-1 and count every residue fiber. For each p choose its largest fiber, breaking a tie by the smallest residue. If any largest fiber has at least 16 cuts, stop at the first such prime and report status=witness. Otherwise report status=negative and the greatest multiplicity over the whole range, breaking ties by the earliest prime and then the smallest residue. In both cases list every increasing cut in the selected fiber. Produce exactly one UTF-8 artifact at artifacts/erdos1056-k15-range-10428801-10429000.txt with these newline-terminated lines in order: schema=canopus.erdos1056-k15-search.v1; status=witness or status=negative; problem=1056; k=15; range_start=10428801; range_end=10429000; primes_tested=<exact count>; max_multiplicity=<exact count>; best_p=<prime>; best_residue=<residue>; cuts=<comma-separated cuts>. Return engine status success only after the program completes the entire registered range and writes the exact artifact. This is an exact bounded computation, not a universal answer to Erdős 1056.",
   "completion_condition": "The independent frozen capsule recomputes the full exact range in a separate network-denied and write-denied container and byte-matches the single artifact.",
   "allowed_paths": [
-    "artifacts/erdos1056-k15-range-10428601-10428800.txt"
+    "artifacts/erdos1056-k15-range-10428801-10429000.txt"
   ],
   "budgets": {
     "max_research_wall_time_ms": 1800000,
@@ -26,7 +26,7 @@
   "verifier": {
     "argv": [
       "capsule/verifier",
-      "{artifact:artifacts/erdos1056-k15-range-10428601-10428800.txt}"
+      "{artifact:artifacts/erdos1056-k15-range-10428801-10429000.txt}"
     ],
     "cwd": "site",
     "timeout_ms": 300000,
@@ -34,7 +34,7 @@
     "capsule_path": "capsule/verifier"
   },
   "scientific_chain": {
-    "predicted_observable": "The frozen verifier independently obtains the same first witness or complete bounded-negative result for all primes in 10428601..10428800 and exits zero on the exact candidate bytes.",
-    "performed_test": "capsule/verifier artifacts/erdos1056-k15-range-10428601-10428800.txt"
+    "predicted_observable": "The frozen verifier independently obtains the same first witness or complete bounded-negative result for all primes in 10428801..10429000 and exits zero on the exact candidate bytes.",
+    "performed_test": "capsule/verifier artifacts/erdos1056-k15-range-10428801-10429000.txt"
   }
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vela-science/canopus",
-  "version": "0.6.4",
+  "version": "0.6.5",
   "description": "A bounded, replaceable research harness over released Vela interfaces",
   "type": "module",
   "private": false,
@@ -53,8 +53,8 @@
     "dist/src/run.js",
     "dist/src/run.d.ts",
     "schemas",
-    "capsules/erdos1056-k15/bin/linux-arm64/10428601-10428800/verifier",
-    "capsules/erdos1056-k15/bin/linux-x86_64/10428601-10428800/verifier",
+    "capsules/erdos1056-k15/bin/linux-arm64/10428801-10429000/verifier",
+    "capsules/erdos1056-k15/bin/linux-x86_64/10428801-10429000/verifier",
     "capsules/formal-erdos-505-test-dim-one/verifier",
     "capsules/quantum-10-1-4/verifier.py",
     "capsules/sidon-a24/bin/linux-arm64/verifier",

package/profiles/{erdos1056-k15-10428601-10428800.json → erdos1056-k15-10428801-10429000.json}

@@ -1,15 +1,15 @@
 {
   "schema": "canopus.profile.v2",
-  "name": "erdos1056-k15-10428601-10428800",
+  "name": "erdos1056-k15-10428801-10429000",
   "target": "erdos:1056",
   "target_packet_schema": "erdos-frontier.problem-work.v1",
   "draft": "missions/erdos1056-k15-next/mission.draft.json",
-  "draft_sha256": "sha256:31f0d178472b2eb904d081be09a78fdeb2f65091389e4b09650064e71f31c91f",
-  "objective_sha256": "sha256:b70c05cfe940c96610386c1abf51507e3282c2f96f3c6ef8ae85b1216a2f4b0a",
+  "draft_sha256": "sha256:bcf426097f93fef79e2743e1591940f0d2e13a899f6b81b5e58e697213ddfd9e",
+  "objective_sha256": "sha256:cc5ec511b6b66a5d4e99047aba59a8b2e89dff5c8f496a759183355547f968a5",
   "completion_condition_sha256": "sha256:4a4a06e2c867867a191af27900e96c23e677db2775783f1829c31e4867a7f270",
-  "allowed_artifacts_sha256": "sha256:11c82c9b03ba9cb220187160fac0923a38a533a5d7f05cc6749eaadfafa98d90",
+  "allowed_artifacts_sha256": "sha256:f0f5f096175d80648c9d0463c726ebdf2811ed25511b1640e7151ab3eb622bd3",
   "budgets_sha256": "sha256:5457a393d492978d8f191aca42fde0bf95261d74d701ce7ecd1b99f6e0dcbc0c",
-  "replay_argv_sha256": "sha256:d39c48fc7f6fe2d052e15d3454fecbd7db81b6eb764b01fd3d80dc96393c146c",
+  "replay_argv_sha256": "sha256:5442bf3648b752afc9898cfec9197cb47021bde71caa48028700ede7367a9176",
   "landing": {
     "expected_routes": ["defer"],
     "max_accepted_delta": 0
@@ -18,15 +18,15 @@
     "darwin-arm64": {
       "worker_profile": "runtime/native-worker/config.toml",
       "worker_profile_sha256": "sha256:12b58762819481ad101e7a172a296224b6050a8a07a7431272e521a4102908da",
-      "verifier_capsule": "capsules/erdos1056-k15/bin/linux-arm64/10428601-10428800/verifier",
-      "verifier_capsule_sha256": "sha256:875a28177ef9b29d2480a8fe7906eddc3e809824190083abc885609555f8e52d",
+      "verifier_capsule": "capsules/erdos1056-k15/bin/linux-arm64/10428801-10429000/verifier",
+      "verifier_capsule_sha256": "sha256:c9533a8650ca2a76f37c4d482e5467849eb6df4e11d18759207abd94739293f3",
       "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/erdos1056-k15/bin/linux-x86_64/10428601-10428800/verifier",
-      "verifier_capsule_sha256": "sha256:51fc4e682d7a7f8f30f5e0dc2584e17fe94a037d246ff402fbe5d5ca6b820dc8",
+      "verifier_capsule": "capsules/erdos1056-k15/bin/linux-x86_64/10428801-10429000/verifier",
+      "verifier_capsule_sha256": "sha256:f9c33462ce457cf465aa95ae7e557a33c3c3988f5a9b7891b2accedb0eabee9e",
       "verifier_image": "ghcr.io/vela-science/canopus-verifier@sha256:a6f354862f2a3f7d72eb99244c65fa8583c98b74e17e3d5ce6e31ef48aa16536"
     }
   }