@blxzer/pactile 0.6.0-beta.2 → 0.6.0-beta.4

package/dist/pactile/verification/receipt.js

@@ -0,0 +1,400 @@
+import { createHash } from "node:crypto";
+import { VERIFICATION_CANDIDATE_ENTRY_REF, verifyGitCandidateObservation, } from "./git-observer.js";
+export const VERIFICATION_RECEIPT_SOURCE = "pactile-verification-receipt-v1";
+const SHA256_RE = /^[a-f0-9]{64}$/;
+const CHECK_RESULT_OUTCOMES = [
+    "passed",
+    "failed",
+    "blocked",
+    "not-run",
+    "skipped",
+];
+export class VerificationReceiptError extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.name = "VerificationReceiptError";
+        this.code = code;
+    }
+}
+function stableJson(value) {
+    if (value === null ||
+        typeof value === "string" ||
+        typeof value === "number" ||
+        typeof value === "boolean") {
+        const serialized = JSON.stringify(value);
+        if (serialized === undefined)
+            throw new VerificationReceiptError("invalid-result", "Receipt contains an unserializable value.");
+        return serialized;
+    }
+    if (Array.isArray(value))
+        return `[${value.map(stableJson).join(",")}]`;
+    if (typeof value === "object") {
+        const record = value;
+        return `{${Object.keys(record)
+            .sort()
+            .map((key) => `${JSON.stringify(key)}:${stableJson(record[key])}`)
+            .join(",")}}`;
+    }
+    throw new VerificationReceiptError("invalid-result", "Receipt contains a value that cannot be serialized as stable JSON.");
+}
+function fingerprint(value) {
+    return createHash("sha256").update(stableJson(value)).digest("hex");
+}
+function requireText(value, field) {
+    if (typeof value !== "string" ||
+        value.length === 0 ||
+        value !== value.trim()) {
+        throw new VerificationReceiptError("invalid-plan", `${field} must be a non-empty trimmed string.`);
+    }
+    return value;
+}
+function copyPlan(plan) {
+    if (plan?.schemaVersion !== 1 ||
+        plan.algorithm !== "risk-weighted-independent-behavior-v1" ||
+        !plan.impact ||
+        !Array.isArray(plan.impact.changedSurfaces) ||
+        !Array.isArray(plan.impact.risks) ||
+        !Array.isArray(plan.goals) ||
+        !Array.isArray(plan.selected) ||
+        !Array.isArray(plan.skipped) ||
+        !Array.isArray(plan.uncoveredGoals) ||
+        (plan.coverageStatus !== "covered" &&
+            plan.coverageStatus !== "missing-public-behavior-evidence")) {
+        throw new VerificationReceiptError("invalid-plan", "Verification plan has an unsupported or incomplete schema.");
+    }
+    const expectedCoverage = plan.uncoveredGoals.length === 0
+        ? "covered"
+        : "missing-public-behavior-evidence";
+    if (plan.coverageStatus !== expectedCoverage) {
+        throw new VerificationReceiptError("invalid-plan", "Verification plan coverage status does not match its uncovered goals.");
+    }
+    const ids = new Set();
+    const selected = plan.selected.map((entry) => {
+        const checkId = requireText(entry.checkId, "selected.checkId");
+        const title = requireText(entry.title, `selected.${checkId}.title`);
+        if (!Array.isArray(entry.coversGoalIds)) {
+            throw new VerificationReceiptError("invalid-plan", `Selected check ${checkId} has invalid goal references.`);
+        }
+        const coversGoalIds = entry.coversGoalIds.map((goalId) => requireText(goalId, `selected.${checkId}.coversGoalIds`));
+        if (ids.has(checkId))
+            throw new VerificationReceiptError("invalid-plan", `Duplicate check in plan: ${checkId}.`);
+        ids.add(checkId);
+        if (entry.reason === "required-by-policy") {
+            if (!Array.isArray(entry.requiredBy) || entry.requiredBy.length === 0) {
+                throw new VerificationReceiptError("invalid-plan", `Required check ${checkId} has no policy declaration.`);
+            }
+            return {
+                checkId,
+                title,
+                reason: "required-by-policy",
+                requiredBy: entry.requiredBy.map((source) => requireText(source, `selected.${checkId}.requiredBy`)),
+                coversGoalIds,
+            };
+        }
+        if (entry.reason !== "highest-value-uncovered-behavior") {
+            throw new VerificationReceiptError("invalid-plan", `Selected check ${checkId} has an invalid reason.`);
+        }
+        if (entry.requiredBy !== undefined) {
+            throw new VerificationReceiptError("invalid-plan", `Behavior check ${checkId} cannot declare required CI sources.`);
+        }
+        return {
+            checkId,
+            title,
+            reason: "highest-value-uncovered-behavior",
+            coversGoalIds,
+        };
+    });
+    const skipped = plan.skipped.map((entry) => {
+        const checkId = requireText(entry.checkId, "skipped.checkId");
+        const title = requireText(entry.title, `skipped.${checkId}.title`);
+        const detail = requireText(entry.detail, `skipped.${checkId}.detail`);
+        if (!Array.isArray(entry.relevantGoalIds)) {
+            throw new VerificationReceiptError("invalid-plan", `Skipped check ${checkId} has invalid goal references.`);
+        }
+        if (ids.has(checkId))
+            throw new VerificationReceiptError("invalid-plan", `Duplicate check in plan: ${checkId}.`);
+        ids.add(checkId);
+        return {
+            checkId,
+            title,
+            reason: entry.reason,
+            relevantGoalIds: entry.relevantGoalIds.map((goalId) => requireText(goalId, `skipped.${checkId}.relevantGoalIds`)),
+            detail,
+        };
+    });
+    const goals = plan.goals.map((goal) => ({
+        id: requireText(goal.id, "goal.id"),
+        kind: goal.kind,
+        label: requireText(goal.label, "goal.label"),
+    }));
+    const uncoveredGoals = plan.uncoveredGoals.map((entry) => {
+        if (!Array.isArray(entry.checkIds))
+            throw new VerificationReceiptError("invalid-plan", "Uncovered goal has invalid check references.");
+        return {
+            goal: {
+                id: requireText(entry.goal.id, "uncoveredGoal.goal.id"),
+                kind: entry.goal.kind,
+                label: requireText(entry.goal.label, "uncoveredGoal.goal.label"),
+            },
+            reason: entry.reason,
+            checkIds: entry.checkIds.map((checkId) => requireText(checkId, "uncoveredGoal.checkIds")),
+        };
+    });
+    return {
+        schemaVersion: 1,
+        algorithm: plan.algorithm,
+        impact: {
+            changedSurfaces: plan.impact.changedSurfaces.map((surface) => requireText(surface, "impact.changedSurfaces")),
+            risks: [...plan.impact.risks],
+            scope: plan.impact.scope,
+        },
+        goals,
+        selected,
+        skipped,
+        uncoveredGoals,
+        coverageStatus: plan.coverageStatus,
+    };
+}
+function copyObservation(observation) {
+    return {
+        source: observation.source,
+        observedAt: observation.observedAt,
+        repositoryIdentitySha256: observation.repositoryIdentitySha256,
+        expectedBaseSha: observation.expectedBaseSha,
+        expectedBranch: observation.expectedBranch,
+        expectedBranchBound: observation.expectedBranchBound,
+        head: observation.head,
+        branch: observation.branch,
+        allowedWriteSet: {
+            exactPaths: [...observation.allowedWriteSet.exactPaths],
+            directoryPrefixes: [...observation.allowedWriteSet.directoryPrefixes],
+        },
+        stagedPaths: [...observation.stagedPaths],
+        unstagedPaths: [...observation.unstagedPaths],
+        untrackedPaths: [...observation.untrackedPaths],
+        conflictPaths: [...observation.conflictPaths],
+        committedPaths: [...observation.committedPaths],
+        affectedPaths: [...observation.affectedPaths],
+        inScopePaths: [...observation.inScopePaths],
+        outOfScopePaths: [...observation.outOfScopePaths],
+        currentFiles: observation.currentFiles.map((entry) => ({ ...entry })),
+        indexDiffSha256: observation.indexDiffSha256,
+        worktreeDiffSha256: observation.worktreeDiffSha256,
+        statusSha256: observation.statusSha256,
+        scopeStatus: observation.scopeStatus,
+        fingerprint: observation.fingerprint,
+    };
+}
+function verifyP35CandidateBinding(run, observation) {
+    if (run.state !== "completed" || run.candidateSnapshot === null) {
+        throw new VerificationReceiptError("run-incomplete", "A verification receipt requires a completed P35 Run with a frozen candidate snapshot.");
+    }
+    const candidate = run.candidateSnapshot;
+    if (!SHA256_RE.test(candidate.fingerprint)) {
+        throw new VerificationReceiptError("candidate-not-bound", "P35 candidate snapshot fingerprint is invalid.");
+    }
+    const matchingEntries = candidate.entries.filter((entry) => entry.ref === VERIFICATION_CANDIDATE_ENTRY_REF);
+    if (matchingEntries.length !== 1 ||
+        matchingEntries[0]?.fingerprint !== observation.fingerprint) {
+        throw new VerificationReceiptError("candidate-not-bound", "P35 candidate snapshot must include exactly one matching Git observation entry.");
+    }
+    return candidate;
+}
+function normalizeResults(plan, inputResults) {
+    const expected = new Map();
+    for (const entry of plan.selected)
+        expected.set(entry.checkId, "selected");
+    for (const entry of plan.skipped)
+        expected.set(entry.checkId, "skipped");
+    const provided = new Map();
+    for (const result of inputResults) {
+        const checkId = requireText(result.checkId, "result.checkId");
+        if (provided.has(checkId) || !expected.has(checkId)) {
+            throw new VerificationReceiptError("result-set-mismatch", `Unexpected or duplicate verification result: ${checkId}.`);
+        }
+        if (!CHECK_RESULT_OUTCOMES.includes(result.outcome)) {
+            throw new VerificationReceiptError("invalid-result", `Unsupported result outcome for ${checkId}.`);
+        }
+        const kind = expected.get(checkId);
+        if (kind === "selected" && result.outcome === "skipped") {
+            throw new VerificationReceiptError("invalid-result", `Selected check ${checkId} cannot be recorded as skipped.`);
+        }
+        if (kind === "skipped" && result.outcome !== "skipped") {
+            throw new VerificationReceiptError("invalid-result", `Unselected check ${checkId} must retain its plan skip decision.`);
+        }
+        if (["passed", "failed", "blocked"].includes(result.outcome)) {
+            if (typeof result.evidenceRef !== "string" ||
+                result.evidenceRef.trim().length === 0 ||
+                result.evidenceRef !== result.evidenceRef.trim()) {
+                throw new VerificationReceiptError("invalid-result", `Executed check ${checkId} requires a stable evidence reference.`);
+            }
+        }
+        else if (result.evidenceRef !== undefined) {
+            throw new VerificationReceiptError("invalid-result", `Check ${checkId} cannot attach execution evidence to ${result.outcome}.`);
+        }
+        if (result.summary !== undefined &&
+            (result.summary.trim().length === 0 ||
+                result.summary !== result.summary.trim() ||
+                result.summary.length > 1_000)) {
+            throw new VerificationReceiptError("invalid-result", `Summary for ${checkId} must be trimmed and at most 1000 characters.`);
+        }
+        provided.set(checkId, {
+            checkId,
+            outcome: result.outcome,
+            ...(result.evidenceRef === undefined
+                ? {}
+                : { evidenceRef: result.evidenceRef }),
+            ...(result.summary === undefined ? {} : { summary: result.summary }),
+        });
+    }
+    if (provided.size !== expected.size) {
+        const missing = [...expected.keys()].filter((checkId) => !provided.has(checkId));
+        throw new VerificationReceiptError("result-set-mismatch", `Missing results for: ${missing.join(", ")}.`);
+    }
+    return [...plan.selected, ...plan.skipped].map((entry) => {
+        const result = provided.get(entry.checkId);
+        if (result === undefined)
+            throw new VerificationReceiptError("result-set-mismatch", `Missing result for ${entry.checkId}.`);
+        return result;
+    });
+}
+function receiptOutcome(plan, results) {
+    if (results.some((result) => result.outcome === "failed"))
+        return "failed";
+    if (results.some((result) => result.outcome === "blocked"))
+        return "blocked";
+    if (plan.coverageStatus !== "covered" ||
+        results.some((result) => result.outcome === "not-run")) {
+        return "incomplete";
+    }
+    return "passed";
+}
+function receiptBody(receipt) {
+    return receipt;
+}
+/** Build a P35-bound receipt only after its candidate snapshot includes the observer entry. */
+export function createVerificationReceipt(input) {
+    if (!verifyGitCandidateObservation(input.observation) ||
+        input.observation.scopeStatus !== "within-write-set") {
+        throw new VerificationReceiptError("invalid-observation", "Only an intact, in-write-set Git observation can back a verification receipt.");
+    }
+    const plan = copyPlan(input.plan);
+    const recordedAt = requireText(input.recordedAt, "recordedAt");
+    const parsedRecordedAt = new Date(recordedAt);
+    if (Number.isNaN(parsedRecordedAt.valueOf()) ||
+        parsedRecordedAt.toISOString() !== recordedAt) {
+        throw new VerificationReceiptError("invalid-recorded-at", "recordedAt must be an ISO timestamp with milliseconds and a Z suffix.");
+    }
+    const candidate = verifyP35CandidateBinding(input.run, input.observation);
+    const results = normalizeResults(plan, input.results);
+    const body = {
+        schemaVersion: 1,
+        source: VERIFICATION_RECEIPT_SOURCE,
+        recordedAt,
+        binding: {
+            taskId: requireText(input.run.taskId, "run.taskId"),
+            runId: requireText(input.run.id, "run.id"),
+            candidateSnapshotId: requireText(candidate.id, "candidateSnapshot.id"),
+            candidateFingerprint: candidate.fingerprint,
+            observationFingerprint: input.observation.fingerprint,
+        },
+        observation: copyObservation(input.observation),
+        plan,
+        results,
+        outcome: receiptOutcome(plan, results),
+    };
+    return { ...body, fingerprint: fingerprint(receiptBody(body)) };
+}
+function requiredCiEntries(plan) {
+    return plan.selected.filter((entry) => entry.reason === "required-by-policy");
+}
+/** Derived view: policy declarations remain sourced from plan.selected. */
+export function listRequiredCiReceiptResults(receipt) {
+    return requiredCiEntries(receipt.plan).map((entry) => {
+        const result = receipt.results.find((candidate) => candidate.checkId === entry.checkId);
+        if (result === undefined || entry.requiredBy === undefined) {
+            throw new VerificationReceiptError("receipt-integrity-mismatch", `Required CI result is missing for ${entry.checkId}.`);
+        }
+        return {
+            checkId: entry.checkId,
+            requiredBy: [...entry.requiredBy],
+            outcome: result.outcome,
+            evidenceRef: result.evidenceRef ?? null,
+        };
+    });
+}
+/** Stable JSON bytes for persistence by a later task/CLI integration. */
+export function serializeVerificationReceipt(receipt) {
+    if (!verifyVerificationReceiptIntegrity(receipt)) {
+        throw new VerificationReceiptError("receipt-integrity-mismatch", "Verification receipt fingerprint does not match its contents.");
+    }
+    return stableJson(receipt);
+}
+export function verifyVerificationReceiptIntegrity(receipt) {
+    try {
+        if (receipt.schemaVersion !== 1 ||
+            receipt.source !== VERIFICATION_RECEIPT_SOURCE ||
+            !SHA256_RE.test(receipt.fingerprint))
+            return false;
+        const { fingerprint: storedFingerprint, ...body } = receipt;
+        return fingerprint(receiptBody(body)) === storedFingerprint;
+    }
+    catch {
+        return false;
+    }
+}
+/** Compare both the P35 snapshot identity and current Git/file observation. */
+export function assessVerificationReceiptFreshness(input) {
+    const { receipt, currentRun, currentObservation } = input;
+    const currentCandidate = currentRun.candidateSnapshot;
+    const reasonCodes = [];
+    if (!verifyVerificationReceiptIntegrity(receipt)) {
+        return {
+            status: "invalid-receipt",
+            reasonCodes: ["receipt-integrity-mismatch"],
+            receiptFingerprint: receipt.fingerprint,
+            currentCandidateFingerprint: currentCandidate?.fingerprint ?? null,
+            currentObservationFingerprint: currentObservation.fingerprint,
+        };
+    }
+    if (currentRun.state !== "completed")
+        reasonCodes.push("run-not-completed");
+    if (currentRun.taskId !== receipt.binding.taskId)
+        reasonCodes.push("task-id-mismatch");
+    if (currentRun.id !== receipt.binding.runId)
+        reasonCodes.push("run-id-mismatch");
+    if (currentCandidate === null) {
+        reasonCodes.push("candidate-snapshot-missing");
+    }
+    else {
+        if (currentCandidate.id !== receipt.binding.candidateSnapshotId)
+            reasonCodes.push("candidate-snapshot-id-mismatch");
+        if (currentCandidate.fingerprint !== receipt.binding.candidateFingerprint)
+            reasonCodes.push("candidate-fingerprint-mismatch");
+        const observerEntries = currentCandidate.entries.filter((entry) => entry.ref === VERIFICATION_CANDIDATE_ENTRY_REF);
+        if (observerEntries.length !== 1 ||
+            observerEntries[0]?.fingerprint !== receipt.binding.observationFingerprint) {
+            reasonCodes.push("candidate-observer-entry-mismatch");
+        }
+    }
+    if (!verifyGitCandidateObservation(currentObservation))
+        reasonCodes.push("current-observation-invalid");
+    if (currentObservation.scopeStatus !== "within-write-set")
+        reasonCodes.push("current-observation-not-eligible");
+    if (currentObservation.repositoryIdentitySha256 !==
+        receipt.observation.repositoryIdentitySha256) {
+        reasonCodes.push("repository-identity-mismatch");
+    }
+    if (currentObservation.fingerprint !== receipt.binding.observationFingerprint) {
+        reasonCodes.push("observation-fingerprint-mismatch");
+    }
+    return {
+        status: reasonCodes.length === 0 ? "current" : "stale",
+        reasonCodes,
+        receiptFingerprint: receipt.fingerprint,
+        currentCandidateFingerprint: currentCandidate?.fingerprint ?? null,
+        currentObservationFingerprint: currentObservation.fingerprint,
+    };
+}
+//# sourceMappingURL=receipt.js.map

package/dist/pactile/verification/receipt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"receipt.js","sourceRoot":"","sources":["../../../src/pactile/verification/receipt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAKzC,OAAO,EAEL,gCAAgC,EAChC,6BAA6B,GAK9B,MAAM,mBAAmB,CAAC;AAO3B,MAAM,CAAC,MAAM,2BAA2B,GACtC,iCAA0C,CAAC;AAE7C,MAAM,SAAS,GAAG,gBAAgB,CAAC;AACnC,MAAM,qBAAqB,GAAG;IAC5B,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,SAAS;IACT,SAAS;CACD,CAAC;AA2GX,MAAM,OAAO,wBAAyB,SAAQ,KAAK;IACjC,IAAI,CAQa;IAEjC,YAAmB,IAAsC,EAAE,OAAe;QACxE,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;QACvC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,IACE,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,SAAS,EAC1B,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,UAAU,KAAK,SAAS;YAC1B,MAAM,IAAI,wBAAwB,CAChC,gBAAgB,EAChB,2CAA2C,CAC5C,CAAC;QACJ,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACxE,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,KAAgC,CAAC;QAChD,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;aAC3B,IAAI,EAAE;aACN,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;aACjE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAClB,CAAC;IACD,MAAM,IAAI,wBAAwB,CAChC,gBAAgB,EAChB,oEAAoE,CACrE,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,KAAa;IAChD,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,KAAK,KAAK,KAAK,CAAC,IAAI,EAAE,EACtB,CAAC;QACD,MAAM,IAAI,wBAAwB,CAChC,cAAc,EACd,GAAG,KAAK,sCAAsC,CAC/C,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,IAAsB;IACtC,IACE,IAAI,EAAE,aAAa,KAAK,CAAC;QACzB,IAAI,CAAC,SAAS,KAAK,uCAAuC;QAC1D,CAAC,IAAI,CAAC,MAAM;QACZ,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC;QAC3C,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QACjC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;QAC1B,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC7B,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;QAC5B,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC;QACnC,CAAC,IAAI,CAAC,cAAc,KAAK,SAAS;YAChC,IAAI,CAAC,cAAc,KAAK,kCAAkC,CAAC,EAC7D,CAAC;QACD,MAAM,IAAI,wBAAwB,CAChC,cAAc,EACd,4DAA4D,CAC7D,CAAC;IACJ,CAAC;IACD,MAAM,gBAAgB,GACpB,IAAI,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;QAC9B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,kCAAkC,CAAC;IACzC,IAAI,IAAI,CAAC,cAAc,KAAK,gBAAgB,EAAE,CAAC;QAC7C,MAAM,IAAI,wBAAwB,CAChC,cAAc,EACd,uEAAuE,CACxE,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,QAAQ,GAAgC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACxE,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC;QAC/D,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,YAAY,OAAO,QAAQ,CAAC,CAAC;QACpE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,wBAAwB,CAChC,cAAc,EACd,kBAAkB,OAAO,+BAA+B,CACzD,CAAC;QACJ,CAAC;QACD,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,MAAc,EAAE,EAAE,CAC/D,WAAW,CAAC,MAAM,EAAE,YAAY,OAAO,gBAAgB,CAAC,CACzD,CAAC;QACF,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;YAClB,MAAM,IAAI,wBAAwB,CAChC,cAAc,EACd,4BAA4B,OAAO,GAAG,CACvC,CAAC;QACJ,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACjB,IAAI,KAAK,CAAC,MAAM,KAAK,oBAAoB,EAAE,CAAC;YAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACtE,MAAM,IAAI,wBAAwB,CAChC,cAAc,EACd,kBAAkB,OAAO,6BAA6B,CACvD,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,OAAO;gBACP,KAAK;gBACL,MAAM,EAAE,oBAAoB;gBAC5B,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,MAAc,EAAE,EAAE,CAClD,WAAW,CAAC,MAAM,EAAE,YAAY,OAAO,aAAa,CAAC,CACtD;gBACD,aAAa;aACd,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,kCAAkC,EAAE,CAAC;YACxD,MAAM,IAAI,wBAAwB,CAChC,cAAc,EACd,kBAAkB,OAAO,yBAAyB,CACnD,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,IAAI,wBAAwB,CAChC,cAAc,EACd,kBAAkB,OAAO,sCAAsC,CAChE,CAAC;QACJ,CAAC;QACD,OAAO;YACL,OAAO;YACP,KAAK;YACL,MAAM,EAAE,kCAAkC;YAC1C,aAAa;SACd,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,GAA+B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACrE,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,OAAO,QAAQ,CAAC,CAAC;QACnE,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,WAAW,OAAO,SAAS,CAAC,CAAC;QACtE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,wBAAwB,CAChC,cAAc,EACd,iBAAiB,OAAO,+BAA+B,CACxD,CAAC;QACJ,CAAC;QACD,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;YAClB,MAAM,IAAI,wBAAwB,CAChC,cAAc,EACd,4BAA4B,OAAO,GAAG,CACvC,CAAC;QACJ,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACjB,OAAO;YACL,OAAO;YACP,KAAK;YACL,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,eAAe,EAAE,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,MAAc,EAAE,EAAE,CAC5D,WAAW,CAAC,MAAM,EAAE,WAAW,OAAO,kBAAkB,CAAC,CAC1D;YACD,MAAM;SACP,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACtC,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC;QACnC,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC;KAC7C,CAAC,CAAC,CAAC;IACJ,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACvD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC;YAChC,MAAM,IAAI,wBAAwB,CAChC,cAAc,EACd,8CAA8C,CAC/C,CAAC;QACJ,OAAO;YACL,IAAI,EAAE;gBACJ,EAAE,EAAE,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,uBAAuB,CAAC;gBACvD,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI;gBACrB,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,0BAA0B,CAAC;aACjE;YACD,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAe,EAAE,EAAE,CAC/C,WAAW,CAAC,OAAO,EAAE,wBAAwB,CAAC,CAC/C;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,MAAM,EAAE;YACN,eAAe,EAAE,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAC3D,WAAW,CAAC,OAAO,EAAE,wBAAwB,CAAC,CAC/C;YACD,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;YAC7B,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK;SACzB;QACD,KAAK;QACL,QAAQ;QACR,OAAO;QACP,cAAc;QACd,cAAc,EAAE,IAAI,CAAC,cAAc;KACpC,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,WAAoC;IAEpC,OAAO;QACL,MAAM,EAAE,WAAW,CAAC,MAAM;QAC1B,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,wBAAwB,EAAE,WAAW,CAAC,wBAAwB;QAC9D,eAAe,EAAE,WAAW,CAAC,eAAe;QAC5C,cAAc,EAAE,WAAW,CAAC,cAAc;QAC1C,mBAAmB,EAAE,WAAW,CAAC,mBAAmB;QACpD,IAAI,EAAE,WAAW,CAAC,IAAI;QACtB,MAAM,EAAE,WAAW,CAAC,MAAM;QAC1B,eAAe,EAAE;YACf,UAAU,EAAE,CAAC,GAAG,WAAW,CAAC,eAAe,CAAC,UAAU,CAAC;YACvD,iBAAiB,EAAE,CAAC,GAAG,WAAW,CAAC,eAAe,CAAC,iBAAiB,CAAC;SACtE;QACD,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,WAAW,CAAC;QACzC,aAAa,EAAE,CAAC,GAAG,WAAW,CAAC,aAAa,CAAC;QAC7C,cAAc,EAAE,CAAC,GAAG,WAAW,CAAC,cAAc,CAAC;QAC/C,aAAa,EAAE,CAAC,GAAG,WAAW,CAAC,aAAa,CAAC;QAC7C,cAAc,EAAE,CAAC,GAAG,WAAW,CAAC,cAAc,CAAC;QAC/C,aAAa,EAAE,CAAC,GAAG,WAAW,CAAC,aAAa,CAAC;QAC7C,YAAY,EAAE,CAAC,GAAG,WAAW,CAAC,YAAY,CAAC;QAC3C,eAAe,EAAE,CAAC,GAAG,WAAW,CAAC,eAAe,CAAC;QACjD,YAAY,EAAE,WAAW,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QACrE,eAAe,EAAE,WAAW,CAAC,eAAe;QAC5C,kBAAkB,EAAE,WAAW,CAAC,kBAAkB;QAClD,YAAY,EAAE,WAAW,CAAC,YAAY;QACtC,WAAW,EAAE,WAAW,CAAC,WAAW;QACpC,WAAW,EAAE,WAAW,CAAC,WAAW;KACrC,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,GAA2B,EAC3B,WAAoC;IAEpC,IAAI,GAAG,CAAC,KAAK,KAAK,WAAW,IAAI,GAAG,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QAChE,MAAM,IAAI,wBAAwB,CAChC,gBAAgB,EAChB,uFAAuF,CACxF,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,GAAG,CAAC,iBAAiB,CAAC;IACxC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,wBAAwB,CAChC,qBAAqB,EACrB,gDAAgD,CACjD,CAAC;IACJ,CAAC;IACD,MAAM,eAAe,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAC9C,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,gCAAgC,CAC1D,CAAC;IACF,IACE,eAAe,CAAC,MAAM,KAAK,CAAC;QAC5B,eAAe,CAAC,CAAC,CAAC,EAAE,WAAW,KAAK,WAAW,CAAC,WAAW,EAC3D,CAAC;QACD,MAAM,IAAI,wBAAwB,CAChC,qBAAqB,EACrB,iFAAiF,CAClF,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAsB,EACtB,YAAgD;IAEhD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkC,CAAC;IAC3D,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ;QAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAC3E,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO;QAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmC,CAAC;IAC5D,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAC9D,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACpD,MAAM,IAAI,wBAAwB,CAChC,qBAAqB,EACrB,gDAAgD,OAAO,GAAG,CAC3D,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACpD,MAAM,IAAI,wBAAwB,CAChC,gBAAgB,EAChB,kCAAkC,OAAO,GAAG,CAC7C,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACnC,IAAI,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACxD,MAAM,IAAI,wBAAwB,CAChC,gBAAgB,EAChB,kBAAkB,OAAO,iCAAiC,CAC3D,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACvD,MAAM,IAAI,wBAAwB,CAChC,gBAAgB,EAChB,oBAAoB,OAAO,sCAAsC,CAClE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7D,IACE,OAAO,MAAM,CAAC,WAAW,KAAK,QAAQ;gBACtC,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;gBACtC,MAAM,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,EAChD,CAAC;gBACD,MAAM,IAAI,wBAAwB,CAChC,gBAAgB,EAChB,kBAAkB,OAAO,wCAAwC,CAClE,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YAC5C,MAAM,IAAI,wBAAwB,CAChC,gBAAgB,EAChB,SAAS,OAAO,wCAAwC,MAAM,CAAC,OAAO,GAAG,CAC1E,CAAC;QACJ,CAAC;QACD,IACE,MAAM,CAAC,OAAO,KAAK,SAAS;YAC5B,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;gBACjC,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE;gBACxC,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,EAChC,CAAC;YACD,MAAM,IAAI,wBAAwB,CAChC,gBAAgB,EAChB,eAAe,OAAO,+CAA+C,CACtE,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE;YACpB,OAAO;YACP,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,GAAG,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS;gBAClC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;YACxC,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;SACrE,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CACzC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CACpC,CAAC;QACF,MAAM,IAAI,wBAAwB,CAChC,qBAAqB,EACrB,wBAAwB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC9C,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACvD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC3C,IAAI,MAAM,KAAK,SAAS;YACtB,MAAM,IAAI,wBAAwB,CAChC,qBAAqB,EACrB,sBAAsB,KAAK,CAAC,OAAO,GAAG,CACvC,CAAC;QACJ,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CACrB,IAAsB,EACtB,OAA2C;IAE3C,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC3E,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7E,IACE,IAAI,CAAC,cAAc,KAAK,SAAS;QACjC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,EACtD,CAAC;QACD,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,WAAW,CAClB,OAAiD;IAEjD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,yBAAyB,CACvC,KAAqC;IAErC,IACE,CAAC,6BAA6B,CAAC,KAAK,CAAC,WAAW,CAAC;QACjD,KAAK,CAAC,WAAW,CAAC,WAAW,KAAK,kBAAkB,EACpD,CAAC;QACD,MAAM,IAAI,wBAAwB,CAChC,qBAAqB,EACrB,+EAA+E,CAChF,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAC/D,MAAM,gBAAgB,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9C,IACE,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC;QACxC,gBAAgB,CAAC,WAAW,EAAE,KAAK,UAAU,EAC7C,CAAC;QACD,MAAM,IAAI,wBAAwB,CAChC,qBAAqB,EACrB,uEAAuE,CACxE,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,yBAAyB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG;QACX,aAAa,EAAE,CAAU;QACzB,MAAM,EAAE,2BAA2B;QACnC,UAAU;QACV,OAAO,EAAE;YACP,MAAM,EAAE,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC;YACnD,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC;YAC1C,mBAAmB,EAAE,WAAW,CAAC,SAAS,CAAC,EAAE,EAAE,sBAAsB,CAAC;YACtE,oBAAoB,EAAE,SAAS,CAAC,WAAW;YAC3C,sBAAsB,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW;SACtD;QACD,WAAW,EAAE,eAAe,CAAC,KAAK,CAAC,WAAW,CAAC;QAC/C,IAAI;QACJ,OAAO;QACP,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC;KACvC,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;AAClE,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAsB;IAEtB,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,oBAAoB,CAAC,CAAC;AAChF,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,4BAA4B,CAC1C,OAA4B;IAE5B,OAAO,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACnD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CACjC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CACnD,CAAC;QACF,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAC3D,MAAM,IAAI,wBAAwB,CAChC,4BAA4B,EAC5B,qCAAqC,KAAK,CAAC,OAAO,GAAG,CACtD,CAAC;QACJ,CAAC;QACD,OAAO;YACL,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;YACjC,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,IAAI;SACxC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,4BAA4B,CAC1C,OAA4B;IAE5B,IAAI,CAAC,kCAAkC,CAAC,OAAO,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,wBAAwB,CAChC,4BAA4B,EAC5B,+DAA+D,CAChE,CAAC;IACJ,CAAC;IACD,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,kCAAkC,CAChD,OAA4B;IAE5B,IAAI,CAAC;QACH,IACE,OAAO,CAAC,aAAa,KAAK,CAAC;YAC3B,OAAO,CAAC,MAAM,KAAK,2BAA2B;YAC9C,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;YAEpC,OAAO,KAAK,CAAC;QACf,MAAM,EAAE,WAAW,EAAE,iBAAiB,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;QAC5D,OAAO,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,iBAAiB,CAAC;IAC9D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,kCAAkC,CAAC,KAIlD;IACC,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,GAAG,KAAK,CAAC;IAC1D,MAAM,gBAAgB,GAAG,UAAU,CAAC,iBAAiB,CAAC;IACtD,MAAM,WAAW,GAAkC,EAAE,CAAC;IACtD,IAAI,CAAC,kCAAkC,CAAC,OAAO,CAAC,EAAE,CAAC;QACjD,OAAO;YACL,MAAM,EAAE,iBAAiB;YACzB,WAAW,EAAE,CAAC,4BAA4B,CAAC;YAC3C,kBAAkB,EAAE,OAAO,CAAC,WAAW;YACvC,2BAA2B,EAAE,gBAAgB,EAAE,WAAW,IAAI,IAAI;YAClE,6BAA6B,EAAE,kBAAkB,CAAC,WAAW;SAC9D,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,KAAK,KAAK,WAAW;QAAE,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAC5E,IAAI,UAAU,CAAC,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,MAAM;QAC9C,WAAW,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACvC,IAAI,UAAU,CAAC,EAAE,KAAK,OAAO,CAAC,OAAO,CAAC,KAAK;QACzC,WAAW,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACtC,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;QAC9B,WAAW,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IACjD,CAAC;SAAM,CAAC;QACN,IAAI,gBAAgB,CAAC,EAAE,KAAK,OAAO,CAAC,OAAO,CAAC,mBAAmB;YAC7D,WAAW,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QACrD,IAAI,gBAAgB,CAAC,WAAW,KAAK,OAAO,CAAC,OAAO,CAAC,oBAAoB;YACvE,WAAW,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QACrD,MAAM,eAAe,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,CACrD,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,gCAAgC,CAC1D,CAAC;QACF,IACE,eAAe,CAAC,MAAM,KAAK,CAAC;YAC5B,eAAe,CAAC,CAAC,CAAC,EAAE,WAAW,KAAK,OAAO,CAAC,OAAO,CAAC,sBAAsB,EAC1E,CAAC;YACD,WAAW,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,IAAI,CAAC,6BAA6B,CAAC,kBAAkB,CAAC;QACpD,WAAW,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAClD,IAAI,kBAAkB,CAAC,WAAW,KAAK,kBAAkB;QACvD,WAAW,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IACvD,IACE,kBAAkB,CAAC,wBAAwB;QAC3C,OAAO,CAAC,WAAW,CAAC,wBAAwB,EAC5C,CAAC;QACD,WAAW,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IACnD,CAAC;IACD,IACE,kBAAkB,CAAC,WAAW,KAAK,OAAO,CAAC,OAAO,CAAC,sBAAsB,EACzE,CAAC;QACD,WAAW,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO;QACL,MAAM,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;QACtD,WAAW;QACX,kBAAkB,EAAE,OAAO,CAAC,WAAW;QACvC,2BAA2B,EAAE,gBAAgB,EAAE,WAAW,IAAI,IAAI;QAClE,6BAA6B,EAAE,kBAAkB,CAAC,WAAW;KAC9D,CAAC;AACJ,CAAC"}

package/dist/pactile/verification/types.d.ts

@@ -0,0 +1,72 @@
+/** Semantic risk signals supplied by the change author or a trusted change analyzer. */
+export declare const VERIFICATION_RISKS: readonly ["public-contract", "migration", "release", "permission-boundary", "data-egress"];
+export type VerificationRisk = (typeof VERIFICATION_RISKS)[number];
+export declare const VERIFICATION_SCOPES: readonly ["single-area", "cross-module", "repository-wide"];
+export type VerificationScope = (typeof VERIFICATION_SCOPES)[number];
+export interface VerificationImpact {
+    /** Semantic product/API seams changed, not a mechanically derived file list. */
+    readonly changedSurfaces: readonly string[];
+    readonly risks: readonly VerificationRisk[];
+    readonly scope: VerificationScope;
+}
+export declare const BEHAVIOR_CHECK_MODES: readonly ["focused", "integration", "migration", "release", "full-suite"];
+export type BehaviorCheckMode = (typeof BEHAVIOR_CHECK_MODES)[number];
+export interface BehaviorVerificationCheck {
+    readonly kind: "behavior";
+    readonly id: string;
+    readonly title: string;
+    readonly mode: BehaviorCheckMode;
+    /** Only independently asserted public outcomes can satisfy behavior goals. */
+    readonly evidence: "independent-public-behavior" | "implementation-mirror";
+    readonly coversRisks: readonly VerificationRisk[];
+    /** Cross-module coverage must match at least one impacted behavior surface. */
+    readonly coversSurfaces: readonly string[];
+}
+export interface RequiredPolicyCheck {
+    readonly kind: "policy-ci";
+    readonly id: string;
+    readonly title: string;
+    readonly requiredBy: readonly string[];
+}
+export type VerificationCheck = BehaviorVerificationCheck | RequiredPolicyCheck;
+export interface VerificationGoal {
+    readonly id: string;
+    readonly kind: "surface" | "risk" | "scope";
+    readonly label: string;
+}
+export type VerificationDecisionReason = "required-by-policy" | "highest-value-uncovered-behavior" | "implementation-mirror" | "optional-policy-ci" | "no-relevant-goal" | "broad-check-not-warranted" | "already-covered";
+export interface SelectedVerificationCheck {
+    readonly checkId: string;
+    readonly title: string;
+    readonly reason: "required-by-policy" | "highest-value-uncovered-behavior";
+    /** Goals this check contributed when it was selected. */
+    readonly coversGoalIds: readonly string[];
+    readonly requiredBy?: readonly string[];
+}
+export interface SkippedVerificationCheck {
+    readonly checkId: string;
+    readonly title: string;
+    readonly reason: Exclude<VerificationDecisionReason, "required-by-policy" | "highest-value-uncovered-behavior">;
+    readonly relevantGoalIds: readonly string[];
+    readonly detail: string;
+}
+export interface UncoveredVerificationGoal {
+    readonly goal: VerificationGoal;
+    readonly reason: "no-registered-public-behavior-check" | "only-implementation-mirror" | "only-broader-check-not-warranted";
+    readonly checkIds: readonly string[];
+}
+/**
+ * A deterministic selection proposal. It is not an execution receipt, candidate
+ * fingerprint, freshness claim, or Close authorization.
+ */
+export interface VerificationPlan {
+    readonly schemaVersion: 1;
+    readonly algorithm: "risk-weighted-independent-behavior-v1";
+    readonly impact: VerificationImpact;
+    readonly goals: readonly VerificationGoal[];
+    readonly selected: readonly SelectedVerificationCheck[];
+    readonly skipped: readonly SkippedVerificationCheck[];
+    readonly uncoveredGoals: readonly UncoveredVerificationGoal[];
+    readonly coverageStatus: "covered" | "missing-public-behavior-evidence";
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/pactile/verification/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/pactile/verification/types.ts"],"names":[],"mappings":"AAAA,wFAAwF;AACxF,eAAO,MAAM,kBAAkB,4FAMrB,CAAC;AAEX,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnE,eAAO,MAAM,mBAAmB,6DAItB,CAAC;AAEX,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAErE,MAAM,WAAW,kBAAkB;IACjC,gFAAgF;IAChF,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC;CACnC;AAED,eAAO,MAAM,oBAAoB,2EAMvB,CAAC;AAEX,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEtE,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,8EAA8E;IAC9E,QAAQ,CAAC,QAAQ,EAAE,6BAA6B,GAAG,uBAAuB,CAAC;IAC3E,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAClD,+EAA+E;IAC/E,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC;AAED,MAAM,MAAM,iBAAiB,GAAG,yBAAyB,GAAG,mBAAmB,CAAC;AAEhF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,GAAG,OAAO,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,MAAM,0BAA0B,GAClC,oBAAoB,GACpB,kCAAkC,GAClC,uBAAuB,GACvB,oBAAoB,GACpB,kBAAkB,GAClB,2BAA2B,GAC3B,iBAAiB,CAAC;AAEtB,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,oBAAoB,GAAG,kCAAkC,CAAC;IAC3E,yDAAyD;IACzD,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,OAAO,CACtB,0BAA0B,EAC1B,oBAAoB,GAAG,kCAAkC,CAC1D,CAAC;IACF,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,MAAM,EACX,qCAAqC,GACrC,4BAA4B,GAC5B,kCAAkC,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,uCAAuC,CAAC;IAC5D,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,SAAS,yBAAyB,EAAE,CAAC;IACxD,QAAQ,CAAC,OAAO,EAAE,SAAS,wBAAwB,EAAE,CAAC;IACtD,QAAQ,CAAC,cAAc,EAAE,SAAS,yBAAyB,EAAE,CAAC;IAC9D,QAAQ,CAAC,cAAc,EAAE,SAAS,GAAG,kCAAkC,CAAC;CACzE"}

package/dist/pactile/verification/types.js

@@ -0,0 +1,21 @@
+/** Semantic risk signals supplied by the change author or a trusted change analyzer. */
+export const VERIFICATION_RISKS = [
+    "public-contract",
+    "migration",
+    "release",
+    "permission-boundary",
+    "data-egress",
+];
+export const VERIFICATION_SCOPES = [
+    "single-area",
+    "cross-module",
+    "repository-wide",
+];
+export const BEHAVIOR_CHECK_MODES = [
+    "focused",
+    "integration",
+    "migration",
+    "release",
+    "full-suite",
+];
+//# sourceMappingURL=types.js.map

package/dist/pactile/verification/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/pactile/verification/types.ts"],"names":[],"mappings":"AAAA,wFAAwF;AACxF,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,iBAAiB;IACjB,WAAW;IACX,SAAS;IACT,qBAAqB;IACrB,aAAa;CACL,CAAC;AAIX,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,aAAa;IACb,cAAc;IACd,iBAAiB;CACT,CAAC;AAWX,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,SAAS;IACT,aAAa;IACb,WAAW;IACX,SAAS;IACT,YAAY;CACJ,CAAC"}

package/dist/pactile/worktree/git-probe.d.ts

@@ -0,0 +1,32 @@
+import { type GitIdentity, type GitWorktreeRegistration, type WorkspaceOwnerRef } from "./manager-types.js";
+export interface GitTreePathEntry {
+    path: string;
+    mode: string;
+    type: "blob" | "commit";
+    objectId: string;
+}
+export declare function git(cwd: string, args: string[]): string;
+export declare function pathKey(value: string): string;
+export declare function pathWithin(parent: string, candidate: string, allowEqual?: boolean): boolean;
+export declare function assertRunId(runId: string): void;
+export declare function repoIdentity(repoRoot: string): GitIdentity;
+export declare function allowedWorktreeRoot(root: string): string;
+export declare function assertNoSymlinkBetween(root: string, target: string): void;
+export declare function ensureAllowedRoot(identity: GitIdentity): string;
+export declare function assertAllowedPath(identity: GitIdentity, candidateValue: string): string;
+export declare function verifyLinkedGitDirectory(candidate: string, commonDir: string): string;
+export declare function resolveCommit(cwd: string, reference: string): string;
+export declare function resolveLocalBranchTarget(cwd: string, reference: string): {
+    ref: string;
+    branch: string;
+    headSha: string;
+};
+export declare function validateSha(sha: string): string;
+export declare function branchRef(cwd: string, branch: string): string;
+export declare function registrations(identity: GitIdentity): GitWorktreeRegistration[];
+export declare function worktreeStatus(cwd: string): string[];
+export declare function changedPaths(cwd: string, baseSha: string, headSha: string): string[];
+export declare function treePathEntries(cwd: string, treeish: string, paths: readonly string[]): GitTreePathEntry[];
+export declare function isAncestor(cwd: string, ancestor: string, descendant: string): boolean;
+export declare function ownerConflict(canonicalPath: string, ownerRunId: string, knownOwners: readonly WorkspaceOwnerRef[]): boolean;
+//# sourceMappingURL=git-probe.d.ts.map

package/dist/pactile/worktree/git-probe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"git-probe.d.ts","sourceRoot":"","sources":["../../../src/pactile/worktree/git-probe.ts"],"names":[],"mappings":"AAKA,OAAO,EAAwB,KAAK,WAAW,EAAE,KAAK,uBAAuB,EAAE,KAAK,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAMlI,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,wBAAgB,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAYvD;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAG7C;AAED,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,UAAQ,GAAG,OAAO,CAIzF;AAqCD,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAI/C;AAGD,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,CAiB1D;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAExD;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CASzE;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,WAAW,GAAG,MAAM,CAU/D;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,GAAG,MAAM,CA8BvF;AAED,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CA4BrF;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAOpE;AAED,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAczH;AAED,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAG/C;AAED,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAM7D;AAkBD,wBAAgB,aAAa,CAAC,QAAQ,EAAE,WAAW,GAAG,uBAAuB,EAAE,CAE9E;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAGpD;AAED,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAGpF;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,gBAAgB,EAAE,CAyB1G;AAED,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAUrF;AAED,wBAAgB,aAAa,CAAC,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,iBAAiB,EAAE,GAAG,OAAO,CAG3H"}