perttool 0.9.3 → 0.10.0

package/CHANGELOG.md

@@ -4,6 +4,54 @@ This project records its notable changes here. The format is based on [Keep a Ch
 
 ## [Unreleased]
 
+## [0.10.0] - 2026-08-18
+
+Breaking Grammar 8 and CLI Contract 9 beta minor. This version publishes
+calendar-aware temporal scheduling across the public CLI and package surfaces.
+
+### Added
+
+- Added reusable weekly calendars, capacity exceptions, generic resource
+  availability, event-bound task constraints, pinned zone-data validation,
+  and source-preserving maintenance commands.
+- Added forward and backward-required calendar schedules, signed slack,
+  infeasibility evidence, and current and forecast POSTDUE projections.
+- Added three calendar command paths and the `temporal-schedule` Guide topic.
+
+### Changed
+
+- Activated Grammar 8 and CLI Contract 9 with
+  `Perttool.ProjectResult.v5`, `Perttool.CheckResult.v6`,
+  `Perttool.AnalysisResult.v7`, `Perttool.NextResult.v8`,
+  `Perttool.MutationResult.v6`, `Perttool.PlanAssuranceResult.v2`, and
+  `Perttool.UnitMigrationResult.v4`.
+- Retained 23 active command-result root schemas by replacing seven Contract 8
+  roots, retained 129 root and Node exports and 45 Core exports, and kept
+  `Perttool.AdvanceResult.v3` unchanged.
+- Added source-preserving Grammar 7 to Grammar 8 migration while retaining
+  Grammar 1 through 7 reads and existing authorization and persistence guards.
+
+## [0.9.4] - 2026-08-14
+
+Backward-compatible Grammar 7 and CLI Contract 8 emergency beta patch. This
+version corrects acceptance-record retention and final candidate validation
+for GitHub Issue #19 and adds pinned repository duplicate and complexity
+ratchets.
+
+### Fixed
+
+- Made `dag advance` preserve criterion sets and receipts for every milestone
+  retained in the residual graph, including unchanged successor, branch, and
+  project-finish milestones.
+- Made the complete composed Contract 8 advance candidate pass document
+  validation before history and persistence decisions, with deterministic
+  candidate and operation diagnostics.
+
+### Development
+
+- Added pinned jscpd 5.0.15 duplication and Lizard 1.23.0 complexity gates to
+  the local `check:static` workflow and Node.js 22/24 CI.
+
 ## [0.9.3] - 2026-08-14
 
 Backward-compatible Grammar 7 and CLI Contract 8 emergency beta patch. This
@@ -495,7 +543,9 @@ First public development preview. Intended to evaluate the DSL and CLI, read-onl
 - Not published to the npm registry; use the GitHub Release asset
 - Requires Node.js 24 or later
 
-[Unreleased]: https://github.com/mako10k/perttool/compare/v0.9.3...HEAD
+[Unreleased]: https://github.com/mako10k/perttool/compare/v0.10.0...HEAD
+[0.10.0]: https://github.com/mako10k/perttool/compare/v0.9.4...v0.10.0
+[0.9.4]: https://github.com/mako10k/perttool/compare/v0.9.3...v0.9.4
 [0.9.3]: https://github.com/mako10k/perttool/compare/v0.9.2...v0.9.3
 [0.9.2]: https://github.com/mako10k/perttool/compare/v0.9.1...v0.9.2
 [0.9.1]: https://github.com/mako10k/perttool/compare/v0.9.0...v0.9.1

package/README.md

@@ -75,32 +75,52 @@ commands, 23 root schemas, 129 root and Node runtime exports,
 criterion-set replacement, caller-asserted receipts, and acceptance-aware
 canonical advance. Its accepted release commit, annotated tag, GitHub
 prerelease, and npm artifact agree, and npm currently reports
-`latest=0.9.0`, `beta=0.9.1`, and no `alpha`. Version `0.8.1` remains the
+`latest=0.9.0`, `beta=0.9.4`, and no `alpha`. Source is prepared for the
+unpublished `0.10.0` Grammar 8 and CLI Contract 9 beta candidate. Version `0.8.1` remains the
 exact Grammar 6 and CLI Contract 7 rollback pin.
 
-Version `0.9.1` is the published compatible Contract 8 patch for `ACT-003` and
-GitHub Issue #8. It makes declared velocity observation use the exact current
-operand, including a just-written uncommitted finish, while keeping
-Git-recorded evidence bound to the selected first-parent revision. It retains
-all 53 commands, 23 root schemas, 129 root and Node exports, 45 Core exports,
-result and schema identities, and authority. npm `beta=0.9.1` while `latest`
-remains `0.9.0`.
-
-Version `0.9.2` is the selected compatible Contract 8 emergency patch for
-`ANALYSIS-001` and GitHub Issue #15. It keeps valid Point plans without a
+Version `0.9.1` is the durably accepted compatible Contract 8 patch for
+`ACT-003` and GitHub Issue #8. It makes declared velocity observation use the
+exact current operand, including a just-written uncommitted finish, while
+keeping Git-recorded evidence bound to the selected first-parent revision. It
+retains all 53 commands, 23 root schemas, 129 root and Node exports, 45 Core
+exports, result and schema identities, and authority. Release commit, peeled
+tag, GitHub prerelease, npm artifact, and installed regression agree; Issue #8
+is closed.
+
+Version `0.9.2` is the durably accepted compatible Contract 8 emergency patch
+for `ANALYSIS-001` and GitHub Issue #15. It keeps valid Point plans without a
 declared velocity Point-valued through `dag analyze` and `dag next`, leaves
 velocity forecasts null, and reports calendar conversion as unavailable
-without inventing a rate. It retains all public identities and authority.
-Publication moves only npm `beta`; `latest`, plan advance, public VSIX
-publication, and unrelated work remain separate.
+without inventing a rate. It retains all public identities and authority;
+Issue #15 is closed, and `0.9.2` remains the exact rollback pin for `0.9.3`.
 
-Version `0.9.3` is the selected compatible Contract 8 emergency patch for
+Version `0.9.3` is the published compatible Contract 8 emergency patch for
 GitHub Issues #14, #16, and #17. It restores Grammar 7 `plan-assurance
 show|hash`, composes acceptance-aware terminal deletions without weakening the
 shared edit guard, and preserves complete criterion-set/receipt evidence for
 retained reached milestones. It retains all public identities and authority.
-Publication moves only npm `beta`; `latest`, plan advance, public VSIX
-publication, and unrelated work remain separate.
+The accepted release commit, annotated tag, GitHub prerelease, and npm
+artifact agree; at its publication npm reported `beta=0.9.3`,
+`latest=0.9.0`, and no `alpha`.
+Issues #14, #16, and #17 are closed with release evidence. Plan advance,
+public VSIX publication, and unrelated work remain separate.
+
+Version `0.9.4` is the compatible Contract 8 emergency patch for GitHub Issue
+#19. It is published and preserves criterion sets and receipts for every milestone retained by
+`dag advance`, validates the complete final candidate before history or
+persistence decisions, and projects deterministic candidate diagnostics. It
+also makes pinned jscpd duplicate and Lizard complexity ratchets part of the
+repository and CI static-analysis gate. Grammar 7, CLI Contract 8, all 53
+commands, 23 root schemas, 129 root and Node exports, 45 Core exports, public
+authority, and force semantics remain unchanged. Its release commit, peeled
+tag, Node.js 22 and 24 CI, GitHub prerelease, npm artifact, and common
+SHA-256 `63a12ddf...d6fe53b` agree. npm reports `beta=0.9.4`,
+`latest=0.9.0`, and no `alpha`; Issue #19 is closed with release evidence.
+The completed release plan was migrated with committed provenance, given six
+artifact-bound criteria and receipts, and canonically advanced. Its residual
+retains only accepted reached `RELEASE_094_ACCEPTED` and has no diagnostic or
+task. Version `0.9.3` is the exact rollback pin.
 
 The private adapters now project that same Contract 8 acceptance model without
 adding write authority. The LSP negotiates a separate version-bound milestone
@@ -121,19 +141,19 @@ After beta publication, use `npx` for an occasional Contract 8 invocation and
 select the version explicitly:
 
 ```sh
-npx --yes --package=perttool@0.9.3 -- perttool --version
-npx --yes --package=perttool@0.9.3 -- perttool document check PLAN.pert
-npx --yes --package=perttool@0.9.3 -- perttool dag next PLAN.pert --format json
-npx --yes --package=perttool@0.9.3 -- perttool plan-assurance show PLAN.pert --format json
+npx --yes --package=perttool@0.9.4 -- perttool --version
+npx --yes --package=perttool@0.9.4 -- perttool document check PLAN.pert
+npx --yes --package=perttool@0.9.4 -- perttool dag next PLAN.pert --format json
+npx --yes --package=perttool@0.9.4 -- perttool plan-assurance show PLAN.pert --format json
 ```
 
 The equivalent explicit `npm exec` form is:
 
 ```sh
-npm exec --yes --package=perttool@0.9.3 -- perttool --version
-npm exec --yes --package=perttool@0.9.3 -- perttool document check PLAN.pert
-npm exec --yes --package=perttool@0.9.3 -- perttool dag analyze PLAN.pert
-npm exec --yes --package=perttool@0.9.3 -- perttool plan-assurance hash PLAN.pert WORK --kind contract
+npm exec --yes --package=perttool@0.9.4 -- perttool --version
+npm exec --yes --package=perttool@0.9.4 -- perttool document check PLAN.pert
+npm exec --yes --package=perttool@0.9.4 -- perttool dag analyze PLAN.pert
+npm exec --yes --package=perttool@0.9.4 -- perttool plan-assurance hash PLAN.pert WORK --kind contract
 ```
 
 `npx` and `npm exec` may download the selected package version into the npm
@@ -147,16 +167,16 @@ Install the Contract 8 CLI globally by exact version when it is used
 regularly:
 
 ```sh
-npm install --global perttool@0.9.3
+npm install --global perttool@0.9.4
 perttool --version
 ```
 
 The accepted `0.9.0` release was separately promoted to both public tags. The
-`0.9.3` publication changes only npm `beta`; until an independent promotion is
+`0.9.4` publication changes only npm `beta`; until an independent promotion is
 authorized, an unqualified global installation continues to select `0.9.0`.
-The exact `0.9.3` pin is the reproducible form for the Issues #14, #16, and #17
-corrections. Version `0.9.2` remains the rollback pin that includes the Issue
-#15 correction.
+The exact `0.9.4` pin is the reproducible form for the Issue #19 correction.
+Version `0.9.3` remains the rollback pin for the Issues #14, #16, and #17
+corrections.
 Contract 6 remains available by exact pinning `perttool@0.6.0`; the pre-schema
 Contract 6 artifact remains available as
 `perttool@0.5.0`. Contract 5,
@@ -610,7 +630,7 @@ the Core and Node subpaths without changing CLI Contract 7; see the
 [`0.7.1` to `0.8.0` migration](docs/process/0.7.1-to-0.8.0-migration.md).
 Version `0.8.1` retains those interfaces and corrects assurance-receipt
 placement in an advance-owned terminal deletion suffix. Versions `0.9.0`,
-`0.9.1`, `0.9.2`, and `0.9.3` use CLI Contract 8.
+`0.9.1`, `0.9.2`, `0.9.3`, and `0.9.4` use CLI Contract 8.
 A complete, known, non-truncated `Perttool.NextResult.v7` with policy
 `recommendation_v1_plus_release_gate_plus_plan_assurance_v1` is required for
 the current source. Start only task IDs in
@@ -650,8 +670,13 @@ diagnostics, and future or unavailable temporal eligibility must fail closed.
 - [`0.8.1` to `0.9.0` migration](docs/process/0.8.1-to-0.9.0-migration.md)
 - [`v0.9.0` release procedure](docs/process/0.9.0-release.md)
 - [`v0.9.1` release procedure](docs/process/0.9.1-release.md)
+- [`v0.9.1` durable release acceptance](docs/process/0.9.1-release-acceptance.md)
 - [`v0.9.2` release procedure](docs/process/0.9.2-release.md)
+- [`v0.9.2` durable release acceptance](docs/process/0.9.2-release-acceptance.md)
 - [`v0.9.3` release procedure](docs/process/0.9.3-release.md)
+- [`v0.9.3` publication record](docs/process/0.9.3-publish.md)
+- [`v0.9.3` durable release acceptance](docs/process/0.9.3-release-acceptance.md)
+- [`v0.9.4` release procedure](docs/process/0.9.4-release.md)
 - [Conditional Plan Assurance interface acceptance](docs/process/plan-assurance-interface-acceptance.md)
 - [Shared Library Boundary](docs/specs/shared-library.md)
 - [Editor Protocol Contract](docs/specs/editor-protocol.md)
@@ -678,6 +703,7 @@ diagnostics, and future or unavailable temporal eligibility must fail closed.
 - [`v0.9.1` release plan](plans/release-0.9.1.pert)
 - [`v0.9.2` release plan](plans/release-0.9.2.pert)
 - [`v0.9.3` release plan](plans/release-0.9.3.pert)
+- [`v0.9.4` release plan](plans/release-0.9.4.pert)
 - [JSON Schema Artifact Contract](docs/specs/json-schema.md)
 - [JSON Schema source acceptance](docs/process/json-schema-acceptance.md)
 - [Contract 5-to-6 migration](docs/process/cli-contract-6-migration.md)
@@ -698,3 +724,9 @@ diagnostics, and future or unavailable temporal eligibility must fail closed.
 Report vulnerabilities privately according to [SECURITY.md](SECURITY.md).
 perttool is released under the [MIT License](LICENSE). See
 [CHANGELOG.md](CHANGELOG.md) for release changes and known limitations.
+The current repository source identifies `0.10.0` and activates Grammar 8,
+CLI Contract 9, 56 commands, and the seven replacement result identities. It
+is preparation state only: no `v0.10.0` tag, GitHub Release, or npm package is
+claimed until candidate acceptance and separately authorized PUBLISH succeed.
+Migration guidance is in
+[`0.9.4-to-0.10.0-migration.md`](docs/process/0.9.4-to-0.10.0-migration.md).

package/dist/application/cli-facade.d.ts

@@ -1,11 +1,10 @@
 import type { CreateDocumentOptions, DocumentWriteResult, ReplaceDocumentOptions } from "../io/safe-write.js";
 import type { TargetGrammar6Capability } from "../parser/document-parser.js";
 import type { NodeHostPorts } from "../ports/node-host.js";
-import { analyzeDocument, checkDocument, getProjectMetadata, planAssuranceMutation, planBatchMutation, planFinishActuals, planFormat, inspectPlanAssurance, planLifecycle, planMutation, planUnitMigration, selectNextTasks } from "./contract8-milestone-acceptance.js";
+import { analyzeDocument, checkDocument, getProjectMetadata, planFormat, inspectPlanAssurance, selectNextTasks, withUnitMigrationWrite } from "./contract9-runtime.js";
 import { planAdvance } from "./contract7-mutation.js";
 import { contract7ProjectResultToJson, renderContract7ProjectText } from "./contract7-project.js";
 import { contract7InspectionResultToJson, contract7MutationResultToJson, contract7SnakeJson } from "./contract7-projection.js";
-import { withUnitMigrationWrite } from "./contract7-unit-migration.js";
 import { contract6WorkEventToJson } from "./contract6-projection.js";
 import { getAgentHelp } from "./agent-help.js";
 import { renderAdvanceHistoryGuard, withAdvanceHistoryRace } from "./advance-history.js";
@@ -31,17 +30,43 @@ export declare function createCliApplicationFacade(host: NodeHostPorts, historic
     projectInitResultToJson: typeof projectInitResultToJson;
     renderProjectInitResult: typeof renderProjectInitResult;
     withProjectInitOutput: typeof withProjectInitOutput;
-    planUnitMigration: typeof planUnitMigration;
+    planUnitMigration: (text: string, request: import("../index.js").UnitMigrationRequest, options?: import("./target-unit-migration-candidate.js").TargetUnitMigrationCandidateOptions | undefined) => Omit<import("./target-unit-migration-result.js").TargetUnitMigrationResult, "schemaVersion" | "unitMigration"> & {
+        readonly schemaVersion: "Perttool.UnitMigrationResult.v4";
+        readonly unitMigration: {
+            readonly id: "perttool.unit-migration";
+            readonly version: 4;
+        };
+    };
     withUnitMigrationWrite: typeof withUnitMigrationWrite;
     getProjectMetadata: typeof getProjectMetadata;
     contract7ProjectResultToJson: typeof contract7ProjectResultToJson;
     renderContract7ProjectText: typeof renderContract7ProjectText;
     planAdvance: typeof planAdvance;
-    planAssuranceMutation: typeof planAssuranceMutation;
-    planBatchMutation: typeof planBatchMutation;
-    planFinishActuals: typeof planFinishActuals;
-    planLifecycle: typeof planLifecycle;
-    planMutation: typeof planMutation;
+    planAssuranceMutation: (text: string, mutation: import("../index.js").PlanAssuranceMutation, options?: import("../index.js").PlanAssuranceMutationOptions | undefined) => Omit<Omit<import("../assurance/mutation.js").TargetPlanAssuranceMutationResultV4, "schemaVersion"> & {
+        readonly schemaVersion: "Perttool.MutationResult.v5";
+    }, "schemaVersion"> & {
+        readonly schemaVersion: "Perttool.MutationResult.v6";
+    };
+    planBatchMutation: (text: string, mutation: import("../index.js").BatchMutation | import("../assurance/mutation.js").PlanAssuranceBatchMutation, options?: import("../index.js").PlanAssuranceMutationOptions | undefined) => Omit<Omit<import("../assurance/mutation.js").TargetPlanAssuranceMutationResultV4, "schemaVersion"> & {
+        readonly schemaVersion: "Perttool.MutationResult.v5";
+    }, "schemaVersion"> & {
+        readonly schemaVersion: "Perttool.MutationResult.v6";
+    };
+    planFinishActuals: (text: string, mutation: import("../index.js").FinishActualsMutation, options?: import("./contract7-mutation.js").Contract7LifecycleOptions | undefined) => Omit<Omit<import("./contract7-mutation.js").LifecycleResultV4, "schemaVersion"> & {
+        readonly schemaVersion: "Perttool.MutationResult.v5";
+    }, "schemaVersion"> & {
+        readonly schemaVersion: "Perttool.MutationResult.v6";
+    };
+    planLifecycle: (text: string, mutation: import("../index.js").LifecycleMutation, options?: import("./contract7-mutation.js").Contract7LifecycleOptions | undefined) => Omit<Omit<import("./contract7-mutation.js").LifecycleResultV4, "schemaVersion"> & {
+        readonly schemaVersion: "Perttool.MutationResult.v5";
+    }, "schemaVersion"> & {
+        readonly schemaVersion: "Perttool.MutationResult.v6";
+    };
+    planMutation: (text: string, mutation: import("../index.js").Mutation, options?: import("../index.js").PlanAssuranceMutationOptions | undefined) => Omit<Omit<import("../assurance/mutation.js").TargetPlanAssuranceMutationResultV4, "schemaVersion"> & {
+        readonly schemaVersion: "Perttool.MutationResult.v5";
+    }, "schemaVersion"> & {
+        readonly schemaVersion: "Perttool.MutationResult.v6";
+    };
     renderTargetGovernanceDecision: typeof renderTargetGovernanceDecision;
     contract7InspectionResultToJson: typeof contract7InspectionResultToJson;
     contract7MutationResultToJson: typeof contract7MutationResultToJson;

package/dist/application/cli-facade.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli-facade.d.ts","sourceRoot":"","sources":["../../src/application/cli-facade.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,qBAAqB,EACrB,mBAAmB,EACnB,sBAAsB,EACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EACV,wBAAwB,EACzB,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAI3D,OAAO,EACL,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,qBAAqB,EACrB,iBAAiB,EACjB,iBAAiB,EACjB,UAAU,EACV,oBAAoB,EACpB,aAAa,EACb,YAAY,EACZ,iBAAiB,EACjB,eAAe,EAChB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,WAAW,EACZ,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,EAC3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,+BAA+B,EAC/B,6BAA6B,EAC7B,kBAAkB,EACnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,sBAAsB,EACvB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,wBAAwB,EACzB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,YAAY,EACb,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAEL,yBAAyB,EACzB,sBAAsB,EACvB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,eAAe,EACf,uBAAuB,EACvB,uBAAuB,EACvB,qBAAqB,EACtB,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,wCAAwC,EACxC,yCAAyC,EACzC,KAAK,wCAAwC,EAC7C,KAAK,6CAA6C,EACnD,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAEL,KAAK,qCAAqC,EAC1C,KAAK,iCAAiC,EACvC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,8BAA8B,EAC/B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,kCAAkC,EAElC,8BAA8B,EAC9B,gCAAgC,EAChC,KAAK,+BAA+B,EACrC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,4BAA4B,EAC5B,mCAAmC,EACnC,qCAAqC,EACtC,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAEL,+BAA+B,EAC/B,iCAAiC,EACjC,KAAK,gCAAgC,EACrC,KAAK,wBAAwB,EAC9B,MAAM,8BAA8B,CAAC;AAsBtC;;;;GAIG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,aAAa,EACnB,qBAAqB,CAAC,EAAE,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;qDAoChD,MAAM,UACJ,UAAU,CAAC,OAAO,wCAAwC,CAAC,CAAC,CAAC,CAAC,cAC1D,wBAAwB,WAC3B,wCAAwC;;;;+CAiBzC,iCAAiC,cAC7B,wBAAwB,WAC3B,qCAAqC;;;+CA/BrC,+BAA+B,cAC5B,wBAAwB;;;;;;gDAsC3B,wBAAwB;;;;sCAmDC,UAAU;;;;;gCAnHL,MAAM;;;;;;;;;;+CAGrC,MAAM,iBACC,MAAM,cACT,wBAAwB,YAC3B,qBAAqB,KAC7B,OAAO,CAAC,mBAAmB,CAAC;gDAOrB,MAAM,iBACC,MAAM,cACT,wBAAwB,WAC3B,sBAAsB,KAC9B,OAAO,CAAC,mBAAmB,CAAC;;GA6GhC;AAED,MAAM,MAAM,oBAAoB,GAAG,UAAU,CAC3C,OAAO,0BAA0B,CAClC,CAAC;AAEF,YAAY,EACV,6CAA6C,GAC9C,CAAC"}
+{"version":3,"file":"cli-facade.d.ts","sourceRoot":"","sources":["../../src/application/cli-facade.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,qBAAqB,EACrB,mBAAmB,EACnB,sBAAsB,EACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EACV,wBAAwB,EACzB,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAI3D,OAAO,EACL,eAAe,EACf,aAAa,EACb,kBAAkB,EAIlB,UAAU,EACV,oBAAoB,EAIpB,eAAe,EACf,sBAAsB,EACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,WAAW,EACZ,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,EAC3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,+BAA+B,EAC/B,6BAA6B,EAC7B,kBAAkB,EACnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,wBAAwB,EACzB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,YAAY,EACb,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAEL,yBAAyB,EACzB,sBAAsB,EACvB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,eAAe,EACf,uBAAuB,EACvB,uBAAuB,EACvB,qBAAqB,EACtB,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,wCAAwC,EACxC,yCAAyC,EACzC,KAAK,wCAAwC,EAC7C,KAAK,6CAA6C,EACnD,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAEL,KAAK,qCAAqC,EAC1C,KAAK,iCAAiC,EACvC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,8BAA8B,EAC/B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,kCAAkC,EAElC,8BAA8B,EAC9B,gCAAgC,EAChC,KAAK,+BAA+B,EACrC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,4BAA4B,EAC5B,mCAAmC,EACnC,qCAAqC,EACtC,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAEL,+BAA+B,EAC/B,iCAAiC,EACjC,KAAK,gCAAgC,EACrC,KAAK,wBAAwB,EAC9B,MAAM,8BAA8B,CAAC;AAsBtC;;;;GAIG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,aAAa,EACnB,qBAAqB,CAAC,EAAE,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;qDAoChD,MAAM,UACJ,UAAU,CAAC,OAAO,wCAAwC,CAAC,CAAC,CAAC,CAAC,cAC1D,wBAAwB,WAC3B,wCAAwC;;;;+CAiBzC,iCAAiC,cAC7B,wBAAwB,WAC3B,qCAAqC;;;+CA/BrC,+BAA+B,cAC5B,wBAAwB;;;;;;gDAsC3B,wBAAwB;;;;sCAmDC,UAAU;;;;;gCAnHL,MAAM;;;;;;;;;;+CAGrC,MAAM,iBACC,MAAM,cACT,wBAAwB,YAC3B,qBAAqB,KAC7B,OAAO,CAAC,mBAAmB,CAAC;gDAOrB,MAAM,iBACC,MAAM,cACT,wBAAwB,WAC3B,sBAAsB,KAC9B,OAAO,CAAC,mBAAmB,CAAC;;GA6GhC;AAED,MAAM,MAAM,oBAAoB,GAAG,UAAU,CAC3C,OAAO,0BAA0B,CAClC,CAAC;AAEF,YAAY,EACV,6CAA6C,GAC9C,CAAC"}

package/dist/application/cli-facade.js

@@ -1,9 +1,8 @@
 import { validateTargetGrammar6Document, } from "../semantic/target-validator.js";
-import { analyzeDocument, checkDocument, getProjectMetadata, planAssuranceMutation, planBatchMutation, planFinishActuals, planFormat, inspectPlanAssurance, planLifecycle, planMutation, planUnitMigration, selectNextTasks, } from "./contract8-milestone-acceptance.js";
+import { analyzeDocument, checkDocument, getProjectMetadata, planAssuranceMutation, planBatchMutation, planFinishActuals, planFormat, inspectPlanAssurance, planLifecycle, planMutation, planUnitMigration, selectNextTasks, withUnitMigrationWrite, } from "./contract9-runtime.js";
 import { planAdvance, } from "./contract7-mutation.js";
 import { contract7ProjectResultToJson, renderContract7ProjectText, } from "./contract7-project.js";
 import { contract7InspectionResultToJson, contract7MutationResultToJson, contract7SnakeJson, } from "./contract7-projection.js";
-import { withUnitMigrationWrite, } from "./contract7-unit-migration.js";
 import { contract6WorkEventToJson, } from "./contract6-projection.js";
 import { getAgentHelp, } from "./agent-help.js";
 import { prepareAdvanceHistory as prepareGenericAdvanceHistory, renderAdvanceHistoryGuard, withAdvanceHistoryRace, } from "./advance-history.js";

package/dist/application/cli-facade.js.map

@@ -1 +1 @@
-{"version":3,"file":"cli-facade.js","sourceRoot":"","sources":["../../src/application/cli-facade.ts"],"names":[],"mappings":"AASA,OAAO,EACL,8BAA8B,GAC/B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,qBAAqB,EACrB,iBAAiB,EACjB,iBAAiB,EACjB,UAAU,EACV,oBAAoB,EACpB,aAAa,EACb,YAAY,EACZ,iBAAiB,EACjB,eAAe,GAChB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,WAAW,GACZ,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,GAC3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,+BAA+B,EAC/B,6BAA6B,EAC7B,kBAAkB,GACnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,sBAAsB,GACvB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,wBAAwB,GACzB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,YAAY,GACb,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,qBAAqB,IAAI,4BAA4B,EACrD,yBAAyB,EACzB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,eAAe,EACf,uBAAuB,EACvB,uBAAuB,EACvB,qBAAqB,GACtB,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,wCAAwC,EACxC,yCAAyC,GAG1C,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,gCAAgC,GAGjC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,8BAA8B,GAC/B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,kCAAkC,EAClC,+BAA+B,EAC/B,8BAA8B,EAC9B,gCAAgC,GAEjC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,4BAA4B,EAC5B,mCAAmC,EACnC,qCAAqC,GACtC,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,gCAAgC,EAChC,+BAA+B,EAC/B,iCAAiC,GAGlC,MAAM,8BAA8B,CAAC;AAEtC,SAAS,iBAAiB,CAAC,UAAoC;IAC7D,OAAO,CAAC,IAAY,EAAE,EAAE;QACtB,MAAM,OAAO,GAAG,8BAA8B,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACjE,OAAO;YACL,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,WAAW,EAAE,OAAO,CAAC,WAAW;SACjC,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAmB,EAAE,KAAiB;IACjE,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3E,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,UAAU;QACjB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC;QAChC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC;KAC5C,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACxC,IAAmB,EACnB,qBAAwD;IAExD,MAAM,mBAAmB,GAAG,KAAK,EAAE,IAAY,EAAE,EAAE,CACjD,mBAAmB,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,MAAM,4BAA4B,GAAG,CACnC,MAAc,EACd,aAAqB,EACrB,UAAoC,EACpC,OAAO,GAA0B,EAAE,EACL,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,uBAAuB,CAC7E,MAAM,EACN,aAAa,EACb,iBAAiB,CAAC,UAAU,CAAC,EAC7B,OAAO,CACR,CAAC;IACF,MAAM,6BAA6B,GAAG,CACpC,MAAc,EACd,aAAqB,EACrB,UAAoC,EACpC,OAA+B,EACD,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,wBAAwB,CAC9E,MAAM,EACN,aAAa,EACb,OAAO,EACP,iBAAiB,CAAC,UAAU,CAAC,CAC9B,CAAC;IACF,MAAM,yBAAyB,GAAG,CAChC,OAAwC,EACxC,UAAoC,EACpC,EAAE,CAAC,+BAA+B,CAClC,OAAO,EACP,UAAU,EACV,EAAE,EACF,IAAI,CAAC,WAAW,CAAC,YAAY,CAC9B,CAAC;IACF,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,MAAsE,EACtE,UAAoC,EACpC,OAAiD,EACjD,EAAE,CAAC,wCAAwC,CAC3C,IAAI,EACJ,MAAM,EACN,UAAU,EACV;QACE,GAAG,OAAO;QACV,eAAe,EAAE,IAAI,CAAC,WAAW,CAAC,sBAAsB;KACzD,CACF,CAAC;IACF,MAAM,qBAAqB,GAAG,CAC5B,GAAG,IAAqD,EACxD,EAAE,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE;QAClD,GAAG,IAAI,CAAC,CAAC,CAAC;QACV,eAAe,EAAE,IAAI,CAAC,WAAW,CAAC,sBAAsB;KACzD,CAAC,CAAC;IACH,MAAM,0BAA0B,GAAG,CACjC,MAAyC,EACzC,UAAoC,EACpC,OAA8C,EAC9C,EAAE,CAAC,gCAAgC,CACnC,MAAM,EACN,UAAU,EACV,OAAO,EACP,IAAI,CAAC,eAAe,CACrB,CAAC;IACF,MAAM,0BAA0B,GAAG,CACjC,OAAiC,EACjC,EAAE;QACF,IAAI,qBAAqB,KAAK,SAAS,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,gCAAgC,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC;IAC1E,CAAC,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,gBAAgB,EAAE,IAAI,CAAC,YAAY;QACnC,eAAe;QACf,aAAa;QACb,eAAe;QACf,UAAU;QACV,eAAe;QACf,uBAAuB;QACvB,uBAAuB;QACvB,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;QACtB,kBAAkB;QAClB,4BAA4B;QAC5B,0BAA0B;QAC1B,WAAW;QACX,qBAAqB;QACrB,iBAAiB;QACjB,iBAAiB;QACjB,aAAa;QACb,YAAY;QACZ,8BAA8B;QAC9B,+BAA+B;QAC/B,6BAA6B;QAC7B,kBAAkB;QAClB,wBAAwB;QACxB,yBAAyB;QACzB,wCAAwC,EAAE,qBAAqB;QAC/D,qBAAqB,EAAE,qBAAqB;QAC5C,sBAAsB;QACtB,yCAAyC;QACzC,gCAAgC,EAAE,0BAA0B;QAC5D,0BAA0B,EAAE,oBAAoB;QAChD,kCAAkC;QAClC,+BAA+B,EAAE,yBAAyB;QAC1D,8BAA8B;QAC9B,gCAAgC;QAChC,4BAA4B;QAC5B,mCAAmC;QACnC,qCAAqC;QACrC,gCAAgC,EAAE,0BAA0B;QAC5D,+BAA+B;QAC/B,iCAAiC;QACjC,YAAY;QACZ,wBAAwB,EAAE,CAAC,KAAiB,EAAE,EAAE,CAC9C,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC;QAClC,mBAAmB;QACnB,SAAS,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI;QAClC,6BAA6B,EAAE,IAAI,CAAC,WAAW,CAAC,sBAAsB;QACtE,6BAA6B,EAAE,IAAI,CAAC,WAAW,CAAC,sBAAsB;QACtE,kBAAkB,EAAE,IAAI,CAAC,eAAe,CAAC,cAAc;QACvD,2BAA2B,EAAE,IAAI,CAAC,eAAe,CAAC,uBAAuB;QACzE,gCAAgC,EAAE,4BAA4B;QAC9D,iCAAiC,EAAE,6BAA6B;QAChE,4BAA4B,EAAE,IAAI,CAAC,eAAe,CAAC,wBAAwB;KAC5E,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"cli-facade.js","sourceRoot":"","sources":["../../src/application/cli-facade.ts"],"names":[],"mappings":"AASA,OAAO,EACL,8BAA8B,GAC/B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,qBAAqB,EACrB,iBAAiB,EACjB,iBAAiB,EACjB,UAAU,EACV,oBAAoB,EACpB,aAAa,EACb,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,WAAW,GACZ,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,GAC3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,+BAA+B,EAC/B,6BAA6B,EAC7B,kBAAkB,GACnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,wBAAwB,GACzB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,YAAY,GACb,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,qBAAqB,IAAI,4BAA4B,EACrD,yBAAyB,EACzB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,eAAe,EACf,uBAAuB,EACvB,uBAAuB,EACvB,qBAAqB,GACtB,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,wCAAwC,EACxC,yCAAyC,GAG1C,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,gCAAgC,GAGjC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,8BAA8B,GAC/B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,kCAAkC,EAClC,+BAA+B,EAC/B,8BAA8B,EAC9B,gCAAgC,GAEjC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,4BAA4B,EAC5B,mCAAmC,EACnC,qCAAqC,GACtC,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,gCAAgC,EAChC,+BAA+B,EAC/B,iCAAiC,GAGlC,MAAM,8BAA8B,CAAC;AAEtC,SAAS,iBAAiB,CAAC,UAAoC;IAC7D,OAAO,CAAC,IAAY,EAAE,EAAE;QACtB,MAAM,OAAO,GAAG,8BAA8B,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACjE,OAAO;YACL,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,WAAW,EAAE,OAAO,CAAC,WAAW;SACjC,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAmB,EAAE,KAAiB;IACjE,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3E,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,UAAU;QACjB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC;QAChC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC;KAC5C,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACxC,IAAmB,EACnB,qBAAwD;IAExD,MAAM,mBAAmB,GAAG,KAAK,EAAE,IAAY,EAAE,EAAE,CACjD,mBAAmB,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,MAAM,4BAA4B,GAAG,CACnC,MAAc,EACd,aAAqB,EACrB,UAAoC,EACpC,OAAO,GAA0B,EAAE,EACL,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,uBAAuB,CAC7E,MAAM,EACN,aAAa,EACb,iBAAiB,CAAC,UAAU,CAAC,EAC7B,OAAO,CACR,CAAC;IACF,MAAM,6BAA6B,GAAG,CACpC,MAAc,EACd,aAAqB,EACrB,UAAoC,EACpC,OAA+B,EACD,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,wBAAwB,CAC9E,MAAM,EACN,aAAa,EACb,OAAO,EACP,iBAAiB,CAAC,UAAU,CAAC,CAC9B,CAAC;IACF,MAAM,yBAAyB,GAAG,CAChC,OAAwC,EACxC,UAAoC,EACpC,EAAE,CAAC,+BAA+B,CAClC,OAAO,EACP,UAAU,EACV,EAAE,EACF,IAAI,CAAC,WAAW,CAAC,YAAY,CAC9B,CAAC;IACF,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,MAAsE,EACtE,UAAoC,EACpC,OAAiD,EACjD,EAAE,CAAC,wCAAwC,CAC3C,IAAI,EACJ,MAAM,EACN,UAAU,EACV;QACE,GAAG,OAAO;QACV,eAAe,EAAE,IAAI,CAAC,WAAW,CAAC,sBAAsB;KACzD,CACF,CAAC;IACF,MAAM,qBAAqB,GAAG,CAC5B,GAAG,IAAqD,EACxD,EAAE,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE;QAClD,GAAG,IAAI,CAAC,CAAC,CAAC;QACV,eAAe,EAAE,IAAI,CAAC,WAAW,CAAC,sBAAsB;KACzD,CAAC,CAAC;IACH,MAAM,0BAA0B,GAAG,CACjC,MAAyC,EACzC,UAAoC,EACpC,OAA8C,EAC9C,EAAE,CAAC,gCAAgC,CACnC,MAAM,EACN,UAAU,EACV,OAAO,EACP,IAAI,CAAC,eAAe,CACrB,CAAC;IACF,MAAM,0BAA0B,GAAG,CACjC,OAAiC,EACjC,EAAE;QACF,IAAI,qBAAqB,KAAK,SAAS,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,gCAAgC,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC;IAC1E,CAAC,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,gBAAgB,EAAE,IAAI,CAAC,YAAY;QACnC,eAAe;QACf,aAAa;QACb,eAAe;QACf,UAAU;QACV,eAAe;QACf,uBAAuB;QACvB,uBAAuB;QACvB,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;QACtB,kBAAkB;QAClB,4BAA4B;QAC5B,0BAA0B;QAC1B,WAAW;QACX,qBAAqB;QACrB,iBAAiB;QACjB,iBAAiB;QACjB,aAAa;QACb,YAAY;QACZ,8BAA8B;QAC9B,+BAA+B;QAC/B,6BAA6B;QAC7B,kBAAkB;QAClB,wBAAwB;QACxB,yBAAyB;QACzB,wCAAwC,EAAE,qBAAqB;QAC/D,qBAAqB,EAAE,qBAAqB;QAC5C,sBAAsB;QACtB,yCAAyC;QACzC,gCAAgC,EAAE,0BAA0B;QAC5D,0BAA0B,EAAE,oBAAoB;QAChD,kCAAkC;QAClC,+BAA+B,EAAE,yBAAyB;QAC1D,8BAA8B;QAC9B,gCAAgC;QAChC,4BAA4B;QAC5B,mCAAmC;QACnC,qCAAqC;QACrC,gCAAgC,EAAE,0BAA0B;QAC5D,+BAA+B;QAC/B,iCAAiC;QACjC,YAAY;QACZ,wBAAwB,EAAE,CAAC,KAAiB,EAAE,EAAE,CAC9C,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC;QAClC,mBAAmB;QACnB,SAAS,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI;QAClC,6BAA6B,EAAE,IAAI,CAAC,WAAW,CAAC,sBAAsB;QACtE,6BAA6B,EAAE,IAAI,CAAC,WAAW,CAAC,sBAAsB;QACtE,kBAAkB,EAAE,IAAI,CAAC,eAAe,CAAC,cAAc;QACvD,2BAA2B,EAAE,IAAI,CAAC,eAAe,CAAC,uBAAuB;QACzE,gCAAgC,EAAE,4BAA4B;QAC9D,iCAAiC,EAAE,6BAA6B;QAChE,4BAA4B,EAAE,IAAI,CAAC,eAAe,CAAC,wBAAwB;KAC5E,CAAC,CAAC;AACL,CAAC"}

package/dist/application/contract9-assurance-mutation.d.ts

@@ -0,0 +1,35 @@
+import type { PlanAssuranceEvaluationV1 } from "../assurance/types.js";
+import type { Diagnostic } from "../model/diagnostics.js";
+import { type TextEdit } from "../mutation/text-edits.js";
+import { type PlanAssuranceGovernanceDecisionV2 } from "../assurance/governance.js";
+import type { GovernanceRequestInput } from "../governance/types.js";
+export type Contract9SealMutation = {
+    readonly kind: "plan_assurance.seal";
+    readonly reason: string;
+} | {
+    readonly kind: "plan_assurance.reseal";
+    readonly taskIds: readonly string[];
+    readonly reason: string;
+};
+export interface Contract9AssuranceMutationResultV6 {
+    readonly schemaVersion: "Perttool.MutationResult.v6";
+    readonly ok: boolean;
+    readonly documentId: string | null;
+    readonly changed: boolean;
+    readonly originalDigest: string;
+    readonly updatedDigest: string | null;
+    readonly updatedText: string | null;
+    readonly diff: string | null;
+    readonly edits: readonly TextEdit[];
+    readonly diagnostics: readonly Diagnostic[];
+    readonly diagnosticsTruncated: false;
+    readonly assuranceImpact: Readonly<{
+        before: PlanAssuranceEvaluationV1;
+        after: PlanAssuranceEvaluationV1;
+    }> | null;
+    readonly governance: PlanAssuranceGovernanceDecisionV2 | null;
+}
+export declare function planContract9AssuranceSealMutation(text: string, mutation: Contract9SealMutation, options?: Readonly<{
+    governance?: GovernanceRequestInput;
+}>): Contract9AssuranceMutationResultV6;
+//# sourceMappingURL=contract9-assurance-mutation.d.ts.map

package/dist/application/contract9-assurance-mutation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-assurance-mutation.d.ts","sourceRoot":"","sources":["../../src/application/contract9-assurance-mutation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,yBAAyB,EAA6B,MAAM,uBAAuB,CAAC;AAGlG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAsC,KAAK,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AAQ9F,OAAO,EAC+B,KAAK,iCAAiC,EAAE,MAAM,4BAA4B,CAAC;AACjH,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAErE,MAAM,MAAM,qBAAqB,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACjE;IAAE,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7G,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,aAAa,EAAE,4BAA4B,CAAC;IACrD,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,oBAAoB,EAAE,KAAK,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC;QAAE,MAAM,EAAE,yBAAyB,CAAC;QAAC,KAAK,EAAE,yBAAyB,CAAA;KAAE,CAAC,GAAG,IAAI,CAAC;IACnH,QAAQ,CAAC,UAAU,EAAE,iCAAiC,GAAG,IAAI,CAAC;CAC/D;AAyDD,wBAAgB,kCAAkC,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,qBAAqB,EAC9F,OAAO,GAAE,QAAQ,CAAC;IAAE,UAAU,CAAC,EAAE,sBAAsB,CAAA;CAAE,CAAM,GAAG,kCAAkC,CAwErG"}

package/dist/application/contract9-assurance-mutation.js

@@ -0,0 +1,146 @@
+import { createUnifiedDiff } from "../editing/unified-diff.js";
+import { sha256DigestUtf8 } from "../model/sha256.js";
+import { applyTextEdits, normalizeTextEdits } from "../mutation/text-edits.js";
+import { scanTemporalDeclarationBlocks, temporalScheduleBaseText } from "../temporal-schedule/source-lexical.js";
+import { parseTemporalScheduleSource, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY } from "../temporal-schedule/source.js";
+import { evaluateContract9PlanAssurance } from "./contract9-assurance.js";
+import { milestoneAcceptanceBaseText } from "../milestone-acceptance/source.js";
+import { validateTargetGrammar6Document } from "../semantic/target-validator.js";
+import { TARGET_GRAMMAR_6_CAPABILITY } from "../parser/document-parser.js";
+import { governanceMetadataFromDocument } from "../governance/source.js";
+import { evaluatePlanAssuranceGovernance, normalizePlanAssuranceGovernanceRequest, planAssuranceGovernanceDiagnostics } from "../assurance/governance.js";
+function ending(text) { return text.includes("\r\n") ? "\r\n" : "\n"; }
+function failure(text, documentId, code, message, entityId) {
+    return Object.freeze({ schemaVersion: "Perttool.MutationResult.v6", ok: false, documentId, changed: false,
+        originalDigest: sha256DigestUtf8(text), updatedDigest: null, updatedText: null, diff: null, edits: Object.freeze([]),
+        diagnostics: Object.freeze([Object.freeze({ code, severity: "error", message, ...(entityId === undefined ? {} : { entityId }) })]),
+        diagnosticsTruncated: false, assuranceImpact: null, governance: null });
+}
+function sealText(result, reason, lineEnding) {
+    if (result.contractHash === null || result.computedBasisHash === null || result.exportedAssuranceHash === null)
+        throw new Error(`task ${result.taskId} has no sealable model-2 basis`);
+    return [`plan_seal ${result.taskId}:`, `  accepted_contract ${result.contractHash}`, `  accepted_basis ${result.computedBasisHash}`,
+        ...(result.computedInputs.length === 0 ? [] : ["  accepted_inputs:", ...result.computedInputs.map((input) => `    ${input.predecessorTaskId} ${input.relationMode} ${input.assuranceHash}`)]),
+        `  reason ${JSON.stringify(reason)}`].join(lineEnding);
+}
+function enablementEdit(text, project) {
+    const before = project.lines.find(({ text: line }) => /^  (?:critical_epsilon|target_duration|time_zone|tzdb|calendar|workday) /u.test(line));
+    const offset = before?.start ?? project.lines.at(-1)?.end ?? project.header.end;
+    const eol = ending(text);
+    return Object.freeze({ startOffset: offset, endOffset: offset,
+        replacement: `  plan_assurance_model 1${eol}  plan_assurance_hash_model 2${eol}` });
+}
+function declarationInsertion(text, blocks, records) {
+    const later = blocks.find(({ header }) => /^(?:task_outcome|assurance_receipt|work_event) /u.test(header.text));
+    const offset = later?.header.start ?? text.length;
+    const eol = ending(text);
+    const prefix = offset > 0 && !text.slice(0, offset).endsWith(`${eol}${eol}`) ? eol : "";
+    return Object.freeze({ startOffset: offset, endOffset: offset, replacement: `${prefix}${records.join(`${eol}${eol}`)}${eol}${eol}` });
+}
+function sealRecordEdits(block, result, reason, text) {
+    if (result.contractHash === null || result.computedBasisHash === null)
+        throw new Error(`task ${result.taskId} has no resealable model-2 basis`);
+    const field = (name) => block.lines.find(({ text: line }) => line.startsWith(`  ${name} `));
+    const scalar = (line, replacement) => Object.freeze({ startOffset: line.start, endOffset: line.contentEnd, replacement });
+    const contract = field("accepted_contract");
+    const basis = field("accepted_basis");
+    const reasonLine = field("reason");
+    const edits = [scalar(contract, `  accepted_contract ${result.contractHash}`),
+        scalar(basis, `  accepted_basis ${result.computedBasisHash}`), scalar(reasonLine, `  reason ${JSON.stringify(reason)}`)];
+    const inputHeader = block.lines.find(({ text: line }) => line === "  accepted_inputs:");
+    const nested = inputHeader === undefined ? [] : block.lines.filter((line) => line.start > inputHeader.start && line.start < reasonLine.start && line.text.startsWith("    "));
+    const inputText = result.computedInputs.length === 0 ? "" : ["  accepted_inputs:", ...result.computedInputs.map((input) => `    ${input.predecessorTaskId} ${input.relationMode} ${input.assuranceHash}`)].join(ending(text)) + ending(text);
+    if (inputHeader === undefined && inputText !== "")
+        edits.push(Object.freeze({ startOffset: reasonLine.start, endOffset: reasonLine.start, replacement: inputText }));
+    if (inputHeader !== undefined)
+        edits.push(Object.freeze({ startOffset: inputHeader.start,
+            endOffset: nested.at(-1)?.end ?? inputHeader.end, replacement: inputText }));
+    return Object.freeze(edits);
+}
+export function planContract9AssuranceSealMutation(text, mutation, options = {}) {
+    const source = parseTemporalScheduleSource(text, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY);
+    if (!source.ok || source.model === null || source.grammarVersion !== 8)
+        return failure(text, source.documentId, "PTASSURE-301", "model-2 assurance mutation requires valid Grammar 8 source");
+    if (mutation.reason.length === 0)
+        return failure(text, source.documentId, "PTASSURE-301", "seal mutation requires a nonempty reason");
+    if (mutation.kind === "plan_assurance.reseal" &&
+        (mutation.taskIds.length === 0 || new Set(mutation.taskIds).size !== mutation.taskIds.length))
+        return failure(text, source.documentId, "PTASSURE-301", "reseal requires unique task IDs");
+    const blocks = scanTemporalDeclarationBlocks(text);
+    let preparedText = text;
+    const preEdits = [];
+    const before = evaluateContract9PlanAssurance(text);
+    if (before === null)
+        return failure(text, source.documentId, "PTASSURE-303", "model-2 assurance basis is unavailable");
+    if (before.modelVersion === null && before.hashModelVersion === null) {
+        const project = blocks.find(({ kind }) => kind === "project");
+        preEdits.push(enablementEdit(text, project));
+        preparedText = applyTextEdits(text, preEdits);
+    }
+    else if (before.modelVersion !== 1 || before.hashModelVersion !== 2) {
+        return failure(text, source.documentId, "PTASSURE-303", "Grammar 8 assurance mutation requires model 1 and hash model 2");
+    }
+    const evaluated = evaluateContract9PlanAssurance(preparedText);
+    if (evaluated === null || !evaluated.ok)
+        return failure(text, source.documentId, "PTASSURE-303", "model-2 assurance basis is unavailable");
+    const selectedIds = mutation.kind === "plan_assurance.seal"
+        ? evaluated.taskResults.filter(({ acceptedBasisHash }) => acceptedBasisHash === null).map(({ taskId }) => taskId)
+        : [...mutation.taskIds];
+    if (selectedIds.length === 0)
+        return failure(text, source.documentId, "PTASSURE-304", "seal mutation selects no task");
+    const byId = new Map(evaluated.taskResults.map((result) => [result.taskId, result]));
+    const preparedBlocks = scanTemporalDeclarationBlocks(preparedText);
+    const recordEdits = [];
+    const additions = [];
+    try {
+        for (const taskId of selectedIds) {
+            const result = byId.get(taskId);
+            if (result === undefined)
+                return failure(text, source.documentId, "PTASSURE-304", `task ${taskId} has no sealable current basis`, taskId);
+            const serialized = sealText(result, mutation.reason, ending(text));
+            const current = preparedBlocks.find(({ header, id }) => id === taskId && header.text.startsWith("plan_seal "));
+            if (mutation.kind === "plan_assurance.reseal" && current === undefined)
+                return failure(text, source.documentId, "PTASSURE-304", `task ${taskId} has no existing seal`, taskId);
+            if (current === undefined)
+                additions.push(serialized);
+            else
+                recordEdits.push(...sealRecordEdits(current, result, mutation.reason, preparedText));
+        }
+    }
+    catch (error) {
+        return failure(text, source.documentId, "PTASSURE-304", error instanceof Error ? error.message : "model-2 seal is unavailable");
+    }
+    if (additions.length > 0)
+        recordEdits.push(declarationInsertion(preparedText, preparedBlocks, additions));
+    const second = normalizeTextEdits(preparedText, recordEdits, "Contract 9 assurance seal mutation");
+    const candidate = applyTextEdits(preparedText, second);
+    const checked = parseTemporalScheduleSource(candidate, TEMPORAL_SCHEDULE_SOURCE_CAPABILITY);
+    const after = evaluateContract9PlanAssurance(candidate);
+    if (!checked.ok || checked.model === null || after === null || !after.ok)
+        return failure(text, source.documentId, "PTASSURE-304", "model-2 seal candidate failed complete Grammar 8 validation");
+    const edits = normalizeTextEdits(text, [...preEdits, ...second.map((edit) => preEdits.length === 0 ? edit : Object.freeze({
+            ...edit, startOffset: edit.startOffset - preEdits[0].replacement.length * Number(edit.startOffset > preEdits[0].startOffset),
+            endOffset: edit.endOffset - preEdits[0].replacement.length * Number(edit.endOffset > preEdits[0].startOffset),
+        }))], "Contract 9 complete assurance seal mutation");
+    const updatedText = applyTextEdits(text, edits);
+    if (updatedText !== candidate)
+        throw new Error("Contract 9 seal edit composition changed candidate bytes");
+    const base = milestoneAcceptanceBaseText(temporalScheduleBaseText(text, blocks));
+    const validated = validateTargetGrammar6Document(base, TARGET_GRAMMAR_6_CAPABILITY).validatedDocument;
+    if (validated === null)
+        throw new Error("validated Grammar 8 base lost governance metadata");
+    const metadata = governanceMetadataFromDocument(validated.document);
+    const normalized = normalizePlanAssuranceGovernanceRequest(options.governance);
+    if (!normalized.ok)
+        return failure(text, source.documentId, "PTGOV-101", "invalid governance request");
+    const governance = evaluatePlanAssuranceGovernance({ sourceDigest: sha256DigestUtf8(text),
+        goalOwner: metadata.effective.goalOwner, goalDelegates: metadata.effective.goalDelegates,
+        dagOwner: metadata.effective.dagOwner, dagDelegates: metadata.effective.dagDelegates }, ["plan_assurance"], normalized.request);
+    const governanceDiagnostics = planAssuranceGovernanceDiagnostics(governance);
+    return Object.freeze({ schemaVersion: "Perttool.MutationResult.v6", ok: !governanceDiagnostics.some(({ severity }) => severity === "error"), documentId: source.documentId, changed: true,
+        originalDigest: sha256DigestUtf8(text), updatedDigest: sha256DigestUtf8(candidate), updatedText: candidate,
+        diff: createUnifiedDiff(text, candidate, { originalLabel: "original", updatedLabel: "candidate" }), edits,
+        diagnostics: governanceDiagnostics, diagnosticsTruncated: false,
+        assuranceImpact: Object.freeze({ before, after }), governance });
+}
+//# sourceMappingURL=contract9-assurance-mutation.js.map

package/dist/application/contract9-assurance-mutation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-assurance-mutation.js","sourceRoot":"","sources":["../../src/application/contract9-assurance-mutation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAiB,MAAM,2BAA2B,CAAC;AAC9F,OAAO,EAAE,6BAA6B,EAAE,wBAAwB,EAAiC,MAAM,wCAAwC,CAAC;AAChJ,OAAO,EAAE,2BAA2B,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAClH,OAAO,EAAE,8BAA8B,EAAE,MAAM,0BAA0B,CAAC;AAC1E,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAChF,OAAO,EAAE,8BAA8B,EAAE,MAAM,iCAAiC,CAAC;AACjF,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,8BAA8B,EAAE,MAAM,yBAAyB,CAAC;AACzE,OAAO,EAAE,+BAA+B,EAAE,uCAAuC,EAC/E,kCAAkC,EAA0C,MAAM,4BAA4B,CAAC;AAuBjH,SAAS,MAAM,CAAC,IAAY,IAAmB,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9F,SAAS,OAAO,CAAC,IAAY,EAAE,UAAyB,EAAE,IAAY,EAAE,OAAe,EAAE,QAAiB;IACxG,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,4BAA4B,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK;QACvG,cAAc,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACpH,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAgB,EAAE,OAAO,EAAE,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3I,oBAAoB,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,QAAQ,CAAC,MAAiC,EAAE,MAAc,EAAE,UAAkB;IACrF,IAAI,MAAM,CAAC,YAAY,KAAK,IAAI,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI,IAAI,MAAM,CAAC,qBAAqB,KAAK,IAAI;QAC5G,MAAM,IAAI,KAAK,CAAC,QAAQ,MAAM,CAAC,MAAM,gCAAgC,CAAC,CAAC;IACzE,OAAO,CAAC,aAAa,MAAM,CAAC,MAAM,GAAG,EAAE,uBAAuB,MAAM,CAAC,YAAY,EAAE,EAAE,oBAAoB,MAAM,CAAC,iBAAiB,EAAE;QACjI,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,oBAAoB,EAAE,GAAG,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1G,OAAO,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,YAAY,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;QAClF,YAAY,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,OAAiC;IACrE,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,2EAA2E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9I,MAAM,MAAM,GAAG,MAAM,EAAE,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC;IAChF,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACzB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM;QAC3D,WAAW,EAAE,2BAA2B,GAAG,gCAAgC,GAAG,EAAE,EAAE,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY,EAAE,MAA2C,EAAE,OAA0B;IACjH,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,kDAAkD,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAChH,MAAM,MAAM,GAAG,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC;IAClD,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACzB,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,GAAG,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG,GAAG,GAAG,EAAE,EAAE,CAAC,CAAC;AACxI,CAAC;AAED,SAAS,eAAe,CAAC,KAA+B,EAAE,MAAiC,EACzF,MAAc,EAAE,IAAY;IAC5B,IAAI,MAAM,CAAC,YAAY,KAAK,IAAI,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI;QACnE,MAAM,IAAI,KAAK,CAAC,QAAQ,MAAM,CAAC,MAAM,kCAAkC,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC;IACpG,MAAM,MAAM,GAAG,CAAC,IAA2C,EAAE,WAAmB,EAAY,EAAE,CAC5F,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,KAAK,CAAC,mBAAmB,CAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,gBAAgB,CAAE,CAAC;IACvC,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAE,CAAC;IACpC,MAAM,KAAK,GAAe,CAAC,MAAM,CAAC,QAAQ,EAAE,uBAAuB,MAAM,CAAC,YAAY,EAAE,CAAC;QACvF,MAAM,CAAC,KAAK,EAAE,oBAAoB,MAAM,CAAC,iBAAiB,EAAE,CAAC,EAAE,MAAM,CAAC,UAAU,EAAE,YAAY,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3H,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC;IACxF,MAAM,MAAM,GAAG,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9K,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,oBAAoB,EAAE,GAAG,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACxH,OAAO,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,YAAY,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACpH,IAAI,WAAW,KAAK,SAAS,IAAI,SAAS,KAAK,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;IACrK,IAAI,WAAW,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,KAAK;YACtF,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,WAAW,CAAC,GAAG,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;IAC/E,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,kCAAkC,CAAC,IAAY,EAAE,QAA+B,EAC9F,OAAO,GAAsD,EAAE;IAC/D,MAAM,MAAM,GAAG,2BAA2B,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;IACtF,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,cAAc,KAAK,CAAC;QACpE,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,4DAA4D,CAAC,CAAC;IACxH,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,0CAA0C,CAAC,CAAC;IACtI,IAAI,QAAQ,CAAC,IAAI,KAAK,uBAAuB;QAC3C,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC;QAC7F,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,iCAAiC,CAAC,CAAC;IAC7F,MAAM,MAAM,GAAG,6BAA6B,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,YAAY,GAAG,IAAI,CAAC;IACxB,MAAM,QAAQ,GAAe,EAAE,CAAC;IAChC,MAAM,MAAM,GAAG,8BAA8B,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,wCAAwC,CAAC,CAAC;IACvH,IAAI,MAAM,CAAC,YAAY,KAAK,IAAI,IAAI,MAAM,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;QACrE,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAE,CAAC;QAC/D,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAC7C,YAAY,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAChD,CAAC;SAAM,IAAI,MAAM,CAAC,YAAY,KAAK,CAAC,IAAI,MAAM,CAAC,gBAAgB,KAAK,CAAC,EAAE,CAAC;QACtE,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,gEAAgE,CAAC,CAAC;IAC5H,CAAC;IACD,MAAM,SAAS,GAAG,8BAA8B,CAAC,YAAY,CAAC,CAAC;IAC/D,IAAI,SAAS,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,EAAE;QAAE,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,wCAAwC,CAAC,CAAC;IAC3I,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,KAAK,qBAAqB;QACzD,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,iBAAiB,EAAE,EAAE,EAAE,CAAC,iBAAiB,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC;QACjH,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC1B,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,+BAA+B,CAAC,CAAC;IACvH,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,cAAc,GAAG,6BAA6B,CAAC,YAAY,CAAC,CAAC;IACnE,MAAM,WAAW,GAAe,EAAE,CAAC;IACnC,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,IAAI,CAAC;QACH,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAChC,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,QAAQ,MAAM,gCAAgC,EAAE,MAAM,CAAC,CAAC;YAC1I,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;YACnE,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;YAC/G,IAAI,QAAQ,CAAC,IAAI,KAAK,uBAAuB,IAAI,OAAO,KAAK,SAAS;gBACpE,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,QAAQ,MAAM,uBAAuB,EAAE,MAAM,CAAC,CAAC;YACzG,IAAI,OAAO,KAAK,SAAS;gBAAE,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;;gBACjD,WAAW,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;QAC5F,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC;IAClI,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,oBAAoB,CAAC,YAAY,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC;IAC1G,MAAM,MAAM,GAAG,kBAAkB,CAAC,YAAY,EAAE,WAAW,EAAE,oCAAoC,CAAC,CAAC;IACnG,MAAM,SAAS,GAAG,cAAc,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,2BAA2B,CAAC,SAAS,EAAE,mCAAmC,CAAC,CAAC;IAC5F,MAAM,KAAK,GAAG,8BAA8B,CAAC,SAAS,CAAC,CAAC;IACxD,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE;QACtE,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,6DAA6D,CAAC,CAAC;IACzH,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,CAAC,GAAG,QAAQ,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YACxH,GAAG,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC;YAC9H,SAAS,EAAE,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC;SAChH,CAAC,CAAC,CAAC,EAAE,6CAA6C,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,WAAW,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC3G,MAAM,IAAI,GAAG,2BAA2B,CAAC,wBAAwB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACjF,MAAM,SAAS,GAAG,8BAA8B,CAAC,IAAI,EAAE,2BAA2B,CAAC,CAAC,iBAAiB,CAAC;IACtG,IAAI,SAAS,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IAC7F,MAAM,QAAQ,GAAG,8BAA8B,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,uCAAuC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC/E,IAAI,CAAC,UAAU,CAAC,EAAE;QAAE,OAAO,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,WAAW,EAAE,4BAA4B,CAAC,CAAC;IACvG,MAAM,UAAU,GAAG,+BAA+B,CAAC,EAAE,YAAY,EAAE,gBAAgB,CAAC,IAAI,CAAC;QACvF,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,SAAS,EAAE,aAAa,EAAE,QAAQ,CAAC,SAAS,CAAC,aAAa;QACxF,QAAQ,EAAE,QAAQ,CAAC,SAAS,CAAC,QAAQ,EAAE,YAAY,EAAE,QAAQ,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,gBAAgB,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;IAClI,MAAM,qBAAqB,GAAG,kCAAkC,CAAC,UAAU,CAAC,CAAC;IAC7E,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,4BAA4B,EAAE,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI;QACvL,cAAc,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,gBAAgB,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,SAAS;QAC1G,IAAI,EAAE,iBAAiB,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK;QACzG,WAAW,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,KAAK;QAC/D,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC;AACrE,CAAC"}

package/dist/application/contract9-assurance.d.ts

@@ -0,0 +1,23 @@
+import type { PlanAssuranceEvaluationV1 } from "../assurance/types.js";
+import type { PlanAssuranceProjectionV1 } from "../assurance/authority.js";
+import type { Diagnostic } from "../model/diagnostics.js";
+import type { PlanAssuranceHashKind, PlanAssuranceInspectionRequest } from "./target-assurance-inspection.js";
+export declare function evaluateContract9PlanAssurance(text: string): PlanAssuranceEvaluationV1 | null;
+export interface Contract9PlanAssuranceResultV2 {
+    readonly schemaVersion: "Perttool.PlanAssuranceResult.v2";
+    readonly cliContractVersion: 9;
+    readonly operation: PlanAssuranceInspectionRequest["operation"];
+    readonly ok: boolean;
+    readonly documentId: string | null;
+    readonly grammarVersion: number | null;
+    readonly sourceDigest: string;
+    readonly selectedTaskIds: readonly string[];
+    readonly taskId: string | null;
+    readonly kind: PlanAssuranceHashKind | null;
+    readonly selectedHash: string | null;
+    readonly assurance: PlanAssuranceProjectionV1 | null;
+    readonly diagnostics: readonly Diagnostic[];
+    readonly diagnosticsTruncated: boolean;
+}
+export declare function inspectContract9PlanAssurance(text: string, request: PlanAssuranceInspectionRequest): Contract9PlanAssuranceResultV2;
+//# sourceMappingURL=contract9-assurance.d.ts.map

package/dist/application/contract9-assurance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract9-assurance.d.ts","sourceRoot":"","sources":["../../src/application/contract9-assurance.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAA4B,yBAAyB,EAA0C,MAAM,uBAAuB,CAAC;AACzI,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AAE3E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,EAAE,qBAAqB,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AA+C9G,wBAAgB,8BAA8B,CAAC,IAAI,EAAE,MAAM,GAAG,yBAAyB,GAAG,IAAI,CAW7F;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,aAAa,EAAE,iCAAiC,CAAC;IAC1D,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,8BAA8B,CAAC,WAAW,CAAC,CAAC;IAChE,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,qBAAqB,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,yBAAyB,GAAG,IAAI,CAAC;IACrD,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;CACxC;AAqBD,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,8BAA8B,GAAG,8BAA8B,CA+BnI"}