perttool 0.6.0 → 0.7.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (240) hide show
  1. package/CHANGELOG.md +34 -1
  2. package/README.md +97 -32
  3. package/dist/application/advance-history.d.ts +2 -0
  4. package/dist/application/advance-history.d.ts.map +1 -1
  5. package/dist/application/advance-history.js +21 -12
  6. package/dist/application/advance-history.js.map +1 -1
  7. package/dist/application/contract7-assurance.d.ts +57 -0
  8. package/dist/application/contract7-assurance.d.ts.map +1 -0
  9. package/dist/application/contract7-assurance.js +248 -0
  10. package/dist/application/contract7-assurance.js.map +1 -0
  11. package/dist/application/contract7-mermaid.d.ts +9 -0
  12. package/dist/application/contract7-mermaid.d.ts.map +1 -0
  13. package/dist/application/contract7-mermaid.js +73 -0
  14. package/dist/application/contract7-mermaid.js.map +1 -0
  15. package/dist/application/contract7-mutation.d.ts +21 -0
  16. package/dist/application/contract7-mutation.d.ts.map +1 -0
  17. package/dist/application/contract7-mutation.js +181 -0
  18. package/dist/application/contract7-mutation.js.map +1 -0
  19. package/dist/application/contract7-project.d.ts +10 -0
  20. package/dist/application/contract7-project.d.ts.map +1 -0
  21. package/dist/application/contract7-project.js +29 -0
  22. package/dist/application/contract7-project.js.map +1 -0
  23. package/dist/application/contract7-projection.d.ts +9 -0
  24. package/dist/application/contract7-projection.d.ts.map +1 -0
  25. package/dist/application/contract7-projection.js +100 -0
  26. package/dist/application/contract7-projection.js.map +1 -0
  27. package/dist/application/contract7-source.d.ts +24 -0
  28. package/dist/application/contract7-source.d.ts.map +1 -0
  29. package/dist/application/contract7-source.js +54 -0
  30. package/dist/application/contract7-source.js.map +1 -0
  31. package/dist/application/contract7-unit-migration.d.ts +13 -0
  32. package/dist/application/contract7-unit-migration.d.ts.map +1 -0
  33. package/dist/application/contract7-unit-migration.js +13 -0
  34. package/dist/application/contract7-unit-migration.js.map +1 -0
  35. package/dist/application/init.d.ts +1 -1
  36. package/dist/application/init.js +3 -3
  37. package/dist/application/mutate.d.ts +5 -1
  38. package/dist/application/mutate.d.ts.map +1 -1
  39. package/dist/application/mutate.js +2 -2
  40. package/dist/application/mutate.js.map +1 -1
  41. package/dist/application/target-actuals-analysis.d.ts +5 -4
  42. package/dist/application/target-actuals-analysis.d.ts.map +1 -1
  43. package/dist/application/target-actuals-analysis.js +18 -11
  44. package/dist/application/target-actuals-analysis.js.map +1 -1
  45. package/dist/application/target-actuals-mutation.d.ts +5 -3
  46. package/dist/application/target-actuals-mutation.d.ts.map +1 -1
  47. package/dist/application/target-actuals-mutation.js +16 -8
  48. package/dist/application/target-actuals-mutation.js.map +1 -1
  49. package/dist/application/target-assurance-advance-history.d.ts +19 -0
  50. package/dist/application/target-assurance-advance-history.d.ts.map +1 -0
  51. package/dist/application/target-assurance-advance-history.js +61 -0
  52. package/dist/application/target-assurance-advance-history.js.map +1 -0
  53. package/dist/application/target-assurance-analysis.d.ts +34 -0
  54. package/dist/application/target-assurance-analysis.d.ts.map +1 -0
  55. package/dist/application/target-assurance-analysis.js +103 -0
  56. package/dist/application/target-assurance-analysis.js.map +1 -0
  57. package/dist/application/target-assurance-inspection.d.ts +38 -0
  58. package/dist/application/target-assurance-inspection.d.ts.map +1 -0
  59. package/dist/application/target-assurance-inspection.js +356 -0
  60. package/dist/application/target-assurance-inspection.js.map +1 -0
  61. package/dist/application/target-assurance-write.d.ts +22 -0
  62. package/dist/application/target-assurance-write.d.ts.map +1 -0
  63. package/dist/application/target-assurance-write.js +73 -0
  64. package/dist/application/target-assurance-write.js.map +1 -0
  65. package/dist/application/target-governance-init.d.ts +3 -3
  66. package/dist/application/target-governance-init.d.ts.map +1 -1
  67. package/dist/application/target-governance-init.js +14 -10
  68. package/dist/application/target-governance-init.js.map +1 -1
  69. package/dist/application/target-governance-project.d.ts +6 -4
  70. package/dist/application/target-governance-project.d.ts.map +1 -1
  71. package/dist/application/target-governance-project.js +18 -4
  72. package/dist/application/target-governance-project.js.map +1 -1
  73. package/dist/application/target-mutate.d.ts +7 -1
  74. package/dist/application/target-mutate.d.ts.map +1 -1
  75. package/dist/application/target-mutate.js +50 -3
  76. package/dist/application/target-mutate.js.map +1 -1
  77. package/dist/application/target-project-history.d.ts +4 -4
  78. package/dist/application/target-project-history.d.ts.map +1 -1
  79. package/dist/application/target-project-history.js +1 -1
  80. package/dist/application/target-project-history.js.map +1 -1
  81. package/dist/application/target-unit-migration-candidate.d.ts +29 -6
  82. package/dist/application/target-unit-migration-candidate.d.ts.map +1 -1
  83. package/dist/application/target-unit-migration-candidate.js +204 -3
  84. package/dist/application/target-unit-migration-candidate.js.map +1 -1
  85. package/dist/application/target-unit-migration-result.d.ts +2 -2
  86. package/dist/application/target-unit-migration-result.d.ts.map +1 -1
  87. package/dist/application/target-unit-migration-result.js +4 -2
  88. package/dist/application/target-unit-migration-result.js.map +1 -1
  89. package/dist/application/target-velocity-observation.d.ts +1 -1
  90. package/dist/application/target-velocity-observation.js +1 -1
  91. package/dist/assurance/advance.d.ts +45 -0
  92. package/dist/assurance/advance.d.ts.map +1 -0
  93. package/dist/assurance/advance.js +507 -0
  94. package/dist/assurance/advance.js.map +1 -0
  95. package/dist/assurance/authority.d.ts +86 -0
  96. package/dist/assurance/authority.d.ts.map +1 -0
  97. package/dist/assurance/authority.js +269 -0
  98. package/dist/assurance/authority.js.map +1 -0
  99. package/dist/assurance/canonical.d.ts +13 -0
  100. package/dist/assurance/canonical.d.ts.map +1 -0
  101. package/dist/assurance/canonical.js +320 -0
  102. package/dist/assurance/canonical.js.map +1 -0
  103. package/dist/assurance/compatibility.d.ts +62 -0
  104. package/dist/assurance/compatibility.d.ts.map +1 -0
  105. package/dist/assurance/compatibility.js +163 -0
  106. package/dist/assurance/compatibility.js.map +1 -0
  107. package/dist/assurance/evaluate.d.ts +4 -0
  108. package/dist/assurance/evaluate.d.ts.map +1 -0
  109. package/dist/assurance/evaluate.js +631 -0
  110. package/dist/assurance/evaluate.js.map +1 -0
  111. package/dist/assurance/governance.d.ts +42 -0
  112. package/dist/assurance/governance.d.ts.map +1 -0
  113. package/dist/assurance/governance.js +95 -0
  114. package/dist/assurance/governance.js.map +1 -0
  115. package/dist/assurance/mermaid.d.ts +40 -0
  116. package/dist/assurance/mermaid.d.ts.map +1 -0
  117. package/dist/assurance/mermaid.js +401 -0
  118. package/dist/assurance/mermaid.js.map +1 -0
  119. package/dist/assurance/mutation.d.ts +96 -0
  120. package/dist/assurance/mutation.d.ts.map +1 -0
  121. package/dist/assurance/mutation.js +757 -0
  122. package/dist/assurance/mutation.js.map +1 -0
  123. package/dist/assurance/source.d.ts +20 -0
  124. package/dist/assurance/source.d.ts.map +1 -0
  125. package/dist/assurance/source.js +313 -0
  126. package/dist/assurance/source.js.map +1 -0
  127. package/dist/assurance/types.d.ts +166 -0
  128. package/dist/assurance/types.d.ts.map +1 -0
  129. package/dist/assurance/types.js +3 -0
  130. package/dist/assurance/types.js.map +1 -0
  131. package/dist/cli.js +356 -60
  132. package/dist/cli.js.map +1 -1
  133. package/dist/command/assurance-discovery.d.ts +17 -0
  134. package/dist/command/assurance-discovery.d.ts.map +1 -0
  135. package/dist/command/assurance-discovery.js +287 -0
  136. package/dist/command/assurance-discovery.js.map +1 -0
  137. package/dist/command/assurance-usage.d.ts +20 -0
  138. package/dist/command/assurance-usage.d.ts.map +1 -0
  139. package/dist/command/assurance-usage.js +66 -0
  140. package/dist/command/assurance-usage.js.map +1 -0
  141. package/dist/conversion/mermaid.d.ts +2 -1
  142. package/dist/conversion/mermaid.d.ts.map +1 -1
  143. package/dist/conversion/mermaid.js +2 -2
  144. package/dist/conversion/mermaid.js.map +1 -1
  145. package/dist/formatter/source-formatter.d.ts +1 -1
  146. package/dist/formatter/source-formatter.d.ts.map +1 -1
  147. package/dist/formatter/source-formatter.js +56 -4
  148. package/dist/formatter/source-formatter.js.map +1 -1
  149. package/dist/formatter/target-source-formatter.d.ts +2 -1
  150. package/dist/formatter/target-source-formatter.d.ts.map +1 -1
  151. package/dist/formatter/target-source-formatter.js +18 -2
  152. package/dist/formatter/target-source-formatter.js.map +1 -1
  153. package/dist/help/assurance-guide.d.ts +10 -0
  154. package/dist/help/assurance-guide.d.ts.map +1 -0
  155. package/dist/help/assurance-guide.js +115 -0
  156. package/dist/help/assurance-guide.js.map +1 -0
  157. package/dist/help/guide.d.ts +1 -1
  158. package/dist/help/guide.d.ts.map +1 -1
  159. package/dist/history/advance-history.d.ts +4 -2
  160. package/dist/history/advance-history.d.ts.map +1 -1
  161. package/dist/history/advance-history.js +47 -1
  162. package/dist/history/advance-history.js.map +1 -1
  163. package/dist/history/project-history.d.ts +14 -5
  164. package/dist/history/project-history.d.ts.map +1 -1
  165. package/dist/history/project-history.js +25 -18
  166. package/dist/history/project-history.js.map +1 -1
  167. package/dist/index.d.ts +31 -27
  168. package/dist/index.d.ts.map +1 -1
  169. package/dist/index.js +12 -15
  170. package/dist/index.js.map +1 -1
  171. package/dist/io/target-safe-write.d.ts +4 -1
  172. package/dist/io/target-safe-write.d.ts.map +1 -1
  173. package/dist/io/target-safe-write.js +19 -1
  174. package/dist/io/target-safe-write.js.map +1 -1
  175. package/dist/migration/grammar-boundary.d.ts +1 -1
  176. package/dist/migration/grammar-boundary.d.ts.map +1 -1
  177. package/dist/migration/grammar-boundary.js +7 -3
  178. package/dist/migration/grammar-boundary.js.map +1 -1
  179. package/dist/model/declaration-fields.d.ts +12 -0
  180. package/dist/model/declaration-fields.d.ts.map +1 -1
  181. package/dist/model/declaration-fields.js +45 -0
  182. package/dist/model/declaration-fields.js.map +1 -1
  183. package/dist/model/syntax.d.ts +17 -1
  184. package/dist/model/syntax.d.ts.map +1 -1
  185. package/dist/model/syntax.js.map +1 -1
  186. package/dist/mutation/actuals.js +1 -1
  187. package/dist/mutation/actuals.js.map +1 -1
  188. package/dist/mutation/advance.d.ts +18 -1
  189. package/dist/mutation/advance.d.ts.map +1 -1
  190. package/dist/mutation/advance.js +20 -0
  191. package/dist/mutation/advance.js.map +1 -1
  192. package/dist/mutation/project.d.ts +2 -1
  193. package/dist/mutation/project.d.ts.map +1 -1
  194. package/dist/mutation/project.js +21 -0
  195. package/dist/mutation/project.js.map +1 -1
  196. package/dist/parser/document-parser.d.ts +7 -0
  197. package/dist/parser/document-parser.d.ts.map +1 -1
  198. package/dist/parser/document-parser.js +227 -12
  199. package/dist/parser/document-parser.js.map +1 -1
  200. package/dist/recommendation/override-types.d.ts +2 -2
  201. package/dist/recommendation/override.d.ts +2 -2
  202. package/dist/recommendation/override.d.ts.map +1 -1
  203. package/dist/recommendation/override.js +13 -5
  204. package/dist/recommendation/override.js.map +1 -1
  205. package/dist/schema/registry.d.ts +1 -1
  206. package/dist/schema/registry.d.ts.map +1 -1
  207. package/dist/schema/registry.js +8 -7
  208. package/dist/schema/registry.js.map +1 -1
  209. package/dist/semantic/target-validator.d.ts +12 -1
  210. package/dist/semantic/target-validator.d.ts.map +1 -1
  211. package/dist/semantic/target-validator.js +47 -2
  212. package/dist/semantic/target-validator.js.map +1 -1
  213. package/dist/semantic/validator.d.ts +1 -0
  214. package/dist/semantic/validator.d.ts.map +1 -1
  215. package/dist/semantic/validator.js +304 -0
  216. package/dist/semantic/validator.js.map +1 -1
  217. package/dist/version.d.ts +1 -1
  218. package/dist/version.js +1 -1
  219. package/package.json +1 -1
  220. package/schemas/{Perttool.AdvanceResult.v1.schema.json → Perttool.AdvanceResult.v2.schema.json} +85 -5
  221. package/schemas/Perttool.AgentGuidanceResult.v1.schema.json +1 -1
  222. package/schemas/{Perttool.AnalysisResult.v4.schema.json → Perttool.AnalysisResult.v5.schema.json} +10 -6
  223. package/schemas/{Perttool.CheckResult.v3.schema.json → Perttool.CheckResult.v4.schema.json} +14 -6
  224. package/schemas/Perttool.CliError.v1.schema.json +1 -1
  225. package/schemas/Perttool.CommandHelpResult.v1.schema.json +2 -2
  226. package/schemas/Perttool.Common.v1.schema.json +300 -4
  227. package/schemas/Perttool.ExportResult.v1.schema.json +1 -1
  228. package/schemas/Perttool.FormatResult.v1.schema.json +1 -1
  229. package/schemas/Perttool.GuideResult.v1.schema.json +1 -1
  230. package/schemas/Perttool.ImportResult.v1.schema.json +1 -1
  231. package/schemas/Perttool.InitResult.v1.schema.json +1 -1
  232. package/schemas/{Perttool.MutationResult.v3.schema.json → Perttool.MutationResult.v4.schema.json} +16 -5
  233. package/schemas/{Perttool.NextResult.v5.schema.json → Perttool.NextResult.v6.schema.json} +53 -8
  234. package/schemas/Perttool.OverrideDecision.v1.schema.json +1 -1
  235. package/schemas/Perttool.PlanAssuranceResult.v1.schema.json +77 -0
  236. package/schemas/Perttool.ProjectHistoryResult.v1.schema.json +1 -1
  237. package/schemas/{Perttool.ProjectResult.v3.schema.json → Perttool.ProjectResult.v4.schema.json} +15 -7
  238. package/schemas/Perttool.SchemaResult.v1.schema.json +1 -1
  239. package/schemas/Perttool.UnitMigrationResult.v3.schema.json +5 -3
  240. package/schemas/Perttool.VelocityObservationResult.v1.schema.json +1 -1
package/CHANGELOG.md CHANGED
@@ -4,6 +4,38 @@ This project records its notable changes here. The format is based on [Keep a Ch
4
4
 
5
5
  ## [Unreleased]
6
6
 
7
+ ## [0.7.0] - 2026-08-04
8
+
9
+ Grammar 6 and CLI Contract 7 beta minor. This version adds conditional plan
10
+ assurance as a semantic SHA-256 commitment chain while preserving Grammar 1
11
+ through 5 compatibility.
12
+
13
+ ### Added
14
+
15
+ - Added Grammar 6 plan-assurance declarations, default `both`, explicit
16
+ `planning_only` and `execution_only` relations, component seals, outcome
17
+ commitments, frontier receipts, complete cause paths, and fixed semantic
18
+ hash vectors that exclude lifecycle status and non-semantic trivia.
19
+ - Added ten preview-first assurance commands for inspection, scalar hash
20
+ lookup, sealing, selected resealing, planning-dependency maintenance, and
21
+ task-outcome maintenance.
22
+ - Added `Perttool.PlanAssuranceResult.v1`, complete Draft 2020-12 schemas for
23
+ all 20 result roots, package-root assurance APIs, Contract 7 help and Guide
24
+ projections, and Mermaid semantic profile 2 round trips.
25
+
26
+ ### Changed
27
+
28
+ - Changed the public boundary atomically to CLI Contract 7 and the
29
+ assurance-aware `Perttool.CheckResult.v4`, `Perttool.ProjectResult.v4`,
30
+ `Perttool.AnalysisResult.v5`, `Perttool.NextResult.v6`,
31
+ `Perttool.MutationResult.v4`, `Perttool.AdvanceResult.v2`, and nested
32
+ `Perttool.GovernanceDecision.v2` identities.
33
+ - Changed normal new-task authority to fail closed when an enabled assurance
34
+ chain is unknown, unsealed, or mismatched. Raw recommendation ranking remains
35
+ available separately from the authoritative startable set.
36
+ - Changed `dag advance` to compose history-loss protection independently with
37
+ assurance validation, contraction, and exact frontier-receipt rebuilding.
38
+
7
39
  ## [0.6.0] - 2026-07-31
8
40
 
9
41
  Grammar 5 and CLI Contract 6 beta minor. This version protects destructive
@@ -335,7 +367,8 @@ First public development preview. Intended to evaluate the DSL and CLI, read-onl
335
367
  - Not published to the npm registry; use the GitHub Release asset
336
368
  - Requires Node.js 24 or later
337
369
 
338
- [Unreleased]: https://github.com/mako10k/perttool/compare/v0.6.0...HEAD
370
+ [Unreleased]: https://github.com/mako10k/perttool/compare/v0.7.0...HEAD
371
+ [0.7.0]: https://github.com/mako10k/perttool/compare/v0.6.0...v0.7.0
339
372
  [0.6.0]: https://github.com/mako10k/perttool/compare/v0.5.5...v0.6.0
340
373
  [0.5.5]: https://github.com/mako10k/perttool/compare/v0.5.4...v0.5.5
341
374
  [0.5.4]: https://github.com/mako10k/perttool/compare/v0.5.3...v0.5.4
package/README.md CHANGED
@@ -5,7 +5,7 @@ It validates an Activity-on-Arrow plan, calculates precedence and
5
5
  resource-constrained schedules, recommends the next task, and applies
6
6
  source-preserving changes through preview-first commands.
7
7
 
8
- Version `0.6.0` beta implements Grammar 5 and CLI Contract 6,
8
+ Version `0.6.0` implements Grammar 5 and CLI Contract 6,
9
9
  including explicit task work events, lifecycle commands, read-only Git
10
10
  history, observed velocity, AnalysisResult v4, and NextResult v5. It adds
11
11
  complete Draft 2020-12 artifacts for every active Contract 6 result and the
@@ -16,9 +16,18 @@ governance-not-applicable candidate and when a governed preview already
16
16
  carries one. It also protects destructive in-place `dag advance` writes with
17
17
  exact `HEAD` and stage-0 evidence, returns `Perttool.AdvanceResult.v1`, and
18
18
  keeps preview, separate output, and written candidates repository-clean and
19
- byte-identical. npm `beta` resolves to `0.6.0`; npm `latest` remains `0.5.5`.
20
- Beta releases may contain breaking CLI or schema changes. Version `0.6.0`
21
- requires Node.js 22 or later.
19
+ byte-identical. It remains the npm `latest` compatibility line for this beta
20
+ release.
21
+ Beta releases may contain breaking CLI or schema changes.
22
+
23
+ Version `0.7.0` beta atomically activates Grammar 6 and CLI Contract 7
24
+ conditional plan assurance. It exposes 44 commands, 20 root schemas,
25
+ `Perttool.PlanAssuranceResult.v1`, assurance-aware Check/Project/Analysis/Next/
26
+ Mutation/Advance results, `Perttool.GovernanceDecision.v2`, and Mermaid
27
+ semantic profile 2. Its package and CLI identity is `0.7.0`, and `beta` is its
28
+ publication channel. This release does not move npm `latest` from Contract 6
29
+ `0.6.0`; channel promotion remains a separate decision. Both versions require
30
+ Node.js 22 or later.
22
31
  The complete-schema Contract 6 artifact remains available by pinning `0.5.2`,
23
32
  and the first machine-schema Contract 6 artifact remains available by pinning
24
33
  `0.5.1`; Contract 5, Contract 4, and Contract 3 remain available by pinning
@@ -27,41 +36,41 @@ dist-tag; historical `0.1.0-alpha.2` remains available by exact pin.
27
36
 
28
37
  ## Run without installing
29
38
 
30
- Use `npx` for an occasional invocation and select Contract 6 explicitly:
39
+ After beta publication, use `npx` for an occasional Contract 7 invocation and
40
+ select the version explicitly:
31
41
 
32
42
  ```sh
33
- npx --yes --package=perttool@0.6.0 -- perttool --version
34
- npx --yes --package=perttool@0.6.0 -- perttool document check PLAN.pert
35
- npx --yes --package=perttool@0.6.0 -- perttool dag next PLAN.pert --format json
36
- npx --yes --package=perttool@0.6.0 -- perttool project history PLAN.pert --format json
43
+ npx --yes --package=perttool@0.7.0 -- perttool --version
44
+ npx --yes --package=perttool@0.7.0 -- perttool document check PLAN.pert
45
+ npx --yes --package=perttool@0.7.0 -- perttool dag next PLAN.pert --format json
46
+ npx --yes --package=perttool@0.7.0 -- perttool plan-assurance show PLAN.pert --format json
37
47
  ```
38
48
 
39
49
  The equivalent explicit `npm exec` form is:
40
50
 
41
51
  ```sh
42
- npm exec --yes --package=perttool@0.6.0 -- perttool --version
43
- npm exec --yes --package=perttool@0.6.0 -- perttool document check PLAN.pert
44
- npm exec --yes --package=perttool@0.6.0 -- perttool dag analyze PLAN.pert
45
- npm exec --yes --package=perttool@0.6.0 -- perttool project history PLAN.pert --format json
52
+ npm exec --yes --package=perttool@0.7.0 -- perttool --version
53
+ npm exec --yes --package=perttool@0.7.0 -- perttool document check PLAN.pert
54
+ npm exec --yes --package=perttool@0.7.0 -- perttool dag analyze PLAN.pert
55
+ npm exec --yes --package=perttool@0.7.0 -- perttool plan-assurance hash PLAN.pert WORK --kind contract
46
56
  ```
47
57
 
48
58
  `npx` and `npm exec` may download the selected package version into the npm
49
- cache. Pinning `0.4.0` selects Contract 5 and therefore omits Grammar 5
50
- lifecycle and history; `0.3.0` selects Contract 4, and `0.2.0` selects
59
+ cache. Pinning `0.6.0` selects Contract 6 and omits Grammar 6 assurance;
60
+ `0.4.0` selects Contract 5, `0.3.0` selects Contract 4, and `0.2.0` selects
51
61
  Contract 3.
52
62
 
53
63
  ## Install
54
64
 
55
- Install the CLI globally when it is used regularly:
65
+ Install the Contract 7 CLI globally by exact version when it is used regularly:
56
66
 
57
67
  ```sh
58
- npm install --global perttool
68
+ npm install --global perttool@0.7.0
59
69
  perttool --version
60
70
  ```
61
71
 
62
- npm `beta` resolves to Contract 6 `0.6.0`. npm `latest` and an unqualified
63
- install remain on Contract 6 `0.5.5` until a separate promotion. The
64
- pre-schema Contract 6 artifact remains available as
72
+ This beta release does not move npm `latest`; an unqualified install therefore
73
+ remains on Contract 6 `0.6.0`. The pre-schema Contract 6 artifact remains available as
65
74
  `perttool@0.5.0`; Contract 5,
66
75
  Contract 4, and Contract 3 remain available as exact pins
67
76
  `perttool@0.4.0`, `perttool@0.3.0`, and `perttool@0.2.0`. The retired alpha
@@ -111,6 +120,8 @@ the exact point result and reports the time conversion separately as a velocity
111
120
  forecast. Grammar version 3 also accepts an exact Fraction such as `1/3d`;
112
121
  versions 1 and 2 continue to accept Decimal duration tokens. Grammar version 5
113
122
  adds explicit task-owned work events and the `suspended` lifecycle state.
123
+ Grammar version 6 adds conditional plan assurance records and the separate
124
+ planning-dependency modes `both`, `execution_only`, and `planning_only`.
114
125
 
115
126
  ## Maintain a plan through the CLI
116
127
 
@@ -168,7 +179,7 @@ file. A changed in-place `dag advance` additionally verifies removed or
168
179
  replaced entity ranges against the target path in Git `HEAD` and the stage-0
169
180
  index. Dirty ranges retained by the candidate are allowed; uncommitted
170
181
  destructive overlap or unavailable proof returns `PTADV-101` without writing.
171
- `Perttool.AdvanceResult.v1.history_guard` reports the status, modification
182
+ `Perttool.AdvanceResult.v2.history_guard` reports the status, modification
172
183
  time, byte sizes, diff counts, and affected IDs before supplemental digests.
173
184
  If the source, `HEAD`, or stage-0 index changes after assessment, `PTADV-102`
174
185
  returns exit 5 without writing.
@@ -327,6 +338,35 @@ See the [Contract 5-to-6 migration
327
338
  guide](docs/process/cli-contract-6-migration.md) for schema and compatibility
328
339
  details.
329
340
 
341
+ ### Conditional plan assurance
342
+
343
+ Assurance is opt-in. Initial sealing upgrades the candidate to Grammar 6 and
344
+ records reviewed task contracts and recursive planning bases:
345
+
346
+ ```sh
347
+ perttool plan-assurance seal PLAN.pert \
348
+ --reason "Initial reviewed planning baseline" --diff
349
+ perttool plan-assurance show PLAN.pert --format json
350
+ perttool plan-assurance hash PLAN.pert WORK --kind computed-basis
351
+ ```
352
+
353
+ The hash command writes exactly one `sha256:` digest plus LF on text success;
354
+ it does not edit or accept a seal. Use `plan-dependency` to qualify the default
355
+ execution-and-planning relation, or to add a planning-only relation:
356
+
357
+ ```sh
358
+ perttool plan-dependency set PLAN.pert REL_A_B \
359
+ --mode execution-only --reason "Execution order only" --diff
360
+ perttool plan-dependency add PLAN.pert REL_C_D C D \
361
+ --mode planning-only --reason "D consumes C planning output" --diff
362
+ ```
363
+
364
+ After reviewing a reported affected closure, use a separate governed
365
+ `plan-assurance reseal` candidate. Completed work needs an explicit
366
+ `task-outcome` record; completion status, Git history, and actual duration do
367
+ not imply outcome conformance. `dag next` preserves raw ranking and withholds
368
+ new-start authority from unsealed, review-required, or unavailable plans.
369
+
330
370
  ## Command map
331
371
 
332
372
  | Goal | Command |
@@ -345,6 +385,10 @@ details.
345
385
  | Analyze schedules | `perttool dag analyze <file>` |
346
386
  | Select next work | `perttool dag next <file>` |
347
387
  | Remove completed history | `perttool dag advance <file>` |
388
+ | Inspect plan assurance | `perttool plan-assurance show|hash <file> ...` |
389
+ | Seal or reseal reviewed plans | `perttool plan-assurance seal|reseal <file> ...` |
390
+ | Maintain planning dependencies | `perttool plan-dependency add|set|remove` |
391
+ | Maintain task outcomes | `perttool task-outcome add|set|remove` |
348
392
  | Export or import Mermaid | `perttool dag render`, `perttool dag import` |
349
393
  | Maintain tasks | `perttool task add|set|remove|start|suspend|resume|finish` |
350
394
  | Maintain gates | `perttool gate add|set|remove` |
@@ -361,8 +405,8 @@ domain concepts. Both run without a document:
361
405
  perttool task set --help
362
406
  perttool help dag next --format json
363
407
  perttool schema --format json
364
- perttool schema Perttool.NextResult.v5 --format json
365
- perttool schema Perttool.NextResult.v5 --view outline --format json
408
+ perttool schema Perttool.NextResult.v6 --format json
409
+ perttool schema Perttool.NextResult.v6 --view outline --format json
366
410
  perttool guide editing --level detail --format json
367
411
  ```
368
412
 
@@ -373,7 +417,7 @@ Supplying a schema identity returns its Draft 2020-12 artifact in the
373
417
  `schema` field of `Perttool.SchemaResult.v1`:
374
418
 
375
419
  ```sh
376
- perttool schema Perttool.CheckResult.v3 --format json
420
+ perttool schema Perttool.CheckResult.v4 --format json
377
421
  ```
378
422
 
379
423
  The default and `--view full` return the complete artifact. For a shorter
@@ -382,8 +426,8 @@ references to the complete bundled artifact. Pass one local, relative, or
382
426
  copied absolute reference back with `--ref` to display that internal layer:
383
427
 
384
428
  ```sh
385
- perttool schema Perttool.NextResult.v5 --view outline --format json
386
- perttool schema Perttool.NextResult.v5 --view outline \
429
+ perttool schema Perttool.NextResult.v6 --view outline --format json
430
+ perttool schema Perttool.NextResult.v6 --view outline \
387
431
  --ref '#/$defs/recommendation' --format json
388
432
  ```
389
433
 
@@ -394,11 +438,12 @@ identifier only: validation does not require network access. Consumers must
394
438
  select compatibility from each result's `schema_version`, not from
395
439
  `tool_version`. See the
396
440
  [JSON Schema Artifact Contract](docs/specs/json-schema.md) for the complete
397
- 19-result inventory and versioning rules.
441
+ 20-root inventory and versioning rules.
398
442
 
399
443
  ## LLM and automation use
400
444
 
401
- Use `--format json` for machine consumers. `0.6.0`, `0.5.5`, `0.5.4`, `0.5.3`,
445
+ Use `--format json` for machine consumers. Version `0.7.0` requires
446
+ `cli_contract_version == 7`. Published `0.6.0`, `0.5.5`, `0.5.4`, `0.5.3`,
402
447
  `0.5.2`, `0.5.1`, and `0.5.0` consumers must check
403
448
  `cli_contract_version == 6`;
404
449
  consumers pinned to `0.4.0`
@@ -413,10 +458,14 @@ Runtime `PTGOV-104` visibility for assertions on governed previews requires
413
458
  `Perttool.AdvanceResult.v1`, history-safety model 1, and the
414
459
  repository-clean advance candidate require `0.6.0`; see the
415
460
  [`0.5.5` to `0.6.0` migration](docs/process/0.5.5-to-0.6.0-migration.md).
461
+ Version `0.7.0` changes to Grammar 6, CLI Contract 7, and
462
+ assurance-aware result identities; see the
463
+ [`0.6.0` to `0.7.0` migration](docs/process/0.6.0-to-0.7.0-migration.md).
416
464
  In every case, check the result-specific `schema_version` before reading the
417
465
  rest of a result.
418
- A complete, known, non-truncated `Perttool.NextResult.v5` with temporal policy
419
- `recommendation_v1_plus_release_gate` is required. Start only task IDs in
466
+ A complete, known, non-truncated `Perttool.NextResult.v6` with policy
467
+ `recommendation_v1_plus_release_gate_plus_plan_assurance_v1` is required for
468
+ the current source. Start only task IDs in
420
469
  `temporal.authority.startable_recommended_task_ids`; do not infer start
421
470
  authority from the raw recommended set, the text summary, or `ready` alone.
422
471
  Suspended tasks are reported separately and require an explicit `task resume`;
@@ -424,8 +473,9 @@ they are not new-start recommendations.
424
473
 
425
474
  Mutation JSON returns the candidate text, unified diff, UTF-16 text edits,
426
475
  source digest, updated digest, diagnostics, and write result in one envelope.
427
- Direct, lifecycle, and batch mutations use `Perttool.MutationResult.v3`;
428
- `dag advance` uses `Perttool.AdvanceResult.v1`.
476
+ Direct, lifecycle, batch, and assurance mutations use
477
+ `Perttool.MutationResult.v4`; `dag advance` uses
478
+ `Perttool.AdvanceResult.v2`.
429
479
  Unknown schema versions, incomplete recommendation traces, `PTREC-*`
430
480
  diagnostics, and future or unavailable temporal eligibility must fail closed.
431
481
 
@@ -436,6 +486,21 @@ diagnostics, and future or unavailable temporal eligibility must fail closed.
436
486
  - [Project Actuals and Git History Contract (CLI Contract 6)](docs/specs/project-actuals.md)
437
487
  - [Advance History Safety Contract (ADV-001 target)](docs/specs/advance-history-safety.md)
438
488
  - [Advance History Safety source acceptance](docs/process/advance-history-acceptance.md)
489
+ - [Conditional Plan Assurance Contract (active Grammar 6 / CLI Contract 7 source)](docs/specs/plan-assurance.md)
490
+ - [Conditional Plan Assurance Interface Contract](docs/specs/plan-assurance-interface.md)
491
+ - [Conditional Plan Assurance public-contract acceptance](docs/process/plan-assurance-public-contract-acceptance.md)
492
+ - [`0.6.0` to `0.7.0` migration](docs/process/0.6.0-to-0.7.0-migration.md)
493
+ - [`v0.7.0` release procedure](docs/process/0.7.0-release.md)
494
+ - [Conditional Plan Assurance interface acceptance](docs/process/plan-assurance-interface-acceptance.md)
495
+ - [Conditional Plan Assurance internal hash Core acceptance](docs/process/plan-assurance-hash-core-acceptance.md)
496
+ - [Conditional Plan Assurance internal source Core acceptance](docs/process/plan-assurance-source-core-acceptance.md)
497
+ - [Conditional Plan Assurance internal mutation Core acceptance](docs/process/plan-assurance-mutation-core-acceptance.md)
498
+ - [Conditional Plan Assurance internal authority Core acceptance](docs/process/plan-assurance-authority-core-acceptance.md)
499
+ - [Conditional Plan Assurance internal advance contraction acceptance](docs/process/plan-assurance-advance-contraction-acceptance.md)
500
+ - [Conditional Plan Assurance internal compatibility acceptance](docs/process/plan-assurance-compatibility-acceptance.md)
501
+ - [Conditional Plan Assurance internal hash inspection acceptance](docs/process/plan-assurance-hash-inspection-acceptance.md)
502
+ - [Conditional Plan Assurance design review](docs/process/plan-assurance-design-review.md)
503
+ - [Conditional Plan Assurance implementation plan](plans/plan-assurance.pert)
439
504
  - [JSON Schema Artifact Contract](docs/specs/json-schema.md)
440
505
  - [JSON Schema source acceptance](docs/process/json-schema-acceptance.md)
441
506
  - [Contract 5-to-6 migration](docs/process/cli-contract-6-migration.md)
@@ -1,5 +1,6 @@
1
1
  import { type AdvanceHistoryBaselineCapture, type AdvanceHistoryBaselineDependencies, type AdvanceHistoryBaselineRecheck } from "../history/git-probe.js";
2
2
  import type { TargetActualsAdvanceResultV3 } from "./target-actuals-advance.js";
3
+ import type { AdvanceDocumentValidator } from "../mutation/advance.js";
3
4
  export declare const ADVANCE_RESULT_SCHEMA_VERSION: "Perttool.AdvanceResult.v1";
4
5
  export type AdvanceHistoryGuardStatus = "not_applicable" | "passed" | "blocked" | "forced";
5
6
  export type AdvanceHistoryGuardCause = "preview" | "separate_output" | "no_change" | "no_destructive_records" | "authority_denied" | "warning_denied" | "baseline_matches" | "destructive_overlap" | "no_repository" | "no_head" | "untracked_target" | "ambiguous_path" | "unmerged_index" | "git_unavailable" | "baseline_read_failed" | "baseline_invalid" | "correspondence_missing" | "correspondence_ambiguous" | "forced_by_option";
@@ -34,6 +35,7 @@ export interface AdvanceHistoryPreparationOptions {
34
35
  readonly warningDenied?: boolean;
35
36
  readonly maxDiagnostics?: number;
36
37
  readonly baselineDependencies?: AdvanceHistoryBaselineDependencies;
38
+ readonly documentValidator?: AdvanceDocumentValidator;
37
39
  }
38
40
  export interface PreparedAdvanceHistory {
39
41
  readonly result: AdvanceResultV1;
@@ -1 +1 @@
1
- {"version":3,"file":"advance-history.d.ts","sourceRoot":"","sources":["../../src/application/advance-history.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,6BAA6B,EAClC,KAAK,kCAAkC,EACvC,KAAK,6BAA6B,EACnC,MAAM,yBAAyB,CAAC;AAuBjC,OAAO,KAAK,EACV,4BAA4B,EAC7B,MAAM,6BAA6B,CAAC;AAErC,eAAO,MAAM,6BAA6B,EACxC,2BAAoC,CAAC;AAEvC,MAAM,MAAM,yBAAyB,GACjC,gBAAgB,GAChB,QAAQ,GACR,SAAS,GACT,QAAQ,CAAC;AAEb,MAAM,MAAM,wBAAwB,GAChC,SAAS,GACT,iBAAiB,GACjB,WAAW,GACX,wBAAwB,GACxB,kBAAkB,GAClB,gBAAgB,GAChB,kBAAkB,GAClB,qBAAqB,GACrB,eAAe,GACf,SAAS,GACT,kBAAkB,GAClB,gBAAgB,GAChB,gBAAgB,GAChB,iBAAiB,GACjB,sBAAsB,GACtB,kBAAkB,GAClB,wBAAwB,GACxB,0BAA0B,GAC1B,kBAAkB,CAAC;AAEvB,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,wBAAwB,CAAC;IACzC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7C,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC;AAED,MAAM,WAAW,eACf,SAAQ,IAAI,CAAC,4BAA4B,EAAE,eAAe,CAAC;IAC3D,QAAQ,CAAC,aAAa,EAAE,OAAO,6BAA6B,CAAC;IAC7D,QAAQ,CAAC,YAAY,EAAE,qBAAqB,GAAG,IAAI,CAAC;CACrD;AAED,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,KAAK,GAAG,UAAU,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,kCAAkC,CAAC;CACpE;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,6BAA6B,GAAG,IAAI,CAAC;CACzD;AA4ND,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,4BAA4B,GACnC,eAAe,CAmBjB;AAED,wBAAsB,qBAAqB,CACzC,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,4BAA4B,GAAG,eAAe,EACtD,OAAO,EAAE,gCAAgC,GACxC,OAAO,CAAC,sBAAsB,CAAC,CA+KjC;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,eAAe,EACvB,OAAO,EAAE,6BAA6B,EACtC,cAAc,CAAC,EAAE,MAAM,GACtB,eAAe,CAgBjB;AAMD,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,qBAAqB,GAC3B,MAAM,CAYR"}
1
+ {"version":3,"file":"advance-history.d.ts","sourceRoot":"","sources":["../../src/application/advance-history.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,6BAA6B,EAClC,KAAK,kCAAkC,EACvC,KAAK,6BAA6B,EACnC,MAAM,yBAAyB,CAAC;AAuBjC,OAAO,KAAK,EACV,4BAA4B,EAC7B,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAEvE,eAAO,MAAM,6BAA6B,EACxC,2BAAoC,CAAC;AAEvC,MAAM,MAAM,yBAAyB,GACjC,gBAAgB,GAChB,QAAQ,GACR,SAAS,GACT,QAAQ,CAAC;AAEb,MAAM,MAAM,wBAAwB,GAChC,SAAS,GACT,iBAAiB,GACjB,WAAW,GACX,wBAAwB,GACxB,kBAAkB,GAClB,gBAAgB,GAChB,kBAAkB,GAClB,qBAAqB,GACrB,eAAe,GACf,SAAS,GACT,kBAAkB,GAClB,gBAAgB,GAChB,gBAAgB,GAChB,iBAAiB,GACjB,sBAAsB,GACtB,kBAAkB,GAClB,wBAAwB,GACxB,0BAA0B,GAC1B,kBAAkB,CAAC;AAEvB,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,wBAAwB,CAAC;IACzC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7C,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC;AAED,MAAM,WAAW,eACf,SAAQ,IAAI,CAAC,4BAA4B,EAAE,eAAe,CAAC;IAC3D,QAAQ,CAAC,aAAa,EAAE,OAAO,6BAA6B,CAAC;IAC7D,QAAQ,CAAC,YAAY,EAAE,qBAAqB,GAAG,IAAI,CAAC;CACrD;AAED,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,KAAK,GAAG,UAAU,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,kCAAkC,CAAC;IACnE,QAAQ,CAAC,iBAAiB,CAAC,EAAE,wBAAwB,CAAC;CACvD;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,6BAA6B,GAAG,IAAI,CAAC;CACzD;AA4OD,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,4BAA4B,GACnC,eAAe,CAmBjB;AAED,wBAAsB,qBAAqB,CACzC,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,4BAA4B,GAAG,eAAe,EACtD,OAAO,EAAE,gCAAgC,GACxC,OAAO,CAAC,sBAAsB,CAAC,CA8KjC;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,eAAe,EACvB,OAAO,EAAE,6BAA6B,EACtC,cAAc,CAAC,EAAE,MAAM,GACtB,eAAe,CAgBjB;AAMD,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,qBAAqB,GAC3B,MAAM,CAYR"}
@@ -16,17 +16,27 @@ function diffCounts(diff) {
16
16
  }
17
17
  return { added, removed };
18
18
  }
19
- function recordsFor(text, result) {
19
+ function recordsFor(text, result, validator = activeAdvanceDocumentValidator) {
20
20
  if (result.updatedText === null ||
21
21
  result.updatedDigest === null ||
22
22
  result.advance === null) {
23
23
  return null;
24
24
  }
25
- const checked = validateTargetGrammar5Document(text, TARGET_GRAMMAR_5_CAPABILITY);
26
- if (!checked.ok || checked.validatedDocument === null) {
25
+ const checked = validator(text, 1_000);
26
+ if (!checked.ok) {
27
27
  throw new Error("advance history candidate has no validated original document");
28
28
  }
29
- return deriveAdvanceDestructiveRecords(text, checked.validatedDocument.document, result.advance);
29
+ return deriveAdvanceDestructiveRecords(text, checked.document, result.advance);
30
+ }
31
+ function activeAdvanceDocumentValidator(text, maxDiagnostics) {
32
+ const checked = validateTargetGrammar5Document(text, TARGET_GRAMMAR_5_CAPABILITY, { maxDiagnostics });
33
+ return {
34
+ ok: checked.ok,
35
+ document: checked.document,
36
+ documentId: checked.documentId,
37
+ diagnostics: checked.diagnostics,
38
+ diagnosticsTruncated: checked.diagnosticsTruncated,
39
+ };
30
40
  }
31
41
  function stableEntityIds(records) {
32
42
  return Object.freeze([...new Set(records.map(({ entityId }) => entityId))].sort());
@@ -136,7 +146,8 @@ export async function prepareAdvanceHistory(text, result, options) {
136
146
  if (digestDocumentBytes(options.sourceBytes) !== result.originalDigest) {
137
147
  throw new Error("advance history source bytes do not match the plan");
138
148
  }
139
- const records = recordsFor(text, result);
149
+ const validator = options.documentValidator ?? activeAdvanceDocumentValidator;
150
+ const records = recordsFor(text, result, validator);
140
151
  if (records === null) {
141
152
  return Object.freeze({
142
153
  result: resultWithGuard(result, null),
@@ -196,12 +207,10 @@ export async function prepareAdvanceHistory(text, result, options) {
196
207
  baseline,
197
208
  });
198
209
  }
199
- const currentChecked = validateTargetGrammar5Document(current.text, TARGET_GRAMMAR_5_CAPABILITY);
200
- const headChecked = validateTargetGrammar5Document(head.text, TARGET_GRAMMAR_5_CAPABILITY);
210
+ const currentChecked = validator(current.text, normalizeMaxDiagnostics(options.maxDiagnostics));
211
+ const headChecked = validator(head.text, normalizeMaxDiagnostics(options.maxDiagnostics));
201
212
  if (!currentChecked.ok ||
202
- currentChecked.validatedDocument === null ||
203
- !headChecked.ok ||
204
- headChecked.validatedDocument === null) {
213
+ !headChecked.ok) {
205
214
  return Object.freeze({
206
215
  result: blockedResult(result, records, options, "baseline_invalid", [], baseline),
207
216
  baseline,
@@ -209,10 +218,10 @@ export async function prepareAdvanceHistory(text, result, options) {
209
218
  }
210
219
  const assessed = assessAdvanceHistorySafety({
211
220
  currentText: current.text,
212
- currentDocument: currentChecked.validatedDocument.document,
221
+ currentDocument: currentChecked.document,
213
222
  currentSource: baseline.currentSource,
214
223
  headText: head.text,
215
- headDocument: headChecked.validatedDocument.document,
224
+ headDocument: headChecked.document,
216
225
  headSource: baseline.headSource,
217
226
  indexSource: baseline.indexSource,
218
227
  destructiveRecords: records,
@@ -1 +1 @@
1
- {"version":3,"file":"advance-history.js","sourceRoot":"","sources":["../../src/application/advance-history.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,6BAA6B,GAI9B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,0BAA0B,EAC1B,+BAA+B,GAGhC,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,wBAAwB,EACxB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,gBAAgB,EAChB,uBAAuB,EACvB,eAAe,GAEhB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,2BAA2B,GAC5B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,8BAA8B,GAC/B,MAAM,iCAAiC,CAAC;AAKzC,MAAM,CAAC,MAAM,6BAA6B,GACxC,2BAAoC,CAAC;AAsEvC,SAAS,UAAU,CAAC,IAAmB;IAIrC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,KAAK,IAAI,CAAC,CAAC;QAChE,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,UAAU,CACjB,IAAY,EACZ,MAAsD;IAEtD,IACE,MAAM,CAAC,WAAW,KAAK,IAAI;QAC3B,MAAM,CAAC,aAAa,KAAK,IAAI;QAC7B,MAAM,CAAC,OAAO,KAAK,IAAI,EACvB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,8BAA8B,CAC5C,IAAI,EACJ,2BAA2B,CAC5B,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,OAAO,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CACb,8DAA8D,CAC/D,CAAC;IACJ,CAAC;IACD,OAAO,+BAA+B,CACpC,IAAI,EACJ,OAAO,CAAC,iBAAiB,CAAC,QAAQ,EAClC,MAAM,CAAC,OAAO,CACf,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,OAA8C;IAE9C,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAC7D,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CACZ,MAAsD,EACtD,OAA8C,EAC9C,OAAyC,EACzC,MAAiC,EACjC,KAA+B,EAC/B,oBAAoB,GAAsB,EAAE,EAC5C,QAAQ,GAAyC,IAAI;IAErD,IAAI,MAAM,CAAC,WAAW,KAAK,IAAI,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,YAAY,EAAE,CAAC;QACf,MAAM;QACN,KAAK;QACL,oBAAoB,EAAE,QAAQ,EAAE,oBAAoB,IAAI,IAAI;QAC5D,sBAAsB,EAAE,QAAQ,EAAE,sBAAsB,IAAI,IAAI;QAChE,YAAY,EAAE,QAAQ,EAAE,YAAY,IAAI,IAAI;QAC5C,YAAY,EAAE,MAAM,CAAC,cAAc;QACnC,eAAe,EAAE,MAAM,CAAC,aAAa;QACrC,gBAAgB,EACd,QAAQ,EAAE,gBAAgB,IAAI,OAAO,CAAC,gBAAgB;QACxD,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,UAAU;QAC3C,cAAc,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7D,cAAc,EAAE,MAAM,CAAC,KAAK;QAC5B,gBAAgB,EAAE,MAAM,CAAC,OAAO;QAChC,oBAAoB,EAAE,eAAe,CAAC,OAAO,CAAC;QAC9C,oBAAoB,EAAE,MAAM,CAAC,MAAM,CACjC,CAAC,GAAG,oBAAoB,CAAC,CAAC,IAAI,EAAE,CACjC;QACD,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,KAAK;KAChD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CACtB,MAAsD,EACtD,YAA0C,EAC1C,WAAW,GAA0B,MAAM,CAAC,WAAW,EACvD,oBAAoB,GAAG,MAAM,CAAC,oBAAoB,EAClD,EAAE,GAAG,MAAM,CAAC,EAAE;IAEd,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,MAAM;QACT,aAAa,EAAE,6BAA6B;QAC5C,EAAE;QACF,WAAW;QACX,oBAAoB;QACpB,YAAY;KACb,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CACxB,IAA6C,EAC7C,QAA6B,EAC7B,OAAe,EACf,IAAuC;IAEvC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI;QACJ,QAAQ;QACR,OAAO;QACP,SAAS,EAAE,SAAS;QACpB,IAAI;KACL,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAuB,EACvB,UAAsB,EACtB,OAAe,EACf,EAAW;IAEX,MAAM,OAAO,GAAG,gBAAgB,CAC9B,eAAe,CAAC,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,EACpD,OAAO,CACR,CAAC;IACF,OAAO,eAAe,CACpB,MAAM,EACN,MAAM,CAAC,YAAY,EACnB,OAAO,CAAC,WAAW,EACnB,MAAM,CAAC,oBAAoB,IAAI,OAAO,CAAC,SAAS,EAChD,EAAE,CACH,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,KAA6C;IAE7C,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,eAAe,CAAC;QACrB,KAAK,SAAS,CAAC;QACf,KAAK,kBAAkB,CAAC;QACxB,KAAK,gBAAgB,CAAC;QACtB,KAAK,gBAAgB,CAAC;QACtB,KAAK,iBAAiB,CAAC;QACvB,KAAK,sBAAsB,CAAC;QAC5B,KAAK,wBAAwB;YAC3B,OAAO,KAAK,CAAC;QACf,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc,CAAC;QACpB,KAAK,eAAe,CAAC;QACrB,KAAK,IAAI;YACP,OAAO,sBAAsB,CAAC;IAClC,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,KAAoC;IAEpC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CACpB,MAAsD,EACtD,OAA8C,EAC9C,OAAyC,EACzC,KAA+B,EAC/B,oBAAuC,EACvC,QAA8C;IAE9C,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,IAAI,KAAK,CAAC;IAC/C,MAAM,SAAS,GAAG,eAAe,CAC/B,MAAM,EACN,KAAK,CACH,MAAM,EACN,OAAO,EACP,OAAO,EACP,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,EAC7B,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,EACnC,oBAAoB,EACpB,QAAQ,CACT,CACF,CAAC;IACF,MAAM,UAAU,GAAG,MAAM;QACvB,CAAC,CAAC,iBAAiB,CACf,WAAW,EACX,SAAS,EACT,4CAA4C,EAC5C,MAAM,CAAC,MAAM,CAAC;YACZ,KAAK;YACL,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;gBACxB,GAAG,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;oBACjC,CAAC,CAAC,oBAAoB;oBACtB,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;aAC9B,CAAC;SACH,CAAC,CACH;QACH,CAAC,CAAC,iBAAiB,CACf,WAAW,EACX,OAAO,EACP,kCAAkC,EAClC,MAAM,CAAC,MAAM,CAAC;YACZ,KAAK;YACL,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;gBACxB,GAAG,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;oBACjC,CAAC,CAAC,oBAAoB;oBACtB,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;aAC9B,CAAC;SACH,CAAC,CACH,CAAC;IACN,OAAO,gBAAgB,CACrB,SAAS,EACT,UAAU,EACV,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC,EAC/C,MAAM,IAAI,MAAM,CAAC,EAAE,CACpB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,IAAY,EACZ,MAAoC;IAEpC,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACzC,OAAO,eAAe,CACpB,MAAM,EACN,OAAO,KAAK,IAAI;QACd,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,KAAK,CACH,MAAM,EACN,OAAO,EACP;YACE,IAAI,EAAE,SAAS;YACf,WAAW;YACX,gBAAgB,EAAE,IAAI;SACvB,EACD,gBAAgB,EAChB,SAAS,CACV,CACN,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,IAAY,EACZ,MAAsD,EACtD,OAAyC;IAEzC,IAAI,mBAAmB,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,MAAM,CAAC,cAAc,EAAE,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC;YACrC,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;IACL,CAAC;IACD,MAAM,aAAa,GAAG,CACpB,KAQC,EACuB,EAAE,CAC1B,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,eAAe,CACrB,MAAM,EACN,KAAK,CACH,MAAM,EACN,OAAO,EACP,OAAO,EACP,gBAAgB,EAChB,KAAK,CACN,CACF;QACD,QAAQ,EAAE,IAAI;KACf,CAAC,CAAC;IACL,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,aAAa,CAAC,SAAS,CAAC,CAAC;IAChE,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,aAAa,CAAC,iBAAiB,CAAC,CAAC;IACpE,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO,aAAa,CAAC,WAAW,CAAC,CAAC;IACvD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,aAAa,CAAC,wBAAwB,CAAC,CAAC;IACzE,IACE,MAAM,CAAC,UAAU,KAAK,IAAI;QAC1B,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,EAClC,CAAC;QACD,OAAO,aAAa,CAAC,kBAAkB,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,OAAO,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;QACnC,OAAO,aAAa,CAAC,gBAAgB,CAAC,CAAC;IACzC,CAAC;IACD,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,6BAA6B,CAClD;QACE,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,oBAAoB,EAAE,MAAM,CAAC,cAAc;KAC5C,EACD,OAAO,CAAC,oBAAoB,CAC7B,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,aAAa,CACnB,MAAM,EACN,OAAO,EACP,OAAO,EACP,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,EAC7B,EAAE,EACF,QAAQ,CACT;YACD,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IACD,IACE,QAAQ,CAAC,aAAa,KAAK,IAAI;QAC/B,QAAQ,CAAC,UAAU,KAAK,IAAI;QAC5B,QAAQ,CAAC,WAAW,KAAK,IAAI;QAC7B,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,MAAM,CACzC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CACjC,EACD,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,aAAa,CACnB,MAAM,EACN,OAAO,EACP,OAAO,EACP,kBAAkB,EAClB,EAAE,EACF,QAAQ,CACT;YACD,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IAED,IAAI,OAAO,CAAC;IACZ,IAAI,IAAI,CAAC;IACT,IAAI,CAAC;QACH,OAAO,GAAG,wBAAwB,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;QAC3D,IAAI,GAAG,wBAAwB,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACvD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,aAAa,CACnB,MAAM,EACN,OAAO,EACP,OAAO,EACP,kBAAkB,EAClB,EAAE,EACF,QAAQ,CACT;YACD,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IACD,MAAM,cAAc,GAAG,8BAA8B,CACnD,OAAO,CAAC,IAAI,EACZ,2BAA2B,CAC5B,CAAC;IACF,MAAM,WAAW,GAAG,8BAA8B,CAChD,IAAI,CAAC,IAAI,EACT,2BAA2B,CAC5B,CAAC;IACF,IACE,CAAC,cAAc,CAAC,EAAE;QAClB,cAAc,CAAC,iBAAiB,KAAK,IAAI;QACzC,CAAC,WAAW,CAAC,EAAE;QACf,WAAW,CAAC,iBAAiB,KAAK,IAAI,EACtC,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,aAAa,CACnB,MAAM,EACN,OAAO,EACP,OAAO,EACP,kBAAkB,EAClB,EAAE,EACF,QAAQ,CACT;YACD,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,0BAA0B,CAAC;QAC1C,WAAW,EAAE,OAAO,CAAC,IAAI;QACzB,eAAe,EAAE,cAAc,CAAC,iBAAiB,CAAC,QAAQ;QAC1D,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,QAAQ,EAAE,IAAI,CAAC,IAAI;QACnB,YAAY,EAAE,WAAW,CAAC,iBAAiB,CAAC,QAAQ;QACpD,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,kBAAkB,EAAE,OAAO;KAC5B,CAAC,CAAC;IACH,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,aAAa,CACnB,MAAM,EACN,OAAO,EACP,OAAO,EACP,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,EAC/B,QAAQ,CAAC,oBAAoB,EAC7B,QAAQ,CACT;YACD,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,eAAe,CACrB,MAAM,EACN,KAAK,CACH,MAAM,EACN,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kBAAkB,EAClB,EAAE,EACF,QAAQ,CACT,CACF;QACD,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,MAAuB,EACvB,OAAsC,EACtC,cAAuB;IAEvB,IAAI,OAAO,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC;IAC9B,OAAO,gBAAgB,CACrB,MAAM,EACN,iBAAiB,CACf,WAAW,EACX,OAAO,EACP,mDAAmD,EACnD,MAAM,CAAC,MAAM,CAAC;QACZ,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,SAAS,EAAE,OAAO,CAAC,SAAS;KAC7B,CAAC,CACH,EACD,uBAAuB,CAAC,cAAc,CAAC,EACvC,KAAK,CACN,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,MAAyB;IACrC,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,KAA4B;IAE5B,MAAM,IAAI,GACR,KAAK,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACtE,OAAO;QACL,wBAAwB,KAAK,CAAC,MAAM,UAAU,KAAK,CAAC,KAAK,EAAE;QAC3D,uBAAuB,KAAK,CAAC,sBAAsB,IAAI,GAAG,SAAS,IAAI,gBAAgB,KAAK,CAAC,gBAAgB,IAAI,GAAG,EAAE;QACtH,+BAA+B,KAAK,CAAC,WAAW,oBAAoB,KAAK,CAAC,cAAc,gBAAgB,KAAK,CAAC,cAAc,kBAAkB,KAAK,CAAC,gBAAgB,EAAE;QACtK,gCAAgC,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,gBAAgB,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,EAAE;QAClH,2BAA2B,KAAK,CAAC,cAAc,EAAE;QACjD,yBAAyB,KAAK,CAAC,YAAY,cAAc,KAAK,CAAC,eAAe,eAAe,KAAK,CAAC,oBAAoB,IAAI,GAAG,EAAE;QAChI,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}
1
+ {"version":3,"file":"advance-history.js","sourceRoot":"","sources":["../../src/application/advance-history.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,6BAA6B,GAI9B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,0BAA0B,EAC1B,+BAA+B,GAGhC,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,wBAAwB,EACxB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,gBAAgB,EAChB,uBAAuB,EACvB,eAAe,GAEhB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,2BAA2B,GAC5B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,8BAA8B,GAC/B,MAAM,iCAAiC,CAAC;AAMzC,MAAM,CAAC,MAAM,6BAA6B,GACxC,2BAAoC,CAAC;AAuEvC,SAAS,UAAU,CAAC,IAAmB;IAIrC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,KAAK,IAAI,CAAC,CAAC;QAChE,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,UAAU,CACjB,IAAY,EACZ,MAAsD,EACtD,SAAS,GAA6B,8BAA8B;IAEpE,IACE,MAAM,CAAC,WAAW,KAAK,IAAI;QAC3B,MAAM,CAAC,aAAa,KAAK,IAAI;QAC7B,MAAM,CAAC,OAAO,KAAK,IAAI,EACvB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CACb,8DAA8D,CAC/D,CAAC;IACJ,CAAC;IACD,OAAO,+BAA+B,CACpC,IAAI,EACJ,OAAO,CAAC,QAAQ,EAChB,MAAM,CAAC,OAAO,CACf,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,IAAY,EACZ,cAAsB;IAEtB,MAAM,OAAO,GAAG,8BAA8B,CAC5C,IAAI,EACJ,2BAA2B,EAC3B,EAAE,cAAc,EAAE,CACnB,CAAC;IACF,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;KACnD,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,OAA8C;IAE9C,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAC7D,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CACZ,MAAsD,EACtD,OAA8C,EAC9C,OAAyC,EACzC,MAAiC,EACjC,KAA+B,EAC/B,oBAAoB,GAAsB,EAAE,EAC5C,QAAQ,GAAyC,IAAI;IAErD,IAAI,MAAM,CAAC,WAAW,KAAK,IAAI,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,YAAY,EAAE,CAAC;QACf,MAAM;QACN,KAAK;QACL,oBAAoB,EAAE,QAAQ,EAAE,oBAAoB,IAAI,IAAI;QAC5D,sBAAsB,EAAE,QAAQ,EAAE,sBAAsB,IAAI,IAAI;QAChE,YAAY,EAAE,QAAQ,EAAE,YAAY,IAAI,IAAI;QAC5C,YAAY,EAAE,MAAM,CAAC,cAAc;QACnC,eAAe,EAAE,MAAM,CAAC,aAAa;QACrC,gBAAgB,EACd,QAAQ,EAAE,gBAAgB,IAAI,OAAO,CAAC,gBAAgB;QACxD,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,UAAU;QAC3C,cAAc,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7D,cAAc,EAAE,MAAM,CAAC,KAAK;QAC5B,gBAAgB,EAAE,MAAM,CAAC,OAAO;QAChC,oBAAoB,EAAE,eAAe,CAAC,OAAO,CAAC;QAC9C,oBAAoB,EAAE,MAAM,CAAC,MAAM,CACjC,CAAC,GAAG,oBAAoB,CAAC,CAAC,IAAI,EAAE,CACjC;QACD,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,KAAK;KAChD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CACtB,MAAsD,EACtD,YAA0C,EAC1C,WAAW,GAA0B,MAAM,CAAC,WAAW,EACvD,oBAAoB,GAAG,MAAM,CAAC,oBAAoB,EAClD,EAAE,GAAG,MAAM,CAAC,EAAE;IAEd,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,MAAM;QACT,aAAa,EAAE,6BAA6B;QAC5C,EAAE;QACF,WAAW;QACX,oBAAoB;QACpB,YAAY;KACb,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CACxB,IAA6C,EAC7C,QAA6B,EAC7B,OAAe,EACf,IAAuC;IAEvC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI;QACJ,QAAQ;QACR,OAAO;QACP,SAAS,EAAE,SAAS;QACpB,IAAI;KACL,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAuB,EACvB,UAAsB,EACtB,OAAe,EACf,EAAW;IAEX,MAAM,OAAO,GAAG,gBAAgB,CAC9B,eAAe,CAAC,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,EACpD,OAAO,CACR,CAAC;IACF,OAAO,eAAe,CACpB,MAAM,EACN,MAAM,CAAC,YAAY,EACnB,OAAO,CAAC,WAAW,EACnB,MAAM,CAAC,oBAAoB,IAAI,OAAO,CAAC,SAAS,EAChD,EAAE,CACH,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,KAA6C;IAE7C,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,eAAe,CAAC;QACrB,KAAK,SAAS,CAAC;QACf,KAAK,kBAAkB,CAAC;QACxB,KAAK,gBAAgB,CAAC;QACtB,KAAK,gBAAgB,CAAC;QACtB,KAAK,iBAAiB,CAAC;QACvB,KAAK,sBAAsB,CAAC;QAC5B,KAAK,wBAAwB;YAC3B,OAAO,KAAK,CAAC;QACf,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc,CAAC;QACpB,KAAK,eAAe,CAAC;QACrB,KAAK,IAAI;YACP,OAAO,sBAAsB,CAAC;IAClC,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,KAAoC;IAEpC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CACpB,MAAsD,EACtD,OAA8C,EAC9C,OAAyC,EACzC,KAA+B,EAC/B,oBAAuC,EACvC,QAA8C;IAE9C,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,IAAI,KAAK,CAAC;IAC/C,MAAM,SAAS,GAAG,eAAe,CAC/B,MAAM,EACN,KAAK,CACH,MAAM,EACN,OAAO,EACP,OAAO,EACP,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,EAC7B,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,EACnC,oBAAoB,EACpB,QAAQ,CACT,CACF,CAAC;IACF,MAAM,UAAU,GAAG,MAAM;QACvB,CAAC,CAAC,iBAAiB,CACf,WAAW,EACX,SAAS,EACT,4CAA4C,EAC5C,MAAM,CAAC,MAAM,CAAC;YACZ,KAAK;YACL,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;gBACxB,GAAG,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;oBACjC,CAAC,CAAC,oBAAoB;oBACtB,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;aAC9B,CAAC;SACH,CAAC,CACH;QACH,CAAC,CAAC,iBAAiB,CACf,WAAW,EACX,OAAO,EACP,kCAAkC,EAClC,MAAM,CAAC,MAAM,CAAC;YACZ,KAAK;YACL,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;gBACxB,GAAG,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;oBACjC,CAAC,CAAC,oBAAoB;oBACtB,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;aAC9B,CAAC;SACH,CAAC,CACH,CAAC;IACN,OAAO,gBAAgB,CACrB,SAAS,EACT,UAAU,EACV,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC,EAC/C,MAAM,IAAI,MAAM,CAAC,EAAE,CACpB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,IAAY,EACZ,MAAoC;IAEpC,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACzC,OAAO,eAAe,CACpB,MAAM,EACN,OAAO,KAAK,IAAI;QACd,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,KAAK,CACH,MAAM,EACN,OAAO,EACP;YACE,IAAI,EAAE,SAAS;YACf,WAAW;YACX,gBAAgB,EAAE,IAAI;SACvB,EACD,gBAAgB,EAChB,SAAS,CACV,CACN,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,IAAY,EACZ,MAAsD,EACtD,OAAyC;IAEzC,IAAI,mBAAmB,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,MAAM,CAAC,cAAc,EAAE,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,iBAAiB,IAAI,8BAA8B,CAAC;IAC9E,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IACpD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC;YACrC,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;IACL,CAAC;IACD,MAAM,aAAa,GAAG,CACpB,KAQC,EACuB,EAAE,CAC1B,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,eAAe,CACrB,MAAM,EACN,KAAK,CACH,MAAM,EACN,OAAO,EACP,OAAO,EACP,gBAAgB,EAChB,KAAK,CACN,CACF;QACD,QAAQ,EAAE,IAAI;KACf,CAAC,CAAC;IACL,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,aAAa,CAAC,SAAS,CAAC,CAAC;IAChE,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,aAAa,CAAC,iBAAiB,CAAC,CAAC;IACpE,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO,aAAa,CAAC,WAAW,CAAC,CAAC;IACvD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,aAAa,CAAC,wBAAwB,CAAC,CAAC;IACzE,IACE,MAAM,CAAC,UAAU,KAAK,IAAI;QAC1B,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,EAClC,CAAC;QACD,OAAO,aAAa,CAAC,kBAAkB,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,OAAO,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;QACnC,OAAO,aAAa,CAAC,gBAAgB,CAAC,CAAC;IACzC,CAAC;IACD,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,6BAA6B,CAClD;QACE,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,oBAAoB,EAAE,MAAM,CAAC,cAAc;KAC5C,EACD,OAAO,CAAC,oBAAoB,CAC7B,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,aAAa,CACnB,MAAM,EACN,OAAO,EACP,OAAO,EACP,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,EAC7B,EAAE,EACF,QAAQ,CACT;YACD,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IACD,IACE,QAAQ,CAAC,aAAa,KAAK,IAAI;QAC/B,QAAQ,CAAC,UAAU,KAAK,IAAI;QAC5B,QAAQ,CAAC,WAAW,KAAK,IAAI;QAC7B,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,MAAM,CACzC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CACjC,EACD,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,aAAa,CACnB,MAAM,EACN,OAAO,EACP,OAAO,EACP,kBAAkB,EAClB,EAAE,EACF,QAAQ,CACT;YACD,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IAED,IAAI,OAAO,CAAC;IACZ,IAAI,IAAI,CAAC;IACT,IAAI,CAAC;QACH,OAAO,GAAG,wBAAwB,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;QAC3D,IAAI,GAAG,wBAAwB,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACvD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,aAAa,CACnB,MAAM,EACN,OAAO,EACP,OAAO,EACP,kBAAkB,EAClB,EAAE,EACF,QAAQ,CACT;YACD,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IACD,MAAM,cAAc,GAAG,SAAS,CAC9B,OAAO,CAAC,IAAI,EACZ,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC,CAChD,CAAC;IACF,MAAM,WAAW,GAAG,SAAS,CAC3B,IAAI,CAAC,IAAI,EACT,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC,CAChD,CAAC;IACF,IACE,CAAC,cAAc,CAAC,EAAE;QAClB,CAAC,WAAW,CAAC,EAAE,EACf,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,aAAa,CACnB,MAAM,EACN,OAAO,EACP,OAAO,EACP,kBAAkB,EAClB,EAAE,EACF,QAAQ,CACT;YACD,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,0BAA0B,CAAC;QAC1C,WAAW,EAAE,OAAO,CAAC,IAAI;QACzB,eAAe,EAAE,cAAc,CAAC,QAAQ;QACxC,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,QAAQ,EAAE,IAAI,CAAC,IAAI;QACnB,YAAY,EAAE,WAAW,CAAC,QAAQ;QAClC,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,kBAAkB,EAAE,OAAO;KAC5B,CAAC,CAAC;IACH,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,EAAE,aAAa,CACnB,MAAM,EACN,OAAO,EACP,OAAO,EACP,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,EAC/B,QAAQ,CAAC,oBAAoB,EAC7B,QAAQ,CACT;YACD,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,eAAe,CACrB,MAAM,EACN,KAAK,CACH,MAAM,EACN,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kBAAkB,EAClB,EAAE,EACF,QAAQ,CACT,CACF;QACD,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,MAAuB,EACvB,OAAsC,EACtC,cAAuB;IAEvB,IAAI,OAAO,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC;IAC9B,OAAO,gBAAgB,CACrB,MAAM,EACN,iBAAiB,CACf,WAAW,EACX,OAAO,EACP,mDAAmD,EACnD,MAAM,CAAC,MAAM,CAAC;QACZ,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,SAAS,EAAE,OAAO,CAAC,SAAS;KAC7B,CAAC,CACH,EACD,uBAAuB,CAAC,cAAc,CAAC,EACvC,KAAK,CACN,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,MAAyB;IACrC,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,KAA4B;IAE5B,MAAM,IAAI,GACR,KAAK,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACtE,OAAO;QACL,wBAAwB,KAAK,CAAC,MAAM,UAAU,KAAK,CAAC,KAAK,EAAE;QAC3D,uBAAuB,KAAK,CAAC,sBAAsB,IAAI,GAAG,SAAS,IAAI,gBAAgB,KAAK,CAAC,gBAAgB,IAAI,GAAG,EAAE;QACtH,+BAA+B,KAAK,CAAC,WAAW,oBAAoB,KAAK,CAAC,cAAc,gBAAgB,KAAK,CAAC,cAAc,kBAAkB,KAAK,CAAC,gBAAgB,EAAE;QACtK,gCAAgC,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,gBAAgB,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,EAAE;QAClH,2BAA2B,KAAK,CAAC,cAAc,EAAE;QACjD,yBAAyB,KAAK,CAAC,YAAY,cAAc,KAAK,CAAC,eAAe,eAAe,KAAK,CAAC,oBAAoB,IAAI,GAAG,EAAE;QAChI,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}
@@ -0,0 +1,57 @@
1
+ import { type ProjectActualsSourceModel } from "../actuals/source.js";
2
+ import { type Diagnostic } from "../model/diagnostics.js";
3
+ import type { DocumentNode, TargetDeclarationKind } from "../model/syntax.js";
4
+ import { type AnalysisResult, type AnalyzeOptions } from "./analyze.js";
5
+ import type { CheckOptions, CheckSummary, TemporalInputs } from "./check.js";
6
+ import { type TargetActualsAnalysisResultV4, type TargetActualsNextResultV5 } from "./target-actuals-analysis.js";
7
+ import { type NextGroups, type NextOptions, type NextResultV3 } from "./next.js";
8
+ import type { PlanAssuranceProjectionV1, PlanAssuranceStartAuthorityV1, PlanAssuranceStateCountsV1 } from "../assurance/authority.js";
9
+ export declare const CHECK_RESULT_V4: "Perttool.CheckResult.v4";
10
+ export declare const ANALYSIS_RESULT_V5: "Perttool.AnalysisResult.v5";
11
+ export declare const NEXT_RESULT_V6: "Perttool.NextResult.v6";
12
+ export interface CheckResultV4 {
13
+ readonly schemaVersion: typeof CHECK_RESULT_V4;
14
+ readonly ok: boolean;
15
+ readonly document: DocumentNode<TargetDeclarationKind>;
16
+ readonly documentId: string | null;
17
+ readonly grammarVersion: number | null;
18
+ readonly diagnostics: readonly Diagnostic[];
19
+ readonly diagnosticsTruncated: boolean;
20
+ readonly summary: CheckSummary;
21
+ readonly temporalInputs: TemporalInputs | null;
22
+ readonly actualsInputs: ProjectActualsSourceModel | null;
23
+ readonly assurance: PlanAssuranceProjectionV1 | null;
24
+ readonly assuranceStateCounts: PlanAssuranceStateCountsV1;
25
+ }
26
+ export interface AnalysisResultV5 extends Omit<AnalysisResult, "precedence" | "resource"> {
27
+ readonly schemaVersion: typeof ANALYSIS_RESULT_V5;
28
+ readonly grammarVersion: number | null;
29
+ readonly taskActuals: TargetActualsAnalysisResultV4["taskActuals"];
30
+ readonly precedence: TargetActualsAnalysisResultV4["precedence"];
31
+ readonly resource: TargetActualsAnalysisResultV4["resource"];
32
+ readonly temporal: TargetActualsAnalysisResultV4["temporal"];
33
+ readonly assurance: PlanAssuranceProjectionV1 | null;
34
+ }
35
+ type Contract7TemporalAuthority = Omit<TargetActualsNextResultV5["temporal"]["authority"], "policy" | "recommendationAlgorithm" | "startableRecommendedTaskIds"> & PlanAssuranceStartAuthorityV1;
36
+ export interface NextResultV6 extends Omit<TargetActualsNextResultV5, "schemaVersion" | "temporal"> {
37
+ readonly schemaVersion: typeof NEXT_RESULT_V6;
38
+ readonly assurance: PlanAssuranceProjectionV1 | null;
39
+ readonly temporal: Omit<TargetActualsNextResultV5["temporal"], "authority"> & {
40
+ readonly authority: Contract7TemporalAuthority;
41
+ };
42
+ }
43
+ export interface NextResultV6Failure extends Omit<NextResultV3, "groups"> {
44
+ readonly schemaVersion: typeof NEXT_RESULT_V6;
45
+ readonly grammarVersion: number | null;
46
+ readonly temporal: null;
47
+ readonly groups: NextGroups & {
48
+ readonly suspended: readonly string[];
49
+ };
50
+ readonly assurance: null;
51
+ }
52
+ export type Contract7NextResultV6 = NextResultV6 | NextResultV6Failure;
53
+ export declare function checkDocument(text: string, options?: CheckOptions): CheckResultV4;
54
+ export declare function analyzeDocument(text: string, options?: AnalyzeOptions): AnalysisResultV5;
55
+ export declare function selectNextTasks(text: string, options?: AnalyzeOptions & NextOptions): Contract7NextResultV6;
56
+ export {};
57
+ //# sourceMappingURL=contract7-assurance.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"contract7-assurance.d.ts","sourceRoot":"","sources":["../../src/application/contract7-assurance.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,yBAAyB,EAC/B,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAML,KAAK,UAAU,EAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAa9E,OAAO,EAEL,KAAK,cAAc,EACnB,KAAK,cAAc,EACpB,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EACV,YAAY,EACZ,YAAY,EAGZ,cAAc,EACf,MAAM,YAAY,CAAC;AACpB,OAAO,EAGL,KAAK,6BAA6B,EAClC,KAAK,yBAAyB,EAC/B,MAAM,8BAA8B,CAAC;AAKtC,OAAO,EAEL,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,YAAY,EAClB,MAAM,WAAW,CAAC;AACnB,OAAO,KAAK,EACV,yBAAyB,EACzB,6BAA6B,EAC7B,0BAA0B,EAC3B,MAAM,2BAA2B,CAAC;AAEnC,eAAO,MAAM,eAAe,EAAG,yBAAkC,CAAC;AAClE,eAAO,MAAM,kBAAkB,EAAG,4BAAqC,CAAC;AACxE,eAAO,MAAM,cAAc,EAAG,wBAAiC,CAAC;AAEhE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,aAAa,EAAE,OAAO,eAAe,CAAC;IAC/C,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC,qBAAqB,CAAC,CAAC;IACvD,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,cAAc,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,aAAa,EAAE,yBAAyB,GAAG,IAAI,CAAC;IACzD,QAAQ,CAAC,SAAS,EAAE,yBAAyB,GAAG,IAAI,CAAC;IACrD,QAAQ,CAAC,oBAAoB,EAAE,0BAA0B,CAAC;CAC3D;AAED,MAAM,WAAW,gBACf,SAAQ,IAAI,CAAC,cAAc,EAAE,YAAY,GAAG,UAAU,CAAC;IACvD,QAAQ,CAAC,aAAa,EAAE,OAAO,kBAAkB,CAAC;IAClD,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,6BAA6B,CAAC,aAAa,CAAC,CAAC;IACnE,QAAQ,CAAC,UAAU,EAAE,6BAA6B,CAAC,YAAY,CAAC,CAAC;IACjE,QAAQ,CAAC,QAAQ,EAAE,6BAA6B,CAAC,UAAU,CAAC,CAAC;IAC7D,QAAQ,CAAC,QAAQ,EAAE,6BAA6B,CAAC,UAAU,CAAC,CAAC;IAC7D,QAAQ,CAAC,SAAS,EAAE,yBAAyB,GAAG,IAAI,CAAC;CACtD;AAED,KAAK,0BAA0B,GAAG,IAAI,CACpC,yBAAyB,CAAC,UAAU,CAAC,CAAC,WAAW,CAAC,EAClD,QAAQ,GAAG,yBAAyB,GAAG,6BAA6B,CACrE,GAAG,6BAA6B,CAAC;AAElC,MAAM,WAAW,YACf,SAAQ,IAAI,CAAC,yBAAyB,EAAE,eAAe,GAAG,UAAU,CAAC;IACrE,QAAQ,CAAC,aAAa,EAAE,OAAO,cAAc,CAAC;IAC9C,QAAQ,CAAC,SAAS,EAAE,yBAAyB,GAAG,IAAI,CAAC;IACrD,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,yBAAyB,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,GAAG;QAC5E,QAAQ,CAAC,SAAS,EAAE,0BAA0B,CAAC;KAChD,CAAC;CACH;AAED,MAAM,WAAW,mBACf,SAAQ,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC;IACpC,QAAQ,CAAC,aAAa,EAAE,OAAO,cAAc,CAAC;IAC9C,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG;QAAE,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC;IACxE,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;CAC1B;AAED,MAAM,MAAM,qBAAqB,GAAG,YAAY,GAAG,mBAAmB,CAAC;AAiFvE,wBAAgB,aAAa,CAC3B,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,YAAiB,GACzB,aAAa,CAgEf;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,cAAmB,GAC3B,gBAAgB,CAoClB;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,cAAc,GAAG,WAAgB,GACzC,qBAAqB,CAqFvB"}