@blxzer/pactile 0.5.0 → 0.6.0-beta.2

package/dist/core/task/kernel-contract.js

@@ -0,0 +1,475 @@
+/**
+ * Stage 1 Kernel Data Contract (P28 D05 / P30 Stage 1).
+ *
+ * Frozen here: record categories (identity, revision, 3D state, Transition
+ * Request, atomic audit) and legal phase edges. Disk field names are an
+ * implementation choice for this wave; user-visible `task.json.status`
+ * enumerations are not switched.
+ */
+import { isPlainObject, taskRecordSchema, } from "./schema.js";
+import { assuranceSatisfiesV1, policyWithinCeilingV1, parseResolvedProviderV1, decodePolicyCeilingV1, } from "../pactile/provider.js";
+import { parseTileManifestV1, tilePolicyCeilingV1, TILE_EVIDENCE_KINDS_V1 } from "../pactile/tile.js";
+import { ContractDecoderV1, PACTILE_FINGERPRINT_PATTERN, decodeOpaqueReferenceV1, fingerprintPactileContractV1, } from "../pactile/validation.js";
+/** New host-neutral callers explicitly opt out of legacy projection defaults. */
+export const neutralKernelExtrasBoundary = () => undefined;
+/** Pure contract validation: no catalog, provider selection/probe, host or filesystem. */
+export function validateComposition(input, evidence) {
+    try {
+        return evaluateComposition(input, evidence);
+    }
+    catch {
+        const value = { outcome: "rejected", reasonCodes: ["invalid-composition"], selectedTileIds: [] };
+        return { ...value, fingerprint: fingerprintPactileContractV1(value) };
+    }
+}
+function evaluateComposition(input, evidence) {
+    const reasons = [];
+    const ids = [];
+    const validatedFacts = [];
+    const add = (code) => { if (!reasons.includes(code))
+        reasons.push(code); };
+    const finish = () => {
+        const value = { outcome: reasons.length === 0 ? "accepted" : "rejected", reasonCodes: reasons, selectedTileIds: ids };
+        return { ...value, fingerprint: fingerprintPactileContractV1({ ...value, validatedFacts }) };
+    };
+    if (!input || !Array.isArray(input.tiles) || !Array.isArray(input.providers)) {
+        add("invalid-composition");
+        return finish();
+    }
+    const policyDecoder = new ContractDecoderV1();
+    const policy = decodePolicyCeilingV1(input.policyCeiling, policyDecoder, "$");
+    if (policyDecoder.issues.length > 0) {
+        add("invalid-composition");
+        return finish();
+    }
+    validatedFacts.push(fingerprintPactileContractV1(policy));
+    if ((input.evidenceRefs !== undefined && !Array.isArray(input.evidenceRefs)) ||
+        (input.requireEvidence !== undefined && typeof input.requireEvidence !== "boolean") ||
+        (input.attempts !== undefined && !isPlainObject(input.attempts))) {
+        add("invalid-composition");
+        return finish();
+    }
+    // Use decoded manifests, not casts of caller-owned values.
+    const decoded = input.tiles.flatMap((tile) => {
+        try {
+            const result = parseTileManifestV1(tile.manifest);
+            if (!result.success) {
+                add("invalid-tile");
+                return [];
+            }
+            if (tile.fingerprint !== result.fingerprint)
+                add("fingerprint-mismatch");
+            validatedFacts.push(result.fingerprint);
+            const id = result.data.identity.id;
+            if (ids.includes(id))
+                add("duplicate-tile");
+            ids.push(id);
+            return [result.data];
+        }
+        catch {
+            add("invalid-tile");
+            return [];
+        }
+    });
+    const observed = new Set();
+    for (const ref of input.evidenceRefs ?? []) {
+        const decoder = new ContractDecoderV1();
+        decodeOpaqueReferenceV1(ref, decoder, "$", ["evidence"]);
+        if (decoder.issues.length > 0) {
+            add("evidence-invalid");
+            continue;
+        }
+        try {
+            const fact = evidence?.lookup(ref);
+            if (fact?.exists !== true)
+                add("evidence-missing");
+            else if (fact.ref !== ref || !TILE_EVIDENCE_KINDS_V1.includes(fact.kind) || !PACTILE_FINGERPRINT_PATTERN.test(fact.fingerprint))
+                add("evidence-invalid");
+            else {
+                observed.add(fact.kind);
+                validatedFacts.push(fact.fingerprint);
+            }
+        }
+        catch {
+            add("evidence-missing");
+        }
+    }
+    for (const [position, tile] of decoded.entries()) {
+        for (const dependency of tile.dependencies) {
+            const dependencyPosition = ids.indexOf(dependency);
+            if (dependencyPosition < 0)
+                add("dependency-missing");
+            else if (dependencyPosition >= position)
+                add("dependency-order");
+        }
+        if (tile.conflicts.some((conflict) => ids.includes(conflict)))
+            add("tile-conflict");
+        const tilePolicy = tilePolicyCeilingV1(tile);
+        if (!policyWithinCeilingV1(tilePolicy, policy))
+            add("policy-exceeded");
+        const attempts = input.attempts && Object.hasOwn(input.attempts, tile.identity.id)
+            ? input.attempts[tile.identity.id] : 0;
+        if (!Number.isSafeInteger(attempts) || attempts < 0 || attempts >= tile.stop.maxAttempts)
+            add("attempt-limit");
+        if (input.requireEvidence && tile.evidence.some((need) => need.required && !observed.has(need.kind)))
+            add("evidence-missing");
+        for (const intent of tile.trigger.intents) {
+            const facts = input.providers.filter((fact) => fact.tileId === tile.identity.id && fact.resolution?.intent === intent);
+            if (facts.length !== 1) {
+                add(facts.length === 0 ? "provider-missing" : "provider-invalid");
+                continue;
+            }
+            const fact = facts[0];
+            if (fact.authorized !== true)
+                add("provider-unauthorized");
+            const result = parseResolvedProviderV1(fact.resolution);
+            if (!result.success) {
+                add("provider-invalid");
+                continue;
+            }
+            const provider = result.data;
+            validatedFacts.push(result.fingerprint);
+            if (provider.origin === "unsupported" || provider.readiness !== "ready")
+                add("provider-unavailable");
+            if (provider.assurance === null || !assuranceSatisfiesV1(provider.assurance, tile.minimumAssurance))
+                add("provider-assurance");
+            if (provider.effectivePolicy === null || !policyWithinCeilingV1(provider.effectivePolicy, tilePolicy) || !policyWithinCeilingV1(provider.requestedPolicy, policy))
+                add("provider-policy");
+            if (provider.fallbackFromProviderId !== null && (!tile.fallback.allowed || tile.fallback.policy === null || tile.fallback.minimumAssurance === null ||
+                provider.assurance === null || !assuranceSatisfiesV1(provider.assurance, tile.fallback.minimumAssurance) ||
+                provider.effectivePolicy === null || !policyWithinCeilingV1(provider.effectivePolicy, tilePolicyCeilingV1(tile.fallback.policy))))
+                add("provider-policy");
+        }
+    }
+    if (input.providers.some((fact) => !decoded.some((tile) => tile.identity.id === fact.tileId && tile.trigger.intents.includes(fact.resolution.intent))))
+        add("provider-invalid");
+    return finish();
+}
+export const compositionValidationPort = { validate: validateComposition };
+export const KERNEL_SCHEMA_VERSION = 1;
+export const KERNEL_JSON_BASENAME = "kernel.json";
+export const KERNEL_PHASES = [
+    "open",
+    "define",
+    "approve",
+    "execute",
+    "verify",
+    "integrate",
+    "close",
+];
+export const KERNEL_CONDITIONS = [
+    "ready",
+    "active",
+    "waiting",
+    "blocked",
+];
+export const KERNEL_OUTCOMES = ["completed", "cancelled", "failed"];
+export class KernelError extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.name = "KernelError";
+        this.code = code;
+    }
+}
+export const KERNEL_COMMAND_OPS = [
+    "read",
+    "transition",
+    "create",
+    "start",
+    "record-gate",
+    "archive",
+    "patch",
+    "migrate",
+    "inspect-projection",
+    "repair-projection",
+];
+/**
+ * Legal Kernel phase edges for Stage 1. Integrate is optional (P28);
+ * Close is reachable from Verify or Integrate. Condition/outcome are
+ * derived from the target phase — they are not independently requested.
+ */
+export const KERNEL_PHASE_EDGES = [
+    ["open", "define"],
+    ["define", "approve"],
+    ["approve", "execute"],
+    ["execute", "verify"],
+    ["verify", "integrate"],
+    ["verify", "close"],
+    ["integrate", "close"],
+];
+const EDGE_SET = new Set(KERNEL_PHASE_EDGES.map(([from, to]) => `${from}->${to}`));
+const EXECUTE_PATH = [
+    "open",
+    "define",
+    "approve",
+    "execute",
+];
+const CLOSE_PATH = [
+    "open",
+    "define",
+    "approve",
+    "execute",
+    "verify",
+    "close",
+];
+export function emptyKernelGates() {
+    return { schemaVersion: 1, transitions: {} };
+}
+export function isKernelPhase(value) {
+    return (typeof value === "string" &&
+        KERNEL_PHASES.includes(value));
+}
+export function isKernelCondition(value) {
+    return (typeof value === "string" &&
+        KERNEL_CONDITIONS.includes(value));
+}
+export function isKernelOutcome(value) {
+    return (typeof value === "string" &&
+        KERNEL_OUTCOMES.includes(value));
+}
+export function isLegalPhaseEdge(from, to) {
+    return EDGE_SET.has(`${from}->${to}`);
+}
+export function deriveStateForPhase(phase) {
+    switch (phase) {
+        case "open":
+        case "define":
+            return { phase, condition: "ready", outcome: null };
+        case "approve":
+        case "verify":
+        case "integrate":
+            return { phase, condition: "waiting", outcome: null };
+        case "execute":
+            return { phase, condition: "active", outcome: null };
+        case "close":
+            return { phase, condition: "ready", outcome: "completed" };
+    }
+}
+/**
+ * Read-only projection of the legacy `task.json.status` enum onto Kernel
+ * 3D state. Does not mutate user-visible status names.
+ */
+export function projectLegacyStatus(status) {
+    switch (status) {
+        case "planning":
+            return deriveStateForPhase("define");
+        case "in_progress":
+            return deriveStateForPhase("execute");
+        case "review":
+            return deriveStateForPhase("verify");
+        case "completed":
+        case "done":
+            return deriveStateForPhase("close");
+        default:
+            return deriveStateForPhase("open");
+    }
+}
+/**
+ * User-visible `task.json.status` names stay on the Stage 1 enum.
+ * Approve maps to planning so start-execution is the only planning→in_progress cut.
+ */
+export function kernelPhaseToLegacyStatus(phase) {
+    switch (phase) {
+        case "open":
+        case "define":
+        case "approve":
+            return "planning";
+        case "execute":
+            return "in_progress";
+        case "verify":
+        case "integrate":
+            return "review";
+        case "close":
+            return "completed";
+    }
+}
+export function hopsToExecute(from) {
+    if (from === "execute")
+        return [];
+    const index = EXECUTE_PATH.indexOf(from);
+    if (index === -1) {
+        throw new KernelError("INVALID_TRANSITION", `cannot start-execution from Kernel phase ${from}`);
+    }
+    return EXECUTE_PATH.slice(index + 1);
+}
+export function hopsToClose(from) {
+    if (from === "close")
+        return [];
+    if (from === "integrate")
+        return ["close"];
+    const index = CLOSE_PATH.indexOf(from);
+    if (index === -1) {
+        throw new KernelError("INVALID_TRANSITION", `cannot archive/close from Kernel phase ${from}`);
+    }
+    return CLOSE_PATH.slice(index + 1);
+}
+export function parseKernelSnapshot(input) {
+    if (!isPlainObject(input)) {
+        throw new KernelError("CORRUPT_STATE", "kernel snapshot must be a JSON object");
+    }
+    if (input.schemaVersion !== KERNEL_SCHEMA_VERSION) {
+        throw new KernelError("CORRUPT_STATE", `unsupported kernel schemaVersion: ${String(input.schemaVersion)}`);
+    }
+    if (!isPlainObject(input.identity) || typeof input.identity.taskId !== "string") {
+        throw new KernelError("CORRUPT_STATE", "kernel.identity.taskId must be a string");
+    }
+    if (!isNonNegativeInt(input.revision)) {
+        throw new KernelError("CORRUPT_STATE", "kernel.revision must be a non-negative integer");
+    }
+    if (!isKernelPhase(input.phase)) {
+        throw new KernelError("CORRUPT_STATE", "kernel.phase is invalid");
+    }
+    if (!isKernelCondition(input.condition)) {
+        throw new KernelError("CORRUPT_STATE", "kernel.condition is invalid");
+    }
+    const outcome = parseOutcome(input.outcome);
+    if (!Array.isArray(input.audit)) {
+        throw new KernelError("CORRUPT_STATE", "kernel.audit must be an array");
+    }
+    return {
+        schemaVersion: KERNEL_SCHEMA_VERSION,
+        identity: { taskId: input.identity.taskId },
+        revision: input.revision,
+        phase: input.phase,
+        condition: input.condition,
+        outcome,
+        audit: input.audit.map((event, index) => parseAuditEvent(event, index)),
+        gates: parseGates(input.gates),
+        projection: parseProjection(input.projection),
+    };
+}
+function parseGates(input) {
+    if (input === undefined || input === null)
+        return emptyKernelGates();
+    if (!isPlainObject(input)) {
+        throw new KernelError("CORRUPT_STATE", "kernel.gates must be an object");
+    }
+    const schemaVersion = input.schemaVersion === undefined ? 1 : input.schemaVersion;
+    if (schemaVersion !== 1) {
+        throw new KernelError("CORRUPT_STATE", `unsupported kernel.gates.schemaVersion: ${String(schemaVersion)}`);
+    }
+    const transitionsIn = input.transitions;
+    if (transitionsIn === undefined || transitionsIn === null) {
+        return emptyKernelGates();
+    }
+    if (!isPlainObject(transitionsIn)) {
+        throw new KernelError("CORRUPT_STATE", "kernel.gates.transitions must be an object");
+    }
+    const transitions = {};
+    for (const [transition, gates] of Object.entries(transitionsIn)) {
+        if (!isPlainObject(gates)) {
+            throw new KernelError("CORRUPT_STATE", `kernel.gates.transitions.${transition} must be an object`);
+        }
+        Object.defineProperty(transitions, transition, {
+            value: { ...gates }, enumerable: true, configurable: true, writable: true,
+        });
+    }
+    return { schemaVersion: 1, transitions };
+}
+function parseProjection(input) {
+    if (input === undefined || input === null)
+        return null;
+    if (!isPlainObject(input)) {
+        throw new KernelError("CORRUPT_STATE", "kernel.projection must be an object");
+    }
+    if (typeof input.status !== "string" || input.status.trim() === "") {
+        throw new KernelError("CORRUPT_STATE", "kernel.projection.status must be a string");
+    }
+    const extras = input.extras === undefined || input.extras === null
+        ? {}
+        : isPlainObject(input.extras)
+            ? { ...input.extras }
+            : (() => {
+                throw new KernelError("CORRUPT_STATE", "kernel.projection.extras must be an object");
+            })();
+    try {
+        return {
+            status: input.status,
+            record: taskRecordSchema.parse(input.record),
+            extras,
+        };
+    }
+    catch (err) {
+        throw new KernelError("CORRUPT_STATE", `kernel.projection.record is invalid: ${err instanceof Error ? err.message : String(err)}`);
+    }
+}
+function parseOutcome(value) {
+    if (value === null)
+        return null;
+    if (isKernelOutcome(value))
+        return value;
+    throw new KernelError("CORRUPT_STATE", "kernel.outcome is invalid");
+}
+function parseAuditEvent(input, index) {
+    if (!isPlainObject(input)) {
+        throw new KernelError("CORRUPT_STATE", `kernel.audit[${index}] must be an object`);
+    }
+    if (typeof input.id !== "string" || typeof input.at !== "string") {
+        throw new KernelError("CORRUPT_STATE", `kernel.audit[${index}] is missing id/at`);
+    }
+    if (typeof input.actor !== "string" || typeof input.idempotencyKey !== "string") {
+        throw new KernelError("CORRUPT_STATE", `kernel.audit[${index}] is missing actor/idempotencyKey`);
+    }
+    const evidence = input.evidence === null || input.evidence === undefined
+        ? null
+        : typeof input.evidence === "string"
+            ? input.evidence
+            : (() => {
+                throw new KernelError("CORRUPT_STATE", `kernel.audit[${index}].evidence must be a string or null`);
+            })();
+    return {
+        id: input.id,
+        at: input.at,
+        actor: input.actor,
+        idempotencyKey: input.idempotencyKey,
+        evidence,
+        from: parseStateRevision(input.from, `kernel.audit[${index}].from`),
+        to: parseStateRevision(input.to, `kernel.audit[${index}].to`),
+    };
+}
+function parseStateRevision(input, path) {
+    if (!isPlainObject(input)) {
+        throw new KernelError("CORRUPT_STATE", `${path} must be an object`);
+    }
+    if (!isKernelPhase(input.phase)) {
+        throw new KernelError("CORRUPT_STATE", `${path}.phase is invalid`);
+    }
+    if (!isKernelCondition(input.condition)) {
+        throw new KernelError("CORRUPT_STATE", `${path}.condition is invalid`);
+    }
+    if (!isNonNegativeInt(input.revision)) {
+        throw new KernelError("CORRUPT_STATE", `${path}.revision is invalid`);
+    }
+    return {
+        phase: input.phase,
+        condition: input.condition,
+        outcome: parseOutcome(input.outcome),
+        revision: input.revision,
+    };
+}
+export function isNonNegativeInt(value) {
+    return typeof value === "number" && Number.isInteger(value) && value >= 0;
+}
+export function requireNonEmptyString(value, field) {
+    if (typeof value !== "string" || value.trim() === "") {
+        throw new KernelError("INVALID_REQUEST", `${field} must be a non-empty string`);
+    }
+    return value;
+}
+export function hookIsPresent(value) {
+    if (value === undefined || value === null)
+        return false;
+    if (typeof value === "string")
+        return value.trim() !== "";
+    if (typeof value === "boolean")
+        return value;
+    if (typeof value === "number")
+        return true;
+    if (Array.isArray(value))
+        return value.length > 0;
+    if (typeof value === "object")
+        return Object.keys(value).length > 0;
+    return true;
+}
+//# sourceMappingURL=kernel-contract.js.map

package/dist/core/task/kernel-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kernel-contract.js","sourceRoot":"","sources":["../../../src/core/task/kernel-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,aAAa,EACb,gBAAgB,GAEjB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,oBAAoB,EAAE,qBAAqB,EAAE,uBAAuB,EACpE,qBAAqB,GACtB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,sBAAsB,EAA2B,MAAM,oBAAoB,CAAC;AAC/H,OAAO,EACL,iBAAiB,EAAE,2BAA2B,EAAE,uBAAuB,EACvE,4BAA4B,GAC7B,MAAM,0BAA0B,CAAC;AASlC,iFAAiF;AACjF,MAAM,CAAC,MAAM,2BAA2B,GAAyB,GAAG,EAAE,CAAC,SAAS,CAAC;AAiDjF,0FAA0F;AAC1F,MAAM,UAAU,mBAAmB,CAAC,KAAiC,EAAE,QAA2B;IAChG,IAAI,CAAC;QAAC,OAAO,mBAAmB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAAC,CAAC;IACpD,MAAM,CAAC;QACL,MAAM,KAAK,GAAG,EAAE,OAAO,EAAE,UAAmB,EAAE,WAAW,EAAE,CAAC,qBAA8B,CAAC,EAAE,eAAe,EAAE,EAAE,EAAE,CAAC;QACnH,OAAO,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,4BAA4B,CAAC,KAAK,CAAC,EAAE,CAAC;IACxE,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAiC,EAAE,QAA2B;IACzF,MAAM,OAAO,GAA4B,EAAE,CAAC;IAC5C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,MAAM,GAAG,GAAG,CAAC,IAA2B,EAAQ,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACxG,MAAM,MAAM,GAAG,GAAiC,EAAE;QAChD,MAAM,KAAK,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAmB,CAAC,CAAC,CAAC,UAAmB,EAAE,WAAW,EAAE,OAAO,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC;QACxI,OAAO,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,4BAA4B,CAAC,EAAE,GAAG,KAAK,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;IAC/F,CAAC,CAAC;IACF,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7E,GAAG,CAAC,qBAAqB,CAAC,CAAC;QAAC,OAAO,MAAM,EAAE,CAAC;IAC9C,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,iBAAiB,EAAE,CAAC;IAC9C,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,CAAC,aAAa,EAAE,aAAa,EAAE,GAAG,CAAC,CAAC;IAC9E,IAAI,aAAa,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;QAAC,OAAO,MAAM,EAAE,CAAC;IAAC,CAAC;IACrF,cAAc,CAAC,IAAI,CAAC,4BAA4B,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1D,IAAI,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QACxE,CAAC,KAAK,CAAC,eAAe,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,eAAe,KAAK,SAAS,CAAC;QACnF,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QACrE,GAAG,CAAC,qBAAqB,CAAC,CAAC;QAAC,OAAO,MAAM,EAAE,CAAC;IAC9C,CAAC;IACD,2DAA2D;IAC3D,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC3C,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;gBAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBAAC,OAAO,EAAE,CAAC;YAAC,CAAC;YACxD,IAAI,IAAI,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW;gBAAE,GAAG,CAAC,sBAAsB,CAAC,CAAC;YACzE,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YACxC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnC,IAAI,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAAE,GAAG,CAAC,gBAAgB,CAAC,CAAC;YAC5C,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACb,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC;QAAC,MAAM,CAAC;YAAC,GAAG,CAAC,cAAc,CAAC,CAAC;YAAC,OAAO,EAAE,CAAC;QAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,uBAAuB,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QACzD,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACrE,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;YACnC,IAAI,IAAI,EAAE,MAAM,KAAK,IAAI;gBAAE,GAAG,CAAC,kBAAkB,CAAC,CAAC;iBAC9C,IAAI,IAAI,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC;gBAAE,GAAG,CAAC,kBAAkB,CAAC,CAAC;iBACpJ,CAAC;gBAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAAC,CAAC;QAC1E,CAAC;QAAC,MAAM,CAAC;YAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAAC,CAAC;IACtC,CAAC;IACD,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC3C,MAAM,kBAAkB,GAAG,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACnD,IAAI,kBAAkB,GAAG,CAAC;gBAAE,GAAG,CAAC,oBAAoB,CAAC,CAAC;iBACjD,IAAI,kBAAkB,IAAI,QAAQ;gBAAE,GAAG,CAAC,kBAAkB,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAAE,GAAG,CAAC,eAAe,CAAC,CAAC;QACpF,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,CAAC,qBAAqB,CAAC,UAAU,EAAE,MAAM,CAAC;YAAE,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACvE,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAChF,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC,IAAI,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW;YAAE,GAAG,CAAC,eAAe,CAAC,CAAC;QAC/G,IAAI,KAAK,CAAC,eAAe,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAC9H,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC;YACvH,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAAC,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YACxG,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI;gBAAE,GAAG,CAAC,uBAAuB,CAAC,CAAC;YAC3D,MAAM,MAAM,GAAG,uBAAuB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACxD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;gBAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC3D,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC;YAC7B,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YACxC,IAAI,QAAQ,CAAC,MAAM,KAAK,aAAa,IAAI,QAAQ,CAAC,SAAS,KAAK,OAAO;gBAAE,GAAG,CAAC,sBAAsB,CAAC,CAAC;YACrG,IAAI,QAAQ,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,gBAAgB,CAAC;gBAAE,GAAG,CAAC,oBAAoB,CAAC,CAAC;YAC/H,IAAI,QAAQ,CAAC,eAAe,KAAK,IAAI,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;gBAAE,GAAG,CAAC,iBAAiB,CAAC,CAAC;YAC1L,IAAI,QAAQ,CAAC,sBAAsB,KAAK,IAAI,IAAI,CAC9C,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,gBAAgB,KAAK,IAAI;gBAClG,QAAQ,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC;gBACxG,QAAQ,CAAC,eAAe,KAAK,IAAI,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,eAAe,EAAE,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CACjI;gBAAE,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;QAAE,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAChL,OAAO,MAAM,EAAE,CAAC;AAClB,CAAC;AAED,MAAM,CAAC,MAAM,yBAAyB,GAA8B,EAAE,QAAQ,EAAE,mBAAmB,EAAE,CAAC;AAEtG,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAU,CAAC;AAEhD,MAAM,CAAC,MAAM,oBAAoB,GAAG,aAAa,CAAC;AAElD,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,MAAM;IACN,QAAQ;IACR,SAAS;IACT,SAAS;IACT,QAAQ;IACR,WAAW;IACX,OAAO;CACC,CAAC;AAIX,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,OAAO;IACP,QAAQ;IACR,SAAS;IACT,SAAS;CACD,CAAC;AAIX,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,WAAW,EAAE,WAAW,EAAE,QAAQ,CAAU,CAAC;AAgB7E,MAAM,OAAO,WAAY,SAAQ,KAAK;IAC3B,IAAI,CAAkB;IAE/B,YAAY,IAAqB,EAAE,OAAe;QAChD,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;QAC1B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AA6CD,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,MAAM;IACN,YAAY;IACZ,QAAQ;IACR,OAAO;IACP,aAAa;IACb,SAAS;IACT,OAAO;IACP,SAAS;IACT,oBAAoB;IACpB,mBAAmB;CACX,CAAC;AAyBX;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAC7B;IACE,CAAC,MAAM,EAAE,QAAQ,CAAC;IAClB,CAAC,QAAQ,EAAE,SAAS,CAAC;IACrB,CAAC,SAAS,EAAE,SAAS,CAAC;IACtB,CAAC,SAAS,EAAE,QAAQ,CAAC;IACrB,CAAC,QAAQ,EAAE,WAAW,CAAC;IACvB,CAAC,QAAQ,EAAE,OAAO,CAAC;IACnB,CAAC,WAAW,EAAE,OAAO,CAAC;CACvB,CAAC;AAEJ,MAAM,QAAQ,GAAwB,IAAI,GAAG,CAC3C,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,EAAE,EAAE,CAAC,CACzD,CAAC;AAEF,MAAM,YAAY,GAA2B;IAC3C,MAAM;IACN,QAAQ;IACR,SAAS;IACT,SAAS;CACV,CAAC;AAEF,MAAM,UAAU,GAA2B;IACzC,MAAM;IACN,QAAQ;IACR,SAAS;IACT,SAAS;IACT,QAAQ;IACR,OAAO;CACR,CAAC;AAEF,MAAM,UAAU,gBAAgB;IAC9B,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACxB,aAAmC,CAAC,QAAQ,CAAC,KAAK,CAAC,CACrD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACxB,iBAAuC,CAAC,QAAQ,CAAC,KAAK,CAAC,CACzD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACxB,eAAqC,CAAC,QAAQ,CAAC,KAAK,CAAC,CACvD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAiB,EAAE,EAAe;IACjE,OAAO,QAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,EAAE,EAAE,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAkB;IACpD,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ;YACX,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACtD,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,WAAW;YACd,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACxD,KAAK,SAAS;YACZ,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACvD,KAAK,OAAO;YACV,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IAC/D,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAc;IAChD,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,UAAU;YACb,OAAO,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QACvC,KAAK,aAAa;YAChB,OAAO,mBAAmB,CAAC,SAAS,CAAC,CAAC;QACxC,KAAK,QAAQ;YACX,OAAO,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QACvC,KAAK,WAAW,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,mBAAmB,CAAC,OAAO,CAAC,CAAC;QACtC;YACE,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CAAC,KAAkB;IAC1D,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,UAAU,CAAC;QACpB,KAAK,SAAS;YACZ,OAAO,aAAa,CAAC;QACvB,KAAK,QAAQ,CAAC;QACd,KAAK,WAAW;YACd,OAAO,QAAQ,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,WAAW,CAAC;IACvB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAiB;IAC7C,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;QACjB,MAAM,IAAI,WAAW,CACnB,oBAAoB,EACpB,4CAA4C,IAAI,EAAE,CACnD,CAAC;IACJ,CAAC;IACD,OAAO,YAAY,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAiB;IAC3C,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,CAAC;IAChC,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;QACjB,MAAM,IAAI,WAAW,CACnB,oBAAoB,EACpB,0CAA0C,IAAI,EAAE,CACjD,CAAC;IACJ,CAAC;IACD,OAAO,UAAU,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,uCAAuC,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,KAAK,CAAC,aAAa,KAAK,qBAAqB,EAAE,CAAC;QAClD,MAAM,IAAI,WAAW,CACnB,eAAe,EACf,qCAAqC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CACnE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,OAAO,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAChF,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,yCAAyC,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,gDAAgD,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,yBAAyB,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,6BAA6B,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,+BAA+B,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO;QACL,aAAa,EAAE,qBAAqB;QACpC,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE;QAC3C,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,OAAO;QACP,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACvE,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;QAC9B,UAAU,EAAE,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,gBAAgB,EAAE,CAAC;IACrE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,gCAAgC,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;IAClF,IAAI,aAAa,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,WAAW,CACnB,eAAe,EACf,2CAA2C,MAAM,CAAC,aAAa,CAAC,EAAE,CACnE,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,KAAK,CAAC,WAAW,CAAC;IACxC,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;QAC1D,OAAO,gBAAgB,EAAE,CAAC;IAC5B,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,4CAA4C,CAAC,CAAC;IACvF,CAAC;IACD,MAAM,WAAW,GAA4C,EAAE,CAAC;IAChE,KAAK,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;QAChE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,WAAW,CACnB,eAAe,EACf,4BAA4B,UAAU,oBAAoB,CAC3D,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,cAAc,CAAC,WAAW,EAAE,UAAU,EAAE;YAC7C,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI;SAC1E,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACvD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,qCAAqC,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACnE,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,2CAA2C,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,MAAM,GACV,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI;QACjD,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC;YAC3B,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE;YACrB,CAAC,CAAC,CAAC,GAAG,EAAE;gBACJ,MAAM,IAAI,WAAW,CACnB,eAAe,EACf,4CAA4C,CAC7C,CAAC;YACJ,CAAC,CAAC,EAAE,CAAC;IACb,IAAI,CAAC;QACH,OAAO;YACL,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,MAAM,EAAE,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;YAC5C,MAAM;SACP,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,WAAW,CACnB,eAAe,EACf,wCAAwC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAC3F,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,eAAe,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACzC,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,2BAA2B,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,KAAa;IACpD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,gBAAgB,KAAK,qBAAqB,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;QACjE,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,gBAAgB,KAAK,oBAAoB,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,cAAc,KAAK,QAAQ,EAAE,CAAC;QAChF,MAAM,IAAI,WAAW,CACnB,eAAe,EACf,gBAAgB,KAAK,mCAAmC,CACzD,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GACZ,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;QACrD,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;YAClC,CAAC,CAAC,KAAK,CAAC,QAAQ;YAChB,CAAC,CAAC,CAAC,GAAG,EAAE;gBACJ,MAAM,IAAI,WAAW,CACnB,eAAe,EACf,gBAAgB,KAAK,qCAAqC,CAC3D,CAAC;YACJ,CAAC,CAAC,EAAE,CAAC;IACb,OAAO;QACL,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,QAAQ;QACR,IAAI,EAAE,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,gBAAgB,KAAK,QAAQ,CAAC;QACnE,EAAE,EAAE,kBAAkB,CAAC,KAAK,CAAC,EAAE,EAAE,gBAAgB,KAAK,MAAM,CAAC;KAC9D,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAc,EACd,IAAY;IAEZ,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,GAAG,IAAI,oBAAoB,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,GAAG,IAAI,mBAAmB,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,GAAG,IAAI,uBAAuB,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,GAAG,IAAI,sBAAsB,CAAC,CAAC;IACxE,CAAC;IACD,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC;QACpC,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAc,EAAE,KAAa;IACjE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACrD,MAAM,IAAI,WAAW,CAAC,iBAAiB,EAAE,GAAG,KAAK,6BAA6B,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACxD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;IAC1D,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IACpE,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/core/task/kernel-store.d.ts

@@ -0,0 +1,130 @@
+/**
+ * Repo-local Kernel store: atomic snapshot write (state + audit in one
+ * file) with optimistic revision and a process lock.
+ *
+ * Stage 1 does not mutate `task.json.status` — legacy lifecycle remains
+ * a read projection. `writeTaskRecord` stays the low-level task.json
+ * primitive; this module is the new core-state write entry.
+ */
+import { type ProjectionInspection, type ProjectionRepairReceipt, type TaskProjectionPort } from "./kernel-surface.js";
+import { type PactileTaskRecord } from "./schema.js";
+import { type KernelAuditEvent, type KernelSnapshot, type LegacyTaskProjection, type TransitionRequest, type KernelExtrasBoundary } from "./kernel-contract.js";
+export interface KernelReadResult {
+    kernel: KernelSnapshot;
+    persisted: boolean;
+    legacy: LegacyTaskProjection;
+}
+export interface KernelTransitionResult extends KernelReadResult {
+    idempotent: boolean;
+    audit: KernelAuditEvent;
+}
+export interface KernelCommandResult extends KernelReadResult {
+    idempotent: boolean;
+    audit: KernelAuditEvent;
+    projected: boolean;
+}
+export interface KernelCreateRequest {
+    extrasBoundary?: KernelExtrasBoundary;
+    taskDir: string;
+    actor: string;
+    idempotencyKey: string;
+    record: PactileTaskRecord;
+    extras?: Record<string, unknown>;
+    evidence?: string;
+    gate?: unknown;
+    policy?: unknown;
+    cwd?: string;
+}
+export interface KernelStartRequest {
+    extrasBoundary?: KernelExtrasBoundary;
+    taskDir: string;
+    expectedRevision: number;
+    actor: string;
+    idempotencyKey: string;
+    record: PactileTaskRecord;
+    extras?: Record<string, unknown>;
+    evidence?: string;
+    gate?: unknown;
+    policy?: unknown;
+    cwd?: string;
+}
+export interface KernelRecordGateRequest {
+    extrasBoundary?: KernelExtrasBoundary;
+    taskDir: string;
+    expectedRevision: number;
+    actor: string;
+    idempotencyKey: string;
+    transition: string;
+    gateName: string;
+    record: Record<string, unknown>;
+    extras?: Record<string, unknown>;
+    evidence?: string;
+    cwd?: string;
+}
+export interface KernelArchiveRequest {
+    extrasBoundary?: KernelExtrasBoundary;
+    taskDir: string;
+    expectedRevision: number;
+    actor: string;
+    idempotencyKey: string;
+    record: PactileTaskRecord;
+    extras?: Record<string, unknown>;
+    evidence?: string;
+    gate?: unknown;
+    policy?: unknown;
+    cwd?: string;
+}
+export interface KernelPatchRequest {
+    extrasBoundary?: KernelExtrasBoundary;
+    taskDir: string;
+    expectedRevision: number;
+    actor: string;
+    idempotencyKey: string;
+    /** Canonical field patch and/or full record. Status hops are rejected. */
+    record?: unknown;
+    extras?: Record<string, unknown>;
+    evidence?: string;
+    gate?: unknown;
+    policy?: unknown;
+    cwd?: string;
+}
+/** Test-only interceptor between kernel.json persist and task.json projection. */
+export declare function setKernelAfterWriteHook(hook: (() => void) | null): void;
+export declare function resolveTaskDir(taskDir: string, cwd?: string): string;
+export declare function kernelJsonPath(taskDir: string): string;
+export declare function readKernel(options: {
+    taskDir: string;
+    cwd?: string;
+}): KernelReadResult;
+/** No lock creation, fallback migration, projection write, or directory creation. */
+export declare function inspectTaskProjection(options: {
+    taskDir: string;
+    cwd?: string;
+}): ProjectionInspection;
+export interface KernelProjectionRepairRequest {
+    taskDir: string;
+    cwd?: string;
+    expectedCanonicalRevision: number;
+    expectedCurrentFingerprint: string | null;
+}
+/**
+ * Explicit repair under the same cooperative writer lock as lifecycle writes.
+ * The existing records primitive writes a private staging file; an atomic rename
+ * installs it only after canonical revision and exact current-byte CAS checks.
+ * Unknown user keys survive valid JSON repairs except unsafe __proto__, which
+ * fails closed. Malformed bytes are replaced only when the caller supplies their
+ * exact observed fingerprint. Symlink/junction ancestors and hardlinked storage
+ * files are rejected before lock/staging writes and checked again before rename.
+ */
+export declare function repairTaskProjection(request: KernelProjectionRepairRequest): ProjectionRepairReceipt;
+export declare function createTaskProjectionPort(options: {
+    taskDir: string;
+    cwd?: string;
+}): TaskProjectionPort;
+export declare function applyKernelTransition(request: TransitionRequest): KernelTransitionResult;
+export declare function applyKernelCreate(request: KernelCreateRequest): KernelCommandResult;
+export declare function applyKernelStart(request: KernelStartRequest): KernelCommandResult;
+export declare function applyKernelRecordGate(request: KernelRecordGateRequest): KernelCommandResult;
+export declare function applyKernelArchive(request: KernelArchiveRequest): KernelCommandResult;
+export declare function applyKernelPatch(request: KernelPatchRequest): KernelCommandResult;
+//# sourceMappingURL=kernel-store.d.ts.map

package/dist/core/task/kernel-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kernel-store.d.ts","sourceRoot":"","sources":["../../../src/core/task/kernel-store.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAWH,OAAO,EAEL,KAAK,oBAAoB,EAAE,KAAK,uBAAuB,EAAE,KAAK,kBAAkB,EACjF,MAAM,qBAAqB,CAAC;AAG7B,OAAO,EAIL,KAAK,iBAAiB,EACvB,MAAM,aAAa,CAAC;AACrB,OAAO,EAgBL,KAAK,gBAAgB,EAGrB,KAAK,cAAc,EAEnB,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EACtB,KAAK,oBAAoB,EAC1B,MAAM,sBAAsB,CAAC;AAM9B,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,cAAc,CAAC;IACvB,SAAS,EAAE,OAAO,CAAC;IACnB,MAAM,EAAE,oBAAoB,CAAC;CAC9B;AAED,MAAM,WAAW,sBAAuB,SAAQ,gBAAgB;IAC9D,UAAU,EAAE,OAAO,CAAC;IACpB,KAAK,EAAE,gBAAgB,CAAC;CACzB;AAED,MAAM,WAAW,mBAAoB,SAAQ,gBAAgB;IAC3D,UAAU,EAAE,OAAO,CAAC;IACpB,KAAK,EAAE,gBAAgB,CAAC;IACxB,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,mBAAmB;IAClC,cAAc,CAAC,EAAE,oBAAoB,CAAC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,iBAAiB,CAAC;IAC1B,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,kBAAkB;IACjC,cAAc,CAAC,EAAE,oBAAoB,CAAC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,MAAM,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,iBAAiB,CAAC;IAC1B,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,uBAAuB;IACtC,cAAc,CAAC,EAAE,oBAAoB,CAAC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,MAAM,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,oBAAoB;IACnC,cAAc,CAAC,EAAE,oBAAoB,CAAC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,MAAM,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,iBAAiB,CAAC;IAC1B,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,kBAAkB;IACjC,cAAc,CAAC,EAAE,oBAAoB,CAAC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,MAAM,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,MAAM,CAAC;IACvB,0EAA0E;IAC1E,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAID,kFAAkF;AAClF,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,IAAI,GAAG,IAAI,CAEvE;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,MAAM,GAAG,MAAM,CAGpE;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEtD;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;CACd,GAAG,gBAAgB,CAInB;AAUD,qFAAqF;AACrF,wBAAgB,qBAAqB,CAAC,OAAO,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,oBAAoB,CAItG;AAED,MAAM,WAAW,6BAA6B;IAC5C,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,yBAAyB,EAAE,MAAM,CAAC;IAClC,0BAA0B,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3C;AAuCD;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,6BAA6B,GAAG,uBAAuB,CAuEpG;AAED,wBAAgB,wBAAwB,CAAC,OAAO,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,kBAAkB,CAKvG;AAED,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,iBAAiB,GACzB,sBAAsB,CA8FxB;AA6bD,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,mBAAmB,GAC3B,mBAAmB,CAiErB;AAED,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,kBAAkB,GAC1B,mBAAmB,CAyDrB;AAED,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,uBAAuB,GAC/B,mBAAmB,CA8FrB;AAED,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,oBAAoB,GAC5B,mBAAmB,CAyDrB;AAiDD,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,kBAAkB,GAC1B,mBAAmB,CAkErB"}