@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.
Files changed (291) hide show
  1. package/README.md +8 -0
  2. package/dist/acp.d.ts +10 -3
  3. package/dist/acp.d.ts.map +1 -1
  4. package/dist/acp.js +27 -7
  5. package/dist/acp.js.map +1 -1
  6. package/dist/bin.d.ts.map +1 -1
  7. package/dist/bin.js +28 -8
  8. package/dist/bin.js.map +1 -1
  9. package/dist/execution/authority.d.ts +4 -1
  10. package/dist/execution/authority.d.ts.map +1 -1
  11. package/dist/execution/authority.js +23 -7
  12. package/dist/execution/authority.js.map +1 -1
  13. package/dist/execution/child-grants.d.ts +2 -0
  14. package/dist/execution/child-grants.d.ts.map +1 -1
  15. package/dist/execution/child-grants.js +19 -4
  16. package/dist/execution/child-grants.js.map +1 -1
  17. package/dist/execution/delegated.d.ts +14 -0
  18. package/dist/execution/delegated.d.ts.map +1 -0
  19. package/dist/execution/delegated.js +66 -0
  20. package/dist/execution/delegated.js.map +1 -0
  21. package/dist/execution/files.js +6 -6
  22. package/dist/execution/files.js.map +1 -1
  23. package/dist/execution/guard.d.ts +5 -0
  24. package/dist/execution/guard.d.ts.map +1 -1
  25. package/dist/execution/guard.js +31 -16
  26. package/dist/execution/guard.js.map +1 -1
  27. package/dist/execution/index.d.ts +4 -0
  28. package/dist/execution/index.d.ts.map +1 -1
  29. package/dist/execution/index.js +4 -0
  30. package/dist/execution/index.js.map +1 -1
  31. package/dist/execution/ledger-cli.d.ts +2 -1
  32. package/dist/execution/ledger-cli.d.ts.map +1 -1
  33. package/dist/execution/ledger-cli.js +51 -14
  34. package/dist/execution/ledger-cli.js.map +1 -1
  35. package/dist/execution/ledger-protocol.d.ts +6 -2
  36. package/dist/execution/ledger-protocol.d.ts.map +1 -1
  37. package/dist/execution/ledger-protocol.js +110 -24
  38. package/dist/execution/ledger-protocol.js.map +1 -1
  39. package/dist/execution/ledger-server.d.ts +13 -0
  40. package/dist/execution/ledger-server.d.ts.map +1 -1
  41. package/dist/execution/ledger-server.js +57 -13
  42. package/dist/execution/ledger-server.js.map +1 -1
  43. package/dist/execution/ledger-tunnel.d.ts +50 -0
  44. package/dist/execution/ledger-tunnel.d.ts.map +1 -0
  45. package/dist/execution/ledger-tunnel.js +307 -0
  46. package/dist/execution/ledger-tunnel.js.map +1 -0
  47. package/dist/execution/ledger.d.ts +4 -0
  48. package/dist/execution/ledger.d.ts.map +1 -1
  49. package/dist/execution/ledger.js +30 -4
  50. package/dist/execution/ledger.js.map +1 -1
  51. package/dist/execution/parent-accounting.d.ts +41 -0
  52. package/dist/execution/parent-accounting.d.ts.map +1 -0
  53. package/dist/execution/parent-accounting.js +52 -0
  54. package/dist/execution/parent-accounting.js.map +1 -0
  55. package/dist/execution/parent-budget.d.ts +25 -0
  56. package/dist/execution/parent-budget.d.ts.map +1 -0
  57. package/dist/execution/parent-budget.js +102 -0
  58. package/dist/execution/parent-budget.js.map +1 -0
  59. package/dist/execution/project-spend.d.ts.map +1 -1
  60. package/dist/execution/project-spend.js +35 -5
  61. package/dist/execution/project-spend.js.map +1 -1
  62. package/dist/execution/remote-checkpoint.d.ts +15 -0
  63. package/dist/execution/remote-checkpoint.d.ts.map +1 -0
  64. package/dist/execution/remote-checkpoint.js +165 -0
  65. package/dist/execution/remote-checkpoint.js.map +1 -0
  66. package/dist/execution/remote-ledger.d.ts +12 -2
  67. package/dist/execution/remote-ledger.d.ts.map +1 -1
  68. package/dist/execution/remote-ledger.js +53 -21
  69. package/dist/execution/remote-ledger.js.map +1 -1
  70. package/dist/execution/types.d.ts +23 -5
  71. package/dist/execution/types.d.ts.map +1 -1
  72. package/dist/execution/types.js.map +1 -1
  73. package/dist/goals/supervised.js +2 -2
  74. package/dist/goals/supervised.js.map +1 -1
  75. package/dist/headless.d.ts +2 -6
  76. package/dist/headless.d.ts.map +1 -1
  77. package/dist/headless.js +17 -21
  78. package/dist/headless.js.map +1 -1
  79. package/dist/improvement/actions.d.ts +3 -4
  80. package/dist/improvement/actions.d.ts.map +1 -1
  81. package/dist/improvement/actions.js +10 -7
  82. package/dist/improvement/actions.js.map +1 -1
  83. package/dist/improvement/capabilities.d.ts +54 -0
  84. package/dist/improvement/capabilities.d.ts.map +1 -0
  85. package/dist/improvement/capabilities.js +44 -0
  86. package/dist/improvement/capabilities.js.map +1 -0
  87. package/dist/improvement/cli.d.ts +1 -1
  88. package/dist/improvement/cli.d.ts.map +1 -1
  89. package/dist/improvement/cli.js +14 -2
  90. package/dist/improvement/cli.js.map +1 -1
  91. package/dist/improvement/index.d.ts +5 -0
  92. package/dist/improvement/index.d.ts.map +1 -1
  93. package/dist/improvement/index.js +5 -0
  94. package/dist/improvement/index.js.map +1 -1
  95. package/dist/improvement/proposal-hash.d.ts +3 -0
  96. package/dist/improvement/proposal-hash.d.ts.map +1 -0
  97. package/dist/improvement/proposal-hash.js +5 -0
  98. package/dist/improvement/proposal-hash.js.map +1 -0
  99. package/dist/improvement/review-contract.d.ts +32 -0
  100. package/dist/improvement/review-contract.d.ts.map +1 -0
  101. package/dist/improvement/review-contract.js +62 -0
  102. package/dist/improvement/review-contract.js.map +1 -0
  103. package/dist/improvement/review-requests.d.ts +72 -0
  104. package/dist/improvement/review-requests.d.ts.map +1 -0
  105. package/dist/improvement/review-requests.js +63 -0
  106. package/dist/improvement/review-requests.js.map +1 -0
  107. package/dist/improvement/source-changes.d.ts +78 -0
  108. package/dist/improvement/source-changes.d.ts.map +1 -0
  109. package/dist/improvement/source-changes.js +91 -0
  110. package/dist/improvement/source-changes.js.map +1 -0
  111. package/dist/improvement/task-outcomes.d.ts +82 -0
  112. package/dist/improvement/task-outcomes.d.ts.map +1 -0
  113. package/dist/improvement/task-outcomes.js +72 -0
  114. package/dist/improvement/task-outcomes.js.map +1 -0
  115. package/dist/index.d.ts +10 -0
  116. package/dist/index.d.ts.map +1 -1
  117. package/dist/index.js +6 -0
  118. package/dist/index.js.map +1 -1
  119. package/dist/isolation/contracts.d.ts +13 -0
  120. package/dist/isolation/contracts.d.ts.map +1 -1
  121. package/dist/isolation/contracts.js +9 -1
  122. package/dist/isolation/contracts.js.map +1 -1
  123. package/dist/isolation/coordinator.d.ts.map +1 -1
  124. package/dist/isolation/coordinator.js +4 -0
  125. package/dist/isolation/coordinator.js.map +1 -1
  126. package/dist/isolation/process.d.ts.map +1 -1
  127. package/dist/isolation/process.js +3 -1
  128. package/dist/isolation/process.js.map +1 -1
  129. package/dist/isolation/worktree.d.ts +9 -1
  130. package/dist/isolation/worktree.d.ts.map +1 -1
  131. package/dist/isolation/worktree.js +8 -3
  132. package/dist/isolation/worktree.js.map +1 -1
  133. package/dist/memory.d.ts +5 -3
  134. package/dist/memory.d.ts.map +1 -1
  135. package/dist/memory.js +8 -6
  136. package/dist/memory.js.map +1 -1
  137. package/dist/migration/assessment-contract.d.ts +60 -0
  138. package/dist/migration/assessment-contract.d.ts.map +1 -0
  139. package/dist/migration/assessment-contract.js +132 -0
  140. package/dist/migration/assessment-contract.js.map +1 -0
  141. package/dist/migration/assessment-schema.d.ts +19 -0
  142. package/dist/migration/assessment-schema.d.ts.map +1 -0
  143. package/dist/migration/assessment-schema.js +43 -0
  144. package/dist/migration/assessment-schema.js.map +1 -0
  145. package/dist/migration/assessment.d.ts +159 -0
  146. package/dist/migration/assessment.d.ts.map +1 -0
  147. package/dist/migration/assessment.js +219 -0
  148. package/dist/migration/assessment.js.map +1 -0
  149. package/dist/migration/cli.d.ts +6 -0
  150. package/dist/migration/cli.d.ts.map +1 -0
  151. package/dist/migration/cli.js +101 -0
  152. package/dist/migration/cli.js.map +1 -0
  153. package/dist/migration/evidence.d.ts +27 -0
  154. package/dist/migration/evidence.d.ts.map +1 -0
  155. package/dist/migration/evidence.js +124 -0
  156. package/dist/migration/evidence.js.map +1 -0
  157. package/dist/migration/example.d.ts +33 -0
  158. package/dist/migration/example.d.ts.map +1 -0
  159. package/dist/migration/example.js +28 -0
  160. package/dist/migration/example.js.map +1 -0
  161. package/dist/migration/index.d.ts +21 -0
  162. package/dist/migration/index.d.ts.map +1 -0
  163. package/dist/migration/index.js +15 -0
  164. package/dist/migration/index.js.map +1 -0
  165. package/dist/migration/inventory.d.ts +70 -0
  166. package/dist/migration/inventory.d.ts.map +1 -0
  167. package/dist/migration/inventory.js +233 -0
  168. package/dist/migration/inventory.js.map +1 -0
  169. package/dist/migration/schema.d.ts +61 -0
  170. package/dist/migration/schema.d.ts.map +1 -0
  171. package/dist/migration/schema.js +76 -0
  172. package/dist/migration/schema.js.map +1 -0
  173. package/dist/migration/verification.d.ts +146 -0
  174. package/dist/migration/verification.d.ts.map +1 -0
  175. package/dist/migration/verification.js +260 -0
  176. package/dist/migration/verification.js.map +1 -0
  177. package/dist/orchestration/actions.d.ts +2 -0
  178. package/dist/orchestration/actions.d.ts.map +1 -1
  179. package/dist/orchestration/actions.js.map +1 -1
  180. package/dist/orchestration/artifact-host.d.ts +46 -0
  181. package/dist/orchestration/artifact-host.d.ts.map +1 -0
  182. package/dist/orchestration/artifact-host.js +64 -0
  183. package/dist/orchestration/artifact-host.js.map +1 -0
  184. package/dist/orchestration/coordinator-actions.d.ts +1 -1
  185. package/dist/orchestration/coordinator-actions.d.ts.map +1 -1
  186. package/dist/orchestration/coordinator-actions.js +5 -3
  187. package/dist/orchestration/coordinator-actions.js.map +1 -1
  188. package/dist/orchestration/coordinator-types.d.ts +23 -2
  189. package/dist/orchestration/coordinator-types.d.ts.map +1 -1
  190. package/dist/orchestration/coordinator.d.ts +5 -0
  191. package/dist/orchestration/coordinator.d.ts.map +1 -1
  192. package/dist/orchestration/coordinator.js +30 -13
  193. package/dist/orchestration/coordinator.js.map +1 -1
  194. package/dist/orchestration/execution-cli.d.ts +1 -1
  195. package/dist/orchestration/execution-cli.d.ts.map +1 -1
  196. package/dist/orchestration/execution-cli.js +29 -6
  197. package/dist/orchestration/execution-cli.js.map +1 -1
  198. package/dist/orchestration/execution-journal.d.ts.map +1 -1
  199. package/dist/orchestration/execution-journal.js +79 -6
  200. package/dist/orchestration/execution-journal.js.map +1 -1
  201. package/dist/orchestration/execution-store.d.ts +5 -1
  202. package/dist/orchestration/execution-store.d.ts.map +1 -1
  203. package/dist/orchestration/execution-store.js +66 -5
  204. package/dist/orchestration/execution-store.js.map +1 -1
  205. package/dist/orchestration/execution.d.ts.map +1 -1
  206. package/dist/orchestration/execution.js +37 -10
  207. package/dist/orchestration/execution.js.map +1 -1
  208. package/dist/orchestration/index.d.ts +6 -0
  209. package/dist/orchestration/index.d.ts.map +1 -1
  210. package/dist/orchestration/index.js +6 -0
  211. package/dist/orchestration/index.js.map +1 -1
  212. package/dist/orchestration/interruption.d.ts +10 -0
  213. package/dist/orchestration/interruption.d.ts.map +1 -0
  214. package/dist/orchestration/interruption.js +38 -0
  215. package/dist/orchestration/interruption.js.map +1 -0
  216. package/dist/orchestration/question-contract.d.ts +19 -0
  217. package/dist/orchestration/question-contract.d.ts.map +1 -0
  218. package/dist/orchestration/question-contract.js +21 -0
  219. package/dist/orchestration/question-contract.js.map +1 -0
  220. package/dist/orchestration/questions.d.ts +9 -0
  221. package/dist/orchestration/questions.d.ts.map +1 -0
  222. package/dist/orchestration/questions.js +75 -0
  223. package/dist/orchestration/questions.js.map +1 -0
  224. package/dist/orchestration/reviewed-ledger.d.ts +23 -0
  225. package/dist/orchestration/reviewed-ledger.d.ts.map +1 -0
  226. package/dist/orchestration/reviewed-ledger.js +49 -0
  227. package/dist/orchestration/reviewed-ledger.js.map +1 -0
  228. package/dist/orchestration/source-candidates.d.ts +64 -0
  229. package/dist/orchestration/source-candidates.d.ts.map +1 -0
  230. package/dist/orchestration/source-candidates.js +95 -0
  231. package/dist/orchestration/source-candidates.js.map +1 -0
  232. package/dist/orchestration/validation.js +1 -1
  233. package/dist/orchestration/validation.js.map +1 -1
  234. package/dist/runlog.js +2 -2
  235. package/dist/runlog.js.map +1 -1
  236. package/dist/runtime/permissions.d.ts.map +1 -1
  237. package/dist/runtime/permissions.js +3 -2
  238. package/dist/runtime/permissions.js.map +1 -1
  239. package/dist/runtime/turn.d.ts +2 -0
  240. package/dist/runtime/turn.d.ts.map +1 -1
  241. package/dist/runtime/turn.js +21 -7
  242. package/dist/runtime/turn.js.map +1 -1
  243. package/dist/session-management/actions.js +1 -1
  244. package/dist/session-management/actions.js.map +1 -1
  245. package/dist/sessions/execution-binding.d.ts +8 -0
  246. package/dist/sessions/execution-binding.d.ts.map +1 -0
  247. package/dist/sessions/execution-binding.js +9 -0
  248. package/dist/sessions/execution-binding.js.map +1 -0
  249. package/dist/sessions/index.d.ts +1 -0
  250. package/dist/sessions/index.d.ts.map +1 -1
  251. package/dist/sessions/index.js +1 -0
  252. package/dist/sessions/index.js.map +1 -1
  253. package/dist/source-changes/writer.d.ts +77 -0
  254. package/dist/source-changes/writer.d.ts.map +1 -0
  255. package/dist/source-changes/writer.js +189 -0
  256. package/dist/source-changes/writer.js.map +1 -0
  257. package/dist/spawning/actions.d.ts +10 -1
  258. package/dist/spawning/actions.d.ts.map +1 -1
  259. package/dist/spawning/actions.js +26 -7
  260. package/dist/spawning/actions.js.map +1 -1
  261. package/dist/spawning/cli.js +1 -1
  262. package/dist/spawning/cli.js.map +1 -1
  263. package/dist/spawning/execution.d.ts.map +1 -1
  264. package/dist/spawning/execution.js +2 -0
  265. package/dist/spawning/execution.js.map +1 -1
  266. package/dist/spawning/types.d.ts +19 -6
  267. package/dist/spawning/types.d.ts.map +1 -1
  268. package/dist/spawning/validation.d.ts +16 -0
  269. package/dist/spawning/validation.d.ts.map +1 -1
  270. package/dist/spawning/validation.js +44 -8
  271. package/dist/spawning/validation.js.map +1 -1
  272. package/dist/storage.d.ts +3 -0
  273. package/dist/storage.d.ts.map +1 -1
  274. package/dist/storage.js +6 -1
  275. package/dist/storage.js.map +1 -1
  276. package/dist/supervision/contracts.js +4 -1
  277. package/dist/supervision/contracts.js.map +1 -1
  278. package/dist/tools.d.ts +1 -0
  279. package/dist/tools.d.ts.map +1 -1
  280. package/dist/tools.js +5 -0
  281. package/dist/tools.js.map +1 -1
  282. package/docs/README.md +66 -0
  283. package/docs/delegation-ledger.md +329 -0
  284. package/docs/migration-assessment.md +113 -0
  285. package/docs/migration-example-plan.json +88 -0
  286. package/docs/migration-example-report.json +511 -0
  287. package/docs/migration-inventory.md +63 -0
  288. package/docs/migration-playbook.md +152 -0
  289. package/docs/migration-verification.md +177 -0
  290. package/docs/releases/3.6.0.md +43 -0
  291. 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<{