@calliopelabs/cli 3.5.4 → 3.6.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.d.ts +10 -3
- package/dist/acp.d.ts.map +1 -1
- package/dist/acp.js +27 -7
- 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/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 +14 -2
- package/dist/improvement/cli.js.map +1 -1
- package/dist/improvement/index.d.ts +5 -0
- package/dist/improvement/index.d.ts.map +1 -1
- package/dist/improvement/index.js +5 -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 +49 -0
- package/dist/orchestration/reviewed-ledger.js.map +1 -0
- 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 +3 -0
- package/dist/storage.d.ts.map +1 -1
- package/dist/storage.js +6 -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/delegation-ledger.md +329 -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/package.json +7 -2
|
@@ -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"}
|
|
@@ -0,0 +1,260 @@
|
|
|
1
|
+
import { createHash } from 'node:crypto';
|
|
2
|
+
import { mkdtempSync, mkdirSync, writeFileSync, readFileSync, lstatSync, rmSync, realpathSync } from 'node:fs';
|
|
3
|
+
import { join } from 'node:path';
|
|
4
|
+
import { tmpdir } from 'node:os';
|
|
5
|
+
import { canonicalJson, digest } from '../approvals/index.js';
|
|
6
|
+
import { throwIfCancelled, cancellable } from '../cancellation.js';
|
|
7
|
+
import { worktreeGit } from '../isolation/worktree.js';
|
|
8
|
+
import { assertLocalIsolationImage, runIsolatedCommand } from '../isolation/process.js';
|
|
9
|
+
import { inventorySource, MigrationError, sourcePath } from './inventory.js';
|
|
10
|
+
export const VERIFIER_VERSION = 'byte-parity-v1';
|
|
11
|
+
export const VERIFICATION_ADAPTER = 'javascript-to-typescript-cli/v1';
|
|
12
|
+
function fail(message) { throw new MigrationError('invalid', message); }
|
|
13
|
+
const hash = (s) => typeof s === 'string' && /^[a-f0-9]{64}$/.test(s);
|
|
14
|
+
const oid = (s) => typeof s === 'string' && /^(?:[a-f0-9]{40}|[a-f0-9]{64})$/.test(s);
|
|
15
|
+
function shape(v, keys) {
|
|
16
|
+
if (!v || typeof v !== 'object' || Array.isArray(v) || Object.keys(v).length !== keys.length || keys.some(k => !Object.hasOwn(v, k)))
|
|
17
|
+
fail('Invalid migration verification fields.');
|
|
18
|
+
}
|
|
19
|
+
function expected(v) {
|
|
20
|
+
shape(v, ['exitCode', 'stdout', 'stderr']);
|
|
21
|
+
if (!Number.isSafeInteger(v.exitCode) || Number(v.exitCode) < 0 || Number(v.exitCode) > 124 ||
|
|
22
|
+
typeof v.stdout !== 'string' || typeof v.stderr !== 'string' || Buffer.byteLength(v.stdout) > 8192 || Buffer.byteLength(v.stderr) > 8192)
|
|
23
|
+
fail('Use bounded expected output and exit codes 0–124.');
|
|
24
|
+
}
|
|
25
|
+
export const byteFingerprint = (text) => ({ sha256: digest(text), bytes: Buffer.byteLength(text) });
|
|
26
|
+
export const behaviorFingerprint = (value) => ({ exitCode: value.exitCode, stdout: byteFingerprint(value.stdout), stderr: byteFingerprint(value.stderr) });
|
|
27
|
+
export function compareBehavior(a, b) {
|
|
28
|
+
return a.exitCode === b.exitCode && a.stdout.sha256 === b.stdout.sha256 && a.stdout.bytes === b.stdout.bytes && a.stderr.sha256 === b.stderr.sha256 && a.stderr.bytes === b.stderr.bytes;
|
|
29
|
+
}
|
|
30
|
+
/** Adversarial sanity checks run before any repository code, including the baseline. */
|
|
31
|
+
export function comparatorHealthy(compare = compareBehavior) {
|
|
32
|
+
const a = behaviorFingerprint({ exitCode: 0, stdout: 'public result\n', stderr: 'notice\n' });
|
|
33
|
+
try {
|
|
34
|
+
return compare(a, { ...a, stdout: { ...a.stdout }, stderr: { ...a.stderr } }) && !compare(a, { ...a, exitCode: 1 }) &&
|
|
35
|
+
!compare(a, { ...a, stdout: byteFingerprint('public RESULT\n') }) &&
|
|
36
|
+
!compare(a, { ...a, stderr: byteFingerprint('NOTICE\n') }) &&
|
|
37
|
+
!compare(a, { ...a, stdout: { ...a.stdout, bytes: a.stdout.bytes + 1 } }) &&
|
|
38
|
+
!compare(a, { ...a, stderr: { ...a.stderr, bytes: a.stderr.bytes + 1 } });
|
|
39
|
+
}
|
|
40
|
+
catch {
|
|
41
|
+
return false;
|
|
42
|
+
}
|
|
43
|
+
}
|
|
44
|
+
export function analyzeVerificationPlan(value) {
|
|
45
|
+
return analyzePlan(value, false);
|
|
46
|
+
}
|
|
47
|
+
export function analyzeBaselinePlan(value) {
|
|
48
|
+
return analyzePlan(value, true);
|
|
49
|
+
}
|
|
50
|
+
function analyzePlan(value, baselineOnly) {
|
|
51
|
+
let raw;
|
|
52
|
+
try {
|
|
53
|
+
raw = canonicalJson(value);
|
|
54
|
+
}
|
|
55
|
+
catch {
|
|
56
|
+
return fail('Use bounded plain JSON for the verification plan.');
|
|
57
|
+
}
|
|
58
|
+
if (Buffer.byteLength(raw) > 262144)
|
|
59
|
+
fail('Keep a verification plan within 256 KiB.');
|
|
60
|
+
const v = JSON.parse(raw);
|
|
61
|
+
shape(v, ['format', 'adapter', 'verifier', 'runtime', 'source', ...(baselineOnly ? [] : ['candidate']), 'negative', 'rules', 'cases', 'negativeControl', 'limits']);
|
|
62
|
+
if (v.format !== (baselineOnly ? 'calliope.migration.baseline-plan/v1' : 'calliope.migration.verification-plan/v1') || v.adapter !== VERIFICATION_ADAPTER || v.verifier !== VERIFIER_VERSION)
|
|
63
|
+
fail('Unsupported migration adapter or verifier version.');
|
|
64
|
+
shape(v.runtime, ['image', 'node']);
|
|
65
|
+
if (typeof v.runtime.image !== 'string' || !/^sha256:[a-f0-9]{64}$/.test(v.runtime.image) || typeof v.runtime.node !== 'string' || !/^v24\.\d+\.\d+$/.test(v.runtime.node))
|
|
66
|
+
fail('Pin a local Linux image and its exact Node 24 runtime version.');
|
|
67
|
+
for (const role of ['source', ...(baselineOnly ? [] : ['candidate']), 'negative', 'rules']) {
|
|
68
|
+
const pin = v[role];
|
|
69
|
+
shape(pin, ['revision', 'path', 'object']);
|
|
70
|
+
if (!oid(pin.revision) || !oid(pin.object) || typeof pin.path !== 'string' || pin.path === '.')
|
|
71
|
+
fail('Pin every program and rulebook to a full Git commit, path and blob.');
|
|
72
|
+
sourcePath(pin.path);
|
|
73
|
+
if (role === 'source' && !pin.path.endsWith('.mjs') || ['candidate', 'negative'].includes(role) && !pin.path.endsWith('.mts'))
|
|
74
|
+
fail('This adapter compares self-contained .mjs and .mts command-line programs.');
|
|
75
|
+
}
|
|
76
|
+
if (!Array.isArray(v.cases) || !v.cases.length || v.cases.length > 8)
|
|
77
|
+
fail('Provide 1–8 public-interface cases.');
|
|
78
|
+
const ids = new Set();
|
|
79
|
+
for (const row of v.cases) {
|
|
80
|
+
shape(row, ['id', 'argument', 'expected']);
|
|
81
|
+
if (typeof row.id !== 'string' || !/^[a-zA-Z0-9_-]{1,64}$/.test(row.id) || ids.has(row.id) || typeof row.argument !== 'string' || !row.argument.length || row.argument.length > 8192 || /[\x00-\x1f\x7f]/.test(row.argument))
|
|
82
|
+
fail('Use unique case IDs and one bounded argument per case.');
|
|
83
|
+
ids.add(row.id);
|
|
84
|
+
expected(row.expected);
|
|
85
|
+
}
|
|
86
|
+
shape(v.negativeControl, ['caseId', 'expected']);
|
|
87
|
+
if (typeof v.negativeControl.caseId !== 'string' || !ids.has(v.negativeControl.caseId))
|
|
88
|
+
fail('Select a declared case for the negative control.');
|
|
89
|
+
expected(v.negativeControl.expected);
|
|
90
|
+
shape(v.limits, ['commandTimeoutMs', 'totalMs']);
|
|
91
|
+
if (!Number.isSafeInteger(v.limits.commandTimeoutMs) || Number(v.limits.commandTimeoutMs) < 100 || Number(v.limits.commandTimeoutMs) > 10000 ||
|
|
92
|
+
!Number.isSafeInteger(v.limits.totalMs) || Number(v.limits.totalMs) < Number(v.limits.commandTimeoutMs) || Number(v.limits.totalMs) > 300000)
|
|
93
|
+
fail('Bound each command to 100–10,000ms and the full observation to at most 300,000ms.');
|
|
94
|
+
const plan = v;
|
|
95
|
+
// Validate declared data independently of the comparator being qualified.
|
|
96
|
+
if (canonicalJson(plan.negativeControl.expected) === canonicalJson(plan.cases.find(c => c.id === plan.negativeControl.caseId).expected))
|
|
97
|
+
fail('The known negative control must differ from the baseline behavior.');
|
|
98
|
+
return { plan, digest: digest(raw), commandCount: (baselineOnly ? 1 : 2) * plan.cases.length + 2 };
|
|
99
|
+
}
|
|
100
|
+
class SourceInputError extends MigrationError {
|
|
101
|
+
constructor(message) { super('invalid', message); }
|
|
102
|
+
}
|
|
103
|
+
/** The existing isolated-command owner executes every observation; no provider or worker scheduler. */
|
|
104
|
+
export async function verifyMigration(repository, input, options) {
|
|
105
|
+
return executeVerification(repository, analyzeVerificationPlan(input), options);
|
|
106
|
+
}
|
|
107
|
+
/** Establish the original contract and reject a known regression before a candidate exists. */
|
|
108
|
+
export async function verifyMigrationBaseline(repository, input, options) {
|
|
109
|
+
return executeVerification(repository, analyzeBaselinePlan(input), options);
|
|
110
|
+
}
|
|
111
|
+
async function executeVerification(repository, analysis, options) {
|
|
112
|
+
const { plan, digest: planDigest, commandCount } = analysis;
|
|
113
|
+
const baselineOnly = plan.format === 'calliope.migration.baseline-plan/v1';
|
|
114
|
+
const pins = plan.format === 'calliope.migration.baseline-plan/v1'
|
|
115
|
+
? { source: plan.source, negative: plan.negative, rules: plan.rules }
|
|
116
|
+
: { source: plan.source, candidate: plan.candidate, negative: plan.negative, rules: plan.rules };
|
|
117
|
+
if (!options || typeof options.approve !== 'function' || options.deadline !== undefined && !Number.isFinite(options.deadline))
|
|
118
|
+
fail('A host approval hook and a valid inherited deadline are required.');
|
|
119
|
+
throwIfCancelled(options.signal);
|
|
120
|
+
if (typeof repository !== 'string' || repository.length > 4096 || /[\x00-\x1f\x7f]/.test(repository))
|
|
121
|
+
fail('Select a local repository root.');
|
|
122
|
+
try {
|
|
123
|
+
repository = realpathSync(repository);
|
|
124
|
+
}
|
|
125
|
+
catch {
|
|
126
|
+
throw new MigrationError('unavailable', 'The selected repository is unavailable.');
|
|
127
|
+
}
|
|
128
|
+
const approved = await cancellable(options.approve({ digest: planDigest, repository, pins: JSON.parse(JSON.stringify(Object.values(pins))), image: plan.runtime.image, commandCount, totalMs: plan.limits.totalMs }), options.signal);
|
|
129
|
+
if (!approved)
|
|
130
|
+
fail('Migration verification was not approved; no program was executed.');
|
|
131
|
+
const deadline = Math.min(Date.now() + plan.limits.totalMs, options.deadline ?? Infinity);
|
|
132
|
+
if (deadline <= Date.now())
|
|
133
|
+
fail('The inherited verification deadline has expired.');
|
|
134
|
+
const timer = new AbortController(), signal = AbortSignal.any([timer.signal, ...(options.signal ? [options.signal] : [])]);
|
|
135
|
+
const alarm = setTimeout(() => timer.abort(), Math.max(1, deadline - Date.now()));
|
|
136
|
+
const checkBudget = () => { if (Date.now() >= deadline)
|
|
137
|
+
timer.abort(); throwIfCancelled(signal); };
|
|
138
|
+
const observations = [];
|
|
139
|
+
let scratch, safeToRemove = true, outcome = 'environment-failure', reason = 'Verification did not complete.', commands = 0;
|
|
140
|
+
const programs = new Map();
|
|
141
|
+
try {
|
|
142
|
+
if (!comparatorHealthy()) {
|
|
143
|
+
outcome = 'verifier-failure';
|
|
144
|
+
reason = 'Comparator self-test failed.';
|
|
145
|
+
}
|
|
146
|
+
else {
|
|
147
|
+
// Read only exact approved Git objects. The working checkout is never executed.
|
|
148
|
+
const material = [];
|
|
149
|
+
for (const [role, pin] of Object.entries(pins)) {
|
|
150
|
+
const inventory = await inventorySource({ repository, revision: pin.revision, readPaths: [pin.path] }, { signal });
|
|
151
|
+
const file = inventory.files[0];
|
|
152
|
+
if (inventory.files.length !== 1 || !file || file.path !== pin.path || !['100644', '100755'].includes(file.mode) || file.object !== pin.object || file.bytes === null || file.bytes > 65536)
|
|
153
|
+
throw new SourceInputError('A source/rule pin is stale, unsupported or exceeds 64 KiB. Replan before execution.');
|
|
154
|
+
const text = await worktreeGit(repository, ['--no-replace-objects', 'cat-file', 'blob', pin.object], signal);
|
|
155
|
+
const bytes = Buffer.byteLength(text), object = createHash(pin.object.length === 40 ? 'sha1' : 'sha256').update(`blob ${bytes}\0`).update(text).digest('hex');
|
|
156
|
+
if (object !== pin.object || bytes !== file.bytes)
|
|
157
|
+
throw new SourceInputError('Source bytes changed or are not valid UTF-8.');
|
|
158
|
+
if (role !== 'rules')
|
|
159
|
+
material.push({ role, text, extension: role === 'source' ? 'mjs' : 'mts' });
|
|
160
|
+
}
|
|
161
|
+
await assertLocalIsolationImage(plan.runtime.image, signal);
|
|
162
|
+
scratch = mkdtempSync(join(tmpdir(), 'calliope-migration-check-'));
|
|
163
|
+
for (const { role, text, extension } of material) {
|
|
164
|
+
const directory = join(scratch, role);
|
|
165
|
+
mkdirSync(directory, { mode: 0o700 });
|
|
166
|
+
const file = join(directory, `program.${extension}`);
|
|
167
|
+
writeFileSync(file, text, { mode: 0o400, flag: 'wx' });
|
|
168
|
+
programs.set(role, { directory, file, bytes: digest(text), extension });
|
|
169
|
+
}
|
|
170
|
+
const observe = async (phase, role, caseId, argument) => {
|
|
171
|
+
checkBudget();
|
|
172
|
+
if (++commands > commandCount || options.reserveCommand && !await cancellable(options.reserveCommand({ digest: planDigest, phase, caseId, command: commands }), signal))
|
|
173
|
+
fail('The host command allowance refused verification.');
|
|
174
|
+
checkBudget();
|
|
175
|
+
const program = programs.get(role);
|
|
176
|
+
const unchanged = () => lstatSync(program.file).isFile() && !lstatSync(program.file).isSymbolicLink() && lstatSync(program.file).size <= 65536 && digest(readFileSync(program.file, 'utf8')) === program.bytes;
|
|
177
|
+
if (!unchanged())
|
|
178
|
+
throw new SourceInputError('The isolated source snapshot changed.');
|
|
179
|
+
const argv = phase === 'runtime' ? ['node', '--version'] : ['node', `/project/program.${program.extension}`, argument];
|
|
180
|
+
safeToRemove = false; // A lost runner result must retain the mount for inspection.
|
|
181
|
+
const receipt = await runIsolatedCommand(plan.runtime.image, { artifactId: `${phase}-${caseId ?? 'version'}`, argv, timeoutMs: Math.max(1, Math.min(plan.limits.commandTimeoutMs, deadline - Date.now())) }, [{ source: program.directory, target: '/project' }], signal);
|
|
182
|
+
safeToRemove = receipt.cleanupConfirmed;
|
|
183
|
+
const { stdout: _stdout, stderr: _stderr, ...evidence } = receipt;
|
|
184
|
+
const row = { phase, caseId, matches: null, evidence };
|
|
185
|
+
observations.push(row);
|
|
186
|
+
const outputs = receipt.outputDigests;
|
|
187
|
+
if (!unchanged() || !receipt.cleanupConfirmed || receipt.truncated || !['passed', 'failed'].includes(receipt.outcome) || !outputs || outputs.version !== 1 ||
|
|
188
|
+
!hash(outputs.stdout.sha256) || !hash(outputs.stderr.sha256))
|
|
189
|
+
return null;
|
|
190
|
+
return { exitCode: receipt.exitCode, stdout: outputs.stdout, stderr: outputs.stderr };
|
|
191
|
+
};
|
|
192
|
+
const check = async (phase, role, id, want, argument) => {
|
|
193
|
+
const got = await observe(phase, role, id, argument);
|
|
194
|
+
if (!got)
|
|
195
|
+
return null;
|
|
196
|
+
const matches = compareBehavior(got, behaviorFingerprint(want));
|
|
197
|
+
observations.at(-1).matches = matches;
|
|
198
|
+
return { got, matches };
|
|
199
|
+
};
|
|
200
|
+
const run = async () => {
|
|
201
|
+
const runtime = await check('runtime', 'source', null, { exitCode: 0, stdout: plan.runtime.node + '\n', stderr: '' });
|
|
202
|
+
if (!runtime?.matches)
|
|
203
|
+
return { outcome: 'environment-failure', reason: 'The pinned runtime was unavailable or did not match.' };
|
|
204
|
+
for (const c of plan.cases) {
|
|
205
|
+
const baseline = await check('baseline', 'source', c.id, c.expected, c.argument);
|
|
206
|
+
if (!baseline)
|
|
207
|
+
return { outcome: 'environment-failure', reason: 'Baseline observation was incomplete.' };
|
|
208
|
+
if (!baseline.matches)
|
|
209
|
+
return { outcome: 'baseline-failure', reason: 'The original program does not meet the pinned public-interface contract.' };
|
|
210
|
+
}
|
|
211
|
+
const c = plan.cases.find(row => row.id === plan.negativeControl.caseId);
|
|
212
|
+
const negative = await check('negative-control', 'negative', c.id, plan.negativeControl.expected, c.argument);
|
|
213
|
+
if (!negative)
|
|
214
|
+
return { outcome: 'environment-failure', reason: 'Negative-control observation was incomplete.' };
|
|
215
|
+
if (!negative.matches || compareBehavior(negative.got, behaviorFingerprint(c.expected)))
|
|
216
|
+
return { outcome: 'verifier-failure', reason: 'The known regression was not reproduced and rejected as expected.' };
|
|
217
|
+
if (baselineOnly)
|
|
218
|
+
return { outcome: 'baseline-verified', reason: 'Baseline and known-regression observations satisfy the declared contract. No candidate was read or executed.' };
|
|
219
|
+
let regression = false;
|
|
220
|
+
for (const item of plan.cases) {
|
|
221
|
+
const candidate = await check('candidate', 'candidate', item.id, item.expected, item.argument);
|
|
222
|
+
if (!candidate)
|
|
223
|
+
return { outcome: 'environment-failure', reason: 'Candidate observation was incomplete.' };
|
|
224
|
+
if (!candidate.matches)
|
|
225
|
+
regression = true;
|
|
226
|
+
}
|
|
227
|
+
return { outcome: regression ? 'regression' : 'passed', reason: regression ? 'Candidate behavior differs on at least one declared case.' : 'Baseline, negative control and candidate observations satisfy the declared contract.' };
|
|
228
|
+
};
|
|
229
|
+
({ outcome, reason } = await run());
|
|
230
|
+
}
|
|
231
|
+
}
|
|
232
|
+
catch (error) {
|
|
233
|
+
outcome = options.signal?.aborted ? 'cancelled' : error instanceof SourceInputError ? 'input-failure' : 'environment-failure';
|
|
234
|
+
reason = error instanceof MigrationError ? error.message : timer.signal.aborted ? 'Verification exceeded its total deadline.' : 'Verification could not obtain complete native execution evidence.';
|
|
235
|
+
}
|
|
236
|
+
finally {
|
|
237
|
+
clearTimeout(alarm);
|
|
238
|
+
if (scratch && safeToRemove) {
|
|
239
|
+
try {
|
|
240
|
+
rmSync(scratch, { recursive: true });
|
|
241
|
+
scratch = undefined;
|
|
242
|
+
}
|
|
243
|
+
catch { /* Retain the exact scratch path for host cleanup. */ }
|
|
244
|
+
}
|
|
245
|
+
}
|
|
246
|
+
if (options.signal?.aborted) {
|
|
247
|
+
outcome = 'cancelled';
|
|
248
|
+
reason = 'Verification cancelled.';
|
|
249
|
+
}
|
|
250
|
+
else if (timer.signal.aborted || Date.now() >= deadline) {
|
|
251
|
+
outcome = 'environment-failure';
|
|
252
|
+
reason = 'Verification exceeded its total deadline.';
|
|
253
|
+
}
|
|
254
|
+
const report = { format: baselineOnly ? 'calliope.migration.baseline-report/v1' : 'calliope.migration.verification-report/v1', verifier: VERIFIER_VERSION, adapter: plan.adapter, planDigest, runtime: plan.runtime,
|
|
255
|
+
pins, outcome, reason, observations,
|
|
256
|
+
commandsUsed: commands, commandLimit: commandCount, retainedWorkspace: scratch ?? null,
|
|
257
|
+
limitations: ['Only declared cases of this self-contained command-line interface were compared; this is not proof of general program equivalence.', 'No TypeScript type-check, dependency install, migration dispatch or rollout was performed.'] };
|
|
258
|
+
return { ...report, digest: digest(canonicalJson(report)) };
|
|
259
|
+
}
|
|
260
|
+
//# sourceMappingURL=verification.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verification.js","sourceRoot":"","sources":["../../src/migration/verification.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAC/G,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAExF,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAE7E,MAAM,CAAC,MAAM,gBAAgB,GAAG,gBAAgB,CAAC;AACjD,MAAM,CAAC,MAAM,oBAAoB,GAAG,iCAAiC,CAAC;AAatE,SAAS,IAAI,CAAC,OAAe,IAAW,MAAM,IAAI,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;AACvF,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC/E,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,iCAAiC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC/F,SAAS,KAAK,CAAC,CAAU,EAAE,IAAc;IACvC,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAAE,IAAI,CAAC,wCAAwC,CAAC,CAAC;AACvL,CAAC;AACD,SAAS,QAAQ,CAAC,CAAU;IAC1B,KAAK,CAAC,CAAC,EAAE,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,GAAG;QACvF,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI;QAAE,IAAI,CAAC,mDAAmD,CAAC,CAAC;AAC1M,CAAC;AACD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC5G,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,KAAuB,EAAuB,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAClM,MAAM,UAAU,eAAe,CAAC,CAAsB,EAAE,CAAsB;IAC5E,OAAO,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;AAC3L,CAAC;AACD,wFAAwF;AACxF,MAAM,UAAU,iBAAiB,CAAC,OAAO,GAAG,eAAe;IACzD,MAAM,CAAC,GAAG,mBAAmB,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IAC9F,IAAI,CAAC;QAAC,OAAO,OAAO,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;YACvH,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,eAAe,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACjE,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,eAAe,CAAC,UAAU,CAAC,EAAE,CAAC;YAC1D,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,CAAC;YACzE,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5E,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC;AAC3B,CAAC;AACD,MAAM,UAAU,uBAAuB,CAAC,KAAc;IACpD,OAAO,WAAW,CAAC,KAAK,EAAE,KAAK,CAAqE,CAAC;AACvG,CAAC;AACD,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,OAAO,WAAW,CAAC,KAAK,EAAE,IAAI,CAAiE,CAAC;AAClG,CAAC;AACD,SAAS,WAAW,CAAC,KAAc,EAAE,YAAqB;IACxD,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QAAC,GAAG,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAAC,CAAC;IAC/G,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,MAAM;QAAE,IAAI,CAAC,0CAA0C,CAAC,CAAC;IACtF,MAAM,CAAC,GAAY,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnC,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,QAAQ,CAAC,CAAC,CAAC;IACpK,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,qCAAqC,CAAC,CAAC,CAAC,yCAAyC,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,oBAAoB,IAAI,CAAC,CAAC,QAAQ,KAAK,gBAAgB;QAAE,IAAI,CAAC,oDAAoD,CAAC,CAAC;IACzP,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,gEAAgE,CAAC,CAAC;IACnP,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;QAC3F,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;QAAC,KAAK,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG;YAAE,IAAI,CAAC,qEAAqE,CAAC,CAAC;QAC5K,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,IAAI,IAAI,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,IAAI,CAAC,2EAA2E,CAAC,CAAC;IACnN,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAClH,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QAC1B,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;QAC3C,IAAI,OAAO,GAAG,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,IAAI,CAAC,wDAAwD,CAAC,CAAC;QAC7R,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC1C,CAAC;IACD,KAAK,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IACjD,IAAI,OAAO,CAAC,CAAC,eAAe,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC;QAAE,IAAI,CAAC,kDAAkD,CAAC,CAAC;IACjJ,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;IACrC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,GAAG,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,GAAG,KAAK;QACxI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,MAAM;QAAE,IAAI,CAAC,mFAAmF,CAAC,CAAC;IAC5O,MAAM,IAAI,GAAG,CAA+C,CAAC;IAC7D,0EAA0E;IAC1E,IAAI,aAAa,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,KAAK,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,eAAe,CAAC,MAAM,CAAE,CAAC,QAAQ,CAAC;QAAE,IAAI,CAAC,oEAAoE,CAAC,CAAC;IACrN,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,YAAY,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;AACrG,CAAC;AAYD,MAAM,gBAAiB,SAAQ,cAAc;IAC3C,YAAY,OAAe,IAAI,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;CAC5D;AAED,uGAAuG;AACvG,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,UAAkB,EAAE,KAAc,EAAE,OAA4B;IACpG,OAAO,mBAAmB,CAAC,UAAU,EAAE,uBAAuB,CAAC,KAAK,CAAC,EAAE,OAAO,CAAoC,CAAC;AACrH,CAAC;AACD,+FAA+F;AAC/F,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAAC,UAAkB,EAAE,KAAc,EAAE,OAA4B;IAC5G,OAAO,mBAAmB,CAAC,UAAU,EAAE,mBAAmB,CAAC,KAAK,CAAC,EAAE,OAAO,CAA4B,CAAC;AACzG,CAAC;AAQD,KAAK,UAAU,mBAAmB,CAAC,UAAkB,EAAE,QAAyF,EAAE,OAA4B;IAC5K,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;IAC5D,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,KAAK,qCAAqC,CAAC;IAC3E,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,KAAK,qCAAqC;QAChE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE;QACrE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACnG,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,UAAU,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,IAAI,CAAC,mEAAmE,CAAC,CAAC;IACzM,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACjC,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,CAAC,MAAM,GAAG,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC9I,IAAI,CAAC;QAAC,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,MAAM,IAAI,cAAc,CAAC,aAAa,EAAE,yCAAyC,CAAC,CAAC;IAAC,CAAC;IAC5I,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACtO,IAAI,CAAC,QAAQ;QAAE,IAAI,CAAC,mEAAmE,CAAC,CAAC;IACzF,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,QAAQ,IAAI,QAAQ,CAAC,CAAC;IAC1F,IAAI,QAAQ,IAAI,IAAI,CAAC,GAAG,EAAE;QAAE,IAAI,CAAC,kDAAkD,CAAC,CAAC;IACrF,MAAM,KAAK,GAAG,IAAI,eAAe,EAAE,EAAE,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3H,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAClF,MAAM,WAAW,GAAG,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,QAAQ;QAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACnG,MAAM,YAAY,GAA6H,EAAE,CAAC;IAClJ,IAAI,OAA2B,EAAE,YAAY,GAAG,IAAI,EAAE,OAAO,GAAY,qBAAqB,EAAE,MAAM,GAAG,gCAAgC,EAAE,QAAQ,GAAG,CAAC,CAAC;IACxJ,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAiF,CAAC;IAC1G,IAAI,CAAC;QACH,IAAI,CAAC,iBAAiB,EAAE,EAAE,CAAC;YAAC,OAAO,GAAG,kBAAkB,CAAC;YAAC,MAAM,GAAG,8BAA8B,CAAC;QAAC,CAAC;aAC/F,CAAC;YACJ,gFAAgF;YAChF,MAAM,QAAQ,GAAwD,EAAE,CAAC;YACzE,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/C,MAAM,SAAS,GAAG,MAAM,eAAe,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;gBACnH,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAChC,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,GAAG,KAAK;oBAAE,MAAM,IAAI,gBAAgB,CAAC,qFAAqF,CAAC,CAAC;gBAC/S,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,UAAU,EAAE,CAAC,sBAAsB,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC7G,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC9J,IAAI,MAAM,KAAK,GAAG,CAAC,MAAM,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK;oBAAE,MAAM,IAAI,gBAAgB,CAAC,8CAA8C,CAAC,CAAC;gBAC9H,IAAI,IAAI,KAAK,OAAO;oBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YACpG,CAAC;YACD,MAAM,yBAAyB,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAC5D,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,2BAA2B,CAAC,CAAC,CAAC;YACnE,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,QAAQ,EAAE,CAAC;gBACjD,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBAAC,SAAS,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC7E,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,WAAW,SAAS,EAAE,CAAC,CAAC;gBAAC,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC7G,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;YAC1E,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,EAAE,KAAY,EAAE,IAAY,EAAE,MAAqB,EAAE,QAAiB,EAAuC,EAAE;gBAClI,WAAW,EAAE,CAAC;gBACd,IAAI,EAAE,QAAQ,GAAG,YAAY,IAAI,OAAO,CAAC,cAAc,IAAI,CAAC,MAAM,WAAW,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,CAAC;oBAAE,IAAI,CAAC,kDAAkD,CAAC,CAAC;gBAClO,WAAW,EAAE,CAAC;gBACd,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;gBACpC,MAAM,SAAS,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,cAAc,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,KAAK,IAAI,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC;gBAC/M,IAAI,CAAC,SAAS,EAAE;oBAAE,MAAM,IAAI,gBAAgB,CAAC,uCAAuC,CAAC,CAAC;gBACtF,MAAM,IAAI,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,oBAAoB,OAAO,CAAC,SAAS,EAAE,EAAE,QAAS,CAAC,CAAC;gBACxH,YAAY,GAAG,KAAK,CAAC,CAAC,6DAA6D;gBACnF,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,GAAG,KAAK,IAAI,MAAM,IAAI,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC1Q,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC;gBACxC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,QAAQ,EAAE,GAAG,OAAO,CAAC;gBAClE,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,IAAsB,EAAE,QAAQ,EAAE,CAAC;gBAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACjG,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC;gBACtC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,gBAAgB,IAAI,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,KAAK,CAAC;oBACtJ,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC9E,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;YACxF,CAAC,CAAC;YACF,MAAM,KAAK,GAAG,KAAK,EAAE,KAAY,EAAE,IAAY,EAAE,EAAiB,EAAE,IAAsB,EAAE,QAAiB,EAAE,EAAE;gBAC/G,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;gBACrD,IAAI,CAAC,GAAG;oBAAE,OAAO,IAAI,CAAC;gBACtB,MAAM,OAAO,GAAG,eAAe,CAAC,GAAG,EAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,OAAO,GAAG,OAAO,CAAC;gBACxG,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;YAC1B,CAAC,CAAC;YACF,MAAM,GAAG,GAAG,KAAK,IAAI,EAAE;gBACrB,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,GAAG,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;gBACtH,IAAI,CAAC,OAAO,EAAE,OAAO;oBAAE,OAAO,EAAE,OAAO,EAAE,qBAA8B,EAAE,MAAM,EAAE,sDAAsD,EAAE,CAAC;gBAC1I,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBAC3B,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;oBACjF,IAAI,CAAC,QAAQ;wBAAE,OAAO,EAAE,OAAO,EAAE,qBAA8B,EAAE,MAAM,EAAE,sCAAsC,EAAE,CAAC;oBAClH,IAAI,CAAC,QAAQ,CAAC,OAAO;wBAAE,OAAO,EAAE,OAAO,EAAE,kBAA2B,EAAE,MAAM,EAAE,0EAA0E,EAAE,CAAC;gBAC7J,CAAC;gBACD,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,eAAe,CAAC,MAAM,CAAE,CAAC;gBAC1E,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,kBAAkB,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;gBAC9G,IAAI,CAAC,QAAQ;oBAAE,OAAO,EAAE,OAAO,EAAE,qBAA8B,EAAE,MAAM,EAAE,8CAA8C,EAAE,CAAC;gBAC1H,IAAI,CAAC,QAAQ,CAAC,OAAO,IAAI,eAAe,CAAC,QAAQ,CAAC,GAAG,EAAE,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;oBAAE,OAAO,EAAE,OAAO,EAAE,kBAA2B,EAAE,MAAM,EAAE,mEAAmE,EAAE,CAAC;gBACtN,IAAI,YAAY;oBAAE,OAAO,EAAE,OAAO,EAAE,mBAA4B,EAAE,MAAM,EAAE,8GAA8G,EAAE,CAAC;gBAC3L,IAAI,UAAU,GAAG,KAAK,CAAC;gBACvB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBAC9B,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;oBAC/F,IAAI,CAAC,SAAS;wBAAE,OAAO,EAAE,OAAO,EAAE,qBAA8B,EAAE,MAAM,EAAE,uCAAuC,EAAE,CAAC;oBACpH,IAAI,CAAC,SAAS,CAAC,OAAO;wBAAE,UAAU,GAAG,IAAI,CAAC;gBAC5C,CAAC;gBACD,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,YAAqB,CAAC,CAAC,CAAC,QAAiB,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,2DAA2D,CAAC,CAAC,CAAC,sFAAsF,EAAE,CAAC;YACxP,CAAC,CAAC;YACF,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,EAAE,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,YAAY,gBAAgB,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,qBAAqB,CAAC;QAC9H,MAAM,GAAG,KAAK,YAAY,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,2CAA2C,CAAC,CAAC,CAAC,mEAAmE,CAAC;IACtM,CAAC;YAAS,CAAC;QACT,YAAY,CAAC,KAAK,CAAC,CAAC;QACpB,IAAI,OAAO,IAAI,YAAY,EAAE,CAAC;YAAC,IAAI,CAAC;gBAAC,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBAAC,OAAO,GAAG,SAAS,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,qDAAqD,CAAC,CAAC;QAAC,CAAC;IACrK,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;QAAC,OAAO,GAAG,WAAW,CAAC;QAAC,MAAM,GAAG,yBAAyB,CAAC;IAAC,CAAC;SACtF,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,QAAQ,EAAE,CAAC;QAAC,OAAO,GAAG,qBAAqB,CAAC;QAAC,MAAM,GAAG,2CAA2C,CAAC;IAAC,CAAC;IACnJ,MAAM,MAAM,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,uCAAuC,CAAC,CAAC,CAAC,2CAA2C,EAAE,QAAQ,EAAE,gBAAgB,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO;QACjN,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY;QACnC,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,OAAO,IAAI,IAAI;QACtF,WAAW,EAAE,CAAC,oIAAoI,EAAE,4FAA4F,CAAC,EAAE,CAAC;IACtP,OAAO,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;AAC9D,CAAC"}
|
|
@@ -4,6 +4,8 @@ import { type RunInspection } from './types.js';
|
|
|
4
4
|
export interface RunActionOptions extends SessionActionOptions {
|
|
5
5
|
store?: RunStore;
|
|
6
6
|
source?: 'cli' | 'repl';
|
|
7
|
+
/** Trusted host selection, persisted in the first native budget manifest. */
|
|
8
|
+
parentBudget?: import('../execution/types.js').ParentBudgetLink;
|
|
7
9
|
}
|
|
8
10
|
/** Dry validation cannot execute arbitrary hook/policy programs as a side effect. */
|
|
9
11
|
export declare function loadRunPlan(cwd: string, path: string, dryRun: boolean, options?: RunActionOptions): Promise<{
|