@calliopelabs/cli 3.5.4 → 3.7.0

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