@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.
Files changed (94) hide show
  1. package/CHANGELOG.md +80 -0
  2. package/README.md +67 -145
  3. package/capsules/erdos1056-k15/bin/linux-arm64/{10428801-10429000 → 10429201-10429400}/verifier +0 -0
  4. package/capsules/erdos1056-k15/bin/linux-x86_64/{10428801-10429000 → 10429201-10429400}/verifier +0 -0
  5. package/compatibility.json +25 -0
  6. package/dist/src/{receipt/map.d.ts → candidate/finalize.d.ts} +2 -9
  7. package/dist/src/candidate/finalize.js +71 -0
  8. package/dist/src/cli.js +89 -195
  9. package/dist/src/contracts/mission.d.ts +1 -13
  10. package/dist/src/contracts/mission.js +4 -42
  11. package/dist/src/contracts/validation.d.ts +1 -25
  12. package/dist/src/contracts/validation.js +1 -95
  13. package/dist/src/engines/codex-tools-native.js +2 -2
  14. package/dist/src/index.d.ts +5 -34
  15. package/dist/src/index.js +4 -34
  16. package/dist/src/mission/prepare.d.ts +10 -1
  17. package/dist/src/mission/prepare.js +29 -30
  18. package/dist/src/product/coverage.d.ts +17 -0
  19. package/dist/src/product/coverage.js +137 -0
  20. package/dist/src/product/doctor.d.ts +1 -2
  21. package/dist/src/product/doctor.js +29 -8
  22. package/dist/src/product/profile.js +8 -2
  23. package/dist/src/product/replay.js +11 -12
  24. package/dist/src/product/run.d.ts +5 -9
  25. package/dist/src/product/run.js +17 -81
  26. package/dist/src/product/submission.d.ts +40 -0
  27. package/dist/src/product/submission.js +217 -0
  28. package/dist/src/product/submit.d.ts +22 -0
  29. package/dist/src/product/submit.js +264 -0
  30. package/dist/src/product/version.d.ts +2 -2
  31. package/dist/src/product/version.js +27 -4
  32. package/dist/src/projection/current-run.d.ts +12 -0
  33. package/dist/src/projection/current-run.js +94 -0
  34. package/dist/src/projection/failure.d.ts +17 -7
  35. package/dist/src/projection/failure.js +43 -12
  36. package/dist/src/projection/retained-mission.d.ts +6 -0
  37. package/dist/src/projection/retained-mission.js +41 -0
  38. package/dist/src/projection/retained-run.d.ts +7 -0
  39. package/dist/src/projection/retained-run.js +50 -0
  40. package/dist/src/run.d.ts +43 -34
  41. package/dist/src/run.js +34 -397
  42. package/dist/src/util/canonical.d.ts +1 -5
  43. package/dist/src/util/canonical.js +1 -53
  44. package/dist/src/vela/cli.d.ts +7 -42
  45. package/dist/src/vela/cli.js +102 -475
  46. package/dist/src/vela/types.d.ts +3 -19
  47. package/dist/src/verifier/run.js +1 -1
  48. package/dist/src/workspace/prepare.d.ts +1 -1
  49. package/dist/src/workspace/prepare.js +15 -15
  50. package/docs/EVALUATION.md +142 -0
  51. package/docs/MISSIONS.md +42 -80
  52. package/docs/RUN_RECORD.md +77 -99
  53. package/docs/adr/0010-nonmutating-runs-and-explicit-submission.md +191 -0
  54. package/missions/erdos1056-k15-next/mission.draft.json +10 -8
  55. package/package.json +18 -15
  56. package/profiles/{erdos1056-k15-10428801-10429000.json → erdos1056-k15-10429201-10429400.json} +10 -10
  57. package/schemas/failure.v1.json +17 -0
  58. package/schemas/mission.v0.json +3 -4
  59. package/schemas/mission.v1.json +7 -28
  60. package/schemas/{run.v1.json → run.v2.json} +58 -116
  61. package/schemas/submission-bundle.v1.json +63 -0
  62. package/toolchain.lock.json +31 -0
  63. package/capsules/formal-erdos-505-test-dim-one/verifier +0 -105
  64. package/capsules/quantum-10-1-4/verifier.py +0 -152
  65. package/capsules/sidon-a24/bin/linux-arm64/verifier +0 -0
  66. package/capsules/sidon-a24/bin/linux-x86_64/verifier +0 -0
  67. package/dist/src/engines/codex-exec.d.ts +0 -17
  68. package/dist/src/engines/codex-exec.js +0 -136
  69. package/dist/src/engines/codex-tool-free.d.ts +0 -26
  70. package/dist/src/engines/codex-tool-free.js +0 -213
  71. package/dist/src/projection/diagnostic.d.ts +0 -12
  72. package/dist/src/projection/diagnostic.js +0 -61
  73. package/dist/src/projection/public-run.d.ts +0 -59
  74. package/dist/src/projection/public-run.js +0 -106
  75. package/dist/src/projection/publication.d.ts +0 -36
  76. package/dist/src/projection/publication.js +0 -47
  77. package/dist/src/projection/run.d.ts +0 -95
  78. package/dist/src/projection/run.js +0 -173
  79. package/dist/src/receipt/map.js +0 -168
  80. package/dist/src/repair/plan.d.ts +0 -2
  81. package/dist/src/repair/plan.js +0 -22
  82. package/dist/src/roles.d.ts +0 -2
  83. package/dist/src/roles.js +0 -9
  84. package/missions/formal-erdos-505-test-dim-one-gpt56/mission.draft.json +0 -40
  85. package/missions/quantum-10-1-4-retry/mission.draft.json +0 -40
  86. package/missions/sidon-a24-at-least-7194-gpt56/mission.draft.json +0 -42
  87. package/missions/sidon-a24-at-least-7194-gpt56-v2/mission.draft.json +0 -42
  88. package/missions/sidon-a24-at-least-7194-gpt56-v3/mission.draft.json +0 -42
  89. package/profiles/formal-erdos-505-test-dim-one-gpt56.json +0 -35
  90. package/profiles/quantum-10-1-4-stabilizer-retry.json +0 -35
  91. package/profiles/sidon-a24-at-least-7194-gpt56-v2.json +0 -35
  92. package/profiles/sidon-a24-at-least-7194-gpt56-v3.json +0 -35
  93. package/profiles/sidon-a24-at-least-7194-gpt56.json +0 -35
  94. package/schemas/canopus.public-run.v1.json +0 -116
@@ -1,10 +1,8 @@
1
- import type { FrozenArtifact } from "../contracts/candidate.js";
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 { LandResult, VelaCommandResponse, VelaInspection } from "./types.js";
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 = 120000;
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, strictBaseline?: StrictBaseline): Promise<VelaInspection>;
55
- assertRoots(repoRoot: string, frontier: string, expected: MissionRoots, strictBaseline?: StrictBaseline): Promise<VelaInspection>;
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, strictBaseline?: StrictBaseline, limit?: number): Promise<VelaCommandResponse>;
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
  }