@calliopelabs/cli 3.5.4 → 3.7.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/README.md +8 -0
- package/dist/acp/controls.d.ts +10 -0
- package/dist/acp/controls.d.ts.map +1 -0
- package/dist/acp/controls.js +81 -0
- package/dist/acp/controls.js.map +1 -0
- package/dist/acp.d.ts +21 -7
- package/dist/acp.d.ts.map +1 -1
- package/dist/acp.js +139 -23
- package/dist/acp.js.map +1 -1
- package/dist/bin.d.ts.map +1 -1
- package/dist/bin.js +28 -8
- package/dist/bin.js.map +1 -1
- package/dist/build-identity.d.ts +27 -0
- package/dist/build-identity.d.ts.map +1 -0
- package/dist/build-identity.js +32 -0
- package/dist/build-identity.js.map +1 -0
- package/dist/build-metadata.json +1 -0
- package/dist/execution/authority.d.ts +4 -1
- package/dist/execution/authority.d.ts.map +1 -1
- package/dist/execution/authority.js +23 -7
- package/dist/execution/authority.js.map +1 -1
- package/dist/execution/child-grants.d.ts +2 -0
- package/dist/execution/child-grants.d.ts.map +1 -1
- package/dist/execution/child-grants.js +19 -4
- package/dist/execution/child-grants.js.map +1 -1
- package/dist/execution/delegated.d.ts +14 -0
- package/dist/execution/delegated.d.ts.map +1 -0
- package/dist/execution/delegated.js +66 -0
- package/dist/execution/delegated.js.map +1 -0
- package/dist/execution/files.js +6 -6
- package/dist/execution/files.js.map +1 -1
- package/dist/execution/guard.d.ts +5 -0
- package/dist/execution/guard.d.ts.map +1 -1
- package/dist/execution/guard.js +31 -16
- package/dist/execution/guard.js.map +1 -1
- package/dist/execution/index.d.ts +4 -0
- package/dist/execution/index.d.ts.map +1 -1
- package/dist/execution/index.js +4 -0
- package/dist/execution/index.js.map +1 -1
- package/dist/execution/ledger-cli.d.ts +2 -1
- package/dist/execution/ledger-cli.d.ts.map +1 -1
- package/dist/execution/ledger-cli.js +51 -14
- package/dist/execution/ledger-cli.js.map +1 -1
- package/dist/execution/ledger-protocol.d.ts +6 -2
- package/dist/execution/ledger-protocol.d.ts.map +1 -1
- package/dist/execution/ledger-protocol.js +110 -24
- package/dist/execution/ledger-protocol.js.map +1 -1
- package/dist/execution/ledger-server.d.ts +13 -0
- package/dist/execution/ledger-server.d.ts.map +1 -1
- package/dist/execution/ledger-server.js +57 -13
- package/dist/execution/ledger-server.js.map +1 -1
- package/dist/execution/ledger-tunnel.d.ts +50 -0
- package/dist/execution/ledger-tunnel.d.ts.map +1 -0
- package/dist/execution/ledger-tunnel.js +307 -0
- package/dist/execution/ledger-tunnel.js.map +1 -0
- package/dist/execution/ledger.d.ts +4 -0
- package/dist/execution/ledger.d.ts.map +1 -1
- package/dist/execution/ledger.js +30 -4
- package/dist/execution/ledger.js.map +1 -1
- package/dist/execution/parent-accounting.d.ts +41 -0
- package/dist/execution/parent-accounting.d.ts.map +1 -0
- package/dist/execution/parent-accounting.js +52 -0
- package/dist/execution/parent-accounting.js.map +1 -0
- package/dist/execution/parent-budget.d.ts +25 -0
- package/dist/execution/parent-budget.d.ts.map +1 -0
- package/dist/execution/parent-budget.js +102 -0
- package/dist/execution/parent-budget.js.map +1 -0
- package/dist/execution/project-spend.d.ts.map +1 -1
- package/dist/execution/project-spend.js +35 -5
- package/dist/execution/project-spend.js.map +1 -1
- package/dist/execution/remote-checkpoint.d.ts +15 -0
- package/dist/execution/remote-checkpoint.d.ts.map +1 -0
- package/dist/execution/remote-checkpoint.js +165 -0
- package/dist/execution/remote-checkpoint.js.map +1 -0
- package/dist/execution/remote-ledger.d.ts +12 -2
- package/dist/execution/remote-ledger.d.ts.map +1 -1
- package/dist/execution/remote-ledger.js +53 -21
- package/dist/execution/remote-ledger.js.map +1 -1
- package/dist/execution/types.d.ts +23 -5
- package/dist/execution/types.d.ts.map +1 -1
- package/dist/execution/types.js.map +1 -1
- package/dist/goals/supervised.js +2 -2
- package/dist/goals/supervised.js.map +1 -1
- package/dist/headless.d.ts +2 -6
- package/dist/headless.d.ts.map +1 -1
- package/dist/headless.js +17 -21
- package/dist/headless.js.map +1 -1
- package/dist/improvement/actions.d.ts +3 -4
- package/dist/improvement/actions.d.ts.map +1 -1
- package/dist/improvement/actions.js +10 -7
- package/dist/improvement/actions.js.map +1 -1
- package/dist/improvement/capabilities.d.ts +54 -0
- package/dist/improvement/capabilities.d.ts.map +1 -0
- package/dist/improvement/capabilities.js +44 -0
- package/dist/improvement/capabilities.js.map +1 -0
- package/dist/improvement/cli.d.ts +1 -1
- package/dist/improvement/cli.d.ts.map +1 -1
- package/dist/improvement/cli.js +29 -3
- package/dist/improvement/cli.js.map +1 -1
- package/dist/improvement/host-capabilities.d.ts +119 -0
- package/dist/improvement/host-capabilities.d.ts.map +1 -0
- package/dist/improvement/host-capabilities.js +18 -0
- package/dist/improvement/host-capabilities.js.map +1 -0
- package/dist/improvement/index.d.ts +6 -0
- package/dist/improvement/index.d.ts.map +1 -1
- package/dist/improvement/index.js +6 -0
- package/dist/improvement/index.js.map +1 -1
- package/dist/improvement/proposal-hash.d.ts +3 -0
- package/dist/improvement/proposal-hash.d.ts.map +1 -0
- package/dist/improvement/proposal-hash.js +5 -0
- package/dist/improvement/proposal-hash.js.map +1 -0
- package/dist/improvement/review-contract.d.ts +32 -0
- package/dist/improvement/review-contract.d.ts.map +1 -0
- package/dist/improvement/review-contract.js +62 -0
- package/dist/improvement/review-contract.js.map +1 -0
- package/dist/improvement/review-requests.d.ts +72 -0
- package/dist/improvement/review-requests.d.ts.map +1 -0
- package/dist/improvement/review-requests.js +63 -0
- package/dist/improvement/review-requests.js.map +1 -0
- package/dist/improvement/source-changes.d.ts +78 -0
- package/dist/improvement/source-changes.d.ts.map +1 -0
- package/dist/improvement/source-changes.js +91 -0
- package/dist/improvement/source-changes.js.map +1 -0
- package/dist/improvement/task-outcomes.d.ts +82 -0
- package/dist/improvement/task-outcomes.d.ts.map +1 -0
- package/dist/improvement/task-outcomes.js +72 -0
- package/dist/improvement/task-outcomes.js.map +1 -0
- package/dist/index.d.ts +10 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +6 -0
- package/dist/index.js.map +1 -1
- package/dist/isolation/contracts.d.ts +13 -0
- package/dist/isolation/contracts.d.ts.map +1 -1
- package/dist/isolation/contracts.js +9 -1
- package/dist/isolation/contracts.js.map +1 -1
- package/dist/isolation/coordinator.d.ts.map +1 -1
- package/dist/isolation/coordinator.js +4 -0
- package/dist/isolation/coordinator.js.map +1 -1
- package/dist/isolation/process.d.ts.map +1 -1
- package/dist/isolation/process.js +3 -1
- package/dist/isolation/process.js.map +1 -1
- package/dist/isolation/worktree.d.ts +9 -1
- package/dist/isolation/worktree.d.ts.map +1 -1
- package/dist/isolation/worktree.js +8 -3
- package/dist/isolation/worktree.js.map +1 -1
- package/dist/memory.d.ts +5 -3
- package/dist/memory.d.ts.map +1 -1
- package/dist/memory.js +8 -6
- package/dist/memory.js.map +1 -1
- package/dist/migration/assessment-contract.d.ts +60 -0
- package/dist/migration/assessment-contract.d.ts.map +1 -0
- package/dist/migration/assessment-contract.js +132 -0
- package/dist/migration/assessment-contract.js.map +1 -0
- package/dist/migration/assessment-schema.d.ts +19 -0
- package/dist/migration/assessment-schema.d.ts.map +1 -0
- package/dist/migration/assessment-schema.js +43 -0
- package/dist/migration/assessment-schema.js.map +1 -0
- package/dist/migration/assessment.d.ts +159 -0
- package/dist/migration/assessment.d.ts.map +1 -0
- package/dist/migration/assessment.js +219 -0
- package/dist/migration/assessment.js.map +1 -0
- package/dist/migration/cli.d.ts +6 -0
- package/dist/migration/cli.d.ts.map +1 -0
- package/dist/migration/cli.js +101 -0
- package/dist/migration/cli.js.map +1 -0
- package/dist/migration/evidence.d.ts +27 -0
- package/dist/migration/evidence.d.ts.map +1 -0
- package/dist/migration/evidence.js +124 -0
- package/dist/migration/evidence.js.map +1 -0
- package/dist/migration/example.d.ts +33 -0
- package/dist/migration/example.d.ts.map +1 -0
- package/dist/migration/example.js +28 -0
- package/dist/migration/example.js.map +1 -0
- package/dist/migration/index.d.ts +21 -0
- package/dist/migration/index.d.ts.map +1 -0
- package/dist/migration/index.js +15 -0
- package/dist/migration/index.js.map +1 -0
- package/dist/migration/inventory.d.ts +70 -0
- package/dist/migration/inventory.d.ts.map +1 -0
- package/dist/migration/inventory.js +233 -0
- package/dist/migration/inventory.js.map +1 -0
- package/dist/migration/schema.d.ts +61 -0
- package/dist/migration/schema.d.ts.map +1 -0
- package/dist/migration/schema.js +76 -0
- package/dist/migration/schema.js.map +1 -0
- package/dist/migration/verification.d.ts +146 -0
- package/dist/migration/verification.d.ts.map +1 -0
- package/dist/migration/verification.js +260 -0
- package/dist/migration/verification.js.map +1 -0
- package/dist/orchestration/actions.d.ts +2 -0
- package/dist/orchestration/actions.d.ts.map +1 -1
- package/dist/orchestration/actions.js.map +1 -1
- package/dist/orchestration/artifact-host.d.ts +46 -0
- package/dist/orchestration/artifact-host.d.ts.map +1 -0
- package/dist/orchestration/artifact-host.js +64 -0
- package/dist/orchestration/artifact-host.js.map +1 -0
- package/dist/orchestration/coordinator-actions.d.ts +1 -1
- package/dist/orchestration/coordinator-actions.d.ts.map +1 -1
- package/dist/orchestration/coordinator-actions.js +5 -3
- package/dist/orchestration/coordinator-actions.js.map +1 -1
- package/dist/orchestration/coordinator-types.d.ts +23 -2
- package/dist/orchestration/coordinator-types.d.ts.map +1 -1
- package/dist/orchestration/coordinator.d.ts +5 -0
- package/dist/orchestration/coordinator.d.ts.map +1 -1
- package/dist/orchestration/coordinator.js +30 -13
- package/dist/orchestration/coordinator.js.map +1 -1
- package/dist/orchestration/execution-cli.d.ts +1 -1
- package/dist/orchestration/execution-cli.d.ts.map +1 -1
- package/dist/orchestration/execution-cli.js +29 -6
- package/dist/orchestration/execution-cli.js.map +1 -1
- package/dist/orchestration/execution-journal.d.ts.map +1 -1
- package/dist/orchestration/execution-journal.js +79 -6
- package/dist/orchestration/execution-journal.js.map +1 -1
- package/dist/orchestration/execution-store.d.ts +5 -1
- package/dist/orchestration/execution-store.d.ts.map +1 -1
- package/dist/orchestration/execution-store.js +66 -5
- package/dist/orchestration/execution-store.js.map +1 -1
- package/dist/orchestration/execution.d.ts.map +1 -1
- package/dist/orchestration/execution.js +37 -10
- package/dist/orchestration/execution.js.map +1 -1
- package/dist/orchestration/index.d.ts +6 -0
- package/dist/orchestration/index.d.ts.map +1 -1
- package/dist/orchestration/index.js +6 -0
- package/dist/orchestration/index.js.map +1 -1
- package/dist/orchestration/interruption.d.ts +10 -0
- package/dist/orchestration/interruption.d.ts.map +1 -0
- package/dist/orchestration/interruption.js +38 -0
- package/dist/orchestration/interruption.js.map +1 -0
- package/dist/orchestration/question-contract.d.ts +19 -0
- package/dist/orchestration/question-contract.d.ts.map +1 -0
- package/dist/orchestration/question-contract.js +21 -0
- package/dist/orchestration/question-contract.js.map +1 -0
- package/dist/orchestration/questions.d.ts +9 -0
- package/dist/orchestration/questions.d.ts.map +1 -0
- package/dist/orchestration/questions.js +75 -0
- package/dist/orchestration/questions.js.map +1 -0
- package/dist/orchestration/reviewed-ledger.d.ts +23 -0
- package/dist/orchestration/reviewed-ledger.d.ts.map +1 -0
- package/dist/orchestration/reviewed-ledger.js +57 -0
- package/dist/orchestration/reviewed-ledger.js.map +1 -0
- package/dist/orchestration/routing.d.ts +3 -0
- package/dist/orchestration/routing.d.ts.map +1 -1
- package/dist/orchestration/routing.js +5 -1
- package/dist/orchestration/routing.js.map +1 -1
- package/dist/orchestration/source-candidates.d.ts +64 -0
- package/dist/orchestration/source-candidates.d.ts.map +1 -0
- package/dist/orchestration/source-candidates.js +95 -0
- package/dist/orchestration/source-candidates.js.map +1 -0
- package/dist/orchestration/validation.js +1 -1
- package/dist/orchestration/validation.js.map +1 -1
- package/dist/runlog.js +2 -2
- package/dist/runlog.js.map +1 -1
- package/dist/runtime/permissions.d.ts.map +1 -1
- package/dist/runtime/permissions.js +3 -2
- package/dist/runtime/permissions.js.map +1 -1
- package/dist/runtime/turn.d.ts +2 -0
- package/dist/runtime/turn.d.ts.map +1 -1
- package/dist/runtime/turn.js +21 -7
- package/dist/runtime/turn.js.map +1 -1
- package/dist/session-management/actions.js +1 -1
- package/dist/session-management/actions.js.map +1 -1
- package/dist/sessions/execution-binding.d.ts +8 -0
- package/dist/sessions/execution-binding.d.ts.map +1 -0
- package/dist/sessions/execution-binding.js +9 -0
- package/dist/sessions/execution-binding.js.map +1 -0
- package/dist/sessions/index.d.ts +1 -0
- package/dist/sessions/index.d.ts.map +1 -1
- package/dist/sessions/index.js +1 -0
- package/dist/sessions/index.js.map +1 -1
- package/dist/source-changes/writer.d.ts +77 -0
- package/dist/source-changes/writer.d.ts.map +1 -0
- package/dist/source-changes/writer.js +189 -0
- package/dist/source-changes/writer.js.map +1 -0
- package/dist/spawning/actions.d.ts +10 -1
- package/dist/spawning/actions.d.ts.map +1 -1
- package/dist/spawning/actions.js +26 -7
- package/dist/spawning/actions.js.map +1 -1
- package/dist/spawning/cli.js +1 -1
- package/dist/spawning/cli.js.map +1 -1
- package/dist/spawning/execution.d.ts.map +1 -1
- package/dist/spawning/execution.js +2 -0
- package/dist/spawning/execution.js.map +1 -1
- package/dist/spawning/types.d.ts +19 -6
- package/dist/spawning/types.d.ts.map +1 -1
- package/dist/spawning/validation.d.ts +16 -0
- package/dist/spawning/validation.d.ts.map +1 -1
- package/dist/spawning/validation.js +44 -8
- package/dist/spawning/validation.js.map +1 -1
- package/dist/storage.d.ts +5 -0
- package/dist/storage.d.ts.map +1 -1
- package/dist/storage.js +10 -1
- package/dist/storage.js.map +1 -1
- package/dist/supervision/contracts.js +4 -1
- package/dist/supervision/contracts.js.map +1 -1
- package/dist/tools.d.ts +1 -0
- package/dist/tools.d.ts.map +1 -1
- package/dist/tools.js +5 -0
- package/dist/tools.js.map +1 -1
- package/docs/README.md +66 -0
- package/docs/acp.md +228 -0
- package/docs/delegation-ledger.md +331 -0
- package/docs/improvement-cycles.md +304 -0
- package/docs/migration-assessment.md +113 -0
- package/docs/migration-example-plan.json +88 -0
- package/docs/migration-example-report.json +511 -0
- package/docs/migration-inventory.md +63 -0
- package/docs/migration-playbook.md +152 -0
- package/docs/migration-verification.md +177 -0
- package/docs/releases/3.6.0.md +43 -0
- package/docs/releases/3.7.0.md +53 -0
- package/package.json +11 -3
|
@@ -0,0 +1,233 @@
|
|
|
1
|
+
/** Deterministic read-only input evidence for migration planning, not a feasibility verdict. */
|
|
2
|
+
import { realpathSync } from 'node:fs';
|
|
3
|
+
import { posix } from 'node:path';
|
|
4
|
+
import { canonicalJson, digest } from '../approvals/index.js';
|
|
5
|
+
import { worktreeGit } from '../isolation/worktree.js';
|
|
6
|
+
import { throwIfCancelled } from '../cancellation.js';
|
|
7
|
+
export const KIT_VERSION = 'inventory-v1';
|
|
8
|
+
export class MigrationError extends Error {
|
|
9
|
+
code;
|
|
10
|
+
constructor(code, message) {
|
|
11
|
+
super(message);
|
|
12
|
+
this.code = code;
|
|
13
|
+
this.name = 'MigrationError';
|
|
14
|
+
}
|
|
15
|
+
}
|
|
16
|
+
const fail = (message) => { throw new MigrationError('invalid', message); };
|
|
17
|
+
const oid = (s) => /^(?:[a-f0-9]{40}|[a-f0-9]{64})$/.test(s);
|
|
18
|
+
const name = (s) => /^(?:@[a-z0-9][a-z0-9._-]*\/)?[a-z0-9][a-z0-9._-]*$/.test(s) && s.length <= 214;
|
|
19
|
+
const object = (v) => !!v && typeof v === 'object' && !Array.isArray(v);
|
|
20
|
+
export function sourcePath(value) {
|
|
21
|
+
if (!value || value.length > 1024 || /[\x00-\x1f\x7f\\\ufffd]/.test(value) || value !== '.' && (posix.isAbsolute(value) || value.split('/').some(p => !p || p === '.' || p === '..' || p.toLowerCase() === '.git')))
|
|
22
|
+
fail('Use normalized repository-relative read paths.');
|
|
23
|
+
return value;
|
|
24
|
+
}
|
|
25
|
+
const sorted = (xs) => [...new Set(xs)].sort();
|
|
26
|
+
function surface(path, mode) {
|
|
27
|
+
if (mode === '120000')
|
|
28
|
+
return 'symlink';
|
|
29
|
+
if (mode === '160000')
|
|
30
|
+
return 'submodule';
|
|
31
|
+
const base = posix.basename(path);
|
|
32
|
+
if (/(^|\/)(__tests__|tests?|specs?)(\/|$)|[.-](test|spec)\.[^.]+$/.test(path))
|
|
33
|
+
return 'test';
|
|
34
|
+
if (/^(package\.json|pyproject\.toml|requirements[^/]*\.txt|Cargo\.toml|go\.mod|Gemfile|pom\.xml)$/.test(base))
|
|
35
|
+
return 'manifest';
|
|
36
|
+
if (/^(.*lock.*|.*\.lock)$/.test(base))
|
|
37
|
+
return 'lockfile';
|
|
38
|
+
if (/^(Makefile|Dockerfile[^/]*|tsconfig[^/]*\.json|.*\.config\.[^.]+|build\.gradle[^/]*)$/.test(base) || path.startsWith('.github/workflows/'))
|
|
39
|
+
return 'build-config';
|
|
40
|
+
if (/\.(?:[cm]?[jt]sx?|py|go|rs|java|c|cpp|h|rb|cs|sh)$/.test(base))
|
|
41
|
+
return 'source';
|
|
42
|
+
return 'other';
|
|
43
|
+
}
|
|
44
|
+
function dependencyKind(spec) {
|
|
45
|
+
if (/^workspace:(?:[*^~]|[~^<>=v0-9.*xX| -]+)$/.test(spec))
|
|
46
|
+
return 'workspace';
|
|
47
|
+
if (spec.startsWith('file:'))
|
|
48
|
+
return 'file';
|
|
49
|
+
return /^(?:[~^<>=v0-9.*xX| -]+|[a-z][a-z0-9.-]*)$/.test(spec) ? 'registry' : 'opaque';
|
|
50
|
+
}
|
|
51
|
+
/** Return dependency-first batches or the exact strongly connected components. */
|
|
52
|
+
export function dependencyGraph(packages) {
|
|
53
|
+
const edges = new Map(packages.map(p => [p.path, sorted(p.dependencies.flatMap(d => d.target ? [d.target] : []))]));
|
|
54
|
+
const indices = new Map(), low = new Map(), active = new Set(), stack = [], cycles = [], order = [];
|
|
55
|
+
let index = 0;
|
|
56
|
+
function visit(id) {
|
|
57
|
+
indices.set(id, index);
|
|
58
|
+
low.set(id, index++);
|
|
59
|
+
active.add(id);
|
|
60
|
+
stack.push(id);
|
|
61
|
+
for (const next of edges.get(id) ?? []) {
|
|
62
|
+
if (!indices.has(next)) {
|
|
63
|
+
visit(next);
|
|
64
|
+
low.set(id, Math.min(low.get(id), low.get(next)));
|
|
65
|
+
}
|
|
66
|
+
else if (active.has(next))
|
|
67
|
+
low.set(id, Math.min(low.get(id), indices.get(next)));
|
|
68
|
+
}
|
|
69
|
+
if (low.get(id) === indices.get(id)) {
|
|
70
|
+
const group = [];
|
|
71
|
+
let popped;
|
|
72
|
+
do {
|
|
73
|
+
popped = stack.pop();
|
|
74
|
+
active.delete(popped);
|
|
75
|
+
group.push(popped);
|
|
76
|
+
} while (popped !== id);
|
|
77
|
+
if (group.length > 1 || edges.get(id)?.includes(id))
|
|
78
|
+
cycles.push(group.sort());
|
|
79
|
+
}
|
|
80
|
+
order.push(id);
|
|
81
|
+
}
|
|
82
|
+
for (const id of [...edges.keys()].sort())
|
|
83
|
+
if (!indices.has(id))
|
|
84
|
+
visit(id);
|
|
85
|
+
return { order: cycles.length ? null : order, cycles: cycles.sort((a, b) => a[0] < b[0] ? -1 : a[0] > b[0] ? 1 : 0) };
|
|
86
|
+
}
|
|
87
|
+
export async function inventorySource(input, options = {}) {
|
|
88
|
+
if (!input || typeof input.repository !== 'string' || input.repository.length > 4096 || /[\x00-\x1f\x7f]/.test(input.repository) || typeof input.revision !== 'string' || !oid(input.revision))
|
|
89
|
+
fail('Select a local repository and its full immutable commit ID.');
|
|
90
|
+
if (input.readPaths !== undefined && (!Array.isArray(input.readPaths) || input.readPaths.length < 1 || input.readPaths.length > 64 || input.readPaths.some(p => typeof p !== 'string')))
|
|
91
|
+
fail('Provide 1–64 explicit read paths.');
|
|
92
|
+
const readPaths = sorted((input.readPaths ?? ['.']).map(sourcePath));
|
|
93
|
+
const within = (path) => readPaths.some(p => p === '.' || p === path || path.startsWith(p + '/'));
|
|
94
|
+
const signal = AbortSignal.any([AbortSignal.timeout(30000), ...(options.signal ? [options.signal] : [])]);
|
|
95
|
+
throwIfCancelled(signal);
|
|
96
|
+
let root;
|
|
97
|
+
try {
|
|
98
|
+
root = realpathSync(input.repository);
|
|
99
|
+
}
|
|
100
|
+
catch {
|
|
101
|
+
throw new MigrationError('unavailable', 'The selected repository is unavailable.');
|
|
102
|
+
}
|
|
103
|
+
const git = (args) => worktreeGit(root, ['--no-replace-objects', ...args], signal);
|
|
104
|
+
const top = (await git(['rev-parse', '--show-toplevel'])).replace(/\r?\n$/, '');
|
|
105
|
+
if (realpathSync(top) !== root)
|
|
106
|
+
fail('Select the repository root, not a subdirectory.');
|
|
107
|
+
// Older Git versions may ignore GIT_NO_LAZY_FETCH. Refuse promisor clones
|
|
108
|
+
// before resolving objects rather than allowing missing evidence to fetch.
|
|
109
|
+
const partial = await worktreeGit(root, ['config', '--name-only', '--get-regexp', '^(extensions\\.partialclone|remote\\..*\\.promisor)$'], signal, [0, 1]);
|
|
110
|
+
if (partial.trim())
|
|
111
|
+
fail('Inventory requires a complete local clone without lazy-fetch configuration.');
|
|
112
|
+
const commit = (await git(['rev-parse', '--verify', input.revision + '^{commit}'])).trim();
|
|
113
|
+
if (commit !== input.revision)
|
|
114
|
+
fail('Select a commit object, not a tag or another object type.');
|
|
115
|
+
const tree = (await git(['rev-parse', '--verify', commit + '^{tree}'])).trim();
|
|
116
|
+
if (!oid(tree))
|
|
117
|
+
fail('The source tree identity is invalid.');
|
|
118
|
+
const raw = await git(['ls-tree', '-rlz', commit, '--', ...readPaths.map(p => p === '.' ? ':' : ':(literal)' + p)]);
|
|
119
|
+
const files = [];
|
|
120
|
+
for (const line of raw.split('\0').filter(Boolean)) {
|
|
121
|
+
const match = /^(\d{6}) (blob|commit) ([a-f0-9]{40,64}) +([0-9]+|-)\t(.+)$/.exec(line);
|
|
122
|
+
if (!match)
|
|
123
|
+
fail('Unsupported Git tree entry.');
|
|
124
|
+
const [, mode, type, id, length, path] = match;
|
|
125
|
+
sourcePath(path);
|
|
126
|
+
if (!within(path) || !oid(id))
|
|
127
|
+
fail('Git returned an entry outside the requested read scope.');
|
|
128
|
+
if (!['100644', '100755', '120000', '160000'].includes(mode) || (mode === '160000') !== (type === 'commit'))
|
|
129
|
+
fail('Unsupported Git file mode.');
|
|
130
|
+
const bytes = length === '-' ? null : Number(length);
|
|
131
|
+
if ((type === 'blob') !== (bytes !== null) || bytes !== null && (!Number.isSafeInteger(bytes) || bytes < 0))
|
|
132
|
+
fail('Invalid source file size.');
|
|
133
|
+
files.push({ path, object: id, bytes, mode, surface: surface(path, mode) });
|
|
134
|
+
if (files.length > 5000)
|
|
135
|
+
throw new MigrationError('limit', 'Keep one inventory within 5,000 tracked entries; narrow the read scope.');
|
|
136
|
+
}
|
|
137
|
+
files.sort((a, b) => a.path < b.path ? -1 : a.path > b.path ? 1 : 0);
|
|
138
|
+
if (!files.length)
|
|
139
|
+
fail('The selected revision has no tracked files in this read scope.');
|
|
140
|
+
const findings = [], packages = [];
|
|
141
|
+
let manifestBytes = 0, dependencies = 0;
|
|
142
|
+
for (const file of files) {
|
|
143
|
+
if (['symlink', 'submodule'].includes(file.surface)) {
|
|
144
|
+
findings.push({ code: 'not-traversed-' + file.surface, path: file.path });
|
|
145
|
+
continue;
|
|
146
|
+
}
|
|
147
|
+
if (file.surface === 'manifest' && posix.basename(file.path) !== 'package.json')
|
|
148
|
+
findings.push({ code: 'dependency-format-not-analyzed', path: file.path });
|
|
149
|
+
if (posix.basename(file.path) !== 'package.json')
|
|
150
|
+
continue;
|
|
151
|
+
if (packages.length >= 128 || file.bytes > 262144 || manifestBytes + file.bytes > 4194304) {
|
|
152
|
+
findings.push({ code: 'manifest-analysis-limit', path: file.path });
|
|
153
|
+
continue;
|
|
154
|
+
}
|
|
155
|
+
manifestBytes += file.bytes;
|
|
156
|
+
const text = await git(['cat-file', 'blob', file.object]);
|
|
157
|
+
let data;
|
|
158
|
+
try {
|
|
159
|
+
if (text.includes('\ufffd'))
|
|
160
|
+
throw Error('Invalid UTF-8');
|
|
161
|
+
data = JSON.parse(text);
|
|
162
|
+
}
|
|
163
|
+
catch {
|
|
164
|
+
findings.push({ code: 'invalid-package-json', path: file.path });
|
|
165
|
+
continue;
|
|
166
|
+
}
|
|
167
|
+
if (!object(data)) {
|
|
168
|
+
findings.push({ code: 'invalid-package-json', path: file.path });
|
|
169
|
+
continue;
|
|
170
|
+
}
|
|
171
|
+
const pkg = { path: file.path, name: typeof data.name === 'string' && name(data.name) ? data.name : null, scripts: [], dependencies: [] };
|
|
172
|
+
if (!pkg.name)
|
|
173
|
+
findings.push({ code: 'missing-or-invalid-package-name', path: file.path });
|
|
174
|
+
if (data.scripts !== undefined) {
|
|
175
|
+
if (!object(data.scripts))
|
|
176
|
+
findings.push({ code: 'invalid-package-scripts', path: file.path });
|
|
177
|
+
else
|
|
178
|
+
for (const [key, value] of Object.entries(data.scripts)) {
|
|
179
|
+
if (/^[a-zA-Z0-9_.:-]{1,128}$/.test(key) && typeof value === 'string')
|
|
180
|
+
pkg.scripts.push(key);
|
|
181
|
+
else
|
|
182
|
+
findings.push({ code: 'invalid-package-script', path: file.path });
|
|
183
|
+
}
|
|
184
|
+
}
|
|
185
|
+
pkg.scripts.sort();
|
|
186
|
+
for (const section of ['dependencies', 'devDependencies', 'peerDependencies', 'optionalDependencies']) {
|
|
187
|
+
if (data[section] === undefined)
|
|
188
|
+
continue;
|
|
189
|
+
if (!object(data[section])) {
|
|
190
|
+
findings.push({ code: 'invalid-dependency-map', path: file.path });
|
|
191
|
+
continue;
|
|
192
|
+
}
|
|
193
|
+
for (const [key, spec] of Object.entries(data[section]).sort(([a], [b]) => a < b ? -1 : a > b ? 1 : 0)) {
|
|
194
|
+
if (++dependencies > 2048)
|
|
195
|
+
throw new MigrationError('limit', 'Keep one inventory within 2,048 declared dependencies.');
|
|
196
|
+
if (!name(key) || typeof spec !== 'string' || spec.length > 8192) {
|
|
197
|
+
findings.push({ code: 'invalid-dependency', path: file.path });
|
|
198
|
+
continue;
|
|
199
|
+
}
|
|
200
|
+
const kind = dependencyKind(spec);
|
|
201
|
+
pkg.dependencies.push({ name: key, section, kind, specDigest: digest(spec), displaySpec: kind === 'registry' ? spec : null, target: null });
|
|
202
|
+
if (kind === 'file') {
|
|
203
|
+
const candidate = posix.normalize(posix.join(posix.dirname(file.path), spec.slice(5), 'package.json'));
|
|
204
|
+
if (!/[\x00-\x1f\x7f\\%]/.test(spec) && !posix.isAbsolute(spec.slice(5)) && !candidate.startsWith('../') && within(candidate))
|
|
205
|
+
pkg.dependencies.at(-1).target = candidate;
|
|
206
|
+
}
|
|
207
|
+
}
|
|
208
|
+
}
|
|
209
|
+
packages.push(pkg);
|
|
210
|
+
}
|
|
211
|
+
const paths = new Set(packages.map(p => p.path));
|
|
212
|
+
for (const pkg of packages)
|
|
213
|
+
for (const dep of pkg.dependencies) {
|
|
214
|
+
if (dep.kind === 'workspace') {
|
|
215
|
+
const matches = packages.filter(p => p.name === dep.name);
|
|
216
|
+
if (matches.length === 1)
|
|
217
|
+
dep.target = matches[0].path;
|
|
218
|
+
}
|
|
219
|
+
if (dep.target && !paths.has(dep.target))
|
|
220
|
+
dep.target = null;
|
|
221
|
+
if (['file', 'workspace'].includes(dep.kind) && !dep.target)
|
|
222
|
+
findings.push({ code: 'unresolved-local-dependency', path: pkg.path, dependency: dep.name });
|
|
223
|
+
if (dep.kind === 'opaque')
|
|
224
|
+
findings.push({ code: 'opaque-dependency-spec', path: pkg.path, dependency: dep.name });
|
|
225
|
+
}
|
|
226
|
+
const graph = dependencyGraph(packages);
|
|
227
|
+
const value = { format: 'calliope.migration.inventory/v1', kit: KIT_VERSION, source: { commit, tree, mode: 'committed-files-only', readPaths },
|
|
228
|
+
files, packages, graph: { kind: 'declared-local-package-dependencies', ...graph }, findings,
|
|
229
|
+
limitations: ['Source imports and dynamic dependencies are not analyzed.', 'Package resolution, installability and workspace membership are not verified.', 'Build/test scripts are identified by name only and were not executed.', 'Inventory is input evidence, not a baseline, feasibility recommendation or migration approval.'] };
|
|
230
|
+
throwIfCancelled(signal);
|
|
231
|
+
return { ...value, digest: digest(canonicalJson(value)) };
|
|
232
|
+
}
|
|
233
|
+
//# sourceMappingURL=inventory.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"inventory.js","sourceRoot":"","sources":["../../src/migration/inventory.ts"],"names":[],"mappings":"AAAA,gGAAgG;AAChG,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD,MAAM,CAAC,MAAM,WAAW,GAAG,cAAc,CAAC;AAC1C,MAAM,OAAO,cAAe,SAAQ,KAAK;IAClB,IAAI;IAAzB,YAAqB,IAAyC,EAAE,OAAe;QAAI,KAAK,CAAC,OAAO,CAAC,CAAC;oBAA7E,IAAI;QAA0E,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;IAAC,CAAC;CACnI;AACD,MAAM,IAAI,GAAG,CAAC,OAAe,EAAS,EAAE,GAAG,MAAM,IAAI,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3F,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,iCAAiC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACrE,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,oDAAoD,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,GAAG,CAAC;AAC5G,MAAM,MAAM,GAAG,CAAC,CAAU,EAAgC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC/G,MAAM,UAAU,UAAU,CAAC,KAAa;IACtC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI,IAAI,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,CAAC;QAAE,IAAI,CAAC,gDAAgD,CAAC,CAAC;IAC5Q,OAAO,KAAK,CAAC;AACf,CAAC;AAKD,MAAM,MAAM,GAAG,CAAC,EAAY,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACzD,SAAS,OAAO,CAAC,IAAY,EAAE,IAAY;IACzC,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,WAAW,CAAC;IAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,+DAA+D,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC;IAC9F,IAAI,+FAA+F,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,UAAU,CAAC;IAClI,IAAI,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,UAAU,CAAC;IAC1D,IAAI,uFAAuF,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,oBAAoB,CAAC;QAAE,OAAO,cAAc,CAAC;IACvK,IAAI,oDAAoD,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,QAAQ,CAAC;IACrF,OAAO,OAAO,CAAC;AACjB,CAAC;AACD,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,2CAA2C,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,WAAW,CAAC;IAC/E,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAC;IAC5C,OAAO,4CAA4C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC;AACzF,CAAC;AACD,kFAAkF;AAClF,MAAM,UAAU,eAAe,CAAC,QAAuE;IACrG,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpH,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,EAAE,GAAG,GAAG,IAAI,GAAG,EAAkB,EAAE,MAAM,GAAG,IAAI,GAAG,EAAU,EAAE,KAAK,GAAa,EAAE,EAAE,MAAM,GAAe,EAAE,EAAE,KAAK,GAAa,EAAE,CAAC;IAC5K,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,SAAS,KAAK,CAAC,EAAU;QACvB,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7E,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;YACvC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC;YAAC,CAAC;iBACxF,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC;QACrF,CAAC;QACD,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACpC,MAAM,KAAK,GAAa,EAAE,CAAC;YAAC,IAAI,MAAc,CAAC;YAC/C,GAAG,CAAC;gBAAC,MAAM,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;gBAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAAC,CAAC,QAAQ,MAAM,KAAK,EAAE,EAAE;YAC/F,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACjF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IAC3E,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC5H,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,KAAqE,EAAE,OAAO,GAA6B,EAAE;IACjJ,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,IAAI,CAAC,6DAA6D,CAAC,CAAC;IACpQ,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,EAAE,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;QAAE,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACnO,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,KAAK,CAAC,SAAS,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;IAC1G,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1G,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,MAAM,IAAI,cAAc,CAAC,aAAa,EAAE,yCAAyC,CAAC,CAAC;IAAC,CAAC;IAC5I,MAAM,GAAG,GAAG,CAAC,IAAc,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,sBAAsB,EAAE,GAAG,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IAC7F,MAAM,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAChF,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,IAAI;QAAE,IAAI,CAAC,iDAAiD,CAAC,CAAC;IACxF,0EAA0E;IAC1E,2EAA2E;IAC3E,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,aAAa,EAAE,cAAc,EAAE,sDAAsD,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3J,IAAI,OAAO,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,6EAA6E,CAAC,CAAC;IACxG,MAAM,MAAM,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,KAAK,CAAC,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3F,IAAI,MAAM,KAAK,KAAK,CAAC,QAAQ;QAAE,IAAI,CAAC,2DAA2D,CAAC,CAAC;IACjG,MAAM,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/E,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,sCAAsC,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpH,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,6DAA6D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvF,IAAI,CAAC,KAAK;YAAE,IAAI,CAAC,6BAA6B,CAAC,CAAC;QAChD,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,KAAoE,CAAC;QAC9G,UAAU,CAAC,IAAI,CAAC,CAAC;QAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,IAAI,CAAC,yDAAyD,CAAC,CAAC;QACjH,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;YAAE,IAAI,CAAC,4BAA4B,CAAC,CAAC;QAChJ,MAAM,KAAK,GAAG,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;YAAE,IAAI,CAAC,2BAA2B,CAAC,CAAC;QAC/I,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5E,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI;YAAE,MAAM,IAAI,cAAc,CAAC,OAAO,EAAE,yEAAyE,CAAC,CAAC;IACxI,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,IAAI,CAAC,gEAAgE,CAAC,CAAC;IAC1F,MAAM,QAAQ,GAAc,EAAE,EAAE,QAAQ,GAAc,EAAE,CAAC;IACzD,IAAI,aAAa,GAAG,CAAC,EAAE,YAAY,GAAG,CAAC,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC7I,IAAI,IAAI,CAAC,OAAO,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,cAAc;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gCAAgC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5J,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,cAAc;YAAE,SAAS;QAC3D,IAAI,QAAQ,CAAC,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,KAAM,GAAG,MAAM,IAAI,aAAa,GAAG,IAAI,CAAC,KAAM,GAAG,OAAO,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC/K,aAAa,IAAI,IAAI,CAAC,KAAM,CAAC;QAC7B,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAC1D,IAAI,IAAa,CAAC;QAClB,IAAI,CAAC;YAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,MAAM,KAAK,CAAC,eAAe,CAAC,CAAC;YAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACjL,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAClG,MAAM,GAAG,GAAY,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC;QACnJ,IAAI,CAAC,GAAG,CAAC,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,iCAAiC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3F,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;;gBAC1F,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC7D,IAAI,0BAA0B,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ;wBAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;wBACxF,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC1E,CAAC;QACH,CAAC;QACD,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM,OAAO,IAAI,CAAC,cAAc,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,sBAAsB,CAAC,EAAE,CAAC;YACtG,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,SAAS;gBAAE,SAAS;YAC1C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;gBAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC7G,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvG,IAAI,EAAE,YAAY,GAAG,IAAI;oBAAE,MAAM,IAAI,cAAc,CAAC,OAAO,EAAE,wDAAwD,CAAC,CAAC;gBACvH,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,IAAI,EAAE,CAAC;oBAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;oBAAC,SAAS;gBAAC,CAAC;gBAC/I,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;gBAClC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC5I,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;oBACpB,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC;oBACvG,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC;wBAAE,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,SAAS,CAAC;gBAC7K,CAAC;YACH,CAAC;QACH,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACjD,KAAK,MAAM,GAAG,IAAI,QAAQ;QAAE,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;YAC/D,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC7B,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC1D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;oBAAE,GAAG,CAAC,MAAM,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;YAC1D,CAAC;YACD,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC;YAC5D,IAAI,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,6BAA6B,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1J,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QACrH,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,EAAE,MAAM,EAAE,iCAAiC,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,sBAAsB,EAAE,SAAS,EAAE;QAC5I,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,qCAAqC,EAAE,GAAG,KAAK,EAAE,EAAE,QAAQ;QAC3F,WAAW,EAAE,CAAC,2DAA2D,EAAE,+EAA+E,EAAE,uEAAuE,EAAE,gGAAgG,CAAC,EAAE,CAAC;IAC3U,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,OAAO,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;AAC5D,CAAC"}
|
|
@@ -0,0 +1,61 @@
|
|
|
1
|
+
export declare const INVENTORY_SCHEMA: {
|
|
2
|
+
type: string;
|
|
3
|
+
properties: Record<string, unknown>;
|
|
4
|
+
required: string[];
|
|
5
|
+
additionalProperties: boolean;
|
|
6
|
+
$schema: string;
|
|
7
|
+
$id: string;
|
|
8
|
+
};
|
|
9
|
+
export declare const VERIFICATION_SCHEMAS: {
|
|
10
|
+
plan: {
|
|
11
|
+
type: string;
|
|
12
|
+
properties: Record<string, unknown>;
|
|
13
|
+
required: string[];
|
|
14
|
+
additionalProperties: boolean;
|
|
15
|
+
$schema: string;
|
|
16
|
+
$id: string;
|
|
17
|
+
};
|
|
18
|
+
report: {
|
|
19
|
+
type: string;
|
|
20
|
+
properties: Record<string, unknown>;
|
|
21
|
+
required: string[];
|
|
22
|
+
additionalProperties: boolean;
|
|
23
|
+
$schema: string;
|
|
24
|
+
$id: string;
|
|
25
|
+
};
|
|
26
|
+
};
|
|
27
|
+
export declare const EVIDENCE_REVIEW_SCHEMA: {
|
|
28
|
+
type: string;
|
|
29
|
+
properties: Record<string, unknown>;
|
|
30
|
+
required: string[];
|
|
31
|
+
additionalProperties: boolean;
|
|
32
|
+
$schema: string;
|
|
33
|
+
$id: string;
|
|
34
|
+
};
|
|
35
|
+
export declare const BASELINE_SCHEMAS: {
|
|
36
|
+
plan: {
|
|
37
|
+
type: string;
|
|
38
|
+
properties: Record<string, unknown>;
|
|
39
|
+
required: string[];
|
|
40
|
+
additionalProperties: boolean;
|
|
41
|
+
$schema: string;
|
|
42
|
+
$id: string;
|
|
43
|
+
};
|
|
44
|
+
report: {
|
|
45
|
+
type: string;
|
|
46
|
+
properties: Record<string, unknown>;
|
|
47
|
+
required: string[];
|
|
48
|
+
additionalProperties: boolean;
|
|
49
|
+
$schema: string;
|
|
50
|
+
$id: string;
|
|
51
|
+
};
|
|
52
|
+
review: {
|
|
53
|
+
type: string;
|
|
54
|
+
properties: Record<string, unknown>;
|
|
55
|
+
required: string[];
|
|
56
|
+
additionalProperties: boolean;
|
|
57
|
+
$schema: string;
|
|
58
|
+
$id: string;
|
|
59
|
+
};
|
|
60
|
+
};
|
|
61
|
+
//# sourceMappingURL=schema.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/migration/schema.ts"],"names":[],"mappings":"AAOA,eAAO,MAAM,gBAAgB;;;;;;;CAY5B,CAAC;AAcF,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;CAchC,CAAC;AAEF,eAAO,MAAM,sBAAsB;;;;;;;CAUlC,CAAC;AAGF,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;CAe5B,CAAC"}
|
|
@@ -0,0 +1,76 @@
|
|
|
1
|
+
// Packaged artifact contract; source evidence does not authorize worker execution.
|
|
2
|
+
const text = { type: 'string' };
|
|
3
|
+
const strings = { type: 'array', items: text };
|
|
4
|
+
const nullableText = { type: ['string', 'null'] };
|
|
5
|
+
const hash = { type: 'string', pattern: '^[a-f0-9]{64}$' };
|
|
6
|
+
const oid = { type: 'string', pattern: '^(?:[a-f0-9]{40}|[a-f0-9]{64})$' };
|
|
7
|
+
const object = (properties, optional = []) => ({ type: 'object', properties, required: Object.keys(properties).filter(key => !optional.includes(key)), additionalProperties: false });
|
|
8
|
+
export const INVENTORY_SCHEMA = {
|
|
9
|
+
$schema: 'https://json-schema.org/draft/2020-12/schema',
|
|
10
|
+
$id: 'https://calliope.ai/schemas/migration/inventory-v1',
|
|
11
|
+
...object({
|
|
12
|
+
format: { const: 'calliope.migration.inventory/v1' }, kit: { const: 'inventory-v1' }, digest: hash,
|
|
13
|
+
source: object({ commit: oid, tree: oid, mode: { const: 'committed-files-only' }, readPaths: { ...strings, minItems: 1, maxItems: 64, uniqueItems: true } }),
|
|
14
|
+
files: { type: 'array', minItems: 1, maxItems: 5000, items: object({ path: text, object: oid, bytes: { type: ['integer', 'null'], minimum: 0 }, mode: { enum: ['100644', '100755', '120000', '160000'] }, surface: { enum: ['source', 'test', 'manifest', 'build-config', 'lockfile', 'symlink', 'submodule', 'other'] } }) },
|
|
15
|
+
packages: { type: 'array', maxItems: 128, items: object({ path: text, name: nullableText, scripts: strings, dependencies: { type: 'array', maxItems: 2048, items: object({ name: text, section: { enum: ['dependencies', 'devDependencies', 'peerDependencies', 'optionalDependencies'] }, kind: { enum: ['workspace', 'file', 'registry', 'opaque'] }, specDigest: hash, displaySpec: nullableText, target: nullableText }) } }) },
|
|
16
|
+
graph: object({ kind: { const: 'declared-local-package-dependencies' }, order: { type: ['array', 'null'], items: text }, cycles: { type: 'array', items: strings } }),
|
|
17
|
+
findings: { type: 'array', items: object({ code: text, path: text, dependency: text }, ['dependency']) },
|
|
18
|
+
limitations: strings,
|
|
19
|
+
}),
|
|
20
|
+
};
|
|
21
|
+
const pin = object({ revision: oid, path: text, object: oid });
|
|
22
|
+
const runtime = object({ image: { type: 'string', pattern: '^sha256:[a-f0-9]{64}$' }, node: { type: 'string', pattern: '^v24\\.\\d+\\.\\d+$' } });
|
|
23
|
+
const expected = object({ exitCode: { type: 'integer', minimum: 0, maximum: 124 }, stdout: text, stderr: text });
|
|
24
|
+
const fingerprint = object({ sha256: hash, bytes: { type: 'integer', minimum: 0, maximum: 65536 } });
|
|
25
|
+
const cleanupResult = object({ outcome: { enum: ['removed', 'absent', 'timeout', 'error', 'present'] }, exitCode: { type: ['integer', 'null'] } });
|
|
26
|
+
const evidence = object({
|
|
27
|
+
version: { const: 1 }, kind: { const: 'isolated-command' }, argv: strings, image: runtime.properties.image,
|
|
28
|
+
exitCode: { type: 'integer' }, outcome: { enum: ['passed', 'failed', 'cancelled', 'timeout', 'unavailable'] },
|
|
29
|
+
truncated: { type: 'boolean' }, durationMs: { type: 'integer', minimum: 0 }, container: text, cleanupConfirmed: { type: 'boolean' },
|
|
30
|
+
cleanup: object({ version: { const: 1 }, removal: cleanupResult, verification: cleanupResult }, ['verification']),
|
|
31
|
+
outputDigests: object({ version: { const: 1 }, stdout: fingerprint, stderr: fingerprint }),
|
|
32
|
+
}, ['cleanup', 'outputDigests']);
|
|
33
|
+
export const VERIFICATION_SCHEMAS = {
|
|
34
|
+
plan: { $schema: 'https://json-schema.org/draft/2020-12/schema', $id: 'https://calliope.ai/schemas/migration/verification-plan-v1',
|
|
35
|
+
...object({ format: { const: 'calliope.migration.verification-plan/v1' }, adapter: { const: 'javascript-to-typescript-cli/v1' }, verifier: { const: 'byte-parity-v1' }, runtime,
|
|
36
|
+
source: pin, candidate: pin, negative: pin, rules: pin,
|
|
37
|
+
cases: { type: 'array', minItems: 1, maxItems: 8, items: object({ id: { type: 'string', pattern: '^[a-zA-Z0-9_-]{1,64}$' }, argument: { type: 'string', minLength: 1, maxLength: 8192 }, expected }) },
|
|
38
|
+
negativeControl: object({ caseId: text, expected }), limits: object({ commandTimeoutMs: { type: 'integer', minimum: 100, maximum: 10000 }, totalMs: { type: 'integer', minimum: 100, maximum: 300000 } }),
|
|
39
|
+
}) },
|
|
40
|
+
report: { $schema: 'https://json-schema.org/draft/2020-12/schema', $id: 'https://calliope.ai/schemas/migration/verification-report-v1',
|
|
41
|
+
...object({ format: { const: 'calliope.migration.verification-report/v1' }, verifier: { const: 'byte-parity-v1' }, adapter: { const: 'javascript-to-typescript-cli/v1' }, planDigest: hash, runtime,
|
|
42
|
+
pins: object({ source: pin, candidate: pin, negative: pin, rules: pin }),
|
|
43
|
+
outcome: { enum: ['passed', 'input-failure', 'baseline-failure', 'verifier-failure', 'regression', 'environment-failure', 'cancelled'] }, reason: text,
|
|
44
|
+
observations: { type: 'array', maxItems: 18, items: object({ phase: { enum: ['runtime', 'baseline', 'negative-control', 'candidate'] }, caseId: nullableText, matches: { type: ['boolean', 'null'] }, evidence }) },
|
|
45
|
+
commandsUsed: { type: 'integer', minimum: 0, maximum: 19 }, commandLimit: { type: 'integer', minimum: 4, maximum: 18 }, retainedWorkspace: nullableText, limitations: strings, digest: hash,
|
|
46
|
+
}) },
|
|
47
|
+
};
|
|
48
|
+
export const EVIDENCE_REVIEW_SCHEMA = {
|
|
49
|
+
$schema: 'https://json-schema.org/draft/2020-12/schema',
|
|
50
|
+
$id: 'https://calliope.ai/schemas/migration/evidence-review-v1',
|
|
51
|
+
...object({
|
|
52
|
+
format: { const: 'calliope.migration.evidence-review/v1' }, planDigest: hash, reportDigest: hash,
|
|
53
|
+
status: { enum: ['passing-observations', 'not-passing'] },
|
|
54
|
+
caseIds: { ...strings, minItems: 1, maxItems: 8, uniqueItems: true },
|
|
55
|
+
findings: { type: 'array', maxItems: 128, items: object({ code: text, observation: { type: ['integer', 'null'], minimum: 0, maximum: 17 } }) },
|
|
56
|
+
authority: { const: 'Supplied observation integrity only. No producer authentication, independent review or execution approval is implied.' }, digest: hash,
|
|
57
|
+
}),
|
|
58
|
+
};
|
|
59
|
+
const { candidate: _candidate, ...baselineProperties } = VERIFICATION_SCHEMAS.plan.properties;
|
|
60
|
+
export const BASELINE_SCHEMAS = {
|
|
61
|
+
plan: { $schema: 'https://json-schema.org/draft/2020-12/schema', $id: 'https://calliope.ai/schemas/migration/baseline-plan-v1',
|
|
62
|
+
...object({ ...baselineProperties, format: { const: 'calliope.migration.baseline-plan/v1' } }) },
|
|
63
|
+
report: { $schema: 'https://json-schema.org/draft/2020-12/schema', $id: 'https://calliope.ai/schemas/migration/baseline-report-v1',
|
|
64
|
+
...object({ ...VERIFICATION_SCHEMAS.report.properties,
|
|
65
|
+
format: { const: 'calliope.migration.baseline-report/v1' }, pins: object({ source: pin, negative: pin, rules: pin }),
|
|
66
|
+
outcome: { enum: ['baseline-verified', 'input-failure', 'baseline-failure', 'verifier-failure', 'environment-failure', 'cancelled'] },
|
|
67
|
+
observations: { type: 'array', maxItems: 10, items: object({ phase: { enum: ['runtime', 'baseline', 'negative-control'] }, caseId: nullableText, matches: { type: ['boolean', 'null'] }, evidence }) },
|
|
68
|
+
commandsUsed: { type: 'integer', minimum: 0, maximum: 11 }, commandLimit: { type: 'integer', minimum: 3, maximum: 10 },
|
|
69
|
+
}) },
|
|
70
|
+
review: { $schema: 'https://json-schema.org/draft/2020-12/schema', $id: 'https://calliope.ai/schemas/migration/baseline-evidence-review-v1',
|
|
71
|
+
...object({ ...EVIDENCE_REVIEW_SCHEMA.properties, format: { const: 'calliope.migration.baseline-evidence-review/v1' },
|
|
72
|
+
status: { enum: ['baseline-observations', 'not-passing'] },
|
|
73
|
+
findings: { type: 'array', maxItems: 128, items: object({ code: text, observation: { type: ['integer', 'null'], minimum: 0, maximum: 9 } }) },
|
|
74
|
+
}) },
|
|
75
|
+
};
|
|
76
|
+
//# sourceMappingURL=schema.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/migration/schema.ts"],"names":[],"mappings":"AAAA,mFAAmF;AACnF,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAChC,MAAM,OAAO,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC/C,MAAM,YAAY,GAAG,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;AAClD,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;AAC3D,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,iCAAiC,EAAE,CAAC;AAC3E,MAAM,MAAM,GAAG,CAAC,UAAmC,EAAE,QAAQ,GAAa,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,CAAC;AACzN,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,OAAO,EAAE,8CAA8C;IACvD,GAAG,EAAE,oDAAoD;IACzD,GAAG,MAAM,CAAC;QACR,MAAM,EAAE,EAAE,KAAK,EAAE,iCAAiC,EAAE,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,MAAM,EAAE,IAAI;QAClG,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,sBAAsB,EAAE,EAAE,SAAS,EAAE,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,CAAC;QAC5J,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE;QAC7T,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,cAAc,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,sBAAsB,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE;QACna,KAAK,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,qCAAqC,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC;QACrK,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE;QACxG,WAAW,EAAE,OAAO;KACrB,CAAC;CACH,CAAC;AAEF,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AAC/D,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,uBAAuB,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,qBAAqB,EAAE,EAAE,CAAC,CAAC;AAClJ,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACjH,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;AACrG,MAAM,aAAa,GAAG,MAAM,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;AACnJ,MAAM,QAAQ,GAAG,MAAM,CAAC;IACtB,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,kBAAkB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,KAAK;IAC1G,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,CAAC,EAAE;IAC7G,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;IACnI,OAAO,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;IACjH,aAAa,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;CAC3F,EAAE,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC;AACjC,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,IAAI,EAAE,EAAE,OAAO,EAAE,8CAA8C,EAAE,GAAG,EAAE,4DAA4D;QAChI,GAAG,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,yCAAyC,EAAE,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,iCAAiC,EAAE,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,EAAE,OAAO;YAC7K,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG;YACtD,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,uBAAuB,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;YACtM,eAAe,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC;SAC1M,CAAC,EAAE;IACN,MAAM,EAAE,EAAE,OAAO,EAAE,8CAA8C,EAAE,GAAG,EAAE,8DAA8D;QACpI,GAAG,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,2CAA2C,EAAE,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,iCAAiC,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO;YACjM,IAAI,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YACxE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,eAAe,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,YAAY,EAAE,qBAAqB,EAAE,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI;YACtJ,YAAY,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,kBAAkB,EAAE,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;YACnN,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,iBAAiB,EAAE,YAAY,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI;SAC5L,CAAC,EAAE;CACP,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,OAAO,EAAE,8CAA8C;IACvD,GAAG,EAAE,0DAA0D;IAC/D,GAAG,MAAM,CAAC;QACR,MAAM,EAAE,EAAE,KAAK,EAAE,uCAAuC,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI;QAChG,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,sBAAsB,EAAE,aAAa,CAAC,EAAE;QACzD,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE;QACpE,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;QAC9I,SAAS,EAAE,EAAE,KAAK,EAAE,uHAAuH,EAAE,EAAE,MAAM,EAAE,IAAI;KAC5J,CAAC;CACH,CAAC;AAEF,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,kBAAkB,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC;AAC9F,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,IAAI,EAAE,EAAE,OAAO,EAAE,8CAA8C,EAAE,GAAG,EAAE,wDAAwD;QAC5H,GAAG,MAAM,CAAC,EAAE,GAAG,kBAAkB,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,qCAAqC,EAAE,EAAE,CAAC,EAAE;IAClG,MAAM,EAAE,EAAE,OAAO,EAAE,8CAA8C,EAAE,GAAG,EAAE,0DAA0D;QAChI,GAAG,MAAM,CAAC,EAAE,GAAG,oBAAoB,CAAC,MAAM,CAAC,UAAU;YACnD,MAAM,EAAE,EAAE,KAAK,EAAE,uCAAuC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YACpH,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,mBAAmB,EAAE,eAAe,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,WAAW,CAAC,EAAE;YACrI,YAAY,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,kBAAkB,CAAC,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;YACtM,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;SACvH,CAAC,EAAE;IACN,MAAM,EAAE,EAAE,OAAO,EAAE,8CAA8C,EAAE,GAAG,EAAE,mEAAmE;QACzI,GAAG,MAAM,CAAC,EAAE,GAAG,sBAAsB,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,gDAAgD,EAAE;YACnH,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,uBAAuB,EAAE,aAAa,CAAC,EAAE;YAC1D,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE;SAC9I,CAAC,EAAE;CACP,CAAC"}
|
|
@@ -0,0 +1,146 @@
|
|
|
1
|
+
import type { CommandEvidence } from '../isolation/contracts.js';
|
|
2
|
+
export declare const VERIFIER_VERSION = "byte-parity-v1";
|
|
3
|
+
export declare const VERIFICATION_ADAPTER = "javascript-to-typescript-cli/v1";
|
|
4
|
+
export type SourcePin = {
|
|
5
|
+
revision: string;
|
|
6
|
+
path: string;
|
|
7
|
+
object: string;
|
|
8
|
+
};
|
|
9
|
+
export type ExpectedBehavior = {
|
|
10
|
+
exitCode: number;
|
|
11
|
+
stdout: string;
|
|
12
|
+
stderr: string;
|
|
13
|
+
};
|
|
14
|
+
export type BehaviorFingerprint = {
|
|
15
|
+
exitCode: number;
|
|
16
|
+
stdout: {
|
|
17
|
+
sha256: string;
|
|
18
|
+
bytes: number;
|
|
19
|
+
};
|
|
20
|
+
stderr: {
|
|
21
|
+
sha256: string;
|
|
22
|
+
bytes: number;
|
|
23
|
+
};
|
|
24
|
+
};
|
|
25
|
+
export type VerificationPlan = {
|
|
26
|
+
format: 'calliope.migration.verification-plan/v1';
|
|
27
|
+
adapter: typeof VERIFICATION_ADAPTER;
|
|
28
|
+
verifier: typeof VERIFIER_VERSION;
|
|
29
|
+
runtime: {
|
|
30
|
+
image: string;
|
|
31
|
+
node: string;
|
|
32
|
+
};
|
|
33
|
+
source: SourcePin;
|
|
34
|
+
candidate: SourcePin;
|
|
35
|
+
negative: SourcePin;
|
|
36
|
+
rules: SourcePin;
|
|
37
|
+
cases: {
|
|
38
|
+
id: string;
|
|
39
|
+
argument: string;
|
|
40
|
+
expected: ExpectedBehavior;
|
|
41
|
+
}[];
|
|
42
|
+
negativeControl: {
|
|
43
|
+
caseId: string;
|
|
44
|
+
expected: ExpectedBehavior;
|
|
45
|
+
};
|
|
46
|
+
limits: {
|
|
47
|
+
commandTimeoutMs: number;
|
|
48
|
+
totalMs: number;
|
|
49
|
+
};
|
|
50
|
+
};
|
|
51
|
+
export type BaselinePlan = Omit<VerificationPlan, 'format' | 'candidate'> & {
|
|
52
|
+
format: 'calliope.migration.baseline-plan/v1';
|
|
53
|
+
};
|
|
54
|
+
export declare const byteFingerprint: (text: string) => {
|
|
55
|
+
sha256: string;
|
|
56
|
+
bytes: number;
|
|
57
|
+
};
|
|
58
|
+
export declare const behaviorFingerprint: (value: ExpectedBehavior) => BehaviorFingerprint;
|
|
59
|
+
export declare function compareBehavior(a: BehaviorFingerprint, b: BehaviorFingerprint): boolean;
|
|
60
|
+
/** Adversarial sanity checks run before any repository code, including the baseline. */
|
|
61
|
+
export declare function comparatorHealthy(compare?: typeof compareBehavior): boolean;
|
|
62
|
+
export declare function analyzeVerificationPlan(value: unknown): {
|
|
63
|
+
plan: VerificationPlan;
|
|
64
|
+
digest: string;
|
|
65
|
+
commandCount: number;
|
|
66
|
+
};
|
|
67
|
+
export declare function analyzeBaselinePlan(value: unknown): {
|
|
68
|
+
plan: BaselinePlan;
|
|
69
|
+
digest: string;
|
|
70
|
+
commandCount: number;
|
|
71
|
+
};
|
|
72
|
+
export interface VerificationOptions {
|
|
73
|
+
signal?: AbortSignal;
|
|
74
|
+
/** Host authority. Never accept an approval callback from agent-authored JSON. */
|
|
75
|
+
approve: (request: {
|
|
76
|
+
digest: string;
|
|
77
|
+
repository: string;
|
|
78
|
+
pins: SourcePin[];
|
|
79
|
+
image: string;
|
|
80
|
+
commandCount: number;
|
|
81
|
+
totalMs: number;
|
|
82
|
+
}) => Promise<boolean>;
|
|
83
|
+
/** A host may impose an earlier inherited deadline and reserve commands in its ledger. */
|
|
84
|
+
deadline?: number;
|
|
85
|
+
reserveCommand?: (request: {
|
|
86
|
+
digest: string;
|
|
87
|
+
phase: string;
|
|
88
|
+
caseId: string | null;
|
|
89
|
+
command: number;
|
|
90
|
+
}) => Promise<boolean>;
|
|
91
|
+
}
|
|
92
|
+
type Phase = 'runtime' | 'baseline' | 'negative-control' | 'candidate';
|
|
93
|
+
type Outcome = 'passed' | 'baseline-verified' | 'input-failure' | 'baseline-failure' | 'verifier-failure' | 'regression' | 'environment-failure' | 'cancelled';
|
|
94
|
+
/** The existing isolated-command owner executes every observation; no provider or worker scheduler. */
|
|
95
|
+
export declare function verifyMigration(repository: string, input: unknown, options: VerificationOptions): Promise<FullVerificationReport>;
|
|
96
|
+
/** Establish the original contract and reject a known regression before a candidate exists. */
|
|
97
|
+
export declare function verifyMigrationBaseline(repository: string, input: unknown, options: VerificationOptions): Promise<BaselineReport>;
|
|
98
|
+
type ExecutionReport = Awaited<ReturnType<typeof executeVerification>>;
|
|
99
|
+
type FullVerificationReport = Omit<ExecutionReport, 'pins' | 'outcome'> & {
|
|
100
|
+
pins: Pick<VerificationPlan, 'source' | 'candidate' | 'negative' | 'rules'>;
|
|
101
|
+
outcome: Exclude<Outcome, 'baseline-verified'>;
|
|
102
|
+
};
|
|
103
|
+
type BaselineReport = Omit<ExecutionReport, 'pins' | 'outcome'> & {
|
|
104
|
+
pins: Pick<BaselinePlan, 'source' | 'negative' | 'rules'>;
|
|
105
|
+
outcome: Exclude<Outcome, 'passed' | 'regression'>;
|
|
106
|
+
};
|
|
107
|
+
declare function executeVerification(repository: string, analysis: {
|
|
108
|
+
plan: VerificationPlan | BaselinePlan;
|
|
109
|
+
digest: string;
|
|
110
|
+
commandCount: number;
|
|
111
|
+
}, options: VerificationOptions): Promise<{
|
|
112
|
+
format: string;
|
|
113
|
+
verifier: string;
|
|
114
|
+
adapter: "javascript-to-typescript-cli/v1";
|
|
115
|
+
planDigest: string;
|
|
116
|
+
runtime: {
|
|
117
|
+
image: string;
|
|
118
|
+
node: string;
|
|
119
|
+
};
|
|
120
|
+
pins: {
|
|
121
|
+
source: SourcePin;
|
|
122
|
+
negative: SourcePin;
|
|
123
|
+
rules: SourcePin;
|
|
124
|
+
candidate?: undefined;
|
|
125
|
+
} | {
|
|
126
|
+
source: SourcePin;
|
|
127
|
+
candidate: SourcePin;
|
|
128
|
+
negative: SourcePin;
|
|
129
|
+
rules: SourcePin;
|
|
130
|
+
};
|
|
131
|
+
outcome: Outcome;
|
|
132
|
+
reason: string;
|
|
133
|
+
observations: {
|
|
134
|
+
phase: Phase;
|
|
135
|
+
caseId: string | null;
|
|
136
|
+
matches: boolean | null;
|
|
137
|
+
evidence: Omit<CommandEvidence, 'stdout' | 'stderr'>;
|
|
138
|
+
}[];
|
|
139
|
+
commandsUsed: number;
|
|
140
|
+
commandLimit: number;
|
|
141
|
+
retainedWorkspace: string | null;
|
|
142
|
+
limitations: string[];
|
|
143
|
+
digest: string;
|
|
144
|
+
}>;
|
|
145
|
+
export {};
|
|
146
|
+
//# sourceMappingURL=verification.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../../src/migration/verification.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAGjE,eAAO,MAAM,gBAAgB,mBAAmB,CAAC;AACjD,eAAO,MAAM,oBAAoB,oCAAoC,CAAC;AACtE,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAC3E,MAAM,MAAM,gBAAgB,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AACpF,MAAM,MAAM,mBAAmB,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,MAAM,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,CAAC;AAC7I,MAAM,MAAM,gBAAgB,GAAG;IAC7B,MAAM,EAAE,yCAAyC,CAAC;IAAC,OAAO,EAAE,OAAO,oBAAoB,CAAC;IACxF,QAAQ,EAAE,OAAO,gBAAgB,CAAC;IAAC,OAAO,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5E,MAAM,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,SAAS,CAAC;IAAC,QAAQ,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,SAAS,CAAC;IAC/E,KAAK,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,gBAAgB,CAAA;KAAE,EAAE,CAAC;IACtE,eAAe,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,gBAAgB,CAAA;KAAE,CAAC;IAChE,MAAM,EAAE;QAAE,gBAAgB,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CACvD,CAAC;AACF,MAAM,MAAM,YAAY,GAAG,IAAI,CAAC,gBAAgB,EAAE,QAAQ,GAAG,WAAW,CAAC,GAAG;IAAE,MAAM,EAAE,qCAAqC,CAAA;CAAE,CAAC;AAY9H,eAAO,MAAM,eAAe,SAAU,MAAM;IAAQ,MAAM;IAAgB,KAAK;CAA4B,CAAC;AAC5G,eAAO,MAAM,mBAAmB,UAAW,gBAAgB,KAAG,mBAAmI,CAAC;AAClM,wBAAgB,eAAe,CAAC,CAAC,EAAE,mBAAmB,EAAE,CAAC,EAAE,mBAAmB,GAAG,OAAO,CAEvF;AACD,wFAAwF;AACxF,wBAAgB,iBAAiB,CAAC,OAAO,yBAAkB,GAAG,OAAO,CAQpE;AACD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAChB;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,CACrG;AACD,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GACb;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,CAChG;AAmCD,MAAM,WAAW,mBAAmB;IAClC,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,kFAAkF;IAClF,OAAO,EAAE,CAAC,OAAO,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,SAAS,EAAE,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACxJ,0FAA0F;IAC1F,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,cAAc,CAAC,EAAE,CAAC,OAAO,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CAC3H;AACD,KAAK,KAAK,GAAG,SAAS,GAAG,UAAU,GAAG,kBAAkB,GAAG,WAAW,CAAC;AACvE,KAAK,OAAO,GAAG,QAAQ,GAAG,mBAAmB,GAAG,eAAe,GAAG,kBAAkB,GAAG,kBAAkB,GAAG,YAAY,GAAG,qBAAqB,GAAG,WAAW,CAAC;AAK/J,uGAAuG;AACvG,wBAAsB,eAAe,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,mBAAmB,mCAErG;AACD,+FAA+F;AAC/F,wBAAsB,uBAAuB,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,mBAAmB,2BAE7G;AACD,KAAK,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,mBAAmB,CAAC,CAAC,CAAC;AACvE,KAAK,sBAAsB,GAAG,IAAI,CAAC,eAAe,EAAE,MAAM,GAAG,SAAS,CAAC,GAAG;IACxE,IAAI,EAAE,IAAI,CAAC,gBAAgB,EAAE,QAAQ,GAAG,WAAW,GAAG,UAAU,GAAG,OAAO,CAAC,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;CAC7H,CAAC;AACF,KAAK,cAAc,GAAG,IAAI,CAAC,eAAe,EAAE,MAAM,GAAG,SAAS,CAAC,GAAG;IAChE,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,QAAQ,GAAG,UAAU,GAAG,OAAO,CAAC,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,QAAQ,GAAG,YAAY,CAAC,CAAC;CAC/G,CAAC;AACF,iBAAe,mBAAmB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE;IAAE,IAAI,EAAE,gBAAgB,GAAG,YAAY,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,EAAE,OAAO,EAAE,mBAAmB;;;;;;eAtGvH,MAAM;cAAQ,MAAM;;;;;;;;;;;;;;;;eAuH5C,KAAK;gBAAU,MAAM,GAAG,IAAI;iBAAW,OAAO,GAAG,IAAI;kBAAY,IAAI,CAAC,eAAe,EAAE,QAAQ,GAAG,QAAQ,CAAC;;;;;;;GAqFzI"}
|