@agentplat/mesh-sim 0.3.0-beta.2 → 0.3.0-beta.4

package/dist/collective-closed-loop-contracts.js

@@ -0,0 +1,420 @@
+import { deepFreezePlanning, digestPlanningJsonV1, validateMissionIntentV1, validateMissionObservationV1, validatePlanFragmentProposalV1, validatePlanSelectionPolicyV1, validatePlanViewV1, } from "@agentplat/collective-planning";
+import { validateCollectiveEvaluationRegistrationBindingV1 } from "@agentplat/collective-planning/evaluation";
+import { validateDelegationMandateV1 } from "@agentplat/collective-control";
+const peerKeys = Object.freeze([
+    "schemaVersion",
+    "peerId",
+    "peerInstanceId",
+    "capabilityKeys",
+    "neighborPeerIds",
+]);
+const contextKeys = Object.freeze([
+    "schemaVersion",
+    "peerId",
+    "peerInstanceId",
+    "missionIntent",
+    "observations",
+    "planView",
+    "logicalTimeMs",
+]);
+const centralizedContextKeys = Object.freeze([
+    "schemaVersion",
+    "ownerPeerId",
+    "ownerPeerInstanceId",
+    "missionIntent",
+    "observations",
+    "logicalTimeMs",
+]);
+const definitionBodyKeys = Object.freeze([
+    "schemaVersion",
+    "registration",
+    "missionIntent",
+    "selectionPolicy",
+    "mandate",
+    "peers",
+    "maximumLogicalTimeMs",
+]);
+const definitionKeys = Object.freeze([
+    ...definitionBodyKeys,
+    "definitionDigest",
+]);
+const runBodyKeys = Object.freeze([
+    "schemaVersion",
+    "registrationBindingDigest",
+    "runner",
+    "stopReason",
+    "finalLogicalTimeMs",
+    "planningStateRoots",
+    "meshStateRoots",
+    "governanceStateRoots",
+    "publicArtifacts",
+]);
+const runKeys = Object.freeze([...runBodyKeys, "runDigest"]);
+const digestPattern = /^sha256:[0-9a-f]{64}$/u;
+const tokenPattern = /^[A-Za-z0-9][A-Za-z0-9._:@/-]*$/u;
+// Keep the public definition contract aligned with the closed-loop runtime and
+// registered campaign, both of which support deterministic runs through 500
+// peers. Neighbor validation must allow a fully connected owner at that scale.
+const MINIMUM_PEERS = 3;
+const MAXIMUM_PEERS = 500;
+const MAXIMUM_NEIGHBORS = MAXIMUM_PEERS - 1;
+function exact(value, keys, label) {
+    if (value === null || typeof value !== "object" || Array.isArray(value))
+        throw new TypeError(`${label} must be a plain object`);
+    const names = Object.getOwnPropertyNames(value).sort();
+    const expected = [...keys].sort();
+    const prototype = Object.getPrototypeOf(value);
+    if ((prototype !== Object.prototype && prototype !== null) ||
+        Object.getOwnPropertySymbols(value).length !== 0 ||
+        names.length !== expected.length ||
+        names.some((name, index) => name !== expected[index]))
+        throw new TypeError(`${label} has an invalid shape`);
+    for (const name of names) {
+        const descriptor = Object.getOwnPropertyDescriptor(value, name);
+        if (!descriptor || !descriptor.enumerable || !("value" in descriptor))
+            throw new TypeError(`${label} must contain enumerable data properties`);
+    }
+}
+function denseArray(value, label) {
+    if (!Array.isArray(value) ||
+        Object.getPrototypeOf(value) !== Array.prototype ||
+        Object.getOwnPropertySymbols(value).length !== 0 ||
+        Object.getOwnPropertyNames(value).length !== value.length + 1)
+        throw new TypeError(`${label} must be a dense array`);
+    for (let index = 0; index < value.length; index += 1) {
+        const descriptor = Object.getOwnPropertyDescriptor(value, String(index));
+        if (!descriptor || !descriptor.enumerable || !("value" in descriptor))
+            throw new TypeError(`${label} must contain enumerable data properties`);
+    }
+}
+function identifier(value, label) {
+    if (typeof value !== "string" ||
+        value.length === 0 ||
+        value.length > 256 ||
+        /[\u0000-\u001f\u007f]/u.test(value))
+        throw new TypeError(`${label} must be a bounded identifier`);
+}
+function token(value, label) {
+    if (typeof value !== "string" ||
+        value.length > 128 ||
+        !tokenPattern.test(value))
+        throw new TypeError(`${label} must be a bounded token`);
+}
+function safeInteger(value, label, minimum = 0) {
+    if (!Number.isSafeInteger(value) ||
+        value < minimum ||
+        Object.is(value, -0))
+        throw new TypeError(`${label} must be a safe integer`);
+}
+function digest(value, label) {
+    if (typeof value !== "string" || !digestPattern.test(value))
+        throw new TypeError(`${label} must be a digest`);
+}
+function sortedStrings(value, label, maximum) {
+    denseArray(value, label);
+    if (value.length > maximum)
+        throw new TypeError(`${label} is too large`);
+    const result = [];
+    let previous = null;
+    for (const item of value) {
+        token(item, label);
+        if (previous !== null && previous >= item)
+            throw new TypeError(`${label} must be sorted and unique`);
+        previous = item;
+        result.push(item);
+    }
+    return Object.freeze(result);
+}
+function validatePeer(value) {
+    exact(value, peerKeys, "closed-loop peer");
+    if (value.schemaVersion !== 1)
+        throw new TypeError("closed-loop peer schema is invalid");
+    identifier(value.peerId, "peerId");
+    identifier(value.peerInstanceId, "peerInstanceId");
+    const capabilityKeys = sortedStrings(value.capabilityKeys, "capabilityKeys", 256);
+    const neighborPeerIds = sortedStrings(value.neighborPeerIds, "neighborPeerIds", MAXIMUM_NEIGHBORS);
+    if (neighborPeerIds.includes(value.peerId))
+        throw new TypeError("a peer may not be its own neighbor");
+    return deepFreezePlanning({
+        schemaVersion: 1,
+        peerId: value.peerId,
+        peerInstanceId: value.peerInstanceId,
+        capabilityKeys,
+        neighborPeerIds,
+    });
+}
+function sameStrings(left, right) {
+    return (left.length === right.length &&
+        left.every((item, index) => item === right[index]));
+}
+function normalizedDefinitionBody(value) {
+    if (value.schemaVersion !== 1)
+        throw new TypeError("closed-loop definition schema is invalid");
+    const registration = validateCollectiveEvaluationRegistrationBindingV1(value.registration);
+    if (registration.stratum !== "nominal")
+        throw new TypeError("closed-loop Increment 5 supports nominal runs only");
+    const missionIntent = validateMissionIntentV1(value.missionIntent);
+    const selectionPolicy = validatePlanSelectionPolicyV1(value.selectionPolicy);
+    const mandate = validateDelegationMandateV1(value.mandate);
+    denseArray(value.peers, "peers");
+    if (value.peers.length < MINIMUM_PEERS ||
+        value.peers.length > MAXIMUM_PEERS)
+        throw new TypeError("closed-loop peer count is invalid");
+    const peers = value.peers.map(validatePeer);
+    safeInteger(value.maximumLogicalTimeMs, "maximumLogicalTimeMs", 1);
+    let previousPeerKey = "";
+    const peerIds = new Set();
+    const peerInstances = new Set();
+    for (const peer of peers) {
+        const key = `${peer.peerId}\u0000${peer.peerInstanceId}`;
+        if (previousPeerKey !== "" && previousPeerKey >= key)
+            throw new TypeError("peers must be sorted and unique");
+        previousPeerKey = key;
+        if (peerIds.has(peer.peerId) || peerInstances.has(peer.peerInstanceId))
+            throw new TypeError("peer identities must be unique");
+        peerIds.add(peer.peerId);
+        peerInstances.add(peer.peerInstanceId);
+        if (peer.capabilityKeys.some((capability) => !missionIntent.permittedCapabilityKeys.includes(capability)))
+            throw new TypeError("peer capability widens the mission intent");
+    }
+    for (const peer of peers)
+        for (const neighborId of peer.neighborPeerIds) {
+            const neighbor = peers.find((candidate) => candidate.peerId === neighborId);
+            if (!neighbor || !neighbor.neighborPeerIds.includes(peer.peerId))
+                throw new TypeError("closed-loop topology must be known and symmetric");
+        }
+    const statement = mandate.statement;
+    const sortedPeerIds = [...peerIds].sort();
+    if (registration.tenantId !== missionIntent.tenantId ||
+        registration.missionIntentId !== missionIntent.missionIntentId ||
+        registration.intentRevision !== missionIntent.revision ||
+        registration.intentDigest !== missionIntent.intentDigest ||
+        missionIntent.selectionPolicyDigest !== selectionPolicy.policyDigest ||
+        missionIntent.mandateDigest !== mandate.mandateDigest ||
+        statement.tenantId !== missionIntent.tenantId ||
+        statement.policyDomainId !== missionIntent.policyDomainId ||
+        statement.objective.meshId !== missionIntent.objective.meshId ||
+        statement.objective.objectiveId !== missionIntent.objective.objectiveId ||
+        statement.objective.objectiveDocumentId !==
+            missionIntent.objective.objectiveDocumentId ||
+        missionIntent.objective.objectiveRevision <
+            statement.objective.minimumObjectiveRevision ||
+        missionIntent.objective.objectiveRevision >
+            statement.objective.maximumObjectiveRevision ||
+        statement.work.workItemIds.length !== 0 ||
+        !sameStrings(statement.subjectPeerIds, sortedPeerIds) ||
+        missionIntent.permittedCapabilityKeys.some((capability) => !statement.permittedCapabilityKeys.includes(capability)) ||
+        Date.parse(missionIntent.validFrom) < Date.parse(statement.validFrom) ||
+        Date.parse(missionIntent.validUntil) > Date.parse(statement.validUntil))
+        throw new TypeError("closed-loop definition widens or conflicts with its registered authority");
+    return deepFreezePlanning({
+        schemaVersion: 1,
+        registration,
+        missionIntent,
+        selectionPolicy,
+        mandate,
+        peers,
+        maximumLogicalTimeMs: value.maximumLogicalTimeMs,
+    });
+}
+export function collectiveClosedLoopDefinitionDigestV1(value) {
+    exact(value, definitionBodyKeys, "closed-loop definition body");
+    const body = normalizedDefinitionBody(value);
+    return digestPlanningJsonV1("environment-state-v1", body, {
+        maximumBytes: 67_108_864,
+        maximumDepth: 64,
+        maximumNodes: 2_000_000,
+        maximumKeysPerObject: 4_096,
+        maximumItemsPerArray: 262_144,
+    });
+}
+export function createCollectiveClosedLoopDefinitionV1(input) {
+    exact(input, definitionBodyKeys, "closed-loop definition input");
+    const body = normalizedDefinitionBody(input);
+    return deepFreezePlanning({
+        ...body,
+        definitionDigest: collectiveClosedLoopDefinitionDigestV1(body),
+    });
+}
+export function validateCollectiveClosedLoopDefinitionV1(value) {
+    exact(value, definitionKeys, "closed-loop definition");
+    digest(value.definitionDigest, "definitionDigest");
+    const body = normalizedDefinitionBody(value);
+    const definitionDigest = collectiveClosedLoopDefinitionDigestV1(body);
+    if (value.definitionDigest !== definitionDigest)
+        throw new TypeError("closed-loop definition digest is invalid");
+    return deepFreezePlanning({ ...body, definitionDigest });
+}
+export function validateCollectivePlanningDecisionContextV1(value) {
+    exact(value, contextKeys, "planning decision context");
+    if (value.schemaVersion !== 1)
+        throw new TypeError("planning decision context schema is invalid");
+    identifier(value.peerId, "peerId");
+    identifier(value.peerInstanceId, "peerInstanceId");
+    safeInteger(value.logicalTimeMs, "logicalTimeMs");
+    const missionIntent = validateMissionIntentV1(value.missionIntent);
+    const planView = validatePlanViewV1(value.planView);
+    denseArray(value.observations, "observations");
+    const observations = value.observations.map(validateMissionObservationV1);
+    const digests = new Set();
+    for (const observation of observations) {
+        if (digests.has(observation.observationDigest) ||
+            observation.observerPeerId !== value.peerId ||
+            observation.observerInstanceId !== value.peerInstanceId ||
+            observation.missionIntentId !== missionIntent.missionIntentId ||
+            observation.intentRevision !== missionIntent.revision ||
+            observation.intentDigest !== missionIntent.intentDigest ||
+            observation.logicalTimeMs > value.logicalTimeMs)
+            throw new TypeError("planning decision observation is not peer-local");
+        digests.add(observation.observationDigest);
+    }
+    if (planView.missionIntentId !== missionIntent.missionIntentId ||
+        planView.intentRevision !== missionIntent.revision ||
+        planView.intentDigest !== missionIntent.intentDigest ||
+        planView.logicalTimeHighWaterMs > value.logicalTimeMs)
+        throw new TypeError("planning decision view is not current");
+    return deepFreezePlanning({
+        schemaVersion: 1,
+        peerId: value.peerId,
+        peerInstanceId: value.peerInstanceId,
+        missionIntent,
+        observations,
+        planView,
+        logicalTimeMs: value.logicalTimeMs,
+    });
+}
+export function validateCollectiveCentralizedPlanningDecisionContextV1(value) {
+    exact(value, centralizedContextKeys, "centralized planning decision context");
+    if (value.schemaVersion !== 1)
+        throw new TypeError("centralized planning decision context schema is invalid");
+    identifier(value.ownerPeerId, "ownerPeerId");
+    identifier(value.ownerPeerInstanceId, "ownerPeerInstanceId");
+    safeInteger(value.logicalTimeMs, "logicalTimeMs");
+    const missionIntent = validateMissionIntentV1(value.missionIntent);
+    denseArray(value.observations, "observations");
+    const observations = value.observations.map(validateMissionObservationV1);
+    const digests = new Set();
+    let ownerObservationFound = false;
+    for (const observation of observations) {
+        if (digests.has(observation.observationDigest) ||
+            observation.missionIntentId !== missionIntent.missionIntentId ||
+            observation.intentRevision !== missionIntent.revision ||
+            observation.intentDigest !== missionIntent.intentDigest ||
+            observation.logicalTimeMs > value.logicalTimeMs)
+            throw new TypeError("centralized planning observation is not current");
+        digests.add(observation.observationDigest);
+        if (observation.observerPeerId === value.ownerPeerId &&
+            observation.observerInstanceId === value.ownerPeerInstanceId)
+            ownerObservationFound = true;
+    }
+    if (!ownerObservationFound)
+        throw new TypeError("centralized planning owner observation is missing");
+    return deepFreezePlanning({
+        schemaVersion: 1,
+        ownerPeerId: value.ownerPeerId,
+        ownerPeerInstanceId: value.ownerPeerInstanceId,
+        missionIntent,
+        observations,
+        logicalTimeMs: value.logicalTimeMs,
+    });
+}
+export function validateCollectivePlanningDecisionV1(value) {
+    const kindDescriptor = value !== null && typeof value === "object"
+        ? Object.getOwnPropertyDescriptor(value, "kind")
+        : undefined;
+    if (value !== null &&
+        typeof value === "object" &&
+        !Array.isArray(value) &&
+        kindDescriptor !== undefined &&
+        "value" in kindDescriptor &&
+        kindDescriptor.value === "proposal") {
+        exact(value, ["schemaVersion", "kind", "proposal"], "planning decision");
+        if (value.schemaVersion !== 1)
+            throw new TypeError("planning decision schema is invalid");
+        return deepFreezePlanning({
+            schemaVersion: 1,
+            kind: "proposal",
+            proposal: validatePlanFragmentProposalV1(value.proposal),
+        });
+    }
+    exact(value, ["schemaVersion", "kind", "reasonCode"], "planning decision");
+    if (value.schemaVersion !== 1 ||
+        (value.kind !== "challenge" && value.kind !== "abstain"))
+        throw new TypeError("planning decision kind is invalid");
+    token(value.reasonCode, "reasonCode");
+    return deepFreezePlanning({
+        schemaVersion: 1,
+        kind: value.kind,
+        reasonCode: value.reasonCode,
+    });
+}
+function sortedDigests(value, label) {
+    denseArray(value, label);
+    const result = [];
+    let previous = null;
+    for (const item of value) {
+        digest(item, label);
+        if (previous !== null && previous >= item)
+            throw new TypeError(`${label} must be sorted and unique`);
+        previous = item;
+        result.push(item);
+    }
+    return Object.freeze(result);
+}
+function normalizedRunBody(value) {
+    if (value.schemaVersion !== 1)
+        throw new TypeError("closed-loop run result schema is invalid");
+    digest(value.registrationBindingDigest, "registrationBindingDigest");
+    if (value.runner !== "adaptive_collective" &&
+        value.runner !== "centralized_planner")
+        throw new TypeError("closed-loop runner is invalid");
+    if (value.stopReason !== "plan_completed" &&
+        value.stopReason !== "hard_bound" &&
+        value.stopReason !== "interaction_limit" &&
+        value.stopReason !== "explicit_failure")
+        throw new TypeError("closed-loop stop reason is invalid");
+    safeInteger(value.finalLogicalTimeMs, "finalLogicalTimeMs");
+    const planningStateRoots = sortedDigests(value.planningStateRoots, "planningStateRoots");
+    const meshStateRoots = sortedDigests(value.meshStateRoots, "meshStateRoots");
+    const governanceStateRoots = sortedDigests(value.governanceStateRoots, "governanceStateRoots");
+    denseArray(value.publicArtifacts, "publicArtifacts");
+    digestPlanningJsonV1("environment-state-v1", {
+        publicArtifacts: value.publicArtifacts,
+    });
+    const publicArtifacts = deepFreezePlanning(structuredClone(value.publicArtifacts));
+    return deepFreezePlanning({
+        schemaVersion: 1,
+        registrationBindingDigest: value.registrationBindingDigest,
+        runner: value.runner,
+        stopReason: value.stopReason,
+        finalLogicalTimeMs: value.finalLogicalTimeMs,
+        planningStateRoots,
+        meshStateRoots,
+        governanceStateRoots,
+        publicArtifacts,
+    });
+}
+function runDigestV1(body) {
+    return digestPlanningJsonV1("environment-state-v1", body, {
+        maximumBytes: 67_108_864,
+        maximumDepth: 64,
+        maximumNodes: 2_000_000,
+        maximumKeysPerObject: 4_096,
+        maximumItemsPerArray: 262_144,
+    });
+}
+export function createCollectiveClosedLoopRunResultV1(input) {
+    exact(input, runBodyKeys, "closed-loop run result input");
+    const body = normalizedRunBody(input);
+    return deepFreezePlanning({ ...body, runDigest: runDigestV1(body) });
+}
+export function validateCollectiveClosedLoopRunResultV1(value) {
+    exact(value, runKeys, "closed-loop run result");
+    digest(value.runDigest, "runDigest");
+    const body = normalizedRunBody(value);
+    const runDigest = runDigestV1(body);
+    if (value.runDigest !== runDigest)
+        throw new TypeError("closed-loop run result digest is invalid");
+    return deepFreezePlanning({ ...body, runDigest });
+}
+//# sourceMappingURL=collective-closed-loop-contracts.js.map

package/dist/collective-closed-loop-contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collective-closed-loop-contracts.js","sourceRoot":"","sources":["../src/collective-closed-loop-contracts.ts"],"names":[],"mappings":"AASA,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,uBAAuB,EACvB,4BAA4B,EAC5B,8BAA8B,EAC9B,6BAA6B,EAC7B,kBAAkB,GACnB,MAAM,gCAAgC,CAAC;AAKxC,OAAO,EAAE,iDAAiD,EAAE,MAAM,2CAA2C,CAAC;AAE9G,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAgF5E,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,eAAe;IACf,QAAQ;IACR,gBAAgB;IAChB,gBAAgB;IAChB,iBAAiB;CACT,CAAC,CAAC;AACZ,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,eAAe;IACf,QAAQ;IACR,gBAAgB;IAChB,eAAe;IACf,cAAc;IACd,UAAU;IACV,eAAe;CACP,CAAC,CAAC;AACZ,MAAM,sBAAsB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,eAAe;IACf,aAAa;IACb,qBAAqB;IACrB,eAAe;IACf,cAAc;IACd,eAAe;CACP,CAAC,CAAC;AACZ,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IACvC,eAAe;IACf,cAAc;IACd,eAAe;IACf,iBAAiB;IACjB,SAAS;IACT,OAAO;IACP,sBAAsB;CACd,CAAC,CAAC;AACZ,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;IACnC,GAAG,kBAAkB;IACrB,kBAAkB;CACV,CAAC,CAAC;AACZ,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,eAAe;IACf,2BAA2B;IAC3B,QAAQ;IACR,YAAY;IACZ,oBAAoB;IACpB,oBAAoB;IACpB,gBAAgB;IAChB,sBAAsB;IACtB,iBAAiB;CACT,CAAC,CAAC;AACZ,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,WAAW,EAAE,WAAW,CAAU,CAAC,CAAC;AACtE,MAAM,aAAa,GAAG,wBAAwB,CAAC;AAC/C,MAAM,YAAY,GAAG,kCAAkC,CAAC;AACxD,+EAA+E;AAC/E,4EAA4E;AAC5E,+EAA+E;AAC/E,MAAM,aAAa,GAAG,CAAC,CAAC;AACxB,MAAM,aAAa,GAAG,GAAG,CAAC;AAC1B,MAAM,iBAAiB,GAAG,aAAa,GAAG,CAAC,CAAC;AAE5C,SAAS,KAAK,CACZ,KAAc,EACd,IAAuB,EACvB,KAAa;IAEb,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,yBAAyB,CAAC,CAAC;IACzD,MAAM,KAAK,GAAG,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IAClC,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/C,IACE,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC;QACtD,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;QAChD,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QAChC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,KAAK,CAAC,CAAC;QAErD,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,uBAAuB,CAAC,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAChE,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC;YACnE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,0CAA0C,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,KAAa;IAC/C,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrB,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,SAAS;QAChD,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;QAChD,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC;QAE7D,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,wBAAwB,CAAC,CAAC;IACxD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACzE,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC;YACnE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,0CAA0C,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,KAAa;IAC/C,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,KAAK,CAAC,MAAM,GAAG,GAAG;QAClB,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC;QAEpC,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,+BAA+B,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,KAAK,CAAC,KAAc,EAAE,KAAa;IAC1C,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,CAAC,MAAM,GAAG,GAAG;QAClB,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;QAEzB,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,0BAA0B,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,WAAW,CAClB,KAAc,EACd,KAAa,EACb,OAAO,GAAG,CAAC;IAEX,IACE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;QAC3B,KAAgB,GAAG,OAAO;QAC3B,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAEpB,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,yBAAyB,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,MAAM,CACb,KAAc,EACd,KAAa;IAEb,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC;QACzD,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,aAAa,CACpB,KAAc,EACd,KAAa,EACb,OAAe;IAEf,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACzB,IAAI,KAAK,CAAC,MAAM,GAAG,OAAO;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,eAAe,CAAC,CAAC;IACzE,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,QAAQ,GAAkB,IAAI,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnB,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,IAAI,IAAI;YACvC,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,4BAA4B,CAAC,CAAC;QAC5D,QAAQ,GAAG,IAAI,CAAC;QAChB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,kBAAkB,CAAC,CAAC;IAC3C,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;QAC3B,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAC;IAC5D,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACnC,UAAU,CAAC,KAAK,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;IACnD,MAAM,cAAc,GAAG,aAAa,CAClC,KAAK,CAAC,cAAc,EACpB,gBAAgB,EAChB,GAAG,CACJ,CAAC;IACF,MAAM,eAAe,GAAG,aAAa,CACnC,KAAK,CAAC,eAAe,EACrB,iBAAiB,EACjB,iBAAiB,CAClB,CAAC;IACF,IAAI,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;QACxC,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAC;IAC5D,OAAO,kBAAkB,CAAC;QACxB,aAAa,EAAE,CAAC;QAChB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,cAAc;QACd,eAAe;KAChB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAClB,IAAuB,EACvB,KAAwB;IAExB,OAAO,CACL,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAC5B,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CACnD,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAA8B;IAE9B,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;QAC3B,MAAM,IAAI,SAAS,CAAC,0CAA0C,CAAC,CAAC;IAClE,MAAM,YAAY,GAAG,iDAAiD,CACpE,KAAK,CAAC,YAAY,CACnB,CAAC;IACF,IAAI,YAAY,CAAC,OAAO,KAAK,SAAS;QACpC,MAAM,IAAI,SAAS,CAAC,oDAAoD,CAAC,CAAC;IAC5E,MAAM,aAAa,GAAG,uBAAuB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IACnE,MAAM,eAAe,GAAG,6BAA6B,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC7E,MAAM,OAAO,GAAG,2BAA2B,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3D,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACjC,IACE,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,aAAa;QAClC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,aAAa;QAElC,MAAM,IAAI,SAAS,CAAC,mCAAmC,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC5C,WAAW,CAAC,KAAK,CAAC,oBAAoB,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC;IAEnE,IAAI,eAAe,GAAG,EAAE,CAAC;IACzB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,MAAM,SAAS,IAAI,CAAC,cAAc,EAAE,CAAC;QACzD,IAAI,eAAe,KAAK,EAAE,IAAI,eAAe,IAAI,GAAG;YAClD,MAAM,IAAI,SAAS,CAAC,iCAAiC,CAAC,CAAC;QACzD,eAAe,GAAG,GAAG,CAAC;QACtB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC;YACpE,MAAM,IAAI,SAAS,CAAC,gCAAgC,CAAC,CAAC;QACxD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzB,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACvC,IACE,IAAI,CAAC,cAAc,CAAC,IAAI,CACtB,CAAC,UAAU,EAAE,EAAE,CACb,CAAC,aAAa,CAAC,uBAAuB,CAAC,QAAQ,CAAC,UAAU,CAAC,CAC9D;YAED,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;IACrE,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK;QACtB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YAC9C,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CACzB,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,UAAU,CAC/C,CAAC;YACF,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;gBAC9D,MAAM,IAAI,SAAS,CAAC,kDAAkD,CAAC,CAAC;QAC5E,CAAC;IAEH,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;IACpC,MAAM,aAAa,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1C,IACE,YAAY,CAAC,QAAQ,KAAK,aAAa,CAAC,QAAQ;QAChD,YAAY,CAAC,eAAe,KAAK,aAAa,CAAC,eAAe;QAC9D,YAAY,CAAC,cAAc,KAAK,aAAa,CAAC,QAAQ;QACtD,YAAY,CAAC,YAAY,KAAK,aAAa,CAAC,YAAY;QACxD,aAAa,CAAC,qBAAqB,KAAK,eAAe,CAAC,YAAY;QACpE,aAAa,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa;QACrD,SAAS,CAAC,QAAQ,KAAK,aAAa,CAAC,QAAQ;QAC7C,SAAS,CAAC,cAAc,KAAK,aAAa,CAAC,cAAc;QACzD,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,aAAa,CAAC,SAAS,CAAC,MAAM;QAC7D,SAAS,CAAC,SAAS,CAAC,WAAW,KAAK,aAAa,CAAC,SAAS,CAAC,WAAW;QACvE,SAAS,CAAC,SAAS,CAAC,mBAAmB;YACrC,aAAa,CAAC,SAAS,CAAC,mBAAmB;QAC7C,aAAa,CAAC,SAAS,CAAC,iBAAiB;YACvC,SAAS,CAAC,SAAS,CAAC,wBAAwB;QAC9C,aAAa,CAAC,SAAS,CAAC,iBAAiB;YACvC,SAAS,CAAC,SAAS,CAAC,wBAAwB;QAC9C,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QACvC,CAAC,WAAW,CAAC,SAAS,CAAC,cAAc,EAAE,aAAa,CAAC;QACrD,aAAa,CAAC,uBAAuB,CAAC,IAAI,CACxC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,QAAQ,CAAC,UAAU,CAAC,CACxE;QACD,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC;QACrE,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC;QAEvE,MAAM,IAAI,SAAS,CACjB,0EAA0E,CAC3E,CAAC;IAEJ,OAAO,kBAAkB,CAAC;QACxB,aAAa,EAAE,CAAC;QAChB,YAAY;QACZ,aAAa;QACb,eAAe;QACf,OAAO;QACP,KAAK;QACL,oBAAoB,EAAE,KAAK,CAAC,oBAAoB;KACjD,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,sCAAsC,CACpD,KAAiE;IAEjE,KAAK,CAAC,KAAK,EAAE,kBAAkB,EAAE,6BAA6B,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;IAC7C,OAAO,oBAAoB,CACzB,sBAAsB,EACtB,IAA+B,EAC/B;QACE,YAAY,EAAE,UAAU;QACxB,YAAY,EAAE,EAAE;QAChB,YAAY,EAAE,SAAS;QACvB,oBAAoB,EAAE,KAAK;QAC3B,oBAAoB,EAAE,OAAO;KAC9B,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sCAAsC,CACpD,KAAiE;IAEjE,KAAK,CAAC,KAAK,EAAE,kBAAkB,EAAE,8BAA8B,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;IAC7C,OAAO,kBAAkB,CAAC;QACxB,GAAG,IAAI;QACP,gBAAgB,EAAE,sCAAsC,CAAC,IAAI,CAAC;KAC/D,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,wCAAwC,CACtD,KAAc;IAEd,KAAK,CAAC,KAAK,EAAE,cAAc,EAAE,wBAAwB,CAAC,CAAC;IACvD,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,gBAAgB,GAAG,sCAAsC,CAAC,IAAI,CAAC,CAAC;IACtE,IAAI,KAAK,CAAC,gBAAgB,KAAK,gBAAgB;QAC7C,MAAM,IAAI,SAAS,CAAC,0CAA0C,CAAC,CAAC;IAClE,OAAO,kBAAkB,CAAC,EAAE,GAAG,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,2CAA2C,CACzD,KAAc;IAEd,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,2BAA2B,CAAC,CAAC;IACvD,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;QAC3B,MAAM,IAAI,SAAS,CAAC,6CAA6C,CAAC,CAAC;IACrE,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACnC,UAAU,CAAC,KAAK,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;IACnD,WAAW,CAAC,KAAK,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,uBAAuB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IACnE,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACpD,UAAU,CAAC,KAAK,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;IAC/C,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,IACE,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,iBAAiB,CAAC;YAC1C,WAAW,CAAC,cAAc,KAAK,KAAK,CAAC,MAAM;YAC3C,WAAW,CAAC,kBAAkB,KAAK,KAAK,CAAC,cAAc;YACvD,WAAW,CAAC,eAAe,KAAK,aAAa,CAAC,eAAe;YAC7D,WAAW,CAAC,cAAc,KAAK,aAAa,CAAC,QAAQ;YACrD,WAAW,CAAC,YAAY,KAAK,aAAa,CAAC,YAAY;YACvD,WAAW,CAAC,aAAa,GAAG,KAAK,CAAC,aAAa;YAE/C,MAAM,IAAI,SAAS,CAAC,iDAAiD,CAAC,CAAC;QACzE,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC;IAC7C,CAAC;IACD,IACE,QAAQ,CAAC,eAAe,KAAK,aAAa,CAAC,eAAe;QAC1D,QAAQ,CAAC,cAAc,KAAK,aAAa,CAAC,QAAQ;QAClD,QAAQ,CAAC,YAAY,KAAK,aAAa,CAAC,YAAY;QACpD,QAAQ,CAAC,sBAAsB,GAAG,KAAK,CAAC,aAAa;QAErD,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;IAC/D,OAAO,kBAAkB,CAAC;QACxB,aAAa,EAAE,CAAC;QAChB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,aAAa;QACb,YAAY;QACZ,QAAQ;QACR,aAAa,EAAE,KAAK,CAAC,aAAa;KACnC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,sDAAsD,CACpE,KAAc;IAEd,KAAK,CAAC,KAAK,EAAE,sBAAsB,EAAE,uCAAuC,CAAC,CAAC;IAC9E,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;QAC3B,MAAM,IAAI,SAAS,CAAC,yDAAyD,CAAC,CAAC;IACjF,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IAC7C,UAAU,CAAC,KAAK,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,CAAC;IAC7D,WAAW,CAAC,KAAK,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,uBAAuB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IACnE,UAAU,CAAC,KAAK,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;IAC/C,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,qBAAqB,GAAG,KAAK,CAAC;IAClC,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,IACE,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,iBAAiB,CAAC;YAC1C,WAAW,CAAC,eAAe,KAAK,aAAa,CAAC,eAAe;YAC7D,WAAW,CAAC,cAAc,KAAK,aAAa,CAAC,QAAQ;YACrD,WAAW,CAAC,YAAY,KAAK,aAAa,CAAC,YAAY;YACvD,WAAW,CAAC,aAAa,GAAG,KAAK,CAAC,aAAa;YAE/C,MAAM,IAAI,SAAS,CAAC,iDAAiD,CAAC,CAAC;QACzE,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC;QAC3C,IACE,WAAW,CAAC,cAAc,KAAK,KAAK,CAAC,WAAW;YAChD,WAAW,CAAC,kBAAkB,KAAK,KAAK,CAAC,mBAAmB;YAE5D,qBAAqB,GAAG,IAAI,CAAC;IACjC,CAAC;IACD,IAAI,CAAC,qBAAqB;QACxB,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAC;IAC3E,OAAO,kBAAkB,CAAC;QACxB,aAAa,EAAE,CAAC;QAChB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;QAC9C,aAAa;QACb,YAAY;QACZ,aAAa,EAAE,KAAK,CAAC,aAAa;KACnC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,oCAAoC,CAClD,KAAc;IAEd,MAAM,cAAc,GAClB,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QACzC,CAAC,CAAC,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC;QAChD,CAAC,CAAC,SAAS,CAAC;IAChB,IACE,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrB,cAAc,KAAK,SAAS;QAC5B,OAAO,IAAI,cAAc;QACzB,cAAc,CAAC,KAAK,KAAK,UAAU,EACnC,CAAC;QACD,KAAK,CAAC,KAAK,EAAE,CAAC,eAAe,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,mBAAmB,CAAC,CAAC;QACzE,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;YAC3B,MAAM,IAAI,SAAS,CAAC,qCAAqC,CAAC,CAAC;QAC7D,OAAO,kBAAkB,CAAC;YACxB,aAAa,EAAE,CAAC;YAChB,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,8BAA8B,CAAC,KAAK,CAAC,QAAQ,CAAC;SACzD,CAAC,CAAC;IACL,CAAC;IACD,KAAK,CAAC,KAAK,EAAE,CAAC,eAAe,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,mBAAmB,CAAC,CAAC;IAC3E,IACE,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC;QAExD,MAAM,IAAI,SAAS,CAAC,mCAAmC,CAAC,CAAC;IAC3D,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACtC,OAAO,kBAAkB,CAAC;QACxB,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CACpB,KAAc,EACd,KAAa;IAEb,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACzB,MAAM,MAAM,GAAuB,EAAE,CAAC;IACtC,IAAI,QAAQ,GAAkB,IAAI,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACpB,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,IAAI,IAAI;YACvC,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,4BAA4B,CAAC,CAAC;QAC5D,QAAQ,GAAG,IAAI,CAAC;QAChB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,iBAAiB,CACxB,KAA8B;IAE9B,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;QAC3B,MAAM,IAAI,SAAS,CAAC,0CAA0C,CAAC,CAAC;IAClE,MAAM,CAAC,KAAK,CAAC,yBAAyB,EAAE,2BAA2B,CAAC,CAAC;IACrE,IACE,KAAK,CAAC,MAAM,KAAK,qBAAqB;QACtC,KAAK,CAAC,MAAM,KAAK,qBAAqB;QAEtC,MAAM,IAAI,SAAS,CAAC,+BAA+B,CAAC,CAAC;IACvD,IACE,KAAK,CAAC,UAAU,KAAK,gBAAgB;QACrC,KAAK,CAAC,UAAU,KAAK,YAAY;QACjC,KAAK,CAAC,UAAU,KAAK,mBAAmB;QACxC,KAAK,CAAC,UAAU,KAAK,kBAAkB;QAEvC,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAC;IAC5D,WAAW,CAAC,KAAK,CAAC,kBAAkB,EAAE,oBAAoB,CAAC,CAAC;IAC5D,MAAM,kBAAkB,GAAG,aAAa,CACtC,KAAK,CAAC,kBAAkB,EACxB,oBAAoB,CACrB,CAAC;IACF,MAAM,cAAc,GAAG,aAAa,CAAC,KAAK,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;IAC7E,MAAM,oBAAoB,GAAG,aAAa,CACxC,KAAK,CAAC,oBAAoB,EAC1B,sBAAsB,CACvB,CAAC;IACF,UAAU,CAAC,KAAK,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;IACrD,oBAAoB,CAAC,sBAAsB,EAAE;QAC3C,eAAe,EAAE,KAAK,CAAC,eAAiC;KACzD,CAAC,CAAC;IACH,MAAM,eAAe,GAAG,kBAAkB,CACxC,eAAe,CAAC,KAAK,CAAC,eAAiC,CAAC,CACzD,CAAC;IACF,OAAO,kBAAkB,CAAC;QACxB,aAAa,EAAE,CAAC;QAChB,yBAAyB,EAAE,KAAK,CAAC,yBAAyB;QAC1D,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;QAC5C,kBAAkB;QAClB,cAAc;QACd,oBAAoB;QACpB,eAAe;KAChB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAClB,IAAwD;IAExD,OAAO,oBAAoB,CACzB,sBAAsB,EACtB,IAA+B,EAC/B;QACE,YAAY,EAAE,UAAU;QACxB,YAAY,EAAE,EAAE;QAChB,YAAY,EAAE,SAAS;QACvB,oBAAoB,EAAE,KAAK;QAC3B,oBAAoB,EAAE,OAAO;KAC9B,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qCAAqC,CACnD,KAAyD;IAEzD,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,8BAA8B,CAAC,CAAC;IAC1D,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACtC,OAAO,kBAAkB,CAAC,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,uCAAuC,CACrD,KAAc;IAEd,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,wBAAwB,CAAC,CAAC;IAChD,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;QAC/B,MAAM,IAAI,SAAS,CAAC,0CAA0C,CAAC,CAAC;IAClE,OAAO,kBAAkB,CAAC,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;AACpD,CAAC"}

package/dist/collective-closed-loop-fault-matrix.d.ts

@@ -0,0 +1,101 @@
+import { type PlanningDigestV1 } from '@agentplat/collective-planning';
+import { type MeshReducerScenarioConfig, type MeshReducerScenarioRecord, type MeshReducerScenarioReplayResult, type MeshReducerScenarioRuntime, type MeshReducerScenarioTrace } from './reducer-scenario.js';
+/**
+ * A compact, runner-neutral fault schedule.  The transport faults are always
+ * executed by the simulation driver; capability and assignment faults are
+ * normal reducer events so an adapter cannot mistake a trace annotation for a
+ * domain transition.
+ */
+export declare const COLLECTIVE_CLOSED_LOOP_FAULT_MATRIX_LIMITS_V1: Readonly<{
+    maximumFaults: 8;
+    maximumScenarioEvents: 5000;
+    maximumObservers: 8;
+}>;
+export type CollectiveClosedLoopFaultMatrixFamilyV1 = 'capability.withdraw' | 'assignment.decline' | 'peer.crash' | 'peer.restart' | 'network.partition' | 'network.heal';
+export interface CollectiveClosedLoopFaultMatrixEventInjectionV1 {
+    readonly schemaVersion: 1;
+    readonly kind: 'reducer_event';
+    readonly eventId: string;
+}
+export interface CollectiveClosedLoopFaultMatrixDriverInjectionV1 {
+    readonly schemaVersion: 1;
+    readonly kind: 'driver_fault';
+    readonly simulationFaultId: string;
+}
+export type CollectiveClosedLoopFaultMatrixInjectionV1 = CollectiveClosedLoopFaultMatrixEventInjectionV1 | CollectiveClosedLoopFaultMatrixDriverInjectionV1;
+interface CollectiveClosedLoopFaultMatrixBaseV1 {
+    readonly schemaVersion: 1;
+    readonly faultId: string;
+    readonly family: CollectiveClosedLoopFaultMatrixFamilyV1;
+    readonly logicalTime: number;
+    readonly injection: CollectiveClosedLoopFaultMatrixInjectionV1;
+    /** Explicit predecessor keeps restart/heal causality independent of timing. */
+    readonly causalPredecessorFaultId: string | null;
+}
+export interface CollectiveClosedLoopCapabilityWithdrawalFaultV1 extends CollectiveClosedLoopFaultMatrixBaseV1 {
+    readonly family: 'capability.withdraw';
+    readonly injection: CollectiveClosedLoopFaultMatrixEventInjectionV1;
+}
+export interface CollectiveClosedLoopAssignmentDeclineFaultV1 extends CollectiveClosedLoopFaultMatrixBaseV1 {
+    readonly family: 'assignment.decline';
+    readonly injection: CollectiveClosedLoopFaultMatrixEventInjectionV1;
+    readonly reofferEventId: string;
+    readonly declinedOfferAttempt: number;
+    readonly reofferAttempt: number;
+}
+export interface CollectiveClosedLoopTransportFaultV1 extends CollectiveClosedLoopFaultMatrixBaseV1 {
+    readonly family: 'peer.crash' | 'peer.restart' | 'network.partition' | 'network.heal';
+    readonly injection: CollectiveClosedLoopFaultMatrixDriverInjectionV1;
+}
+export type CollectiveClosedLoopFaultMatrixFaultV1 = CollectiveClosedLoopCapabilityWithdrawalFaultV1 | CollectiveClosedLoopAssignmentDeclineFaultV1 | CollectiveClosedLoopTransportFaultV1;
+export interface CollectiveClosedLoopFaultMatrixObservationV1<State, Projection> {
+    readonly faultId: string;
+    /**
+     * Domain adapters assert the post-condition against the actual reducer
+     * trace. For example, a withdrawal must no longer be eligible for matching.
+     */
+    observe(input: {
+        readonly trace: MeshReducerScenarioTrace<State, Projection>;
+        readonly injectedRecord: MeshReducerScenarioRecord;
+    }): boolean;
+}
+export interface CollectiveClosedLoopFaultMatrixInputV1<State, Action, Effect = unknown, Projection = State> {
+    readonly schemaVersion: 1;
+    readonly scenario: MeshReducerScenarioConfig<State, Action>;
+    readonly runtime: MeshReducerScenarioRuntime<State, Action, Effect, Projection>;
+    readonly faults: readonly CollectiveClosedLoopFaultMatrixFaultV1[];
+    readonly observations: readonly CollectiveClosedLoopFaultMatrixObservationV1<State, Projection>[];
+}
+export interface CollectiveClosedLoopFaultMatrixRecordV1 {
+    readonly schemaVersion: 1;
+    readonly faultId: string;
+    readonly family: CollectiveClosedLoopFaultMatrixFamilyV1;
+    readonly scheduledEventDigest: PlanningDigestV1;
+    readonly injectedEventDigest: PlanningDigestV1;
+    readonly observedEventDigest: PlanningDigestV1;
+    readonly injectedRecordId: string;
+    readonly observed: true;
+}
+export interface CollectiveClosedLoopFaultMatrixResultV1<State, Projection> {
+    readonly schemaVersion: 1;
+    readonly scenarioDigest: string;
+    readonly trace: MeshReducerScenarioTrace<State, Projection>;
+    readonly records: readonly CollectiveClosedLoopFaultMatrixRecordV1[];
+    readonly matrixDigest: PlanningDigestV1;
+}
+export interface CollectiveClosedLoopFaultMatrixReplayResultV1 {
+    readonly matches: boolean;
+    readonly expectedMatrixDigest: PlanningDigestV1;
+    readonly actualMatrixDigest: PlanningDigestV1;
+    readonly replay: MeshReducerScenarioReplayResult;
+}
+/**
+ * Executes a bounded mixed fault campaign. This function intentionally does
+ * not inject domain faults itself: the supplied Mesh reducer adapter receives
+ * the signed/verified withdrawal or decline event from its normal schedule.
+ */
+export declare function runCollectiveClosedLoopFaultMatrixV1<State, Action, Effect = unknown, Projection = State>(input: CollectiveClosedLoopFaultMatrixInputV1<State, Action, Effect, Projection>): Promise<CollectiveClosedLoopFaultMatrixResultV1<State, Projection>>;
+/** Re-runs the exact schedule and requires both driver and matrix evidence. */
+export declare function replayCollectiveClosedLoopFaultMatrixV1<State, Action, Effect = unknown, Projection = State>(input: CollectiveClosedLoopFaultMatrixInputV1<State, Action, Effect, Projection>, expected: CollectiveClosedLoopFaultMatrixResultV1<State, Projection>): Promise<CollectiveClosedLoopFaultMatrixReplayResultV1>;
+export {};
+//# sourceMappingURL=collective-closed-loop-fault-matrix.d.ts.map

package/dist/collective-closed-loop-fault-matrix.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collective-closed-loop-fault-matrix.d.ts","sourceRoot":"","sources":["../src/collective-closed-loop-fault-matrix.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,gBAAgB,EACtB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAGL,KAAK,yBAAyB,EAC9B,KAAK,yBAAyB,EAC9B,KAAK,+BAA+B,EACpC,KAAK,0BAA0B,EAC/B,KAAK,wBAAwB,EAC9B,MAAM,uBAAuB,CAAC;AAE/B;;;;;GAKG;AACH,eAAO,MAAM,6CAA6C;;;;EAIxD,CAAC;AAEH,MAAM,MAAM,uCAAuC,GAC/C,qBAAqB,GACrB,oBAAoB,GACpB,YAAY,GACZ,cAAc,GACd,mBAAmB,GACnB,cAAc,CAAC;AAEnB,MAAM,WAAW,+CAA+C;IAC9D,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,gDAAgD;IAC/D,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACpC;AAED,MAAM,MAAM,0CAA0C,GAClD,+CAA+C,GAC/C,gDAAgD,CAAC;AAErD,UAAU,qCAAqC;IAC7C,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,uCAAuC,CAAC;IACzD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,0CAA0C,CAAC;IAC/D,+EAA+E;IAC/E,QAAQ,CAAC,wBAAwB,EAAE,MAAM,GAAG,IAAI,CAAC;CAClD;AAED,MAAM,WAAW,+CAAgD,SAAQ,qCAAqC;IAC5G,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,+CAA+C,CAAC;CACrE;AAED,MAAM,WAAW,4CAA6C,SAAQ,qCAAqC;IACzG,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,+CAA+C,CAAC;IACpE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,oCAAqC,SAAQ,qCAAqC;IACjG,QAAQ,CAAC,MAAM,EACb,YAAY,GAAG,cAAc,GAAG,mBAAmB,GAAG,cAAc,CAAC;IACvE,QAAQ,CAAC,SAAS,EAAE,gDAAgD,CAAC;CACtE;AAED,MAAM,MAAM,sCAAsC,GAC9C,+CAA+C,GAC/C,4CAA4C,GAC5C,oCAAoC,CAAC;AAEzC,MAAM,WAAW,4CAA4C,CAC3D,KAAK,EACL,UAAU;IAEV,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;;;OAGG;IACH,OAAO,CAAC,KAAK,EAAE;QACb,QAAQ,CAAC,KAAK,EAAE,wBAAwB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAC5D,QAAQ,CAAC,cAAc,EAAE,yBAAyB,CAAC;KACpD,GAAG,OAAO,CAAC;CACb;AAED,MAAM,WAAW,sCAAsC,CACrD,KAAK,EACL,MAAM,EACN,MAAM,GAAG,OAAO,EAChB,UAAU,GAAG,KAAK;IAElB,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,yBAAyB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC5D,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAC1C,KAAK,EACL,MAAM,EACN,MAAM,EACN,UAAU,CACX,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE,SAAS,sCAAsC,EAAE,CAAC;IACnE,QAAQ,CAAC,YAAY,EAAE,SAAS,4CAA4C,CAC1E,KAAK,EACL,UAAU,CACX,EAAE,CAAC;CACL;AAED,MAAM,WAAW,uCAAuC;IACtD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,uCAAuC,CAAC;IACzD,QAAQ,CAAC,oBAAoB,EAAE,gBAAgB,CAAC;IAChD,QAAQ,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;IAC/C,QAAQ,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;CACzB;AAED,MAAM,WAAW,uCAAuC,CAAC,KAAK,EAAE,UAAU;IACxE,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,wBAAwB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC5D,QAAQ,CAAC,OAAO,EAAE,SAAS,uCAAuC,EAAE,CAAC;IACrE,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;CACzC;AAED,MAAM,WAAW,6CAA6C;IAC5D,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,oBAAoB,EAAE,gBAAgB,CAAC;IAChD,QAAQ,CAAC,kBAAkB,EAAE,gBAAgB,CAAC;IAC9C,QAAQ,CAAC,MAAM,EAAE,+BAA+B,CAAC;CAClD;AAED;;;;GAIG;AACH,wBAAsB,oCAAoC,CACxD,KAAK,EACL,MAAM,EACN,MAAM,GAAG,OAAO,EAChB,UAAU,GAAG,KAAK,EAElB,KAAK,EAAE,sCAAsC,CAC3C,KAAK,EACL,MAAM,EACN,MAAM,EACN,UAAU,CACX,GACA,OAAO,CAAC,uCAAuC,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAoBrE;AAED,+EAA+E;AAC/E,wBAAsB,uCAAuC,CAC3D,KAAK,EACL,MAAM,EACN,MAAM,GAAG,OAAO,EAChB,UAAU,GAAG,KAAK,EAElB,KAAK,EAAE,sCAAsC,CAC3C,KAAK,EACL,MAAM,EACN,MAAM,EACN,UAAU,CACX,EACD,QAAQ,EAAE,uCAAuC,CAAC,KAAK,EAAE,UAAU,CAAC,GACnE,OAAO,CAAC,6CAA6C,CAAC,CAgBxD"}