@vela-science/canopus 0.7.0 → 0.8.0
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 +80 -0
- package/README.md +67 -145
- package/capsules/erdos1056-k15/bin/linux-arm64/{10428801-10429000 → 10429201-10429400}/verifier +0 -0
- package/capsules/erdos1056-k15/bin/linux-x86_64/{10428801-10429000 → 10429201-10429400}/verifier +0 -0
- package/compatibility.json +25 -0
- package/dist/src/{receipt/map.d.ts → candidate/finalize.d.ts} +2 -9
- package/dist/src/candidate/finalize.js +71 -0
- package/dist/src/cli.js +89 -195
- package/dist/src/contracts/mission.d.ts +1 -13
- package/dist/src/contracts/mission.js +4 -42
- package/dist/src/contracts/validation.d.ts +1 -25
- package/dist/src/contracts/validation.js +1 -95
- package/dist/src/engines/codex-tools-native.js +2 -2
- package/dist/src/index.d.ts +5 -34
- package/dist/src/index.js +4 -34
- package/dist/src/mission/prepare.d.ts +10 -1
- package/dist/src/mission/prepare.js +29 -30
- package/dist/src/product/coverage.d.ts +17 -0
- package/dist/src/product/coverage.js +137 -0
- package/dist/src/product/doctor.d.ts +1 -2
- package/dist/src/product/doctor.js +29 -8
- package/dist/src/product/profile.js +8 -2
- package/dist/src/product/replay.js +11 -12
- package/dist/src/product/run.d.ts +5 -9
- package/dist/src/product/run.js +17 -81
- package/dist/src/product/submission.d.ts +40 -0
- package/dist/src/product/submission.js +217 -0
- package/dist/src/product/submit.d.ts +22 -0
- package/dist/src/product/submit.js +264 -0
- package/dist/src/product/version.d.ts +2 -2
- package/dist/src/product/version.js +27 -4
- package/dist/src/projection/current-run.d.ts +12 -0
- package/dist/src/projection/current-run.js +94 -0
- package/dist/src/projection/failure.d.ts +17 -7
- package/dist/src/projection/failure.js +43 -12
- package/dist/src/projection/retained-mission.d.ts +6 -0
- package/dist/src/projection/retained-mission.js +41 -0
- package/dist/src/projection/retained-run.d.ts +7 -0
- package/dist/src/projection/retained-run.js +50 -0
- package/dist/src/run.d.ts +43 -34
- package/dist/src/run.js +34 -397
- package/dist/src/util/canonical.d.ts +1 -5
- package/dist/src/util/canonical.js +1 -53
- package/dist/src/vela/cli.d.ts +7 -42
- package/dist/src/vela/cli.js +102 -475
- package/dist/src/vela/types.d.ts +3 -19
- package/dist/src/verifier/run.js +1 -1
- package/dist/src/workspace/prepare.d.ts +1 -1
- package/dist/src/workspace/prepare.js +15 -15
- package/docs/EVALUATION.md +142 -0
- package/docs/MISSIONS.md +42 -80
- package/docs/RUN_RECORD.md +77 -99
- package/docs/adr/0010-nonmutating-runs-and-explicit-submission.md +191 -0
- package/missions/erdos1056-k15-next/mission.draft.json +10 -8
- package/package.json +18 -15
- package/profiles/{erdos1056-k15-10428801-10429000.json → erdos1056-k15-10429201-10429400.json} +10 -10
- package/schemas/failure.v1.json +17 -0
- package/schemas/mission.v0.json +3 -4
- package/schemas/mission.v1.json +7 -28
- package/schemas/{run.v1.json → run.v2.json} +58 -116
- package/schemas/submission-bundle.v1.json +63 -0
- package/toolchain.lock.json +31 -0
- package/capsules/formal-erdos-505-test-dim-one/verifier +0 -105
- package/capsules/quantum-10-1-4/verifier.py +0 -152
- package/capsules/sidon-a24/bin/linux-arm64/verifier +0 -0
- package/capsules/sidon-a24/bin/linux-x86_64/verifier +0 -0
- package/dist/src/engines/codex-exec.d.ts +0 -17
- package/dist/src/engines/codex-exec.js +0 -136
- package/dist/src/engines/codex-tool-free.d.ts +0 -26
- package/dist/src/engines/codex-tool-free.js +0 -213
- package/dist/src/projection/diagnostic.d.ts +0 -12
- package/dist/src/projection/diagnostic.js +0 -61
- package/dist/src/projection/public-run.d.ts +0 -59
- package/dist/src/projection/public-run.js +0 -106
- package/dist/src/projection/publication.d.ts +0 -36
- package/dist/src/projection/publication.js +0 -47
- package/dist/src/projection/run.d.ts +0 -95
- package/dist/src/projection/run.js +0 -173
- package/dist/src/receipt/map.js +0 -168
- package/dist/src/repair/plan.d.ts +0 -2
- package/dist/src/repair/plan.js +0 -22
- package/dist/src/roles.d.ts +0 -2
- package/dist/src/roles.js +0 -9
- package/missions/formal-erdos-505-test-dim-one-gpt56/mission.draft.json +0 -40
- package/missions/quantum-10-1-4-retry/mission.draft.json +0 -40
- package/missions/sidon-a24-at-least-7194-gpt56/mission.draft.json +0 -42
- package/missions/sidon-a24-at-least-7194-gpt56-v2/mission.draft.json +0 -42
- package/missions/sidon-a24-at-least-7194-gpt56-v3/mission.draft.json +0 -42
- package/profiles/formal-erdos-505-test-dim-one-gpt56.json +0 -35
- package/profiles/quantum-10-1-4-stabilizer-retry.json +0 -35
- package/profiles/sidon-a24-at-least-7194-gpt56-v2.json +0 -35
- package/profiles/sidon-a24-at-least-7194-gpt56-v3.json +0 -35
- package/profiles/sidon-a24-at-least-7194-gpt56.json +0 -35
- package/schemas/canopus.public-run.v1.json +0 -116
package/dist/src/vela/cli.d.ts
CHANGED
|
@@ -1,10 +1,8 @@
|
|
|
1
|
-
import type {
|
|
2
|
-
import type { ExecutionBindingV1, Mission, MissionRoots, StrictBaseline } from "../contracts/mission.js";
|
|
1
|
+
import type { Mission, MissionRoots } from "../contracts/mission.js";
|
|
3
2
|
import { type CommandRunner } from "../util/command.js";
|
|
4
|
-
import type {
|
|
3
|
+
import type { VelaCommandResponse, VelaInspection } from "./types.js";
|
|
5
4
|
export type { CommandRunner } from "../util/command.js";
|
|
6
|
-
export declare const DEFAULT_VELA_COMMAND_TIMEOUT_MS =
|
|
7
|
-
export declare function retainedArtifactPath(repoRoot: string, frontier: string, digest: string): string;
|
|
5
|
+
export declare const DEFAULT_VELA_COMMAND_TIMEOUT_MS = 600000;
|
|
8
6
|
export declare class VelaClientError extends Error {
|
|
9
7
|
readonly code: "command_failed" | "malformed_output" | "version_mismatch" | "root_mismatch" | "unexpected_route";
|
|
10
8
|
constructor(code: VelaClientError["code"], message: string);
|
|
@@ -14,50 +12,17 @@ export interface VelaClientOptions {
|
|
|
14
12
|
expectedVersion: string;
|
|
15
13
|
expectedSha256: string;
|
|
16
14
|
home: string;
|
|
15
|
+
repositoryAuthorityAgentSocket?: string;
|
|
17
16
|
maxOutputBytes?: number;
|
|
18
17
|
timeoutMs?: number;
|
|
19
18
|
runner?: CommandRunner;
|
|
20
19
|
}
|
|
21
|
-
export interface AuthoredReceiptInput {
|
|
22
|
-
claim: string;
|
|
23
|
-
claimType: Mission["claim_type"];
|
|
24
|
-
replayability: Mission["replayability"];
|
|
25
|
-
artifacts: Array<{
|
|
26
|
-
path: string;
|
|
27
|
-
kind: string;
|
|
28
|
-
}>;
|
|
29
|
-
caveats: string[];
|
|
30
|
-
predictedObservable?: string;
|
|
31
|
-
notApplicable?: true;
|
|
32
|
-
performedTest: string;
|
|
33
|
-
result: string;
|
|
34
|
-
evidence: string[];
|
|
35
|
-
counterevidence: string[];
|
|
36
|
-
executionBinding?: ExecutionBindingV1;
|
|
37
|
-
work?: string;
|
|
38
|
-
}
|
|
39
|
-
export interface VelaLandCommandObservation {
|
|
40
|
-
argv: string[];
|
|
41
|
-
exit_code: number;
|
|
42
|
-
stdout: string;
|
|
43
|
-
stderr: string;
|
|
44
|
-
stdout_digest: string;
|
|
45
|
-
stderr_digest: string;
|
|
46
|
-
}
|
|
47
|
-
export declare function strictBaselineFromCheck(check: Record<string, unknown>): StrictBaseline;
|
|
48
|
-
export declare function validateLandResult(mission: Mission, raw: Record<string, unknown>): LandResult;
|
|
49
20
|
export declare class VelaClient {
|
|
50
21
|
#private;
|
|
51
22
|
constructor(options: VelaClientOptions);
|
|
52
|
-
observeStrictBaseline(repoRoot: string, frontier: string): Promise<StrictBaseline>;
|
|
53
23
|
assertVersion(cwd: string): Promise<string>;
|
|
54
|
-
inspect(repoRoot: string, frontier: string
|
|
55
|
-
assertRoots(repoRoot: string, frontier: string, expected: MissionRoots
|
|
24
|
+
inspect(repoRoot: string, frontier: string): Promise<VelaInspection>;
|
|
25
|
+
assertRoots(repoRoot: string, frontier: string, expected: MissionRoots): Promise<VelaInspection>;
|
|
56
26
|
next(mission: Mission, repoRoot: string): Promise<VelaCommandResponse>;
|
|
57
|
-
offer(repoRoot: string, frontier: string, roots: MissionRoots,
|
|
58
|
-
work(mission: Mission, repoRoot: string, target: string, expected: MissionRoots): Promise<VelaCommandResponse>;
|
|
59
|
-
landAuthoredCommand(mission: Mission, repoRoot: string, input: AuthoredReceiptInput, _expected: MissionRoots): Promise<VelaLandCommandObservation>;
|
|
60
|
-
parseLandCommand(observation: VelaLandCommandObservation): Record<string, unknown>;
|
|
61
|
-
validateLandResult(mission: Mission, raw: Record<string, unknown>): LandResult;
|
|
62
|
-
verifyReceiptBinding(mission: Mission, repoRoot: string, landing: LandResult, input: AuthoredReceiptInput, artifacts: readonly FrozenArtifact[]): Promise<void>;
|
|
27
|
+
offer(repoRoot: string, frontier: string, roots: MissionRoots, limit?: number): Promise<VelaCommandResponse>;
|
|
63
28
|
}
|