@vela-science/canopus 0.6.3 → 0.6.5
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +40 -0
- package/README.md +15 -11
- package/THIRD_PARTY.md +1 -1
- package/capsules/erdos1056-k15/bin/linux-arm64/{10428601-10428800 → 10428801-10429000}/verifier +0 -0
- package/capsules/erdos1056-k15/bin/linux-x86_64/{10428601-10428800 → 10428801-10429000}/verifier +0 -0
- package/dist/src/product/version.d.ts +1 -1
- package/dist/src/product/version.js +1 -1
- package/dist/src/vela/cli.js +1 -1
- package/docs/RELEASES.md +91 -0
- package/evidence/erdos/run_b3b0cf07-b149-4d53-8258-76ba0e1fc0a5/pending-commands.json +1 -0
- package/evidence/erdos/run_b3b0cf07-b149-4d53-8258-76ba0e1fc0a5/public-run.json +1 -0
- package/evidence/erdos/run_b3b0cf07-b149-4d53-8258-76ba0e1fc0a5/root-manifest.json +1 -0
- package/evidence/erdos/run_b3b0cf07-b149-4d53-8258-76ba0e1fc0a5/web-import.json +1 -0
- package/missions/erdos1056-k15-next/mission.draft.json +6 -6
- package/package.json +5 -3
- package/profiles/{erdos1056-k15-10428601-10428800.json → erdos1056-k15-10428801-10429000.json} +9 -9
package/CHANGELOG.md
CHANGED
|
@@ -1,5 +1,45 @@
|
|
|
1
1
|
# Changelog
|
|
2
2
|
|
|
3
|
+
## 0.6.5 - 2026-07-25
|
|
4
|
+
|
|
5
|
+
- Advance the sole runnable Erdős 1056 profile to the adjacent,
|
|
6
|
+
non-overlapping range `10428801..10429000`. The registration freezes one
|
|
7
|
+
bounded Mission v1 draft and independently built static Linux ARM64 and
|
|
8
|
+
x86-64 verifier capsules before any model call. The completed
|
|
9
|
+
`10428601..10428800` profile remains reproducible from Canopus `0.6.3`, its
|
|
10
|
+
retained run evidence, and immutable Git history; its binaries are removed
|
|
11
|
+
from the active package rather than accumulated indefinitely.
|
|
12
|
+
- Complete that registered mission in 73,083 observed tokens. The frozen
|
|
13
|
+
verifier independently confirms the exhaustive bounded-negative result over
|
|
14
|
+
all 15 primes in `10428801..10429000`; Vela lands Receipt
|
|
15
|
+
`sha256:7a7c728516e79da3f25ac1f6c10c30908949b6aba118dc9752f61b90b4a96435`
|
|
16
|
+
as proposal `vpr_4a9068064a0c441c` through Defer with accepted-event delta
|
|
17
|
+
zero, and clean-clone reproduction matches. The result is not a universal
|
|
18
|
+
nonexistence claim and is not scientific acceptance.
|
|
19
|
+
- Publish only the sanitized read-only run projection at
|
|
20
|
+
`evidence/erdos/run_b3b0cf07-b149-4d53-8258-76ba0e1fc0a5`; the raw worker
|
|
21
|
+
directory, credentials, unrestricted logs, and withdrawal capability remain
|
|
22
|
+
outside the package.
|
|
23
|
+
- Compose exactly with released Vela `0.915.1`. The maintenance release changes
|
|
24
|
+
no mission, Receipt, verifier, policy, proposal, or authority contract.
|
|
25
|
+
GitHub CI pins the released macOS, Linux, and Windows archives and binaries by
|
|
26
|
+
SHA-256, and the released-binary integration test retains Defer,
|
|
27
|
+
accepted-event delta zero, retained-artifact binding, and clean-clone replay.
|
|
28
|
+
- Extend the bounded Vela 0.9 compact-root reader through `0.915.1`. Fresh
|
|
29
|
+
minimal frontiers intentionally omit `proof/latest.json`; Canopus continues
|
|
30
|
+
to bind the strict replay event and scientific-state roots instead of
|
|
31
|
+
inventing or requiring a derived proof packet.
|
|
32
|
+
- Keep the non-normative cross-repository task-authority shadow test explicit:
|
|
33
|
+
it runs when its separately pinned ecosystem checkout is available and reports
|
|
34
|
+
a named skip in a standalone Canopus clone instead of copying private
|
|
35
|
+
experiment inputs or failing the product release suite.
|
|
36
|
+
- Add a source-local, non-normative task-authority hostile experiment over the
|
|
37
|
+
released Canopus `0.6.3`, Vela `0.915.1`, and Codex `0.145.0` composition.
|
|
38
|
+
The current Mission v1 boundary detects three of eight frozen hostiles; an
|
|
39
|
+
additional operational packet detects all eight while retaining zero
|
|
40
|
+
scientific, authority, or standing effect. The experiment is intentionally
|
|
41
|
+
excluded from the npm package and promotes no Vela protocol object.
|
|
42
|
+
|
|
3
43
|
## 0.6.3 - 2026-07-24
|
|
4
44
|
|
|
5
45
|
- Restore exact composition with released Vela `0.914.1` after Canopus
|
package/README.md
CHANGED
|
@@ -57,15 +57,16 @@ Mission → GPT-5.6 → artifact → verifier → Receipt → Defer.
|
|
|
57
57
|
**90 seconds — inspect the shipped product:**
|
|
58
58
|
|
|
59
59
|
```sh
|
|
60
|
-
bunx @vela-science/canopus@0.6.
|
|
61
|
-
bunx @vela-science/canopus@0.6.
|
|
60
|
+
bunx @vela-science/canopus@0.6.5 --version
|
|
61
|
+
bunx @vela-science/canopus@0.6.5 profile validate sidon-a24-at-least-7194-gpt56-v3
|
|
62
62
|
```
|
|
63
63
|
|
|
64
|
-
**
|
|
64
|
+
**Retained historical result — reproduce without rebuilding Canopus:**
|
|
65
65
|
|
|
66
|
+
This Sidon artifact remains bound to the Vela version recorded when it landed.
|
|
66
67
|
Install the provenance-checked prebuilt
|
|
67
68
|
[Vela 0.912.0 release](https://github.com/vela-science/vela/releases/tag/v0.912.0)
|
|
68
|
-
for
|
|
69
|
+
for this replay only, then:
|
|
69
70
|
|
|
70
71
|
```sh
|
|
71
72
|
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
|
|
|
80
81
|
frozen Sidon verifier. The second is an independent base-3 implementation that
|
|
81
82
|
also rejects a bound collision injection. Neither command accepts the proposal.
|
|
82
83
|
|
|
84
|
+
For new missions, use Vela `0.915.1`, the version composed with Canopus
|
|
85
|
+
`0.6.5` and enforced by `canopus doctor`.
|
|
86
|
+
|
|
83
87
|
## Quickstart
|
|
84
88
|
|
|
85
89
|
Run the provenance-backed public package with Bun:
|
|
86
90
|
|
|
87
91
|
```sh
|
|
88
|
-
bunx @vela-science/canopus@0.6.
|
|
92
|
+
bunx @vela-science/canopus@0.6.5 --version
|
|
89
93
|
```
|
|
90
94
|
|
|
91
95
|
Inspect a clean frontier, then run its first ranked producer offer:
|
|
92
96
|
|
|
93
97
|
```sh
|
|
94
|
-
bunx @vela-science/canopus@0.6.
|
|
95
|
-
bunx @vela-science/canopus@0.6.
|
|
96
|
-
bunx @vela-science/canopus@0.6.
|
|
97
|
-
bunx @vela-science/canopus@0.6.
|
|
98
|
+
bunx @vela-science/canopus@0.6.5 doctor /path/to/frontier
|
|
99
|
+
bunx @vela-science/canopus@0.6.5 run /path/to/frontier --first
|
|
100
|
+
bunx @vela-science/canopus@0.6.5 inspect latest
|
|
101
|
+
bunx @vela-science/canopus@0.6.5 replay /path/to/run.json
|
|
98
102
|
```
|
|
99
103
|
|
|
100
104
|
Export a completed Defer run without publishing or mutating anything:
|
|
@@ -113,7 +117,7 @@ standing after verification; historical run v0 records remain inspectable.
|
|
|
113
117
|
Use `--no-land` for a diagnostic mission that cannot change the source frontier:
|
|
114
118
|
|
|
115
119
|
```sh
|
|
116
|
-
bunx @vela-science/canopus@0.6.
|
|
120
|
+
bunx @vela-science/canopus@0.6.5 run /path/to/frontier --first --no-land
|
|
117
121
|
```
|
|
118
122
|
|
|
119
123
|
`doctor` binds the exact Vela, Codex, Git, frontier, packet, profile, and verifier
|
|
@@ -154,7 +158,7 @@ Exact commits, run roots, audit evidence, and nonclaims live in
|
|
|
154
158
|
|
|
155
159
|
## Development
|
|
156
160
|
|
|
157
|
-
Requires Bun 1.3.12, Vela 0.
|
|
161
|
+
Requires Bun 1.3.12, Vela 0.915.1, Codex CLI 0.145.0, and Docker. The built
|
|
158
162
|
package also runs under Node 22 or 24; unsupported odd-numbered Node releases
|
|
159
163
|
are rejected rather than silently treated as supported.
|
|
160
164
|
|
package/THIRD_PARTY.md
CHANGED
|
@@ -5,7 +5,7 @@ are in `LICENSE-APACHE` and `LICENSE-MIT`.
|
|
|
5
5
|
|
|
6
6
|
## Shipped npm package
|
|
7
7
|
|
|
8
|
-
`@vela-science/canopus@0.6.
|
|
8
|
+
`@vela-science/canopus@0.6.4` has no runtime npm dependencies. Its packaged
|
|
9
9
|
JavaScript uses only Node.js built-ins. The package also contains frozen
|
|
10
10
|
mission data and verifier capsules produced for the bounded profiles described
|
|
11
11
|
in `docs/MISSIONS.md`; their source and executable identities are bound by the
|
package/capsules/erdos1056-k15/bin/linux-arm64/{10428601-10428800 → 10428801-10429000}/verifier
RENAMED
|
Binary file
|
package/capsules/erdos1056-k15/bin/linux-x86_64/{10428601-10428800 → 10428801-10429000}/verifier
RENAMED
|
Binary file
|
|
@@ -4,5 +4,5 @@ if (typeof packageJson.version !== "string" || packageJson.version.length === 0)
|
|
|
4
4
|
throw new Error("Canopus package version is missing");
|
|
5
5
|
}
|
|
6
6
|
export const CANOPUS_VERSION = packageJson.version;
|
|
7
|
-
export const SUPPORTED_VELA_VERSION = "0.
|
|
7
|
+
export const SUPPORTED_VELA_VERSION = "0.915.1";
|
|
8
8
|
export const SUPPORTED_CODEX_VERSION = "0.145.0";
|
package/dist/src/vela/cli.js
CHANGED
|
@@ -43,7 +43,7 @@ function usesCompactStatusProjection(version) {
|
|
|
43
43
|
if (match === null)
|
|
44
44
|
return false;
|
|
45
45
|
const minor = Number(match[1]);
|
|
46
|
-
return Number.isSafeInteger(minor) && minor >= 900 && minor <=
|
|
46
|
+
return Number.isSafeInteger(minor) && minor >= 900 && minor <= 915;
|
|
47
47
|
}
|
|
48
48
|
function safeFailureMessage(value) {
|
|
49
49
|
if (typeof value !== "string" || value.length === 0)
|
package/docs/RELEASES.md
CHANGED
|
@@ -1,5 +1,96 @@
|
|
|
1
1
|
# Release evidence
|
|
2
2
|
|
|
3
|
+
## Canopus v0.6.5
|
|
4
|
+
|
|
5
|
+
Version `0.6.5` packages the preregistered
|
|
6
|
+
`erdos1056-k15-10428801-10429000` profile and the sanitized record of its
|
|
7
|
+
completed non-overlapping bounded search. It changes no runtime, protocol,
|
|
8
|
+
Receipt, policy, proposal, or authority contract.
|
|
9
|
+
|
|
10
|
+
- Repository: [`vela-science/vela-research-harness`](https://github.com/vela-science/vela-research-harness)
|
|
11
|
+
- Release: [`v0.6.5`](https://github.com/vela-science/vela-research-harness/releases/tag/v0.6.5)
|
|
12
|
+
|
|
13
|
+
The mission completed without semantic hints:
|
|
14
|
+
|
|
15
|
+
- Run: `run_b3b0cf07-b149-4d53-8258-76ba0e1fc0a5`
|
|
16
|
+
- Model/runtime: `gpt-5.4` / Codex CLI `0.145.0`
|
|
17
|
+
- Scope: every prime in the exact inclusive range `10428801..10429000`
|
|
18
|
+
- Result: 15 primes checked; no factorial-residue fiber reached size 16; the
|
|
19
|
+
maximum was 11 at `p=10428809`, residue `2766139`
|
|
20
|
+
- Observed usage: 73,083 tokens, below the registered 160,000-token ceiling
|
|
21
|
+
- Artifact:
|
|
22
|
+
`sha256:ce808e3f27edf7571b8d4f4a5c7a1ffc4041642568a4aa409bfda8c8801bb4e0`
|
|
23
|
+
- Frozen ARM64 verifier executable:
|
|
24
|
+
`sha256:c9533a8650ca2a76f37c4d482e5467849eb6df4e11d18759207abd94739293f3`
|
|
25
|
+
- Verifier output:
|
|
26
|
+
`sha256:82c9d62b67f0909f1e080a9e150e3940ad03a9fa2f6b7a43f44802761fb36fc8`
|
|
27
|
+
- Receipt:
|
|
28
|
+
`sha256:7a7c728516e79da3f25ac1f6c10c30908949b6aba118dc9752f61b90b4a96435`
|
|
29
|
+
- Proposal: `vpr_4a9068064a0c441c`
|
|
30
|
+
- Route and authority effect: Defer; accepted-event delta zero
|
|
31
|
+
- Clean-clone reproduction: matched
|
|
32
|
+
- Sanitized public projection:
|
|
33
|
+
`sha256:9e2ed0a19ff8f9f52c2efcecb59865cea4f69ca25f67db5fe0e09dd2b54826e8`
|
|
34
|
+
- Publication bundle:
|
|
35
|
+
`sha256:33637f6164518cf4e5974d5a9f8a4af3dfbd004705a22d73f45fbe1db828f6bb`
|
|
36
|
+
- Canonical frontier landing commit:
|
|
37
|
+
`d663166996c1522fe1c3257588c2ba0bcd58677f`
|
|
38
|
+
|
|
39
|
+
The bounded negative result is evidence only. It does not prove universal
|
|
40
|
+
nonexistence or settle Erdős 1056, and verifier passage is not scientific
|
|
41
|
+
acceptance. The exact proposal remains pending human review; its acceptance
|
|
42
|
+
path is blocked by the durable Engine gate because it lacks two independent
|
|
43
|
+
retained attachments and one surviving adversarial probe. The raw run remains
|
|
44
|
+
local. Only the sanitized projection and its content-addressed manifest enter
|
|
45
|
+
this repository.
|
|
46
|
+
|
|
47
|
+
## Canopus v0.6.4
|
|
48
|
+
|
|
49
|
+
Version `0.6.4` restores exact composition with released Vela `0.915.1`.
|
|
50
|
+
The change advances only the tested Vela binary boundary and its platform
|
|
51
|
+
archive and executable digests. It changes no mission, Receipt, verifier,
|
|
52
|
+
policy, proposal, or authority contract. Historical missions remain bound to
|
|
53
|
+
their own recorded Vela versions and SHA-256 digests.
|
|
54
|
+
|
|
55
|
+
Vela `0.915.1` preserves the 0.9 minimal-init contract: a fresh frontier has no
|
|
56
|
+
`proof/latest.json`. Canopus therefore reads the event and scientific-state
|
|
57
|
+
roots from the strict replay projection, cross-checks every available replay
|
|
58
|
+
root, and does not create or require a derived proof packet.
|
|
59
|
+
|
|
60
|
+
The release gate requires the exact Vela `0.915.1` binary to pass initialization,
|
|
61
|
+
work, authored Defer landing, accepted-event delta zero, retained-artifact
|
|
62
|
+
binding, and clean-clone replay. CI pins these release bytes:
|
|
63
|
+
|
|
64
|
+
| Platform | Archive SHA-256 | Vela executable SHA-256 |
|
|
65
|
+
| --- | --- | --- |
|
|
66
|
+
| macOS arm64 | `e9f34d25e10313b2bcd38683b198743ef51242e5074b33d8f223a3d04873a642` | `826861ac137e4607bdaa363702d2779f2639b8fffb088a70f8be7d0be6540fed` |
|
|
67
|
+
| Linux x86-64 | `6d78bf5f47b51baf3610cd40a33524ea36e3f5f231bf2616ef306dacb4a4edf3` | `b9acf197e26a75decf37219ba681f78878dffe1c11d4e1351bba18246c77d8aa` |
|
|
68
|
+
| Windows x86-64 | `dae503dc0a83679e0f244ab12ea3fffd105bae1e0217d4d01c5b8a24adf508bd` | `a2dba32fe9354355a3cd0b3665a9da706dcd6bf15bdbb0c87c1cec25756d1ba4` |
|
|
69
|
+
|
|
70
|
+
The source-local task-authority live-shadow experiment still binds separate
|
|
71
|
+
private-parent evidence. A standalone Canopus clone now reports that fixture
|
|
72
|
+
as unavailable rather than copying it or making a non-normative experiment a
|
|
73
|
+
false product failure.
|
|
74
|
+
|
|
75
|
+
- Repository: [`vela-science/vela-research-harness`](https://github.com/vela-science/vela-research-harness)
|
|
76
|
+
- Release: [`v0.6.4`](https://github.com/vela-science/vela-research-harness/releases/tag/v0.6.4)
|
|
77
|
+
- Tag commit: `2a132e69ad2611ab6b9d04b03320cd5b6a76a405`
|
|
78
|
+
- Main CI:
|
|
79
|
+
[run 30149356518](https://github.com/vela-science/vela-research-harness/actions/runs/30149356518),
|
|
80
|
+
passed on macOS, Ubuntu, Windows, and the exact released-Vela composition
|
|
81
|
+
- CodeQL:
|
|
82
|
+
[run 30149355908](https://github.com/vela-science/vela-research-harness/actions/runs/30149355908),
|
|
83
|
+
passed for Actions, JavaScript/TypeScript, Python, and C/C++
|
|
84
|
+
- Trusted release:
|
|
85
|
+
[run 30149415459](https://github.com/vela-science/vela-research-harness/actions/runs/30149415459),
|
|
86
|
+
verified the GitHub attestation, published through npm trusted publishing,
|
|
87
|
+
verified npm provenance, and created the matching GitHub release
|
|
88
|
+
- npm integrity:
|
|
89
|
+
`sha512-GdPY05aw4uLJ/sYRaZ8OmpcvnuNAHB/NHnRAg7N68oemJpjWwr4mvF0PJEXJxcd9Jp+jfDabUgr+v6gWnUeyrQ==`
|
|
90
|
+
- npm shasum: `de4f5b4874656cdff91a1cb1c721e0274a5c6c30`
|
|
91
|
+
- Package SHA-256:
|
|
92
|
+
`bda10adaac4f73fdfce8dee5da0946b63c5128b3654866d434c871feb2c2a041`
|
|
93
|
+
|
|
3
94
|
## Canopus v0.6.3
|
|
4
95
|
|
|
5
96
|
Version `0.6.3` is a narrow composition repair for released Vela `0.914.1`.
|
|
@@ -0,0 +1 @@
|
|
|
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"}
|
|
@@ -0,0 +1 @@
|
|
|
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"}
|
|
@@ -0,0 +1 @@
|
|
|
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"}
|
|
@@ -0,0 +1 @@
|
|
|
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"}
|
|
@@ -1,15 +1,15 @@
|
|
|
1
1
|
{
|
|
2
|
-
"id": "
|
|
2
|
+
"id": "mission_erdos1056_k15_range_10428801_10429000_native3",
|
|
3
3
|
"target": "auto",
|
|
4
4
|
"frontier": ".",
|
|
5
5
|
"actor": "agent:canopus-local",
|
|
6
6
|
"role": "producer",
|
|
7
7
|
"claim_type": "computational",
|
|
8
8
|
"replayability": "exact",
|
|
9
|
-
"objective": "Perform one finite exhaustive search for an Erdős 1056 k=15 witness over every prime p in the exact inclusive range
|
|
9
|
+
"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.",
|
|
10
10
|
"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.",
|
|
11
11
|
"allowed_paths": [
|
|
12
|
-
"artifacts/erdos1056-k15-range-
|
|
12
|
+
"artifacts/erdos1056-k15-range-10428801-10429000.txt"
|
|
13
13
|
],
|
|
14
14
|
"budgets": {
|
|
15
15
|
"max_research_wall_time_ms": 1800000,
|
|
@@ -26,7 +26,7 @@
|
|
|
26
26
|
"verifier": {
|
|
27
27
|
"argv": [
|
|
28
28
|
"capsule/verifier",
|
|
29
|
-
"{artifact:artifacts/erdos1056-k15-range-
|
|
29
|
+
"{artifact:artifacts/erdos1056-k15-range-10428801-10429000.txt}"
|
|
30
30
|
],
|
|
31
31
|
"cwd": "site",
|
|
32
32
|
"timeout_ms": 300000,
|
|
@@ -34,7 +34,7 @@
|
|
|
34
34
|
"capsule_path": "capsule/verifier"
|
|
35
35
|
},
|
|
36
36
|
"scientific_chain": {
|
|
37
|
-
"predicted_observable": "The frozen verifier independently obtains the same first witness or complete bounded-negative result for all primes in
|
|
38
|
-
"performed_test": "capsule/verifier artifacts/erdos1056-k15-range-
|
|
37
|
+
"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.",
|
|
38
|
+
"performed_test": "capsule/verifier artifacts/erdos1056-k15-range-10428801-10429000.txt"
|
|
39
39
|
}
|
|
40
40
|
}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@vela-science/canopus",
|
|
3
|
-
"version": "0.6.
|
|
3
|
+
"version": "0.6.5",
|
|
4
4
|
"description": "A bounded, replaceable research harness over released Vela interfaces",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"private": false,
|
|
@@ -53,8 +53,8 @@
|
|
|
53
53
|
"dist/src/run.js",
|
|
54
54
|
"dist/src/run.d.ts",
|
|
55
55
|
"schemas",
|
|
56
|
-
"capsules/erdos1056-k15/bin/linux-arm64/
|
|
57
|
-
"capsules/erdos1056-k15/bin/linux-x86_64/
|
|
56
|
+
"capsules/erdos1056-k15/bin/linux-arm64/10428801-10429000/verifier",
|
|
57
|
+
"capsules/erdos1056-k15/bin/linux-x86_64/10428801-10429000/verifier",
|
|
58
58
|
"capsules/formal-erdos-505-test-dim-one/verifier",
|
|
59
59
|
"capsules/quantum-10-1-4/verifier.py",
|
|
60
60
|
"capsules/sidon-a24/bin/linux-arm64/verifier",
|
|
@@ -88,6 +88,8 @@
|
|
|
88
88
|
"check": "bun run lint && bun run test",
|
|
89
89
|
"prepack": "bun run build",
|
|
90
90
|
"pack:check": "bun pm pack --dry-run",
|
|
91
|
+
"experiment:task-authority": "bun experiments/task-authority/run.mjs",
|
|
92
|
+
"experiment:task-authority-shadow": "bun experiments/task-authority/run-live-shadow.mjs",
|
|
91
93
|
"fixture:hostile-custody": "node scripts/run-hostile-native-custody-fixture.mjs",
|
|
92
94
|
"fixture:hostile-verifier": "node scripts/run-hostile-verifier-fixture.mjs"
|
|
93
95
|
},
|
package/profiles/{erdos1056-k15-10428601-10428800.json → erdos1056-k15-10428801-10429000.json}
RENAMED
|
@@ -1,15 +1,15 @@
|
|
|
1
1
|
{
|
|
2
2
|
"schema": "canopus.profile.v2",
|
|
3
|
-
"name": "erdos1056-k15-
|
|
3
|
+
"name": "erdos1056-k15-10428801-10429000",
|
|
4
4
|
"target": "erdos:1056",
|
|
5
5
|
"target_packet_schema": "erdos-frontier.problem-work.v1",
|
|
6
6
|
"draft": "missions/erdos1056-k15-next/mission.draft.json",
|
|
7
|
-
"draft_sha256": "sha256:
|
|
8
|
-
"objective_sha256": "sha256:
|
|
7
|
+
"draft_sha256": "sha256:bcf426097f93fef79e2743e1591940f0d2e13a899f6b81b5e58e697213ddfd9e",
|
|
8
|
+
"objective_sha256": "sha256:cc5ec511b6b66a5d4e99047aba59a8b2e89dff5c8f496a759183355547f968a5",
|
|
9
9
|
"completion_condition_sha256": "sha256:4a4a06e2c867867a191af27900e96c23e677db2775783f1829c31e4867a7f270",
|
|
10
|
-
"allowed_artifacts_sha256": "sha256:
|
|
10
|
+
"allowed_artifacts_sha256": "sha256:f0f5f096175d80648c9d0463c726ebdf2811ed25511b1640e7151ab3eb622bd3",
|
|
11
11
|
"budgets_sha256": "sha256:5457a393d492978d8f191aca42fde0bf95261d74d701ce7ecd1b99f6e0dcbc0c",
|
|
12
|
-
"replay_argv_sha256": "sha256:
|
|
12
|
+
"replay_argv_sha256": "sha256:5442bf3648b752afc9898cfec9197cb47021bde71caa48028700ede7367a9176",
|
|
13
13
|
"landing": {
|
|
14
14
|
"expected_routes": ["defer"],
|
|
15
15
|
"max_accepted_delta": 0
|
|
@@ -18,15 +18,15 @@
|
|
|
18
18
|
"darwin-arm64": {
|
|
19
19
|
"worker_profile": "runtime/native-worker/config.toml",
|
|
20
20
|
"worker_profile_sha256": "sha256:12b58762819481ad101e7a172a296224b6050a8a07a7431272e521a4102908da",
|
|
21
|
-
"verifier_capsule": "capsules/erdos1056-k15/bin/linux-arm64/
|
|
22
|
-
"verifier_capsule_sha256": "sha256:
|
|
21
|
+
"verifier_capsule": "capsules/erdos1056-k15/bin/linux-arm64/10428801-10429000/verifier",
|
|
22
|
+
"verifier_capsule_sha256": "sha256:c9533a8650ca2a76f37c4d482e5467849eb6df4e11d18759207abd94739293f3",
|
|
23
23
|
"verifier_image": "ghcr.io/vela-science/canopus-verifier@sha256:a6f354862f2a3f7d72eb99244c65fa8583c98b74e17e3d5ce6e31ef48aa16536"
|
|
24
24
|
},
|
|
25
25
|
"linux-x86_64": {
|
|
26
26
|
"worker_profile": "runtime/native-worker/config-linux.toml",
|
|
27
27
|
"worker_profile_sha256": "sha256:fddecc4b7458b91f6d55ae16b666d297ae7bcd1a2f5deeb6650dcea60fc0242c",
|
|
28
|
-
"verifier_capsule": "capsules/erdos1056-k15/bin/linux-x86_64/
|
|
29
|
-
"verifier_capsule_sha256": "sha256:
|
|
28
|
+
"verifier_capsule": "capsules/erdos1056-k15/bin/linux-x86_64/10428801-10429000/verifier",
|
|
29
|
+
"verifier_capsule_sha256": "sha256:f9c33462ce457cf465aa95ae7e557a33c3c3988f5a9b7891b2accedb0eabee9e",
|
|
30
30
|
"verifier_image": "ghcr.io/vela-science/canopus-verifier@sha256:a6f354862f2a3f7d72eb99244c65fa8583c98b74e17e3d5ce6e31ef48aa16536"
|
|
31
31
|
}
|
|
32
32
|
}
|