perttool 0.4.0 → 0.5.1

package/dist/application/contract6-mutation.js

@@ -0,0 +1,173 @@
+import { createHash } from "node:crypto";
+import { actualsDiagnostic, validateStoredLifecycleState, } from "../actuals/lifecycle.js";
+import { projectActualsSourceModel, } from "../actuals/source.js";
+import { classifyGovernanceScopes, evaluateGovernanceAuthority, governanceDenialDiagnostic, normalizeGovernanceRequest, } from "../governance/authority.js";
+import { governanceMetadataFromDocument, } from "../governance/source.js";
+import { limitDiagnostics, normalizeMaxDiagnostics, sortDiagnostics, } from "../model/diagnostics.js";
+import { TARGET_GRAMMAR_5_CAPABILITY, } from "../parser/document-parser.js";
+import { validateTargetGrammar5Document, } from "../semantic/target-validator.js";
+import { planTargetActualsAdvance, } from "./target-actuals-advance.js";
+import { planTargetFinishActualsMutation, planTargetLifecycleMutation, } from "./target-actuals-mutation.js";
+import { planTargetGrammar5BatchMutation, planTargetGrammar5Mutation, } from "./target-mutate.js";
+function digest(text) {
+    return `sha256:${createHash("sha256").update(text, "utf8").digest("hex")}`;
+}
+function mutationOptions(options) {
+    return {
+        ...(options.maxDiagnostics === undefined
+            ? {}
+            : { maxDiagnostics: options.maxDiagnostics }),
+        ...(options.originalLabel === undefined
+            ? {}
+            : { originalLabel: options.originalLabel }),
+        ...(options.updatedLabel === undefined
+            ? {}
+            : { updatedLabel: options.updatedLabel }),
+    };
+}
+function validOriginal(text, maximum) {
+    const checked = validateTargetGrammar5Document(text, TARGET_GRAMMAR_5_CAPABILITY, { maxDiagnostics: maximum });
+    if (!checked.ok || checked.validatedDocument === null)
+        return null;
+    const lifecycleDiagnostics = validateStoredLifecycleState(checked.validatedDocument);
+    if (lifecycleDiagnostics.length > 0)
+        return null;
+    return {
+        validated: checked.validatedDocument,
+        documentId: checked.documentId,
+        diagnostics: checked.diagnostics,
+        diagnosticsTruncated: checked.diagnosticsTruncated,
+    };
+}
+function requestFailure(text, original, diagnostic, maximum) {
+    const limited = limitDiagnostics(sortDiagnostics([...original.diagnostics, diagnostic]), maximum);
+    return Object.freeze({
+        schemaVersion: "Perttool.MutationResult.v3",
+        ok: false,
+        documentId: original.documentId,
+        changed: false,
+        originalDigest: digest(text),
+        updatedDigest: null,
+        updatedText: null,
+        diff: null,
+        edits: Object.freeze([]),
+        governance: null,
+        lifecycle: null,
+        diagnostics: limited.diagnostics,
+        diagnosticsTruncated: original.diagnosticsTruncated || limited.truncated,
+    });
+}
+function statusMutationDiagnostic(original, mutation) {
+    if (original.grammarVersion !== 5)
+        return null;
+    const mutations = mutation.kind === "batch" ? mutation.mutations : [mutation];
+    const events = projectActualsSourceModel(original).events;
+    for (const item of mutations) {
+        if (item.kind === "task.finish") {
+            const task = original.document.declarations.find(({ kind, id }) => kind === "task" && id === item.id);
+            return actualsDiagnostic("PTACT-105", "invalid lifecycle mutation request", "status_only_finish_not_allowed", item.id, task?.idSpan);
+        }
+        if (item.kind === "task.set" &&
+            (item.set?.status !== undefined ||
+                item.clear?.includes("status") === true) &&
+            events.some(({ taskId }) => taskId === item.id)) {
+            const task = original.document.declarations.find(({ kind, id }) => kind === "task" && id === item.id);
+            return actualsDiagnostic("PTACT-105", "invalid lifecycle mutation request", "eventful_task_requires_lifecycle", item.id, task?.idSpan);
+        }
+    }
+    return null;
+}
+function governedResult(original, base, options) {
+    if (!base.ok ||
+        base.updatedText === null ||
+        base.updatedDigest === null) {
+        return Object.freeze({
+            ...base,
+            schemaVersion: "Perttool.MutationResult.v3",
+            governance: null,
+            lifecycle: null,
+        });
+    }
+    const normalized = normalizeGovernanceRequest(options.governance);
+    if (!normalized.ok) {
+        throw new Error("governance request must be normalized before candidate planning");
+    }
+    const candidate = validateTargetGrammar5Document(base.updatedText, TARGET_GRAMMAR_5_CAPABILITY, options.maxDiagnostics === undefined
+        ? {}
+        : { maxDiagnostics: options.maxDiagnostics });
+    if (!candidate.ok || candidate.validatedDocument === null) {
+        throw new Error("Contract 6 mutation candidate lost Grammar 5 validation");
+    }
+    const metadata = governanceMetadataFromDocument(original.validated.document);
+    const governance = evaluateGovernanceAuthority({
+        originalDigest: base.originalDigest,
+        effective: metadata.effective,
+    }, classifyGovernanceScopes(original.validated.document, candidate.validatedDocument.document), normalized.request);
+    const denial = governanceDenialDiagnostic(governance);
+    if (denial === null) {
+        return Object.freeze({
+            ...base,
+            schemaVersion: "Perttool.MutationResult.v3",
+            governance,
+            lifecycle: null,
+        });
+    }
+    const maximum = normalizeMaxDiagnostics(options.maxDiagnostics);
+    const limited = limitDiagnostics(sortDiagnostics([...base.diagnostics, denial]), maximum);
+    return Object.freeze({
+        ...base,
+        schemaVersion: "Perttool.MutationResult.v3",
+        ok: false,
+        governance,
+        lifecycle: null,
+        diagnostics: limited.diagnostics,
+        diagnosticsTruncated: base.diagnosticsTruncated || limited.truncated,
+    });
+}
+function planOrdinary(text, mutation, batch, options) {
+    const maximum = normalizeMaxDiagnostics(options.maxDiagnostics);
+    const original = validOriginal(text, maximum);
+    const baseOptions = mutationOptions(options);
+    if (original === null) {
+        const base = batch
+            ? planTargetGrammar5BatchMutation(text, mutation, TARGET_GRAMMAR_5_CAPABILITY, baseOptions)
+            : planTargetGrammar5Mutation(text, mutation, TARGET_GRAMMAR_5_CAPABILITY, baseOptions);
+        return Object.freeze({
+            ...base,
+            schemaVersion: "Perttool.MutationResult.v3",
+            governance: null,
+            lifecycle: null,
+        });
+    }
+    const normalized = normalizeGovernanceRequest(options.governance);
+    if (!normalized.ok) {
+        return requestFailure(text, original, normalized.diagnostics[0], maximum);
+    }
+    const statusDiagnostic = statusMutationDiagnostic(original.validated, mutation);
+    if (statusDiagnostic !== null) {
+        return requestFailure(text, original, statusDiagnostic, maximum);
+    }
+    const base = batch
+        ? planTargetGrammar5BatchMutation(text, mutation, TARGET_GRAMMAR_5_CAPABILITY, baseOptions)
+        : planTargetGrammar5Mutation(text, mutation, TARGET_GRAMMAR_5_CAPABILITY, baseOptions);
+    return governedResult(original, base, {
+        ...options,
+        governance: normalized.request,
+    });
+}
+export function planMutation(text, mutation, options = {}) {
+    return planOrdinary(text, mutation, false, options);
+}
+export function planBatchMutation(text, mutation, options = {}) {
+    return planOrdinary(text, mutation, true, options);
+}
+export function planAdvance(text, options = {}) {
+    return planTargetActualsAdvance(text, TARGET_GRAMMAR_5_CAPABILITY, options);
+}
+export function planLifecycle(text, mutation, options = {}) {
+    return planTargetLifecycleMutation(text, mutation, TARGET_GRAMMAR_5_CAPABILITY, options);
+}
+export function planFinishActuals(text, mutation, options = {}) {
+    return planTargetFinishActualsMutation(text, mutation, TARGET_GRAMMAR_5_CAPABILITY, options);
+}
+//# sourceMappingURL=contract6-mutation.js.map

package/dist/application/contract6-mutation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract6-mutation.js","sourceRoot":"","sources":["../../src/application/contract6-mutation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACL,iBAAiB,EACjB,4BAA4B,GAG7B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,yBAAyB,GAC1B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AAIjC,OAAO,EACL,gBAAgB,EAChB,uBAAuB,EACvB,eAAe,GAEhB,MAAM,yBAAyB,CAAC;AAWjC,OAAO,EACL,2BAA2B,GAC5B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,8BAA8B,GAE/B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,wBAAwB,GAEzB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,+BAA+B,EAC/B,2BAA2B,GAG5B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,+BAA+B,EAC/B,0BAA0B,GAC3B,MAAM,oBAAoB,CAAC;AAkB5B,SAAS,MAAM,CAAC,IAAY;IAC1B,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AAC7E,CAAC;AAED,SAAS,eAAe,CACtB,OAAqC;IAErC,OAAO;QACL,GAAG,CAAC,OAAO,CAAC,cAAc,KAAK,SAAS;YACtC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC;QAC/C,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS;YACrC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;QAC7C,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS;YACpC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;KAC5C,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,IAAY,EACZ,OAAe;IAEf,MAAM,OAAO,GAAG,8BAA8B,CAC5C,IAAI,EACJ,2BAA2B,EAC3B,EAAE,cAAc,EAAE,OAAO,EAAE,CAC5B,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,OAAO,CAAC,iBAAiB,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnE,MAAM,oBAAoB,GAAG,4BAA4B,CACvD,OAAO,CAAC,iBAAiB,CAC1B,CAAC;IACF,IAAI,oBAAoB,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,OAAO;QACL,SAAS,EAAE,OAAO,CAAC,iBAAiB;QACpC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;KACnD,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,IAAY,EACZ,QAAuB,EACvB,UAAsB,EACtB,OAAe;IAEf,MAAM,OAAO,GAAG,gBAAgB,CAC9B,eAAe,CAAC,CAAC,GAAG,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,EACtD,OAAO,CACR,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,aAAa,EAAE,4BAA4B;QAC3C,EAAE,EAAE,KAAK;QACT,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,OAAO,EAAE,KAAK;QACd,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC;QAC5B,aAAa,EAAE,IAAI;QACnB,WAAW,EAAE,IAAI;QACjB,IAAI,EAAE,IAAI;QACV,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACxB,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,IAAI;QACf,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,oBAAoB,EAClB,QAAQ,CAAC,oBAAoB,IAAI,OAAO,CAAC,SAAS;KACrD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAAyC,EACzC,QAAkC;IAElC,IAAI,QAAQ,CAAC,cAAc,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,SAAS,GACb,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;IAC1D,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAC9C,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,KAAK,IAAI,CAAC,EAAE,CACpD,CAAC;YACF,OAAO,iBAAiB,CACtB,WAAW,EACX,oCAAoC,EACpC,gCAAgC,EAChC,IAAI,CAAC,EAAE,EACP,IAAI,EAAE,MAAM,CACb,CAAC;QACJ,CAAC;QACD,IACE,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,CACE,IAAI,CAAC,GAAG,EAAE,MAAM,KAAK,SAAS;gBAC9B,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,IAAI,CACxC;YACD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC,EAC/C,CAAC;YACD,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAC9C,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,KAAK,IAAI,CAAC,EAAE,CACpD,CAAC;YACF,OAAO,iBAAiB,CACtB,WAAW,EACX,oCAAoC,EACpC,kCAAkC,EAClC,IAAI,CAAC,EAAE,EACP,IAAI,EAAE,MAAM,CACb,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CACrB,QAAuB,EACvB,IAAoB,EACpB,OAAqC;IAErC,IACE,CAAC,IAAI,CAAC,EAAE;QACR,IAAI,CAAC,WAAW,KAAK,IAAI;QACzB,IAAI,CAAC,aAAa,KAAK,IAAI,EAC3B,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,IAAI;YACP,aAAa,EAAE,4BAA4B;YAC3C,UAAU,EAAE,IAAI;YAChB,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,UAAU,GAAG,0BAA0B,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAClE,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CACb,iEAAiE,CAClE,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,8BAA8B,CAC9C,IAAI,CAAC,WAAW,EAChB,2BAA2B,EAC3B,OAAO,CAAC,cAAc,KAAK,SAAS;QAClC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,CAC/C,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,SAAS,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,QAAQ,GAAG,8BAA8B,CAC7C,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAC5B,CAAC;IACF,MAAM,UAAU,GAAG,2BAA2B,CAC5C;QACE,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,SAAS,EAAE,QAAQ,CAAC,SAAS;KAC9B,EACD,wBAAwB,CACtB,QAAQ,CAAC,SAAS,CAAC,QAAQ,EAC3B,SAAS,CAAC,iBAAiB,CAAC,QAAQ,CACrC,EACD,UAAU,CAAC,OAAO,CACnB,CAAC;IACF,MAAM,MAAM,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,IAAI;YACP,aAAa,EAAE,4BAA4B;YAC3C,UAAU;YACV,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,gBAAgB,CAC9B,eAAe,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,EAC9C,OAAO,CACR,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,aAAa,EAAE,4BAA4B;QAC3C,EAAE,EAAE,KAAK;QACT,UAAU;QACV,SAAS,EAAE,IAAI;QACf,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,oBAAoB,EAClB,IAAI,CAAC,oBAAoB,IAAI,OAAO,CAAC,SAAS;KACjD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CACnB,IAAY,EACZ,QAAkC,EAClC,KAAc,EACd,OAAqC;IAErC,MAAM,OAAO,GAAG,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,KAAK;YAChB,CAAC,CAAC,+BAA+B,CAC7B,IAAI,EACJ,QAAyC,EACzC,2BAA2B,EAC3B,WAAW,CACZ;YACH,CAAC,CAAC,0BAA0B,CACxB,IAAI,EACJ,QAAQ,EACR,2BAA2B,EAC3B,WAAW,CACZ,CAAC;QACN,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,IAAI;YACP,aAAa,EAAE,4BAA4B;YAC3C,UAAU,EAAE,IAAI;YAChB,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,UAAU,GAAG,0BAA0B,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAClE,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QACnB,OAAO,cAAc,CACnB,IAAI,EACJ,QAAQ,EACR,UAAU,CAAC,WAAW,CAAC,CAAC,CAAE,EAC1B,OAAO,CACR,CAAC;IACJ,CAAC;IACD,MAAM,gBAAgB,GAAG,wBAAwB,CAC/C,QAAQ,CAAC,SAAS,EAClB,QAAQ,CACT,CAAC;IACF,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;QAC9B,OAAO,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,gBAAgB,EAAE,OAAO,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,IAAI,GAAG,KAAK;QAChB,CAAC,CAAC,+BAA+B,CAC7B,IAAI,EACJ,QAAyC,EACzC,2BAA2B,EAC3B,WAAW,CACZ;QACH,CAAC,CAAC,0BAA0B,CACxB,IAAI,EACJ,QAAQ,EACR,2BAA2B,EAC3B,WAAW,CACZ,CAAC;IACN,OAAO,cAAc,CAAC,QAAQ,EAAE,IAAI,EAAE;QACpC,GAAG,OAAO;QACV,UAAU,EAAE,UAAU,CAAC,OAAO;KAC/B,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,IAAY,EACZ,QAAkB,EAClB,OAAO,GAAiC,EAAE;IAE1C,OAAO,YAAY,CACjB,IAAI,EACJ,QAAoC,EACpC,KAAK,EACL,OAAO,CACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,QAAuB,EACvB,OAAO,GAAiC,EAAE;IAE1C,OAAO,YAAY,CACjB,IAAI,EACJ,QAAyC,EACzC,IAAI,EACJ,OAAO,CACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,IAAY,EACZ,OAAO,GAAiC,EAAE;IAE1C,OAAO,wBAAwB,CAC7B,IAAI,EACJ,2BAA2B,EAC3B,OAAO,CACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,IAAY,EACZ,QAA2B,EAC3B,OAAO,GAAiC,EAAE;IAE1C,OAAO,2BAA2B,CAChC,IAAI,EACJ,QAAQ,EACR,2BAA2B,EAC3B,OAAO,CACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,QAA+B,EAC/B,OAAO,GAAiC,EAAE;IAE1C,OAAO,+BAA+B,CACpC,IAAI,EACJ,QAAQ,EACR,2BAA2B,EAC3B,OAAO,CACR,CAAC;AACJ,CAAC"}

package/dist/application/contract6-projection.d.ts

@@ -0,0 +1,9 @@
+import type { ActualWorkEvent } from "../actuals/source.js";
+import type { TargetActualsAdvanceResultV3 } from "./target-actuals-advance.js";
+import type { TargetActualsMutationResultV3 } from "./target-actuals-mutation.js";
+import { type TargetGovernanceWriteProjection } from "./target-governance-projection.js";
+import type { TargetGovernanceProjectMetadataResult } from "./target-governance-project.js";
+export declare function contract6ProjectResultToJson(result: TargetGovernanceProjectMetadataResult, source: string, sourceDigest: string, ok?: boolean): Readonly<Record<string, unknown>>;
+export declare function contract6WorkEventToJson(event: ActualWorkEvent): Readonly<Record<string, unknown>>;
+export declare function contract6MutationResultToJson(result: TargetActualsMutationResultV3 | TargetActualsAdvanceResultV3, operation: string, source: string, write: TargetGovernanceWriteProjection): Readonly<Record<string, unknown>>;
+//# sourceMappingURL=contract6-projection.d.ts.map

package/dist/application/contract6-projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract6-projection.d.ts","sourceRoot":"","sources":["../../src/application/contract6-projection.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACV,eAAe,EAChB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EACV,4BAA4B,EAC7B,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EACV,6BAA6B,EAC9B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAGL,KAAK,+BAA+B,EACrC,MAAM,mCAAmC,CAAC;AAK3C,OAAO,KAAK,EACV,qCAAqC,EACtC,MAAM,gCAAgC,CAAC;AAExC,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,qCAAqC,EAC7C,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,MAAM,EACpB,EAAE,UAAY,GACb,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAUnC;AAgDD,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,eAAe,GACrB,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAenC;AAkBD,wBAAgB,6BAA6B,CAC3C,MAAM,EACF,6BAA6B,GAC7B,4BAA4B,EAChC,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,+BAA+B,GACrC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAqCnC"}

package/dist/application/contract6-projection.js

@@ -0,0 +1,105 @@
+import { projectDeclaredCalendarValue, } from "../model/target-calendar.js";
+import { formatDecimal, } from "../model/rational.js";
+import { targetGovernanceMutationResultToJson, targetGovernanceProjectResultToJson, } from "./target-governance-projection.js";
+export function contract6ProjectResultToJson(result, source, sourceDigest, ok = result.ok) {
+    return Object.freeze({
+        ...targetGovernanceProjectResultToJson(result, source, sourceDigest, ok),
+        cli_contract_version: 6,
+    });
+}
+function calendarToJson(event) {
+    const value = projectDeclaredCalendarValue(event.occurredAt);
+    if (value === null) {
+        throw new Error("validated lifecycle event lost its calendar projection");
+    }
+    return value.kind === "date"
+        ? {
+            kind: value.kind,
+            source_text: value.sourceText,
+            year: value.year,
+            month: value.month,
+            day: value.day,
+        }
+        : {
+            kind: value.kind,
+            source_text: value.sourceText,
+            year: value.year,
+            month: value.month,
+            day: value.day,
+            hour: value.hour,
+            minute: value.minute,
+            second: {
+                numerator: value.second.numerator,
+                denominator: value.second.denominator,
+            },
+            offset_minutes: value.offsetMinutes,
+        };
+}
+function quantityToJson(value, unit) {
+    return value === null
+        ? null
+        : {
+            numerator: value.value.numerator.toString(),
+            denominator: value.value.denominator.toString(),
+            unit,
+            display: formatDecimal(value.value, 6),
+        };
+}
+export function contract6WorkEventToJson(event) {
+    return {
+        model_version: event.model,
+        id: event.id,
+        task_id: event.taskId,
+        kind: event.kind,
+        occurred_at: calendarToJson(event),
+        planned_value: event.plannedValue === null
+            ? null
+            : quantityToJson(event.plannedValue, event.plannedValue.unit),
+        active_time: quantityToJson(event.activeTime, "hour"),
+        effort: quantityToJson(event.effort, "person_hour"),
+        reason: event.reason,
+    };
+}
+function lifecycleToJson(result) {
+    const lifecycle = result.lifecycle;
+    return lifecycle === null
+        ? null
+        : {
+            model_version: lifecycle.modelVersion,
+            task_id: lifecycle.taskId,
+            from_state: lifecycle.fromState,
+            to_state: lifecycle.toState,
+            event: contract6WorkEventToJson(lifecycle.event),
+            coverage: lifecycle.coverage,
+        };
+}
+export function contract6MutationResultToJson(result, operation, source, write) {
+    const base = targetGovernanceMutationResultToJson(result, operation, source, write);
+    if ("advance" in result) {
+        return Object.freeze({
+            ...base,
+            schema_version: "Perttool.MutationResult.v3",
+            cli_contract_version: 6,
+            lifecycle: null,
+            advance: result.advance === null
+                ? null
+                : {
+                    removed_task_ids: result.advance.removedTaskIds,
+                    removed_gate_ids: result.advance.removedGateIds,
+                    removed_milestone_ids: result.advance.removedMilestoneIds,
+                    removed_work_event_ids: result.advance.removedWorkEventIds,
+                    frontier_before: result.advance.frontierBefore,
+                    frontier_after: result.advance.frontierAfter,
+                    ready_before: result.advance.readyBefore,
+                    ready_after: result.advance.readyAfter,
+                },
+        });
+    }
+    return Object.freeze({
+        ...base,
+        schema_version: "Perttool.MutationResult.v3",
+        cli_contract_version: 6,
+        lifecycle: lifecycleToJson(result),
+    });
+}
+//# sourceMappingURL=contract6-projection.js.map

package/dist/application/contract6-projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract6-projection.js","sourceRoot":"","sources":["../../src/application/contract6-projection.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,4BAA4B,GAC7B,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,aAAa,GACd,MAAM,sBAAsB,CAAC;AAU9B,OAAO,EACL,oCAAoC,EACpC,mCAAmC,GAEpC,MAAM,mCAAmC,CAAC;AAS3C,MAAM,UAAU,4BAA4B,CAC1C,MAA6C,EAC7C,MAAc,EACd,YAAoB,EACpB,EAAE,GAAG,MAAM,CAAC,EAAE;IAEd,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,mCAAmC,CACpC,MAAM,EACN,MAAM,EACN,YAAY,EACZ,EAAE,CACH;QACD,oBAAoB,EAAE,CAAC;KACxB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,KAAsB;IAC5C,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC7D,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,KAAK,MAAM;QAC1B,CAAC,CAAC;YACE,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,WAAW,EAAE,KAAK,CAAC,UAAU;YAC7B,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,GAAG,EAAE,KAAK,CAAC,GAAG;SACf;QACH,CAAC,CAAC;YACE,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,WAAW,EAAE,KAAK,CAAC,UAAU;YAC7B,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,MAAM,EAAE;gBACN,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS;gBACjC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,WAAW;aACtC;YACD,cAAc,EAAE,KAAK,CAAC,aAAa;SACpC,CAAC;AACR,CAAC;AAED,SAAS,cAAc,CACrB,KAGU,EACV,IAA8C;IAE9C,OAAO,KAAK,KAAK,IAAI;QACnB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC;YACE,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE;YAC3C,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE;YAC/C,IAAI;YACJ,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;SACvC,CAAC;AACR,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,KAAsB;IAEtB,OAAO;QACL,aAAa,EAAE,KAAK,CAAC,KAAK;QAC1B,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,OAAO,EAAE,KAAK,CAAC,MAAM;QACrB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,WAAW,EAAE,cAAc,CAAC,KAAK,CAAC;QAClC,aAAa,EACX,KAAK,CAAC,YAAY,KAAK,IAAI;YACzB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC;QACjE,WAAW,EAAE,cAAc,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC;QACrD,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC,MAAM,EAAE,aAAa,CAAC;QACnD,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,MAAqC;IAErC,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;IACnC,OAAO,SAAS,KAAK,IAAI;QACvB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC;YACE,aAAa,EAAE,SAAS,CAAC,YAAY;YACrC,OAAO,EAAE,SAAS,CAAC,MAAM;YACzB,UAAU,EAAE,SAAS,CAAC,SAAS;YAC/B,QAAQ,EAAE,SAAS,CAAC,OAAO;YAC3B,KAAK,EAAE,wBAAwB,CAAC,SAAS,CAAC,KAAK,CAAC;YAChD,QAAQ,EAAE,SAAS,CAAC,QAAQ;SAC7B,CAAC;AACR,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,MAEgC,EAChC,SAAiB,EACjB,MAAc,EACd,KAAsC;IAEtC,MAAM,IAAI,GAAG,oCAAoC,CAC/C,MAEmC,EACnC,SAAS,EACT,MAAM,EACN,KAAK,CACN,CAAC;IACF,IAAI,SAAS,IAAI,MAAM,EAAE,CAAC;QACxB,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,IAAI;YACP,cAAc,EAAE,4BAA4B;YAC5C,oBAAoB,EAAE,CAAC;YACvB,SAAS,EAAE,IAAI;YACf,OAAO,EACL,MAAM,CAAC,OAAO,KAAK,IAAI;gBACrB,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,gBAAgB,EAAE,MAAM,CAAC,OAAO,CAAC,cAAc;oBAC/C,gBAAgB,EAAE,MAAM,CAAC,OAAO,CAAC,cAAc;oBAC/C,qBAAqB,EAAE,MAAM,CAAC,OAAO,CAAC,mBAAmB;oBACzD,sBAAsB,EACpB,MAAM,CAAC,OAAO,CAAC,mBAAmB;oBACpC,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,cAAc;oBAC9C,cAAc,EAAE,MAAM,CAAC,OAAO,CAAC,aAAa;oBAC5C,YAAY,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW;oBACxC,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU;iBACvC;SACR,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,cAAc,EAAE,4BAA4B;QAC5C,oBAAoB,EAAE,CAAC;QACvB,SAAS,EAAE,eAAe,CAAC,MAAM,CAAC;KACnC,CAAC,CAAC;AACL,CAAC"}

package/dist/application/init.d.ts

@@ -12,7 +12,7 @@ export interface ProjectInitWrite {
 }
 export interface ProjectInitResult {
     readonly schemaVersion: "Perttool.InitResult.v1";
-    readonly cliContractVersion: 5;
+    readonly cliContractVersion: 6;
     readonly toolVersion: string;
     readonly operation: "project.init";
     readonly ok: boolean;

package/dist/application/init.js

@@ -1,11 +1,11 @@
-import { TARGET_GRAMMAR_4_CAPABILITY } from "../parser/document-parser.js";
+import { TARGET_GRAMMAR_5_CAPABILITY } from "../parser/document-parser.js";
 import { TOOL_VERSION } from "../version.js";
 import { planTargetGovernanceProjectInit, } from "./target-governance-init.js";
 export function planProjectInit(request) {
-    const planned = planTargetGovernanceProjectInit(request, TARGET_GRAMMAR_4_CAPABILITY);
+    const planned = planTargetGovernanceProjectInit(request, TARGET_GRAMMAR_5_CAPABILITY);
     return Object.freeze({
         schemaVersion: "Perttool.InitResult.v1",
-        cliContractVersion: 5,
+        cliContractVersion: 6,
         toolVersion: TOOL_VERSION,
         operation: "project.init",
         ok: planned.ok,

package/dist/application/project.js

@@ -1,6 +1,6 @@
 import { getTargetGovernanceProjectMetadata, } from "./target-governance-project.js";
-import { TARGET_GRAMMAR_4_CAPABILITY } from "../parser/document-parser.js";
+import { TARGET_GRAMMAR_5_CAPABILITY } from "../parser/document-parser.js";
 export function getProjectMetadata(text, options = {}) {
-    return getTargetGovernanceProjectMetadata(text, TARGET_GRAMMAR_4_CAPABILITY, options);
+    return getTargetGovernanceProjectMetadata(text, TARGET_GRAMMAR_5_CAPABILITY, options);
 }
 //# sourceMappingURL=project.js.map

package/dist/application/target-actuals-advance.d.ts

@@ -0,0 +1,12 @@
+import type { GovernanceDecisionV1 } from "../governance/types.js";
+import { type ActualsAdvanceDetails, type AdvanceResult } from "../mutation/advance.js";
+import type { TargetGrammar5Capability } from "../parser/document-parser.js";
+import type { TargetActualsMutationOptions } from "./target-actuals-mutation.js";
+export interface TargetActualsAdvanceResultV3 extends Omit<AdvanceResult, "advance"> {
+    readonly schemaVersion: "Perttool.MutationResult.v3";
+    readonly governance: GovernanceDecisionV1 | null;
+    readonly lifecycle: null;
+    readonly advance: ActualsAdvanceDetails | null;
+}
+export declare function planTargetActualsAdvance(text: string, capability: TargetGrammar5Capability, options?: TargetActualsMutationOptions): TargetActualsAdvanceResultV3;
+//# sourceMappingURL=target-actuals-advance.d.ts.map

package/dist/application/target-actuals-advance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"target-actuals-advance.d.ts","sourceRoot":"","sources":["../../src/application/target-actuals-advance.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EACV,oBAAoB,EACrB,MAAM,wBAAwB,CAAC;AAMhC,OAAO,EAEL,KAAK,qBAAqB,EAE1B,KAAK,aAAa,EACnB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EACV,wBAAwB,EACzB,MAAM,8BAA8B,CAAC;AAItC,OAAO,KAAK,EACV,4BAA4B,EAC7B,MAAM,8BAA8B,CAAC;AAEtC,MAAM,WAAW,4BACf,SAAQ,IAAI,CAAC,aAAa,EAAE,SAAS,CAAC;IACtC,QAAQ,CAAC,aAAa,EAAE,4BAA4B,CAAC;IACrD,QAAQ,CAAC,UAAU,EAAE,oBAAoB,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,qBAAqB,GAAG,IAAI,CAAC;CAChD;AA6BD,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,wBAAwB,EACpC,OAAO,GAAE,4BAAiC,GACzC,4BAA4B,CA4H9B"}

package/dist/application/target-actuals-advance.js

@@ -0,0 +1,113 @@
+import { createHash } from "node:crypto";
+import { validateStoredLifecycleState } from "../actuals/lifecycle.js";
+import { classifyGovernanceScopes, evaluateGovernanceAuthority, governanceDenialDiagnostic, normalizeGovernanceRequest, } from "../governance/authority.js";
+import { governanceMetadataFromDocument } from "../governance/source.js";
+import { limitDiagnostics, normalizeMaxDiagnostics, sortDiagnostics, } from "../model/diagnostics.js";
+import { planValidatedAdvance, } from "../mutation/advance.js";
+import { validateTargetGrammar5Document, } from "../semantic/target-validator.js";
+function actualsAdvanceValidator(capability) {
+    return (text, maxDiagnostics) => {
+        const checked = validateTargetGrammar5Document(text, capability, { maxDiagnostics });
+        const lifecycleDiagnostics = checked.validatedDocument === null
+            ? []
+            : validateStoredLifecycleState(checked.validatedDocument);
+        const diagnostics = sortDiagnostics([
+            ...checked.diagnostics,
+            ...lifecycleDiagnostics,
+        ]);
+        return {
+            ok: checked.ok && lifecycleDiagnostics.length === 0,
+            document: checked.document,
+            documentId: checked.documentId,
+            diagnostics,
+            diagnosticsTruncated: checked.diagnosticsTruncated,
+        };
+    };
+}
+export function planTargetActualsAdvance(text, capability, options = {}) {
+    const maximum = normalizeMaxDiagnostics(options.maxDiagnostics);
+    const original = validateTargetGrammar5Document(text, capability, { maxDiagnostics: maximum });
+    if (!original.ok || original.validatedDocument === null) {
+        const base = planValidatedAdvance(text, actualsAdvanceValidator(capability), options, { removeTaskOwnedWorkEvents: true });
+        return Object.freeze({
+            ...base,
+            schemaVersion: "Perttool.MutationResult.v3",
+            governance: null,
+            lifecycle: null,
+            advance: base.advance,
+        });
+    }
+    const lifecycleDiagnostics = validateStoredLifecycleState(original.validatedDocument);
+    if (lifecycleDiagnostics.length > 0) {
+        const base = planValidatedAdvance(text, actualsAdvanceValidator(capability), options, { removeTaskOwnedWorkEvents: true });
+        return Object.freeze({
+            ...base,
+            schemaVersion: "Perttool.MutationResult.v3",
+            governance: null,
+            lifecycle: null,
+            advance: null,
+        });
+    }
+    const normalized = normalizeGovernanceRequest(options.governance);
+    if (!normalized.ok) {
+        const limited = limitDiagnostics(sortDiagnostics([
+            ...original.diagnostics,
+            ...normalized.diagnostics,
+        ]), maximum);
+        return Object.freeze({
+            schemaVersion: "Perttool.MutationResult.v3",
+            ok: false,
+            documentId: original.documentId,
+            changed: false,
+            originalDigest: digest(text),
+            updatedDigest: null,
+            updatedText: null,
+            diff: null,
+            edits: Object.freeze([]),
+            diagnostics: limited.diagnostics,
+            diagnosticsTruncated: original.diagnosticsTruncated || limited.truncated,
+            governance: null,
+            lifecycle: null,
+            advance: null,
+        });
+    }
+    const base = planValidatedAdvance(text, actualsAdvanceValidator(capability), options, { removeTaskOwnedWorkEvents: true });
+    if (!base.ok ||
+        base.updatedText === null ||
+        base.updatedDigest === null ||
+        base.advance === null) {
+        return Object.freeze({
+            ...base,
+            schemaVersion: "Perttool.MutationResult.v3",
+            governance: null,
+            lifecycle: null,
+            advance: base.advance,
+        });
+    }
+    const candidate = validateTargetGrammar5Document(base.updatedText, capability, { maxDiagnostics: maximum });
+    if (!candidate.ok || candidate.validatedDocument === null) {
+        throw new Error("actuals advance candidate lost Grammar 5 validation");
+    }
+    const metadata = governanceMetadataFromDocument(original.validatedDocument.document);
+    const governance = evaluateGovernanceAuthority({
+        originalDigest: base.originalDigest,
+        effective: metadata.effective,
+    }, classifyGovernanceScopes(original.validatedDocument.document, candidate.validatedDocument.document), normalized.request);
+    const denial = governanceDenialDiagnostic(governance);
+    const diagnostics = denial === null ? base.diagnostics : [...base.diagnostics, denial];
+    const limited = limitDiagnostics(sortDiagnostics(diagnostics), maximum);
+    return Object.freeze({
+        ...base,
+        schemaVersion: "Perttool.MutationResult.v3",
+        ok: denial === null,
+        governance,
+        lifecycle: null,
+        advance: base.advance,
+        diagnostics: limited.diagnostics,
+        diagnosticsTruncated: base.diagnosticsTruncated || limited.truncated,
+    });
+}
+function digest(text) {
+    return `sha256:${createHash("sha256").update(text, "utf8").digest("hex")}`;
+}
+//# sourceMappingURL=target-actuals-advance.js.map

package/dist/application/target-actuals-advance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"target-actuals-advance.js","sourceRoot":"","sources":["../../src/application/target-actuals-advance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,4BAA4B,EAAE,MAAM,yBAAyB,CAAC;AACvE,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,8BAA8B,EAAE,MAAM,yBAAyB,CAAC;AAIzE,OAAO,EACL,gBAAgB,EAChB,uBAAuB,EACvB,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,oBAAoB,GAIrB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,EACL,8BAA8B,GAC/B,MAAM,iCAAiC,CAAC;AAazC,SAAS,uBAAuB,CAC9B,UAAoC;IAEpC,OAAO,CAAC,IAAI,EAAE,cAAc,EAAE,EAAE;QAC9B,MAAM,OAAO,GAAG,8BAA8B,CAC5C,IAAI,EACJ,UAAU,EACV,EAAE,cAAc,EAAE,CACnB,CAAC;QACF,MAAM,oBAAoB,GACxB,OAAO,CAAC,iBAAiB,KAAK,IAAI;YAChC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,4BAA4B,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAC9D,MAAM,WAAW,GAAG,eAAe,CAAC;YAClC,GAAG,OAAO,CAAC,WAAW;YACtB,GAAG,oBAAoB;SACxB,CAAC,CAAC;QACH,OAAO;YACL,EAAE,EAAE,OAAO,CAAC,EAAE,IAAI,oBAAoB,CAAC,MAAM,KAAK,CAAC;YACnD,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,WAAW;YACX,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;SACnD,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,IAAY,EACZ,UAAoC,EACpC,OAAO,GAAiC,EAAE;IAE1C,MAAM,OAAO,GAAG,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,8BAA8B,CAC7C,IAAI,EACJ,UAAU,EACV,EAAE,cAAc,EAAE,OAAO,EAAE,CAC5B,CAAC;IACF,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,QAAQ,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QACxD,MAAM,IAAI,GAAG,oBAAoB,CAC/B,IAAI,EACJ,uBAAuB,CAAC,UAAU,CAAC,EACnC,OAAO,EACP,EAAE,yBAAyB,EAAE,IAAI,EAAE,CACpC,CAAC;QACF,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,IAAI;YACP,aAAa,EAAE,4BAA4B;YAC3C,UAAU,EAAE,IAAI;YAChB,SAAS,EAAE,IAAI;YACf,OAAO,EAAE,IAAI,CAAC,OAAuC;SACtD,CAAC,CAAC;IACL,CAAC;IACD,MAAM,oBAAoB,GAAG,4BAA4B,CACvD,QAAQ,CAAC,iBAAiB,CAC3B,CAAC;IACF,IAAI,oBAAoB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,oBAAoB,CAC/B,IAAI,EACJ,uBAAuB,CAAC,UAAU,CAAC,EACnC,OAAO,EACP,EAAE,yBAAyB,EAAE,IAAI,EAAE,CACpC,CAAC;QACF,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,IAAI;YACP,aAAa,EAAE,4BAA4B;YAC3C,UAAU,EAAE,IAAI;YAChB,SAAS,EAAE,IAAI;YACf,OAAO,EAAE,IAAI;SACd,CAAC,CAAC;IACL,CAAC;IACD,MAAM,UAAU,GAAG,0BAA0B,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAClE,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QACnB,MAAM,OAAO,GAAG,gBAAgB,CAC9B,eAAe,CAAC;YACd,GAAG,QAAQ,CAAC,WAAW;YACvB,GAAG,UAAU,CAAC,WAAW;SAC1B,CAAC,EACF,OAAO,CACR,CAAC;QACF,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,aAAa,EAAE,4BAA4B;YAC3C,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,QAAQ,CAAC,UAAU;YAC/B,OAAO,EAAE,KAAK;YACd,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC;YAC5B,aAAa,EAAE,IAAI;YACnB,WAAW,EAAE,IAAI;YACjB,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACxB,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,oBAAoB,EAClB,QAAQ,CAAC,oBAAoB,IAAI,OAAO,CAAC,SAAS;YACpD,UAAU,EAAE,IAAI;YAChB,SAAS,EAAE,IAAI;YACf,OAAO,EAAE,IAAI;SACd,CAAC,CAAC;IACL,CAAC;IACD,MAAM,IAAI,GAAG,oBAAoB,CAC/B,IAAI,EACJ,uBAAuB,CAAC,UAAU,CAAC,EACnC,OAAO,EACP,EAAE,yBAAyB,EAAE,IAAI,EAAE,CACpC,CAAC;IACF,IACE,CAAC,IAAI,CAAC,EAAE;QACR,IAAI,CAAC,WAAW,KAAK,IAAI;QACzB,IAAI,CAAC,aAAa,KAAK,IAAI;QAC3B,IAAI,CAAC,OAAO,KAAK,IAAI,EACrB,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,IAAI;YACP,aAAa,EAAE,4BAA4B;YAC3C,UAAU,EAAE,IAAI;YAChB,SAAS,EAAE,IAAI;YACf,OAAO,EAAE,IAAI,CAAC,OAAuC;SACtD,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,8BAA8B,CAC9C,IAAI,CAAC,WAAW,EAChB,UAAU,EACV,EAAE,cAAc,EAAE,OAAO,EAAE,CAC5B,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,SAAS,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,QAAQ,GAAG,8BAA8B,CAC7C,QAAQ,CAAC,iBAAiB,CAAC,QAAQ,CACpC,CAAC;IACF,MAAM,UAAU,GAAG,2BAA2B,CAC5C;QACE,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,SAAS,EAAE,QAAQ,CAAC,SAAS;KAC9B,EACD,wBAAwB,CACtB,QAAQ,CAAC,iBAAiB,CAAC,QAAQ,EACnC,SAAS,CAAC,iBAAiB,CAAC,QAAQ,CACrC,EACD,UAAU,CAAC,OAAO,CACnB,CAAC;IACF,MAAM,MAAM,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;IACtD,MAAM,WAAW,GACf,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,gBAAgB,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC;IACxE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,aAAa,EAAE,4BAA4B;QAC3C,EAAE,EAAE,MAAM,KAAK,IAAI;QACnB,UAAU;QACV,SAAS,EAAE,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAgC;QAC9C,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,oBAAoB,EAClB,IAAI,CAAC,oBAAoB,IAAI,OAAO,CAAC,SAAS;KACjD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,MAAM,CAAC,IAAY;IAC1B,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AAC7E,CAAC"}

package/dist/application/target-actuals-analysis.d.ts

@@ -0,0 +1,76 @@
+import { type ActualsCoverage, type TaskLifecycleState } from "../actuals/lifecycle.js";
+import { type DeadlineEvaluation } from "../analysis/temporal-deadline.js";
+import type { PrecedenceResult } from "../analysis/precedence.js";
+import type { ResourceScheduleResult } from "../analysis/resource.js";
+import { type Diagnostic } from "../model/diagnostics.js";
+import type { DocumentNode, TargetDeclarationKind } from "../model/syntax.js";
+import type { TargetGrammar5Capability } from "../parser/document-parser.js";
+import { type AnalysisResult, type AnalyzeOptions } from "./analyze.js";
+import { type NextGroups, type NextOptions, type NextResultV3, type NextTask } from "./next.js";
+import { type TargetNextTemporalTask, type TargetTemporalAnalysis } from "./target-temporal-analysis.js";
+export declare const TARGET_ACTUALS_ANALYSIS_RESULT_SCHEMA_VERSION: "Perttool.AnalysisResult.v4";
+export declare const TARGET_ACTUALS_NEXT_RESULT_SCHEMA_VERSION: "Perttool.NextResult.v5";
+export interface TargetTaskActualsCoverage {
+    readonly taskId: string;
+    readonly status: TaskLifecycleState;
+    readonly coverage: ActualsCoverage;
+}
+interface SuspensionCondition {
+    readonly conditionalOnSuspensionsResumed: boolean;
+    readonly suspendedTaskIds: readonly string[];
+}
+export type TargetActualsPrecedenceResult = PrecedenceResult & SuspensionCondition;
+export type TargetActualsResourceScheduleResult = ResourceScheduleResult & SuspensionCondition;
+export type TargetActualsTemporalAnalysis = Omit<TargetTemporalAnalysis, "precedence" | "resource"> & {
+    readonly precedence: TargetTemporalAnalysis["precedence"] & SuspensionCondition;
+    readonly resource: TargetTemporalAnalysis["resource"] & SuspensionCondition;
+    readonly deadlineEvaluations: readonly (DeadlineEvaluation & SuspensionCondition)[];
+};
+export interface TargetActualsAnalysisResultV4 {
+    readonly schemaVersion: typeof TARGET_ACTUALS_ANALYSIS_RESULT_SCHEMA_VERSION;
+    readonly ok: boolean;
+    readonly documentId: string | null;
+    readonly grammarVersion: number | null;
+    readonly base: AnalysisResult | null;
+    readonly taskActuals: readonly TargetTaskActualsCoverage[];
+    readonly precedence: TargetActualsPrecedenceResult | null;
+    readonly resource: TargetActualsResourceScheduleResult | null;
+    readonly temporal: TargetActualsTemporalAnalysis | null;
+    readonly diagnostics: readonly Diagnostic[];
+    readonly diagnosticsTruncated: boolean;
+}
+export interface TargetActualsNextTask extends Omit<NextTask, "status" | "classification"> {
+    readonly status: TaskLifecycleState;
+    readonly classification: NextTask["classification"] | "suspended";
+}
+export interface TargetActualsNextGroups extends NextGroups {
+    readonly suspended: readonly string[];
+}
+export interface TargetActualsNextResultV5 extends Omit<NextResultV3, "document" | "groups" | "tasks"> {
+    readonly schemaVersion: typeof TARGET_ACTUALS_NEXT_RESULT_SCHEMA_VERSION;
+    readonly grammarVersion: 1 | 2 | 3 | 4 | 5;
+    readonly document: DocumentNode<TargetDeclarationKind>;
+    readonly groups: TargetActualsNextGroups;
+    readonly tasks: readonly TargetActualsNextTask[];
+    readonly temporal: {
+        readonly authority: {
+            readonly policy: "recommendation_v1_plus_release_gate";
+            readonly recommendationAlgorithm: {
+                readonly id: string;
+                readonly version: number;
+            };
+            readonly deadlineFactsUsedForRanking: false;
+            readonly timeEligibleTaskIds: readonly string[];
+            readonly timeIneligibleTaskIds: readonly string[];
+            readonly timeEligibilityUnavailableTaskIds: readonly string[];
+            readonly startableRecommendedTaskIds: readonly string[];
+            readonly delayedRecommendedTaskIds: readonly string[];
+            readonly unavailableRecommendedTaskIds: readonly string[];
+        };
+        readonly tasks: readonly TargetNextTemporalTask[];
+    };
+}
+export declare function analyzeTargetActualsDocument(text: string, capability: TargetGrammar5Capability, options?: AnalyzeOptions): TargetActualsAnalysisResultV4;
+export declare function selectTargetActualsTasks(text: string, capability: TargetGrammar5Capability, options?: AnalyzeOptions & NextOptions): TargetActualsNextResultV5 | TargetActualsAnalysisResultV4;
+export {};
+//# sourceMappingURL=target-actuals-analysis.d.ts.map

package/dist/application/target-actuals-analysis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"target-actuals-analysis.d.ts","sourceRoot":"","sources":["../../src/application/target-actuals-analysis.ts"],"names":[],"mappings":"AAKA,OAAO,EAIL,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACxB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAEL,KAAK,kBAAkB,EACxB,MAAM,kCAAkC,CAAC;AAO1C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,EAKL,KAAK,UAAU,EAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAEV,YAAY,EAEZ,qBAAqB,EACtB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EACV,wBAAwB,EACzB,MAAM,8BAA8B,CAAC;AAKtC,OAAO,EAEL,KAAK,cAAc,EACnB,KAAK,cAAc,EACpB,MAAM,cAAc,CAAC;AACtB,OAAO,EAEL,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,QAAQ,EACd,MAAM,WAAW,CAAC;AACnB,OAAO,EAGL,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,EAE5B,MAAM,+BAA+B,CAAC;AAKvC,eAAO,MAAM,6CAA6C,EACxD,4BAAqC,CAAC;AACxC,eAAO,MAAM,yCAAyC,EACpD,wBAAiC,CAAC;AAEpC,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;CACpC;AAED,UAAU,mBAAmB;IAC3B,QAAQ,CAAC,+BAA+B,EAAE,OAAO,CAAC;IAClD,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C;AAED,MAAM,MAAM,6BAA6B,GACvC,gBAAgB,GAAG,mBAAmB,CAAC;AACzC,MAAM,MAAM,mCAAmC,GAC7C,sBAAsB,GAAG,mBAAmB,CAAC;AAE/C,MAAM,MAAM,6BAA6B,GACvC,IAAI,CAAC,sBAAsB,EAAE,YAAY,GAAG,UAAU,CAAC,GAAG;IACxD,QAAQ,CAAC,UAAU,EACjB,sBAAsB,CAAC,YAAY,CAAC,GAAG,mBAAmB,CAAC;IAC7D,QAAQ,CAAC,QAAQ,EACf,sBAAsB,CAAC,UAAU,CAAC,GAAG,mBAAmB,CAAC;IAC3D,QAAQ,CAAC,mBAAmB,EAAE,SAAS,CACrC,kBAAkB,GAAG,mBAAmB,CACzC,EAAE,CAAC;CACL,CAAC;AAEJ,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,aAAa,EACpB,OAAO,6CAA6C,CAAC;IACvD,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,IAAI,EAAE,cAAc,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,SAAS,yBAAyB,EAAE,CAAC;IAC3D,QAAQ,CAAC,UAAU,EAAE,6BAA6B,GAAG,IAAI,CAAC;IAC1D,QAAQ,CAAC,QAAQ,EAAE,mCAAmC,GAAG,IAAI,CAAC;IAC9D,QAAQ,CAAC,QAAQ,EAAE,6BAA6B,GAAG,IAAI,CAAC;IACxD,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;CACxC;AAED,MAAM,WAAW,qBACf,SAAQ,IAAI,CAAC,QAAQ,EAAE,QAAQ,GAAG,gBAAgB,CAAC;IACnD,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,cAAc,EACnB,QAAQ,CAAC,gBAAgB,CAAC,GAC1B,WAAW,CAAC;CACjB;AAED,MAAM,WAAW,uBAAwB,SAAQ,UAAU;IACzD,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,yBACf,SAAQ,IAAI,CAAC,YAAY,EAAE,UAAU,GAAG,QAAQ,GAAG,OAAO,CAAC;IAC3D,QAAQ,CAAC,aAAa,EAAE,OAAO,yCAAyC,CAAC;IACzE,QAAQ,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC,qBAAqB,CAAC,CAAC;IACvD,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACjD,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,SAAS,EAAE;YAClB,QAAQ,CAAC,MAAM,EAAE,qCAAqC,CAAC;YACvD,QAAQ,CAAC,uBAAuB,EAAE;gBAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;gBACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;aAC1B,CAAC;YACF,QAAQ,CAAC,2BAA2B,EAAE,KAAK,CAAC;YAC5C,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;YAChD,QAAQ,CAAC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC;YAClD,QAAQ,CAAC,iCAAiC,EAAE,SAAS,MAAM,EAAE,CAAC;YAC9D,QAAQ,CAAC,2BAA2B,EAAE,SAAS,MAAM,EAAE,CAAC;YACxD,QAAQ,CAAC,yBAAyB,EAAE,SAAS,MAAM,EAAE,CAAC;YACtD,QAAQ,CAAC,6BAA6B,EAAE,SAAS,MAAM,EAAE,CAAC;SAC3D,CAAC;QACF,QAAQ,CAAC,KAAK,EAAE,SAAS,sBAAsB,EAAE,CAAC;KACnD,CAAC;CACH;AAqHD,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,wBAAwB,EACpC,OAAO,GAAE,cAAmB,GAC3B,6BAA6B,CA6H/B;AAMD,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,wBAAwB,EACpC,OAAO,GAAE,cAAc,GAAG,WAAgB,GACzC,yBAAyB,GAAG,6BAA6B,CAkH3D"}