project-tiny-context-harness 0.11.0 → 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 (1070) hide show
  1. package/README.md +73 -543
  2. package/assets/agents/AGENTS_CORE.md +11 -87
  3. package/assets/tools/context_rules.json +2 -1
  4. package/dist/commands/context-inspect.js +19 -89
  5. package/dist/commands/context-list.d.ts +1 -0
  6. package/dist/commands/context-list.js +24 -0
  7. package/dist/commands/context.js +4 -0
  8. package/dist/commands/doctor.js +1 -18
  9. package/dist/commands/index.js +33 -63
  10. package/dist/commands/init.d.ts +0 -2
  11. package/dist/commands/init.js +26 -108
  12. package/dist/commands/upgrade.js +14 -2
  13. package/dist/commands/validate.js +1 -1
  14. package/dist/index.d.ts +0 -1
  15. package/dist/index.js +0 -1
  16. package/dist/lib/config.js +14 -45
  17. package/dist/lib/constants.d.ts +1 -1
  18. package/dist/lib/constants.js +1 -1
  19. package/dist/lib/context-catalog/catalog-default-footprint.d.ts +1 -1
  20. package/dist/lib/context-catalog/catalog-default-footprint.js +5 -7
  21. package/dist/lib/context-catalog/catalog-load.js +19 -1
  22. package/dist/lib/context-catalog/catalog-path-validation.js +10 -0
  23. package/dist/lib/context-catalog/catalog-validation.js +13 -5
  24. package/dist/lib/context-controlling-source.d.ts +4 -0
  25. package/dist/lib/context-controlling-source.js +106 -0
  26. package/dist/lib/context-create/context-create.js +2 -0
  27. package/dist/lib/context-default-footprint.js +2 -0
  28. package/dist/lib/context-doctor/context-doctor-types.d.ts +0 -10
  29. package/dist/lib/context-doctor/context-doctor-types.js +0 -12
  30. package/dist/lib/context-export.js +17 -9
  31. package/dist/lib/context-inspect/context-inspect-projection.d.ts +1 -2
  32. package/dist/lib/context-inspect/context-inspect-projection.js +0 -1
  33. package/dist/lib/context-inspect/context-inspect-render.js +0 -8
  34. package/dist/lib/context-inspect/context-inspect-types.d.ts +0 -14
  35. package/dist/lib/context-inspect/context-inspect.js +0 -27
  36. package/dist/lib/context-manifest-schema.d.ts +1 -0
  37. package/dist/lib/context-manifest-schema.js +2 -1
  38. package/dist/lib/context-manifest.js +1 -41
  39. package/dist/lib/context-markdown/context-markdown-analysis.js +8 -0
  40. package/dist/lib/context-markdown/context-markdown-extract.d.ts +2 -1
  41. package/dist/lib/context-markdown/context-markdown-extract.js +20 -0
  42. package/dist/lib/context-markdown/context-markdown-types.d.ts +26 -0
  43. package/dist/lib/context-move/context-move.js +3 -2
  44. package/dist/lib/context-mutation/manifest-lossless-patch.js +11 -0
  45. package/dist/lib/context-mutation/mutation-commit.js +2 -2
  46. package/dist/lib/context-mutation/mutation-interlock.d.ts +1 -0
  47. package/dist/lib/context-mutation/mutation-interlock.js +9 -0
  48. package/dist/lib/context-mutation/mutation-recovery.js +3 -3
  49. package/dist/lib/context-register/context-register.js +3 -0
  50. package/dist/lib/context-templates.d.ts +0 -4
  51. package/dist/lib/context-templates.js +1 -210
  52. package/dist/lib/doctor.d.ts +2 -2
  53. package/dist/lib/doctor.js +44 -133
  54. package/dist/lib/init.js +34 -39
  55. package/dist/lib/maintenance-lock.d.ts +3 -0
  56. package/dist/lib/maintenance-lock.js +203 -0
  57. package/dist/lib/maintenance-write.d.ts +3 -0
  58. package/dist/lib/maintenance-write.js +55 -0
  59. package/dist/lib/migrations.d.ts +1 -20
  60. package/dist/lib/migrations.js +48 -755
  61. package/dist/lib/package-json-config.js +34 -21
  62. package/dist/lib/package-source.js +27 -14
  63. package/dist/lib/repository-path-safety.d.ts +2 -0
  64. package/dist/lib/repository-path-safety.js +20 -0
  65. package/dist/lib/retirement-assets.d.ts +13 -0
  66. package/dist/lib/retirement-assets.js +182 -0
  67. package/dist/lib/retirement-binding.d.ts +10 -0
  68. package/dist/lib/retirement-binding.js +59 -0
  69. package/dist/lib/retirement-defaults.d.ts +7 -0
  70. package/dist/lib/retirement-defaults.js +29 -0
  71. package/dist/lib/retirement-plan.d.ts +10 -0
  72. package/dist/lib/retirement-plan.js +96 -0
  73. package/dist/lib/retirement-preflight.d.ts +2 -0
  74. package/dist/lib/retirement-preflight.js +13 -0
  75. package/dist/lib/retirement-references.d.ts +6 -0
  76. package/dist/lib/retirement-references.js +102 -0
  77. package/dist/lib/retirement-runner.d.ts +22 -0
  78. package/dist/lib/retirement-runner.js +217 -0
  79. package/dist/lib/schema-guard.d.ts +1 -0
  80. package/dist/lib/schema-guard.js +47 -6
  81. package/dist/lib/source-files.d.ts +0 -2
  82. package/dist/lib/source-files.js +0 -21
  83. package/dist/lib/source-pack-export.js +4 -1
  84. package/dist/lib/source-pack-manifest.js +93 -38
  85. package/dist/lib/sync-engine.d.ts +7 -1
  86. package/dist/lib/sync-engine.js +38 -336
  87. package/dist/lib/types.d.ts +0 -19
  88. package/dist/lib/upgrade.d.ts +3 -2
  89. package/dist/lib/upgrade.js +30 -40
  90. package/dist/lib/validators.d.ts +3 -3
  91. package/dist/lib/validators.js +72 -401
  92. package/dist/public-api-core.d.ts +14 -11
  93. package/dist/public-api-core.js +14 -11
  94. package/dist/public-types.d.ts +7 -13
  95. package/migrations/README.md +19 -178
  96. package/migrations/schema-4-owned-assets.json +170 -0
  97. package/package.json +14 -20
  98. package/source-mappings.yaml +3 -39
  99. package/assets/README.md +0 -944
  100. package/assets/README.zh-CN.md +0 -556
  101. package/assets/agents/.gitkeep +0 -1
  102. package/assets/agents/long-task-implementation.toml +0 -15
  103. package/assets/context_templates/architecture.md +0 -37
  104. package/assets/context_templates/area.md +0 -40
  105. package/assets/context_templates/context.toml +0 -46
  106. package/assets/context_templates/deployment.md +0 -35
  107. package/assets/context_templates/global.md +0 -57
  108. package/assets/context_templates/product-surface-contract.md +0 -70
  109. package/assets/context_templates/screen-contract.md +0 -205
  110. package/assets/context_templates/verification.md +0 -35
  111. package/assets/github/.gitkeep +0 -1
  112. package/assets/github/harness.yml +0 -41
  113. package/assets/make/.gitkeep +0 -1
  114. package/assets/make/ty-context.mk +0 -48
  115. package/assets/runtime/windows-job-supervisor/formal_process_supervisor_native_helpers.cs +0 -301
  116. package/assets/runtime/windows-job-supervisor/formal_process_supervisor_native_run.cs +0 -197
  117. package/assets/runtime/windows-job-supervisor/formal_process_supervisor_native_types.cs +0 -215
  118. package/assets/runtime/windows-job-supervisor/windows_job_process_supervisor.ps1 +0 -117
  119. package/assets/skills/context_development_engineer/SKILL.md +0 -58
  120. package/assets/skills/context_development_engineer/references/engineering-design-reasoning.md +0 -93
  121. package/assets/skills/context_full_project_export/SKILL.md +0 -70
  122. package/assets/skills/context_harness_upgrade/SKILL.md +0 -60
  123. package/assets/skills/context_product_plan/SKILL.md +0 -42
  124. package/assets/skills/context_surface_contract/SKILL.md +0 -205
  125. package/assets/skills/context_uiux_design/SKILL.md +0 -53
  126. package/assets/skills/context_uiux_design/references/task-uiux-analysis.md +0 -82
  127. package/assets/skills/design-resource-authoring/SKILL.md +0 -63
  128. package/assets/skills/design-resource-authoring/references/authority-delta-assessment.md +0 -52
  129. package/assets/skills/design-resource-authoring/references/downstream-handoff.md +0 -67
  130. package/assets/skills/design-resource-authoring/references/formal-selected-web-app-handoff.md +0 -114
  131. package/assets/skills/design-resource-authoring/references/implementation-feasibility.md +0 -111
  132. package/assets/skills/design-resource-authoring/references/open-design-provider.md +0 -198
  133. package/assets/skills/design-resource-authoring/references/recovery-and-writeback.md +0 -205
  134. package/assets/skills/design-resource-authoring/references/resource-selection.md +0 -290
  135. package/assets/skills/design-system-authoring/SKILL.md +0 -63
  136. package/assets/skills/design-system-authoring/agents/openai.yaml +0 -6
  137. package/assets/skills/design-system-authoring/references/authority-adoption.md +0 -58
  138. package/assets/skills/design-system-authoring/references/open-design-design-system-provider.md +0 -114
  139. package/assets/skills/long-task-workflow/SKILL.md +0 -75
  140. package/assets/skills/long-task-workflow/agents/openai.yaml +0 -6
  141. package/assets/skills/long-task-workflow/references/authority-lifecycle.md +0 -86
  142. package/assets/skills/long-task-workflow/references/contract-authoring.md +0 -152
  143. package/assets/skills/long-task-workflow/references/evidence-design.md +0 -132
  144. package/assets/skills/long-task-workflow/references/source-authoring.md +0 -126
  145. package/assets/tools/validate_context.py +0 -667
  146. package/dist/commands/check-modularity.d.ts +0 -1
  147. package/dist/commands/check-modularity.js +0 -181
  148. package/dist/commands/composite-campaign.d.ts +0 -1
  149. package/dist/commands/composite-campaign.js +0 -8
  150. package/dist/commands/composite-long-task.d.ts +0 -1
  151. package/dist/commands/composite-long-task.js +0 -8
  152. package/dist/commands/delivery-set.d.ts +0 -1
  153. package/dist/commands/delivery-set.js +0 -8
  154. package/dist/commands/design-authority-delta.d.ts +0 -1
  155. package/dist/commands/design-authority-delta.js +0 -53
  156. package/dist/commands/design-authority.d.ts +0 -1
  157. package/dist/commands/design-authority.js +0 -104
  158. package/dist/commands/design-resource-recovery.d.ts +0 -1
  159. package/dist/commands/design-resource-recovery.js +0 -152
  160. package/dist/commands/design-resource.d.ts +0 -1
  161. package/dist/commands/design-resource.js +0 -132
  162. package/dist/commands/disable.d.ts +0 -1
  163. package/dist/commands/disable.js +0 -15
  164. package/dist/commands/enable.d.ts +0 -1
  165. package/dist/commands/enable.js +0 -16
  166. package/dist/commands/long-task-authoring.d.ts +0 -3
  167. package/dist/commands/long-task-authoring.js +0 -234
  168. package/dist/commands/long-task-command-args.d.ts +0 -4
  169. package/dist/commands/long-task-command-args.js +0 -26
  170. package/dist/commands/long-task-explain.d.ts +0 -1
  171. package/dist/commands/long-task-explain.js +0 -52
  172. package/dist/commands/long-task-revision.d.ts +0 -1
  173. package/dist/commands/long-task-revision.js +0 -177
  174. package/dist/commands/long-task-workdir.d.ts +0 -2
  175. package/dist/commands/long-task-workdir.js +0 -23
  176. package/dist/commands/long-task.d.ts +0 -1
  177. package/dist/commands/long-task.js +0 -212
  178. package/dist/commands/route.d.ts +0 -15
  179. package/dist/commands/route.js +0 -142
  180. package/dist/lib/compact-authoring-support.d.ts +0 -22
  181. package/dist/lib/compact-authoring-support.js +0 -143
  182. package/dist/lib/compact-shared-structure-authoring.d.ts +0 -5
  183. package/dist/lib/compact-shared-structure-authoring.js +0 -9
  184. package/dist/lib/compact-shared-structure-types.d.ts +0 -61
  185. package/dist/lib/compact-shared-structure-types.js +0 -1
  186. package/dist/lib/compact-shared-structure-validation.d.ts +0 -2
  187. package/dist/lib/compact-shared-structure-validation.js +0 -159
  188. package/dist/lib/compact-shared-structures.d.ts +0 -3
  189. package/dist/lib/compact-shared-structures.js +0 -204
  190. package/dist/lib/context-doctor/context-doctor.d.ts +0 -2
  191. package/dist/lib/context-doctor/context-doctor.js +0 -130
  192. package/dist/lib/context-graph-snapshot.d.ts +0 -23
  193. package/dist/lib/context-graph-snapshot.js +0 -199
  194. package/dist/lib/context-mutation/mutation-long-task-guard.d.ts +0 -6
  195. package/dist/lib/context-mutation/mutation-long-task-guard.js +0 -57
  196. package/dist/lib/context-router/context-route-budget.d.ts +0 -15
  197. package/dist/lib/context-router/context-route-budget.js +0 -14
  198. package/dist/lib/context-router/context-route-candidates.d.ts +0 -15
  199. package/dist/lib/context-router/context-route-candidates.js +0 -112
  200. package/dist/lib/context-router/context-route-order.d.ts +0 -6
  201. package/dist/lib/context-router/context-route-order.js +0 -53
  202. package/dist/lib/context-router/context-route-paths.d.ts +0 -16
  203. package/dist/lib/context-router/context-route-paths.js +0 -109
  204. package/dist/lib/context-router/context-route-render.d.ts +0 -2
  205. package/dist/lib/context-router/context-route-render.js +0 -32
  206. package/dist/lib/context-router/context-route-scan.d.ts +0 -18
  207. package/dist/lib/context-router/context-route-scan.js +0 -156
  208. package/dist/lib/context-router/context-route-selection.d.ts +0 -16
  209. package/dist/lib/context-router/context-route-selection.js +0 -72
  210. package/dist/lib/context-router/context-route-terms.d.ts +0 -13
  211. package/dist/lib/context-router/context-route-terms.js +0 -202
  212. package/dist/lib/context-router/context-route-types.d.ts +0 -101
  213. package/dist/lib/context-router/context-route-types.js +0 -1
  214. package/dist/lib/context-router/context-route.d.ts +0 -2
  215. package/dist/lib/context-router/context-route.js +0 -127
  216. package/dist/lib/context-units-migration.d.ts +0 -13
  217. package/dist/lib/context-units-migration.js +0 -217
  218. package/dist/lib/design-authority-binding.d.ts +0 -7
  219. package/dist/lib/design-authority-binding.js +0 -96
  220. package/dist/lib/design-authority-closure.d.ts +0 -3
  221. package/dist/lib/design-authority-closure.js +0 -201
  222. package/dist/lib/design-authority-delta-codec-primitives.d.ts +0 -10
  223. package/dist/lib/design-authority-delta-codec-primitives.js +0 -58
  224. package/dist/lib/design-authority-delta-codec.d.ts +0 -2
  225. package/dist/lib/design-authority-delta-codec.js +0 -193
  226. package/dist/lib/design-authority-delta-types.d.ts +0 -65
  227. package/dist/lib/design-authority-delta-types.js +0 -6
  228. package/dist/lib/design-authority-delta-validation.d.ts +0 -2
  229. package/dist/lib/design-authority-delta-validation.js +0 -16
  230. package/dist/lib/design-authority-digest.d.ts +0 -8
  231. package/dist/lib/design-authority-digest.js +0 -36
  232. package/dist/lib/design-authority-files.d.ts +0 -9
  233. package/dist/lib/design-authority-files.js +0 -62
  234. package/dist/lib/design-authority-format.d.ts +0 -2
  235. package/dist/lib/design-authority-format.js +0 -93
  236. package/dist/lib/design-authority-links.d.ts +0 -10
  237. package/dist/lib/design-authority-links.js +0 -137
  238. package/dist/lib/design-authority-manifest.d.ts +0 -4
  239. package/dist/lib/design-authority-manifest.js +0 -144
  240. package/dist/lib/design-authority-tokens.d.ts +0 -9
  241. package/dist/lib/design-authority-tokens.js +0 -45
  242. package/dist/lib/design-authority-types.d.ts +0 -80
  243. package/dist/lib/design-authority-types.js +0 -23
  244. package/dist/lib/design-md-tool-adapter.d.ts +0 -9
  245. package/dist/lib/design-md-tool-adapter.js +0 -152
  246. package/dist/lib/design-md-tool-normalization.d.ts +0 -7
  247. package/dist/lib/design-md-tool-normalization.js +0 -78
  248. package/dist/lib/design-md-tool-types.d.ts +0 -99
  249. package/dist/lib/design-md-tool-types.js +0 -8
  250. package/dist/lib/design-md.d.ts +0 -12
  251. package/dist/lib/design-md.js +0 -169
  252. package/dist/lib/design-resource-fact-enums.d.ts +0 -24
  253. package/dist/lib/design-resource-fact-enums.js +0 -182
  254. package/dist/lib/design-resource-fact-locator-extractors.d.ts +0 -8
  255. package/dist/lib/design-resource-fact-locator-extractors.js +0 -108
  256. package/dist/lib/design-resource-fact-locator-resolver.d.ts +0 -3
  257. package/dist/lib/design-resource-fact-locator-resolver.js +0 -112
  258. package/dist/lib/design-resource-fact-locator-validation.d.ts +0 -5
  259. package/dist/lib/design-resource-fact-locator-validation.js +0 -16
  260. package/dist/lib/design-resource-fact-manifest-catalog.d.ts +0 -4
  261. package/dist/lib/design-resource-fact-manifest-catalog.js +0 -249
  262. package/dist/lib/design-resource-fact-manifest-model.d.ts +0 -91
  263. package/dist/lib/design-resource-fact-manifest-model.js +0 -21
  264. package/dist/lib/design-resource-fact-manifest-shape-axes.d.ts +0 -6
  265. package/dist/lib/design-resource-fact-manifest-shape-axes.js +0 -159
  266. package/dist/lib/design-resource-fact-manifest-shape-evidence.d.ts +0 -4
  267. package/dist/lib/design-resource-fact-manifest-shape-evidence.js +0 -59
  268. package/dist/lib/design-resource-fact-manifest-shape-facts.d.ts +0 -4
  269. package/dist/lib/design-resource-fact-manifest-shape-facts.js +0 -109
  270. package/dist/lib/design-resource-fact-manifest-shape-inspector.d.ts +0 -5
  271. package/dist/lib/design-resource-fact-manifest-shape-inspector.js +0 -144
  272. package/dist/lib/design-resource-fact-manifest-shape.d.ts +0 -7
  273. package/dist/lib/design-resource-fact-manifest-shape.js +0 -75
  274. package/dist/lib/design-resource-fact-manifest-types.d.ts +0 -3
  275. package/dist/lib/design-resource-fact-manifest-types.js +0 -3
  276. package/dist/lib/design-resource-fact-manifest-universe.d.ts +0 -5
  277. package/dist/lib/design-resource-fact-manifest-universe.js +0 -50
  278. package/dist/lib/design-resource-fact-manifest-validation.d.ts +0 -5
  279. package/dist/lib/design-resource-fact-manifest-validation.js +0 -111
  280. package/dist/lib/design-resource-fact-policy.d.ts +0 -43
  281. package/dist/lib/design-resource-fact-policy.js +0 -106
  282. package/dist/lib/design-resource-fact-property-methods.d.ts +0 -3
  283. package/dist/lib/design-resource-fact-property-methods.js +0 -158
  284. package/dist/lib/design-resource-fact-shape-primitives.d.ts +0 -3
  285. package/dist/lib/design-resource-fact-shape-primitives.js +0 -18
  286. package/dist/lib/design-resource-fact-types.d.ts +0 -164
  287. package/dist/lib/design-resource-fact-types.js +0 -1
  288. package/dist/lib/design-resource-fact-universe-assets.d.ts +0 -4
  289. package/dist/lib/design-resource-fact-universe-assets.js +0 -71
  290. package/dist/lib/design-resource-fact-universe-catalog.d.ts +0 -4
  291. package/dist/lib/design-resource-fact-universe-catalog.js +0 -161
  292. package/dist/lib/design-resource-fact-universe-conditions.d.ts +0 -2
  293. package/dist/lib/design-resource-fact-universe-conditions.js +0 -92
  294. package/dist/lib/design-resource-fact-universe-facts.d.ts +0 -4
  295. package/dist/lib/design-resource-fact-universe-facts.js +0 -108
  296. package/dist/lib/design-resource-fact-universe-helpers.d.ts +0 -30
  297. package/dist/lib/design-resource-fact-universe-helpers.js +0 -171
  298. package/dist/lib/design-resource-fact-universe-inspector.d.ts +0 -7
  299. package/dist/lib/design-resource-fact-universe-inspector.js +0 -119
  300. package/dist/lib/design-resource-fact-universe-proof.d.ts +0 -4
  301. package/dist/lib/design-resource-fact-universe-proof.js +0 -113
  302. package/dist/lib/design-resource-fact-universe-subjects.d.ts +0 -5
  303. package/dist/lib/design-resource-fact-universe-subjects.js +0 -97
  304. package/dist/lib/design-resource-fact-universe-variations.d.ts +0 -2
  305. package/dist/lib/design-resource-fact-universe-variations.js +0 -75
  306. package/dist/lib/design-resource-fact-value-validation.d.ts +0 -2
  307. package/dist/lib/design-resource-fact-value-validation.js +0 -80
  308. package/dist/lib/design-resource-handoff-bundle-draft.d.ts +0 -11
  309. package/dist/lib/design-resource-handoff-bundle-draft.js +0 -40
  310. package/dist/lib/design-resource-handoff-bundle.d.ts +0 -31
  311. package/dist/lib/design-resource-handoff-bundle.js +0 -152
  312. package/dist/lib/design-resource-handoff-file-primitives.d.ts +0 -4
  313. package/dist/lib/design-resource-handoff-file-primitives.js +0 -16
  314. package/dist/lib/design-resource-handoff-file-validation.d.ts +0 -2
  315. package/dist/lib/design-resource-handoff-file-validation.js +0 -47
  316. package/dist/lib/design-resource-handoff-input-types.d.ts +0 -14
  317. package/dist/lib/design-resource-handoff-input-types.js +0 -1
  318. package/dist/lib/design-resource-handoff-manifest-projection.d.ts +0 -4
  319. package/dist/lib/design-resource-handoff-manifest-projection.js +0 -41
  320. package/dist/lib/design-resource-handoff-parser.d.ts +0 -8
  321. package/dist/lib/design-resource-handoff-parser.js +0 -49
  322. package/dist/lib/design-resource-handoff-policy.d.ts +0 -4
  323. package/dist/lib/design-resource-handoff-policy.js +0 -143
  324. package/dist/lib/design-resource-handoff-set-integrity.d.ts +0 -8
  325. package/dist/lib/design-resource-handoff-set-integrity.js +0 -94
  326. package/dist/lib/design-resource-handoff-shape-evidence.d.ts +0 -6
  327. package/dist/lib/design-resource-handoff-shape-evidence.js +0 -187
  328. package/dist/lib/design-resource-handoff-shape-primitives.d.ts +0 -14
  329. package/dist/lib/design-resource-handoff-shape-primitives.js +0 -70
  330. package/dist/lib/design-resource-handoff-shape-structure.d.ts +0 -5
  331. package/dist/lib/design-resource-handoff-shape-structure.js +0 -239
  332. package/dist/lib/design-resource-handoff-shape.d.ts +0 -6
  333. package/dist/lib/design-resource-handoff-shape.js +0 -192
  334. package/dist/lib/design-resource-handoff-snapshot.d.ts +0 -6
  335. package/dist/lib/design-resource-handoff-snapshot.js +0 -25
  336. package/dist/lib/design-resource-handoff-types.d.ts +0 -264
  337. package/dist/lib/design-resource-handoff-types.js +0 -68
  338. package/dist/lib/design-resource-handoff-validation-coverage.d.ts +0 -4
  339. package/dist/lib/design-resource-handoff-validation-coverage.js +0 -223
  340. package/dist/lib/design-resource-handoff-validation-fact-cells.d.ts +0 -2
  341. package/dist/lib/design-resource-handoff-validation-fact-cells.js +0 -60
  342. package/dist/lib/design-resource-handoff-validation-fact-records.d.ts +0 -2
  343. package/dist/lib/design-resource-handoff-validation-fact-records.js +0 -90
  344. package/dist/lib/design-resource-handoff-validation-facts.d.ts +0 -2
  345. package/dist/lib/design-resource-handoff-validation-facts.js +0 -13
  346. package/dist/lib/design-resource-handoff-validation-primitives.d.ts +0 -11
  347. package/dist/lib/design-resource-handoff-validation-primitives.js +0 -26
  348. package/dist/lib/design-resource-handoff-validation-proofs.d.ts +0 -2
  349. package/dist/lib/design-resource-handoff-validation-proofs.js +0 -67
  350. package/dist/lib/design-resource-handoff-validation-resource-closure.d.ts +0 -3
  351. package/dist/lib/design-resource-handoff-validation-resource-closure.js +0 -88
  352. package/dist/lib/design-resource-handoff-validation-structure.d.ts +0 -6
  353. package/dist/lib/design-resource-handoff-validation-structure.js +0 -124
  354. package/dist/lib/design-resource-handoff-validation.d.ts +0 -8
  355. package/dist/lib/design-resource-handoff-validation.js +0 -177
  356. package/dist/lib/design-resource-handoff-web-dependency-validation.d.ts +0 -6
  357. package/dist/lib/design-resource-handoff-web-dependency-validation.js +0 -130
  358. package/dist/lib/design-resource-implementation-feasibility-model.d.ts +0 -35
  359. package/dist/lib/design-resource-implementation-feasibility-model.js +0 -62
  360. package/dist/lib/design-resource-implementation-feasibility-shape-sections.d.ts +0 -43
  361. package/dist/lib/design-resource-implementation-feasibility-shape-sections.js +0 -142
  362. package/dist/lib/design-resource-implementation-feasibility-shape.d.ts +0 -4
  363. package/dist/lib/design-resource-implementation-feasibility-shape.js +0 -154
  364. package/dist/lib/design-resource-implementation-feasibility-source-decision-projection.d.ts +0 -24
  365. package/dist/lib/design-resource-implementation-feasibility-source-decision-projection.js +0 -106
  366. package/dist/lib/design-resource-implementation-feasibility-source-decision.d.ts +0 -21
  367. package/dist/lib/design-resource-implementation-feasibility-source-decision.js +0 -75
  368. package/dist/lib/design-resource-implementation-feasibility-types.d.ts +0 -135
  369. package/dist/lib/design-resource-implementation-feasibility-types.js +0 -37
  370. package/dist/lib/design-resource-implementation-feasibility-validation-cells.d.ts +0 -5
  371. package/dist/lib/design-resource-implementation-feasibility-validation-cells.js +0 -125
  372. package/dist/lib/design-resource-implementation-feasibility-validation-document.d.ts +0 -4
  373. package/dist/lib/design-resource-implementation-feasibility-validation-document.js +0 -167
  374. package/dist/lib/design-resource-implementation-feasibility-validation-facts.d.ts +0 -3
  375. package/dist/lib/design-resource-implementation-feasibility-validation-facts.js +0 -76
  376. package/dist/lib/design-resource-implementation-feasibility-validation-realizations.d.ts +0 -8
  377. package/dist/lib/design-resource-implementation-feasibility-validation-realizations.js +0 -76
  378. package/dist/lib/design-resource-implementation-feasibility-validation-support.d.ts +0 -10
  379. package/dist/lib/design-resource-implementation-feasibility-validation-support.js +0 -75
  380. package/dist/lib/design-resource-implementation-feasibility-validation.d.ts +0 -3
  381. package/dist/lib/design-resource-implementation-feasibility-validation.js +0 -138
  382. package/dist/lib/design-resource-reconciliation-codec.d.ts +0 -2
  383. package/dist/lib/design-resource-reconciliation-codec.js +0 -174
  384. package/dist/lib/design-resource-reconciliation-types.d.ts +0 -62
  385. package/dist/lib/design-resource-reconciliation-types.js +0 -1
  386. package/dist/lib/design-resource-reconciliation.d.ts +0 -3
  387. package/dist/lib/design-resource-reconciliation.js +0 -224
  388. package/dist/lib/design-resource-recovery-authority-policy.d.ts +0 -8
  389. package/dist/lib/design-resource-recovery-authority-policy.js +0 -123
  390. package/dist/lib/design-resource-recovery-catalog-resources.d.ts +0 -6
  391. package/dist/lib/design-resource-recovery-catalog-resources.js +0 -121
  392. package/dist/lib/design-resource-recovery-catalog-shape.d.ts +0 -3
  393. package/dist/lib/design-resource-recovery-catalog-shape.js +0 -104
  394. package/dist/lib/design-resource-recovery-catalog.d.ts +0 -9
  395. package/dist/lib/design-resource-recovery-catalog.js +0 -103
  396. package/dist/lib/design-resource-recovery-cleanup.d.ts +0 -2
  397. package/dist/lib/design-resource-recovery-cleanup.js +0 -11
  398. package/dist/lib/design-resource-recovery-codec-primitives.d.ts +0 -19
  399. package/dist/lib/design-resource-recovery-codec-primitives.js +0 -92
  400. package/dist/lib/design-resource-recovery-codec.d.ts +0 -4
  401. package/dist/lib/design-resource-recovery-codec.js +0 -93
  402. package/dist/lib/design-resource-recovery-current.d.ts +0 -9
  403. package/dist/lib/design-resource-recovery-current.js +0 -63
  404. package/dist/lib/design-resource-recovery-delta-policy.d.ts +0 -5
  405. package/dist/lib/design-resource-recovery-delta-policy.js +0 -108
  406. package/dist/lib/design-resource-recovery-files.d.ts +0 -37
  407. package/dist/lib/design-resource-recovery-files.js +0 -204
  408. package/dist/lib/design-resource-recovery-final-disposition-shape.d.ts +0 -2
  409. package/dist/lib/design-resource-recovery-final-disposition-shape.js +0 -47
  410. package/dist/lib/design-resource-recovery-patch-types.d.ts +0 -54
  411. package/dist/lib/design-resource-recovery-patch-types.js +0 -1
  412. package/dist/lib/design-resource-recovery-replay.d.ts +0 -7
  413. package/dist/lib/design-resource-recovery-replay.js +0 -112
  414. package/dist/lib/design-resource-recovery-repository-bindings.d.ts +0 -9
  415. package/dist/lib/design-resource-recovery-repository-bindings.js +0 -49
  416. package/dist/lib/design-resource-recovery-schema.d.ts +0 -5
  417. package/dist/lib/design-resource-recovery-schema.js +0 -5
  418. package/dist/lib/design-resource-recovery-shape.d.ts +0 -10
  419. package/dist/lib/design-resource-recovery-shape.js +0 -241
  420. package/dist/lib/design-resource-recovery-source-authority.d.ts +0 -5
  421. package/dist/lib/design-resource-recovery-source-authority.js +0 -219
  422. package/dist/lib/design-resource-recovery-text.d.ts +0 -17
  423. package/dist/lib/design-resource-recovery-text.js +0 -186
  424. package/dist/lib/design-resource-recovery-types.d.ts +0 -200
  425. package/dist/lib/design-resource-recovery-types.js +0 -1
  426. package/dist/lib/design-resource-recovery-writeback-policy.d.ts +0 -5
  427. package/dist/lib/design-resource-recovery-writeback-policy.js +0 -326
  428. package/dist/lib/design-resource-recovery-writeback-shape.d.ts +0 -6
  429. package/dist/lib/design-resource-recovery-writeback-shape.js +0 -155
  430. package/dist/lib/design-resource-recovery.d.ts +0 -44
  431. package/dist/lib/design-resource-recovery.js +0 -216
  432. package/dist/lib/design-resource-symbolic-applicability-authority.d.ts +0 -7
  433. package/dist/lib/design-resource-symbolic-applicability-authority.js +0 -19
  434. package/dist/lib/design-resource-symbolic-applicability-policy.d.ts +0 -12
  435. package/dist/lib/design-resource-symbolic-applicability-policy.js +0 -79
  436. package/dist/lib/design-resource-symbolic-applicability-profiles.d.ts +0 -8
  437. package/dist/lib/design-resource-symbolic-applicability-profiles.js +0 -55
  438. package/dist/lib/design-resource-symbolic-applicability-shape.d.ts +0 -2
  439. package/dist/lib/design-resource-symbolic-applicability-shape.js +0 -76
  440. package/dist/lib/design-resource-symbolic-applicability-validation.d.ts +0 -7
  441. package/dist/lib/design-resource-symbolic-applicability-validation.js +0 -128
  442. package/dist/lib/design-resource-symbolic-compilation.d.ts +0 -3
  443. package/dist/lib/design-resource-symbolic-compilation.js +0 -13
  444. package/dist/lib/design-resource-symbolic-denotation.d.ts +0 -3
  445. package/dist/lib/design-resource-symbolic-denotation.js +0 -167
  446. package/dist/lib/design-resource-symbolic-disposition-validation.d.ts +0 -4
  447. package/dist/lib/design-resource-symbolic-disposition-validation.js +0 -28
  448. package/dist/lib/design-resource-symbolic-fact-policy.d.ts +0 -12
  449. package/dist/lib/design-resource-symbolic-fact-policy.js +0 -12
  450. package/dist/lib/design-resource-symbolic-fact-shape.d.ts +0 -3
  451. package/dist/lib/design-resource-symbolic-fact-shape.js +0 -146
  452. package/dist/lib/design-resource-symbolic-fact-types.d.ts +0 -221
  453. package/dist/lib/design-resource-symbolic-fact-types.js +0 -1
  454. package/dist/lib/design-resource-symbolic-fact-validation.d.ts +0 -3
  455. package/dist/lib/design-resource-symbolic-fact-validation.js +0 -111
  456. package/dist/lib/design-resource-symbolic-indexes.d.ts +0 -23
  457. package/dist/lib/design-resource-symbolic-indexes.js +0 -54
  458. package/dist/lib/design-resource-symbolic-manifest-shape.d.ts +0 -3
  459. package/dist/lib/design-resource-symbolic-manifest-shape.js +0 -155
  460. package/dist/lib/design-resource-symbolic-manifest-validation.d.ts +0 -6
  461. package/dist/lib/design-resource-symbolic-manifest-validation.js +0 -132
  462. package/dist/lib/design-resource-symbolic-noninterference-artifact.d.ts +0 -33
  463. package/dist/lib/design-resource-symbolic-noninterference-artifact.js +0 -110
  464. package/dist/lib/design-resource-symbolic-noninterference-equivalence.d.ts +0 -3
  465. package/dist/lib/design-resource-symbolic-noninterference-equivalence.js +0 -77
  466. package/dist/lib/design-resource-symbolic-noninterference-recompute.d.ts +0 -4
  467. package/dist/lib/design-resource-symbolic-noninterference-recompute.js +0 -146
  468. package/dist/lib/design-resource-symbolic-noninterference-scope.d.ts +0 -7
  469. package/dist/lib/design-resource-symbolic-noninterference-scope.js +0 -49
  470. package/dist/lib/design-resource-symbolic-noninterference-shape.d.ts +0 -2
  471. package/dist/lib/design-resource-symbolic-noninterference-shape.js +0 -152
  472. package/dist/lib/design-resource-symbolic-noninterference-types.d.ts +0 -103
  473. package/dist/lib/design-resource-symbolic-noninterference-types.js +0 -1
  474. package/dist/lib/design-resource-symbolic-noninterference-validation.d.ts +0 -5
  475. package/dist/lib/design-resource-symbolic-noninterference-validation.js +0 -62
  476. package/dist/lib/design-resource-symbolic-oracle-fingerprint.d.ts +0 -1
  477. package/dist/lib/design-resource-symbolic-oracle-fingerprint.js +0 -47
  478. package/dist/lib/design-resource-symbolic-predicate-shape.d.ts +0 -6
  479. package/dist/lib/design-resource-symbolic-predicate-shape.js +0 -123
  480. package/dist/lib/design-resource-symbolic-production-closure.d.ts +0 -4
  481. package/dist/lib/design-resource-symbolic-production-closure.js +0 -144
  482. package/dist/lib/design-resource-symbolic-proof-authority-validation.d.ts +0 -10
  483. package/dist/lib/design-resource-symbolic-proof-authority-validation.js +0 -68
  484. package/dist/lib/design-resource-symbolic-proof-validation.d.ts +0 -10
  485. package/dist/lib/design-resource-symbolic-proof-validation.js +0 -89
  486. package/dist/lib/design-resource-symbolic-region-validation.d.ts +0 -19
  487. package/dist/lib/design-resource-symbolic-region-validation.js +0 -146
  488. package/dist/lib/design-resource-symbolic-resource-validation.d.ts +0 -5
  489. package/dist/lib/design-resource-symbolic-resource-validation.js +0 -90
  490. package/dist/lib/design-resource-symbolic-rule-shape.d.ts +0 -27
  491. package/dist/lib/design-resource-symbolic-rule-shape.js +0 -158
  492. package/dist/lib/design-resource-symbolic-safety-validation.d.ts +0 -6
  493. package/dist/lib/design-resource-symbolic-safety-validation.js +0 -29
  494. package/dist/lib/design-resource-symbolic-source-ir-evaluation.d.ts +0 -19
  495. package/dist/lib/design-resource-symbolic-source-ir-evaluation.js +0 -74
  496. package/dist/lib/design-resource-symbolic-source-ir-evidence.d.ts +0 -44
  497. package/dist/lib/design-resource-symbolic-source-ir-evidence.js +0 -88
  498. package/dist/lib/design-resource-symbolic-source-ir-oracle.d.ts +0 -13
  499. package/dist/lib/design-resource-symbolic-source-ir-oracle.js +0 -96
  500. package/dist/lib/design-resource-symbolic-source-ir-proof.d.ts +0 -14
  501. package/dist/lib/design-resource-symbolic-source-ir-proof.js +0 -98
  502. package/dist/lib/design-resource-symbolic-source-ir-shape.d.ts +0 -2
  503. package/dist/lib/design-resource-symbolic-source-ir-shape.js +0 -38
  504. package/dist/lib/design-resource-symbolic-source-ir-types.d.ts +0 -17
  505. package/dist/lib/design-resource-symbolic-source-ir-types.js +0 -2
  506. package/dist/lib/design-resource-symbolic-static-dependency-validation.d.ts +0 -2
  507. package/dist/lib/design-resource-symbolic-static-dependency-validation.js +0 -83
  508. package/dist/lib/design-resource-symbolic-structural-closure-validation.d.ts +0 -6
  509. package/dist/lib/design-resource-symbolic-structural-closure-validation.js +0 -79
  510. package/dist/lib/design-resource-symbolic-validation-support.d.ts +0 -29
  511. package/dist/lib/design-resource-symbolic-validation-support.js +0 -111
  512. package/dist/lib/design-resource-v1-capacity-header.d.ts +0 -8
  513. package/dist/lib/design-resource-v1-capacity-header.js +0 -231
  514. package/dist/lib/design-resource-v1-capacity.d.ts +0 -5
  515. package/dist/lib/design-resource-v1-capacity.js +0 -45
  516. package/dist/lib/execution-target-capabilities.d.ts +0 -2
  517. package/dist/lib/execution-target-capabilities.js +0 -45
  518. package/dist/lib/legacy-managed-scan.d.ts +0 -2
  519. package/dist/lib/legacy-managed-scan.js +0 -95
  520. package/dist/lib/legacy-sdlc-migration.d.ts +0 -2
  521. package/dist/lib/legacy-sdlc-migration.js +0 -199
  522. package/dist/lib/long-task-acceptance-reachability-claims.d.ts +0 -2
  523. package/dist/lib/long-task-acceptance-reachability-claims.js +0 -279
  524. package/dist/lib/long-task-acceptance-reachability-design.d.ts +0 -2
  525. package/dist/lib/long-task-acceptance-reachability-design.js +0 -96
  526. package/dist/lib/long-task-acceptance-reachability-external.d.ts +0 -9
  527. package/dist/lib/long-task-acceptance-reachability-external.js +0 -123
  528. package/dist/lib/long-task-acceptance-reachability-helpers.d.ts +0 -64
  529. package/dist/lib/long-task-acceptance-reachability-helpers.js +0 -473
  530. package/dist/lib/long-task-acceptance-reachability-semantic.d.ts +0 -2
  531. package/dist/lib/long-task-acceptance-reachability-semantic.js +0 -122
  532. package/dist/lib/long-task-acceptance-reachability-types.d.ts +0 -91
  533. package/dist/lib/long-task-acceptance-reachability-types.js +0 -1
  534. package/dist/lib/long-task-acceptance-reachability.d.ts +0 -4
  535. package/dist/lib/long-task-acceptance-reachability.js +0 -115
  536. package/dist/lib/long-task-acceptance-reference.d.ts +0 -22
  537. package/dist/lib/long-task-acceptance-reference.js +0 -46
  538. package/dist/lib/long-task-acceptance-shape.d.ts +0 -5
  539. package/dist/lib/long-task-acceptance-shape.js +0 -198
  540. package/dist/lib/long-task-activation-validation.d.ts +0 -27
  541. package/dist/lib/long-task-activation-validation.js +0 -246
  542. package/dist/lib/long-task-active-authority-lock-context.d.ts +0 -4
  543. package/dist/lib/long-task-active-authority-lock-context.js +0 -29
  544. package/dist/lib/long-task-admitted-observation-records.d.ts +0 -25
  545. package/dist/lib/long-task-admitted-observation-records.js +0 -40
  546. package/dist/lib/long-task-admitted-observation.d.ts +0 -93
  547. package/dist/lib/long-task-admitted-observation.js +0 -201
  548. package/dist/lib/long-task-applicability-identity.d.ts +0 -25
  549. package/dist/lib/long-task-applicability-identity.js +0 -60
  550. package/dist/lib/long-task-applicability-shape.d.ts +0 -4
  551. package/dist/lib/long-task-applicability-shape.js +0 -54
  552. package/dist/lib/long-task-artifacts.d.ts +0 -6
  553. package/dist/lib/long-task-artifacts.js +0 -35
  554. package/dist/lib/long-task-assertions-v2.d.ts +0 -22
  555. package/dist/lib/long-task-assertions-v2.js +0 -220
  556. package/dist/lib/long-task-authoring-authority-preview.d.ts +0 -5
  557. package/dist/lib/long-task-authoring-authority-preview.js +0 -87
  558. package/dist/lib/long-task-authoring-preflight-diagnostics.d.ts +0 -8
  559. package/dist/lib/long-task-authoring-preflight-diagnostics.js +0 -199
  560. package/dist/lib/long-task-authoring-preflight-repair-order.d.ts +0 -8
  561. package/dist/lib/long-task-authoring-preflight-repair-order.js +0 -98
  562. package/dist/lib/long-task-authoring-preflight-types.d.ts +0 -48
  563. package/dist/lib/long-task-authoring-preflight-types.js +0 -47
  564. package/dist/lib/long-task-authoring-preflight.d.ts +0 -3
  565. package/dist/lib/long-task-authoring-preflight.js +0 -102
  566. package/dist/lib/long-task-authority-material-diff.d.ts +0 -17
  567. package/dist/lib/long-task-authority-material-diff.js +0 -225
  568. package/dist/lib/long-task-authority-materials.d.ts +0 -7
  569. package/dist/lib/long-task-authority-materials.js +0 -185
  570. package/dist/lib/long-task-authority-policy.d.ts +0 -290
  571. package/dist/lib/long-task-authority-policy.js +0 -310
  572. package/dist/lib/long-task-authority-revision-analysis.d.ts +0 -34
  573. package/dist/lib/long-task-authority-revision-analysis.js +0 -121
  574. package/dist/lib/long-task-authority-revision-brief.d.ts +0 -3
  575. package/dist/lib/long-task-authority-revision-brief.js +0 -76
  576. package/dist/lib/long-task-authority-revision-details.d.ts +0 -21
  577. package/dist/lib/long-task-authority-revision-details.js +0 -205
  578. package/dist/lib/long-task-authority-revision-diagnosis.d.ts +0 -24
  579. package/dist/lib/long-task-authority-revision-diagnosis.js +0 -149
  580. package/dist/lib/long-task-authority-revision-enforcement.d.ts +0 -5
  581. package/dist/lib/long-task-authority-revision-enforcement.js +0 -53
  582. package/dist/lib/long-task-authority-revision-summary.d.ts +0 -14
  583. package/dist/lib/long-task-authority-revision-summary.js +0 -246
  584. package/dist/lib/long-task-authority-revision-types.d.ts +0 -119
  585. package/dist/lib/long-task-authority-revision-types.js +0 -1
  586. package/dist/lib/long-task-authority-revision.d.ts +0 -4
  587. package/dist/lib/long-task-authority-revision.js +0 -156
  588. package/dist/lib/long-task-authority-transition-policy.d.ts +0 -62
  589. package/dist/lib/long-task-authority-transition-policy.js +0 -62
  590. package/dist/lib/long-task-authority-types.d.ts +0 -131
  591. package/dist/lib/long-task-authority-types.js +0 -1
  592. package/dist/lib/long-task-authority.d.ts +0 -7
  593. package/dist/lib/long-task-authority.js +0 -202
  594. package/dist/lib/long-task-boundary-check.d.ts +0 -15
  595. package/dist/lib/long-task-boundary-check.js +0 -9
  596. package/dist/lib/long-task-check-evidence-decoder.d.ts +0 -3
  597. package/dist/lib/long-task-check-evidence-decoder.js +0 -84
  598. package/dist/lib/long-task-check-execution-policy.d.ts +0 -21
  599. package/dist/lib/long-task-check-execution-policy.js +0 -48
  600. package/dist/lib/long-task-check-runner.d.ts +0 -2
  601. package/dist/lib/long-task-check-runner.js +0 -307
  602. package/dist/lib/long-task-check-shape.d.ts +0 -2
  603. package/dist/lib/long-task-check-shape.js +0 -176
  604. package/dist/lib/long-task-claim-definitions.d.ts +0 -7
  605. package/dist/lib/long-task-claim-definitions.js +0 -83
  606. package/dist/lib/long-task-claim-proof-policy.d.ts +0 -4
  607. package/dist/lib/long-task-claim-proof-policy.js +0 -57
  608. package/dist/lib/long-task-claim-semantic-proof-floor.d.ts +0 -3
  609. package/dist/lib/long-task-claim-semantic-proof-floor.js +0 -78
  610. package/dist/lib/long-task-claims.d.ts +0 -10
  611. package/dist/lib/long-task-claims.js +0 -374
  612. package/dist/lib/long-task-codex-agent-profile.d.ts +0 -42
  613. package/dist/lib/long-task-codex-agent-profile.js +0 -276
  614. package/dist/lib/long-task-command-process.d.ts +0 -9
  615. package/dist/lib/long-task-command-process.js +0 -178
  616. package/dist/lib/long-task-compact-authoring-projections.d.ts +0 -12
  617. package/dist/lib/long-task-compact-authoring-projections.js +0 -67
  618. package/dist/lib/long-task-compact-authoring.d.ts +0 -3
  619. package/dist/lib/long-task-compact-authoring.js +0 -176
  620. package/dist/lib/long-task-compact-carrier.d.ts +0 -7
  621. package/dist/lib/long-task-compact-carrier.js +0 -132
  622. package/dist/lib/long-task-compact-parser.d.ts +0 -14
  623. package/dist/lib/long-task-compact-parser.js +0 -123
  624. package/dist/lib/long-task-compact-primitives.d.ts +0 -22
  625. package/dist/lib/long-task-compact-primitives.js +0 -132
  626. package/dist/lib/long-task-compact-projections.d.ts +0 -4
  627. package/dist/lib/long-task-compact-projections.js +0 -163
  628. package/dist/lib/long-task-compact-structure-targets.d.ts +0 -2
  629. package/dist/lib/long-task-compact-structure-targets.js +0 -91
  630. package/dist/lib/long-task-complete-delivery-evidence-types.d.ts +0 -38
  631. package/dist/lib/long-task-complete-delivery-evidence-types.js +0 -1
  632. package/dist/lib/long-task-completion-types.d.ts +0 -109
  633. package/dist/lib/long-task-completion-types.js +0 -1
  634. package/dist/lib/long-task-conformance-policy.d.ts +0 -6
  635. package/dist/lib/long-task-conformance-policy.js +0 -44
  636. package/dist/lib/long-task-context-authority-topology.d.ts +0 -7
  637. package/dist/lib/long-task-context-authority-topology.js +0 -39
  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 -317
  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 -19
  649. package/dist/lib/long-task-counterfactual-sandbox.js +0 -195
  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-preflight.d.ts +0 -24
  653. package/dist/lib/long-task-delivery-compiler-preflight.js +0 -32
  654. package/dist/lib/long-task-delivery-compiler.d.ts +0 -14
  655. package/dist/lib/long-task-delivery-compiler.js +0 -170
  656. package/dist/lib/long-task-delivery-parser.d.ts +0 -17
  657. package/dist/lib/long-task-delivery-parser.js +0 -153
  658. package/dist/lib/long-task-delivery-preflight.d.ts +0 -5
  659. package/dist/lib/long-task-delivery-preflight.js +0 -175
  660. package/dist/lib/long-task-delivery-shape.d.ts +0 -6
  661. package/dist/lib/long-task-delivery-shape.js +0 -6
  662. package/dist/lib/long-task-delivery-types.d.ts +0 -15
  663. package/dist/lib/long-task-delivery-types.js +0 -15
  664. package/dist/lib/long-task-delivery-validation.d.ts +0 -11
  665. package/dist/lib/long-task-delivery-validation.js +0 -267
  666. package/dist/lib/long-task-design-feasibility-binding-owners.d.ts +0 -6
  667. package/dist/lib/long-task-design-feasibility-binding-owners.js +0 -52
  668. package/dist/lib/long-task-design-feasibility-binding.d.ts +0 -14
  669. package/dist/lib/long-task-design-feasibility-binding.js +0 -114
  670. package/dist/lib/long-task-design-feasibility-source-closure.d.ts +0 -11
  671. package/dist/lib/long-task-design-feasibility-source-closure.js +0 -87
  672. package/dist/lib/long-task-design-obligation.d.ts +0 -50
  673. package/dist/lib/long-task-design-obligation.js +0 -99
  674. package/dist/lib/long-task-design-resource-handoff.d.ts +0 -20
  675. package/dist/lib/long-task-design-resource-handoff.js +0 -265
  676. package/dist/lib/long-task-design-resource-method-binding.d.ts +0 -15
  677. package/dist/lib/long-task-design-resource-method-binding.js +0 -309
  678. package/dist/lib/long-task-design-target-capabilities.d.ts +0 -14
  679. package/dist/lib/long-task-design-target-capabilities.js +0 -126
  680. package/dist/lib/long-task-effective-external-takeover.d.ts +0 -15
  681. package/dist/lib/long-task-effective-external-takeover.js +0 -109
  682. package/dist/lib/long-task-effective-external-ui-takeover.d.ts +0 -5
  683. package/dist/lib/long-task-effective-external-ui-takeover.js +0 -117
  684. package/dist/lib/long-task-evidence-adapter-policy.d.ts +0 -4
  685. package/dist/lib/long-task-evidence-adapter-policy.js +0 -15
  686. package/dist/lib/long-task-evidence-adapter-types.d.ts +0 -1
  687. package/dist/lib/long-task-evidence-adapter-types.js +0 -1
  688. package/dist/lib/long-task-evidence-capability-codec.d.ts +0 -96
  689. package/dist/lib/long-task-evidence-capability-codec.js +0 -983
  690. package/dist/lib/long-task-evidence-capability-policy.d.ts +0 -9
  691. package/dist/lib/long-task-evidence-capability-policy.js +0 -345
  692. package/dist/lib/long-task-evidence-capability-runtime.d.ts +0 -5
  693. package/dist/lib/long-task-evidence-capability-runtime.js +0 -628
  694. package/dist/lib/long-task-evidence-capability-types.d.ts +0 -277
  695. package/dist/lib/long-task-evidence-capability-types.js +0 -1
  696. package/dist/lib/long-task-evidence-findings.d.ts +0 -5
  697. package/dist/lib/long-task-evidence-findings.js +0 -120
  698. package/dist/lib/long-task-evidence-sensitivity-policy.d.ts +0 -13
  699. package/dist/lib/long-task-evidence-sensitivity-policy.js +0 -166
  700. package/dist/lib/long-task-evidence-v2.d.ts +0 -10
  701. package/dist/lib/long-task-evidence-v2.js +0 -608
  702. package/dist/lib/long-task-exact-comparison.d.ts +0 -16
  703. package/dist/lib/long-task-exact-comparison.js +0 -28
  704. package/dist/lib/long-task-execution-observation.d.ts +0 -31
  705. package/dist/lib/long-task-execution-observation.js +0 -349
  706. package/dist/lib/long-task-expected-authority.d.ts +0 -4
  707. package/dist/lib/long-task-expected-authority.js +0 -126
  708. package/dist/lib/long-task-explain-acceptance-link.d.ts +0 -50
  709. package/dist/lib/long-task-explain-acceptance-link.js +0 -100
  710. package/dist/lib/long-task-explain-claim-links.d.ts +0 -47
  711. package/dist/lib/long-task-explain-claim-links.js +0 -90
  712. package/dist/lib/long-task-explain-source-links.d.ts +0 -99
  713. package/dist/lib/long-task-explain-source-links.js +0 -51
  714. package/dist/lib/long-task-external-confirmation-artifacts.d.ts +0 -9
  715. package/dist/lib/long-task-external-confirmation-artifacts.js +0 -138
  716. package/dist/lib/long-task-external-confirmation-attestation.d.ts +0 -20
  717. package/dist/lib/long-task-external-confirmation-attestation.js +0 -115
  718. package/dist/lib/long-task-external-confirmation-challenge.d.ts +0 -23
  719. package/dist/lib/long-task-external-confirmation-challenge.js +0 -164
  720. package/dist/lib/long-task-external-confirmation-context.d.ts +0 -14
  721. package/dist/lib/long-task-external-confirmation-context.js +0 -53
  722. package/dist/lib/long-task-external-confirmation-evaluation.d.ts +0 -11
  723. package/dist/lib/long-task-external-confirmation-evaluation.js +0 -454
  724. package/dist/lib/long-task-external-confirmation-expected.d.ts +0 -8
  725. package/dist/lib/long-task-external-confirmation-expected.js +0 -200
  726. package/dist/lib/long-task-external-confirmation-identity.d.ts +0 -10
  727. package/dist/lib/long-task-external-confirmation-identity.js +0 -77
  728. package/dist/lib/long-task-external-confirmation-plan.d.ts +0 -25
  729. package/dist/lib/long-task-external-confirmation-plan.js +0 -148
  730. package/dist/lib/long-task-external-confirmation-preparation.d.ts +0 -4
  731. package/dist/lib/long-task-external-confirmation-preparation.js +0 -100
  732. package/dist/lib/long-task-external-confirmation-shape.d.ts +0 -8
  733. package/dist/lib/long-task-external-confirmation-shape.js +0 -387
  734. package/dist/lib/long-task-external-confirmation-state.d.ts +0 -10
  735. package/dist/lib/long-task-external-confirmation-state.js +0 -109
  736. package/dist/lib/long-task-external-confirmation-types.d.ts +0 -195
  737. package/dist/lib/long-task-external-confirmation-types.js +0 -1
  738. package/dist/lib/long-task-final-integrity.d.ts +0 -18
  739. package/dist/lib/long-task-final-integrity.js +0 -109
  740. package/dist/lib/long-task-final-v2.d.ts +0 -7
  741. package/dist/lib/long-task-final-v2.js +0 -275
  742. package/dist/lib/long-task-finalization-identity.d.ts +0 -27
  743. package/dist/lib/long-task-finalization-identity.js +0 -58
  744. package/dist/lib/long-task-finding-context.d.ts +0 -3
  745. package/dist/lib/long-task-finding-context.js +0 -189
  746. package/dist/lib/long-task-freshness.d.ts +0 -30
  747. package/dist/lib/long-task-freshness.js +0 -203
  748. package/dist/lib/long-task-hook-install.d.ts +0 -26
  749. package/dist/lib/long-task-hook-install.js +0 -381
  750. package/dist/lib/long-task-hook-preflight.d.ts +0 -7
  751. package/dist/lib/long-task-hook-preflight.js +0 -58
  752. package/dist/lib/long-task-json-pointer-observation.d.ts +0 -59
  753. package/dist/lib/long-task-json-pointer-observation.js +0 -184
  754. package/dist/lib/long-task-material-input-closure.d.ts +0 -3
  755. package/dist/lib/long-task-material-input-closure.js +0 -92
  756. package/dist/lib/long-task-obligation-authority-resolution.d.ts +0 -12
  757. package/dist/lib/long-task-obligation-authority-resolution.js +0 -57
  758. package/dist/lib/long-task-obligation-semantic-identity.d.ts +0 -16
  759. package/dist/lib/long-task-obligation-semantic-identity.js +0 -116
  760. package/dist/lib/long-task-observation-artifact.d.ts +0 -8
  761. package/dist/lib/long-task-observation-artifact.js +0 -58
  762. package/dist/lib/long-task-observation-authority.d.ts +0 -28
  763. package/dist/lib/long-task-observation-authority.js +0 -479
  764. package/dist/lib/long-task-observation-ownership.d.ts +0 -2
  765. package/dist/lib/long-task-observation-ownership.js +0 -22
  766. package/dist/lib/long-task-outcome-parser.d.ts +0 -4
  767. package/dist/lib/long-task-outcome-parser.js +0 -143
  768. package/dist/lib/long-task-paths.d.ts +0 -48
  769. package/dist/lib/long-task-paths.js +0 -414
  770. package/dist/lib/long-task-playwright-capability-records.d.ts +0 -7
  771. package/dist/lib/long-task-playwright-capability-records.js +0 -218
  772. package/dist/lib/long-task-playwright-case-evidence.d.ts +0 -46
  773. package/dist/lib/long-task-playwright-case-evidence.js +0 -91
  774. package/dist/lib/long-task-playwright-case-primitives.d.ts +0 -28
  775. package/dist/lib/long-task-playwright-case-primitives.js +0 -143
  776. package/dist/lib/long-task-playwright-counterfactual-policy.d.ts +0 -7
  777. package/dist/lib/long-task-playwright-counterfactual-policy.js +0 -125
  778. package/dist/lib/long-task-playwright-evidence.d.ts +0 -8
  779. package/dist/lib/long-task-playwright-evidence.js +0 -147
  780. package/dist/lib/long-task-process-observation.d.ts +0 -6
  781. package/dist/lib/long-task-process-observation.js +0 -117
  782. package/dist/lib/long-task-process-runtime-closure.d.ts +0 -13
  783. package/dist/lib/long-task-process-runtime-closure.js +0 -207
  784. package/dist/lib/long-task-process-table.d.ts +0 -9
  785. package/dist/lib/long-task-process-table.js +0 -87
  786. package/dist/lib/long-task-process-tree.d.ts +0 -8
  787. package/dist/lib/long-task-process-tree.js +0 -108
  788. package/dist/lib/long-task-product-shape.d.ts +0 -8
  789. package/dist/lib/long-task-product-shape.js +0 -197
  790. package/dist/lib/long-task-progress.d.ts +0 -4
  791. package/dist/lib/long-task-progress.js +0 -120
  792. package/dist/lib/long-task-proof-adequacy.d.ts +0 -12
  793. package/dist/lib/long-task-proof-adequacy.js +0 -57
  794. package/dist/lib/long-task-proof-capability-floor.d.ts +0 -6
  795. package/dist/lib/long-task-proof-capability-floor.js +0 -137
  796. package/dist/lib/long-task-protected-files.d.ts +0 -1
  797. package/dist/lib/long-task-protected-files.js +0 -1
  798. package/dist/lib/long-task-repair-frontier-checks.d.ts +0 -8
  799. package/dist/lib/long-task-repair-frontier-checks.js +0 -93
  800. package/dist/lib/long-task-repair-frontier-groups.d.ts +0 -2
  801. package/dist/lib/long-task-repair-frontier-groups.js +0 -64
  802. package/dist/lib/long-task-repair-frontier-utils.d.ts +0 -6
  803. package/dist/lib/long-task-repair-frontier-utils.js +0 -27
  804. package/dist/lib/long-task-repair-frontier.d.ts +0 -14
  805. package/dist/lib/long-task-repair-frontier.js +0 -132
  806. package/dist/lib/long-task-required-proof-surfaces.d.ts +0 -2
  807. package/dist/lib/long-task-required-proof-surfaces.js +0 -13
  808. package/dist/lib/long-task-requirement-shape.d.ts +0 -2
  809. package/dist/lib/long-task-requirement-shape.js +0 -21
  810. package/dist/lib/long-task-risk-surfaces.d.ts +0 -2
  811. package/dist/lib/long-task-risk-surfaces.js +0 -60
  812. package/dist/lib/long-task-risk-types.d.ts +0 -5
  813. package/dist/lib/long-task-risk-types.js +0 -12
  814. package/dist/lib/long-task-risk.d.ts +0 -10
  815. package/dist/lib/long-task-risk.js +0 -186
  816. package/dist/lib/long-task-root-shape.d.ts +0 -5
  817. package/dist/lib/long-task-root-shape.js +0 -322
  818. package/dist/lib/long-task-runner-environment.d.ts +0 -7
  819. package/dist/lib/long-task-runner-environment.js +0 -57
  820. package/dist/lib/long-task-runner-files.d.ts +0 -3
  821. package/dist/lib/long-task-runner-files.js +0 -39
  822. package/dist/lib/long-task-runner-freeze.d.ts +0 -5
  823. package/dist/lib/long-task-runner-freeze.js +0 -318
  824. package/dist/lib/long-task-runtime-types.d.ts +0 -346
  825. package/dist/lib/long-task-runtime-types.js +0 -1
  826. package/dist/lib/long-task-scoped-binding.d.ts +0 -13
  827. package/dist/lib/long-task-scoped-binding.js +0 -11
  828. package/dist/lib/long-task-semantic-assurance-policy.d.ts +0 -4
  829. package/dist/lib/long-task-semantic-assurance-policy.js +0 -43
  830. package/dist/lib/long-task-semantic-contract-types.d.ts +0 -55
  831. package/dist/lib/long-task-semantic-contract-types.js +0 -1
  832. package/dist/lib/long-task-semantic-drift-migration.d.ts +0 -3
  833. package/dist/lib/long-task-semantic-drift-migration.js +0 -150
  834. package/dist/lib/long-task-semantic-fact-binding-types.d.ts +0 -85
  835. package/dist/lib/long-task-semantic-fact-binding-types.js +0 -1
  836. package/dist/lib/long-task-semantic-fact-closure-primitives.d.ts +0 -5
  837. package/dist/lib/long-task-semantic-fact-closure-primitives.js +0 -43
  838. package/dist/lib/long-task-semantic-fact-closure.d.ts +0 -17
  839. package/dist/lib/long-task-semantic-fact-closure.js +0 -79
  840. package/dist/lib/long-task-semantic-fact-contract-closure.d.ts +0 -4
  841. package/dist/lib/long-task-semantic-fact-contract-closure.js +0 -211
  842. package/dist/lib/long-task-semantic-fact-contract-facts.d.ts +0 -4
  843. package/dist/lib/long-task-semantic-fact-contract-facts.js +0 -33
  844. package/dist/lib/long-task-semantic-fact-contract-proofs.d.ts +0 -4
  845. package/dist/lib/long-task-semantic-fact-contract-proofs.js +0 -123
  846. package/dist/lib/long-task-semantic-fact-evidence.d.ts +0 -25
  847. package/dist/lib/long-task-semantic-fact-evidence.js +0 -225
  848. package/dist/lib/long-task-semantic-fact-input-closure.d.ts +0 -18
  849. package/dist/lib/long-task-semantic-fact-input-closure.js +0 -224
  850. package/dist/lib/long-task-semantic-fact-provenance-closure.d.ts +0 -4
  851. package/dist/lib/long-task-semantic-fact-provenance-closure.js +0 -140
  852. package/dist/lib/long-task-semantic-fact-shape.d.ts +0 -4
  853. package/dist/lib/long-task-semantic-fact-shape.js +0 -134
  854. package/dist/lib/long-task-semantic-fact-value-closure.d.ts +0 -3
  855. package/dist/lib/long-task-semantic-fact-value-closure.js +0 -110
  856. package/dist/lib/long-task-semantic-mutation.d.ts +0 -7
  857. package/dist/lib/long-task-semantic-mutation.js +0 -81
  858. package/dist/lib/long-task-semantic-proof-adequacy.d.ts +0 -2
  859. package/dist/lib/long-task-semantic-proof-adequacy.js +0 -19
  860. package/dist/lib/long-task-semantic-proof-profile.d.ts +0 -5
  861. package/dist/lib/long-task-semantic-proof-profile.js +0 -187
  862. package/dist/lib/long-task-shape-primitives.d.ts +0 -21
  863. package/dist/lib/long-task-shape-primitives.js +0 -121
  864. package/dist/lib/long-task-source-anchors.d.ts +0 -10
  865. package/dist/lib/long-task-source-anchors.js +0 -102
  866. package/dist/lib/long-task-source-authority-types.d.ts +0 -61
  867. package/dist/lib/long-task-source-authority-types.js +0 -1
  868. package/dist/lib/long-task-source-claim-validation.d.ts +0 -5
  869. package/dist/lib/long-task-source-claim-validation.js +0 -135
  870. package/dist/lib/long-task-source-conservation-facts.d.ts +0 -8
  871. package/dist/lib/long-task-source-conservation-facts.js +0 -57
  872. package/dist/lib/long-task-source-conservation-types.d.ts +0 -34
  873. package/dist/lib/long-task-source-conservation-types.js +0 -1
  874. package/dist/lib/long-task-source-conservation.d.ts +0 -7
  875. package/dist/lib/long-task-source-conservation.js +0 -110
  876. package/dist/lib/long-task-source-continuity.d.ts +0 -4
  877. package/dist/lib/long-task-source-continuity.js +0 -57
  878. package/dist/lib/long-task-source-fragments.d.ts +0 -6
  879. package/dist/lib/long-task-source-fragments.js +0 -219
  880. package/dist/lib/long-task-source-inventory.d.ts +0 -2
  881. package/dist/lib/long-task-source-inventory.js +0 -21
  882. package/dist/lib/long-task-source-item-parser.d.ts +0 -11
  883. package/dist/lib/long-task-source-item-parser.js +0 -108
  884. package/dist/lib/long-task-source-markers.d.ts +0 -12
  885. package/dist/lib/long-task-source-markers.js +0 -146
  886. package/dist/lib/long-task-source-owned-sections.d.ts +0 -29
  887. package/dist/lib/long-task-source-owned-sections.js +0 -90
  888. package/dist/lib/long-task-source-projection-resolution.d.ts +0 -5
  889. package/dist/lib/long-task-source-projection-resolution.js +0 -57
  890. package/dist/lib/long-task-source-projection-validation.d.ts +0 -17
  891. package/dist/lib/long-task-source-projection-validation.js +0 -154
  892. package/dist/lib/long-task-source-shape.d.ts +0 -2
  893. package/dist/lib/long-task-source-shape.js +0 -64
  894. package/dist/lib/long-task-source-supersession.d.ts +0 -5
  895. package/dist/lib/long-task-source-supersession.js +0 -138
  896. package/dist/lib/long-task-source-target-continuity.d.ts +0 -4
  897. package/dist/lib/long-task-source-target-continuity.js +0 -141
  898. package/dist/lib/long-task-source-target-index.d.ts +0 -15
  899. package/dist/lib/long-task-source-target-index.js +0 -91
  900. package/dist/lib/long-task-source-validation.d.ts +0 -3
  901. package/dist/lib/long-task-source-validation.js +0 -46
  902. package/dist/lib/long-task-stage-policy.d.ts +0 -9
  903. package/dist/lib/long-task-stage-policy.js +0 -170
  904. package/dist/lib/long-task-state.d.ts +0 -93
  905. package/dist/lib/long-task-state.js +0 -897
  906. package/dist/lib/long-task-static-observation-freeze.d.ts +0 -83
  907. package/dist/lib/long-task-static-observation-freeze.js +0 -429
  908. package/dist/lib/long-task-status-projection.d.ts +0 -26
  909. package/dist/lib/long-task-status-projection.js +0 -211
  910. package/dist/lib/long-task-status-v2.d.ts +0 -61
  911. package/dist/lib/long-task-status-v2.js +0 -363
  912. package/dist/lib/long-task-target-policy.d.ts +0 -11
  913. package/dist/lib/long-task-target-policy.js +0 -181
  914. package/dist/lib/long-task-technical-shape.d.ts +0 -3
  915. package/dist/lib/long-task-technical-shape.js +0 -44
  916. package/dist/lib/long-task-terminal-finalization.d.ts +0 -12
  917. package/dist/lib/long-task-terminal-finalization.js +0 -190
  918. package/dist/lib/long-task-ui-design-policy.d.ts +0 -17
  919. package/dist/lib/long-task-ui-design-policy.js +0 -236
  920. package/dist/lib/long-task-ui-surface-policy.d.ts +0 -5
  921. package/dist/lib/long-task-ui-surface-policy.js +0 -112
  922. package/dist/lib/long-task-ui-surface-shape.d.ts +0 -2
  923. package/dist/lib/long-task-ui-surface-shape.js +0 -402
  924. package/dist/lib/long-task-ui-surface-types.d.ts +0 -134
  925. package/dist/lib/long-task-ui-surface-types.js +0 -1
  926. package/dist/lib/long-task-ui-surface-validation.d.ts +0 -13
  927. package/dist/lib/long-task-ui-surface-validation.js +0 -62
  928. package/dist/lib/long-task-verification-preview.d.ts +0 -65
  929. package/dist/lib/long-task-verification-preview.js +0 -120
  930. package/dist/lib/long-task-verifier-authority.d.ts +0 -12
  931. package/dist/lib/long-task-verifier-authority.js +0 -49
  932. package/dist/lib/long-task-verifier-counterfactuals.d.ts +0 -11
  933. package/dist/lib/long-task-verifier-counterfactuals.js +0 -96
  934. package/dist/lib/long-task-verifier-dependency-closure.d.ts +0 -3
  935. package/dist/lib/long-task-verifier-dependency-closure.js +0 -183
  936. package/dist/lib/long-task-verifier-execution.d.ts +0 -9
  937. package/dist/lib/long-task-verifier-execution.js +0 -67
  938. package/dist/lib/long-task-verifier-identity.d.ts +0 -2
  939. package/dist/lib/long-task-verifier-identity.js +0 -66
  940. package/dist/lib/long-task-verifier-v2.d.ts +0 -17
  941. package/dist/lib/long-task-verifier-v2.js +0 -317
  942. package/dist/lib/long-task-windows-job-supervisor-helper.d.ts +0 -1
  943. package/dist/lib/long-task-windows-job-supervisor-helper.js +0 -104
  944. package/dist/lib/long-task-windows-job-supervisor-protocol.d.ts +0 -28
  945. package/dist/lib/long-task-windows-job-supervisor-protocol.js +0 -124
  946. package/dist/lib/long-task-windows-job-supervisor-result.d.ts +0 -11
  947. package/dist/lib/long-task-windows-job-supervisor-result.js +0 -152
  948. package/dist/lib/long-task-windows-job-supervisor.d.ts +0 -2
  949. package/dist/lib/long-task-windows-job-supervisor.js +0 -126
  950. package/dist/lib/long-task-worker-selection.d.ts +0 -2
  951. package/dist/lib/long-task-worker-selection.js +0 -7
  952. package/dist/lib/long-task-workspace-manifest.d.ts +0 -8
  953. package/dist/lib/long-task-workspace-manifest.js +0 -173
  954. package/dist/lib/long-task-workspace-runtime-types.d.ts +0 -23
  955. package/dist/lib/long-task-workspace-runtime-types.js +0 -1
  956. package/dist/lib/long-task-workspace-scope.d.ts +0 -39
  957. package/dist/lib/long-task-workspace-scope.js +0 -126
  958. package/dist/lib/long-task-workspace-snapshot.d.ts +0 -8
  959. package/dist/lib/long-task-workspace-snapshot.js +0 -176
  960. package/dist/lib/long-task-workspace.d.ts +0 -6
  961. package/dist/lib/long-task-workspace.js +0 -14
  962. package/dist/lib/modularity-capability-migration.d.ts +0 -2
  963. package/dist/lib/modularity-capability-migration.js +0 -165
  964. package/dist/lib/modularity-python.d.ts +0 -7
  965. package/dist/lib/modularity-python.js +0 -191
  966. package/dist/lib/modularity.d.ts +0 -60
  967. package/dist/lib/modularity.js +0 -781
  968. package/dist/lib/profiles.d.ts +0 -13
  969. package/dist/lib/profiles.js +0 -65
  970. package/dist/lib/semantic-fact-base-types.d.ts +0 -14
  971. package/dist/lib/semantic-fact-base-types.js +0 -1
  972. package/dist/lib/semantic-fact-catalog.d.ts +0 -8
  973. package/dist/lib/semantic-fact-catalog.js +0 -191
  974. package/dist/lib/semantic-fact-compact-authoring.d.ts +0 -2
  975. package/dist/lib/semantic-fact-compact-authoring.js +0 -160
  976. package/dist/lib/semantic-fact-compact-capacity.d.ts +0 -9
  977. package/dist/lib/semantic-fact-compact-capacity.js +0 -40
  978. package/dist/lib/semantic-fact-compact-carrier.d.ts +0 -16
  979. package/dist/lib/semantic-fact-compact-carrier.js +0 -146
  980. package/dist/lib/semantic-fact-compact-parser.d.ts +0 -17
  981. package/dist/lib/semantic-fact-compact-parser.js +0 -168
  982. package/dist/lib/semantic-fact-compact-revision.d.ts +0 -11
  983. package/dist/lib/semantic-fact-compact-revision.js +0 -64
  984. package/dist/lib/semantic-fact-compact-support.d.ts +0 -23
  985. package/dist/lib/semantic-fact-compact-support.js +0 -159
  986. package/dist/lib/semantic-fact-condition-shape.d.ts +0 -48
  987. package/dist/lib/semantic-fact-condition-shape.js +0 -111
  988. package/dist/lib/semantic-fact-input-shape.d.ts +0 -39
  989. package/dist/lib/semantic-fact-input-shape.js +0 -135
  990. package/dist/lib/semantic-fact-inventory-types.d.ts +0 -153
  991. package/dist/lib/semantic-fact-inventory-types.js +0 -1
  992. package/dist/lib/semantic-fact-manifest-shape.d.ts +0 -4
  993. package/dist/lib/semantic-fact-manifest-shape.js +0 -135
  994. package/dist/lib/semantic-fact-manifest-types.d.ts +0 -58
  995. package/dist/lib/semantic-fact-manifest-types.js +0 -19
  996. package/dist/lib/semantic-fact-policy-authority.d.ts +0 -8
  997. package/dist/lib/semantic-fact-policy-authority.js +0 -79
  998. package/dist/lib/semantic-fact-policy-census.d.ts +0 -3
  999. package/dist/lib/semantic-fact-policy-census.js +0 -126
  1000. package/dist/lib/semantic-fact-policy-condition-references.d.ts +0 -7
  1001. package/dist/lib/semantic-fact-policy-condition-references.js +0 -19
  1002. package/dist/lib/semantic-fact-policy-conditions.d.ts +0 -2
  1003. package/dist/lib/semantic-fact-policy-conditions.js +0 -105
  1004. package/dist/lib/semantic-fact-policy-facts.d.ts +0 -3
  1005. package/dist/lib/semantic-fact-policy-facts.js +0 -73
  1006. package/dist/lib/semantic-fact-policy-primitives.d.ts +0 -26
  1007. package/dist/lib/semantic-fact-policy-primitives.js +0 -169
  1008. package/dist/lib/semantic-fact-policy-proofs.d.ts +0 -2
  1009. package/dist/lib/semantic-fact-policy-proofs.js +0 -75
  1010. package/dist/lib/semantic-fact-policy-properties.d.ts +0 -3
  1011. package/dist/lib/semantic-fact-policy-properties.js +0 -84
  1012. package/dist/lib/semantic-fact-policy-units.d.ts +0 -4
  1013. package/dist/lib/semantic-fact-policy-units.js +0 -103
  1014. package/dist/lib/semantic-fact-policy.d.ts +0 -17
  1015. package/dist/lib/semantic-fact-policy.js +0 -41
  1016. package/dist/lib/semantic-fact-proof-shape.d.ts +0 -51
  1017. package/dist/lib/semantic-fact-proof-shape.js +0 -121
  1018. package/dist/lib/semantic-fact-proof-types.d.ts +0 -74
  1019. package/dist/lib/semantic-fact-proof-types.js +0 -1
  1020. package/dist/lib/semantic-fact-property-shape.d.ts +0 -29
  1021. package/dist/lib/semantic-fact-property-shape.js +0 -77
  1022. package/dist/lib/semantic-fact-shape-constants.d.ts +0 -3
  1023. package/dist/lib/semantic-fact-shape-constants.js +0 -38
  1024. package/dist/lib/semantic-fact-shape-primitives.d.ts +0 -15
  1025. package/dist/lib/semantic-fact-shape-primitives.js +0 -68
  1026. package/dist/lib/semantic-fact-source-parser.d.ts +0 -14
  1027. package/dist/lib/semantic-fact-source-parser.js +0 -87
  1028. package/dist/lib/semantic-fact-support-shape.d.ts +0 -21
  1029. package/dist/lib/semantic-fact-support-shape.js +0 -59
  1030. package/dist/lib/semantic-fact-types.d.ts +0 -5
  1031. package/dist/lib/semantic-fact-types.js +0 -5
  1032. package/dist/lib/semantic-fact-unit-shape.d.ts +0 -34
  1033. package/dist/lib/semantic-fact-unit-shape.js +0 -89
  1034. package/dist/lib/semantic-fact-value-shape.d.ts +0 -12
  1035. package/dist/lib/semantic-fact-value-shape.js +0 -39
  1036. package/dist/lib/source-line-scanner.d.ts +0 -3
  1037. package/dist/lib/source-line-scanner.js +0 -42
  1038. package/dist/lib/stable-json.d.ts +0 -2
  1039. package/dist/lib/stable-json.js +0 -21
  1040. package/dist/lib/structural-closure-cost.d.ts +0 -79
  1041. package/dist/lib/structural-closure-cost.js +0 -91
  1042. package/dist/lib/symbolic-denotation-dag-builder.d.ts +0 -25
  1043. package/dist/lib/symbolic-denotation-dag-builder.js +0 -176
  1044. package/dist/lib/symbolic-denotation-domain-validation.d.ts +0 -3
  1045. package/dist/lib/symbolic-denotation-domain-validation.js +0 -56
  1046. package/dist/lib/symbolic-denotation-engine.d.ts +0 -32
  1047. package/dist/lib/symbolic-denotation-engine.js +0 -140
  1048. package/dist/lib/symbolic-denotation-public.d.ts +0 -11
  1049. package/dist/lib/symbolic-denotation-public.js +0 -12
  1050. package/dist/lib/symbolic-denotation-runtime.d.ts +0 -20
  1051. package/dist/lib/symbolic-denotation-runtime.js +0 -90
  1052. package/dist/lib/symbolic-denotation-support.d.ts +0 -11
  1053. package/dist/lib/symbolic-denotation-support.js +0 -49
  1054. package/dist/lib/symbolic-denotation-types.d.ts +0 -133
  1055. package/dist/lib/symbolic-denotation-types.js +0 -18
  1056. package/dist/lib/symbolic-denotation-validation.d.ts +0 -6
  1057. package/dist/lib/symbolic-denotation-validation.js +0 -126
  1058. package/dist/long-task-hook.d.ts +0 -2
  1059. package/dist/long-task-hook.js +0 -103
  1060. package/dist/public-api-long-task.d.ts +0 -10
  1061. package/dist/public-api-long-task.js +0 -10
  1062. package/dist/schemas/design-authority-delta-assessment-v1.schema.json +0 -191
  1063. package/dist/schemas/design-resource-symbolic-noninterference-artifact-v2.schema.json +0 -289
  1064. package/dist/schemas/design-resource-symbolic-source-ir-v1.schema.json +0 -130
  1065. package/dist/schemas/long-task-delivery-v2/long-task-delivery-v2.schema.json +0 -2354
  1066. package/dist/schemas/long-task-delivery-v2/long-task-outcomes-v2.schema.json +0 -18
  1067. package/dist/schemas/long-task-external-confirmation-record-v1.schema.json +0 -155
  1068. package/dist/schemas/long-task-external-confirmation-record-v2.schema.json +0 -209
  1069. /package/dist/lib/{long-task-git.d.ts → git.d.ts} +0 -0
  1070. /package/dist/lib/{long-task-git.js → git.js} +0 -0
@@ -1,58 +0,0 @@
1
- import { captureStoredExternalConfirmationArtifactIdentities } from "./long-task-external-confirmation-artifacts.js";
2
- import { captureStoredExternalConfirmationChallengeIdentities } from "./long-task-external-confirmation-challenge.js";
3
- import { readStoredExternalConfirmationRecord } from "./long-task-external-confirmation-state.js";
4
- import { captureStoredExternalConfirmationRecordIdentities } from "./long-task-external-confirmation-state.js";
5
- import { captureProtectedAuthorityInputsIdentity } from "./long-task-freshness.js";
6
- import { canonicalValueJson, sha256Hex } from "./strict-codec.js";
7
- export async function captureFinalizationIdentity(input) {
8
- const confirmationRefs = input.compiled.global.acceptance.external_confirmations
9
- .map((confirmation) => confirmation.key)
10
- .sort();
11
- const [protectedAuthorityInputs, externalRecords, externalChallenges, externalArtifacts,] = await Promise.all([
12
- captureProtectedAuthorityInputsIdentity(input.compiled),
13
- captureStoredExternalConfirmationRecordIdentities(input.repository, input.compiled.workdir, confirmationRefs),
14
- captureStoredExternalConfirmationChallengeIdentities(input.repository, input.compiled.workdir, confirmationRefs),
15
- captureExternalArtifactIdentities(input.repository, input.compiled.workdir, confirmationRefs),
16
- ]);
17
- return {
18
- active_authority_identity: input.active.active_authority_identity,
19
- authority_revision: input.active.authority_revision,
20
- verifier_identity_sha256: input.compiled.verifier_identity.bundle_sha256,
21
- candidate: {
22
- git_head: input.candidate.git_head,
23
- git_tree: input.candidate.git_tree,
24
- workspace_fingerprint: typeof input.workspace_fingerprint === "string"
25
- ? input.workspace_fingerprint
26
- : input.workspace_fingerprint.identity,
27
- },
28
- compiled_identity: input.compiled.compiled_identity,
29
- raw_contract_sha256: protectedAuthorityInputs.snapshot.raw_contract_sha256,
30
- protected_authority_inputs_identity: protectedAuthorityInputs.identity,
31
- external_records: externalRecords,
32
- external_challenges: externalChallenges,
33
- external_artifacts: externalArtifacts,
34
- };
35
- }
36
- export function finalizationIdentityDigest(identity) {
37
- return sha256Hex(canonicalValueJson(identity));
38
- }
39
- async function captureExternalArtifactIdentities(repository, workdir, confirmationRefs) {
40
- const result = {};
41
- for (const confirmationRef of confirmationRefs) {
42
- const stored = await readStoredExternalConfirmationRecord(repository, workdir, confirmationRef);
43
- if (stored.error)
44
- throw new Error(`finalization_external_record_invalid:${confirmationRef}:${stored.error}`);
45
- if (!stored.record ||
46
- stored.record.schema_version !==
47
- "long-task-external-confirmation-record-v2")
48
- continue;
49
- const identities = await captureStoredExternalConfirmationArtifactIdentities(repository, workdir, stored.record.artifact_snapshots);
50
- for (const [storeRef, identity] of Object.entries(identities)) {
51
- const previous = result[storeRef];
52
- if (previous && previous !== identity)
53
- throw new Error(`finalization_external_artifact_identity_conflict:${storeRef}`);
54
- result[storeRef] = identity;
55
- }
56
- }
57
- return Object.fromEntries(Object.entries(result).sort(([left], [right]) => left.localeCompare(right)));
58
- }
@@ -1,3 +0,0 @@
1
- import type { CheckExecutionResultV2, CompiledDeliveryContractV2, LongTaskFindingV2 } from "./long-task-delivery-types.js";
2
- export declare function enrichCheckResultFindings(compiled: CompiledDeliveryContractV2, result: CheckExecutionResultV2): CheckExecutionResultV2;
3
- export declare function enrichFinding(compiled: CompiledDeliveryContractV2, finding: LongTaskFindingV2, result?: CheckExecutionResultV2): LongTaskFindingV2;
@@ -1,189 +0,0 @@
1
- import { resolveAcceptanceAssertion } from "./long-task-acceptance-reference.js";
2
- import { deriveMaterialSourceFragments } from "./long-task-source-fragments.js";
3
- export function enrichCheckResultFindings(compiled, result) {
4
- return {
5
- ...result,
6
- findings: result.findings.map((finding) => enrichFinding(compiled, finding, result)),
7
- };
8
- }
9
- export function enrichFinding(compiled, finding, result) {
10
- const context = resolveFindingContext(compiled, finding);
11
- const { check, outcome, sourceClaims, sourceTargets } = context;
12
- const { authorities, expectations } = context;
13
- const factRefs = unique([
14
- ...(finding.fact_refs ?? []),
15
- ...authorities.flatMap((authority) => authority.fact_ref ? [authority.fact_ref] : []),
16
- ...expectations.map((expectation) => expectation.fact_ref),
17
- ]);
18
- const proofRefs = unique([
19
- ...(finding.proof_obligation_refs ?? []),
20
- ...authorities.map((authority) => authority.obligation_ref),
21
- ...expectations.map((expectation) => expectation.proof_ref),
22
- ]);
23
- const expectedAuthorityRefs = unique([
24
- ...(finding.expected_authority_refs ?? []),
25
- ...(finding.assertion_key &&
26
- check?.expected_authority_refs[finding.assertion_key]
27
- ? [check.expected_authority_refs[finding.assertion_key]]
28
- : []),
29
- ]);
30
- const actualEvidenceRefs = unique([
31
- ...(finding.actual_evidence_refs ?? []),
32
- ...(result ? [`execution:${result.execution_identity}`] : []),
33
- ...Object.keys(result?.artifact_hashes ?? {}).map((artifact) => `artifact:${artifact}`),
34
- ]);
35
- const sourceFragmentRefs = unique([
36
- ...(finding.source_fragment_refs ?? []),
37
- ...fragmentsForSourceClaims(compiled, sourceClaims),
38
- ]);
39
- const rerunObligationRefs = unique([
40
- ...(finding.rerun_obligation_refs ?? []),
41
- ...proofRefs,
42
- ...authorities.map((authority) => authority.obligation_ref),
43
- ...normalizedClaimRefs(finding),
44
- ]);
45
- const enriched = {
46
- ...finding,
47
- invalidation_reasons: unique([
48
- ...(finding.invalidation_reasons ?? []),
49
- finding.code,
50
- ]),
51
- };
52
- applyFindingReferences(enriched, {
53
- sourceClaims,
54
- sourceTargets,
55
- sourceFragmentRefs,
56
- factRefs,
57
- proofRefs,
58
- expectedAuthorityRefs,
59
- actualEvidenceRefs,
60
- rerunObligationRefs,
61
- });
62
- applyFindingOwners(enriched, outcome, check);
63
- return enriched;
64
- }
65
- function resolveFindingContext(compiled, finding) {
66
- const outcome = finding.outcome_key
67
- ? (compiled.outcomes.find((item) => item.key === finding.outcome_key) ??
68
- null)
69
- : null;
70
- const sourceClaims = sourceClaimsForFinding(compiled, finding);
71
- const sourceTargets = unique(compiled.source_claims
72
- .filter((source) => sourceClaims.includes(source.key))
73
- .flatMap((source) => dispositionTargetRefs(source.disposition)));
74
- const check = finding.check_key
75
- ? (allChecks(compiled).find((item) => item.outcome_key === finding.outcome_key &&
76
- item.key === finding.check_key) ?? null)
77
- : null;
78
- const authorities = check
79
- ? check.observation_authorities.filter((authority) => !finding.assertion_key ||
80
- authority.assertion_ref === finding.assertion_key)
81
- : [];
82
- const expectations = check
83
- ? check.semantic_fact_expectations.filter((expectation) => !finding.assertion_key ||
84
- expectation.assertion_ref === finding.assertion_key)
85
- : [];
86
- return {
87
- outcome,
88
- check,
89
- sourceClaims,
90
- sourceTargets,
91
- authorities,
92
- expectations,
93
- };
94
- }
95
- function applyFindingReferences(finding, refs) {
96
- if (refs.sourceClaims.length)
97
- finding.source_claim_keys = refs.sourceClaims;
98
- if (refs.sourceTargets.length)
99
- finding.source_target_refs = refs.sourceTargets;
100
- if (refs.sourceFragmentRefs.length)
101
- finding.source_fragment_refs = refs.sourceFragmentRefs;
102
- if (refs.factRefs.length)
103
- finding.fact_refs = refs.factRefs;
104
- if (refs.proofRefs.length)
105
- finding.proof_obligation_refs = refs.proofRefs;
106
- if (refs.expectedAuthorityRefs.length)
107
- finding.expected_authority_refs = refs.expectedAuthorityRefs;
108
- if (refs.actualEvidenceRefs.length)
109
- finding.actual_evidence_refs = refs.actualEvidenceRefs;
110
- if (refs.rerunObligationRefs.length)
111
- finding.rerun_obligation_refs = refs.rerunObligationRefs;
112
- }
113
- function applyFindingOwners(finding, outcome, check) {
114
- if (outcome && !finding.owner_paths)
115
- finding.owner_paths = outcome.product.owner.path_globs;
116
- if (outcome)
117
- finding.implementation_owner = {
118
- label: outcome.product.owner.label,
119
- path_globs: [...outcome.product.owner.path_globs],
120
- };
121
- if (check)
122
- finding.verification_owner = {
123
- kind: "machine_check",
124
- outcome_key: check.outcome_key,
125
- check_key: check.key,
126
- runner_target: check.runner.resolved_target,
127
- input_paths: unique([...check.input_paths, ...check.verification_inputs]),
128
- };
129
- }
130
- function allChecks(compiled) {
131
- return [
132
- ...compiled.global.acceptance.checks,
133
- ...compiled.outcomes.flatMap((outcome) => outcome.acceptance.checks),
134
- ];
135
- }
136
- function fragmentsForSourceClaims(compiled, sourceClaimKeys) {
137
- const sourceClaims = compiled.source_claims.filter((claim) => sourceClaimKeys.includes(claim.key));
138
- const items = compiled.source_items.filter((item) => sourceClaims.some((claim) => {
139
- const [sourcePath, anchor] = claim.source_ref.split("#");
140
- return (item.source_path === sourcePath &&
141
- (item.key === claim.key || !anchor || item.key === anchor));
142
- }));
143
- return unique(items.flatMap((item) => deriveMaterialSourceFragments(item).map((fragment) => fragment.key)));
144
- }
145
- function normalizedClaimRefs(finding) {
146
- return (finding.claim_keys ?? []).map((claim) => finding.outcome_key && !claim.startsWith(`${finding.outcome_key}.`)
147
- ? `${finding.outcome_key}.${claim}`
148
- : claim);
149
- }
150
- function unique(values) {
151
- return [...new Set(values)].sort();
152
- }
153
- function dispositionTargetRefs(disposition) {
154
- if (disposition.type === "outcome_result")
155
- return [disposition.ref];
156
- if (disposition.type === "claim" ||
157
- disposition.type === "acceptance" ||
158
- disposition.type === "global_constraint" ||
159
- disposition.type === "risk_fact" ||
160
- disposition.type === "external_confirmation")
161
- return disposition.refs;
162
- return [];
163
- }
164
- function sourceClaimsForFinding(compiled, finding) {
165
- const acceptanceRef = finding.check_key && finding.assertion_key
166
- ? `${finding.outcome_key ?? "GLOBAL"}.${finding.check_key}.${finding.assertion_key}`
167
- : null;
168
- const resolvedAcceptance = acceptanceRef
169
- ? resolveAcceptanceAssertion(compiled, acceptanceRef)
170
- : null;
171
- const productRefs = new Set((finding.claim_keys ?? []).map((claim) => finding.outcome_key ? `${finding.outcome_key}.${claim}` : claim));
172
- return compiled.source_claims
173
- .filter((source) => {
174
- if (source.disposition.type === "acceptance" &&
175
- resolvedAcceptance &&
176
- source.disposition.refs.includes(resolvedAcceptance.ref))
177
- return true;
178
- if (source.disposition.type === "claim" &&
179
- source.disposition.refs.some((reference) => productRefs.has(reference)))
180
- return true;
181
- if (source.disposition.type === "outcome_result" &&
182
- productRefs.has(source.disposition.ref))
183
- return true;
184
- return (source.disposition.type === "global_constraint" &&
185
- source.disposition.refs.some((reference) => productRefs.has(reference)));
186
- })
187
- .map((source) => source.key)
188
- .sort();
189
- }
@@ -1,30 +0,0 @@
1
- import type { CompiledDeliveryContractV2, VerifierIdentityV2 } from "./long-task-delivery-types.js";
2
- import type { DesignAuthorityIdentityV1 } from "./design-authority-types.js";
3
- export interface ProtectedAuthorityInputsSnapshotV1 {
4
- schema_version: "long-task-protected-authority-inputs-v1";
5
- raw_contract_sha256: string;
6
- contract_files: Record<string, string>;
7
- source_files: Record<string, string>;
8
- context: {
9
- mode: "referenced" | "full";
10
- topology_sha256: string;
11
- files: string[];
12
- file_sha256: Record<string, string>;
13
- };
14
- project_design_authority: DesignAuthorityIdentityV1 | null;
15
- runner_frozen_files: Record<string, Record<string, string>>;
16
- verification_inputs: Record<string, Record<string, string>>;
17
- verifier_identity: VerifierIdentityV2;
18
- external_public_keys: Record<string, {
19
- key_id: string;
20
- public_key_ref: string;
21
- sha256: string;
22
- }>;
23
- }
24
- export interface ProtectedAuthorityInputsIdentityV1 {
25
- identity: string;
26
- snapshot: ProtectedAuthorityInputsSnapshotV1;
27
- }
28
- export declare function captureProtectedAuthorityInputsIdentity(compiled: CompiledDeliveryContractV2): Promise<ProtectedAuthorityInputsIdentityV1>;
29
- export declare function deliveryCompileFreshness(compiled: CompiledDeliveryContractV2): Promise<string[]>;
30
- export declare function assertVerifierAuthorityCurrent(repositoryRoot: string, expected: VerifierIdentityV2): Promise<void>;
@@ -1,203 +0,0 @@
1
- import { readFile } from "node:fs/promises";
2
- import path from "node:path";
3
- import { captureContextGraphSnapshot, captureContextGraphSnapshotWithPhysicalFiles, } from "./context-graph-snapshot.js";
4
- import { canonicalValueJson, sha256Hex } from "./strict-codec.js";
5
- import { captureVerifierIdentity } from "./long-task-verifier-identity.js";
6
- import { verifierAuthorityDiff } from "./long-task-verifier-authority.js";
7
- import { parseDeliveryContractBundle } from "./long-task-delivery-parser.js";
8
- import { assertProtectedRepositoryFile } from "./repository-path-safety.js";
9
- import { inspectDesignAuthorityClosure } from "./design-authority-closure.js";
10
- export async function captureProtectedAuthorityInputsIdentity(compiled) {
11
- const repository = compiled.repository_root;
12
- const checks = allChecks(compiled);
13
- const fileHashCache = new Map();
14
- const hashRepositoryFile = (relativeInput, label, absoluteInput) => {
15
- const relative = relativeInput.replace(/\\/gu, "/");
16
- const cacheKey = absoluteInput ?? relative;
17
- const existing = fileHashCache.get(cacheKey);
18
- if (existing)
19
- return existing;
20
- const captured = (async () => {
21
- const file = await assertProtectedRepositoryFile(repository, absoluteInput ?? path.join(repository, ...relative.split("/")), label);
22
- return sha256Hex(await readFile(file));
23
- })();
24
- fileHashCache.set(cacheKey, captured);
25
- return captured;
26
- };
27
- const hashFiles = async (files, label, physicalFiles) => Object.fromEntries(await Promise.all([...new Set(files)]
28
- .sort()
29
- .map(async (file) => [
30
- file,
31
- await hashRepositoryFile(file, `${label}:${file}`, requiredPhysicalFile(physicalFiles, file)),
32
- ])));
33
- const contextCapture = await captureContextGraphSnapshotWithPhysicalFiles(repository, compiled.task.context_refs, compiled.context_snapshot.mode);
34
- const context = contextCapture.snapshot;
35
- const [contractFiles, sourceFiles, contextFiles, runnerFrozenFiles, verificationInputs, verifierIdentity, externalPublicKeys, projectDesignAuthority,] = await Promise.all([
36
- hashFiles(Object.keys(compiled.contract_files), "protected_contract"),
37
- hashFiles(Object.keys(compiled.source_hashes), "protected_source"),
38
- hashFiles(context.files, "protected_context", contextCapture.physical_files),
39
- captureCheckFileIdentities(checks, (check) => check.runner.frozen_files, hashFiles, "protected_runner"),
40
- captureCheckFileIdentities(checks, (check) => check.verification_input_hashes, hashFiles, "protected_verification_input"),
41
- captureVerifierIdentity(repository, compiled.verifier_identity.hook_sha256 !== "not-required"),
42
- captureExternalPublicKeyIdentities(compiled, hashRepositoryFile),
43
- captureCurrentProjectDesignAuthority(compiled),
44
- ]);
45
- const rawContractSha256 = contractFiles[compiled.contract_file] ??
46
- (await hashRepositoryFile(compiled.contract_file, "protected_raw_contract"));
47
- const snapshot = {
48
- schema_version: "long-task-protected-authority-inputs-v1",
49
- raw_contract_sha256: rawContractSha256,
50
- contract_files: contractFiles,
51
- source_files: sourceFiles,
52
- context: {
53
- mode: context.mode,
54
- topology_sha256: context.topology_sha256,
55
- files: context.files,
56
- file_sha256: contextFiles,
57
- },
58
- project_design_authority: projectDesignAuthority,
59
- runner_frozen_files: runnerFrozenFiles,
60
- verification_inputs: verificationInputs,
61
- verifier_identity: verifierIdentity,
62
- external_public_keys: externalPublicKeys,
63
- };
64
- return {
65
- identity: sha256Hex(canonicalValueJson(snapshot)),
66
- snapshot,
67
- };
68
- }
69
- function requiredPhysicalFile(physicalFiles, file) {
70
- if (!physicalFiles)
71
- return undefined;
72
- const physical = physicalFiles.get(file);
73
- if (!physical)
74
- throw new Error(`protected_context_physical_file_missing:${file}`);
75
- return physical;
76
- }
77
- export async function deliveryCompileFreshness(compiled) {
78
- const findings = [];
79
- if (compiled.project_design_authority)
80
- try {
81
- const current = await captureCurrentProjectDesignAuthority(compiled);
82
- if (canonicalValueJson(current) !==
83
- canonicalValueJson(compiled.project_design_authority))
84
- findings.push("project_design_authority_changed_after_compile");
85
- }
86
- catch {
87
- findings.push("project_design_authority_changed_after_compile");
88
- }
89
- try {
90
- const currentContract = await parseDeliveryContractBundle(compiled.workdir, compiled.repository_root, { validate_structure: false });
91
- if (sha256Hex(canonicalValueJson(currentContract.contract)) !==
92
- compiled.contract_sha256)
93
- findings.push(`contract_changed_after_compile:${compiled.contract_file}`);
94
- }
95
- catch {
96
- findings.push(`contract_changed_after_compile:${compiled.contract_file}`);
97
- }
98
- for (const [file, hash] of Object.entries(compiled.contract_files))
99
- await compareFile(path.join(compiled.repository_root, file), hash, `contract_changed_after_compile:${file}`, findings);
100
- for (const [file, hash] of Object.entries(compiled.source_hashes))
101
- await compareFile(path.join(compiled.repository_root, file), hash, `source_changed_after_compile:${file}`, findings);
102
- try {
103
- const current = await captureContextGraphSnapshot(compiled.repository_root, compiled.task.context_refs, compiled.context_snapshot.mode);
104
- if (current.topology_sha256 !== compiled.context_snapshot.topology_sha256)
105
- findings.push("context_changed_after_compile:topology");
106
- if (canonicalValueJson(current.files) !==
107
- canonicalValueJson(compiled.context_snapshot.files))
108
- findings.push("context_changed_after_compile:file_set");
109
- for (const [file, hash] of Object.entries(compiled.context_snapshot.sha256))
110
- if (current.sha256[file] !== hash)
111
- findings.push(`context_changed_after_compile:${file}`);
112
- }
113
- catch (error) {
114
- findings.push(`context_changed_after_compile:${message(error)}`);
115
- }
116
- try {
117
- const currentVerifier = await captureVerifierIdentity(compiled.repository_root, compiled.verifier_identity.hook_sha256 !== "not-required");
118
- const verifierDiff = verifierAuthorityDiff(compiled.verifier_identity, currentVerifier);
119
- if (verifierDiff.verifier_content_changed)
120
- findings.push("verifier_changed_after_compile:bundle");
121
- if (verifierDiff.verifier_runtime_locator_changed)
122
- findings.push("verifier_changed_after_compile:runtime_locator");
123
- }
124
- catch {
125
- findings.push("verifier_changed_after_compile:bundle");
126
- }
127
- const checks = allChecks(compiled);
128
- for (const check of checks)
129
- for (const [file, hash] of Object.entries(check.runner.frozen_files))
130
- await compareFile(path.join(compiled.repository_root, file), hash, `runner_changed_after_compile:${check.internal_id}:${file}`, findings);
131
- for (const check of checks)
132
- for (const [file, hash] of Object.entries(check.verification_input_hashes))
133
- await compareFile(path.join(compiled.repository_root, file), hash, `verification_input_changed_after_compile:${check.internal_id}:${file}`, findings);
134
- for (const [confirmationRef, assurance] of Object.entries(compiled.external_confirmation_identity_assurances))
135
- if (assurance.scheme === "ed25519")
136
- await compareFile(path.join(compiled.repository_root, assurance.public_key_ref), assurance.public_key_sha256, `external_public_key_changed_after_compile:${confirmationRef}:${assurance.public_key_ref}`, findings);
137
- return [...new Set(findings)].sort();
138
- }
139
- async function captureCurrentProjectDesignAuthority(compiled) {
140
- if (!compiled.project_design_authority)
141
- return null;
142
- const inspection = await inspectDesignAuthorityClosure(compiled.repository_root);
143
- if (inspection.status !== "valid" || !inspection.identity)
144
- throw new Error("project_design_authority_invalid");
145
- return inspection.identity;
146
- }
147
- export async function assertVerifierAuthorityCurrent(repositoryRoot, expected) {
148
- let current;
149
- try {
150
- current = await captureVerifierIdentity(repositoryRoot, expected.hook_sha256 !== "not-required");
151
- }
152
- catch {
153
- throw new Error("verifier_authority_migration_required");
154
- }
155
- const diff = verifierAuthorityDiff(expected, current);
156
- if (diff.verifier_content_changed || diff.verifier_runtime_locator_changed)
157
- throw new Error("verifier_authority_migration_required");
158
- }
159
- async function compareFile(file, expected, finding, findings) {
160
- try {
161
- if (sha256Hex(await readFile(file)) !== expected)
162
- findings.push(finding);
163
- }
164
- catch {
165
- findings.push(finding);
166
- }
167
- }
168
- function allChecks(compiled) {
169
- return [
170
- ...compiled.global.acceptance.checks,
171
- ...compiled.outcomes.flatMap((outcome) => outcome.acceptance.checks),
172
- ];
173
- }
174
- async function captureCheckFileIdentities(checks, select, hashFiles, label) {
175
- const rows = await Promise.all(checks.map(async (check) => [
176
- check.internal_id,
177
- await hashFiles(Object.keys(select(check)), `${label}:${check.internal_id}`),
178
- ]));
179
- if (new Set(rows.map(([checkRef]) => checkRef)).size !== rows.length)
180
- throw new Error("protected_authority_check_identity_duplicated");
181
- return Object.fromEntries(rows.sort(([left], [right]) => left.localeCompare(right)));
182
- }
183
- async function captureExternalPublicKeyIdentities(compiled, hashRepositoryFile) {
184
- const rows = await Promise.all(Object.entries(compiled.external_confirmation_identity_assurances)
185
- .filter(([, assurance]) => assurance.scheme === "ed25519")
186
- .sort(([left], [right]) => left.localeCompare(right))
187
- .map(async ([confirmationRef, assurance]) => {
188
- if (assurance.scheme !== "ed25519")
189
- throw new Error("protected_external_public_key_scheme_invalid");
190
- return [
191
- confirmationRef,
192
- {
193
- key_id: assurance.key_id,
194
- public_key_ref: assurance.public_key_ref,
195
- sha256: await hashRepositoryFile(assurance.public_key_ref, `protected_external_public_key:${confirmationRef}`),
196
- },
197
- ];
198
- }));
199
- return Object.fromEntries(rows);
200
- }
201
- function message(error) {
202
- return error instanceof Error ? error.message : String(error);
203
- }
@@ -1,26 +0,0 @@
1
- import { type Stats } from "node:fs";
2
- import type { SyncReport } from "./sync-engine.js";
3
- export declare const LONG_TASK_HOOK_TRUST_REVIEW_NOTICE = "Codex Hook review required: open /hooks and trust the current Tiny Context project Hook before relying on PreToolUse, SubagentStart, SessionStart or Stop behavior. Tiny Context cannot observe or persist Codex Hook trust.";
4
- export interface LongTaskHookFileOperations {
5
- lstat(target: string): Promise<Stats>;
6
- readFile(target: string, encoding: "utf8"): Promise<string>;
7
- mkdir(target: string, options: {
8
- recursive: true;
9
- }): Promise<unknown>;
10
- writeFile(target: string, content: string, options: {
11
- flag: "wx";
12
- }): Promise<void>;
13
- rename(source: string, destination: string): Promise<void>;
14
- rm(target: string, options: {
15
- force: true;
16
- }): Promise<void>;
17
- randomId(): string;
18
- }
19
- export declare function installLongTaskHooks(projectRoot: string, report: SyncReport, fileOperations?: Partial<LongTaskHookFileOperations>): Promise<void>;
20
- export declare function uninstallLongTaskHooks(projectRoot: string, report: SyncReport, fileOperations?: Partial<LongTaskHookFileOperations>): Promise<void>;
21
- export declare function packageOwnedCommand(entry: string): string;
22
- export declare function removeManagedHookEntries(groups: unknown, currentPackageCommand?: string): {
23
- groups: unknown[];
24
- removed: number;
25
- };
26
- export declare function isManagedHookEntry(entry: unknown, currentPackageCommand?: string): boolean;