project-tiny-context-harness 0.8.11 → 0.8.13

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 (395) hide show
  1. package/LICENSE +21 -21
  2. package/README.md +514 -472
  3. package/assets/README.md +803 -749
  4. package/assets/README.zh-CN.md +468 -431
  5. package/assets/agents/.gitkeep +1 -1
  6. package/assets/agents/AGENTS_CORE.md +22 -24
  7. package/assets/agents/long-task-implementation.toml +15 -0
  8. package/assets/context_templates/architecture.md +18 -18
  9. package/assets/context_templates/area.md +30 -30
  10. package/assets/context_templates/context.toml +24 -24
  11. package/assets/context_templates/deployment.md +35 -35
  12. package/assets/context_templates/global.md +56 -56
  13. package/assets/context_templates/product-surface-contract.md +70 -70
  14. package/assets/context_templates/screen-contract.md +189 -189
  15. package/assets/context_templates/verification.md +25 -25
  16. package/assets/github/.gitkeep +1 -1
  17. package/assets/github/harness.yml +39 -39
  18. package/assets/make/.gitkeep +1 -1
  19. package/assets/make/ty-context.mk +48 -48
  20. package/assets/skills/context_development_engineer/SKILL.md +72 -185
  21. package/assets/skills/context_full_project_export/SKILL.md +28 -28
  22. package/assets/skills/context_harness_upgrade/SKILL.md +60 -60
  23. package/assets/skills/context_product_plan/SKILL.md +35 -101
  24. package/assets/skills/context_surface_contract/SKILL.md +194 -191
  25. package/assets/skills/context_uiux_design/SKILL.md +49 -172
  26. package/assets/skills/design-resource-authoring/SKILL.md +54 -88
  27. package/assets/skills/design-resource-authoring/references/downstream-handoff.md +51 -163
  28. package/assets/skills/design-resource-authoring/references/formal-selected-web-app-handoff.md +96 -0
  29. package/assets/skills/design-resource-authoring/references/open-design-provider.md +140 -120
  30. package/assets/skills/design-resource-authoring/references/recovery-and-writeback.md +199 -0
  31. package/assets/skills/design-resource-authoring/references/resource-selection.md +158 -181
  32. package/assets/skills/design-system-authoring/SKILL.md +57 -57
  33. package/assets/skills/design-system-authoring/agents/openai.yaml +6 -6
  34. package/assets/skills/design-system-authoring/references/authority-adoption.md +48 -48
  35. package/assets/skills/design-system-authoring/references/open-design-design-system-provider.md +110 -110
  36. package/assets/skills/long-task-workflow/SKILL.md +71 -106
  37. package/assets/skills/long-task-workflow/agents/openai.yaml +1 -1
  38. package/assets/skills/long-task-workflow/references/authority-lifecycle.md +71 -69
  39. package/assets/skills/long-task-workflow/references/contract-authoring.md +110 -101
  40. package/assets/skills/long-task-workflow/references/evidence-design.md +99 -78
  41. package/assets/skills/long-task-workflow/references/source-authoring.md +90 -90
  42. package/assets/tools/validate_context.py +442 -442
  43. package/dist/commands/design-resource-recovery.d.ts +1 -0
  44. package/dist/commands/design-resource-recovery.js +152 -0
  45. package/dist/commands/design-resource.js +29 -3
  46. package/dist/commands/enable.js +2 -0
  47. package/dist/commands/index.js +2 -2
  48. package/dist/commands/long-task-revision.js +8 -7
  49. package/dist/commands/sync.js +2 -0
  50. package/dist/index.d.ts +3 -3
  51. package/dist/index.js +2 -0
  52. package/dist/lib/compact-authoring-support.d.ts +22 -0
  53. package/dist/lib/compact-authoring-support.js +143 -0
  54. package/dist/lib/compact-shared-structure-authoring.d.ts +5 -0
  55. package/dist/lib/compact-shared-structure-authoring.js +9 -0
  56. package/dist/lib/compact-shared-structure-types.d.ts +61 -0
  57. package/dist/lib/compact-shared-structure-types.js +1 -0
  58. package/dist/lib/compact-shared-structure-validation.d.ts +2 -0
  59. package/dist/lib/compact-shared-structure-validation.js +159 -0
  60. package/dist/lib/compact-shared-structures.d.ts +3 -0
  61. package/dist/lib/compact-shared-structures.js +204 -0
  62. package/dist/lib/design-resource-fact-enums.d.ts +4 -0
  63. package/dist/lib/design-resource-fact-enums.js +12 -0
  64. package/dist/lib/design-resource-fact-manifest-shape-evidence.js +2 -2
  65. package/dist/lib/design-resource-fact-policy.d.ts +2 -2
  66. package/dist/lib/design-resource-fact-types.d.ts +2 -2
  67. package/dist/lib/design-resource-handoff-bundle-draft.js +4 -2
  68. package/dist/lib/design-resource-handoff-input-types.d.ts +3 -0
  69. package/dist/lib/design-resource-handoff-parser.d.ts +2 -2
  70. package/dist/lib/design-resource-handoff-parser.js +2 -2
  71. package/dist/lib/design-resource-handoff-shape.d.ts +2 -0
  72. package/dist/lib/design-resource-handoff-shape.js +10 -0
  73. package/dist/lib/design-resource-handoff-snapshot.js +4 -0
  74. package/dist/lib/design-resource-handoff-validation.d.ts +4 -1
  75. package/dist/lib/design-resource-handoff-validation.js +11 -0
  76. package/dist/lib/design-resource-handoff-web-dependency-validation.d.ts +4 -2
  77. package/dist/lib/design-resource-reconciliation-codec.d.ts +2 -0
  78. package/dist/lib/design-resource-reconciliation-codec.js +174 -0
  79. package/dist/lib/design-resource-reconciliation-types.d.ts +62 -0
  80. package/dist/lib/design-resource-reconciliation-types.js +1 -0
  81. package/dist/lib/design-resource-reconciliation.d.ts +3 -0
  82. package/dist/lib/design-resource-reconciliation.js +224 -0
  83. package/dist/lib/design-resource-recovery-authority-policy.d.ts +8 -0
  84. package/dist/lib/design-resource-recovery-authority-policy.js +123 -0
  85. package/dist/lib/design-resource-recovery-catalog-resources.d.ts +6 -0
  86. package/dist/lib/design-resource-recovery-catalog-resources.js +121 -0
  87. package/dist/lib/design-resource-recovery-catalog-shape.d.ts +3 -0
  88. package/dist/lib/design-resource-recovery-catalog-shape.js +104 -0
  89. package/dist/lib/design-resource-recovery-catalog.d.ts +9 -0
  90. package/dist/lib/design-resource-recovery-catalog.js +103 -0
  91. package/dist/lib/design-resource-recovery-cleanup.d.ts +2 -0
  92. package/dist/lib/design-resource-recovery-cleanup.js +11 -0
  93. package/dist/lib/design-resource-recovery-codec-primitives.d.ts +19 -0
  94. package/dist/lib/design-resource-recovery-codec-primitives.js +92 -0
  95. package/dist/lib/design-resource-recovery-codec.d.ts +4 -0
  96. package/dist/lib/design-resource-recovery-codec.js +93 -0
  97. package/dist/lib/design-resource-recovery-current.d.ts +9 -0
  98. package/dist/lib/design-resource-recovery-current.js +41 -0
  99. package/dist/lib/design-resource-recovery-delta-policy.d.ts +5 -0
  100. package/dist/lib/design-resource-recovery-delta-policy.js +108 -0
  101. package/dist/lib/design-resource-recovery-files.d.ts +37 -0
  102. package/dist/lib/design-resource-recovery-files.js +204 -0
  103. package/dist/lib/design-resource-recovery-final-disposition-shape.d.ts +2 -0
  104. package/dist/lib/design-resource-recovery-final-disposition-shape.js +47 -0
  105. package/dist/lib/design-resource-recovery-patch-types.d.ts +54 -0
  106. package/dist/lib/design-resource-recovery-patch-types.js +1 -0
  107. package/dist/lib/design-resource-recovery-replay.d.ts +7 -0
  108. package/dist/lib/design-resource-recovery-replay.js +112 -0
  109. package/dist/lib/design-resource-recovery-repository-bindings.d.ts +9 -0
  110. package/dist/lib/design-resource-recovery-repository-bindings.js +49 -0
  111. package/dist/lib/design-resource-recovery-schema.d.ts +5 -0
  112. package/dist/lib/design-resource-recovery-schema.js +5 -0
  113. package/dist/lib/design-resource-recovery-shape.d.ts +10 -0
  114. package/dist/lib/design-resource-recovery-shape.js +184 -0
  115. package/dist/lib/design-resource-recovery-source-authority.d.ts +5 -0
  116. package/dist/lib/design-resource-recovery-source-authority.js +219 -0
  117. package/dist/lib/design-resource-recovery-text.d.ts +17 -0
  118. package/dist/lib/design-resource-recovery-text.js +186 -0
  119. package/dist/lib/design-resource-recovery-types.d.ts +197 -0
  120. package/dist/lib/design-resource-recovery-types.js +1 -0
  121. package/dist/lib/design-resource-recovery-writeback-policy.d.ts +5 -0
  122. package/dist/lib/design-resource-recovery-writeback-policy.js +326 -0
  123. package/dist/lib/design-resource-recovery-writeback-shape.d.ts +6 -0
  124. package/dist/lib/design-resource-recovery-writeback-shape.js +155 -0
  125. package/dist/lib/design-resource-recovery.d.ts +44 -0
  126. package/dist/lib/design-resource-recovery.js +216 -0
  127. package/dist/lib/design-resource-symbolic-applicability-authority.d.ts +7 -0
  128. package/dist/lib/design-resource-symbolic-applicability-authority.js +19 -0
  129. package/dist/lib/design-resource-symbolic-applicability-policy.d.ts +12 -0
  130. package/dist/lib/design-resource-symbolic-applicability-policy.js +79 -0
  131. package/dist/lib/design-resource-symbolic-applicability-profiles.d.ts +8 -0
  132. package/dist/lib/design-resource-symbolic-applicability-profiles.js +55 -0
  133. package/dist/lib/design-resource-symbolic-applicability-shape.d.ts +2 -0
  134. package/dist/lib/design-resource-symbolic-applicability-shape.js +76 -0
  135. package/dist/lib/design-resource-symbolic-applicability-validation.d.ts +7 -0
  136. package/dist/lib/design-resource-symbolic-applicability-validation.js +128 -0
  137. package/dist/lib/design-resource-symbolic-compilation.d.ts +3 -0
  138. package/dist/lib/design-resource-symbolic-compilation.js +13 -0
  139. package/dist/lib/design-resource-symbolic-denotation.d.ts +3 -0
  140. package/dist/lib/design-resource-symbolic-denotation.js +167 -0
  141. package/dist/lib/design-resource-symbolic-disposition-validation.d.ts +4 -0
  142. package/dist/lib/design-resource-symbolic-disposition-validation.js +28 -0
  143. package/dist/lib/design-resource-symbolic-fact-policy.d.ts +12 -0
  144. package/dist/lib/design-resource-symbolic-fact-policy.js +12 -0
  145. package/dist/lib/design-resource-symbolic-fact-shape.d.ts +3 -0
  146. package/dist/lib/design-resource-symbolic-fact-shape.js +138 -0
  147. package/dist/lib/design-resource-symbolic-fact-types.d.ts +213 -0
  148. package/dist/lib/design-resource-symbolic-fact-types.js +1 -0
  149. package/dist/lib/design-resource-symbolic-fact-validation.d.ts +3 -0
  150. package/dist/lib/design-resource-symbolic-fact-validation.js +86 -0
  151. package/dist/lib/design-resource-symbolic-indexes.d.ts +23 -0
  152. package/dist/lib/design-resource-symbolic-indexes.js +54 -0
  153. package/dist/lib/design-resource-symbolic-manifest-shape.d.ts +3 -0
  154. package/dist/lib/design-resource-symbolic-manifest-shape.js +155 -0
  155. package/dist/lib/design-resource-symbolic-manifest-validation.d.ts +6 -0
  156. package/dist/lib/design-resource-symbolic-manifest-validation.js +132 -0
  157. package/dist/lib/design-resource-symbolic-noninterference-artifact.d.ts +33 -0
  158. package/dist/lib/design-resource-symbolic-noninterference-artifact.js +110 -0
  159. package/dist/lib/design-resource-symbolic-noninterference-equivalence.d.ts +3 -0
  160. package/dist/lib/design-resource-symbolic-noninterference-equivalence.js +77 -0
  161. package/dist/lib/design-resource-symbolic-noninterference-recompute.d.ts +4 -0
  162. package/dist/lib/design-resource-symbolic-noninterference-recompute.js +146 -0
  163. package/dist/lib/design-resource-symbolic-noninterference-scope.d.ts +7 -0
  164. package/dist/lib/design-resource-symbolic-noninterference-scope.js +49 -0
  165. package/dist/lib/design-resource-symbolic-noninterference-shape.d.ts +2 -0
  166. package/dist/lib/design-resource-symbolic-noninterference-shape.js +152 -0
  167. package/dist/lib/design-resource-symbolic-noninterference-types.d.ts +103 -0
  168. package/dist/lib/design-resource-symbolic-noninterference-types.js +1 -0
  169. package/dist/lib/design-resource-symbolic-noninterference-validation.d.ts +5 -0
  170. package/dist/lib/design-resource-symbolic-noninterference-validation.js +62 -0
  171. package/dist/lib/design-resource-symbolic-oracle-fingerprint.d.ts +1 -0
  172. package/dist/lib/design-resource-symbolic-oracle-fingerprint.js +47 -0
  173. package/dist/lib/design-resource-symbolic-predicate-shape.d.ts +6 -0
  174. package/dist/lib/design-resource-symbolic-predicate-shape.js +123 -0
  175. package/dist/lib/design-resource-symbolic-production-closure.d.ts +4 -0
  176. package/dist/lib/design-resource-symbolic-production-closure.js +144 -0
  177. package/dist/lib/design-resource-symbolic-proof-authority-validation.d.ts +10 -0
  178. package/dist/lib/design-resource-symbolic-proof-authority-validation.js +68 -0
  179. package/dist/lib/design-resource-symbolic-proof-validation.d.ts +10 -0
  180. package/dist/lib/design-resource-symbolic-proof-validation.js +89 -0
  181. package/dist/lib/design-resource-symbolic-region-validation.d.ts +19 -0
  182. package/dist/lib/design-resource-symbolic-region-validation.js +146 -0
  183. package/dist/lib/design-resource-symbolic-resource-validation.d.ts +5 -0
  184. package/dist/lib/design-resource-symbolic-resource-validation.js +90 -0
  185. package/dist/lib/design-resource-symbolic-rule-shape.d.ts +27 -0
  186. package/dist/lib/design-resource-symbolic-rule-shape.js +158 -0
  187. package/dist/lib/design-resource-symbolic-safety-validation.d.ts +6 -0
  188. package/dist/lib/design-resource-symbolic-safety-validation.js +29 -0
  189. package/dist/lib/design-resource-symbolic-source-ir-evaluation.d.ts +19 -0
  190. package/dist/lib/design-resource-symbolic-source-ir-evaluation.js +74 -0
  191. package/dist/lib/design-resource-symbolic-source-ir-evidence.d.ts +44 -0
  192. package/dist/lib/design-resource-symbolic-source-ir-evidence.js +88 -0
  193. package/dist/lib/design-resource-symbolic-source-ir-oracle.d.ts +13 -0
  194. package/dist/lib/design-resource-symbolic-source-ir-oracle.js +96 -0
  195. package/dist/lib/design-resource-symbolic-source-ir-proof.d.ts +14 -0
  196. package/dist/lib/design-resource-symbolic-source-ir-proof.js +98 -0
  197. package/dist/lib/design-resource-symbolic-source-ir-shape.d.ts +2 -0
  198. package/dist/lib/design-resource-symbolic-source-ir-shape.js +38 -0
  199. package/dist/lib/design-resource-symbolic-source-ir-types.d.ts +17 -0
  200. package/dist/lib/design-resource-symbolic-source-ir-types.js +2 -0
  201. package/dist/lib/design-resource-symbolic-static-dependency-validation.d.ts +2 -0
  202. package/dist/lib/design-resource-symbolic-static-dependency-validation.js +83 -0
  203. package/dist/lib/design-resource-symbolic-structural-closure-validation.d.ts +6 -0
  204. package/dist/lib/design-resource-symbolic-structural-closure-validation.js +79 -0
  205. package/dist/lib/design-resource-symbolic-validation-support.d.ts +29 -0
  206. package/dist/lib/design-resource-symbolic-validation-support.js +111 -0
  207. package/dist/lib/design-resource-v1-capacity-header.d.ts +8 -0
  208. package/dist/lib/design-resource-v1-capacity-header.js +231 -0
  209. package/dist/lib/design-resource-v1-capacity.d.ts +5 -0
  210. package/dist/lib/design-resource-v1-capacity.js +45 -0
  211. package/dist/lib/init.js +1 -0
  212. package/dist/lib/long-task-acceptance-shape.js +8 -2
  213. package/dist/lib/long-task-activation-validation.js +13 -3
  214. package/dist/lib/long-task-admitted-observation-records.d.ts +25 -0
  215. package/dist/lib/long-task-admitted-observation-records.js +40 -0
  216. package/dist/lib/long-task-admitted-observation.d.ts +93 -0
  217. package/dist/lib/long-task-admitted-observation.js +201 -0
  218. package/dist/lib/long-task-artifacts.d.ts +1 -0
  219. package/dist/lib/long-task-artifacts.js +1 -0
  220. package/dist/lib/long-task-authority-material-diff.js +1 -0
  221. package/dist/lib/long-task-authority-policy.d.ts +5 -0
  222. package/dist/lib/long-task-authority-policy.js +5 -0
  223. package/dist/lib/long-task-authority-revision-details.js +3 -1
  224. package/dist/lib/long-task-authority.js +2 -1
  225. package/dist/lib/long-task-check-execution-policy.js +5 -0
  226. package/dist/lib/long-task-check-runner.d.ts +2 -2
  227. package/dist/lib/long-task-check-runner.js +440 -23
  228. package/dist/lib/long-task-claims.d.ts +18 -0
  229. package/dist/lib/long-task-claims.js +35 -0
  230. package/dist/lib/long-task-codex-agent-profile.d.ts +42 -0
  231. package/dist/lib/long-task-codex-agent-profile.js +276 -0
  232. package/dist/lib/long-task-compact-authoring-projections.d.ts +12 -0
  233. package/dist/lib/long-task-compact-authoring-projections.js +67 -0
  234. package/dist/lib/long-task-compact-authoring.d.ts +3 -0
  235. package/dist/lib/long-task-compact-authoring.js +173 -0
  236. package/dist/lib/long-task-compact-carrier.d.ts +7 -0
  237. package/dist/lib/long-task-compact-carrier.js +132 -0
  238. package/dist/lib/long-task-compact-parser.d.ts +14 -0
  239. package/dist/lib/long-task-compact-parser.js +123 -0
  240. package/dist/lib/long-task-compact-primitives.d.ts +22 -0
  241. package/dist/lib/long-task-compact-primitives.js +132 -0
  242. package/dist/lib/long-task-compact-projections.d.ts +4 -0
  243. package/dist/lib/long-task-compact-projections.js +153 -0
  244. package/dist/lib/long-task-compact-structure-targets.d.ts +2 -0
  245. package/dist/lib/long-task-compact-structure-targets.js +91 -0
  246. package/dist/lib/long-task-conformance-policy.js +3 -1
  247. package/dist/lib/long-task-counterfactual-claim-policy.d.ts +3 -4
  248. package/dist/lib/long-task-counterfactual-claim-policy.js +11 -3
  249. package/dist/lib/long-task-counterfactual-sandbox.d.ts +1 -1
  250. package/dist/lib/long-task-counterfactual-sandbox.js +8 -5
  251. package/dist/lib/long-task-counterfactual-types.d.ts +2 -0
  252. package/dist/lib/long-task-delivery-compiler.js +2 -0
  253. package/dist/lib/long-task-delivery-parser.d.ts +1 -0
  254. package/dist/lib/long-task-delivery-parser.js +38 -6
  255. package/dist/lib/long-task-design-resource-handoff.d.ts +2 -1
  256. package/dist/lib/long-task-design-resource-handoff.js +71 -11
  257. package/dist/lib/long-task-design-resource-method-binding.d.ts +8 -1
  258. package/dist/lib/long-task-design-resource-method-binding.js +150 -0
  259. package/dist/lib/long-task-evidence-capability-codec.js +256 -34
  260. package/dist/lib/long-task-evidence-capability-policy.d.ts +3 -2
  261. package/dist/lib/long-task-evidence-capability-policy.js +142 -8
  262. package/dist/lib/long-task-evidence-capability-runtime.d.ts +5 -2
  263. package/dist/lib/long-task-evidence-capability-runtime.js +420 -68
  264. package/dist/lib/long-task-evidence-capability-types.d.ts +70 -2
  265. package/dist/lib/long-task-evidence-sensitivity-policy.d.ts +9 -0
  266. package/dist/lib/long-task-evidence-sensitivity-policy.js +31 -1
  267. package/dist/lib/long-task-evidence-v2.d.ts +4 -4
  268. package/dist/lib/long-task-evidence-v2.js +322 -44
  269. package/dist/lib/long-task-exact-comparison.d.ts +16 -0
  270. package/dist/lib/long-task-exact-comparison.js +28 -0
  271. package/dist/lib/long-task-execution-observation.d.ts +24 -0
  272. package/dist/lib/long-task-execution-observation.js +332 -0
  273. package/dist/lib/long-task-explain-acceptance-link.d.ts +4 -0
  274. package/dist/lib/long-task-explain-acceptance-link.js +4 -0
  275. package/dist/lib/long-task-explain-claim-links.d.ts +2 -0
  276. package/dist/lib/long-task-explain-claim-links.js +2 -0
  277. package/dist/lib/long-task-explain-source-links.d.ts +6 -0
  278. package/dist/lib/long-task-final-v2.js +7 -4
  279. package/dist/lib/long-task-hook-install.d.ts +19 -2
  280. package/dist/lib/long-task-hook-install.js +288 -91
  281. package/dist/lib/long-task-json-pointer-observation.d.ts +59 -0
  282. package/dist/lib/long-task-json-pointer-observation.js +184 -0
  283. package/dist/lib/long-task-observation-artifact.d.ts +8 -0
  284. package/dist/lib/long-task-observation-artifact.js +58 -0
  285. package/dist/lib/long-task-observation-authority.d.ts +17 -0
  286. package/dist/lib/long-task-observation-authority.js +348 -0
  287. package/dist/lib/long-task-paths.js +1 -1
  288. package/dist/lib/long-task-playwright-capability-records.d.ts +2 -0
  289. package/dist/lib/long-task-playwright-capability-records.js +74 -2
  290. package/dist/lib/long-task-process-observation.d.ts +6 -0
  291. package/dist/lib/long-task-process-observation.js +117 -0
  292. package/dist/lib/long-task-process-runtime-closure.d.ts +13 -0
  293. package/dist/lib/long-task-process-runtime-closure.js +175 -0
  294. package/dist/lib/long-task-progress.js +2 -0
  295. package/dist/lib/long-task-protected-files.d.ts +1 -1
  296. package/dist/lib/long-task-protected-files.js +1 -30
  297. package/dist/lib/long-task-risk.js +8 -3
  298. package/dist/lib/long-task-root-shape.js +10 -1
  299. package/dist/lib/long-task-runner-environment.d.ts +1 -1
  300. package/dist/lib/long-task-runner-environment.js +4 -4
  301. package/dist/lib/long-task-runner-freeze.d.ts +4 -2
  302. package/dist/lib/long-task-runner-freeze.js +130 -28
  303. package/dist/lib/long-task-runtime-types.d.ts +111 -0
  304. package/dist/lib/long-task-scoped-binding.d.ts +13 -0
  305. package/dist/lib/long-task-scoped-binding.js +11 -0
  306. package/dist/lib/long-task-semantic-contract-types.d.ts +2 -1
  307. package/dist/lib/long-task-semantic-fact-binding-types.d.ts +8 -0
  308. package/dist/lib/long-task-semantic-fact-closure.js +4 -1
  309. package/dist/lib/long-task-semantic-fact-contract-closure.d.ts +1 -1
  310. package/dist/lib/long-task-semantic-fact-contract-closure.js +18 -6
  311. package/dist/lib/long-task-semantic-fact-contract-facts.d.ts +1 -1
  312. package/dist/lib/long-task-semantic-fact-contract-facts.js +4 -1
  313. package/dist/lib/long-task-semantic-fact-contract-proofs.d.ts +1 -1
  314. package/dist/lib/long-task-semantic-fact-contract-proofs.js +12 -3
  315. package/dist/lib/long-task-semantic-fact-evidence.d.ts +8 -4
  316. package/dist/lib/long-task-semantic-fact-evidence.js +103 -43
  317. package/dist/lib/long-task-semantic-fact-shape.js +17 -6
  318. package/dist/lib/long-task-shape-primitives.d.ts +1 -1
  319. package/dist/lib/long-task-shape-primitives.js +1 -0
  320. package/dist/lib/long-task-source-claim-validation.js +4 -1
  321. package/dist/lib/long-task-source-item-parser.d.ts +2 -2
  322. package/dist/lib/long-task-source-item-parser.js +20 -11
  323. package/dist/lib/long-task-source-target-continuity.d.ts +2 -2
  324. package/dist/lib/long-task-source-target-continuity.js +35 -2
  325. package/dist/lib/long-task-source-target-index.d.ts +3 -0
  326. package/dist/lib/long-task-source-target-index.js +19 -0
  327. package/dist/lib/long-task-stage-policy.js +10 -4
  328. package/dist/lib/long-task-static-observation-freeze.d.ts +83 -0
  329. package/dist/lib/long-task-static-observation-freeze.js +428 -0
  330. package/dist/lib/long-task-status-projection.js +5 -1
  331. package/dist/lib/long-task-target-policy.d.ts +1 -1
  332. package/dist/lib/long-task-target-policy.js +3 -0
  333. package/dist/lib/long-task-ui-design-policy.js +64 -4
  334. package/dist/lib/long-task-ui-surface-shape.js +195 -0
  335. package/dist/lib/long-task-ui-surface-types.d.ts +53 -0
  336. package/dist/lib/long-task-verifier-dependency-closure.js +7 -3
  337. package/dist/lib/long-task-verifier-v2.js +70 -9
  338. package/dist/lib/long-task-worker-selection.d.ts +2 -0
  339. package/dist/lib/long-task-worker-selection.js +7 -0
  340. package/dist/lib/long-task-workspace-scope.js +3 -1
  341. package/dist/lib/long-task-workspace.d.ts +1 -1
  342. package/dist/lib/long-task-workspace.js +12 -13
  343. package/dist/lib/migrations.js +58 -0
  344. package/dist/lib/profiles.js +0 -1
  345. package/dist/lib/repository-path-safety.d.ts +14 -0
  346. package/dist/lib/repository-path-safety.js +126 -0
  347. package/dist/lib/semantic-fact-compact-authoring.d.ts +2 -0
  348. package/dist/lib/semantic-fact-compact-authoring.js +160 -0
  349. package/dist/lib/semantic-fact-compact-capacity.d.ts +9 -0
  350. package/dist/lib/semantic-fact-compact-capacity.js +40 -0
  351. package/dist/lib/semantic-fact-compact-carrier.d.ts +16 -0
  352. package/dist/lib/semantic-fact-compact-carrier.js +146 -0
  353. package/dist/lib/semantic-fact-compact-parser.d.ts +17 -0
  354. package/dist/lib/semantic-fact-compact-parser.js +168 -0
  355. package/dist/lib/semantic-fact-compact-revision.d.ts +11 -0
  356. package/dist/lib/semantic-fact-compact-revision.js +64 -0
  357. package/dist/lib/semantic-fact-compact-support.d.ts +23 -0
  358. package/dist/lib/semantic-fact-compact-support.js +159 -0
  359. package/dist/lib/semantic-fact-policy-census.d.ts +1 -0
  360. package/dist/lib/semantic-fact-policy-census.js +43 -0
  361. package/dist/lib/semantic-fact-proof-shape.d.ts +1 -1
  362. package/dist/lib/semantic-fact-property-shape.d.ts +1 -1
  363. package/dist/lib/semantic-fact-source-parser.d.ts +5 -0
  364. package/dist/lib/semantic-fact-source-parser.js +47 -6
  365. package/dist/lib/structural-closure-cost.d.ts +79 -0
  366. package/dist/lib/structural-closure-cost.js +91 -0
  367. package/dist/lib/symbolic-denotation-dag-builder.d.ts +25 -0
  368. package/dist/lib/symbolic-denotation-dag-builder.js +176 -0
  369. package/dist/lib/symbolic-denotation-domain-validation.d.ts +3 -0
  370. package/dist/lib/symbolic-denotation-domain-validation.js +56 -0
  371. package/dist/lib/symbolic-denotation-engine.d.ts +32 -0
  372. package/dist/lib/symbolic-denotation-engine.js +140 -0
  373. package/dist/lib/symbolic-denotation-public.d.ts +11 -0
  374. package/dist/lib/symbolic-denotation-public.js +12 -0
  375. package/dist/lib/symbolic-denotation-runtime.d.ts +20 -0
  376. package/dist/lib/symbolic-denotation-runtime.js +90 -0
  377. package/dist/lib/symbolic-denotation-support.d.ts +11 -0
  378. package/dist/lib/symbolic-denotation-support.js +49 -0
  379. package/dist/lib/symbolic-denotation-types.d.ts +133 -0
  380. package/dist/lib/symbolic-denotation-types.js +18 -0
  381. package/dist/lib/symbolic-denotation-validation.d.ts +6 -0
  382. package/dist/lib/symbolic-denotation-validation.js +126 -0
  383. package/dist/lib/sync-engine.d.ts +1 -0
  384. package/dist/lib/sync-engine.js +4 -1
  385. package/dist/lib/upgrade.js +1 -0
  386. package/dist/long-task-hook.js +40 -1
  387. package/dist/public-types.d.ts +8 -0
  388. package/dist/public-types.js +1 -0
  389. package/dist/schemas/design-resource-symbolic-noninterference-artifact-v2.schema.json +289 -0
  390. package/dist/schemas/design-resource-symbolic-source-ir-v1.schema.json +130 -0
  391. package/dist/schemas/long-task-delivery-v2/long-task-delivery-v2.schema.json +435 -5
  392. package/migrations/README.md +92 -15
  393. package/package.json +2 -2
  394. package/source-mappings.yaml +28 -25
  395. package/assets/skills/source-plan-authoring/SKILL.md +0 -14
@@ -0,0 +1 @@
1
+ export declare function designResourceRecoveryCommand(args: string[]): Promise<void>;
@@ -0,0 +1,152 @@
1
+ import { parseDesignResourceRecoveryCreateInput } from "../lib/design-resource-recovery-codec.js";
2
+ import { readRecoveryRepositoryFile } from "../lib/design-resource-recovery-files.js";
3
+ import { applyDesignResourceRecoveryWriteback, createDesignResourceRecoveryCheckpoint, inspectDesignResourceRecovery, previewDesignResourceRecoveryWriteback, reconcileDesignResourceRecovery, removeDesignResourceRecoveryCheckpoint, updateDesignResourceRecoveryCheckpoint, } from "../lib/design-resource-recovery.js";
4
+ import { canonicalJson } from "../lib/strict-codec.js";
5
+ export async function designResourceRecoveryCommand(args) {
6
+ const [action, sessionId, ...rest] = args;
7
+ if (!action || !sessionId)
8
+ throw new Error("usage: ty-context design-resource recovery <create|update|inspect|preview|apply|reconcile|remove> <session> [options]");
9
+ const options = recoveryOptions(rest);
10
+ let result;
11
+ if (action === "create")
12
+ result = await create(process.cwd(), sessionId, options);
13
+ else if (action === "update")
14
+ result = await update(process.cwd(), sessionId, options);
15
+ else if (action === "inspect") {
16
+ assertNoValueOptions(options, action);
17
+ result = await inspectDesignResourceRecovery(process.cwd(), sessionId);
18
+ }
19
+ else if (action === "preview") {
20
+ assertNoValueOptions(options, action);
21
+ result = await previewDesignResourceRecoveryWriteback(process.cwd(), sessionId);
22
+ }
23
+ else if (action === "apply")
24
+ result = await apply(process.cwd(), sessionId, options);
25
+ else if (action === "reconcile")
26
+ result = await reconcile(process.cwd(), sessionId, options);
27
+ else if (action === "remove")
28
+ result = await remove(process.cwd(), sessionId, options);
29
+ else
30
+ throw new Error(`Unknown design-resource recovery action: ${action}`);
31
+ if (options.json)
32
+ process.stdout.write(canonicalJson(result));
33
+ else
34
+ printRecoveryResult(action, result);
35
+ if ((action === "apply" || action === "reconcile") &&
36
+ result.status === "blocked")
37
+ process.exitCode = 2;
38
+ if (action === "remove" &&
39
+ result.status === "partial")
40
+ process.exitCode = 2;
41
+ }
42
+ async function create(repository, sessionId, options) {
43
+ if (!options.input || options.audit || options.expectedSha256)
44
+ usage("create <session> --input <state.json>");
45
+ const input = await readCreateInput(repository, options.input);
46
+ if (input.session_id !== sessionId)
47
+ throw new Error("design_resource_recovery_invalid:create_session_identity_mismatch");
48
+ return createDesignResourceRecoveryCheckpoint(repository, input);
49
+ }
50
+ async function apply(repository, sessionId, options) {
51
+ if (!options.audit || options.input || options.expectedSha256)
52
+ usage("apply <session> --audit <audit.json>");
53
+ return applyDesignResourceRecoveryWriteback(repository, sessionId, options.audit);
54
+ }
55
+ async function reconcile(repository, sessionId, options) {
56
+ if (!options.audit || options.input || options.expectedSha256)
57
+ usage("reconcile <session> --audit <audit.json>");
58
+ return reconcileDesignResourceRecovery(repository, sessionId, options.audit);
59
+ }
60
+ async function update(repository, sessionId, options) {
61
+ if (!options.input || !options.expectedSha256 || options.audit)
62
+ usage("update <session> --input <state.json> --expected-sha256 <sha256>");
63
+ const input = await readCreateInput(repository, options.input);
64
+ if (input.session_id !== sessionId)
65
+ throw new Error("design_resource_recovery_invalid:update_session_identity_mismatch");
66
+ return updateDesignResourceRecoveryCheckpoint(repository, input, options.expectedSha256);
67
+ }
68
+ async function remove(repository, sessionId, options) {
69
+ if (!options.expectedSha256 || options.input || options.audit)
70
+ usage("remove <session> --expected-sha256 <sha256>");
71
+ return removeDesignResourceRecoveryCheckpoint(repository, sessionId, options.expectedSha256);
72
+ }
73
+ function recoveryOptions(args) {
74
+ const result = { json: false };
75
+ for (let index = 0; index < args.length; index += 1) {
76
+ const item = args[index];
77
+ if (item === "--json") {
78
+ result.json = true;
79
+ continue;
80
+ }
81
+ const value = args[index + 1];
82
+ if (!value || value.startsWith("--"))
83
+ throw new Error(`${item} requires a value`);
84
+ if (item === "--input")
85
+ result.input = value;
86
+ else if (item === "--audit")
87
+ result.audit = value;
88
+ else if (item === "--expected-sha256")
89
+ result.expectedSha256 = value;
90
+ else
91
+ throw new Error(`Unknown design-resource recovery option: ${item}`);
92
+ index += 1;
93
+ }
94
+ return result;
95
+ }
96
+ function assertNoValueOptions(options, action) {
97
+ if (options.input || options.audit || options.expectedSha256)
98
+ usage(`${action} <session>`);
99
+ }
100
+ function usage(value) {
101
+ throw new Error(`usage: ty-context design-resource recovery ${value} [--json]`);
102
+ }
103
+ async function readCreateInput(repository, locator) {
104
+ const inputSnapshot = await readRecoveryRepositoryFile(repository, locator, "design_resource_recovery_create_input");
105
+ return parseDesignResourceRecoveryCreateInput(inputSnapshot.bytes.toString("utf8"));
106
+ }
107
+ function printRecoveryResult(action, result) {
108
+ const row = result;
109
+ if (action === "create" || action === "update") {
110
+ console.log(`DRA recovery checkpoint: ${row.status}`);
111
+ console.log(`Path: ${row.checkpoint_path}`);
112
+ console.log(`SHA-256: ${row.checkpoint_raw_byte_digest}`);
113
+ return;
114
+ }
115
+ if (action === "inspect" || action === "preview") {
116
+ printInspection(row);
117
+ if (action === "preview")
118
+ printPatch(row);
119
+ return;
120
+ }
121
+ if (action === "apply") {
122
+ console.log(`DRA writeback: ${row.status}`);
123
+ console.log(`Write transaction: ${row.write_transaction}`);
124
+ console.log(`Reconciliation: ${JSON.stringify(row.reconciliation)}`);
125
+ return;
126
+ }
127
+ if (action === "reconcile") {
128
+ console.log(`DRA reconciliation: ${row.status}`);
129
+ console.log(`Write transaction: ${row.write_transaction}`);
130
+ console.log(`Reconciliation: ${JSON.stringify(row.reconciliation)}`);
131
+ return;
132
+ }
133
+ console.log(`DRA recovery cleanup: ${row.status}`);
134
+ console.log(`Path: ${row.path}`);
135
+ if (row.status === "partial")
136
+ console.log(`Retained: ${JSON.stringify(row.retained_entries)}`);
137
+ }
138
+ function printInspection(row) {
139
+ const replay = row.replay;
140
+ console.log(`Base: ${replay.base.locator}@${replay.base.raw_byte_digest}`);
141
+ console.log(`Delta: ${replay.ordered_active_accepted_deltas.length} accepted / ${replay.rejected_deltas.length} rejected / ${replay.unresolved_deltas.length} unresolved`);
142
+ console.log(`Explicitly unchanged: ${replay.explicitly_unchanged_keys.join(", ") || "none"}`);
143
+ console.log(`Writeback: ${JSON.stringify(row.writeback)}`);
144
+ }
145
+ function printPatch(row) {
146
+ const patch = row.patch;
147
+ for (const operation of patch.patch.operations) {
148
+ console.log(`Patch ${operation.operation_id} [${operation.target_key}]:`);
149
+ console.log(`- ${operation.before_text}`);
150
+ console.log(`+ ${operation.after_text}`);
151
+ }
152
+ }
@@ -1,5 +1,6 @@
1
1
  import { publishDesignResourceHandoffBundle } from "../lib/design-resource-handoff-bundle.js";
2
2
  import { preflightDesignResourceHandoff } from "../lib/design-resource-handoff-validation.js";
3
+ import { designResourceRecoveryCommand } from "./design-resource-recovery.js";
3
4
  import { normalizeRepositoryCwd, normalizeRepositoryFile, } from "../lib/long-task-paths.js";
4
5
  import { canonicalJson } from "../lib/strict-codec.js";
5
6
  export async function designResource(args) {
@@ -12,6 +13,10 @@ export async function designResource(args) {
12
13
  await bundle(rest);
13
14
  return;
14
15
  }
16
+ if (subcommand === "recovery") {
17
+ await designResourceRecoveryCommand(rest);
18
+ return;
19
+ }
15
20
  if (subcommand !== "preflight")
16
21
  throw new Error(`Unknown design-resource subcommand: ${subcommand}`);
17
22
  const json = rest.includes("--json");
@@ -27,8 +32,15 @@ export async function designResource(args) {
27
32
  console.log(`Design resource handoff ready: ${result.handoff_path}`);
28
33
  console.log(`Scope: ${result.handoff.scope.key}`);
29
34
  console.log(`Targets: ${result.handoff.targets.map((item) => item.key).join(", ")}`);
30
- console.log(`Coverage: ${result.counts.subjects} subjects x 8 dimensions (${result.counts.coverage} grouped rows)`);
31
- console.log(`Acceptance blockers: ${result.counts.acceptance_blockers}`);
35
+ if ("metrics" in result) {
36
+ console.log(`Coverage: ${result.manifest.subjects.length} subjects x ${result.manifest.properties.length} atomic properties (${result.rule_projections.length} symbolic Rules)`);
37
+ console.log(`Symbolic: ${result.metrics.semantic_obligations} semantic obligations, ${result.metrics.certificate_obligations} certificates, ${result.metrics.canonical_dag_nodes} DAG nodes, ${result.metrics.canonical_bytes} bytes`);
38
+ console.log(`Acceptance blockers: ${result.manifest.acceptance_blockers.length}`);
39
+ }
40
+ else {
41
+ console.log(`Coverage: ${result.counts.subjects} subjects x 8 dimensions (${result.counts.coverage} grouped rows)`);
42
+ console.log(`Acceptance blockers: ${result.counts.acceptance_blockers}`);
43
+ }
32
44
  }
33
45
  async function bundle(args) {
34
46
  const positional = [];
@@ -88,5 +100,19 @@ function help() {
88
100
  --max-handoff-bytes <bytes> [--json]
89
101
  Validate manifest-backed one-target handoffs and
90
102
  atomically publish the complete target set; the
91
- output parent directory must already exist`);
103
+ output parent directory must already exist
104
+ recovery create <session> --input <state.json> [--json]
105
+ Create one explicit ignored task-local checkpoint
106
+ recovery update <session> --input <state.json> --expected-sha256 <sha256> [--json]
107
+ CAS-replace one existing task-local checkpoint
108
+ recovery inspect <session> [--json]
109
+ Revalidate Base and derive replay/CAS state
110
+ recovery preview <session> [--json]
111
+ Show the frozen exact writeback patch without writing
112
+ recovery apply <session> --audit <audit.json> [--json]
113
+ CAS-apply and reread only after fresh balanced audit
114
+ recovery reconcile <session> --audit <audit.json> [--json]
115
+ Read-only reconciliation for a no-writeback checkpoint
116
+ recovery remove <session> --expected-sha256 <sha256> [--json]
117
+ Remove only the digest-matched helper-owned checkpoint`);
92
118
  }
@@ -9,6 +9,8 @@ export async function enable(args) {
9
9
  const sync = await runSync(root);
10
10
  console.log(`${result.changed ? "enabled" : "kept enabled"} profile ${profile}`);
11
11
  console.log(`sync changed=${sync.changed.length} skipped=${sync.skipped.length} blocked=${sync.blocked.length}`);
12
+ for (const notice of sync.notices ?? [])
13
+ console.log(notice);
12
14
  if (sync.blocked.length)
13
15
  throw new Error(sync.blocked.join("\n"));
14
16
  }
@@ -39,7 +39,7 @@ export function help() {
39
39
  console.log(`ty-context commands:
40
40
  init [--adopt] [--harness-folder <path>]
41
41
  Initialize/adopt a project; without --harness-folder, choose target agent first
42
- enable long-task Install Long-Task Skill, Source Plan pointer, Stop Hook and templates
42
+ enable long-task Install Long-Task Skill, lifecycle Hooks, templates and optional Codex worker
43
43
  disable long-task Remove only package-owned long-task profile assets
44
44
  sync Refresh managed assets; does not run migrations
45
45
  upgrade [--check] [--json]
@@ -55,7 +55,7 @@ export function help() {
55
55
  Enforce touched handwritten source file modularity
56
56
  validate-harness Run validate-context and validate-code-modularity
57
57
  design-resource <subcommand>
58
- Validate a selected design-resource implementation handoff
58
+ Validate handoffs or operate explicit DRA recovery
59
59
  long-task <subcommand>
60
60
  Manage one Canonical Delivery Contract in the current workspace
61
61
  delivery-set <subcommand>
@@ -90,7 +90,7 @@ function printCompileResult(compiled, previous, preserveProgress, revisionPropos
90
90
  ? projectAuthorityRevisionDecision(revisionProposal)
91
91
  : null,
92
92
  next_action: firstAuthorityLock
93
- ? "End this turn now and ask the user to choose continue_current_model or switch_model_then_resume. Do not implement, edit files, build, or test until an explicit task-specific model strategy is received; generic continue or resume language does not satisfy this checkpoint."
93
+ ? "End this turn now. Do not implement, edit files, build, or test. After the user handles the model change in the host, wait for [continue]. Harness cannot observe or verify the model change."
94
94
  : authorityChanged
95
95
  ? "Run status or resume, then continue rolling implementation or repair under the adopted Authority Revision."
96
96
  : "Continue rolling implementation or repair under the active Authority.",
@@ -157,18 +157,19 @@ function executionModelCheckpoint(firstAuthorityLock) {
157
157
  return {
158
158
  required: true,
159
159
  phase: "post_authority_lock_pre_implementation",
160
- options: ["continue_current_model", "switch_model_then_resume"],
160
+ action: "change_model_in_host_then_continue",
161
+ resume_token: "continue",
161
162
  turn_boundary: "end_current_turn",
162
- blocked_until_explicit_choice: [
163
+ blocked_until_resume: [
163
164
  "product_implementation",
164
165
  "file_edits",
165
166
  "build",
166
167
  "test_execution",
167
168
  ],
168
- explicit_task_specific_choice_required: true,
169
- prior_explicit_task_specific_choice_satisfies: true,
170
- generic_continue_satisfies: false,
171
- message: "Authority Lock created. End the current turn before product implementation, file edits, builds, or tests. Ask the user to explicitly choose continue_current_model or switch_model_then_resume. Generic continue, resume, finish, or continue-goal language does not satisfy this checkpoint.",
169
+ model_change_owner: "host_or_user",
170
+ model_change_observable_by_harness: false,
171
+ generic_continue_satisfies: true,
172
+ message: "Authority Lock created. End the current turn before product implementation, file edits, builds, or tests. After handling the model change, send [continue]. Harness cannot observe or verify the model change.",
172
173
  };
173
174
  }
174
175
  function message(error) {
@@ -5,6 +5,8 @@ export async function sync() {
5
5
  for (const skipped of report.skipped.filter((line) => line.includes("customized"))) {
6
6
  console.log(`skipped: ${skipped}`);
7
7
  }
8
+ for (const notice of report.notices ?? [])
9
+ console.log(notice);
8
10
  for (const blocked of report.blocked) {
9
11
  console.error(`blocked: ${blocked}`);
10
12
  }
package/dist/index.d.ts CHANGED
@@ -2,12 +2,12 @@ export { commands } from "./commands/index.js";
2
2
  export { compileDeliveryContract, type CompileDeliveryOptionsV2, } from "./lib/long-task-delivery-compiler.js";
3
3
  export { DELIVERY_CONTRACT_FILE, parseDeliveryContract, parseDeliveryContractBundle, } from "./lib/long-task-delivery-parser.js";
4
4
  export { evaluateContractBoundary } from "./lib/long-task-boundary-check.js";
5
+ export { publishDesignResourceHandoffBundle } from "./lib/design-resource-handoff-bundle.js";
5
6
  export { preflightDesignResourceHandoff } from "./lib/design-resource-handoff-validation.js";
7
+ export { symbolicDenotation } from "./lib/symbolic-denotation-public.js";
6
8
  export { classifyLongTaskRisk, validateRiskProof, } from "./lib/long-task-risk.js";
7
9
  export { verifyDeliveryContract } from "./lib/long-task-verifier-v2.js";
8
10
  export { runDeliveryFinalGate } from "./lib/long-task-final-v2.js";
9
11
  export { closeDeliveryTask, type DeliveryStatusV2, doctorDeliveryTask, readDeliveryStatus, resumeDeliveryTask, stopCheckDeliveryTask, } from "./lib/long-task-status-v2.js";
10
12
  export { readActiveLongTaskBinding, readCompiledDeliveryContract, readFinalReceipt, } from "./lib/long-task-state.js";
11
- export type { HarnessConfig, HarnessProfile, ManagedFile, SourceMapping, } from "./lib/types.js";
12
- export type { CheckExecutionResultV2, CompiledDeliveryContractV2, DeliveryAssertionV2, DeliveryCheckV2, DeliveryContractV2, DeliveryOutcomeV2, EffectiveRiskLevel, ExternalConfirmationV2, FinalReceiptV2, LongTaskFindingV2, LongTaskRiskFacts, ProofSurface, ProgressRecordV2, RequestedRiskLevel, RunnerType, SourceClaimV2, TargetedVerificationResultV2, } from "./lib/long-task-delivery-types.js";
13
- export type { BoundaryCheckDecisionV2, BoundaryCheckInputV2, } from "./lib/long-task-boundary-check.js";
13
+ export type { BoundaryCheckDecisionV2, BoundaryCheckInputV2, CheckExecutionResultV2, CompiledDeliveryContractV2, DesignResourceHandoffBundleOptions, DesignResourceHandoffBundleResult, DesignResourceHandoffPreflightV1, DesignResourceHandoffPreflightV2, DesignResourceHandoffV1, DesignResourceHandoffV2, DesignResourceObservableRuleManifestV2, DesignResourceSymbolicFactRuleV2, DesignResourceSymbolicNoninterferenceArtifactV2, DesignResourceSymbolicNoninterferenceCertificateV2, DesignResourceSymbolicNoninterferenceDerivedResultV2, DesignResourceSymbolicNoninterferenceFailureWitnessV1, DesignResourceSymbolicNoninterferenceInputBindingV2, DesignResourceSymbolicNoninterferenceProofV2, DesignResourceSymbolicProofObligationV2, DesignResourceSymbolicSourceIrCertificateScopeV1, DesignResourceSymbolicSourceIrRegionV1, DesignResourceSymbolicSourceIrV1, CompiledSymbolicDenotationV1, SymbolicDenotationAxisDomain, SymbolicDenotationComplexityLimits, SymbolicDenotationPredicate, SymbolicExtensionalPointV1, SymbolicPointDenotationV1, DeliveryAssertionV2, DeliveryCheckV2, DeliveryContractV2, DeliveryOutcomeV2, EffectiveRiskLevel, ExternalConfirmationV2, FinalReceiptV2, LongTaskFindingV2, LongTaskRiskFacts, ProofSurface, ProgressRecordV2, RequestedRiskLevel, RunnerType, SourceClaimV2, TargetedVerificationResultV2, HarnessConfig, HarnessProfile, ManagedFile, SourceMapping, } from "./public-types.js";
package/dist/index.js CHANGED
@@ -2,7 +2,9 @@ export { commands } from "./commands/index.js";
2
2
  export { compileDeliveryContract, } from "./lib/long-task-delivery-compiler.js";
3
3
  export { DELIVERY_CONTRACT_FILE, parseDeliveryContract, parseDeliveryContractBundle, } from "./lib/long-task-delivery-parser.js";
4
4
  export { evaluateContractBoundary } from "./lib/long-task-boundary-check.js";
5
+ export { publishDesignResourceHandoffBundle } from "./lib/design-resource-handoff-bundle.js";
5
6
  export { preflightDesignResourceHandoff } from "./lib/design-resource-handoff-validation.js";
7
+ export { symbolicDenotation } from "./lib/symbolic-denotation-public.js";
6
8
  export { classifyLongTaskRisk, validateRiskProof, } from "./lib/long-task-risk.js";
7
9
  export { verifyDeliveryContract } from "./lib/long-task-verifier-v2.js";
8
10
  export { runDeliveryFinalGate } from "./lib/long-task-final-v2.js";
@@ -0,0 +1,22 @@
1
+ export declare function compactCommonFields<T extends Record<string, unknown>>(rows: T[], excluded: string[]): Record<string, unknown>;
2
+ export declare function compactWithoutFields<T extends Record<string, unknown>>(value: T, fields: string[]): Record<string, unknown>;
3
+ export declare function compactAuthoringTable<T extends object>(input: T[], excludedDefaults?: string[]): {
4
+ defaults: Record<string, unknown>;
5
+ columns: string[];
6
+ rows: unknown[][];
7
+ };
8
+ export declare function applyCompactAuthoringSelectors(base: Record<string, unknown>): {
9
+ value: Record<string, unknown>;
10
+ selectors: Array<{
11
+ key: string;
12
+ members: string[];
13
+ }>;
14
+ };
15
+ export declare function compactCapacityBudget(name: string, measured: number): number;
16
+ export declare function compactDeterministicTemplates(records: Record<string, unknown>[], excludedFields: string[], keyPrefix: string): {
17
+ templates: Array<{
18
+ key: string;
19
+ value: Record<string, unknown>;
20
+ }>;
21
+ template_refs: string[];
22
+ };
@@ -0,0 +1,143 @@
1
+ import { Buffer } from "node:buffer";
2
+ import { canonicalValueJson, sha256Hex } from "./strict-codec.js";
3
+ const STABLE_REF = /^[a-z0-9][a-z0-9._:-]*$/u;
4
+ export function compactCommonFields(rows, excluded) {
5
+ if (!rows.length)
6
+ return {};
7
+ const result = {};
8
+ for (const key of Object.keys(rows[0])) {
9
+ if (excluded.includes(key))
10
+ continue;
11
+ const identity = canonicalValueJson(rows[0][key]);
12
+ if (rows.every((row) => Object.hasOwn(row, key) && canonicalValueJson(row[key]) === identity))
13
+ result[key] = structuredClone(rows[0][key]);
14
+ }
15
+ return result;
16
+ }
17
+ export function compactWithoutFields(value, fields) {
18
+ const excluded = new Set(fields);
19
+ return Object.fromEntries(Object.entries(value)
20
+ .filter(([key]) => !excluded.has(key))
21
+ .map(([key, item]) => [key, structuredClone(item)]));
22
+ }
23
+ export function compactAuthoringTable(input, excludedDefaults = []) {
24
+ const records = input;
25
+ const defaults = compactCommonFields(records, excludedDefaults);
26
+ const columns = [
27
+ ...new Set(records.flatMap((record) => Object.keys(record))),
28
+ ].filter((key) => !Object.hasOwn(defaults, key));
29
+ return {
30
+ defaults,
31
+ columns,
32
+ rows: records.map((record, rowIndex) => columns.map((column) => {
33
+ if (!Object.hasOwn(record, column))
34
+ throw new Error(`compact_authoring_sparse_cell:${rowIndex}:${column}`);
35
+ return structuredClone(record[column]);
36
+ })),
37
+ };
38
+ }
39
+ export function applyCompactAuthoringSelectors(base) {
40
+ const selectorCounts = countSelectorCandidates(base);
41
+ const selectorMap = new Map();
42
+ const value = replaceSharedSelectors(base, selectorCounts, selectorMap);
43
+ return {
44
+ value,
45
+ selectors: [...selectorMap.entries()]
46
+ .map(([key, members]) => ({ key, members }))
47
+ .sort((left, right) => left.key.localeCompare(right.key)),
48
+ };
49
+ }
50
+ function selectorCandidate(value) {
51
+ return Array.isArray(value) &&
52
+ value.length > 0 &&
53
+ value.every((item) => typeof item === "string" && STABLE_REF.test(item))
54
+ ? value
55
+ : null;
56
+ }
57
+ function countSelectorCandidates(value) {
58
+ const counts = new Map();
59
+ const visit = (item, parentKey = "") => {
60
+ if (parentKey === "columns" || parentKey === "selectors")
61
+ return;
62
+ if (parentKey === "rows" && Array.isArray(item)) {
63
+ for (const row of item)
64
+ visit(row, "table_row");
65
+ return;
66
+ }
67
+ if (parentKey === "table_row" && Array.isArray(item)) {
68
+ for (const cell of item)
69
+ visit(cell);
70
+ return;
71
+ }
72
+ const candidate = selectorCandidate(item);
73
+ if (candidate) {
74
+ const identity = canonicalValueJson(candidate);
75
+ counts.set(identity, (counts.get(identity) ?? 0) + 1);
76
+ return;
77
+ }
78
+ if (Array.isArray(item))
79
+ for (const child of item)
80
+ visit(child, parentKey);
81
+ else if (item && typeof item === "object")
82
+ for (const [key, child] of Object.entries(item))
83
+ visit(child, key);
84
+ };
85
+ visit(value);
86
+ return counts;
87
+ }
88
+ function replaceSharedSelectors(value, counts, selectors) {
89
+ const replace = (item, parentKey = "") => {
90
+ if (parentKey === "columns" || parentKey === "selectors")
91
+ return structuredClone(item);
92
+ if (parentKey === "rows" && Array.isArray(item))
93
+ return item.map((row) => replace(row, "table_row"));
94
+ if (parentKey === "table_row" && Array.isArray(item))
95
+ return item.map((cell) => replace(cell));
96
+ const candidate = selectorCandidate(item);
97
+ if (candidate) {
98
+ const identity = canonicalValueJson(candidate);
99
+ const count = counts.get(identity) ?? 0;
100
+ const selectorKey = `selector.refs.${sha256Hex(identity).slice(0, 16)}`;
101
+ const referenceBytes = Buffer.byteLength(canonicalValueJson({ selector_ref: selectorKey }), "utf8");
102
+ const listBytes = Buffer.byteLength(identity, "utf8");
103
+ if (count > 1 && (count - 1) * listBytes > count * referenceBytes) {
104
+ selectors.set(selectorKey, [...candidate]);
105
+ return { selector_ref: selectorKey };
106
+ }
107
+ return [...candidate];
108
+ }
109
+ if (Array.isArray(item))
110
+ return item.map((child) => replace(child, parentKey));
111
+ if (item && typeof item === "object")
112
+ return Object.fromEntries(Object.entries(item).map(([key, child]) => [key, replace(child, key)]));
113
+ return item;
114
+ };
115
+ return replace(value);
116
+ }
117
+ export function compactCapacityBudget(name, measured) {
118
+ if (name === "canonical_bytes")
119
+ return Math.max(1024 * 1024, roundPowerOfTwo(measured));
120
+ return Math.max(16, roundPowerOfTwo(measured));
121
+ }
122
+ export function compactDeterministicTemplates(records, excludedFields, keyPrefix) {
123
+ const templateByIdentity = new Map();
124
+ const templateRefs = records.map((record) => {
125
+ const value = compactWithoutFields(record, excludedFields);
126
+ const identity = canonicalValueJson(value);
127
+ const current = templateByIdentity.get(identity);
128
+ if (current)
129
+ return current.key;
130
+ const key = `${keyPrefix}.${sha256Hex(identity).slice(0, 20)}`;
131
+ templateByIdentity.set(identity, { key, value });
132
+ return key;
133
+ });
134
+ return {
135
+ templates: [...templateByIdentity.values()].sort((left, right) => left.key.localeCompare(right.key)),
136
+ template_refs: templateRefs,
137
+ };
138
+ }
139
+ function roundPowerOfTwo(value) {
140
+ if (value <= 1)
141
+ return 1;
142
+ return 2 ** Math.ceil(Math.log2(value));
143
+ }
@@ -0,0 +1,5 @@
1
+ import type { CompactSharedStructureStatistics, CompactSharedStructureTarget, CompactSharedStructureTemplate } from "./compact-shared-structure-types.js";
2
+ export declare function applyCompactSharedStructures(targets: CompactSharedStructureTarget[]): {
3
+ catalog: CompactSharedStructureTemplate[];
4
+ statistics: CompactSharedStructureStatistics;
5
+ };
@@ -0,0 +1,9 @@
1
+ import { createCompactSharedStructures } from "./compact-shared-structures.js";
2
+ export function applyCompactSharedStructures(targets) {
3
+ const encoded = createCompactSharedStructures(targets.map((target) => ({
4
+ boundary: target.boundary,
5
+ value: target.read(),
6
+ })));
7
+ encoded.slots.forEach((slot, index) => targets[index].write(slot.value));
8
+ return { catalog: encoded.catalog, statistics: encoded.statistics };
9
+ }
@@ -0,0 +1,61 @@
1
+ export interface CompactSharedStructureSlot {
2
+ boundary: string;
3
+ value: unknown;
4
+ }
5
+ export interface CompactSharedStructureTarget {
6
+ boundary: string;
7
+ read: () => unknown;
8
+ write: (value: unknown) => void;
9
+ }
10
+ export interface CompactSharedStructureTemplate {
11
+ key: string;
12
+ digest: string;
13
+ boundary: string;
14
+ parameter_count: number;
15
+ template: unknown;
16
+ }
17
+ export interface CompactSharedStructureFamilyStatistic {
18
+ key: string;
19
+ boundary: string;
20
+ occurrences: number;
21
+ parameter_count: number;
22
+ original_bytes: number;
23
+ encoded_bytes: number;
24
+ saved_bytes: number;
25
+ }
26
+ export interface CompactSharedStructureStatistics {
27
+ slot_count: number;
28
+ composite_slot_count: number;
29
+ candidate_family_count: number;
30
+ emitted_family_count: number;
31
+ exact_family_count: number;
32
+ parameterized_family_count: number;
33
+ reference_count: number;
34
+ argument_count: number;
35
+ original_payload_bytes: number;
36
+ encoded_payload_bytes: number;
37
+ catalog_bytes: number;
38
+ saved_bytes: number;
39
+ remaining_beneficial_candidates: number;
40
+ families: CompactSharedStructureFamilyStatistic[];
41
+ }
42
+ export interface CompactSharedStructureEncoding {
43
+ slots: CompactSharedStructureSlot[];
44
+ catalog: CompactSharedStructureTemplate[];
45
+ statistics: CompactSharedStructureStatistics;
46
+ }
47
+ export interface CompactSharedStructureCandidateOccurrence {
48
+ slot_index: number;
49
+ value: unknown;
50
+ leaves: unknown[];
51
+ original_bytes: number;
52
+ }
53
+ export interface CompactSharedStructureCandidateFamily {
54
+ boundary: string;
55
+ occurrences: CompactSharedStructureCandidateOccurrence[];
56
+ parameter_positions: number[];
57
+ template: unknown;
58
+ row: CompactSharedStructureTemplate;
59
+ references: unknown[];
60
+ statistic: CompactSharedStructureFamilyStatistic;
61
+ }
@@ -0,0 +1 @@
1
+ export {};
@@ -0,0 +1,2 @@
1
+ import type { CompactSharedStructureStatistics, CompactSharedStructureTarget } from "./compact-shared-structure-types.js";
2
+ export declare function materializeCanonicalCompactSharedStructures(targets: CompactSharedStructureTarget[], catalogInput: unknown, label: string): CompactSharedStructureStatistics;