perttool 0.8.1 → 0.9.1

package/dist/milestone-acceptance/mutation.js

@@ -0,0 +1,136 @@
+import { evaluateGovernanceAuthority, governanceDecisionDiagnostics, normalizeGovernanceRequest } from "../governance/authority.js";
+import { sha256DigestUtf8 } from "../model/sha256.js";
+import { replaceValidatedDocumentFile } from "../io/safe-write.js";
+import { evaluateMilestoneAcceptance } from "./evaluate.js";
+import { MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY, milestoneCriterionSetCommitment, normalizeCallerAssertedUtcZ, parseMilestoneAcceptanceSource, } from "./source.js";
+const idPattern = /^[A-Za-z][A-Za-z0-9_-]*$/u;
+function governanceMetadata(text) {
+    const owner = /^  dag_owner ([A-Za-z][A-Za-z0-9_-]*)$/mu.exec(text)?.[1] ?? "user";
+    const delegates = /^  dag_delegates(?: ([A-Za-z][A-Za-z0-9_-]*(?: [A-Za-z][A-Za-z0-9_-]*)*))?$/mu.exec(text)?.[1]?.split(" ") ?? [];
+    return { owner, delegates: new Set(delegates) };
+}
+function decision(text, digest, input) {
+    const normalized = normalizeGovernanceRequest(input);
+    if (!normalized.ok)
+        return { value: null, diagnostics: Object.freeze(normalized.diagnostics.map(({ code }) => code)) };
+    const metadata = governanceMetadata(text);
+    const value = evaluateGovernanceAuthority({
+        originalDigest: digest,
+        effective: {
+            goalOwner: "user", goalDelegates: new Set(),
+            dagOwner: metadata.owner, dagDelegates: metadata.delegates,
+        },
+    }, ["dag"], normalized.request);
+    return { value, diagnostics: Object.freeze(governanceDecisionDiagnostics(value).map(({ code }) => code)) };
+}
+function failure(operation, text, diagnostics, governance = null) {
+    return Object.freeze({ modelVersion: 1, operation, ok: false, changed: false, replayed: false, originalDigest: sha256DigestUtf8(text), updatedDigest: null, updatedText: null, governance, evaluation: null, diagnostics: Object.freeze([...diagnostics]) });
+}
+function insertAtEnd(text, block) {
+    return `${text}${text.endsWith("\n") ? "" : "\n"}${text.endsWith("\n\n") ? "" : "\n"}${block}`;
+}
+function removeSpans(text, spans) {
+    let result = text;
+    for (const span of [...spans].sort((a, b) => b.start.offset - a.start.offset)) {
+        let start = span.start.offset;
+        let end = span.end.offset;
+        if (start > 0 && text.slice(Math.max(0, start - 1), start) === "\n" && text.slice(Math.max(0, start - 2), start) === "\n\n")
+            start -= 1;
+        result = result.slice(0, start) + result.slice(end);
+    }
+    return result;
+}
+function criterionCommitment(input, criterion) {
+    return sha256DigestUtf8(JSON.stringify(["Perttool.MilestoneCriterion.v1", input.milestoneId, input.revisionId, criterion.criterionId, criterion.required, criterion.evidenceKind, criterion.description]));
+}
+function replacementBlock(input) {
+    const criteria = input.criteria.map((criterion) => ({ ...criterion, commitment: criterionCommitment(input, criterion) }));
+    const commitment = milestoneCriterionSetCommitment(input.milestoneId, input.revisionId, criteria);
+    return `milestone_criterion_set ${input.setId}:\n  milestone ${input.milestoneId}\n  revision ${input.revisionId}\n  commitment ${commitment}\n${criteria.map((criterion) => `  criterion ${criterion.criterionId} ${criterion.required ? "required" : "optional"} ${criterion.evidenceKind} ${JSON.stringify(criterion.description)}\n`).join("")}`;
+}
+function finalResult(operation, text, candidate, governance, replayed = false) {
+    const parsed = parseMilestoneAcceptanceSource(candidate, MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY);
+    if (!parsed.ok)
+        return failure(operation, text, parsed.diagnostics.map(({ code }) => code), governance);
+    const milestoneIds = [...candidate.matchAll(/^milestone ([A-Za-z][A-Za-z0-9_-]*):$/gmu)].map((match) => match[1]);
+    const evaluation = evaluateMilestoneAcceptance({ source: parsed, milestoneIds, closureReachedMilestoneIds: new Set() });
+    if (!evaluation.ok)
+        return failure(operation, text, evaluation.diagnostics.map(({ code }) => code), governance);
+    const diagnostics = governanceDecisionDiagnostics(governance).map(({ code }) => code);
+    const denied = diagnostics.includes("PTGOV-101");
+    return Object.freeze({ modelVersion: 1, operation, ok: !denied, changed: candidate !== text, replayed, originalDigest: sha256DigestUtf8(text), updatedDigest: sha256DigestUtf8(candidate), updatedText: candidate, governance, evaluation, diagnostics: Object.freeze(diagnostics) });
+}
+export function planCriterionSetReplacement(text, input, options = {}) {
+    const parsed = parseMilestoneAcceptanceSource(text, MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY);
+    if (!parsed.ok)
+        return failure("replace", text, parsed.diagnostics.map(({ code }) => code));
+    if (![input.setId, input.milestoneId, input.revisionId].every((id) => idPattern.test(id)) || input.criteria.length === 0 || !input.criteria.some(({ required }) => required) || new Set(input.criteria.map(({ criterionId }) => criterionId)).size !== input.criteria.length || input.criteria.some(({ criterionId, description }) => !idPattern.test(criterionId) || description.length === 0))
+        return failure("replace", text, ["invalid_replacement"]);
+    const originalDigest = sha256DigestUtf8(text);
+    const governed = decision(text, originalDigest, options.governance);
+    if (governed.value === null)
+        return failure("replace", text, governed.diagnostics);
+    const ownedSets = parsed.records.filter((record) => record.kind === "milestone_criterion_set" && record.milestoneId === input.milestoneId);
+    const ownedIds = new Set(ownedSets.map(({ id }) => id));
+    const owned = parsed.records.filter((record) => ownedIds.has(record.kind === "milestone_acceptance_receipt" ? record.setId : record.id));
+    const candidate = insertAtEnd(removeSpans(text, owned.map(({ span }) => span)), replacementBlock(input));
+    return finalResult("replace", text, candidate, governed.value);
+}
+function receiptBlock(set, criterion, input) {
+    const time = input.occurredAt === undefined ? null : normalizeCallerAssertedUtcZ(input.occurredAt);
+    if (input.action === "verify" && (input.evidenceKind !== criterion.evidenceKind || !input.evidenceReference || !input.evidenceRevision || !input.verifier || time === null))
+        return null;
+    if (input.action === "revoke" && !input.revokes)
+        return null;
+    if (input.action === "waive" && (!criterion.required || !input.reason))
+        return null;
+    let block = `milestone_acceptance_receipt ${input.receiptId}:\n  model 1\n  set ${set.id}\n  set_commitment ${set.commitment}\n  criterion ${criterion.criterionId}\n  criterion_commitment ${criterion.commitment}\n  action ${input.action}\n`;
+    if (input.action === "verify")
+        block += `  evidence_kind ${input.evidenceKind}\n  evidence_reference ${JSON.stringify(input.evidenceReference)}\n  evidence_revision ${input.evidenceRevision}\n  verifier ${input.verifier}\n  occurred_at ${time}\n`;
+    if (input.reason !== undefined)
+        block += `  reason ${JSON.stringify(input.reason)}\n`;
+    if (input.revokes !== undefined)
+        block += `  revokes ${input.revokes}\n`;
+    return block;
+}
+export function planAcceptanceReceiptMutation(text, input, options = {}) {
+    const parsed = parseMilestoneAcceptanceSource(text, MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY);
+    if (!parsed.ok)
+        return failure(input.action, text, parsed.diagnostics.map(({ code }) => code));
+    if (![input.receiptId, input.setId, input.criterionId].every((id) => idPattern.test(id)))
+        return failure(input.action, text, ["invalid_receipt"]);
+    const set = parsed.records.find((record) => record.kind === "milestone_criterion_set" && record.id === input.setId);
+    const criterion = set?.criteria.find(({ criterionId }) => criterionId === input.criterionId);
+    if (set === undefined || criterion === undefined)
+        return failure(input.action, text, ["unknown_criterion"]);
+    const block = receiptBlock(set, criterion, input);
+    if (block === null)
+        return failure(input.action, text, ["invalid_receipt"]);
+    const existing = parsed.records.find((record) => record.kind === "milestone_acceptance_receipt" && record.id === input.receiptId);
+    if (existing !== undefined) {
+        const canonicalExisting = text.slice(existing.span.start.offset, existing.span.end.offset);
+        if (canonicalExisting === block) {
+            const governed = decision(text, sha256DigestUtf8(text), options.governance);
+            return governed.value === null ? failure(input.action, text, governed.diagnostics) : finalResult(input.action, text, text, governed.value, true);
+        }
+        return failure(input.action, text, ["conflicting_receipt_identity"]);
+    }
+    const governed = decision(text, sha256DigestUtf8(text), options.governance);
+    if (governed.value === null)
+        return failure(input.action, text, governed.diagnostics);
+    return finalResult(input.action, text, insertAtEnd(text, block), governed.value);
+}
+export function showMilestoneAcceptance(text, closureReachedMilestoneIds) {
+    const source = parseMilestoneAcceptanceSource(text, MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY);
+    const milestoneIds = [...text.matchAll(/^milestone ([A-Za-z][A-Za-z0-9_-]*):$/gmu)].map((match) => match[1]);
+    return evaluateMilestoneAcceptance({ source, milestoneIds, closureReachedMilestoneIds: new Set(closureReachedMilestoneIds) });
+}
+export async function persistMilestoneAcceptanceMutation(path, result, expectedDigest) {
+    if (!result.ok || !result.changed || result.updatedText === null || result.governance?.intent !== "persist" || !result.governance.writeAuthorized)
+        throw new TypeError("milestone acceptance mutation is not persistable");
+    return replaceValidatedDocumentFile(path, result.updatedText, { initialDigest: result.originalDigest, ...(expectedDigest === undefined ? {} : { expectedDigest }) }, (candidate) => {
+        const parsed = parseMilestoneAcceptanceSource(candidate, MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY);
+        return { ok: parsed.ok, diagnostics: [] };
+    });
+}
+//# sourceMappingURL=mutation.js.map

package/dist/milestone-acceptance/mutation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutation.js","sourceRoot":"","sources":["../../src/milestone-acceptance/mutation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAE,6BAA6B,EAAE,0BAA0B,EAAE,MAAM,4BAA4B,CAAC;AAEpI,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,4BAA4B,EAA4B,MAAM,qBAAqB,CAAC;AAC7F,OAAO,EAAE,2BAA2B,EAAyC,MAAM,eAAe,CAAC;AACnG,OAAO,EACL,sCAAsC,EACtC,+BAA+B,EAC/B,2BAA2B,EAC3B,8BAA8B,GAO/B,MAAM,aAAa,CAAC;AA8CrB,MAAM,SAAS,GAAG,2BAA2B,CAAC;AAE9C,SAAS,kBAAkB,CAAC,IAAY;IACtC,MAAM,KAAK,GAAG,0CAA0C,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC;IACnF,MAAM,SAAS,GAAG,+EAA+E,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IACpI,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,MAA0B,EAAE,KAAyC;IACnG,MAAM,UAAU,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;IACrD,IAAI,CAAC,UAAU,CAAC,EAAE;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;IACvH,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,2BAA2B,CAAC;QACxC,cAAc,EAAE,MAAM;QACtB,SAAS,EAAE;YACT,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,GAAG,EAAE;YAC3C,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE,YAAY,EAAE,QAAQ,CAAC,SAAS;SAC3D;KACF,EAAE,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;IAChC,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,6BAA6B,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;AAC7G,CAAC;AAED,SAAS,OAAO,CAAC,SAA2D,EAAE,IAAY,EAAE,WAA8B,EAAE,UAAU,GAAgC,IAAI;IACxK,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,cAAc,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;AAC/P,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,OAAO,GAAG,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,EAAE,CAAC;AACjG,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAA4G;IAC7I,IAAI,MAAM,GAAG,IAAI,CAAC;IAClB,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9E,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;QAC9B,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;QAC1B,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,MAAM;YAAE,KAAK,IAAI,CAAC,CAAC;QACxI,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAkC,EAAE,SAA0D;IACzH,OAAO,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,gCAAgC,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,EAAE,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,QAAQ,EAAE,SAAS,CAAC,YAAY,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;AAC7M,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAkC;IAC1D,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,UAAU,EAAE,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1H,MAAM,UAAU,GAAG,+BAA+B,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAClG,OAAO,2BAA2B,KAAK,CAAC,KAAK,kBAAkB,KAAK,CAAC,WAAW,gBAAgB,KAAK,CAAC,UAAU,kBAAkB,UAAU,KAAK,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,eAAe,SAAS,CAAC,WAAW,IAAI,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,IAAI,SAAS,CAAC,YAAY,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;AACvV,CAAC;AAED,SAAS,WAAW,CAAC,SAA2D,EAAE,IAAY,EAAE,SAAiB,EAAE,UAAgC,EAAE,QAAQ,GAAG,KAAK;IACnK,MAAM,MAAM,GAAG,8BAA8B,CAAC,SAAS,EAAE,sCAAsC,CAAC,CAAC;IACjG,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC;IACxG,MAAM,YAAY,GAAG,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,0CAA0C,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IACnH,MAAM,UAAU,GAAG,2BAA2B,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,0BAA0B,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;IACxH,IAAI,CAAC,UAAU,CAAC,EAAE;QAAE,OAAO,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC;IAChH,MAAM,WAAW,GAAG,6BAA6B,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IACtF,MAAM,MAAM,GAAG,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,KAAK,IAAI,EAAE,QAAQ,EAAE,cAAc,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,gBAAgB,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;AACxR,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,IAAY,EAAE,KAAkC,EAAE,OAAO,GAAyC,EAAE;IAC9I,MAAM,MAAM,GAAG,8BAA8B,CAAC,IAAI,EAAE,sCAAsC,CAAC,CAAC;IAC5F,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5F,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,CAAC,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;IAC1b,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACpE,IAAI,QAAQ,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;IACnF,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAA2C,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,yBAAyB,IAAI,MAAM,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,CAAC,CAAC;IACpL,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,8BAA8B,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IACzI,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;IACzG,OAAO,WAAW,CAAC,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,YAAY,CAAC,GAAkC,EAAE,SAAqC,EAAE,KAA6B;IAC5H,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,2BAA2B,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACnG,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,YAAY,IAAI,CAAC,KAAK,CAAC,iBAAiB,IAAI,CAAC,KAAK,CAAC,gBAAgB,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACzL,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACpF,IAAI,KAAK,GAAG,gCAAgC,KAAK,CAAC,SAAS,uBAAuB,GAAG,CAAC,EAAE,sBAAsB,GAAG,CAAC,UAAU,iBAAiB,SAAS,CAAC,WAAW,4BAA4B,SAAS,CAAC,UAAU,cAAc,KAAK,CAAC,MAAM,IAAI,CAAC;IACjP,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ;QAAE,KAAK,IAAI,mBAAmB,KAAK,CAAC,YAAY,0BAA0B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,iBAAiB,CAAC,yBAAyB,KAAK,CAAC,gBAAgB,gBAAgB,KAAK,CAAC,QAAQ,mBAAmB,IAAI,IAAI,CAAC;IACvP,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,KAAK,IAAI,YAAY,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC;IACtF,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;QAAE,KAAK,IAAI,aAAa,KAAK,CAAC,OAAO,IAAI,CAAC;IACzE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,IAAY,EAAE,KAA6B,EAAE,OAAO,GAAyC,EAAE;IAC3I,MAAM,MAAM,GAAG,8BAA8B,CAAC,IAAI,EAAE,sCAAsC,CAAC,CAAC;IAC5F,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/F,IAAI,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAClJ,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAA2C,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,yBAAyB,IAAI,MAAM,CAAC,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7J,MAAM,SAAS,GAAG,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,CAAC,CAAC;IAC7F,IAAI,GAAG,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;IAC5G,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IAClD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAgD,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,8BAA8B,IAAI,MAAM,CAAC,EAAE,KAAK,KAAK,CAAC,SAAS,CAAC,CAAC;IAChL,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC3F,IAAI,iBAAiB,KAAK,KAAK,EAAE,CAAC;YAChC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;YAC5E,OAAO,QAAQ,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACnJ,CAAC;QACD,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,8BAA8B,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IAC5E,IAAI,QAAQ,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;IACtF,OAAO,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,IAAY,EAAE,0BAA6C;IACjG,MAAM,MAAM,GAAG,8BAA8B,CAAC,IAAI,EAAE,sCAAsC,CAAC,CAAC;IAC5F,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,0CAA0C,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IAC9G,OAAO,2BAA2B,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,0BAA0B,EAAE,IAAI,GAAG,CAAC,0BAA0B,CAAC,EAAE,CAAC,CAAC;AAChI,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kCAAkC,CAAC,IAAY,EAAE,MAA2C,EAAE,cAAuB;IACzI,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,WAAW,KAAK,IAAI,IAAI,MAAM,CAAC,UAAU,EAAE,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe;QAAE,MAAM,IAAI,SAAS,CAAC,kDAAkD,CAAC,CAAC;IAC3N,OAAO,4BAA4B,CAAC,IAAI,EAAE,MAAM,CAAC,WAAW,EAAE,EAAE,aAAa,EAAE,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,EAAE,EAAE;QACjL,MAAM,MAAM,GAAG,8BAA8B,CAAC,SAAS,EAAE,sCAAsC,CAAC,CAAC;QACjG,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/milestone-acceptance/source.d.ts

@@ -0,0 +1,83 @@
+import type { SourceSpan } from "../model/diagnostics.js";
+export declare const MILESTONE_ACCEPTANCE_SOURCE_MODEL_VERSION: 1;
+export interface MilestoneAcceptanceSourceCapability {
+    readonly id: "perttool.target-grammar-7-milestone-acceptance-source";
+    readonly version: 1;
+    readonly grammarVersion: 7;
+}
+export declare const MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY: MilestoneAcceptanceSourceCapability;
+export type CriterionEvidenceKind = "test" | "command" | "artifact" | "observation" | "owner";
+export type AcceptanceReceiptAction = "verify" | "fail" | "unavailable" | "revoke" | "waive";
+export interface MilestoneCriterionSourceV1 {
+    readonly criterionId: string;
+    readonly required: boolean;
+    readonly evidenceKind: CriterionEvidenceKind;
+    readonly description: string;
+    readonly commitment: `sha256:${string}`;
+    readonly span: SourceSpan;
+}
+export interface MilestoneCriterionSetSourceV1 {
+    readonly kind: "milestone_criterion_set";
+    readonly id: string;
+    readonly milestoneId: string;
+    readonly revisionId: string;
+    readonly commitment: `sha256:${string}`;
+    readonly criteria: readonly MilestoneCriterionSourceV1[];
+    readonly span: SourceSpan;
+    readonly idSpan: SourceSpan;
+}
+export interface MilestoneAcceptanceReceiptSourceV1 {
+    readonly kind: "milestone_acceptance_receipt";
+    readonly id: string;
+    readonly model: 1;
+    readonly setId: string;
+    readonly setCommitment: `sha256:${string}`;
+    readonly criterionId: string;
+    readonly criterionCommitment: `sha256:${string}`;
+    readonly action: AcceptanceReceiptAction;
+    readonly evidenceKind: CriterionEvidenceKind | null;
+    readonly evidenceReference: string | null;
+    readonly evidenceRevision: string | null;
+    readonly verifier: string | null;
+    readonly occurredAt: string | null;
+    readonly reason: string | null;
+    readonly revokes: string | null;
+    readonly span: SourceSpan;
+    readonly idSpan: SourceSpan;
+}
+export interface MilestoneAcceptanceMigrationSourceV1 {
+    readonly kind: "milestone_acceptance_migration";
+    readonly id: string;
+    readonly model: 1;
+    readonly repositoryId: string;
+    readonly path: string;
+    readonly objectFormat: "sha1" | "sha256";
+    readonly head: string;
+    readonly blob: string;
+    readonly sourceDigest: `sha256:${string}`;
+    readonly candidateDigest: `sha256:${string}`;
+    readonly grandfatheredMilestoneIds: readonly string[];
+    readonly span: SourceSpan;
+    readonly idSpan: SourceSpan;
+}
+export type MilestoneAcceptanceSourceRecordV1 = MilestoneCriterionSetSourceV1 | MilestoneAcceptanceReceiptSourceV1 | MilestoneAcceptanceMigrationSourceV1;
+export interface MilestoneAcceptanceSourceDiagnosticV1 {
+    readonly code: "PTMAC-103" | "PTMAC-104" | "PTMAC-105" | "PTMAC-106";
+    readonly message: string;
+    readonly span: SourceSpan;
+}
+export interface MilestoneAcceptanceSourceResultV1 {
+    readonly ok: boolean;
+    readonly grammarVersion: number | null;
+    readonly documentId: string | null;
+    readonly records: readonly MilestoneAcceptanceSourceRecordV1[];
+    readonly diagnostics: readonly MilestoneAcceptanceSourceDiagnosticV1[];
+    readonly baseDiagnostics: readonly unknown[];
+    readonly canonicalText: string | null;
+}
+export declare function normalizeCallerAssertedUtcZ(value: string): string | null;
+export declare function milestoneCriterionSetCommitment(milestoneId: string, revisionId: string, criteria: readonly Pick<MilestoneCriterionSourceV1, "criterionId" | "required" | "evidenceKind" | "description" | "commitment">[]): `sha256:${string}`;
+export declare function milestoneAcceptanceBaseText(text: string): string;
+export declare function parseMilestoneAcceptanceSource(text: string, capability: MilestoneAcceptanceSourceCapability): MilestoneAcceptanceSourceResultV1;
+export declare function formatMilestoneAcceptanceSource(text: string, records: readonly MilestoneAcceptanceSourceRecordV1[]): string;
+//# sourceMappingURL=source.d.ts.map

package/dist/milestone-acceptance/source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../../src/milestone-acceptance/source.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAkB,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAO1E,eAAO,MAAM,yCAAyC,EAAG,CAAU,CAAC;AAEpE,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,EAAE,EAAE,uDAAuD,CAAC;IACrE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC;CAC5B;AAED,eAAO,MAAM,sCAAsC,EACjD,mCAIE,CAAC;AAEL,MAAM,MAAM,qBAAqB,GAC7B,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,aAAa,GAAG,OAAO,CAAC;AAC9D,MAAM,MAAM,uBAAuB,GAC/B,QAAQ,GAAG,MAAM,GAAG,aAAa,GAAG,QAAQ,GAAG,OAAO,CAAC;AAE3D,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,qBAAqB,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,UAAU,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,IAAI,EAAE,yBAAyB,CAAC;IACzC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,UAAU,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,SAAS,0BAA0B,EAAE,CAAC;IACzD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,IAAI,EAAE,8BAA8B,CAAC;IAC9C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,aAAa,EAAE,UAAU,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,mBAAmB,EAAE,UAAU,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IACzC,QAAQ,CAAC,YAAY,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACpD,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,IAAI,EAAE,gCAAgC,CAAC;IAChD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,QAAQ,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,UAAU,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,eAAe,EAAE,UAAU,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,yBAAyB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,MAAM,MAAM,iCAAiC,GACzC,6BAA6B,GAC7B,kCAAkC,GAClC,oCAAoC,CAAC;AAEzC,MAAM,WAAW,qCAAqC;IACpD,QAAQ,CAAC,IAAI,EAAE,WAAW,GAAG,WAAW,GAAG,WAAW,GAAG,WAAW,CAAC;IACrE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,iCAAiC;IAChD,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,SAAS,iCAAiC,EAAE,CAAC;IAC/D,QAAQ,CAAC,WAAW,EAAE,SAAS,qCAAqC,EAAE,CAAC;IACvE,QAAQ,CAAC,eAAe,EAAE,SAAS,OAAO,EAAE,CAAC;IAC7C,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;CACvC;AAOD,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAQxE;AA2CD,wBAAgB,+BAA+B,CAC7C,WAAW,EAAE,MAAM,EACnB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,SAAS,IAAI,CAAC,0BAA0B,EAChD,aAAa,GAAG,UAAU,GAAG,cAAc,GAAG,aAAa,GAAG,YAAY,CAAC,EAAE,GAC9E,UAAU,MAAM,EAAE,CAQpB;AAsCD,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAWhE;AAED,wBAAgB,8BAA8B,CAC5C,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,mCAAmC,GAC9C,iCAAiC,CA4InC;AAED,wBAAgB,+BAA+B,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,iCAAiC,EAAE,GAAG,MAAM,CAkB3H"}

package/dist/milestone-acceptance/source.js

@@ -0,0 +1,301 @@
+import { sha256DigestUtf8 } from "../model/sha256.js";
+import { TARGET_GRAMMAR_6_CAPABILITY, } from "../parser/document-parser.js";
+import { validateTargetGrammar6Document } from "../semantic/target-validator.js";
+export const MILESTONE_ACCEPTANCE_SOURCE_MODEL_VERSION = 1;
+export const MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY = Object.freeze({
+    id: "perttool.target-grammar-7-milestone-acceptance-source",
+    version: 1,
+    grammarVersion: 7,
+});
+const idPattern = /^[A-Za-z][A-Za-z0-9_-]*$/u;
+const digestPattern = /^sha256:[0-9a-f]{64}$/u;
+const timePattern = /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}(?:\.\d+)?Z$/u;
+export function normalizeCallerAssertedUtcZ(value) {
+    if (!timePattern.test(value))
+        return null;
+    const match = /^(\d{4})-(\d{2})-(\d{2})T(\d{2}):(\d{2}):(\d{2})(?:\.(\d+))?Z$/u.exec(value);
+    const [year, month, day, hour, minute, second] = match.slice(1, 7).map(Number);
+    const date = new Date(Date.UTC(year, month - 1, day, hour, minute, second));
+    if (date.getUTCFullYear() !== year || date.getUTCMonth() + 1 !== month || date.getUTCDate() !== day || date.getUTCHours() !== hour || date.getUTCMinutes() !== minute || date.getUTCSeconds() !== second)
+        return null;
+    const fraction = (match[7] ?? "").replace(/0+$/u, "");
+    return `${match[1]}-${match[2]}-${match[3]}T${match[4]}:${match[5]}:${match[6]}${fraction.length === 0 ? "" : `.${fraction}`}Z`;
+}
+function lines(text) {
+    const result = [];
+    let offset = 0;
+    for (const [index, value] of text.split(/(?<=\n)/u).entries()) {
+        result.push({ text: value, start: offset, end: offset + value.length, number: index + 1 });
+        offset += value.length;
+    }
+    return result;
+}
+function position(text, offset) {
+    const prefix = text.slice(0, offset);
+    const rows = prefix.split("\n");
+    return { offset, line: rows.length, column: rows.at(-1).length + 1 };
+}
+function span(text, start, end) {
+    return { start: position(text, start), end: position(text, end) };
+}
+function quoted(value) {
+    try {
+        const parsed = JSON.parse(value);
+        return typeof parsed === "string" ? parsed : null;
+    }
+    catch {
+        return null;
+    }
+}
+function canonicalCriterion(milestoneId, revisionId, criterionId, required, evidenceKind, description) {
+    return sha256DigestUtf8(JSON.stringify([
+        "Perttool.MilestoneCriterion.v1", milestoneId, revisionId, criterionId,
+        required, evidenceKind, description,
+    ]));
+}
+export function milestoneCriterionSetCommitment(milestoneId, revisionId, criteria) {
+    return sha256DigestUtf8(JSON.stringify([
+        "Perttool.MilestoneCriterionSet.v1", milestoneId, revisionId,
+        criteria.map((criterion) => [
+            criterion.criterionId, criterion.required, criterion.evidenceKind,
+            criterion.description, criterion.commitment,
+        ]),
+    ]));
+}
+function fieldMap(block) {
+    const map = new Map();
+    for (const line of block) {
+        const match = /^  ([a-z_]+)(?: (.*))?\r?\n?$/u.exec(line.text);
+        if (match === null)
+            continue;
+        const values = map.get(match[1]) ?? [];
+        values.push(line);
+        map.set(match[1], values);
+    }
+    return map;
+}
+function rawField(line, name) {
+    if (line === undefined)
+        return null;
+    const match = new RegExp(`^  ${name}(?: (.*))?\\r?\\n?$`, "u").exec(line.text);
+    return match?.[1] ?? null;
+}
+function sanitizeBase(text, sourceLines, removed) {
+    return sourceLines.map((line, index) => {
+        if (removed.has(index)) {
+            const ending = line.text.endsWith("\r\n")
+                ? "\r\n"
+                : line.text.endsWith("\n")
+                    ? "\n"
+                    : "";
+            const contentLength = line.text.length - ending.length;
+            return contentLength === 0
+                ? line.text
+                : `#${" ".repeat(contentLength - 1)}${ending}`;
+        }
+        if (/^  version 7\r?\n?$/u.test(line.text))
+            return line.text.replace("7", "6");
+        return line.text;
+    }).join("");
+}
+export function milestoneAcceptanceBaseText(text) {
+    const sourceLines = lines(text);
+    const removed = new Set();
+    for (let index = 0; index < sourceLines.length; index += 1) {
+        if (!/^(milestone_criterion_set|milestone_acceptance_receipt|milestone_acceptance_migration) [A-Za-z][A-Za-z0-9_-]*:\r?\n?$/u.test(sourceLines[index].text))
+            continue;
+        let endIndex = index + 1;
+        while (endIndex < sourceLines.length && /^(?:  |\s*$)/u.test(sourceLines[endIndex].text))
+            endIndex += 1;
+        for (let cursor = index; cursor < endIndex; cursor += 1)
+            removed.add(cursor);
+        index = endIndex - 1;
+    }
+    return sanitizeBase(text, sourceLines, removed);
+}
+export function parseMilestoneAcceptanceSource(text, capability) {
+    if (capability !== MILESTONE_ACCEPTANCE_SOURCE_CAPABILITY) {
+        throw new TypeError("milestone acceptance source capability identity mismatch");
+    }
+    const sourceLines = lines(text);
+    const versionMatch = /^  version (\d+)\r?$/mu.exec(text);
+    const grammarVersion = versionMatch === null ? 1 : Number(versionMatch[1]);
+    const removed = new Set();
+    const diagnostics = [];
+    const records = [];
+    const seen = new Set();
+    const addDiagnostic = (code, message, target) => diagnostics.push({ code, message, span: target });
+    for (let index = 0; index < sourceLines.length; index += 1) {
+        const header = /^(milestone_criterion_set|milestone_acceptance_receipt|milestone_acceptance_migration) ([A-Za-z][A-Za-z0-9_-]*):\r?\n?$/u.exec(sourceLines[index].text);
+        if (header === null)
+            continue;
+        const startIndex = index;
+        let endIndex = index + 1;
+        while (endIndex < sourceLines.length && (/^(?:  |\s*$)/u.test(sourceLines[endIndex].text)))
+            endIndex += 1;
+        for (let cursor = startIndex; cursor < endIndex; cursor += 1)
+            removed.add(cursor);
+        const block = sourceLines.slice(startIndex + 1, endIndex);
+        const fields = fieldMap(block);
+        const declarationSpan = span(text, sourceLines[startIndex].start, sourceLines[endIndex - 1].end);
+        const id = header[2];
+        const idOffset = sourceLines[startIndex].start + header[1].length + 1;
+        const idSpan = span(text, idOffset, idOffset + id.length);
+        const identity = `${header[1]}:${id}`;
+        if (seen.has(identity))
+            addDiagnostic("PTMAC-104", `Duplicate ${identity}`, idSpan);
+        seen.add(identity);
+        const allowed = header[1] === "milestone_criterion_set"
+            ? new Set(["milestone", "revision", "commitment", "criterion"])
+            : header[1] === "milestone_acceptance_receipt"
+                ? new Set(["model", "set", "set_commitment", "criterion", "criterion_commitment", "action", "evidence_kind", "evidence_reference", "evidence_revision", "verifier", "occurred_at", "reason", "revokes"])
+                : new Set(["model", "repository", "path", "object_format", "head", "blob", "source_digest", "candidate_digest", "grandfathered"]);
+        for (const [name, occurrences] of fields) {
+            const repeatable = name === "criterion" && header[1] === "milestone_criterion_set" || name === "grandfathered" && header[1] === "milestone_acceptance_migration";
+            if (!allowed.has(name) || (!repeatable && occurrences.length !== 1)) {
+                addDiagnostic("PTMAC-103", `Invalid field ${name} in ${identity}`, span(text, occurrences[0].start, occurrences.at(-1).end));
+            }
+        }
+        if (header[1] === "milestone_criterion_set") {
+            const milestoneId = rawField(fields.get("milestone")?.[0], "milestone");
+            const revisionId = rawField(fields.get("revision")?.[0], "revision");
+            const stored = rawField(fields.get("commitment")?.[0], "commitment");
+            const criteria = [];
+            for (const line of fields.get("criterion") ?? []) {
+                const raw = rawField(line, "criterion") ?? "";
+                const match = /^([A-Za-z][A-Za-z0-9_-]*) (required|optional) (test|command|artifact|observation|owner) ("(?:[^"\\]|\\.)*")$/u.exec(raw);
+                if (match === null || milestoneId === null || revisionId === null) {
+                    addDiagnostic("PTMAC-103", "Invalid criterion declaration", span(text, line.start, line.end));
+                    continue;
+                }
+                const description = quoted(match[4]);
+                criteria.push({
+                    criterionId: match[1], required: match[2] === "required",
+                    evidenceKind: match[3], description,
+                    commitment: canonicalCriterion(milestoneId, revisionId, match[1], match[2] === "required", match[3], description),
+                    span: span(text, line.start, line.end),
+                });
+            }
+            if (milestoneId === null || revisionId === null || !idPattern.test(milestoneId) || !idPattern.test(revisionId) || stored === null || !digestPattern.test(stored) || criteria.length === 0 || !criteria.some((criterion) => criterion.required) || new Set(criteria.map((criterion) => criterion.criterionId)).size !== criteria.length) {
+                addDiagnostic("PTMAC-103", `Invalid criterion set ${id}`, declarationSpan);
+            }
+            else {
+                const commitment = milestoneCriterionSetCommitment(milestoneId, revisionId, criteria);
+                if (stored !== commitment)
+                    addDiagnostic("PTMAC-105", `Criterion set ${id} commitment mismatch`, declarationSpan);
+                records.push({ kind: "milestone_criterion_set", id, milestoneId, revisionId, commitment, criteria: Object.freeze(criteria), span: declarationSpan, idSpan });
+            }
+        }
+        else if (header[1] === "milestone_acceptance_receipt") {
+            const value = (name) => rawField(fields.get(name)?.[0], name);
+            const model = value("model");
+            const setId = value("set");
+            const setCommitment = value("set_commitment");
+            const criterionId = value("criterion");
+            const criterionCommitment = value("criterion_commitment");
+            const action = value("action");
+            const evidenceKind = value("evidence_kind");
+            const evidenceReference = value("evidence_reference");
+            const evidenceRevision = value("evidence_revision");
+            const verifier = value("verifier");
+            const occurredAt = value("occurred_at");
+            const reason = value("reason");
+            const revokes = value("revokes");
+            const actionOk = action !== null && ["verify", "fail", "unavailable", "revoke", "waive"].includes(action);
+            if (model !== "1" || setId === null || criterionId === null || setCommitment === null || criterionCommitment === null || !digestPattern.test(setCommitment) || !digestPattern.test(criterionCommitment) || !actionOk) {
+                addDiagnostic("PTMAC-105", `Invalid receipt binding ${id}`, declarationSpan);
+            }
+            else {
+                const terminalEvidence = action === "verify";
+                const provenanceOk = !terminalEvidence || (evidenceKind !== null && ["test", "command", "artifact", "observation", "owner"].includes(evidenceKind) &&
+                    evidenceReference !== null && quoted(evidenceReference) !== null && evidenceRevision !== null &&
+                    verifier !== null && occurredAt !== null && normalizeCallerAssertedUtcZ(occurredAt) !== null);
+                const lifecycleOk = action !== "revoke" || revokes !== null;
+                const waiverOk = action !== "waive" || (reason !== null && quoted(reason) !== null && quoted(reason).length > 0);
+                if (!provenanceOk || !lifecycleOk || !waiverOk)
+                    addDiagnostic("PTMAC-106", `Invalid receipt provenance ${id}`, declarationSpan);
+                records.push({
+                    kind: "milestone_acceptance_receipt", id, model: 1, setId,
+                    setCommitment: setCommitment, criterionId,
+                    criterionCommitment: criterionCommitment,
+                    action: action,
+                    evidenceKind: evidenceKind,
+                    evidenceReference: evidenceReference === null ? null : quoted(evidenceReference),
+                    evidenceRevision, verifier,
+                    occurredAt: occurredAt === null ? null : normalizeCallerAssertedUtcZ(occurredAt),
+                    reason: reason === null ? null : quoted(reason), revokes,
+                    span: declarationSpan, idSpan,
+                });
+            }
+        }
+        else {
+            const value = (name) => rawField(fields.get(name)?.[0], name);
+            const model = value("model");
+            const repositoryId = value("repository");
+            const pathValue = value("path");
+            const objectFormat = value("object_format");
+            const head = value("head");
+            const blob = value("blob");
+            const sourceDigest = value("source_digest");
+            const candidateDigest = value("candidate_digest");
+            const ids = (fields.get("grandfathered") ?? []).map((line) => rawField(line, "grandfathered")).filter(Boolean);
+            const objectLength = objectFormat === "sha1" ? 40 : objectFormat === "sha256" ? 64 : 0;
+            if (model !== "1" || repositoryId === null || pathValue === null || quoted(pathValue) === null || objectLength === 0 || head === null || blob === null || !new RegExp(`^[0-9a-f]{${objectLength}}$`, "u").test(head) || !new RegExp(`^[0-9a-f]{${objectLength}}$`, "u").test(blob) || sourceDigest === null || candidateDigest === null || !digestPattern.test(sourceDigest) || !digestPattern.test(candidateDigest) || ids.some((candidate) => !idPattern.test(candidate)) || [...ids].sort().join("\0") !== ids.join("\0") || new Set(ids).size !== ids.length) {
+                addDiagnostic("PTMAC-103", `Invalid migration baseline ${id}`, declarationSpan);
+            }
+            else
+                records.push({ kind: "milestone_acceptance_migration", id, model: 1, repositoryId, path: quoted(pathValue), objectFormat: objectFormat, head, blob, sourceDigest: sourceDigest, candidateDigest: candidateDigest, grandfatheredMilestoneIds: Object.freeze(ids), span: declarationSpan, idSpan });
+        }
+        index = endIndex - 1;
+    }
+    if (records.length > 0 && grammarVersion !== 7)
+        addDiagnostic("PTMAC-103", "Milestone acceptance records require Grammar 7", span(text, 0, Math.min(text.length, 1)));
+    const base = validateTargetGrammar6Document(sanitizeBase(text, sourceLines, removed), TARGET_GRAMMAR_6_CAPABILITY);
+    const projectIds = new Set(base.document.declarations.filter((item) => item.kind === "milestone").map((item) => item.id));
+    for (const record of records)
+        if (record.kind === "milestone_criterion_set" && !projectIds.has(record.milestoneId))
+            addDiagnostic("PTMAC-105", `Unknown milestone ${record.milestoneId}`, record.span);
+    const sets = new Map(records.filter((record) => record.kind === "milestone_criterion_set").map((record) => [record.id, record]));
+    const receiptIds = new Set(records.filter((record) => record.kind === "milestone_acceptance_receipt").map((record) => record.id));
+    for (const receipt of records.filter((record) => record.kind === "milestone_acceptance_receipt")) {
+        const set = sets.get(receipt.setId);
+        const criterion = set?.criteria.find((candidate) => candidate.criterionId === receipt.criterionId);
+        if (set === undefined || set.span.start.offset > receipt.span.start.offset || set.commitment !== receipt.setCommitment || criterion === undefined || criterion.commitment !== receipt.criterionCommitment) {
+            addDiagnostic("PTMAC-105", `Receipt ${receipt.id} does not bind an exact current criterion`, receipt.span);
+        }
+        if (receipt.action === "verify" && criterion !== undefined && receipt.evidenceKind !== criterion.evidenceKind) {
+            addDiagnostic("PTMAC-105", `Receipt ${receipt.id} evidence kind does not match its criterion`, receipt.span);
+        }
+        if (receipt.action === "revoke" && (receipt.revokes === null || !receiptIds.has(receipt.revokes) || receipt.revokes === receipt.id)) {
+            addDiagnostic("PTMAC-105", `Receipt ${receipt.id} revocation target is unavailable`, receipt.span);
+        }
+    }
+    const ok = base.ok && (grammarVersion >= 1 && grammarVersion <= 7) && diagnostics.length === 0;
+    return Object.freeze({ ok, grammarVersion, documentId: base.documentId, records: Object.freeze(records), diagnostics: Object.freeze(diagnostics), baseDiagnostics: base.diagnostics, canonicalText: ok ? formatMilestoneAcceptanceSource(text, records) : null });
+}
+export function formatMilestoneAcceptanceSource(text, records) {
+    if (records.length === 0)
+        return text;
+    const ordered = [...records].sort((left, right) => left.span.start.offset - right.span.start.offset);
+    let result = "";
+    let cursor = 0;
+    for (const record of ordered) {
+        result += text.slice(cursor, record.span.start.offset);
+        if (record.kind === "milestone_criterion_set") {
+            result += `milestone_criterion_set ${record.id}:\n  milestone ${record.milestoneId}\n  revision ${record.revisionId}\n  commitment ${record.commitment}\n`;
+            for (const criterion of record.criteria)
+                result += `  criterion ${criterion.criterionId} ${criterion.required ? "required" : "optional"} ${criterion.evidenceKind} ${JSON.stringify(criterion.description)}\n`;
+        }
+        else if (record.kind === "milestone_acceptance_migration") {
+            result += `milestone_acceptance_migration ${record.id}:\n  model 1\n  repository ${record.repositoryId}\n  path ${JSON.stringify(record.path)}\n  object_format ${record.objectFormat}\n  head ${record.head}\n  blob ${record.blob}\n  source_digest ${record.sourceDigest}\n  candidate_digest ${record.candidateDigest}\n`;
+            for (const id of record.grandfatheredMilestoneIds)
+                result += `  grandfathered ${id}\n`;
+        }
+        else {
+            result += text.slice(record.span.start.offset, record.span.end.offset);
+        }
+        cursor = record.span.end.offset;
+    }
+    return result + text.slice(cursor);
+}
+//# sourceMappingURL=source.js.map

package/dist/milestone-acceptance/source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.js","sourceRoot":"","sources":["../../src/milestone-acceptance/source.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EACL,2BAA2B,GAC5B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,8BAA8B,EAAE,MAAM,iCAAiC,CAAC;AAEjF,MAAM,CAAC,MAAM,yCAAyC,GAAG,CAAU,CAAC;AAQpE,MAAM,CAAC,MAAM,sCAAsC,GACX,MAAM,CAAC,MAAM,CAAC;IAClD,EAAE,EAAE,uDAAuD;IAC3D,OAAO,EAAE,CAAC;IACV,cAAc,EAAE,CAAC;CAClB,CAAC,CAAC;AAqFL,MAAM,SAAS,GAAG,2BAA2B,CAAC;AAC9C,MAAM,aAAa,GAAG,wBAAwB,CAAC;AAC/C,MAAM,WAAW,GAAG,mDAAmD,CAAC;AAExE,MAAM,UAAU,2BAA2B,CAAC,KAAa;IACvD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,KAAK,GAAG,iEAAiE,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC;IAC7F,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC/E,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAK,EAAE,KAAM,GAAG,CAAC,EAAE,GAAI,EAAE,IAAK,EAAE,MAAO,EAAE,MAAO,CAAC,CAAC,CAAC;IAClF,IAAI,IAAI,CAAC,cAAc,EAAE,KAAK,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,WAAW,EAAE,KAAK,IAAI,IAAI,IAAI,CAAC,aAAa,EAAE,KAAK,MAAM,IAAI,IAAI,CAAC,aAAa,EAAE,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACtN,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACtD,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,QAAQ,EAAE,GAAG,CAAC;AAClI,CAAC;AAED,SAAS,KAAK,CAAC,IAAY;IACzB,MAAM,MAAM,GAAW,EAAE,CAAC;IAC1B,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3F,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC;IACzB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,MAAc;IAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,IAAI,CAAC,IAAY,EAAE,KAAa,EAAE,GAAW;IACpD,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;AACpE,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,IAAI,CAAC;QACH,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1C,OAAO,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;AAC1B,CAAC;AAED,SAAS,kBAAkB,CACzB,WAAmB,EACnB,UAAkB,EAClB,WAAmB,EACnB,QAAiB,EACjB,YAAmC,EACnC,WAAmB;IAEnB,OAAO,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC;QACrC,gCAAgC,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW;QACtE,QAAQ,EAAE,YAAY,EAAE,WAAW;KACpC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,WAAmB,EACnB,UAAkB,EAClB,QAC+E;IAE/E,OAAO,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC;QACrC,mCAAmC,EAAE,WAAW,EAAE,UAAU;QAC5D,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC;YAC1B,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,QAAQ,EAAE,SAAS,CAAC,YAAY;YACjE,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,UAAU;SAC5C,CAAC;KACH,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,QAAQ,CAAC,KAAsB;IACtC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAC7B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,IAAsB,EAAE,IAAY;IACpD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,IAAI,qBAAqB,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC5B,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,WAA4B,EAAE,OAAoB;IACpF,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACrC,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;gBACvC,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;oBACxB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,EAAE,CAAC;YACT,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;YACvD,OAAO,aAAa,KAAK,CAAC;gBACxB,CAAC,CAAC,IAAI,CAAC,IAAI;gBACX,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,aAAa,GAAG,CAAC,CAAC,GAAG,MAAM,EAAE,CAAC;QACnD,CAAC;QACD,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC/E,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACd,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,IAAY;IACtD,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC3D,IAAI,CAAC,wHAAwH,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC;YAAE,SAAS;QACvK,IAAI,QAAQ,GAAG,KAAK,GAAG,CAAC,CAAC;QACzB,OAAO,QAAQ,GAAG,WAAW,CAAC,MAAM,IAAI,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC;YAAE,QAAQ,IAAI,CAAC,CAAC;QACzG,KAAK,IAAI,MAAM,GAAG,KAAK,EAAE,MAAM,GAAG,QAAQ,EAAE,MAAM,IAAI,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7E,KAAK,GAAG,QAAQ,GAAG,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,YAAY,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,IAAY,EACZ,UAA+C;IAE/C,IAAI,UAAU,KAAK,sCAAsC,EAAE,CAAC;QAC1D,MAAM,IAAI,SAAS,CAAC,0DAA0D,CAAC,CAAC;IAClF,CAAC;IACD,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,YAAY,GAAG,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,MAAM,cAAc,GAAG,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,WAAW,GAA4C,EAAE,CAAC;IAChE,MAAM,OAAO,GAAwC,EAAE,CAAC;IACxD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,aAAa,GAAG,CAAC,IAAmD,EAAE,OAAe,EAAE,MAAkB,EAAE,EAAE,CACjH,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAEpD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,MAAM,GAAG,0HAA0H,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC,CAAC;QACzK,IAAI,MAAM,KAAK,IAAI;YAAE,SAAS;QAC9B,MAAM,UAAU,GAAG,KAAK,CAAC;QACzB,IAAI,QAAQ,GAAG,KAAK,GAAG,CAAC,CAAC;QACzB,OAAO,QAAQ,GAAG,WAAW,CAAC,MAAM,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,CAAC;YAAE,QAAQ,IAAI,CAAC,CAAC;QAC3G,KAAK,IAAI,MAAM,GAAG,UAAU,EAAE,MAAM,GAAG,QAAQ,EAAE,MAAM,IAAI,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClF,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,UAAU,CAAE,CAAC,KAAK,EAAE,WAAW,CAAC,QAAQ,GAAG,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC;QACnG,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAE,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,CAAC;QACxE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC;QAC1D,MAAM,QAAQ,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,aAAa,CAAC,WAAW,EAAE,aAAa,QAAQ,EAAE,EAAE,MAAM,CAAC,CAAC;QACpF,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAEnB,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,yBAAyB;YACrD,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC;YAC/D,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,8BAA8B;gBAC5C,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,WAAW,EAAE,sBAAsB,EAAE,QAAQ,EAAE,eAAe,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;gBACxM,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,kBAAkB,EAAE,eAAe,CAAC,CAAC,CAAC;QACtI,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,EAAE,CAAC;YACzC,MAAM,UAAU,GAAG,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,yBAAyB,IAAI,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,gCAAgC,CAAC;YACjK,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;gBACpE,aAAa,CAAC,WAAW,EAAE,iBAAiB,IAAI,OAAO,QAAQ,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACjI,CAAC;QACH,CAAC;QAED,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,yBAAyB,EAAE,CAAC;YAC5C,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;YACxE,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YACrE,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;YACrE,MAAM,QAAQ,GAAiC,EAAE,CAAC;YAClD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC;gBACjD,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,CAAC;gBAC9C,MAAM,KAAK,GAAG,+GAA+G,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACxI,IAAI,KAAK,KAAK,IAAI,IAAI,WAAW,KAAK,IAAI,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;oBAClE,aAAa,CAAC,WAAW,EAAE,+BAA+B,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;oBAC9F,SAAS;gBACX,CAAC;gBACD,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAE,CAAC;gBACvC,QAAQ,CAAC,IAAI,CAAC;oBACZ,WAAW,EAAE,KAAK,CAAC,CAAC,CAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,UAAU;oBACzD,YAAY,EAAE,KAAK,CAAC,CAAC,CAA2B,EAAE,WAAW;oBAC7D,UAAU,EAAE,kBAAkB,CAAC,WAAW,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,KAAK,CAAC,CAAC,CAA2B,EAAE,WAAW,CAAC;oBAC5I,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC;iBACvC,CAAC,CAAC;YACL,CAAC;YACD,IAAI,WAAW,KAAK,IAAI,IAAI,UAAU,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;gBACvU,aAAa,CAAC,WAAW,EAAE,yBAAyB,EAAE,EAAE,EAAE,eAAe,CAAC,CAAC;YAC7E,CAAC;iBAAM,CAAC;gBACN,MAAM,UAAU,GAAG,+BAA+B,CAAC,WAAW,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;gBACtF,IAAI,MAAM,KAAK,UAAU;oBAAE,aAAa,CAAC,WAAW,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,eAAe,CAAC,CAAC;gBAClH,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,EAAE,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC,CAAC;YAC/J,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,8BAA8B,EAAE,CAAC;YACxD,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YACtE,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;YAAC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YACzD,MAAM,aAAa,GAAG,KAAK,CAAC,gBAAgB,CAAC,CAAC;YAAC,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;YACtF,MAAM,mBAAmB,GAAG,KAAK,CAAC,sBAAsB,CAAC,CAAC;YAAC,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC1F,MAAM,YAAY,GAAG,KAAK,CAAC,eAAe,CAAC,CAAC;YAAC,MAAM,iBAAiB,GAAG,KAAK,CAAC,oBAAoB,CAAC,CAAC;YACnG,MAAM,gBAAgB,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC;YAAC,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;YACxF,MAAM,UAAU,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;YAAC,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;YAAC,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;YAC1G,MAAM,QAAQ,GAAG,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC1G,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,IAAI,IAAI,WAAW,KAAK,IAAI,IAAI,aAAa,KAAK,IAAI,IAAI,mBAAmB,KAAK,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACrN,aAAa,CAAC,WAAW,EAAE,2BAA2B,EAAE,EAAE,EAAE,eAAe,CAAC,CAAC;YAC/E,CAAC;iBAAM,CAAC;gBACN,MAAM,gBAAgB,GAAG,MAAM,KAAK,QAAQ,CAAC;gBAC7C,MAAM,YAAY,GAAG,CAAC,gBAAgB,IAAI,CACxC,YAAY,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC;oBACvG,iBAAiB,KAAK,IAAI,IAAI,MAAM,CAAC,iBAAiB,CAAC,KAAK,IAAI,IAAI,gBAAgB,KAAK,IAAI;oBAC7F,QAAQ,KAAK,IAAI,IAAI,UAAU,KAAK,IAAI,IAAI,2BAA2B,CAAC,UAAU,CAAC,KAAK,IAAI,CAC7F,CAAC;gBACF,MAAM,WAAW,GAAG,MAAM,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,CAAC;gBAC5D,MAAM,QAAQ,GAAG,MAAM,KAAK,OAAO,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,CAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAClH,IAAI,CAAC,YAAY,IAAI,CAAC,WAAW,IAAI,CAAC,QAAQ;oBAAE,aAAa,CAAC,WAAW,EAAE,8BAA8B,EAAE,EAAE,EAAE,eAAe,CAAC,CAAC;gBAChI,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,8BAA8B,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK;oBACzD,aAAa,EAAE,aAAmC,EAAE,WAAW;oBAC/D,mBAAmB,EAAE,mBAAyC;oBAC9D,MAAM,EAAE,MAAiC;oBACzC,YAAY,EAAE,YAA4C;oBAC1D,iBAAiB,EAAE,iBAAiB,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC;oBAChF,gBAAgB,EAAE,QAAQ;oBAC1B,UAAU,EAAE,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,2BAA2B,CAAC,UAAU,CAAC;oBAChF,MAAM,EAAE,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO;oBACxD,IAAI,EAAE,eAAe,EAAE,MAAM;iBAC9B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YACtE,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;YAAC,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC;YACvE,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;YAAC,MAAM,YAAY,GAAG,KAAK,CAAC,eAAe,CAAC,CAAC;YAC7E,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;YAAC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;YACvD,MAAM,YAAY,GAAG,KAAK,CAAC,eAAe,CAAC,CAAC;YAAC,MAAM,eAAe,GAAG,KAAK,CAAC,kBAAkB,CAAC,CAAC;YAC/F,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAChH,MAAM,YAAY,GAAG,YAAY,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACvF,IAAI,KAAK,KAAK,GAAG,IAAI,YAAY,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,IAAI,IAAI,YAAY,KAAK,CAAC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,MAAM,CAAC,aAAa,YAAY,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,aAAa,YAAY,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,YAAY,KAAK,IAAI,IAAI,eAAe,KAAK,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM,EAAE,CAAC;gBACjiB,aAAa,CAAC,WAAW,EAAE,8BAA8B,EAAE,EAAE,EAAE,eAAe,CAAC,CAAC;YAClF,CAAC;;gBAAM,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gCAAgC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,CAAE,EAAE,YAAY,EAAE,YAAiC,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,YAAkC,EAAE,eAAe,EAAE,eAAqC,EAAE,yBAAyB,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC,CAAC;QAC7W,CAAC;QACD,KAAK,GAAG,QAAQ,GAAG,CAAC,CAAC;IACvB,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,cAAc,KAAK,CAAC;QAAE,aAAa,CAAC,WAAW,EAAE,gDAAgD,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtK,MAAM,IAAI,GAAG,8BAA8B,CAAC,YAAY,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,2BAA2B,CAAC,CAAC;IACnH,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1H,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,IAAI,MAAM,CAAC,IAAI,KAAK,yBAAyB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC;YAAE,aAAa,CAAC,WAAW,EAAE,qBAAqB,MAAM,CAAC,WAAW,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IACvM,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAA2C,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,yBAAyB,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1K,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,8BAA8B,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAClI,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAgD,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,8BAA8B,CAAC,EAAE,CAAC;QAC/I,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,SAAS,GAAG,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;QACnG,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,GAAG,CAAC,UAAU,KAAK,OAAO,CAAC,aAAa,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,UAAU,KAAK,OAAO,CAAC,mBAAmB,EAAE,CAAC;YAC1M,aAAa,CAAC,WAAW,EAAE,WAAW,OAAO,CAAC,EAAE,2CAA2C,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QAC7G,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,SAAS,KAAK,SAAS,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,YAAY,EAAE,CAAC;YAC9G,aAAa,CAAC,WAAW,EAAE,WAAW,OAAO,CAAC,EAAE,6CAA6C,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,OAAO,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,OAAO,KAAK,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;YACpI,aAAa,CAAC,WAAW,EAAE,WAAW,OAAO,CAAC,EAAE,mCAAmC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QACrG,CAAC;IACH,CAAC;IACD,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,CAAC,cAAc,IAAI,CAAC,IAAI,cAAc,IAAI,CAAC,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC;IAC/F,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC,CAAC,+BAA+B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AACpQ,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,IAAY,EAAE,OAAqD;IACjH,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrG,IAAI,MAAM,GAAG,EAAE,CAAC;IAAC,IAAI,MAAM,GAAG,CAAC,CAAC;IAChC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACvD,IAAI,MAAM,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;YAC9C,MAAM,IAAI,2BAA2B,MAAM,CAAC,EAAE,kBAAkB,MAAM,CAAC,WAAW,gBAAgB,MAAM,CAAC,UAAU,kBAAkB,MAAM,CAAC,UAAU,IAAI,CAAC;YAC3J,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,QAAQ;gBAAE,MAAM,IAAI,eAAe,SAAS,CAAC,WAAW,IAAI,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,IAAI,SAAS,CAAC,YAAY,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC;QACjN,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,gCAAgC,EAAE,CAAC;YAC5D,MAAM,IAAI,kCAAkC,MAAM,CAAC,EAAE,8BAA8B,MAAM,CAAC,YAAY,YAAY,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,YAAY,YAAY,MAAM,CAAC,IAAI,YAAY,MAAM,CAAC,IAAI,qBAAqB,MAAM,CAAC,YAAY,wBAAwB,MAAM,CAAC,eAAe,IAAI,CAAC;YAC9T,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,yBAAyB;gBAAE,MAAM,IAAI,mBAAmB,EAAE,IAAI,CAAC;QACzF,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;IAClC,CAAC;IACD,OAAO,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AACrC,CAAC"}

package/dist/mutation/advance-deletion.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"advance-deletion.d.ts","sourceRoot":"","sources":["../../src/mutation/advance-deletion.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,eAAe,EACf,YAAY,EACZ,qBAAqB,EACtB,MAAM,oBAAoB,CAAC;AAM5B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAEhD,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC,qBAAqB,CAAC,CAAC;IAC7D,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CACzB;AAeD,wBAAgB,kCAAkC,CAChD,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,eAAe,CAAC,qBAAqB,CAAC,GAClD,MAAM,CAIR;AAED;;;;GAIG;AACH,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,YAAY,CAAC,qBAAqB,CAAC,EAC7C,MAAM,EAAE,CAAC,WAAW,EAAE,eAAe,CAAC,qBAAqB,CAAC,KAAK,OAAO,GACvE,SAAS,0BAA0B,EAAE,CAqCvC"}
+{"version":3,"file":"advance-deletion.d.ts","sourceRoot":"","sources":["../../src/mutation/advance-deletion.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,eAAe,EACf,YAAY,EACZ,qBAAqB,EACtB,MAAM,oBAAoB,CAAC;AAM5B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAEhD,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC,qBAAqB,CAAC,CAAC;IAC7D,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CACzB;AAeD,wBAAgB,kCAAkC,CAChD,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,eAAe,CAAC,qBAAqB,CAAC,GAClD,MAAM,CAIR;AAED;;;;GAIG;AACH,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,YAAY,CAAC,qBAAqB,CAAC,EAC7C,MAAM,EAAE,CAAC,WAAW,EAAE,eAAe,CAAC,qBAAqB,CAAC,KAAK,OAAO,GACvE,SAAS,0BAA0B,EAAE,CA0CvC"}

package/dist/mutation/advance-deletion.js

@@ -32,6 +32,7 @@ export function planAdvanceDeclarationDeletions(text, document, remove) {
     }
     const lines = splitPhysicalLines(text);
     const lastDeclaration = document.declarations.at(-1);
+    let previousTerminalEnd;
     return document.declarations
         .filter((declaration) => selected.has(declaration))
         .map((declaration) => {
@@ -39,11 +40,15 @@ export function planAdvanceDeclarationDeletions(text, document, remove) {
         if (!terminal.has(declaration)) {
             return { declaration, edit: ordinary };
         }
-        const startOffset = terminalSeparatorStart(lines, ordinary.startOffset);
+        const desiredStart = terminalSeparatorStart(lines, ordinary.startOffset);
         const endOffset = declaration === lastDeclaration &&
             text.slice(ordinary.endOffset).trim() === ""
             ? text.length
             : ordinary.endOffset;
+        const startOffset = previousTerminalEnd === undefined
+            ? desiredStart
+            : Math.max(desiredStart, previousTerminalEnd);
+        previousTerminalEnd = endOffset;
         return {
             declaration,
             edit: { startOffset, endOffset, replacement: "" },