project-tiny-context-harness 0.8.17 → 0.12.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 (983) hide show
  1. package/README.md +74 -481
  2. package/assets/agents/AGENTS_CORE.md +11 -87
  3. package/assets/tools/context_rules.json +54 -0
  4. package/dist/cli.js +2 -1
  5. package/dist/commands/context-create.d.ts +1 -0
  6. package/dist/commands/context-create.js +90 -0
  7. package/dist/commands/context-inspect.d.ts +1 -0
  8. package/dist/commands/context-inspect.js +28 -0
  9. package/dist/commands/context-list.d.ts +1 -0
  10. package/dist/commands/context-list.js +24 -0
  11. package/dist/commands/context-move.d.ts +1 -0
  12. package/dist/commands/context-move.js +78 -0
  13. package/dist/commands/context-register.d.ts +1 -0
  14. package/dist/commands/context-register.js +110 -0
  15. package/dist/commands/context-transaction.d.ts +1 -0
  16. package/dist/commands/context-transaction.js +84 -0
  17. package/dist/commands/context.d.ts +1 -0
  18. package/dist/commands/context.js +40 -0
  19. package/dist/commands/doctor.d.ts +1 -1
  20. package/dist/commands/doctor.js +44 -3
  21. package/dist/commands/index.js +38 -51
  22. package/dist/commands/init.d.ts +0 -2
  23. package/dist/commands/init.js +26 -108
  24. package/dist/commands/upgrade.js +14 -2
  25. package/dist/commands/validate.js +1 -1
  26. package/dist/index.d.ts +2 -13
  27. package/dist/index.js +2 -12
  28. package/dist/lib/cli-exit.d.ts +14 -0
  29. package/dist/lib/cli-exit.js +19 -0
  30. package/dist/lib/config.js +14 -45
  31. package/dist/lib/constants.d.ts +1 -1
  32. package/dist/lib/constants.js +1 -1
  33. package/dist/lib/context-catalog/catalog-default-footprint.d.ts +3 -0
  34. package/dist/lib/context-catalog/catalog-default-footprint.js +51 -0
  35. package/dist/lib/context-catalog/catalog-diagnostics.d.ts +9 -0
  36. package/dist/lib/context-catalog/catalog-diagnostics.js +34 -0
  37. package/dist/lib/context-catalog/catalog-discovery.d.ts +7 -0
  38. package/dist/lib/context-catalog/catalog-discovery.js +81 -0
  39. package/dist/lib/context-catalog/catalog-load.d.ts +8 -0
  40. package/dist/lib/context-catalog/catalog-load.js +205 -0
  41. package/dist/lib/context-catalog/catalog-path-validation.d.ts +7 -0
  42. package/dist/lib/context-catalog/catalog-path-validation.js +72 -0
  43. package/dist/lib/context-catalog/catalog-paths.d.ts +11 -0
  44. package/dist/lib/context-catalog/catalog-paths.js +41 -0
  45. package/dist/lib/context-catalog/catalog-portable-contract.d.ts +15 -0
  46. package/dist/lib/context-catalog/catalog-portable-contract.js +68 -0
  47. package/dist/lib/context-catalog/catalog-staged-path-safety.d.ts +1 -0
  48. package/dist/lib/context-catalog/catalog-staged-path-safety.js +36 -0
  49. package/dist/lib/context-catalog/catalog-types.d.ts +40 -0
  50. package/dist/lib/context-catalog/catalog-validation.d.ts +9 -0
  51. package/dist/lib/context-catalog/catalog-validation.js +156 -0
  52. package/dist/lib/context-controlling-source.d.ts +4 -0
  53. package/dist/lib/context-controlling-source.js +106 -0
  54. package/dist/lib/context-create/context-create-path.d.ts +2 -0
  55. package/dist/lib/context-create/context-create-path.js +30 -0
  56. package/dist/lib/context-create/context-create-template.d.ts +2 -0
  57. package/dist/lib/context-create/context-create-template.js +95 -0
  58. package/dist/lib/context-create/context-create-types.d.ts +28 -0
  59. package/dist/lib/context-create/context-create-write.d.ts +1 -0
  60. package/dist/lib/context-create/context-create-write.js +85 -0
  61. package/dist/lib/context-create/context-create.d.ts +2 -0
  62. package/dist/lib/context-create/context-create.js +86 -0
  63. package/dist/lib/context-default-footprint.d.ts +2 -3
  64. package/dist/lib/context-default-footprint.js +51 -57
  65. package/dist/lib/context-doctor/context-doctor-types.d.ts +6 -0
  66. package/dist/lib/context-doctor/context-doctor-types.js +3 -0
  67. package/dist/lib/context-export.js +17 -9
  68. package/dist/lib/context-inspect/context-inspect-projection.d.ts +8 -0
  69. package/dist/lib/context-inspect/context-inspect-projection.js +48 -0
  70. package/dist/lib/context-inspect/context-inspect-render.d.ts +2 -0
  71. package/dist/lib/context-inspect/context-inspect-render.js +21 -0
  72. package/dist/lib/context-inspect/context-inspect-types.d.ts +29 -0
  73. package/dist/lib/context-inspect/context-inspect.d.ts +2 -0
  74. package/dist/lib/context-inspect/context-inspect.js +77 -0
  75. package/dist/lib/context-manifest-schema.d.ts +2 -1
  76. package/dist/lib/context-manifest-schema.js +6 -21
  77. package/dist/lib/context-manifest.js +1 -41
  78. package/dist/lib/context-markdown/context-markdown-analysis.d.ts +15 -0
  79. package/dist/lib/context-markdown/context-markdown-analysis.js +253 -0
  80. package/dist/lib/context-markdown/context-markdown-extract.d.ts +8 -0
  81. package/dist/lib/context-markdown/context-markdown-extract.js +134 -0
  82. package/dist/lib/context-markdown/context-markdown-types.d.ts +83 -0
  83. package/dist/lib/context-move/context-move-input.d.ts +8 -0
  84. package/dist/lib/context-move/context-move-input.js +17 -0
  85. package/dist/lib/context-move/context-move-literal-scan.d.ts +20 -0
  86. package/dist/lib/context-move/context-move-literal-scan.js +213 -0
  87. package/dist/lib/context-move/context-move-live-validation.d.ts +3 -0
  88. package/dist/lib/context-move/context-move-live-validation.js +56 -0
  89. package/dist/lib/context-move/context-move-markdown-plan.d.ts +22 -0
  90. package/dist/lib/context-move/context-move-markdown-plan.js +39 -0
  91. package/dist/lib/context-move/context-move-projection.d.ts +3 -0
  92. package/dist/lib/context-move/context-move-projection.js +11 -0
  93. package/dist/lib/context-move/context-move-reference-validation.d.ts +11 -0
  94. package/dist/lib/context-move/context-move-reference-validation.js +64 -0
  95. package/dist/lib/context-move/context-move-render.d.ts +2 -0
  96. package/dist/lib/context-move/context-move-render.js +24 -0
  97. package/dist/lib/context-move/context-move-support.d.ts +10 -0
  98. package/dist/lib/context-move/context-move-support.js +88 -0
  99. package/dist/lib/context-move/context-move-transaction-plan.d.ts +24 -0
  100. package/dist/lib/context-move/context-move-transaction-plan.js +108 -0
  101. package/dist/lib/context-move/context-move-types.d.ts +74 -0
  102. package/dist/lib/context-move/context-move.d.ts +8 -0
  103. package/dist/lib/context-move/context-move.js +181 -0
  104. package/dist/lib/context-mutation/manifest-lossless-patch.d.ts +28 -0
  105. package/dist/lib/context-mutation/manifest-lossless-patch.js +219 -0
  106. package/dist/lib/context-mutation/markdown-link-patch.d.ts +34 -0
  107. package/dist/lib/context-mutation/markdown-link-patch.js +143 -0
  108. package/dist/lib/context-mutation/markdown-link-spans.d.ts +10 -0
  109. package/dist/lib/context-mutation/markdown-link-spans.js +179 -0
  110. package/dist/lib/context-mutation/mutation-cas.d.ts +13 -0
  111. package/dist/lib/context-mutation/mutation-cas.js +365 -0
  112. package/dist/lib/context-mutation/mutation-command-support.d.ts +12 -0
  113. package/dist/lib/context-mutation/mutation-command-support.js +57 -0
  114. package/dist/lib/context-mutation/mutation-commit.d.ts +12 -0
  115. package/dist/lib/context-mutation/mutation-commit.js +89 -0
  116. package/dist/lib/context-mutation/mutation-directories.d.ts +5 -0
  117. package/dist/lib/context-mutation/mutation-directories.js +56 -0
  118. package/dist/lib/context-mutation/mutation-file-state.d.ts +14 -0
  119. package/dist/lib/context-mutation/mutation-file-state.js +137 -0
  120. package/dist/lib/context-mutation/mutation-interlock.d.ts +1 -0
  121. package/dist/lib/context-mutation/mutation-interlock.js +9 -0
  122. package/dist/lib/context-mutation/mutation-journal-file-validation.d.ts +1 -0
  123. package/dist/lib/context-mutation/mutation-journal-file-validation.js +106 -0
  124. package/dist/lib/context-mutation/mutation-journal-io.d.ts +5 -0
  125. package/dist/lib/context-mutation/mutation-journal-io.js +55 -0
  126. package/dist/lib/context-mutation/mutation-journal-storage.d.ts +18 -0
  127. package/dist/lib/context-mutation/mutation-journal-storage.js +283 -0
  128. package/dist/lib/context-mutation/mutation-journal-validation-support.d.ts +16 -0
  129. package/dist/lib/context-mutation/mutation-journal-validation-support.js +140 -0
  130. package/dist/lib/context-mutation/mutation-journal-validation.d.ts +3 -0
  131. package/dist/lib/context-mutation/mutation-journal-validation.js +177 -0
  132. package/dist/lib/context-mutation/mutation-journal.d.ts +8 -0
  133. package/dist/lib/context-mutation/mutation-journal.js +111 -0
  134. package/dist/lib/context-mutation/mutation-live-validation.d.ts +3 -0
  135. package/dist/lib/context-mutation/mutation-live-validation.js +51 -0
  136. package/dist/lib/context-mutation/mutation-recovery.d.ts +4 -0
  137. package/dist/lib/context-mutation/mutation-recovery.js +189 -0
  138. package/dist/lib/context-mutation/mutation-staged-fs.d.ts +5 -0
  139. package/dist/lib/context-mutation/mutation-staged-fs.js +56 -0
  140. package/dist/lib/context-mutation/mutation-types.d.ts +103 -0
  141. package/dist/lib/context-register/context-register-input.d.ts +11 -0
  142. package/dist/lib/context-register/context-register-input.js +43 -0
  143. package/dist/lib/context-register/context-register-render.d.ts +2 -0
  144. package/dist/lib/context-register/context-register-render.js +21 -0
  145. package/dist/lib/context-register/context-register-support.d.ts +6 -0
  146. package/dist/lib/context-register/context-register-support.js +46 -0
  147. package/dist/lib/context-register/context-register-types.d.ts +46 -0
  148. package/dist/lib/context-register/context-register.d.ts +8 -0
  149. package/dist/lib/context-register/context-register.js +158 -0
  150. package/dist/lib/context-templates.d.ts +0 -4
  151. package/dist/lib/context-templates.js +1 -210
  152. package/dist/lib/doctor.d.ts +2 -1
  153. package/dist/lib/doctor.js +45 -106
  154. package/dist/lib/fs.js +1 -1
  155. package/dist/lib/{long-task-git.js → git.js} +3 -3
  156. package/dist/lib/init.js +34 -39
  157. package/dist/lib/maintenance-lock.d.ts +3 -0
  158. package/dist/lib/maintenance-lock.js +203 -0
  159. package/dist/lib/maintenance-write.d.ts +3 -0
  160. package/dist/lib/maintenance-write.js +55 -0
  161. package/dist/lib/migrations.d.ts +1 -20
  162. package/dist/lib/migrations.js +48 -714
  163. package/dist/lib/package-json-config.js +34 -21
  164. package/dist/lib/package-source.js +27 -14
  165. package/dist/lib/repository-path-safety.d.ts +3 -0
  166. package/dist/lib/repository-path-safety.js +23 -3
  167. package/dist/lib/retirement-assets.d.ts +13 -0
  168. package/dist/lib/retirement-assets.js +182 -0
  169. package/dist/lib/retirement-binding.d.ts +10 -0
  170. package/dist/lib/retirement-binding.js +59 -0
  171. package/dist/lib/retirement-defaults.d.ts +7 -0
  172. package/dist/lib/retirement-defaults.js +29 -0
  173. package/dist/lib/retirement-plan.d.ts +10 -0
  174. package/dist/lib/retirement-plan.js +96 -0
  175. package/dist/lib/retirement-preflight.d.ts +2 -0
  176. package/dist/lib/retirement-preflight.js +13 -0
  177. package/dist/lib/retirement-references.d.ts +6 -0
  178. package/dist/lib/retirement-references.js +102 -0
  179. package/dist/lib/retirement-runner.d.ts +22 -0
  180. package/dist/lib/retirement-runner.js +217 -0
  181. package/dist/lib/schema-guard.d.ts +1 -0
  182. package/dist/lib/schema-guard.js +47 -6
  183. package/dist/lib/source-files.d.ts +0 -2
  184. package/dist/lib/source-files.js +0 -21
  185. package/dist/lib/source-pack-export.js +4 -1
  186. package/dist/lib/source-pack-manifest.js +93 -38
  187. package/dist/lib/sync-engine.d.ts +7 -1
  188. package/dist/lib/sync-engine.js +38 -336
  189. package/dist/lib/types.d.ts +0 -19
  190. package/dist/lib/upgrade.d.ts +3 -2
  191. package/dist/lib/upgrade.js +30 -40
  192. package/dist/lib/validators.d.ts +4 -1
  193. package/dist/lib/validators.js +76 -517
  194. package/dist/public-api-core.d.ts +15 -0
  195. package/dist/public-api-core.js +15 -0
  196. package/dist/public-types.d.ts +7 -9
  197. package/migrations/README.md +22 -82
  198. package/migrations/schema-4-owned-assets.json +170 -0
  199. package/package.json +18 -22
  200. package/source-mappings.yaml +3 -21
  201. package/assets/README.md +0 -830
  202. package/assets/README.zh-CN.md +0 -497
  203. package/assets/agents/.gitkeep +0 -1
  204. package/assets/agents/long-task-implementation.toml +0 -15
  205. package/assets/context_templates/architecture.md +0 -37
  206. package/assets/context_templates/area.md +0 -40
  207. package/assets/context_templates/context.toml +0 -41
  208. package/assets/context_templates/deployment.md +0 -35
  209. package/assets/context_templates/global.md +0 -57
  210. package/assets/context_templates/product-surface-contract.md +0 -70
  211. package/assets/context_templates/screen-contract.md +0 -205
  212. package/assets/context_templates/verification.md +0 -35
  213. package/assets/github/.gitkeep +0 -1
  214. package/assets/github/harness.yml +0 -41
  215. package/assets/make/.gitkeep +0 -1
  216. package/assets/make/ty-context.mk +0 -48
  217. package/assets/skills/context_development_engineer/SKILL.md +0 -58
  218. package/assets/skills/context_development_engineer/references/engineering-design-reasoning.md +0 -93
  219. package/assets/skills/context_full_project_export/SKILL.md +0 -70
  220. package/assets/skills/context_harness_upgrade/SKILL.md +0 -60
  221. package/assets/skills/context_product_plan/SKILL.md +0 -42
  222. package/assets/skills/context_surface_contract/SKILL.md +0 -205
  223. package/assets/skills/context_uiux_design/SKILL.md +0 -53
  224. package/assets/skills/context_uiux_design/references/task-uiux-analysis.md +0 -82
  225. package/assets/skills/design-resource-authoring/SKILL.md +0 -60
  226. package/assets/skills/design-resource-authoring/references/downstream-handoff.md +0 -63
  227. package/assets/skills/design-resource-authoring/references/formal-selected-web-app-handoff.md +0 -114
  228. package/assets/skills/design-resource-authoring/references/implementation-feasibility.md +0 -111
  229. package/assets/skills/design-resource-authoring/references/open-design-provider.md +0 -198
  230. package/assets/skills/design-resource-authoring/references/recovery-and-writeback.md +0 -205
  231. package/assets/skills/design-resource-authoring/references/resource-selection.md +0 -290
  232. package/assets/skills/design-system-authoring/SKILL.md +0 -57
  233. package/assets/skills/design-system-authoring/agents/openai.yaml +0 -6
  234. package/assets/skills/design-system-authoring/references/authority-adoption.md +0 -48
  235. package/assets/skills/design-system-authoring/references/open-design-design-system-provider.md +0 -110
  236. package/assets/skills/long-task-workflow/SKILL.md +0 -75
  237. package/assets/skills/long-task-workflow/agents/openai.yaml +0 -6
  238. package/assets/skills/long-task-workflow/references/authority-lifecycle.md +0 -80
  239. package/assets/skills/long-task-workflow/references/contract-authoring.md +0 -152
  240. package/assets/skills/long-task-workflow/references/evidence-design.md +0 -121
  241. package/assets/skills/long-task-workflow/references/source-authoring.md +0 -123
  242. package/assets/tools/validate_context.py +0 -442
  243. package/dist/commands/check-modularity.d.ts +0 -1
  244. package/dist/commands/check-modularity.js +0 -181
  245. package/dist/commands/composite-campaign.d.ts +0 -1
  246. package/dist/commands/composite-campaign.js +0 -8
  247. package/dist/commands/composite-long-task.d.ts +0 -1
  248. package/dist/commands/composite-long-task.js +0 -8
  249. package/dist/commands/delivery-set.d.ts +0 -1
  250. package/dist/commands/delivery-set.js +0 -8
  251. package/dist/commands/design-resource-recovery.d.ts +0 -1
  252. package/dist/commands/design-resource-recovery.js +0 -152
  253. package/dist/commands/design-resource.d.ts +0 -1
  254. package/dist/commands/design-resource.js +0 -125
  255. package/dist/commands/disable.d.ts +0 -1
  256. package/dist/commands/disable.js +0 -15
  257. package/dist/commands/enable.d.ts +0 -1
  258. package/dist/commands/enable.js +0 -16
  259. package/dist/commands/long-task-authoring.d.ts +0 -3
  260. package/dist/commands/long-task-authoring.js +0 -216
  261. package/dist/commands/long-task-command-args.d.ts +0 -4
  262. package/dist/commands/long-task-command-args.js +0 -26
  263. package/dist/commands/long-task-explain.d.ts +0 -1
  264. package/dist/commands/long-task-explain.js +0 -52
  265. package/dist/commands/long-task-revision.d.ts +0 -1
  266. package/dist/commands/long-task-revision.js +0 -177
  267. package/dist/commands/long-task.d.ts +0 -1
  268. package/dist/commands/long-task.js +0 -143
  269. package/dist/lib/compact-authoring-support.d.ts +0 -22
  270. package/dist/lib/compact-authoring-support.js +0 -143
  271. package/dist/lib/compact-shared-structure-authoring.d.ts +0 -5
  272. package/dist/lib/compact-shared-structure-authoring.js +0 -9
  273. package/dist/lib/compact-shared-structure-types.d.ts +0 -61
  274. package/dist/lib/compact-shared-structure-validation.d.ts +0 -2
  275. package/dist/lib/compact-shared-structure-validation.js +0 -159
  276. package/dist/lib/compact-shared-structures.d.ts +0 -3
  277. package/dist/lib/compact-shared-structures.js +0 -204
  278. package/dist/lib/context-graph-snapshot.d.ts +0 -18
  279. package/dist/lib/context-graph-snapshot.js +0 -178
  280. package/dist/lib/design-md.d.ts +0 -12
  281. package/dist/lib/design-md.js +0 -169
  282. package/dist/lib/design-resource-fact-enums.d.ts +0 -24
  283. package/dist/lib/design-resource-fact-enums.js +0 -182
  284. package/dist/lib/design-resource-fact-locator-extractors.d.ts +0 -8
  285. package/dist/lib/design-resource-fact-locator-extractors.js +0 -108
  286. package/dist/lib/design-resource-fact-locator-resolver.d.ts +0 -3
  287. package/dist/lib/design-resource-fact-locator-resolver.js +0 -112
  288. package/dist/lib/design-resource-fact-locator-validation.d.ts +0 -5
  289. package/dist/lib/design-resource-fact-locator-validation.js +0 -16
  290. package/dist/lib/design-resource-fact-manifest-catalog.d.ts +0 -4
  291. package/dist/lib/design-resource-fact-manifest-catalog.js +0 -249
  292. package/dist/lib/design-resource-fact-manifest-model.d.ts +0 -91
  293. package/dist/lib/design-resource-fact-manifest-model.js +0 -21
  294. package/dist/lib/design-resource-fact-manifest-shape-axes.d.ts +0 -6
  295. package/dist/lib/design-resource-fact-manifest-shape-axes.js +0 -159
  296. package/dist/lib/design-resource-fact-manifest-shape-evidence.d.ts +0 -4
  297. package/dist/lib/design-resource-fact-manifest-shape-evidence.js +0 -59
  298. package/dist/lib/design-resource-fact-manifest-shape-facts.d.ts +0 -4
  299. package/dist/lib/design-resource-fact-manifest-shape-facts.js +0 -109
  300. package/dist/lib/design-resource-fact-manifest-shape-inspector.d.ts +0 -5
  301. package/dist/lib/design-resource-fact-manifest-shape-inspector.js +0 -144
  302. package/dist/lib/design-resource-fact-manifest-shape.d.ts +0 -7
  303. package/dist/lib/design-resource-fact-manifest-shape.js +0 -75
  304. package/dist/lib/design-resource-fact-manifest-types.d.ts +0 -3
  305. package/dist/lib/design-resource-fact-manifest-types.js +0 -3
  306. package/dist/lib/design-resource-fact-manifest-universe.d.ts +0 -5
  307. package/dist/lib/design-resource-fact-manifest-universe.js +0 -50
  308. package/dist/lib/design-resource-fact-manifest-validation.d.ts +0 -5
  309. package/dist/lib/design-resource-fact-manifest-validation.js +0 -111
  310. package/dist/lib/design-resource-fact-policy.d.ts +0 -43
  311. package/dist/lib/design-resource-fact-policy.js +0 -106
  312. package/dist/lib/design-resource-fact-property-methods.d.ts +0 -3
  313. package/dist/lib/design-resource-fact-property-methods.js +0 -158
  314. package/dist/lib/design-resource-fact-shape-primitives.d.ts +0 -3
  315. package/dist/lib/design-resource-fact-shape-primitives.js +0 -18
  316. package/dist/lib/design-resource-fact-types.d.ts +0 -164
  317. package/dist/lib/design-resource-fact-universe-assets.d.ts +0 -4
  318. package/dist/lib/design-resource-fact-universe-assets.js +0 -71
  319. package/dist/lib/design-resource-fact-universe-catalog.d.ts +0 -4
  320. package/dist/lib/design-resource-fact-universe-catalog.js +0 -161
  321. package/dist/lib/design-resource-fact-universe-conditions.d.ts +0 -2
  322. package/dist/lib/design-resource-fact-universe-conditions.js +0 -92
  323. package/dist/lib/design-resource-fact-universe-facts.d.ts +0 -4
  324. package/dist/lib/design-resource-fact-universe-facts.js +0 -108
  325. package/dist/lib/design-resource-fact-universe-helpers.d.ts +0 -30
  326. package/dist/lib/design-resource-fact-universe-helpers.js +0 -171
  327. package/dist/lib/design-resource-fact-universe-inspector.d.ts +0 -7
  328. package/dist/lib/design-resource-fact-universe-inspector.js +0 -119
  329. package/dist/lib/design-resource-fact-universe-proof.d.ts +0 -4
  330. package/dist/lib/design-resource-fact-universe-proof.js +0 -113
  331. package/dist/lib/design-resource-fact-universe-subjects.d.ts +0 -5
  332. package/dist/lib/design-resource-fact-universe-subjects.js +0 -97
  333. package/dist/lib/design-resource-fact-universe-variations.d.ts +0 -2
  334. package/dist/lib/design-resource-fact-universe-variations.js +0 -75
  335. package/dist/lib/design-resource-fact-value-validation.d.ts +0 -2
  336. package/dist/lib/design-resource-fact-value-validation.js +0 -80
  337. package/dist/lib/design-resource-handoff-bundle-draft.d.ts +0 -11
  338. package/dist/lib/design-resource-handoff-bundle-draft.js +0 -40
  339. package/dist/lib/design-resource-handoff-bundle.d.ts +0 -31
  340. package/dist/lib/design-resource-handoff-bundle.js +0 -152
  341. package/dist/lib/design-resource-handoff-file-primitives.d.ts +0 -4
  342. package/dist/lib/design-resource-handoff-file-primitives.js +0 -16
  343. package/dist/lib/design-resource-handoff-file-validation.d.ts +0 -2
  344. package/dist/lib/design-resource-handoff-file-validation.js +0 -47
  345. package/dist/lib/design-resource-handoff-input-types.d.ts +0 -14
  346. package/dist/lib/design-resource-handoff-manifest-projection.d.ts +0 -4
  347. package/dist/lib/design-resource-handoff-manifest-projection.js +0 -38
  348. package/dist/lib/design-resource-handoff-parser.d.ts +0 -8
  349. package/dist/lib/design-resource-handoff-parser.js +0 -49
  350. package/dist/lib/design-resource-handoff-policy.d.ts +0 -4
  351. package/dist/lib/design-resource-handoff-policy.js +0 -143
  352. package/dist/lib/design-resource-handoff-set-integrity.d.ts +0 -8
  353. package/dist/lib/design-resource-handoff-set-integrity.js +0 -94
  354. package/dist/lib/design-resource-handoff-shape-evidence.d.ts +0 -6
  355. package/dist/lib/design-resource-handoff-shape-evidence.js +0 -187
  356. package/dist/lib/design-resource-handoff-shape-primitives.d.ts +0 -14
  357. package/dist/lib/design-resource-handoff-shape-primitives.js +0 -70
  358. package/dist/lib/design-resource-handoff-shape-structure.d.ts +0 -5
  359. package/dist/lib/design-resource-handoff-shape-structure.js +0 -239
  360. package/dist/lib/design-resource-handoff-shape.d.ts +0 -6
  361. package/dist/lib/design-resource-handoff-shape.js +0 -180
  362. package/dist/lib/design-resource-handoff-snapshot.d.ts +0 -6
  363. package/dist/lib/design-resource-handoff-snapshot.js +0 -25
  364. package/dist/lib/design-resource-handoff-types.d.ts +0 -261
  365. package/dist/lib/design-resource-handoff-types.js +0 -68
  366. package/dist/lib/design-resource-handoff-validation-coverage.d.ts +0 -4
  367. package/dist/lib/design-resource-handoff-validation-coverage.js +0 -223
  368. package/dist/lib/design-resource-handoff-validation-fact-cells.d.ts +0 -2
  369. package/dist/lib/design-resource-handoff-validation-fact-cells.js +0 -60
  370. package/dist/lib/design-resource-handoff-validation-fact-records.d.ts +0 -2
  371. package/dist/lib/design-resource-handoff-validation-fact-records.js +0 -90
  372. package/dist/lib/design-resource-handoff-validation-facts.d.ts +0 -2
  373. package/dist/lib/design-resource-handoff-validation-facts.js +0 -13
  374. package/dist/lib/design-resource-handoff-validation-primitives.d.ts +0 -11
  375. package/dist/lib/design-resource-handoff-validation-primitives.js +0 -26
  376. package/dist/lib/design-resource-handoff-validation-proofs.d.ts +0 -2
  377. package/dist/lib/design-resource-handoff-validation-proofs.js +0 -67
  378. package/dist/lib/design-resource-handoff-validation-resource-closure.d.ts +0 -3
  379. package/dist/lib/design-resource-handoff-validation-resource-closure.js +0 -88
  380. package/dist/lib/design-resource-handoff-validation-structure.d.ts +0 -6
  381. package/dist/lib/design-resource-handoff-validation-structure.js +0 -124
  382. package/dist/lib/design-resource-handoff-validation.d.ts +0 -8
  383. package/dist/lib/design-resource-handoff-validation.js +0 -165
  384. package/dist/lib/design-resource-handoff-web-dependency-validation.d.ts +0 -6
  385. package/dist/lib/design-resource-handoff-web-dependency-validation.js +0 -130
  386. package/dist/lib/design-resource-implementation-feasibility-model.d.ts +0 -35
  387. package/dist/lib/design-resource-implementation-feasibility-model.js +0 -62
  388. package/dist/lib/design-resource-implementation-feasibility-shape-sections.d.ts +0 -43
  389. package/dist/lib/design-resource-implementation-feasibility-shape-sections.js +0 -142
  390. package/dist/lib/design-resource-implementation-feasibility-shape.d.ts +0 -4
  391. package/dist/lib/design-resource-implementation-feasibility-shape.js +0 -154
  392. package/dist/lib/design-resource-implementation-feasibility-source-decision-projection.d.ts +0 -24
  393. package/dist/lib/design-resource-implementation-feasibility-source-decision-projection.js +0 -106
  394. package/dist/lib/design-resource-implementation-feasibility-source-decision.d.ts +0 -21
  395. package/dist/lib/design-resource-implementation-feasibility-source-decision.js +0 -75
  396. package/dist/lib/design-resource-implementation-feasibility-types.d.ts +0 -135
  397. package/dist/lib/design-resource-implementation-feasibility-types.js +0 -37
  398. package/dist/lib/design-resource-implementation-feasibility-validation-cells.d.ts +0 -5
  399. package/dist/lib/design-resource-implementation-feasibility-validation-cells.js +0 -125
  400. package/dist/lib/design-resource-implementation-feasibility-validation-document.d.ts +0 -4
  401. package/dist/lib/design-resource-implementation-feasibility-validation-document.js +0 -167
  402. package/dist/lib/design-resource-implementation-feasibility-validation-facts.d.ts +0 -3
  403. package/dist/lib/design-resource-implementation-feasibility-validation-facts.js +0 -76
  404. package/dist/lib/design-resource-implementation-feasibility-validation-realizations.d.ts +0 -8
  405. package/dist/lib/design-resource-implementation-feasibility-validation-realizations.js +0 -76
  406. package/dist/lib/design-resource-implementation-feasibility-validation-support.d.ts +0 -10
  407. package/dist/lib/design-resource-implementation-feasibility-validation-support.js +0 -75
  408. package/dist/lib/design-resource-implementation-feasibility-validation.d.ts +0 -3
  409. package/dist/lib/design-resource-implementation-feasibility-validation.js +0 -138
  410. package/dist/lib/design-resource-reconciliation-codec.d.ts +0 -2
  411. package/dist/lib/design-resource-reconciliation-codec.js +0 -174
  412. package/dist/lib/design-resource-reconciliation-types.d.ts +0 -62
  413. package/dist/lib/design-resource-reconciliation.d.ts +0 -3
  414. package/dist/lib/design-resource-reconciliation.js +0 -224
  415. package/dist/lib/design-resource-recovery-authority-policy.d.ts +0 -8
  416. package/dist/lib/design-resource-recovery-authority-policy.js +0 -123
  417. package/dist/lib/design-resource-recovery-catalog-resources.d.ts +0 -6
  418. package/dist/lib/design-resource-recovery-catalog-resources.js +0 -121
  419. package/dist/lib/design-resource-recovery-catalog-shape.d.ts +0 -3
  420. package/dist/lib/design-resource-recovery-catalog-shape.js +0 -104
  421. package/dist/lib/design-resource-recovery-catalog.d.ts +0 -9
  422. package/dist/lib/design-resource-recovery-catalog.js +0 -103
  423. package/dist/lib/design-resource-recovery-cleanup.d.ts +0 -2
  424. package/dist/lib/design-resource-recovery-cleanup.js +0 -11
  425. package/dist/lib/design-resource-recovery-codec-primitives.d.ts +0 -19
  426. package/dist/lib/design-resource-recovery-codec-primitives.js +0 -92
  427. package/dist/lib/design-resource-recovery-codec.d.ts +0 -4
  428. package/dist/lib/design-resource-recovery-codec.js +0 -93
  429. package/dist/lib/design-resource-recovery-current.d.ts +0 -9
  430. package/dist/lib/design-resource-recovery-current.js +0 -41
  431. package/dist/lib/design-resource-recovery-delta-policy.d.ts +0 -5
  432. package/dist/lib/design-resource-recovery-delta-policy.js +0 -108
  433. package/dist/lib/design-resource-recovery-files.d.ts +0 -37
  434. package/dist/lib/design-resource-recovery-files.js +0 -204
  435. package/dist/lib/design-resource-recovery-final-disposition-shape.d.ts +0 -2
  436. package/dist/lib/design-resource-recovery-final-disposition-shape.js +0 -47
  437. package/dist/lib/design-resource-recovery-patch-types.d.ts +0 -54
  438. package/dist/lib/design-resource-recovery-replay.d.ts +0 -7
  439. package/dist/lib/design-resource-recovery-replay.js +0 -112
  440. package/dist/lib/design-resource-recovery-repository-bindings.d.ts +0 -9
  441. package/dist/lib/design-resource-recovery-repository-bindings.js +0 -49
  442. package/dist/lib/design-resource-recovery-schema.d.ts +0 -5
  443. package/dist/lib/design-resource-recovery-schema.js +0 -5
  444. package/dist/lib/design-resource-recovery-shape.d.ts +0 -10
  445. package/dist/lib/design-resource-recovery-shape.js +0 -184
  446. package/dist/lib/design-resource-recovery-source-authority.d.ts +0 -5
  447. package/dist/lib/design-resource-recovery-source-authority.js +0 -219
  448. package/dist/lib/design-resource-recovery-text.d.ts +0 -17
  449. package/dist/lib/design-resource-recovery-text.js +0 -186
  450. package/dist/lib/design-resource-recovery-types.d.ts +0 -197
  451. package/dist/lib/design-resource-recovery-writeback-policy.d.ts +0 -5
  452. package/dist/lib/design-resource-recovery-writeback-policy.js +0 -326
  453. package/dist/lib/design-resource-recovery-writeback-shape.d.ts +0 -6
  454. package/dist/lib/design-resource-recovery-writeback-shape.js +0 -155
  455. package/dist/lib/design-resource-recovery.d.ts +0 -44
  456. package/dist/lib/design-resource-recovery.js +0 -216
  457. package/dist/lib/design-resource-symbolic-applicability-authority.d.ts +0 -7
  458. package/dist/lib/design-resource-symbolic-applicability-authority.js +0 -19
  459. package/dist/lib/design-resource-symbolic-applicability-policy.d.ts +0 -12
  460. package/dist/lib/design-resource-symbolic-applicability-policy.js +0 -79
  461. package/dist/lib/design-resource-symbolic-applicability-profiles.d.ts +0 -8
  462. package/dist/lib/design-resource-symbolic-applicability-profiles.js +0 -55
  463. package/dist/lib/design-resource-symbolic-applicability-shape.d.ts +0 -2
  464. package/dist/lib/design-resource-symbolic-applicability-shape.js +0 -76
  465. package/dist/lib/design-resource-symbolic-applicability-validation.d.ts +0 -7
  466. package/dist/lib/design-resource-symbolic-applicability-validation.js +0 -128
  467. package/dist/lib/design-resource-symbolic-compilation.d.ts +0 -3
  468. package/dist/lib/design-resource-symbolic-compilation.js +0 -13
  469. package/dist/lib/design-resource-symbolic-denotation.d.ts +0 -3
  470. package/dist/lib/design-resource-symbolic-denotation.js +0 -167
  471. package/dist/lib/design-resource-symbolic-disposition-validation.d.ts +0 -4
  472. package/dist/lib/design-resource-symbolic-disposition-validation.js +0 -28
  473. package/dist/lib/design-resource-symbolic-fact-policy.d.ts +0 -12
  474. package/dist/lib/design-resource-symbolic-fact-policy.js +0 -12
  475. package/dist/lib/design-resource-symbolic-fact-shape.d.ts +0 -3
  476. package/dist/lib/design-resource-symbolic-fact-shape.js +0 -140
  477. package/dist/lib/design-resource-symbolic-fact-types.d.ts +0 -218
  478. package/dist/lib/design-resource-symbolic-fact-validation.d.ts +0 -3
  479. package/dist/lib/design-resource-symbolic-fact-validation.js +0 -99
  480. package/dist/lib/design-resource-symbolic-indexes.d.ts +0 -23
  481. package/dist/lib/design-resource-symbolic-indexes.js +0 -54
  482. package/dist/lib/design-resource-symbolic-manifest-shape.d.ts +0 -3
  483. package/dist/lib/design-resource-symbolic-manifest-shape.js +0 -155
  484. package/dist/lib/design-resource-symbolic-manifest-validation.d.ts +0 -6
  485. package/dist/lib/design-resource-symbolic-manifest-validation.js +0 -132
  486. package/dist/lib/design-resource-symbolic-noninterference-artifact.d.ts +0 -33
  487. package/dist/lib/design-resource-symbolic-noninterference-artifact.js +0 -110
  488. package/dist/lib/design-resource-symbolic-noninterference-equivalence.d.ts +0 -3
  489. package/dist/lib/design-resource-symbolic-noninterference-equivalence.js +0 -77
  490. package/dist/lib/design-resource-symbolic-noninterference-recompute.d.ts +0 -4
  491. package/dist/lib/design-resource-symbolic-noninterference-recompute.js +0 -146
  492. package/dist/lib/design-resource-symbolic-noninterference-scope.d.ts +0 -7
  493. package/dist/lib/design-resource-symbolic-noninterference-scope.js +0 -49
  494. package/dist/lib/design-resource-symbolic-noninterference-shape.d.ts +0 -2
  495. package/dist/lib/design-resource-symbolic-noninterference-shape.js +0 -152
  496. package/dist/lib/design-resource-symbolic-noninterference-types.d.ts +0 -103
  497. package/dist/lib/design-resource-symbolic-noninterference-types.js +0 -1
  498. package/dist/lib/design-resource-symbolic-noninterference-validation.d.ts +0 -5
  499. package/dist/lib/design-resource-symbolic-noninterference-validation.js +0 -62
  500. package/dist/lib/design-resource-symbolic-oracle-fingerprint.d.ts +0 -1
  501. package/dist/lib/design-resource-symbolic-oracle-fingerprint.js +0 -47
  502. package/dist/lib/design-resource-symbolic-predicate-shape.d.ts +0 -6
  503. package/dist/lib/design-resource-symbolic-predicate-shape.js +0 -123
  504. package/dist/lib/design-resource-symbolic-production-closure.d.ts +0 -4
  505. package/dist/lib/design-resource-symbolic-production-closure.js +0 -144
  506. package/dist/lib/design-resource-symbolic-proof-authority-validation.d.ts +0 -10
  507. package/dist/lib/design-resource-symbolic-proof-authority-validation.js +0 -68
  508. package/dist/lib/design-resource-symbolic-proof-validation.d.ts +0 -10
  509. package/dist/lib/design-resource-symbolic-proof-validation.js +0 -89
  510. package/dist/lib/design-resource-symbolic-region-validation.d.ts +0 -19
  511. package/dist/lib/design-resource-symbolic-region-validation.js +0 -146
  512. package/dist/lib/design-resource-symbolic-resource-validation.d.ts +0 -5
  513. package/dist/lib/design-resource-symbolic-resource-validation.js +0 -90
  514. package/dist/lib/design-resource-symbolic-rule-shape.d.ts +0 -27
  515. package/dist/lib/design-resource-symbolic-rule-shape.js +0 -158
  516. package/dist/lib/design-resource-symbolic-safety-validation.d.ts +0 -6
  517. package/dist/lib/design-resource-symbolic-safety-validation.js +0 -29
  518. package/dist/lib/design-resource-symbolic-source-ir-evaluation.d.ts +0 -19
  519. package/dist/lib/design-resource-symbolic-source-ir-evaluation.js +0 -74
  520. package/dist/lib/design-resource-symbolic-source-ir-evidence.d.ts +0 -44
  521. package/dist/lib/design-resource-symbolic-source-ir-evidence.js +0 -88
  522. package/dist/lib/design-resource-symbolic-source-ir-oracle.d.ts +0 -13
  523. package/dist/lib/design-resource-symbolic-source-ir-oracle.js +0 -96
  524. package/dist/lib/design-resource-symbolic-source-ir-proof.d.ts +0 -14
  525. package/dist/lib/design-resource-symbolic-source-ir-proof.js +0 -98
  526. package/dist/lib/design-resource-symbolic-source-ir-shape.d.ts +0 -2
  527. package/dist/lib/design-resource-symbolic-source-ir-shape.js +0 -38
  528. package/dist/lib/design-resource-symbolic-source-ir-types.d.ts +0 -17
  529. package/dist/lib/design-resource-symbolic-source-ir-types.js +0 -2
  530. package/dist/lib/design-resource-symbolic-static-dependency-validation.d.ts +0 -2
  531. package/dist/lib/design-resource-symbolic-static-dependency-validation.js +0 -83
  532. package/dist/lib/design-resource-symbolic-structural-closure-validation.d.ts +0 -6
  533. package/dist/lib/design-resource-symbolic-structural-closure-validation.js +0 -79
  534. package/dist/lib/design-resource-symbolic-validation-support.d.ts +0 -29
  535. package/dist/lib/design-resource-symbolic-validation-support.js +0 -111
  536. package/dist/lib/design-resource-v1-capacity-header.d.ts +0 -8
  537. package/dist/lib/design-resource-v1-capacity-header.js +0 -231
  538. package/dist/lib/design-resource-v1-capacity.d.ts +0 -5
  539. package/dist/lib/design-resource-v1-capacity.js +0 -45
  540. package/dist/lib/execution-target-capabilities.d.ts +0 -2
  541. package/dist/lib/execution-target-capabilities.js +0 -45
  542. package/dist/lib/legacy-managed-scan.d.ts +0 -2
  543. package/dist/lib/legacy-managed-scan.js +0 -95
  544. package/dist/lib/legacy-sdlc-migration.d.ts +0 -2
  545. package/dist/lib/legacy-sdlc-migration.js +0 -199
  546. package/dist/lib/long-task-acceptance-reference.d.ts +0 -22
  547. package/dist/lib/long-task-acceptance-reference.js +0 -46
  548. package/dist/lib/long-task-acceptance-shape.d.ts +0 -5
  549. package/dist/lib/long-task-acceptance-shape.js +0 -198
  550. package/dist/lib/long-task-activation-validation.d.ts +0 -21
  551. package/dist/lib/long-task-activation-validation.js +0 -243
  552. package/dist/lib/long-task-admitted-observation-records.d.ts +0 -25
  553. package/dist/lib/long-task-admitted-observation-records.js +0 -40
  554. package/dist/lib/long-task-admitted-observation.d.ts +0 -93
  555. package/dist/lib/long-task-admitted-observation.js +0 -201
  556. package/dist/lib/long-task-applicability-shape.d.ts +0 -4
  557. package/dist/lib/long-task-applicability-shape.js +0 -54
  558. package/dist/lib/long-task-artifacts.d.ts +0 -6
  559. package/dist/lib/long-task-artifacts.js +0 -35
  560. package/dist/lib/long-task-assertions-v2.d.ts +0 -22
  561. package/dist/lib/long-task-assertions-v2.js +0 -220
  562. package/dist/lib/long-task-authoring-authority-preview.d.ts +0 -5
  563. package/dist/lib/long-task-authoring-authority-preview.js +0 -87
  564. package/dist/lib/long-task-authoring-preflight-diagnostics.d.ts +0 -8
  565. package/dist/lib/long-task-authoring-preflight-diagnostics.js +0 -191
  566. package/dist/lib/long-task-authoring-preflight-repair-order.d.ts +0 -8
  567. package/dist/lib/long-task-authoring-preflight-repair-order.js +0 -98
  568. package/dist/lib/long-task-authoring-preflight-types.d.ts +0 -46
  569. package/dist/lib/long-task-authoring-preflight-types.js +0 -38
  570. package/dist/lib/long-task-authoring-preflight.d.ts +0 -3
  571. package/dist/lib/long-task-authoring-preflight.js +0 -86
  572. package/dist/lib/long-task-authority-material-diff.d.ts +0 -17
  573. package/dist/lib/long-task-authority-material-diff.js +0 -221
  574. package/dist/lib/long-task-authority-materials.d.ts +0 -7
  575. package/dist/lib/long-task-authority-materials.js +0 -166
  576. package/dist/lib/long-task-authority-policy.d.ts +0 -287
  577. package/dist/lib/long-task-authority-policy.js +0 -307
  578. package/dist/lib/long-task-authority-revision-analysis.d.ts +0 -34
  579. package/dist/lib/long-task-authority-revision-analysis.js +0 -121
  580. package/dist/lib/long-task-authority-revision-brief.d.ts +0 -3
  581. package/dist/lib/long-task-authority-revision-brief.js +0 -76
  582. package/dist/lib/long-task-authority-revision-details.d.ts +0 -21
  583. package/dist/lib/long-task-authority-revision-details.js +0 -204
  584. package/dist/lib/long-task-authority-revision-diagnosis.d.ts +0 -24
  585. package/dist/lib/long-task-authority-revision-diagnosis.js +0 -149
  586. package/dist/lib/long-task-authority-revision-enforcement.d.ts +0 -5
  587. package/dist/lib/long-task-authority-revision-enforcement.js +0 -53
  588. package/dist/lib/long-task-authority-revision-summary.d.ts +0 -14
  589. package/dist/lib/long-task-authority-revision-summary.js +0 -246
  590. package/dist/lib/long-task-authority-revision-types.d.ts +0 -119
  591. package/dist/lib/long-task-authority-revision-types.js +0 -1
  592. package/dist/lib/long-task-authority-revision.d.ts +0 -4
  593. package/dist/lib/long-task-authority-revision.js +0 -156
  594. package/dist/lib/long-task-authority-transition-policy.d.ts +0 -62
  595. package/dist/lib/long-task-authority-transition-policy.js +0 -62
  596. package/dist/lib/long-task-authority-types.d.ts +0 -129
  597. package/dist/lib/long-task-authority-types.js +0 -1
  598. package/dist/lib/long-task-authority.d.ts +0 -7
  599. package/dist/lib/long-task-authority.js +0 -200
  600. package/dist/lib/long-task-boundary-check.d.ts +0 -15
  601. package/dist/lib/long-task-boundary-check.js +0 -9
  602. package/dist/lib/long-task-check-evidence-decoder.d.ts +0 -3
  603. package/dist/lib/long-task-check-evidence-decoder.js +0 -84
  604. package/dist/lib/long-task-check-execution-policy.d.ts +0 -21
  605. package/dist/lib/long-task-check-execution-policy.js +0 -48
  606. package/dist/lib/long-task-check-runner.d.ts +0 -2
  607. package/dist/lib/long-task-check-runner.js +0 -307
  608. package/dist/lib/long-task-check-shape.d.ts +0 -2
  609. package/dist/lib/long-task-check-shape.js +0 -171
  610. package/dist/lib/long-task-claim-definitions.d.ts +0 -7
  611. package/dist/lib/long-task-claim-definitions.js +0 -85
  612. package/dist/lib/long-task-claim-proof-policy.d.ts +0 -4
  613. package/dist/lib/long-task-claim-proof-policy.js +0 -57
  614. package/dist/lib/long-task-claims.d.ts +0 -28
  615. package/dist/lib/long-task-claims.js +0 -373
  616. package/dist/lib/long-task-codex-agent-profile.d.ts +0 -42
  617. package/dist/lib/long-task-codex-agent-profile.js +0 -276
  618. package/dist/lib/long-task-command-process.d.ts +0 -9
  619. package/dist/lib/long-task-command-process.js +0 -175
  620. package/dist/lib/long-task-compact-authoring-projections.d.ts +0 -12
  621. package/dist/lib/long-task-compact-authoring-projections.js +0 -67
  622. package/dist/lib/long-task-compact-authoring.d.ts +0 -3
  623. package/dist/lib/long-task-compact-authoring.js +0 -173
  624. package/dist/lib/long-task-compact-carrier.d.ts +0 -7
  625. package/dist/lib/long-task-compact-carrier.js +0 -132
  626. package/dist/lib/long-task-compact-parser.d.ts +0 -14
  627. package/dist/lib/long-task-compact-parser.js +0 -123
  628. package/dist/lib/long-task-compact-primitives.d.ts +0 -22
  629. package/dist/lib/long-task-compact-primitives.js +0 -132
  630. package/dist/lib/long-task-compact-projections.d.ts +0 -4
  631. package/dist/lib/long-task-compact-projections.js +0 -153
  632. package/dist/lib/long-task-compact-structure-targets.d.ts +0 -2
  633. package/dist/lib/long-task-compact-structure-targets.js +0 -91
  634. package/dist/lib/long-task-conformance-policy.d.ts +0 -5
  635. package/dist/lib/long-task-conformance-policy.js +0 -37
  636. package/dist/lib/long-task-context-authority-topology.d.ts +0 -7
  637. package/dist/lib/long-task-context-authority-topology.js +0 -37
  638. package/dist/lib/long-task-context-authority.d.ts +0 -14
  639. package/dist/lib/long-task-context-authority.js +0 -66
  640. package/dist/lib/long-task-contract-types.d.ts +0 -266
  641. package/dist/lib/long-task-contract-types.js +0 -1
  642. package/dist/lib/long-task-control-fields.d.ts +0 -12
  643. package/dist/lib/long-task-control-fields.js +0 -66
  644. package/dist/lib/long-task-control-types.d.ts +0 -1
  645. package/dist/lib/long-task-control-types.js +0 -1
  646. package/dist/lib/long-task-counterfactual-claim-policy.d.ts +0 -9
  647. package/dist/lib/long-task-counterfactual-claim-policy.js +0 -72
  648. package/dist/lib/long-task-counterfactual-sandbox.d.ts +0 -13
  649. package/dist/lib/long-task-counterfactual-sandbox.js +0 -115
  650. package/dist/lib/long-task-counterfactual-types.d.ts +0 -38
  651. package/dist/lib/long-task-counterfactual-types.js +0 -1
  652. package/dist/lib/long-task-delivery-compiler.d.ts +0 -13
  653. package/dist/lib/long-task-delivery-compiler.js +0 -155
  654. package/dist/lib/long-task-delivery-parser.d.ts +0 -14
  655. package/dist/lib/long-task-delivery-parser.js +0 -135
  656. package/dist/lib/long-task-delivery-preflight.d.ts +0 -5
  657. package/dist/lib/long-task-delivery-preflight.js +0 -175
  658. package/dist/lib/long-task-delivery-shape.d.ts +0 -6
  659. package/dist/lib/long-task-delivery-shape.js +0 -6
  660. package/dist/lib/long-task-delivery-types.d.ts +0 -13
  661. package/dist/lib/long-task-delivery-types.js +0 -13
  662. package/dist/lib/long-task-delivery-validation.d.ts +0 -6
  663. package/dist/lib/long-task-delivery-validation.js +0 -252
  664. package/dist/lib/long-task-design-feasibility-binding-owners.d.ts +0 -6
  665. package/dist/lib/long-task-design-feasibility-binding-owners.js +0 -52
  666. package/dist/lib/long-task-design-feasibility-binding.d.ts +0 -13
  667. package/dist/lib/long-task-design-feasibility-binding.js +0 -114
  668. package/dist/lib/long-task-design-feasibility-source-closure.d.ts +0 -11
  669. package/dist/lib/long-task-design-feasibility-source-closure.js +0 -78
  670. package/dist/lib/long-task-design-resource-handoff.d.ts +0 -18
  671. package/dist/lib/long-task-design-resource-handoff.js +0 -241
  672. package/dist/lib/long-task-design-resource-method-binding.d.ts +0 -15
  673. package/dist/lib/long-task-design-resource-method-binding.js +0 -297
  674. package/dist/lib/long-task-design-target-capabilities.d.ts +0 -14
  675. package/dist/lib/long-task-design-target-capabilities.js +0 -126
  676. package/dist/lib/long-task-evidence-adapter-policy.d.ts +0 -4
  677. package/dist/lib/long-task-evidence-adapter-policy.js +0 -15
  678. package/dist/lib/long-task-evidence-adapter-types.d.ts +0 -1
  679. package/dist/lib/long-task-evidence-adapter-types.js +0 -1
  680. package/dist/lib/long-task-evidence-capability-codec.d.ts +0 -96
  681. package/dist/lib/long-task-evidence-capability-codec.js +0 -892
  682. package/dist/lib/long-task-evidence-capability-policy.d.ts +0 -9
  683. package/dist/lib/long-task-evidence-capability-policy.js +0 -345
  684. package/dist/lib/long-task-evidence-capability-runtime.d.ts +0 -5
  685. package/dist/lib/long-task-evidence-capability-runtime.js +0 -580
  686. package/dist/lib/long-task-evidence-capability-types.d.ts +0 -276
  687. package/dist/lib/long-task-evidence-capability-types.js +0 -1
  688. package/dist/lib/long-task-evidence-findings.d.ts +0 -5
  689. package/dist/lib/long-task-evidence-findings.js +0 -120
  690. package/dist/lib/long-task-evidence-sensitivity-policy.d.ts +0 -13
  691. package/dist/lib/long-task-evidence-sensitivity-policy.js +0 -166
  692. package/dist/lib/long-task-evidence-v2.d.ts +0 -5
  693. package/dist/lib/long-task-evidence-v2.js +0 -525
  694. package/dist/lib/long-task-exact-comparison.d.ts +0 -16
  695. package/dist/lib/long-task-exact-comparison.js +0 -28
  696. package/dist/lib/long-task-execution-observation.d.ts +0 -24
  697. package/dist/lib/long-task-execution-observation.js +0 -332
  698. package/dist/lib/long-task-explain-acceptance-link.d.ts +0 -50
  699. package/dist/lib/long-task-explain-acceptance-link.js +0 -100
  700. package/dist/lib/long-task-explain-claim-links.d.ts +0 -47
  701. package/dist/lib/long-task-explain-claim-links.js +0 -90
  702. package/dist/lib/long-task-explain-source-links.d.ts +0 -99
  703. package/dist/lib/long-task-explain-source-links.js +0 -51
  704. package/dist/lib/long-task-final-integrity.d.ts +0 -16
  705. package/dist/lib/long-task-final-integrity.js +0 -98
  706. package/dist/lib/long-task-final-v2.d.ts +0 -2
  707. package/dist/lib/long-task-final-v2.js +0 -151
  708. package/dist/lib/long-task-finding-context.d.ts +0 -3
  709. package/dist/lib/long-task-finding-context.js +0 -63
  710. package/dist/lib/long-task-freshness.d.ts +0 -3
  711. package/dist/lib/long-task-freshness.js +0 -80
  712. package/dist/lib/long-task-hook-install.d.ts +0 -26
  713. package/dist/lib/long-task-hook-install.js +0 -381
  714. package/dist/lib/long-task-hook-preflight.d.ts +0 -7
  715. package/dist/lib/long-task-hook-preflight.js +0 -58
  716. package/dist/lib/long-task-json-pointer-observation.d.ts +0 -59
  717. package/dist/lib/long-task-json-pointer-observation.js +0 -184
  718. package/dist/lib/long-task-observation-artifact.d.ts +0 -8
  719. package/dist/lib/long-task-observation-artifact.js +0 -58
  720. package/dist/lib/long-task-observation-authority.d.ts +0 -17
  721. package/dist/lib/long-task-observation-authority.js +0 -348
  722. package/dist/lib/long-task-observation-ownership.d.ts +0 -2
  723. package/dist/lib/long-task-observation-ownership.js +0 -22
  724. package/dist/lib/long-task-outcome-parser.d.ts +0 -4
  725. package/dist/lib/long-task-outcome-parser.js +0 -143
  726. package/dist/lib/long-task-paths.d.ts +0 -48
  727. package/dist/lib/long-task-paths.js +0 -414
  728. package/dist/lib/long-task-playwright-capability-records.d.ts +0 -7
  729. package/dist/lib/long-task-playwright-capability-records.js +0 -218
  730. package/dist/lib/long-task-playwright-case-evidence.d.ts +0 -46
  731. package/dist/lib/long-task-playwright-case-evidence.js +0 -91
  732. package/dist/lib/long-task-playwright-case-primitives.d.ts +0 -28
  733. package/dist/lib/long-task-playwright-case-primitives.js +0 -143
  734. package/dist/lib/long-task-playwright-counterfactual-policy.d.ts +0 -7
  735. package/dist/lib/long-task-playwright-counterfactual-policy.js +0 -125
  736. package/dist/lib/long-task-playwright-evidence.d.ts +0 -8
  737. package/dist/lib/long-task-playwright-evidence.js +0 -147
  738. package/dist/lib/long-task-process-observation.d.ts +0 -6
  739. package/dist/lib/long-task-process-observation.js +0 -117
  740. package/dist/lib/long-task-process-runtime-closure.d.ts +0 -13
  741. package/dist/lib/long-task-process-runtime-closure.js +0 -207
  742. package/dist/lib/long-task-process-table.d.ts +0 -12
  743. package/dist/lib/long-task-process-table.js +0 -119
  744. package/dist/lib/long-task-process-tree.d.ts +0 -9
  745. package/dist/lib/long-task-process-tree.js +0 -138
  746. package/dist/lib/long-task-product-shape.d.ts +0 -8
  747. package/dist/lib/long-task-product-shape.js +0 -197
  748. package/dist/lib/long-task-progress.d.ts +0 -4
  749. package/dist/lib/long-task-progress.js +0 -120
  750. package/dist/lib/long-task-protected-files.d.ts +0 -1
  751. package/dist/lib/long-task-protected-files.js +0 -1
  752. package/dist/lib/long-task-required-proof-surfaces.d.ts +0 -2
  753. package/dist/lib/long-task-required-proof-surfaces.js +0 -13
  754. package/dist/lib/long-task-requirement-shape.d.ts +0 -2
  755. package/dist/lib/long-task-requirement-shape.js +0 -21
  756. package/dist/lib/long-task-risk-surfaces.d.ts +0 -2
  757. package/dist/lib/long-task-risk-surfaces.js +0 -60
  758. package/dist/lib/long-task-risk-types.d.ts +0 -5
  759. package/dist/lib/long-task-risk-types.js +0 -12
  760. package/dist/lib/long-task-risk.d.ts +0 -9
  761. package/dist/lib/long-task-risk.js +0 -137
  762. package/dist/lib/long-task-root-shape.d.ts +0 -5
  763. package/dist/lib/long-task-root-shape.js +0 -182
  764. package/dist/lib/long-task-runner-environment.d.ts +0 -7
  765. package/dist/lib/long-task-runner-environment.js +0 -57
  766. package/dist/lib/long-task-runner-files.d.ts +0 -3
  767. package/dist/lib/long-task-runner-files.js +0 -39
  768. package/dist/lib/long-task-runner-freeze.d.ts +0 -4
  769. package/dist/lib/long-task-runner-freeze.js +0 -303
  770. package/dist/lib/long-task-runtime-types.d.ts +0 -352
  771. package/dist/lib/long-task-runtime-types.js +0 -1
  772. package/dist/lib/long-task-scoped-binding.d.ts +0 -13
  773. package/dist/lib/long-task-scoped-binding.js +0 -11
  774. package/dist/lib/long-task-semantic-assurance-policy.d.ts +0 -4
  775. package/dist/lib/long-task-semantic-assurance-policy.js +0 -52
  776. package/dist/lib/long-task-semantic-contract-types.d.ts +0 -54
  777. package/dist/lib/long-task-semantic-contract-types.js +0 -1
  778. package/dist/lib/long-task-semantic-drift-migration.d.ts +0 -3
  779. package/dist/lib/long-task-semantic-drift-migration.js +0 -104
  780. package/dist/lib/long-task-semantic-fact-binding-types.d.ts +0 -65
  781. package/dist/lib/long-task-semantic-fact-binding-types.js +0 -1
  782. package/dist/lib/long-task-semantic-fact-closure-primitives.d.ts +0 -5
  783. package/dist/lib/long-task-semantic-fact-closure-primitives.js +0 -43
  784. package/dist/lib/long-task-semantic-fact-closure.d.ts +0 -13
  785. package/dist/lib/long-task-semantic-fact-closure.js +0 -51
  786. package/dist/lib/long-task-semantic-fact-contract-closure.d.ts +0 -4
  787. package/dist/lib/long-task-semantic-fact-contract-closure.js +0 -36
  788. package/dist/lib/long-task-semantic-fact-contract-facts.d.ts +0 -4
  789. package/dist/lib/long-task-semantic-fact-contract-facts.js +0 -33
  790. package/dist/lib/long-task-semantic-fact-contract-proofs.d.ts +0 -4
  791. package/dist/lib/long-task-semantic-fact-contract-proofs.js +0 -106
  792. package/dist/lib/long-task-semantic-fact-evidence.d.ts +0 -25
  793. package/dist/lib/long-task-semantic-fact-evidence.js +0 -225
  794. package/dist/lib/long-task-semantic-fact-input-closure.d.ts +0 -4
  795. package/dist/lib/long-task-semantic-fact-input-closure.js +0 -101
  796. package/dist/lib/long-task-semantic-fact-provenance-closure.d.ts +0 -4
  797. package/dist/lib/long-task-semantic-fact-provenance-closure.js +0 -140
  798. package/dist/lib/long-task-semantic-fact-shape.d.ts +0 -3
  799. package/dist/lib/long-task-semantic-fact-shape.js +0 -100
  800. package/dist/lib/long-task-semantic-fact-value-closure.d.ts +0 -3
  801. package/dist/lib/long-task-semantic-fact-value-closure.js +0 -110
  802. package/dist/lib/long-task-semantic-mutation.d.ts +0 -7
  803. package/dist/lib/long-task-semantic-mutation.js +0 -81
  804. package/dist/lib/long-task-shape-primitives.d.ts +0 -21
  805. package/dist/lib/long-task-shape-primitives.js +0 -116
  806. package/dist/lib/long-task-source-authority-types.d.ts +0 -15
  807. package/dist/lib/long-task-source-authority-types.js +0 -1
  808. package/dist/lib/long-task-source-claim-validation.d.ts +0 -5
  809. package/dist/lib/long-task-source-claim-validation.js +0 -99
  810. package/dist/lib/long-task-source-continuity.d.ts +0 -4
  811. package/dist/lib/long-task-source-continuity.js +0 -57
  812. package/dist/lib/long-task-source-inventory.d.ts +0 -2
  813. package/dist/lib/long-task-source-inventory.js +0 -21
  814. package/dist/lib/long-task-source-item-parser.d.ts +0 -11
  815. package/dist/lib/long-task-source-item-parser.js +0 -108
  816. package/dist/lib/long-task-source-markers.d.ts +0 -12
  817. package/dist/lib/long-task-source-markers.js +0 -146
  818. package/dist/lib/long-task-source-owned-sections.d.ts +0 -29
  819. package/dist/lib/long-task-source-owned-sections.js +0 -90
  820. package/dist/lib/long-task-source-shape.d.ts +0 -2
  821. package/dist/lib/long-task-source-shape.js +0 -56
  822. package/dist/lib/long-task-source-target-continuity.d.ts +0 -4
  823. package/dist/lib/long-task-source-target-continuity.js +0 -141
  824. package/dist/lib/long-task-source-target-index.d.ts +0 -15
  825. package/dist/lib/long-task-source-target-index.js +0 -91
  826. package/dist/lib/long-task-source-validation.d.ts +0 -3
  827. package/dist/lib/long-task-source-validation.js +0 -46
  828. package/dist/lib/long-task-stage-policy.d.ts +0 -4
  829. package/dist/lib/long-task-stage-policy.js +0 -126
  830. package/dist/lib/long-task-state.d.ts +0 -79
  831. package/dist/lib/long-task-state.js +0 -611
  832. package/dist/lib/long-task-static-observation-freeze.d.ts +0 -83
  833. package/dist/lib/long-task-static-observation-freeze.js +0 -428
  834. package/dist/lib/long-task-status-projection.d.ts +0 -24
  835. package/dist/lib/long-task-status-projection.js +0 -180
  836. package/dist/lib/long-task-status-v2.d.ts +0 -57
  837. package/dist/lib/long-task-status-v2.js +0 -351
  838. package/dist/lib/long-task-target-policy.d.ts +0 -6
  839. package/dist/lib/long-task-target-policy.js +0 -150
  840. package/dist/lib/long-task-technical-shape.d.ts +0 -3
  841. package/dist/lib/long-task-technical-shape.js +0 -44
  842. package/dist/lib/long-task-ui-design-policy.d.ts +0 -17
  843. package/dist/lib/long-task-ui-design-policy.js +0 -225
  844. package/dist/lib/long-task-ui-surface-policy.d.ts +0 -5
  845. package/dist/lib/long-task-ui-surface-policy.js +0 -112
  846. package/dist/lib/long-task-ui-surface-shape.d.ts +0 -2
  847. package/dist/lib/long-task-ui-surface-shape.js +0 -402
  848. package/dist/lib/long-task-ui-surface-types.d.ts +0 -134
  849. package/dist/lib/long-task-ui-surface-types.js +0 -1
  850. package/dist/lib/long-task-ui-surface-validation.d.ts +0 -13
  851. package/dist/lib/long-task-ui-surface-validation.js +0 -62
  852. package/dist/lib/long-task-verification-preview.d.ts +0 -65
  853. package/dist/lib/long-task-verification-preview.js +0 -120
  854. package/dist/lib/long-task-verifier-authority.d.ts +0 -12
  855. package/dist/lib/long-task-verifier-authority.js +0 -49
  856. package/dist/lib/long-task-verifier-dependency-closure.d.ts +0 -3
  857. package/dist/lib/long-task-verifier-dependency-closure.js +0 -183
  858. package/dist/lib/long-task-verifier-identity.d.ts +0 -2
  859. package/dist/lib/long-task-verifier-identity.js +0 -55
  860. package/dist/lib/long-task-verifier-v2.d.ts +0 -17
  861. package/dist/lib/long-task-verifier-v2.js +0 -330
  862. package/dist/lib/long-task-worker-selection.d.ts +0 -2
  863. package/dist/lib/long-task-worker-selection.js +0 -7
  864. package/dist/lib/long-task-workspace-manifest.d.ts +0 -8
  865. package/dist/lib/long-task-workspace-manifest.js +0 -173
  866. package/dist/lib/long-task-workspace-runtime-types.d.ts +0 -23
  867. package/dist/lib/long-task-workspace-runtime-types.js +0 -1
  868. package/dist/lib/long-task-workspace-scope.d.ts +0 -38
  869. package/dist/lib/long-task-workspace-scope.js +0 -123
  870. package/dist/lib/long-task-workspace-snapshot.d.ts +0 -8
  871. package/dist/lib/long-task-workspace-snapshot.js +0 -176
  872. package/dist/lib/long-task-workspace.d.ts +0 -5
  873. package/dist/lib/long-task-workspace.js +0 -4
  874. package/dist/lib/modularity-capability-migration.d.ts +0 -2
  875. package/dist/lib/modularity-capability-migration.js +0 -165
  876. package/dist/lib/modularity-python.d.ts +0 -7
  877. package/dist/lib/modularity-python.js +0 -191
  878. package/dist/lib/modularity.d.ts +0 -60
  879. package/dist/lib/modularity.js +0 -781
  880. package/dist/lib/profiles.d.ts +0 -13
  881. package/dist/lib/profiles.js +0 -65
  882. package/dist/lib/semantic-fact-base-types.d.ts +0 -14
  883. package/dist/lib/semantic-fact-base-types.js +0 -1
  884. package/dist/lib/semantic-fact-catalog.d.ts +0 -8
  885. package/dist/lib/semantic-fact-catalog.js +0 -191
  886. package/dist/lib/semantic-fact-compact-authoring.d.ts +0 -2
  887. package/dist/lib/semantic-fact-compact-authoring.js +0 -160
  888. package/dist/lib/semantic-fact-compact-capacity.d.ts +0 -9
  889. package/dist/lib/semantic-fact-compact-capacity.js +0 -40
  890. package/dist/lib/semantic-fact-compact-carrier.d.ts +0 -16
  891. package/dist/lib/semantic-fact-compact-carrier.js +0 -146
  892. package/dist/lib/semantic-fact-compact-parser.d.ts +0 -17
  893. package/dist/lib/semantic-fact-compact-parser.js +0 -168
  894. package/dist/lib/semantic-fact-compact-revision.d.ts +0 -11
  895. package/dist/lib/semantic-fact-compact-revision.js +0 -64
  896. package/dist/lib/semantic-fact-compact-support.d.ts +0 -23
  897. package/dist/lib/semantic-fact-compact-support.js +0 -159
  898. package/dist/lib/semantic-fact-condition-shape.d.ts +0 -48
  899. package/dist/lib/semantic-fact-condition-shape.js +0 -111
  900. package/dist/lib/semantic-fact-input-shape.d.ts +0 -34
  901. package/dist/lib/semantic-fact-input-shape.js +0 -111
  902. package/dist/lib/semantic-fact-inventory-types.d.ts +0 -147
  903. package/dist/lib/semantic-fact-inventory-types.js +0 -1
  904. package/dist/lib/semantic-fact-manifest-shape.d.ts +0 -4
  905. package/dist/lib/semantic-fact-manifest-shape.js +0 -135
  906. package/dist/lib/semantic-fact-manifest-types.d.ts +0 -58
  907. package/dist/lib/semantic-fact-manifest-types.js +0 -19
  908. package/dist/lib/semantic-fact-policy-authority.d.ts +0 -8
  909. package/dist/lib/semantic-fact-policy-authority.js +0 -79
  910. package/dist/lib/semantic-fact-policy-census.d.ts +0 -3
  911. package/dist/lib/semantic-fact-policy-census.js +0 -123
  912. package/dist/lib/semantic-fact-policy-condition-references.d.ts +0 -7
  913. package/dist/lib/semantic-fact-policy-condition-references.js +0 -19
  914. package/dist/lib/semantic-fact-policy-conditions.d.ts +0 -2
  915. package/dist/lib/semantic-fact-policy-conditions.js +0 -105
  916. package/dist/lib/semantic-fact-policy-facts.d.ts +0 -3
  917. package/dist/lib/semantic-fact-policy-facts.js +0 -73
  918. package/dist/lib/semantic-fact-policy-primitives.d.ts +0 -26
  919. package/dist/lib/semantic-fact-policy-primitives.js +0 -169
  920. package/dist/lib/semantic-fact-policy-proofs.d.ts +0 -2
  921. package/dist/lib/semantic-fact-policy-proofs.js +0 -75
  922. package/dist/lib/semantic-fact-policy-properties.d.ts +0 -3
  923. package/dist/lib/semantic-fact-policy-properties.js +0 -84
  924. package/dist/lib/semantic-fact-policy-units.d.ts +0 -4
  925. package/dist/lib/semantic-fact-policy-units.js +0 -103
  926. package/dist/lib/semantic-fact-policy.d.ts +0 -17
  927. package/dist/lib/semantic-fact-policy.js +0 -41
  928. package/dist/lib/semantic-fact-proof-shape.d.ts +0 -51
  929. package/dist/lib/semantic-fact-proof-shape.js +0 -121
  930. package/dist/lib/semantic-fact-proof-types.d.ts +0 -74
  931. package/dist/lib/semantic-fact-proof-types.js +0 -1
  932. package/dist/lib/semantic-fact-property-shape.d.ts +0 -29
  933. package/dist/lib/semantic-fact-property-shape.js +0 -77
  934. package/dist/lib/semantic-fact-shape-constants.d.ts +0 -3
  935. package/dist/lib/semantic-fact-shape-constants.js +0 -38
  936. package/dist/lib/semantic-fact-shape-primitives.d.ts +0 -15
  937. package/dist/lib/semantic-fact-shape-primitives.js +0 -68
  938. package/dist/lib/semantic-fact-source-parser.d.ts +0 -14
  939. package/dist/lib/semantic-fact-source-parser.js +0 -87
  940. package/dist/lib/semantic-fact-support-shape.d.ts +0 -21
  941. package/dist/lib/semantic-fact-support-shape.js +0 -59
  942. package/dist/lib/semantic-fact-types.d.ts +0 -5
  943. package/dist/lib/semantic-fact-types.js +0 -5
  944. package/dist/lib/semantic-fact-unit-shape.d.ts +0 -34
  945. package/dist/lib/semantic-fact-unit-shape.js +0 -89
  946. package/dist/lib/semantic-fact-value-shape.d.ts +0 -12
  947. package/dist/lib/semantic-fact-value-shape.js +0 -39
  948. package/dist/lib/source-line-scanner.d.ts +0 -3
  949. package/dist/lib/source-line-scanner.js +0 -42
  950. package/dist/lib/stable-json.d.ts +0 -2
  951. package/dist/lib/stable-json.js +0 -21
  952. package/dist/lib/structural-closure-cost.d.ts +0 -79
  953. package/dist/lib/structural-closure-cost.js +0 -91
  954. package/dist/lib/symbolic-denotation-dag-builder.d.ts +0 -25
  955. package/dist/lib/symbolic-denotation-dag-builder.js +0 -176
  956. package/dist/lib/symbolic-denotation-domain-validation.d.ts +0 -3
  957. package/dist/lib/symbolic-denotation-domain-validation.js +0 -56
  958. package/dist/lib/symbolic-denotation-engine.d.ts +0 -32
  959. package/dist/lib/symbolic-denotation-engine.js +0 -140
  960. package/dist/lib/symbolic-denotation-public.d.ts +0 -11
  961. package/dist/lib/symbolic-denotation-public.js +0 -12
  962. package/dist/lib/symbolic-denotation-runtime.d.ts +0 -20
  963. package/dist/lib/symbolic-denotation-runtime.js +0 -90
  964. package/dist/lib/symbolic-denotation-support.d.ts +0 -11
  965. package/dist/lib/symbolic-denotation-support.js +0 -49
  966. package/dist/lib/symbolic-denotation-types.d.ts +0 -133
  967. package/dist/lib/symbolic-denotation-types.js +0 -18
  968. package/dist/lib/symbolic-denotation-validation.d.ts +0 -6
  969. package/dist/lib/symbolic-denotation-validation.js +0 -126
  970. package/dist/long-task-hook.d.ts +0 -2
  971. package/dist/long-task-hook.js +0 -103
  972. package/dist/schemas/design-resource-symbolic-noninterference-artifact-v2.schema.json +0 -289
  973. package/dist/schemas/design-resource-symbolic-source-ir-v1.schema.json +0 -130
  974. package/dist/schemas/long-task-delivery-v2/long-task-delivery-v2.schema.json +0 -2190
  975. package/dist/schemas/long-task-delivery-v2/long-task-outcomes-v2.schema.json +0 -18
  976. /package/dist/lib/{compact-shared-structure-types.js → context-catalog/catalog-types.js} +0 -0
  977. /package/dist/lib/{design-resource-fact-types.js → context-create/context-create-types.js} +0 -0
  978. /package/dist/lib/{design-resource-handoff-input-types.js → context-inspect/context-inspect-types.js} +0 -0
  979. /package/dist/lib/{design-resource-reconciliation-types.js → context-markdown/context-markdown-types.js} +0 -0
  980. /package/dist/lib/{design-resource-recovery-patch-types.js → context-move/context-move-types.js} +0 -0
  981. /package/dist/lib/{design-resource-recovery-types.js → context-mutation/mutation-types.js} +0 -0
  982. /package/dist/lib/{design-resource-symbolic-fact-types.js → context-register/context-register-types.js} +0 -0
  983. /package/dist/lib/{long-task-git.d.ts → git.d.ts} +0 -0
@@ -1,332 +0,0 @@
1
- import { chmod, copyFile, mkdir, mkdtemp, rm } from "node:fs/promises";
2
- import os from "node:os";
3
- import path from "node:path";
4
- import { createJsonPointerExactBudget } from "./long-task-json-pointer-observation.js";
5
- import { matchesRepoPattern } from "./long-task-paths.js";
6
- import { StaticObservationFreezeError, createObservationInputFreezeBudget, freezeObservationInputFile, freezeStaticObservationCarrier, } from "./long-task-static-observation-freeze.js";
7
- const PROCESS_INPUT_FREEZE_LIMITS = Object.freeze({
8
- max_artifacts: 4_096,
9
- max_file_bytes: 268_435_456,
10
- max_total_artifact_bytes: 536_870_912,
11
- });
12
- function createProcessInputFreezeBudget() {
13
- return createObservationInputFreezeBudget({
14
- max_artifacts: PROCESS_INPUT_FREEZE_LIMITS.max_artifacts,
15
- max_total_artifact_bytes: PROCESS_INPUT_FREEZE_LIMITS.max_total_artifact_bytes,
16
- });
17
- }
18
- /**
19
- * Freezes every selected Raw Execution group's observation inputs before the
20
- * caller is allowed to start any runner. Keeping this as one owner prevents a
21
- * prior execution from priming a later group's supposedly pre-run carrier.
22
- */
23
- export async function prepareExecutionObservationUniverse(input) {
24
- const prepared = [];
25
- const processInputBudget = createProcessInputFreezeBudget();
26
- for (const checks of input.groups)
27
- prepared.push(await prepareExecutionObservationGroupWithBudget({
28
- checks,
29
- snapshot_root: input.snapshot_root,
30
- workspace_manifest: input.workspace_manifest,
31
- protected_authority_paths: input.protected_authority_paths,
32
- process_input_budget: processInputBudget,
33
- }));
34
- return prepared;
35
- }
36
- export async function prepareExecutionObservationGroup(input) {
37
- return prepareExecutionObservationGroupWithBudget({
38
- ...input,
39
- process_input_budget: createProcessInputFreezeBudget(),
40
- });
41
- }
42
- async function prepareExecutionObservationGroupWithBudget(input) {
43
- if (!input.checks.length)
44
- throw new Error("execution_observation_check_group_required");
45
- const rawIdentity = input.checks[0].raw_execution_identity;
46
- if (input.checks.some((check) => check.raw_execution_identity !== rawIdentity))
47
- throw new Error("execution_observation_raw_identity_mismatch");
48
- const states = authorityCarrierStates(input.checks, input.workspace_manifest);
49
- const groups = observationCarrierGroups(states);
50
- const exactBudget = createJsonPointerExactBudget();
51
- const processInputBudget = input.process_input_budget;
52
- const processExecution = states.some((state) => state.authority.authority === "package_process_json_exact");
53
- const executionRoot = processExecution
54
- ? await mkdtemp(path.join(os.tmpdir(), "ty-context-process-snapshot-"))
55
- : input.snapshot_root;
56
- if (processExecution)
57
- await mkdir(path.resolve(executionRoot, input.checks[0].runner.resolved_cwd), { recursive: true });
58
- for (const group of groups) {
59
- if ((input.protected_authority_paths ?? []).some((pattern) => matchesRepoPattern(group.artifact_path, pattern))) {
60
- for (const state of group.authority_states)
61
- recordAuthorityFailure(state, "observation_expected_authority_forbidden");
62
- continue;
63
- }
64
- try {
65
- const includesStaticAuthority = group.authority_states.some((state) => state.authority.authority === "package_static_json_exact");
66
- const includesProcessAuthority = group.authority_states.some((state) => state.authority.authority === "package_process_json_exact");
67
- let sourceIdentity = null;
68
- if (processExecution) {
69
- const sourceFrozen = await freezeObservationInputFile({
70
- snapshot_root: input.snapshot_root,
71
- workspace_manifest: input.workspace_manifest,
72
- artifact_path: group.artifact_path,
73
- max_file_bytes: PROCESS_INPUT_FREEZE_LIMITS.max_file_bytes,
74
- budget: processInputBudget,
75
- });
76
- try {
77
- const target = path.resolve(executionRoot, ...group.artifact_path.split("/"));
78
- await mkdir(path.dirname(target), { recursive: true });
79
- await copyFile(path.resolve(input.snapshot_root, ...group.artifact_path.split("/")), target);
80
- const verifiedSource = await sourceFrozen.verifyPostRun();
81
- sourceIdentity = verifiedSource.pre_run_identity;
82
- await chmod(target, sourceIdentity.mode & 0o777);
83
- }
84
- finally {
85
- sourceFrozen.dispose();
86
- }
87
- }
88
- group.frozen = includesStaticAuthority
89
- ? await freezeStaticObservationCarrier({
90
- snapshot_root: executionRoot,
91
- workspace_manifest: input.workspace_manifest,
92
- artifact_path: group.artifact_path,
93
- budget: exactBudget,
94
- input_freeze_budget: includesProcessAuthority
95
- ? processInputBudget
96
- : undefined,
97
- })
98
- : await freezeObservationInputFile({
99
- snapshot_root: executionRoot,
100
- workspace_manifest: input.workspace_manifest,
101
- artifact_path: group.artifact_path,
102
- max_file_bytes: PROCESS_INPUT_FREEZE_LIMITS.max_file_bytes,
103
- budget: processInputBudget,
104
- });
105
- if (sourceIdentity &&
106
- (group.frozen.pre_run_identity.content_sha256 !==
107
- sourceIdentity.content_sha256 ||
108
- group.frozen.pre_run_identity.size !== sourceIdentity.size))
109
- throw new Error("process_observation_input_snapshot_copy_mismatch");
110
- }
111
- catch (error) {
112
- const reason = observationFailureReason(error);
113
- for (const state of group.authority_states)
114
- recordAuthorityFailure(state, reason);
115
- }
116
- }
117
- const processAuthorities = states
118
- .filter((state) => state.authority.authority === "package_process_json_exact")
119
- .map((state) => state.authority);
120
- const processRuntimeClosureIdentities = [
121
- ...new Set(input.checks
122
- .filter((check) => (check.observation_authorities ?? []).some((authority) => authority.authority === "package_process_json_exact"))
123
- .map((check) => check.process_runtime_closure?.closure_identity ?? null)),
124
- ];
125
- if (processExecution &&
126
- (processRuntimeClosureIdentities.length !== 1 ||
127
- processRuntimeClosureIdentities[0] === null))
128
- throw new Error("process_runtime_closure_identity_mismatch");
129
- let disposed = false;
130
- const dispose = async () => {
131
- if (disposed)
132
- return;
133
- disposed = true;
134
- for (const group of groups)
135
- group.frozen?.dispose();
136
- if (processExecution)
137
- await rm(executionRoot, { recursive: true, force: true });
138
- };
139
- return {
140
- execution_root: executionRoot,
141
- runner_context: {
142
- snapshot_sha256: input.workspace_manifest.snapshot_sha256,
143
- observation_authorities: processAuthorities,
144
- ...(processExecution
145
- ? {
146
- process_runtime_closure_identity: processRuntimeClosureIdentities[0],
147
- }
148
- : {}),
149
- },
150
- finalize: async (raw) => {
151
- try {
152
- const verified = new Map();
153
- for (const group of groups) {
154
- if (!group.frozen)
155
- continue;
156
- try {
157
- verified.set(group.artifact_path, await group.frozen.verifyPostRun());
158
- }
159
- catch (error) {
160
- const reason = observationFailureReason(error);
161
- for (const state of group.authority_states)
162
- recordAuthorityFailure(state, reason);
163
- }
164
- }
165
- return {
166
- ...raw,
167
- package_observations: finalizePackageObservations(states, verified, raw.package_observations ?? [], exactBudget),
168
- };
169
- }
170
- finally {
171
- await dispose();
172
- }
173
- },
174
- dispose,
175
- };
176
- }
177
- function authorityCarrierStates(checks, manifest) {
178
- const states = [];
179
- for (const check of checks)
180
- for (const authority of check.observation_authorities ?? []) {
181
- if (authority.authority !== "package_static_json_exact" &&
182
- authority.authority !== "package_process_json_exact")
183
- continue;
184
- const state = {
185
- check,
186
- authority: authority,
187
- artifact_paths: [],
188
- reason: null,
189
- };
190
- const carrierPatterns = authority.carrier_refs.flatMap((carrier) => carrier.carrier_paths);
191
- addPatternClosure(state, manifest, carrierPatterns);
192
- if (authority.authority === "package_process_json_exact") {
193
- const closure = check.process_runtime_closure;
194
- if (!closure)
195
- recordAuthorityFailure(state, "process_runtime_closure_identity_mismatch");
196
- else
197
- state.artifact_paths.push(...closure.allowed_runtime_files);
198
- }
199
- state.artifact_paths = [...new Set(state.artifact_paths)].sort();
200
- if (authority.authority === "package_static_json_exact" &&
201
- state.artifact_paths.length !== 1)
202
- recordAuthorityFailure(state, "static_observation_manifest_invalid");
203
- states.push(state);
204
- }
205
- return states;
206
- }
207
- function addPatternClosure(state, manifest, patterns) {
208
- for (const pattern of new Set(patterns)) {
209
- let matches;
210
- try {
211
- matches = manifest.files
212
- .filter((file) => matchesRepoPattern(file.path, pattern))
213
- .map((file) => file.path);
214
- }
215
- catch {
216
- recordAuthorityFailure(state, "static_observation_manifest_invalid");
217
- continue;
218
- }
219
- if (!matches.length) {
220
- recordAuthorityFailure(state, "static_observation_not_in_pre_run_snapshot");
221
- continue;
222
- }
223
- state.artifact_paths.push(...matches);
224
- }
225
- }
226
- function observationCarrierGroups(states) {
227
- const groups = new Map();
228
- for (const state of states)
229
- for (const artifactPath of state.artifact_paths) {
230
- const existing = groups.get(artifactPath);
231
- if (existing)
232
- existing.authority_states.push(state);
233
- else
234
- groups.set(artifactPath, {
235
- artifact_path: artifactPath,
236
- authority_states: [state],
237
- frozen: null,
238
- });
239
- }
240
- return [...groups.values()].sort((left, right) => left.artifact_path.localeCompare(right.artifact_path));
241
- }
242
- function finalizePackageObservations(states, verified, submitted, budget) {
243
- const processStates = states.filter((state) => state.authority.authority === "package_process_json_exact");
244
- const observations = submitted.filter((candidate) => {
245
- const matching = processStates.filter((state) => packageObservationMatchesAuthority(candidate, state.authority));
246
- return !matching.some((state) => state.reason !== null);
247
- });
248
- for (const state of processStates)
249
- if (state.reason)
250
- observations.push(failedObservation(state.authority, state.reason));
251
- for (const state of states.filter((candidate) => candidate.authority.authority === "package_static_json_exact")) {
252
- if (state.reason) {
253
- observations.push(failedObservation(state.authority, state.reason));
254
- continue;
255
- }
256
- const carrier = verified.get(state.artifact_paths[0]);
257
- if (!carrier || !isVerifiedStaticObservationCarrier(carrier)) {
258
- observations.push(failedObservation(state.authority, "static_observation_not_in_pre_run_snapshot"));
259
- continue;
260
- }
261
- try {
262
- const extracted = carrier.extractJsonPointerExactValue({
263
- locator: {
264
- kind: "json_pointer",
265
- value: state.authority.locator_policy.value,
266
- },
267
- sensitivity: "plain",
268
- budget,
269
- });
270
- observations.push({
271
- authority: "package_static_json_exact",
272
- observation_identity: state.authority.observation_identity,
273
- assertion_ref: state.authority.assertion_ref,
274
- obligation_ref: state.authority.obligation_ref,
275
- method: state.authority.method,
276
- raw_value: extracted.raw_value,
277
- observation: extracted.observation,
278
- reason: null,
279
- });
280
- }
281
- catch (error) {
282
- observations.push(failedObservation(state.authority, observationFailureReason(error)));
283
- }
284
- }
285
- return observations;
286
- }
287
- function isVerifiedStaticObservationCarrier(value) {
288
- return "extractJsonPointerExactValue" in value;
289
- }
290
- function packageObservationMatchesAuthority(observation, authority) {
291
- return (observation.authority === authority.authority &&
292
- observation.observation_identity === authority.observation_identity &&
293
- observation.assertion_ref === authority.assertion_ref &&
294
- observation.obligation_ref === authority.obligation_ref &&
295
- observation.method === authority.method);
296
- }
297
- function failedObservation(authority, reason) {
298
- return {
299
- authority: authority.authority,
300
- observation_identity: authority.observation_identity,
301
- assertion_ref: authority.assertion_ref,
302
- obligation_ref: authority.obligation_ref,
303
- method: authority.method,
304
- raw_value: undefined,
305
- observation: null,
306
- reason,
307
- };
308
- }
309
- function recordAuthorityFailure(state, reason) {
310
- if (state.reason)
311
- return;
312
- state.reason =
313
- state.authority.authority === "package_process_json_exact"
314
- ? processInputFailureReason(reason)
315
- : reason;
316
- }
317
- function processInputFailureReason(reason) {
318
- if (reason === "observation_expected_authority_forbidden")
319
- return reason;
320
- if (reason === "process_runtime_closure_identity_mismatch")
321
- return reason;
322
- if (reason.startsWith("process_observation_input_"))
323
- return reason;
324
- if (reason.startsWith("static_observation_"))
325
- return `process_observation_input_${reason.slice("static_observation_".length)}`;
326
- return "process_observation_input_freeze_invalid";
327
- }
328
- function observationFailureReason(error) {
329
- if (error instanceof StaticObservationFreezeError)
330
- return error.code;
331
- return error instanceof Error ? error.message : String(error);
332
- }
@@ -1,50 +0,0 @@
1
- import type { ClaimCoverageSummaryV2, DeliveryContractV2, SourceClaimV2 } from "./long-task-delivery-types.js";
2
- type AcceptanceDisposition = Extract<SourceClaimV2["disposition"], {
3
- type: "acceptance";
4
- }>;
5
- export declare function explainAcceptanceLinks(contract: DeliveryContractV2, coverage: ClaimCoverageSummaryV2, disposition: AcceptanceDisposition): ({
6
- type: "acceptance";
7
- reference: string;
8
- scope: "global" | "outcome";
9
- outcome_key: string | null;
10
- criterion: string | null;
11
- claims: string[];
12
- source_backed_claims: string[];
13
- required_proof_surfaces: Record<string, string[]>;
14
- covered_proof_surfaces: Record<string, string[]>;
15
- proof_surface: import("./long-task-contract-types.js").ProofSurface;
16
- evidence_adapter: import("./long-task-evidence-adapter-types.js").EvidenceAdapter;
17
- observation: string;
18
- counterfactuals: {
19
- key: string;
20
- claims: string[];
21
- binding_ref: string;
22
- owning_outcome_key: string;
23
- expected_assertion_failures: string[];
24
- preserved_assertions: string[];
25
- allowed_fanout_assertions: string[];
26
- }[] | {
27
- key: string;
28
- claims: string[];
29
- binding_key: string;
30
- owning_outcome_key: string | null;
31
- expected_assertion_failures: string[];
32
- preserved_assertions: string[];
33
- allowed_fanout_assertions: string[];
34
- }[];
35
- } | {
36
- type: string;
37
- reference: string;
38
- scope: null;
39
- outcome_key: null;
40
- criterion: null;
41
- claims: never[];
42
- source_backed_claims: never[];
43
- required_proof_surfaces: {};
44
- covered_proof_surfaces: {};
45
- proof_surface: null;
46
- evidence_adapter: null;
47
- observation: null;
48
- counterfactuals: never[];
49
- })[];
50
- export {};
@@ -1,100 +0,0 @@
1
- import { resolveAcceptanceAssertion } from "./long-task-acceptance-reference.js";
2
- import { evidenceAdapterForRunner } from "./long-task-evidence-adapter-policy.js";
3
- export function explainAcceptanceLinks(contract, coverage, disposition) {
4
- return disposition.refs.map((reference) => {
5
- const resolved = resolveAcceptanceAssertion(contract, reference);
6
- if (!resolved)
7
- return missingAcceptanceLink(reference);
8
- const { assertion, check } = resolved;
9
- const required = {};
10
- const covered = {};
11
- for (const claim of assertion.claims) {
12
- if (resolved.scope === "outcome") {
13
- const proof = coverage.claims_by_outcome[resolved.outcome_key]?.[claim];
14
- required[claim] = proof ? proof.required_surfaces : [];
15
- covered[claim] = proof ? proof.covered_surfaces : [];
16
- }
17
- else {
18
- const proof = coverage.claims_by_global[claim];
19
- required[claim] = [];
20
- covered[claim] = proof
21
- ? [...new Set(proof.proofs.map((item) => item.proof_surface))].sort()
22
- : [];
23
- }
24
- }
25
- const counterfactuals = acceptanceCounterfactuals(contract, resolved.scope, resolved.outcome_key, resolved.check_key, resolved.assertion_key);
26
- return {
27
- type: disposition.type,
28
- reference,
29
- scope: resolved.scope,
30
- outcome_key: resolved.outcome_key,
31
- criterion: assertion.criterion ?? null,
32
- claims: assertion.claims,
33
- source_backed_claims: assertion.claims.filter((claim) => sourceBacked(contract, resolved.scope, resolved.outcome_key, claim)),
34
- required_proof_surfaces: required,
35
- covered_proof_surfaces: covered,
36
- proof_surface: check.proof_surface,
37
- evidence_adapter: evidenceAdapterForRunner(check.runner.type),
38
- observation: assertion.observation,
39
- counterfactuals,
40
- };
41
- });
42
- }
43
- function missingAcceptanceLink(reference) {
44
- return {
45
- type: "acceptance",
46
- reference,
47
- scope: null,
48
- outcome_key: null,
49
- criterion: null,
50
- claims: [],
51
- source_backed_claims: [],
52
- required_proof_surfaces: {},
53
- covered_proof_surfaces: {},
54
- proof_surface: null,
55
- evidence_adapter: null,
56
- observation: null,
57
- counterfactuals: [],
58
- };
59
- }
60
- function sourceBacked(contract, scope, outcomeKey, claim) {
61
- if (scope === "global")
62
- return contract.source_claims.some((source) => source.disposition.type === "global_constraint" &&
63
- source.disposition.refs.includes(claim));
64
- const reference = `${outcomeKey}.${claim}`;
65
- return contract.source_claims.some((source) => {
66
- const disposition = source.disposition;
67
- return ((disposition.type === "claim" || disposition.type === "outcome_result") &&
68
- (disposition.type === "outcome_result"
69
- ? disposition.ref === reference
70
- : disposition.refs.includes(reference)));
71
- });
72
- }
73
- function acceptanceCounterfactuals(contract, scope, outcomeKey, checkKey, assertionKey) {
74
- if (scope === "global")
75
- return contract.global.acceptance.counterfactual_controls
76
- .filter((control) => control.check_key === checkKey &&
77
- control.expected_assertion_failures.includes(assertionKey))
78
- .map((control) => ({
79
- key: control.key,
80
- claims: control.claims,
81
- binding_ref: control.binding_ref,
82
- owning_outcome_key: control.binding_ref.split(".")[0],
83
- expected_assertion_failures: control.expected_assertion_failures,
84
- preserved_assertions: control.preserved_assertions,
85
- allowed_fanout_assertions: control.allowed_fanout_assertions,
86
- }));
87
- const outcome = contract.outcomes.find((item) => item.key === outcomeKey);
88
- return (outcome?.acceptance.counterfactual_controls ?? [])
89
- .filter((control) => control.check_key === checkKey &&
90
- control.expected_assertion_failures.includes(assertionKey))
91
- .map((control) => ({
92
- key: control.key,
93
- claims: control.claims,
94
- binding_key: control.binding_key,
95
- owning_outcome_key: outcomeKey,
96
- expected_assertion_failures: control.expected_assertion_failures,
97
- preserved_assertions: control.preserved_assertions,
98
- allowed_fanout_assertions: control.allowed_fanout_assertions,
99
- }));
100
- }
@@ -1,47 +0,0 @@
1
- import type { ClaimCoverageSummaryV2, DeliveryContractV2, SourceClaimV2 } from "./long-task-delivery-types.js";
2
- type ClaimDisposition = Extract<SourceClaimV2["disposition"], {
3
- type: "claim";
4
- }>;
5
- type GlobalDisposition = Extract<SourceClaimV2["disposition"], {
6
- type: "global_constraint";
7
- }>;
8
- type ResultDisposition = Extract<SourceClaimV2["disposition"], {
9
- type: "outcome_result";
10
- }>;
11
- export declare function explainOutcomeClaimLinks(contract: DeliveryContractV2, coverage: ClaimCoverageSummaryV2, disposition: ClaimDisposition): {
12
- type: "claim";
13
- reference: string;
14
- source_backed: boolean;
15
- checks: string[];
16
- assertions: (string | null)[];
17
- required_proof_surfaces: import("./long-task-contract-types.js").ProofSurface[];
18
- covered_proof_surfaces: import("./long-task-contract-types.js").ProofSurface[];
19
- evidence_adapters: (import("./long-task-evidence-adapter-types.js").EvidenceAdapter | null)[];
20
- }[];
21
- export declare function explainOutcomeResultLinks(contract: DeliveryContractV2, coverage: ClaimCoverageSummaryV2, disposition: ResultDisposition): {
22
- type: "outcome_result";
23
- reference: string;
24
- source_backed: boolean;
25
- checks: string[];
26
- }[];
27
- export declare function explainGlobalClaimLinks(contract: DeliveryContractV2, coverage: ClaimCoverageSummaryV2, disposition: GlobalDisposition): {
28
- type: "global_constraint";
29
- reference: string;
30
- source_backed: boolean;
31
- checks: string[];
32
- assertions: (string | null)[];
33
- evidence_adapters: (import("./long-task-evidence-adapter-types.js").EvidenceAdapter | null)[];
34
- counterfactuals: {
35
- key: string;
36
- check_key: string;
37
- binding_ref: string;
38
- owning_outcome: string;
39
- owner_paths: string[];
40
- carrier_paths: string[];
41
- expected_assertion_failures: string[];
42
- preserved_assertions: string[];
43
- allowed_fanout_assertions: string[];
44
- mutation: import("./long-task-counterfactual-types.js").CounterfactualMutationV2;
45
- }[];
46
- }[];
47
- export {};
@@ -1,90 +0,0 @@
1
- import { evidenceAdapterForRunner } from "./long-task-evidence-adapter-policy.js";
2
- export function explainOutcomeClaimLinks(contract, coverage, disposition) {
3
- return disposition.refs.map((reference) => {
4
- const [outcomeKey, ...parts] = reference.split(".");
5
- const proof = coverage.claims_by_outcome[outcomeKey]?.[parts.join(".")];
6
- return {
7
- type: disposition.type,
8
- reference,
9
- source_backed: sourceBacked(contract, reference),
10
- checks: proof ? unique(proof.proofs.map((item) => item.check_key)) : [],
11
- assertions: proof
12
- ? unique(proof.proofs.map((item) => item.assertion_key))
13
- : [],
14
- required_proof_surfaces: proof ? proof.required_surfaces : [],
15
- covered_proof_surfaces: proof ? proof.covered_surfaces : [],
16
- evidence_adapters: proof
17
- ? unique(proof.proofs.map((item) => outcomeAdapter(contract, outcomeKey, item.check_key)))
18
- : [],
19
- };
20
- });
21
- }
22
- export function explainOutcomeResultLinks(contract, coverage, disposition) {
23
- const proof = coverage.claims_by_outcome[disposition.ref.split(".")[0]]?.result;
24
- return [
25
- {
26
- type: disposition.type,
27
- reference: disposition.ref,
28
- source_backed: sourceBacked(contract, disposition.ref),
29
- checks: proof ? unique(proof.proofs.map((item) => item.check_key)) : [],
30
- },
31
- ];
32
- }
33
- export function explainGlobalClaimLinks(contract, coverage, disposition) {
34
- return disposition.refs.map((reference) => {
35
- const proof = coverage.claims_by_global[reference];
36
- return {
37
- type: disposition.type,
38
- reference,
39
- source_backed: sourceBacked(contract, reference),
40
- checks: proof ? unique(proof.proofs.map((item) => item.check_key)) : [],
41
- assertions: proof
42
- ? unique(proof.proofs.map((item) => item.assertion_key))
43
- : [],
44
- evidence_adapters: proof
45
- ? unique(proof.proofs.map((item) => globalAdapter(contract, item.check_key)))
46
- : [],
47
- counterfactuals: contract.global.acceptance.counterfactual_controls
48
- .filter((control) => control.claims.includes(reference))
49
- .map((control) => {
50
- const [outcomeKey, bindingKey] = control.binding_ref.split(".");
51
- const outcome = contract.outcomes.find((item) => item.key === outcomeKey);
52
- const binding = outcome?.technical.bindings.find((item) => item.key === bindingKey);
53
- return {
54
- key: control.key,
55
- check_key: control.check_key,
56
- binding_ref: control.binding_ref,
57
- owning_outcome: outcomeKey,
58
- owner_paths: outcome?.product.owner.path_globs ?? [],
59
- carrier_paths: binding?.carrier_paths ?? [],
60
- expected_assertion_failures: control.expected_assertion_failures,
61
- preserved_assertions: control.preserved_assertions,
62
- allowed_fanout_assertions: control.allowed_fanout_assertions,
63
- mutation: control.mutation,
64
- };
65
- }),
66
- };
67
- });
68
- }
69
- function unique(values) {
70
- return values.filter((value, index) => values.indexOf(value) === index);
71
- }
72
- function sourceBacked(contract, reference) {
73
- return contract.source_claims.some((source) => {
74
- const disposition = source.disposition;
75
- if (disposition.type === "outcome_result")
76
- return disposition.ref === reference;
77
- return ((disposition.type === "claim" ||
78
- disposition.type === "global_constraint") &&
79
- disposition.refs.includes(reference));
80
- });
81
- }
82
- function outcomeAdapter(contract, outcomeKey, checkKey) {
83
- const outcome = contract.outcomes.find((item) => item.key === outcomeKey);
84
- const check = outcome?.acceptance.checks.find((candidate) => candidate.key === checkKey);
85
- return check ? evidenceAdapterForRunner(check.runner.type) : null;
86
- }
87
- function globalAdapter(contract, checkKey) {
88
- const check = contract.global.acceptance.checks.find((candidate) => candidate.key === checkKey);
89
- return check ? evidenceAdapterForRunner(check.runner.type) : null;
90
- }