kibi-cli 1.0.1 → 2.0.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 (450) hide show
  1. package/dist/cli-errors.d.ts +3 -1
  2. package/dist/cli-errors.d.ts.map +1 -1
  3. package/dist/cli-errors.js +4 -1
  4. package/dist/cli-json-command.d.ts +1 -0
  5. package/dist/cli-json-command.d.ts.map +1 -1
  6. package/dist/cli-json-command.js +13 -4
  7. package/dist/cli-operation-loader.js +3 -3
  8. package/dist/cli-operation-metadata.d.ts +4 -3
  9. package/dist/cli-operation-metadata.d.ts.map +1 -1
  10. package/dist/cli-operation-metadata.js +7 -5
  11. package/dist/cli-protocol.js +1 -1
  12. package/dist/cli-register-maintenance.d.ts.map +1 -1
  13. package/dist/cli-register-maintenance.js +7 -0
  14. package/dist/cli-register-proof.d.ts +3 -0
  15. package/dist/cli-register-proof.d.ts.map +1 -0
  16. package/dist/cli-register-proof.js +103 -0
  17. package/dist/cli-register-reporting.d.ts.map +1 -1
  18. package/dist/cli-register-reporting.js +1 -0
  19. package/dist/cli.d.ts +4 -0
  20. package/dist/cli.d.ts.map +1 -1
  21. package/dist/cli.js +17 -10
  22. package/dist/commands/branch.d.ts +1 -0
  23. package/dist/commands/branch.d.ts.map +1 -1
  24. package/dist/commands/branch.js +8 -4
  25. package/dist/commands/check.d.ts +14 -0
  26. package/dist/commands/check.d.ts.map +1 -1
  27. package/dist/commands/check.js +190 -44
  28. package/dist/commands/coverage.d.ts +1 -0
  29. package/dist/commands/coverage.d.ts.map +1 -1
  30. package/dist/commands/coverage.js +6 -0
  31. package/dist/commands/doctor.d.ts +22 -0
  32. package/dist/commands/doctor.d.ts.map +1 -1
  33. package/dist/commands/doctor.js +48 -22
  34. package/dist/commands/engine.d.ts +12 -0
  35. package/dist/commands/engine.d.ts.map +1 -1
  36. package/dist/commands/engine.js +40 -0
  37. package/dist/commands/github-init.d.ts +1 -0
  38. package/dist/commands/github-init.d.ts.map +1 -1
  39. package/dist/commands/github-init.js +9 -5
  40. package/dist/commands/init-helpers.d.ts.map +1 -1
  41. package/dist/commands/init-helpers.js +38 -5
  42. package/dist/commands/migrate.d.ts +4 -0
  43. package/dist/commands/migrate.d.ts.map +1 -1
  44. package/dist/commands/migrate.js +7 -7
  45. package/dist/commands/proof-migrate-legacy.d.ts +7 -0
  46. package/dist/commands/proof-migrate-legacy.d.ts.map +1 -0
  47. package/dist/commands/proof-migrate-legacy.js +45 -0
  48. package/dist/commands/proof-prune.d.ts +8 -0
  49. package/dist/commands/proof-prune.d.ts.map +1 -0
  50. package/dist/commands/proof-prune.js +53 -0
  51. package/dist/commands/prove.d.ts +37 -0
  52. package/dist/commands/prove.d.ts.map +1 -0
  53. package/dist/commands/prove.js +470 -0
  54. package/dist/commands/report.js +1 -1
  55. package/dist/commands/sync/discovery.d.ts +3 -0
  56. package/dist/commands/sync/discovery.d.ts.map +1 -1
  57. package/dist/commands/sync/discovery.js +36 -28
  58. package/dist/commands/sync/manifest.d.ts +1 -1
  59. package/dist/commands/sync/manifest.d.ts.map +1 -1
  60. package/dist/commands/sync/manifest.js +53 -21
  61. package/dist/commands/sync/persistence.d.ts +4 -1
  62. package/dist/commands/sync/persistence.d.ts.map +1 -1
  63. package/dist/commands/sync/persistence.js +25 -14
  64. package/dist/commands/sync/staging.d.ts +1 -0
  65. package/dist/commands/sync/staging.d.ts.map +1 -1
  66. package/dist/commands/sync/staging.js +5 -2
  67. package/dist/commands/sync/untracked-targets.d.ts +24 -0
  68. package/dist/commands/sync/untracked-targets.d.ts.map +1 -0
  69. package/dist/commands/sync/untracked-targets.js +108 -0
  70. package/dist/commands/sync.d.ts +11 -1
  71. package/dist/commands/sync.d.ts.map +1 -1
  72. package/dist/commands/sync.js +74 -30
  73. package/dist/engine-daemon.d.ts +3 -1
  74. package/dist/engine-daemon.d.ts.map +1 -1
  75. package/dist/engine-daemon.js +49 -20
  76. package/dist/engine.d.ts +14 -76
  77. package/dist/engine.d.ts.map +1 -1
  78. package/dist/engine.js +197 -30
  79. package/dist/extractors/manifest.d.ts +5 -0
  80. package/dist/extractors/manifest.d.ts.map +1 -1
  81. package/dist/extractors/manifest.js +46 -1
  82. package/dist/extractors/markdown.d.ts +5 -3
  83. package/dist/extractors/markdown.d.ts.map +1 -1
  84. package/dist/extractors/markdown.js +41 -24
  85. package/dist/extractors/playwright-cases.js +1 -1
  86. package/dist/extractors/relationships.d.ts +6 -0
  87. package/dist/extractors/relationships.d.ts.map +1 -1
  88. package/dist/extractors/relationships.js +1 -1
  89. package/dist/extractors/symbol-coordinates.d.ts.map +1 -1
  90. package/dist/extractors/symbols-ts.d.ts +1 -0
  91. package/dist/extractors/symbols-ts.d.ts.map +1 -1
  92. package/dist/extractors/symbols-ts.js +142 -67
  93. package/dist/intent-search.d.ts +1 -0
  94. package/dist/intent-search.d.ts.map +1 -1
  95. package/dist/intent-search.js +7 -3
  96. package/dist/logic/ir.d.ts +1 -0
  97. package/dist/logic/ir.d.ts.map +1 -1
  98. package/dist/logic/ir.js +1 -1
  99. package/dist/operations/bootstrap/activation.d.ts +2 -1
  100. package/dist/operations/bootstrap/activation.d.ts.map +1 -1
  101. package/dist/operations/bootstrap/activation.js +11 -3
  102. package/dist/operations/bootstrap/generate.d.ts +2 -1
  103. package/dist/operations/bootstrap/generate.d.ts.map +1 -1
  104. package/dist/operations/bootstrap/generate.js +6 -3
  105. package/dist/operations/bootstrap/guidance.d.ts +1 -0
  106. package/dist/operations/bootstrap/guidance.d.ts.map +1 -1
  107. package/dist/operations/bootstrap/guidance.js +1 -1
  108. package/dist/operations/modeling/model-requirement.d.ts +5 -0
  109. package/dist/operations/modeling/model-requirement.d.ts.map +1 -1
  110. package/dist/operations/modeling/model-requirement.js +53 -46
  111. package/dist/operations/modeling/predicate-applicability.d.ts.map +1 -1
  112. package/dist/operations/modeling/predicate-applicability.js +103 -4
  113. package/dist/operations/modeling/predicate-catalog-2.d.ts.map +1 -1
  114. package/dist/operations/modeling/predicate-catalog-2.js +18 -2
  115. package/dist/operations/modeling/predicate-catalog-3.d.ts.map +1 -1
  116. package/dist/operations/modeling/predicate-catalog-3.js +17 -1
  117. package/dist/operations/modeling/predicate-catalog-5.d.ts +10 -0
  118. package/dist/operations/modeling/predicate-catalog-5.d.ts.map +1 -0
  119. package/dist/operations/modeling/predicate-catalog-5.js +291 -0
  120. package/dist/operations/modeling/predicate-catalog.d.ts.map +1 -1
  121. package/dist/operations/modeling/predicate-catalog.js +4 -0
  122. package/dist/operations/modeling/predicate-loader.d.ts +1 -0
  123. package/dist/operations/modeling/predicate-loader.d.ts.map +1 -1
  124. package/dist/operations/modeling/predicate-loader.js +4 -3
  125. package/dist/operations/modeling/predicate-ranker.d.ts.map +1 -1
  126. package/dist/operations/modeling/predicate-ranker.js +4 -1
  127. package/dist/operations/modeling/predicate-types.d.ts +1 -1
  128. package/dist/operations/modeling/predicate-types.d.ts.map +1 -1
  129. package/dist/operations/modeling/predicate-usage-hints-4.d.ts +3 -0
  130. package/dist/operations/modeling/predicate-usage-hints-4.d.ts.map +1 -0
  131. package/dist/operations/modeling/predicate-usage-hints-4.js +84 -0
  132. package/dist/operations/modeling/suggest-predicates.d.ts +3 -1
  133. package/dist/operations/modeling/suggest-predicates.d.ts.map +1 -1
  134. package/dist/operations/modeling/suggest-predicates.js +52 -19
  135. package/dist/operations/mutation/contradictions.d.ts +2 -1
  136. package/dist/operations/mutation/contradictions.d.ts.map +1 -1
  137. package/dist/operations/mutation/contradictions.js +26 -5
  138. package/dist/operations/mutation/delete.d.ts +3 -0
  139. package/dist/operations/mutation/delete.d.ts.map +1 -1
  140. package/dist/operations/mutation/delete.js +100 -32
  141. package/dist/operations/mutation/relationships.d.ts +1 -0
  142. package/dist/operations/mutation/relationships.d.ts.map +1 -1
  143. package/dist/operations/mutation/relationships.js +6 -4
  144. package/dist/operations/mutation/saga.d.ts +51 -0
  145. package/dist/operations/mutation/saga.d.ts.map +1 -0
  146. package/dist/operations/mutation/saga.js +67 -0
  147. package/dist/operations/mutation/serialization.d.ts.map +1 -1
  148. package/dist/operations/mutation/serialization.js +3 -2
  149. package/dist/operations/mutation/source-authoring.d.ts +5 -1
  150. package/dist/operations/mutation/source-authoring.d.ts.map +1 -1
  151. package/dist/operations/mutation/source-authoring.js +79 -46
  152. package/dist/operations/mutation/strict-fact.d.ts +1 -0
  153. package/dist/operations/mutation/strict-fact.d.ts.map +1 -1
  154. package/dist/operations/mutation/strict-fact.js +8 -5
  155. package/dist/operations/mutation/symbol-compiler-lock.d.ts +5 -2
  156. package/dist/operations/mutation/symbol-compiler-lock.d.ts.map +1 -1
  157. package/dist/operations/mutation/symbol-compiler-lock.js +65 -2
  158. package/dist/operations/mutation/symbol-granularity.d.ts.map +1 -1
  159. package/dist/operations/mutation/symbol-granularity.js +2 -2
  160. package/dist/operations/mutation/symbol-refresh.d.ts +1 -0
  161. package/dist/operations/mutation/symbol-refresh.d.ts.map +1 -1
  162. package/dist/operations/mutation/symbol-refresh.js +10 -8
  163. package/dist/operations/mutation/upsert.d.ts +18 -2
  164. package/dist/operations/mutation/upsert.d.ts.map +1 -1
  165. package/dist/operations/mutation/upsert.js +86 -54
  166. package/dist/operations/mutation/validate-upsert.js +2 -2
  167. package/dist/operations/mutation/validation.d.ts.map +1 -1
  168. package/dist/operations/mutation/validation.js +46 -4
  169. package/dist/operations/mutation/warnings.d.ts +1 -0
  170. package/dist/operations/mutation/warnings.d.ts.map +1 -1
  171. package/dist/operations/mutation/warnings.js +7 -5
  172. package/dist/operations/mutation/workspace-mutation-lock.d.ts +60 -0
  173. package/dist/operations/mutation/workspace-mutation-lock.d.ts.map +1 -0
  174. package/dist/operations/mutation/workspace-mutation-lock.js +362 -0
  175. package/dist/operations/planning/apply-plan.d.ts +8 -106
  176. package/dist/operations/planning/apply-plan.d.ts.map +1 -1
  177. package/dist/operations/planning/apply-plan.js +113 -36
  178. package/dist/operations/planning/compile-intent.d.ts +2 -0
  179. package/dist/operations/planning/compile-intent.d.ts.map +1 -1
  180. package/dist/operations/planning/compile-intent.js +70 -14
  181. package/dist/operations/proof/ingest-proof.d.ts +34 -0
  182. package/dist/operations/proof/ingest-proof.d.ts.map +1 -0
  183. package/dist/operations/proof/ingest-proof.js +307 -0
  184. package/dist/operations/proof/migrate-legacy-receipts.d.ts +30 -0
  185. package/dist/operations/proof/migrate-legacy-receipts.d.ts.map +1 -0
  186. package/dist/operations/proof/migrate-legacy-receipts.js +88 -0
  187. package/dist/operations/proof/prune-receipts.d.ts +35 -0
  188. package/dist/operations/proof/prune-receipts.d.ts.map +1 -0
  189. package/dist/operations/proof/prune-receipts.js +91 -0
  190. package/dist/operations/proof/receipt-document.d.ts +29 -0
  191. package/dist/operations/proof/receipt-document.d.ts.map +1 -0
  192. package/dist/operations/proof/receipt-document.js +117 -0
  193. package/dist/operations/semantic-advisor/analyze-prose.d.ts +1 -0
  194. package/dist/operations/semantic-advisor/analyze-prose.d.ts.map +1 -1
  195. package/dist/operations/semantic-advisor/analyze-prose.js +46 -26
  196. package/dist/operations/semantic-advisor/clauses.d.ts.map +1 -1
  197. package/dist/operations/semantic-advisor/clauses.js +20 -7
  198. package/dist/operations/semantic-advisor/strict-count-rules.d.ts +2 -0
  199. package/dist/operations/semantic-advisor/strict-count-rules.d.ts.map +1 -1
  200. package/dist/operations/semantic-advisor/strict-count-rules.js +40 -25
  201. package/dist/prolog/codec.d.ts +13 -1
  202. package/dist/prolog/codec.d.ts.map +1 -1
  203. package/dist/prolog/codec.js +269 -154
  204. package/dist/prolog/error-terms.d.ts +47 -0
  205. package/dist/prolog/error-terms.d.ts.map +1 -0
  206. package/dist/prolog/error-terms.js +334 -0
  207. package/dist/prolog/janitor.d.ts +50 -0
  208. package/dist/prolog/janitor.d.ts.map +1 -0
  209. package/dist/prolog/janitor.js +154 -0
  210. package/dist/prolog/store-lock.d.ts +45 -0
  211. package/dist/prolog/store-lock.d.ts.map +1 -0
  212. package/dist/prolog/store-lock.js +195 -0
  213. package/dist/prolog.d.ts +7 -0
  214. package/dist/prolog.d.ts.map +1 -1
  215. package/dist/prolog.js +55 -17
  216. package/dist/proof/evaluate.d.ts +27 -0
  217. package/dist/proof/evaluate.d.ts.map +1 -0
  218. package/dist/proof/evaluate.js +151 -0
  219. package/dist/proof/inspect.d.ts +12 -0
  220. package/dist/proof/inspect.d.ts.map +1 -0
  221. package/dist/proof/inspect.js +236 -0
  222. package/dist/proof/integrations.d.ts +35 -0
  223. package/dist/proof/integrations.d.ts.map +1 -0
  224. package/dist/proof/integrations.js +123 -0
  225. package/dist/proof/producers/junit-adapter.d.ts +26 -0
  226. package/dist/proof/producers/junit-adapter.d.ts.map +1 -0
  227. package/dist/proof/producers/junit-adapter.js +186 -0
  228. package/dist/{public → proof/producers}/playwright-case-id.d.ts +1 -1
  229. package/dist/proof/producers/playwright-case-id.d.ts.map +1 -0
  230. package/dist/{public → proof/producers}/playwright-case-id.js +3 -3
  231. package/dist/proof/producers/playwright-reporter.d.ts +27 -0
  232. package/dist/proof/producers/playwright-reporter.d.ts.map +1 -0
  233. package/dist/proof/producers/playwright-reporter.js +138 -0
  234. package/dist/proof/producers/tap-adapter.d.ts +10 -0
  235. package/dist/proof/producers/tap-adapter.d.ts.map +1 -0
  236. package/dist/proof/producers/tap-adapter.js +200 -0
  237. package/dist/proof/receipt-outcome.d.ts +2 -0
  238. package/dist/proof/receipt-outcome.d.ts.map +1 -0
  239. package/dist/proof/receipt-outcome.js +1 -0
  240. package/dist/public/diagnostic-usage.js +6 -6
  241. package/dist/public/distribution-parity.d.ts +7 -1
  242. package/dist/public/distribution-parity.d.ts.map +1 -1
  243. package/dist/public/distribution-parity.js +15 -10
  244. package/dist/public/impact/coverage-depth-quality.d.ts +1 -0
  245. package/dist/public/impact/coverage-depth-quality.d.ts.map +1 -1
  246. package/dist/public/impact/coverage-depth-quality.js +1 -1
  247. package/dist/public/impact/diagnostics.d.ts.map +1 -1
  248. package/dist/public/impact/diagnostics.js +2 -2
  249. package/dist/public/impact/diff-meaning.d.ts +1 -0
  250. package/dist/public/impact/diff-meaning.d.ts.map +1 -1
  251. package/dist/public/impact/diff-meaning.js +5 -2
  252. package/dist/public/impact/full-kb-quality.d.ts +5 -2
  253. package/dist/public/impact/full-kb-quality.d.ts.map +1 -1
  254. package/dist/public/impact/full-kb-quality.js +329 -64
  255. package/dist/public/operations/catalog.d.ts +447 -196
  256. package/dist/public/operations/catalog.d.ts.map +1 -1
  257. package/dist/public/operations/catalog.js +6 -4
  258. package/dist/public/operations/check-executor.d.ts.map +1 -1
  259. package/dist/public/operations/check-executor.js +3 -7
  260. package/dist/public/operations/contracts.d.ts +7 -0
  261. package/dist/public/operations/contracts.d.ts.map +1 -1
  262. package/dist/public/operations/contracts.js +31 -22
  263. package/dist/public/operations/discovery-entities.d.ts +3 -0
  264. package/dist/public/operations/discovery-entities.d.ts.map +1 -1
  265. package/dist/public/operations/discovery-entities.js +4 -0
  266. package/dist/public/operations/discovery-executors.d.ts +9 -9
  267. package/dist/public/operations/discovery-executors.d.ts.map +1 -1
  268. package/dist/public/operations/discovery-executors.js +17 -14
  269. package/dist/public/operations/index.d.ts +1 -1
  270. package/dist/public/operations/index.d.ts.map +1 -1
  271. package/dist/public/operations/index.js +1 -1
  272. package/dist/public/operations/migration-plan.d.ts +4 -3
  273. package/dist/public/operations/migration-plan.d.ts.map +1 -1
  274. package/dist/public/operations/migration-plan.js +23 -21
  275. package/dist/public/operations/node-ports.js +6 -6
  276. package/dist/public/operations/repair-plan.d.ts +3 -3
  277. package/dist/public/operations/repair-plan.d.ts.map +1 -1
  278. package/dist/public/operations/repair-plan.js +49 -19
  279. package/dist/public/operations/result-envelope.d.ts +1 -0
  280. package/dist/public/operations/result-envelope.d.ts.map +1 -1
  281. package/dist/public/operations/result-envelope.js +12 -10
  282. package/dist/public/operations/runtime-types.d.ts +5 -0
  283. package/dist/public/operations/runtime-types.d.ts.map +1 -1
  284. package/dist/public/operations/specs/check-rules.generated.d.ts +5 -0
  285. package/dist/public/operations/specs/check-rules.generated.d.ts.map +1 -0
  286. package/dist/public/operations/specs/check-rules.generated.js +34 -0
  287. package/dist/public/operations/specs/check.d.ts +7 -2
  288. package/dist/public/operations/specs/check.d.ts.map +1 -1
  289. package/dist/public/operations/specs/check.js +8 -20
  290. package/dist/public/operations/specs/mutation-schemas.d.ts +257 -163
  291. package/dist/public/operations/specs/mutation-schemas.d.ts.map +1 -1
  292. package/dist/public/operations/specs/mutation-schemas.js +15 -7
  293. package/dist/public/operations/specs/planning.d.ts +9 -0
  294. package/dist/public/operations/specs/planning.d.ts.map +1 -1
  295. package/dist/public/operations/specs/planning.js +6 -0
  296. package/dist/public/operations/specs/proof.d.ts +212 -0
  297. package/dist/public/operations/specs/proof.d.ts.map +1 -0
  298. package/dist/public/operations/specs/proof.js +30 -0
  299. package/dist/public/operations/specs/reporting.d.ts +19 -0
  300. package/dist/public/operations/specs/reporting.d.ts.map +1 -1
  301. package/dist/public/operations/specs/reporting.js +112 -12
  302. package/dist/public/operations/specs/upsert.d.ts +257 -163
  303. package/dist/public/operations/specs/upsert.d.ts.map +1 -1
  304. package/dist/public/operations/symbol-repair-plan.d.ts +11 -0
  305. package/dist/public/operations/symbol-repair-plan.d.ts.map +1 -1
  306. package/dist/public/operations/symbol-repair-plan.js +118 -3
  307. package/dist/public/operations/types.d.ts +1 -1
  308. package/dist/public/operations/types.d.ts.map +1 -1
  309. package/dist/public/proof-fingerprint.d.ts +54 -0
  310. package/dist/public/proof-fingerprint.d.ts.map +1 -0
  311. package/dist/public/proof-fingerprint.js +141 -0
  312. package/dist/public/proof-protocol.d.ts +354 -0
  313. package/dist/public/proof-protocol.d.ts.map +1 -0
  314. package/dist/public/proof-protocol.js +454 -0
  315. package/dist/public/proof-receipt.d.ts +279 -0
  316. package/dist/public/proof-receipt.d.ts.map +1 -0
  317. package/dist/public/proof-receipt.js +377 -0
  318. package/dist/public/schemas/entity.d.ts.map +1 -1
  319. package/dist/public/schemas/entity.js +21 -7
  320. package/dist/public/skills/kibi-freshness/SKILL.md +1 -1
  321. package/dist/public/skills/kibi-usage/SKILL.md +41 -12
  322. package/dist/public/skills/kibi-usage/resources/operation-access.md +1 -1
  323. package/dist/public/skills/kibi-usage/resources/proof.md +105 -0
  324. package/dist/public/skills/kibi-usage/resources/workflows.md +6 -6
  325. package/dist/public/symbol-granularity.d.ts +3 -14
  326. package/dist/public/symbol-granularity.d.ts.map +1 -1
  327. package/dist/public/symbol-granularity.generated.d.ts +16 -0
  328. package/dist/public/symbol-granularity.generated.d.ts.map +1 -0
  329. package/dist/public/symbol-granularity.generated.js +20 -0
  330. package/dist/public/symbol-granularity.js +6 -47
  331. package/dist/public/telemetry-acceptance.d.ts +3 -77
  332. package/dist/public/telemetry-acceptance.d.ts.map +1 -1
  333. package/dist/public/telemetry-acceptance.js +4 -2
  334. package/dist/public/telemetry-remediation.js +1 -1
  335. package/dist/report/html-report.css +282 -0
  336. package/dist/report/html-report.d.ts +4 -2
  337. package/dist/report/html-report.d.ts.map +1 -1
  338. package/dist/report/html-report.js +37 -300
  339. package/dist/runtime/cli-runtime.d.ts +2 -0
  340. package/dist/runtime/cli-runtime.d.ts.map +1 -1
  341. package/dist/runtime/cli-runtime.js +14 -7
  342. package/dist/schemas/entity.schema.json +355 -215
  343. package/dist/search-ranking.d.ts +1 -0
  344. package/dist/search-ranking.d.ts.map +1 -1
  345. package/dist/search-ranking.js +3 -0
  346. package/dist/traceability/evidence-model.d.ts +28 -0
  347. package/dist/traceability/evidence-model.d.ts.map +1 -1
  348. package/dist/traceability/git-staged.d.ts +20 -0
  349. package/dist/traceability/git-staged.d.ts.map +1 -1
  350. package/dist/traceability/git-staged.js +145 -1
  351. package/dist/traceability/staged-diagnostics.d.ts +7 -0
  352. package/dist/traceability/staged-diagnostics.d.ts.map +1 -1
  353. package/dist/traceability/staged-diagnostics.js +78 -7
  354. package/dist/traceability/staged-file-coverage.d.ts +33 -0
  355. package/dist/traceability/staged-file-coverage.d.ts.map +1 -0
  356. package/dist/traceability/staged-file-coverage.js +284 -0
  357. package/dist/traceability/staged-impact-contract.js +4 -4
  358. package/dist/traceability/staged-symbols-manifest.d.ts +13 -0
  359. package/dist/traceability/staged-symbols-manifest.d.ts.map +1 -1
  360. package/dist/traceability/staged-symbols-manifest.js +138 -27
  361. package/dist/traceability/symbol-extract.d.ts +5 -0
  362. package/dist/traceability/symbol-extract.d.ts.map +1 -1
  363. package/dist/traceability/symbol-extract.js +1 -1
  364. package/dist/traceability/temp-kb.d.ts +2 -0
  365. package/dist/traceability/temp-kb.d.ts.map +1 -1
  366. package/dist/traceability/temp-kb.js +13 -4
  367. package/dist/types/entities.d.ts +5 -3
  368. package/dist/types/entities.d.ts.map +1 -1
  369. package/dist/utils/branch-resolver.d.ts +1 -0
  370. package/dist/utils/branch-resolver.d.ts.map +1 -1
  371. package/dist/utils/branch-resolver.js +7 -4
  372. package/dist/utils/branch-store.d.ts +6 -0
  373. package/dist/utils/branch-store.d.ts.map +1 -1
  374. package/dist/utils/branch-store.js +27 -0
  375. package/dist/utils/kb-paths.d.ts +1 -1
  376. package/dist/utils/kb-paths.d.ts.map +1 -1
  377. package/dist/utils/kb-paths.js +1 -1
  378. package/dist/utils/rule-registry.d.ts +1 -11
  379. package/dist/utils/rule-registry.d.ts.map +1 -1
  380. package/dist/utils/rule-registry.generated.d.ts +97 -0
  381. package/dist/utils/rule-registry.generated.d.ts.map +1 -0
  382. package/dist/utils/rule-registry.generated.js +125 -0
  383. package/dist/utils/rule-registry.js +12 -113
  384. package/dist/utils/strict-modeling.d.ts +1 -0
  385. package/dist/utils/strict-modeling.d.ts.map +1 -1
  386. package/dist/utils/strict-modeling.js +1 -1
  387. package/package.json +8 -11
  388. package/src/public/diagnostic-usage.ts +6 -6
  389. package/src/public/distribution-parity.ts +17 -10
  390. package/src/public/impact/coverage-depth-quality.ts +1 -1
  391. package/src/public/impact/diagnostics.ts +2 -1
  392. package/src/public/impact/diff-meaning.ts +11 -4
  393. package/src/public/impact/full-kb-quality.ts +463 -72
  394. package/src/public/operations/catalog.ts +10 -4
  395. package/src/public/operations/check-executor.ts +3 -7
  396. package/src/public/operations/contracts.ts +38 -22
  397. package/src/public/operations/discovery-entities.ts +7 -0
  398. package/src/public/operations/discovery-executors.ts +26 -23
  399. package/src/public/operations/index.ts +1 -1
  400. package/src/public/operations/migration-plan.ts +32 -25
  401. package/src/public/operations/node-ports.ts +6 -6
  402. package/src/public/operations/repair-plan.ts +60 -23
  403. package/src/public/operations/result-envelope.ts +15 -10
  404. package/src/public/operations/runtime-types.ts +5 -0
  405. package/src/public/operations/specs/check-rules.generated.ts +37 -0
  406. package/src/public/operations/specs/check.ts +12 -21
  407. package/src/public/operations/specs/mutation-schemas.ts +22 -9
  408. package/src/public/operations/specs/planning.ts +7 -0
  409. package/src/public/operations/specs/proof.ts +43 -0
  410. package/src/public/operations/specs/reporting.ts +140 -13
  411. package/src/public/operations/symbol-repair-plan.ts +163 -3
  412. package/src/public/operations/types.ts +1 -1
  413. package/src/public/proof-fingerprint.ts +216 -0
  414. package/src/public/proof-protocol-types.d.ts +96 -0
  415. package/src/public/proof-protocol.ts +589 -0
  416. package/src/public/proof-receipt.ts +499 -0
  417. package/src/public/schemas/entity.ts +26 -10
  418. package/src/public/skills/kibi-freshness/SKILL.md +1 -1
  419. package/src/public/skills/kibi-usage/SKILL.md +41 -12
  420. package/src/public/skills/kibi-usage/resources/operation-access.md +1 -1
  421. package/src/public/skills/kibi-usage/resources/proof.md +105 -0
  422. package/src/public/skills/kibi-usage/resources/workflows.md +6 -6
  423. package/src/public/symbol-granularity.generated.ts +41 -0
  424. package/src/public/symbol-granularity.ts +35 -60
  425. package/src/public/telemetry-acceptance-types.d.ts +98 -0
  426. package/src/public/telemetry-acceptance.ts +22 -100
  427. package/src/public/telemetry-remediation.ts +1 -1
  428. package/src/schemas/entity.schema.json +355 -215
  429. package/dist/cli-register-verification.d.ts +0 -3
  430. package/dist/cli-register-verification.d.ts.map +0 -1
  431. package/dist/cli-register-verification.js +0 -16
  432. package/dist/commands/verify.d.ts +0 -10
  433. package/dist/commands/verify.d.ts.map +0 -1
  434. package/dist/commands/verify.js +0 -126
  435. package/dist/operations/verification/ingest-verification.d.ts +0 -29
  436. package/dist/operations/verification/ingest-verification.d.ts.map +0 -1
  437. package/dist/operations/verification/ingest-verification.js +0 -192
  438. package/dist/public/operations/specs/verification.d.ts +0 -78
  439. package/dist/public/operations/specs/verification.d.ts.map +0 -1
  440. package/dist/public/operations/specs/verification.js +0 -62
  441. package/dist/public/playwright-case-id.d.ts.map +0 -1
  442. package/dist/public/verification-receipt.d.ts +0 -242
  443. package/dist/public/verification-receipt.d.ts.map +0 -1
  444. package/dist/public/verification-receipt.js +0 -296
  445. package/dist/verification/playwright-reporter.d.ts +0 -21
  446. package/dist/verification/playwright-reporter.d.ts.map +0 -1
  447. package/dist/verification/playwright-reporter.js +0 -114
  448. package/src/public/operations/specs/verification.ts +0 -78
  449. package/src/public/playwright-case-id.ts +0 -35
  450. package/src/public/verification-receipt.ts +0 -412
@@ -107,208 +107,302 @@ export declare const ENTITY_PROPERTIES_SCHEMA: {
107
107
  readonly enum: readonly ["internal", "consumer"];
108
108
  readonly description: "Optional typed verification perspective for test entities. Example: 'consumer'.";
109
109
  };
110
- readonly verification_contract: {
110
+ readonly proof_contract: {
111
+ readonly description: "Semantic proof contract binding this test to explicit proof obligations executed by one configured integration.";
111
112
  readonly type: "object";
112
- readonly required: readonly ["version", "runner", "command_argv", "required_case_symbols", "required_projects", "success_policy"];
113
+ readonly required: readonly ["version", "integration", "required_proofs", "success_policy"];
113
114
  readonly properties: {
114
115
  readonly version: {
115
116
  readonly type: "string";
116
- readonly const: "kibi.verification-contract.v1";
117
+ readonly const: "kibi.proof-contract.v1";
117
118
  };
118
- readonly runner: {
119
+ readonly integration: {
119
120
  readonly type: "string";
120
121
  readonly minLength: 1;
121
122
  };
122
- readonly command_argv: {
123
+ readonly required_proofs: {
123
124
  readonly type: "array";
124
125
  readonly minItems: 1;
126
+ readonly maxItems: 1000;
125
127
  readonly items: {
128
+ readonly type: "object";
129
+ readonly required: readonly ["symbol_id", "target"];
130
+ readonly properties: {
131
+ readonly symbol_id: {
132
+ readonly type: "string";
133
+ readonly minLength: 1;
134
+ };
135
+ readonly target: {
136
+ readonly type: "string";
137
+ readonly minLength: 1;
138
+ };
139
+ };
140
+ readonly additionalProperties: false;
141
+ };
142
+ };
143
+ readonly success_policy: {
144
+ readonly type: "string";
145
+ readonly enum: readonly ["all_required_first_attempt"];
146
+ };
147
+ };
148
+ readonly additionalProperties: false;
149
+ };
150
+ readonly proof_bindings: {
151
+ readonly description: "Optional native-runner bindings (native ids, aliases, source coordinates) for proof obligations. Bindings are provenance metadata and never replace the semantic contract.";
152
+ readonly type: "array";
153
+ readonly items: {
154
+ readonly type: "object";
155
+ readonly required: readonly ["symbol_id", "target"];
156
+ readonly properties: {
157
+ readonly symbol_id: {
126
158
  readonly type: "string";
127
159
  readonly minLength: 1;
128
160
  };
129
- };
130
- readonly required_case_symbols: {
131
- readonly type: "array";
132
- readonly items: {
161
+ readonly target: {
133
162
  readonly type: "string";
134
163
  readonly minLength: 1;
135
164
  };
136
- readonly uniqueItems: true;
137
- };
138
- readonly required_projects: {
139
- readonly type: "array";
140
- readonly items: {
165
+ readonly native_id: {
141
166
  readonly type: "string";
142
167
  readonly minLength: 1;
143
168
  };
144
- readonly uniqueItems: true;
145
- };
146
- readonly success_policy: {
147
- readonly type: "string";
148
- readonly const: "all_required_cases_first_attempt";
169
+ readonly aliases: {
170
+ readonly type: "array";
171
+ readonly items: {
172
+ readonly type: "string";
173
+ readonly minLength: 1;
174
+ };
175
+ };
176
+ readonly source_file: {
177
+ readonly type: "string";
178
+ readonly minLength: 1;
179
+ };
180
+ readonly line: {
181
+ readonly type: "integer";
182
+ readonly minimum: 1;
183
+ };
149
184
  };
185
+ readonly additionalProperties: false;
150
186
  };
151
- readonly additionalProperties: false;
152
187
  };
153
- readonly verification_receipts: {
188
+ readonly proof_receipts: {
154
189
  readonly type: "array";
155
190
  readonly maxItems: 50;
156
191
  readonly items: {
157
- readonly oneOf: readonly [{
158
- readonly type: "object";
159
- readonly required: readonly ["version", "receipt_id", "test_id", "runner", "command", "scope", "outcome", "code_snapshot", "environment_hash", "started_at", "finished_at", "artifact_digest"];
160
- readonly properties: {
161
- readonly version: {
162
- readonly type: "string";
163
- readonly const: "kibi.verification-receipt.v1";
164
- };
165
- readonly receipt_id: {
166
- readonly type: "string";
167
- readonly pattern: "^VR-[A-Za-z0-9][A-Za-z0-9._:-]{7,127}$";
168
- };
169
- readonly test_id: {
170
- readonly type: "string";
171
- readonly minLength: 1;
172
- };
173
- readonly runner: {
174
- readonly type: "string";
175
- readonly minLength: 1;
176
- };
177
- readonly command: {
178
- readonly type: "string";
179
- readonly minLength: 1;
180
- };
181
- readonly scope: {
182
- readonly type: "string";
183
- readonly enum: readonly ["unit", "integration", "end_to_end"];
184
- };
185
- readonly outcome: {
186
- readonly type: "string";
187
- readonly enum: readonly ["passed", "failed", "errored", "cancelled", "skipped", "timed_out", "interrupted"];
188
- };
189
- readonly code_snapshot: {
190
- readonly type: "string";
191
- readonly pattern: "^[a-f0-9]{64}$";
192
- };
193
- readonly environment_hash: {
194
- readonly type: "string";
195
- readonly pattern: "^[a-f0-9]{64}$";
196
- };
197
- readonly started_at: {
198
- readonly type: "string";
199
- readonly minLength: 1;
200
- };
201
- readonly finished_at: {
202
- readonly type: "string";
203
- readonly minLength: 1;
204
- };
205
- readonly artifact_digest: {
206
- readonly type: "string";
207
- readonly pattern: "^[a-f0-9]{64}$";
208
- };
192
+ readonly type: "object";
193
+ readonly description: "Kibi-derived kibi.proof-receipt.v1. Receipts are never caller-authored; kb_ingest_proof derives them from kibi.proof-run.v1 artifacts.";
194
+ readonly required: readonly ["version", "receipt_id", "test_id", "scope", "outcome", "code_snapshot", "environment_hash", "started_at", "finished_at", "artifact_digest", "contract_hash", "fingerprint", "fingerprint_components", "integration_id", "producer", "command_argv", "run_outcome", "proof_results"];
195
+ readonly properties: {
196
+ readonly version: {
197
+ readonly type: "string";
198
+ readonly const: "kibi.proof-receipt.v1";
209
199
  };
210
- readonly additionalProperties: false;
211
- }, {
212
- readonly required: readonly ["version", "receipt_id", "test_id", "runner", "command", "scope", "outcome", "code_snapshot", "environment_hash", "started_at", "finished_at", "artifact_digest", "command_argv", "contract_hash", "case_results"];
213
- readonly properties: {
214
- readonly version: {
215
- readonly type: "string";
216
- readonly const: "kibi.verification-receipt.v2";
200
+ readonly receipt_id: {
201
+ readonly type: "string";
202
+ readonly pattern: "^PR-[A-Za-z0-9][A-Za-z0-9._:-]{7,127}$";
203
+ };
204
+ readonly test_id: {
205
+ readonly type: "string";
206
+ readonly minLength: 1;
207
+ };
208
+ readonly scope: {
209
+ readonly type: "string";
210
+ readonly enum: readonly ["unit", "integration", "end_to_end"];
211
+ };
212
+ readonly outcome: {
213
+ readonly type: "string";
214
+ readonly enum: readonly ["passed", "failed", "errored", "cancelled", "skipped", "timed_out", "interrupted"];
215
+ };
216
+ readonly code_snapshot: {
217
+ readonly type: "string";
218
+ readonly pattern: "^[a-f0-9]{64}$";
219
+ };
220
+ readonly environment_hash: {
221
+ readonly type: "string";
222
+ readonly pattern: "^[a-f0-9]{64}$";
223
+ };
224
+ readonly started_at: {
225
+ readonly type: "string";
226
+ readonly minLength: 1;
227
+ };
228
+ readonly finished_at: {
229
+ readonly type: "string";
230
+ readonly minLength: 1;
231
+ };
232
+ readonly artifact_digest: {
233
+ readonly type: "string";
234
+ readonly pattern: "^[a-f0-9]{64}$";
235
+ };
236
+ readonly contract_hash: {
237
+ readonly type: "string";
238
+ readonly pattern: "^[a-f0-9]{64}$";
239
+ };
240
+ readonly binding_hash: {
241
+ readonly type: "string";
242
+ readonly pattern: "^[a-f0-9]{64}$";
243
+ };
244
+ readonly fingerprint: {
245
+ readonly type: "string";
246
+ readonly pattern: "^[a-f0-9]{64}$";
247
+ };
248
+ readonly fingerprint_components: {
249
+ readonly type: "object";
250
+ readonly required: readonly ["contract", "integration", "command", "bindings", "producer"];
251
+ readonly additionalProperties: false;
252
+ readonly properties: {
253
+ readonly contract: {
254
+ readonly type: "string";
255
+ readonly pattern: "^[a-f0-9]{64}$";
256
+ };
257
+ readonly integration: {
258
+ readonly type: "string";
259
+ readonly pattern: "^[a-f0-9]{64}$";
260
+ };
261
+ readonly command: {
262
+ readonly type: "string";
263
+ readonly pattern: "^[a-f0-9]{64}$";
264
+ };
265
+ readonly bindings: {
266
+ readonly type: "string";
267
+ readonly pattern: "^[a-f0-9]{64}$";
268
+ };
269
+ readonly producer: {
270
+ readonly type: "string";
271
+ readonly pattern: "^[a-f0-9]{64}$";
272
+ };
217
273
  };
218
- readonly command_argv: {
219
- readonly type: "array";
220
- readonly minItems: 1;
221
- readonly items: {
274
+ };
275
+ readonly integration_id: {
276
+ readonly type: "string";
277
+ readonly minLength: 1;
278
+ };
279
+ readonly producer: {
280
+ readonly type: "object";
281
+ readonly required: readonly ["name"];
282
+ readonly properties: {
283
+ readonly name: {
222
284
  readonly type: "string";
223
285
  readonly minLength: 1;
224
286
  };
225
- };
226
- readonly contract_hash: {
227
- readonly type: "string";
228
- readonly pattern: "^[a-f0-9]{64}$";
229
- };
230
- readonly case_results: {
231
- readonly type: "array";
232
- readonly minItems: 1;
233
- readonly maxItems: 1000;
234
- readonly items: {
235
- readonly type: "object";
236
- readonly required: readonly ["symbol_id", "project", "outcome", "retries", "duration_ms"];
237
- readonly properties: {
238
- readonly symbol_id: {
239
- readonly type: "string";
240
- readonly minLength: 1;
241
- };
242
- readonly project: {
243
- readonly type: "string";
244
- readonly minLength: 1;
245
- };
246
- readonly outcome: {
247
- readonly type: "string";
248
- readonly enum: readonly ["passed", "failed", "timed_out", "skipped", "interrupted"];
249
- };
250
- readonly retries: {
251
- readonly type: "integer";
252
- readonly minimum: 0;
253
- };
254
- readonly duration_ms: {
255
- readonly type: "integer";
256
- readonly minimum: 0;
257
- };
258
- };
259
- readonly additionalProperties: false;
287
+ readonly version: {
288
+ readonly type: "string";
289
+ readonly minLength: 1;
260
290
  };
261
291
  };
262
- readonly receipt_id: {
263
- readonly type: "string";
264
- readonly pattern: "^VR-[A-Za-z0-9][A-Za-z0-9._:-]{7,127}$";
265
- };
266
- readonly test_id: {
267
- readonly type: "string";
268
- readonly minLength: 1;
269
- };
270
- readonly runner: {
271
- readonly type: "string";
272
- readonly minLength: 1;
273
- };
274
- readonly command: {
275
- readonly type: "string";
276
- readonly minLength: 1;
277
- };
278
- readonly scope: {
279
- readonly type: "string";
280
- readonly enum: readonly ["unit", "integration", "end_to_end"];
281
- };
282
- readonly outcome: {
283
- readonly type: "string";
284
- readonly enum: readonly ["passed", "failed", "errored", "cancelled", "skipped", "timed_out", "interrupted"];
285
- };
286
- readonly code_snapshot: {
287
- readonly type: "string";
288
- readonly pattern: "^[a-f0-9]{64}$";
289
- };
290
- readonly environment_hash: {
291
- readonly type: "string";
292
- readonly pattern: "^[a-f0-9]{64}$";
293
- };
294
- readonly started_at: {
292
+ readonly additionalProperties: false;
293
+ };
294
+ readonly command_argv: {
295
+ readonly type: "array";
296
+ readonly minItems: 1;
297
+ readonly items: {
295
298
  readonly type: "string";
296
299
  readonly minLength: 1;
297
300
  };
298
- readonly finished_at: {
299
- readonly type: "string";
300
- readonly minLength: 1;
301
+ };
302
+ readonly run_outcome: {
303
+ readonly type: "string";
304
+ readonly enum: readonly ["passed", "failed", "errored", "cancelled", "timed_out", "interrupted", "no_results"];
305
+ };
306
+ readonly proof_results: {
307
+ readonly type: "array";
308
+ readonly minItems: 0;
309
+ readonly maxItems: 1000;
310
+ readonly items: {
311
+ readonly type: "object";
312
+ readonly required: readonly ["symbol_id", "target", "outcome", "binding", "attempts"];
313
+ readonly properties: {
314
+ readonly symbol_id: {
315
+ readonly type: "string";
316
+ readonly minLength: 1;
317
+ };
318
+ readonly target: {
319
+ readonly type: "string";
320
+ readonly minLength: 1;
321
+ };
322
+ readonly outcome: {
323
+ readonly type: "string";
324
+ readonly enum: readonly ["passed", "failed", "timed_out", "skipped", "interrupted", "errored"];
325
+ };
326
+ readonly binding: {
327
+ readonly type: "string";
328
+ readonly enum: readonly ["native_case", "aggregate_run"];
329
+ };
330
+ readonly native_id: {
331
+ readonly type: "string";
332
+ readonly minLength: 1;
333
+ };
334
+ readonly attempts: {
335
+ readonly oneOf: readonly [{
336
+ readonly type: "object";
337
+ readonly required: readonly ["status", "entries"];
338
+ readonly properties: {
339
+ readonly status: {
340
+ readonly type: "string";
341
+ readonly const: "complete";
342
+ };
343
+ readonly entries: {
344
+ readonly type: "array";
345
+ readonly minItems: 1;
346
+ readonly items: {
347
+ readonly type: "object";
348
+ readonly required: readonly ["outcome"];
349
+ readonly properties: {
350
+ readonly outcome: {
351
+ readonly type: "string";
352
+ readonly enum: readonly ["passed", "failed", "timed_out", "skipped", "interrupted", "errored"];
353
+ };
354
+ readonly duration_ms: {
355
+ readonly type: "number";
356
+ readonly minimum: 0;
357
+ };
358
+ };
359
+ readonly additionalProperties: false;
360
+ };
361
+ };
362
+ };
363
+ readonly additionalProperties: false;
364
+ }, {
365
+ readonly type: "object";
366
+ readonly required: readonly ["status"];
367
+ readonly properties: {
368
+ readonly status: {
369
+ readonly type: "string";
370
+ readonly const: "unavailable";
371
+ };
372
+ };
373
+ readonly additionalProperties: false;
374
+ }];
375
+ };
376
+ };
377
+ readonly additionalProperties: false;
301
378
  };
302
- readonly artifact_digest: {
303
- readonly type: "string";
304
- readonly pattern: "^[a-f0-9]{64}$";
379
+ };
380
+ readonly gaps: {
381
+ readonly type: "array";
382
+ readonly items: {
383
+ readonly type: "object";
384
+ readonly required: readonly ["symbol_id", "target", "reason"];
385
+ readonly properties: {
386
+ readonly symbol_id: {
387
+ readonly type: "string";
388
+ readonly minLength: 1;
389
+ };
390
+ readonly target: {
391
+ readonly type: "string";
392
+ readonly minLength: 1;
393
+ };
394
+ readonly reason: {
395
+ readonly type: "string";
396
+ readonly minLength: 1;
397
+ };
398
+ };
399
+ readonly additionalProperties: false;
305
400
  };
306
401
  };
307
- readonly type: "object";
308
- readonly additionalProperties: false;
309
- }];
402
+ };
403
+ readonly additionalProperties: false;
310
404
  };
311
- readonly description: "Append-only test execution evidence. Proof accepts only the newest valid passed receipt bound to the current code snapshot and within the seven-day freshness window.";
405
+ readonly description: "Append-only proof evidence. Proof accepts only the newest valid passed receipt bound to the current code snapshot, current contract hash, and effective execution fingerprint within the seven-day freshness window. Ingest rotates the oldest entries at the cap.";
312
406
  };
313
407
  readonly fact_kind: {
314
408
  readonly type: "string";
@@ -472,7 +566,7 @@ export declare const ENTITY_PROPERTIES_SCHEMA: {
472
566
  };
473
567
  readonly allOf: readonly [Record<string, unknown>, {
474
568
  readonly if: {
475
- readonly required: readonly ["verification_receipts"];
569
+ readonly required: readonly ["proof_receipts"];
476
570
  };
477
571
  readonly then: {
478
572
  readonly required: readonly ["verification_scope"];
@@ -1 +1 @@
1
- {"version":3,"file":"mutation-schemas.d.ts","sourceRoot":"","sources":["../../../../src/public/operations/specs/mutation-schemas.ts"],"names":[],"mappings":"AAKA,eAAO,MAAM,YAAY,gFASf,CAAC;AAYX,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiT3B,CAAC;AAEX,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;CA2CvB,CAAC"}
1
+ {"version":3,"file":"mutation-schemas.d.ts","sourceRoot":"","sources":["../../../../src/public/operations/specs/mutation-schemas.ts"],"names":[],"mappings":"AASA,eAAO,MAAM,YAAY,gFASf,CAAC;AAYX,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA0T3B,CAAC;AAEX,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;CA2CvB,CAAC"}
@@ -1,4 +1,5 @@
1
- import { VERIFICATION_CONTRACT_SCHEMA, VERIFICATION_RECEIPT_SCHEMA, } from "../../verification-receipt.js";
1
+ import { PROOF_BINDINGS_SCHEMA, PROOF_CONTRACT_SCHEMA, } from "../../proof-protocol.js";
2
+ import { MAX_PROOF_RECEIPTS, PROOF_RECEIPT_SCHEMA, } from "../../proof-receipt.js";
2
3
  export const ENTITY_TYPES = [
3
4
  "req",
4
5
  "scenario",
@@ -129,12 +130,19 @@ export const ENTITY_PROPERTIES_SCHEMA = {
129
130
  enum: ["internal", "consumer"],
130
131
  description: "Optional typed verification perspective for test entities. Example: 'consumer'.",
131
132
  },
132
- verification_contract: VERIFICATION_CONTRACT_SCHEMA,
133
- verification_receipts: {
133
+ proof_contract: {
134
+ ...PROOF_CONTRACT_SCHEMA,
135
+ description: "Semantic proof contract binding this test to explicit proof obligations executed by one configured integration.",
136
+ },
137
+ proof_bindings: {
138
+ ...PROOF_BINDINGS_SCHEMA,
139
+ description: "Optional native-runner bindings (native ids, aliases, source coordinates) for proof obligations. Bindings are provenance metadata and never replace the semantic contract.",
140
+ },
141
+ proof_receipts: {
134
142
  type: "array",
135
- maxItems: 50,
136
- items: VERIFICATION_RECEIPT_SCHEMA,
137
- description: "Append-only test execution evidence. Proof accepts only the newest valid passed receipt bound to the current code snapshot and within the seven-day freshness window.",
143
+ maxItems: MAX_PROOF_RECEIPTS,
144
+ items: PROOF_RECEIPT_SCHEMA,
145
+ description: "Append-only proof evidence. Proof accepts only the newest valid passed receipt bound to the current code snapshot, current contract hash, and effective execution fingerprint within the seven-day freshness window. Ingest rotates the oldest entries at the cap.",
138
146
  },
139
147
  fact_kind: {
140
148
  type: "string",
@@ -285,7 +293,7 @@ export const ENTITY_PROPERTIES_SCHEMA = {
285
293
  allOf: [
286
294
  CLAIM_PROVENANCE_CONDITIONAL,
287
295
  {
288
- if: { required: ["verification_receipts"] },
296
+ if: { required: ["proof_receipts"] },
289
297
  // biome-ignore lint/suspicious/noThenProperty: JSON Schema conditional keyword.
290
298
  then: { required: ["verification_scope"] },
291
299
  },
@@ -179,6 +179,15 @@ export declare const compileIntentSpec: {
179
179
  readonly type: "string";
180
180
  readonly minLength: 1;
181
181
  };
182
+ readonly scenarioIds: {
183
+ readonly type: "array";
184
+ readonly items: {
185
+ readonly type: "string";
186
+ readonly minLength: 1;
187
+ };
188
+ readonly maxItems: 20;
189
+ readonly description: "Stable scenario draft IDs verified by this test. Required when multiple scenario drafts are supplied.";
190
+ };
182
191
  readonly verificationScope: {
183
192
  readonly type: "string";
184
193
  readonly enum: readonly ["unit", "integration", "end_to_end"];
@@ -1 +1 @@
1
- {"version":3,"file":"planning.d.ts","sourceRoot":"","sources":["../../../../src/public/operations/specs/planning.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,gBAAgB,EACjB,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAGL,oBAAoB,EACrB,MAAM,gDAAgD,CAAC;AAGxD,YAAY,EACV,iBAAiB,EACjB,aAAa,EACb,oBAAoB,EACpB,gBAAgB,EAChB,aAAa,EACb,SAAS,EACT,oBAAoB,GACrB,MAAM,gDAAgD,CAAC;AACxD,YAAY,EACV,aAAa,EACb,eAAe,GAChB,MAAM,4CAA4C,CAAC;AACpD,YAAY,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AAC9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,gDAAgD,CAAC;AAGtF,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAmJsC,CAAC;AAGrE,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqDwC,CAAC"}
1
+ {"version":3,"file":"planning.d.ts","sourceRoot":"","sources":["../../../../src/public/operations/specs/planning.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,gBAAgB,EACjB,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAGL,oBAAoB,EACrB,MAAM,gDAAgD,CAAC;AAGxD,YAAY,EACV,iBAAiB,EACjB,aAAa,EACb,oBAAoB,EACpB,gBAAgB,EAChB,aAAa,EACb,SAAS,EACT,oBAAoB,GACrB,MAAM,gDAAgD,CAAC;AACxD,YAAY,EACV,aAAa,EACb,eAAe,GAChB,MAAM,4CAA4C,CAAC;AACpD,YAAY,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AAC9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,gDAAgD,CAAC;AAGtF,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA0JsC,CAAC;AAGrE,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqDwC,CAAC"}
@@ -108,6 +108,12 @@ export const compileIntentSpec = {
108
108
  id: { type: "string" },
109
109
  title: { type: "string", minLength: 1 },
110
110
  body: { type: "string", minLength: 1 },
111
+ scenarioIds: {
112
+ type: "array",
113
+ items: { type: "string", minLength: 1 },
114
+ maxItems: 20,
115
+ description: "Stable scenario draft IDs verified by this test. Required when multiple scenario drafts are supplied.",
116
+ },
111
117
  verificationScope: {
112
118
  type: "string",
113
119
  enum: ["unit", "integration", "end_to_end"],