agentfootprint 10.10.0 → 11.0.0

package/dist/esm/core/agent/negativeClaims/capture.d.ts

@@ -0,0 +1,65 @@
+/**
+ * Runtime evidence for typed negatives. Only dispatch and native tool returns write here;
+ * assistant text, summaries and after-tool rewrites never become observations.
+ * Role: core/agent, opt-in. The checker and coverage rules remain their single owners.
+ */
+import { type TypedScope } from 'footprintjs';
+import type { MemoryIdentity } from '../../../memory/identity/types.js';
+import type { SearchTool, TurnCall, TurnRecord } from '../../../integrity/negative-claim/types.js';
+import type { ComposedCoverage } from '../../../semantics/coverage/composedCoverage.js';
+import type { Tool, ToolExecutionContext } from '../../../tools/tools.js';
+import type { ToolParty } from '../../slots/buildToolsSlot.js';
+import type { SearchDispatch } from '../stages/searchCoverage.js';
+import type { AgentState } from '../types.js';
+export interface NegativeRuntimeCall extends TurnCall {
+    readonly trustedContext: boolean;
+}
+export interface NegativeRuntimeState {
+    readonly version: 1;
+    readonly turn: number;
+    readonly complete: boolean;
+    readonly calls: readonly NegativeRuntimeCall[];
+    readonly tools: Readonly<Record<string, SearchTool>>;
+    readonly pending: readonly string[];
+    readonly pausedResultId?: string;
+    readonly overclaims: readonly {
+        readonly tool: string;
+        readonly code: 'refusal-asserts-absence';
+        readonly turn: number;
+    }[];
+    /** Operational carrier only, never served or emitted. */
+    readonly ownerIdentity?: MemoryIdentity;
+    /** A per-run namespace synthesized with no caller/session/composition identity. */
+    readonly anonymousOwner?: true;
+}
+export declare function createNegativeRuntimeState(turn: number, identity?: MemoryIdentity, prior?: NegativeRuntimeState, anonymousOwner?: boolean): NegativeRuntimeState;
+export interface NegativeDispatch extends SearchDispatch {
+    readonly args: Readonly<Record<string, unknown>>;
+    readonly local: boolean;
+}
+/** Publish the attempt before the tool's code can await, throw or pause. */
+export declare function startNegativeCall(scope: TypedScope<AgentState>, input: {
+    tool: Tool;
+    party?: ToolParty;
+    args: Readonly<Record<string, unknown>>;
+    toolCallId: string;
+    iteration: number;
+    runId?: string;
+    dispatch?: SearchDispatch;
+    context: ToolExecutionContext;
+}): NegativeDispatch;
+/** Snapshot immediately on native return, before teardown, observers and middleware. */
+export declare function captureNegativeResult(scope: TypedScope<AgentState>, dispatch: NegativeDispatch, value: unknown, tool: Tool): unknown;
+export declare function captureNegativeCoverage(scope: TypedScope<AgentState>, row: ComposedCoverage): void;
+/** Park the native occurrence itself; provider call ids are never a selector. */
+export declare function pauseNegativeCall(scope: TypedScope<AgentState>, resultId: string): void;
+export declare function pausedNegativeResultId(scope: TypedScope<AgentState>): string | undefined;
+/** The terminal bracket settles an attempt; a human answer is not a native observation. */
+export declare function settleNegativeCall(scope: TypedScope<AgentState>, resultId: string | undefined, outcome: TurnCall['outcome']): void;
+/** Existing semantic recognition, filed as codes only; a refusal never manufactures a read. */
+export declare function captureNegativeRefusal(scope: TypedScope<AgentState>, tool: string, value: unknown, args?: Readonly<Record<string, unknown>>): void;
+/** The transform cannot supply evidence; unreadable delivered output also withholds its handle. */
+export declare function keepNegativeResultOut(scope: TypedScope<AgentState>, resultId: string | undefined): void;
+/** A framework suffix, after transforms/caps. Gap notes and periods survive; inventory names never do. */
+export declare function serveNegativeHandle(scope: TypedScope<AgentState>, resultId: string | undefined, text: string): string;
+export declare function negativeRecordOf(scope: TypedScope<AgentState>, runId?: string): TurnRecord;

package/dist/esm/core/agent/negativeClaims/capture.js

@@ -0,0 +1,508 @@
+/**
+ * Runtime evidence for typed negatives. Only dispatch and native tool returns write here;
+ * assistant text, summaries and after-tool rewrites never become observations.
+ * Role: core/agent, opt-in. The checker and coverage rules remain their single owners.
+ */
+import { isDevMode } from 'footprintjs';
+import { readResultIdentity } from '../../../integrity/claim-binding/capture.js';
+import { sameName } from '../../../lib/normalize.js';
+import { isJsonFaithful } from '../../../lib/jsonFaithful.js';
+import { stableJson } from '../../../lib/stableJson.js';
+import { runKeepsOut } from '../../../redaction/runRedaction.js';
+import { readSemantics } from '../../../semantics/envelope.js';
+import { clockOf } from '../../../time/rows.js';
+import { refusalIssues } from '../../../semantics/overclaim.js';
+import { readToolResultEnvelope } from '../../../semantics/toolEffects.js';
+import { namesFacetOf } from '../../../semantics/coverage/among.js';
+import { readAbsence, readDeclaredAbsence, readCoverageLedger, readDeclaredLedger, } from '../../../semantics/coverage/recognize.js';
+import { composeChecked } from '../../../semantics/coverage/search/facets.js';
+import { readArgument } from '../../../semantics/coverage/search/inEffect.js';
+import { hostFillsOf } from '../../../tools/hostFilled.js';
+import { searchOf } from '../../../tools/searchOf.js';
+import { readOnlyByDeclaration } from '../../../tools/tools.js';
+import { readEmptiness } from '../emptiness.js';
+import { createVerificationState, reserveResultIdentity } from '../findings/verificationState.js';
+const MAX_CALLS = 1_000;
+const MAX_BYTES = 2_000_000;
+const record = (v) => v !== null && typeof v === 'object' && !Array.isArray(v);
+const stateOf = (scope) => scope.$getValue('negativeClaimState');
+const sameIdentity = (a, b) => {
+    try {
+        return stableJson(a ?? null) === stableJson(b ?? null);
+    }
+    catch {
+        return false;
+    }
+};
+export function createNegativeRuntimeState(turn, identity, prior, anonymousOwner = false) {
+    // A scope-backed object can be a Proxy. Copy this closed tuple through its
+    // fields instead of passing a live scope proxy into structuredClone. This
+    // is ownership bookkeeping; only actual host fills can prove trusted context.
+    const ownerIdentity = identity === undefined
+        ? undefined
+        : {
+            conversationId: identity.conversationId,
+            ...(identity.tenant !== undefined && { tenant: identity.tenant }),
+            ...(identity.principal !== undefined && { principal: identity.principal }),
+        };
+    const inherited = prior !== undefined && sameIdentity(prior.ownerIdentity, ownerIdentity);
+    // Only an explicitly continued anonymous conversation may carry these stale
+    // addresses between its per-run namespaces. No earlier payload or scope is
+    // transferred, and no named owner can enter this path.
+    const anonymousPast = !inherited &&
+        anonymousOwner &&
+        prior?.anonymousOwner === true &&
+        ownerIdentity?.tenant === undefined &&
+        ownerIdentity?.principal === undefined &&
+        prior.ownerIdentity?.tenant === undefined &&
+        prior.ownerIdentity?.principal === undefined &&
+        turn > prior.turn &&
+        prior.calls.every((call) => !call.trustedContext);
+    const kept = inherited || anonymousPast;
+    return {
+        version: 1,
+        turn,
+        complete: kept ? prior.complete : true,
+        calls: inherited ? prior.calls : anonymousPast ? prior.calls.map(staleMetadataOf) : [],
+        tools: inherited ? prior.tools : {},
+        pending: kept ? prior.pending : [],
+        overclaims: inherited ? prior.overclaims ?? [] : [],
+        ...(inherited &&
+            prior.pausedResultId !== undefined && { pausedResultId: prior.pausedResultId }),
+        ...(ownerIdentity !== undefined && { ownerIdentity }),
+        ...(anonymousOwner && { anonymousOwner: true }),
+    };
+}
+/** A citation address and date, never an observation that can establish a claim. */
+function staleMetadataOf(call) {
+    return {
+        resultId: call.resultId,
+        toolName: call.toolName,
+        turn: call.turn,
+        batch: call.batch,
+        dispatched: call.dispatched,
+        outcome: call.outcome,
+        effect: call.effect,
+        arguments: {},
+        trustedContext: false,
+        keptOut: true,
+        ...(call.readAt !== undefined && { readAt: call.readAt }),
+        ...(call.row !== undefined && {
+            row: {
+                kind: call.row.kind,
+                toolName: call.toolName,
+                iteration: call.batch,
+                composed: call.row.composed,
+                resultId: call.resultId,
+                handle: call.row.handle,
+                checked: [],
+                notChecked: [],
+                cannotCover: [],
+                complete: false,
+                gaps: [],
+            },
+        }),
+    };
+}
+function publish(scope, next) {
+    try {
+        if (JSON.stringify(next).length > MAX_BYTES) {
+            const prior = stateOf(scope);
+            if (prior !== undefined)
+                scope.negativeClaimState = { ...prior, complete: false };
+            return;
+        }
+        scope.negativeClaimState = next;
+    }
+    catch {
+        const prior = stateOf(scope);
+        if (prior !== undefined)
+            scope.negativeClaimState = { ...prior, complete: false };
+    }
+}
+function replace(scope, id, update) {
+    const state = stateOf(scope);
+    if (state === undefined)
+        return;
+    publish(scope, {
+        ...state,
+        calls: state.calls.map((call) => (call.resultId === id ? update(call) : call)),
+    });
+}
+/** Publish the attempt before the tool's code can await, throw or pause. */
+export function startNegativeCall(scope, input) {
+    const { tool, context } = input;
+    const runId = input.runId || 'unidentified-run';
+    let dispatch = input.dispatch;
+    if (dispatch === undefined) {
+        const reserved = reserveResultIdentity(scope.resultIdentities ?? createVerificationState(runId), runId);
+        scope.resultIdentities = reserved.state;
+        dispatch = {
+            resultId: reserved.id,
+            handle: `r${reserved.identity.ordinal}`,
+            dispatchedAt: context.time?.dispatchedAt ?? new Date().toISOString(),
+        };
+    }
+    const identity = scope.$getValue('runIdentity');
+    const state = stateOf(scope) ?? createNegativeRuntimeState(scope.turnNumber, identity);
+    let args = {};
+    let keptOut = false;
+    try {
+        if (!isJsonFaithful(input.args))
+            keptOut = true;
+        args = structuredClone(input.args);
+    }
+    catch {
+        keptOut = true;
+    }
+    const remote = tool.source !== undefined || input.party?.channel === 'provider';
+    const search = searchOf(tool).search;
+    const fills = hostFillsOf(tool);
+    const bindings = Object.entries(fills?.identity ?? {});
+    const actualIdentity = context.identity;
+    const expectedIdentity = identity;
+    const trustedContext = !remote &&
+        bindings.length > 0 &&
+        bindings.every(([argument, key]) => !Object.hasOwn(args, argument) &&
+            typeof actualIdentity?.[key] === 'string' &&
+            actualIdentity[key] !== '' &&
+            actualIdentity[key] === expectedIdentity?.[key]);
+    // A privacy rule must never be bypassed by moving evidence into a new carrier.
+    keptOut ||= [
+        'negativeClaimState',
+        'coverageDeclared',
+        'toolResults',
+        'history',
+        'args',
+        'result',
+        ...Object.keys(args),
+    ].some((key) => runKeepsOut(scope, key));
+    let composedScope;
+    if (search !== undefined) {
+        composedScope = composeChecked({
+            search,
+            readings: search.arguments.map((arg) => [arg, readArgument(arg, args, fills)]),
+            period: tool.period,
+            dispatchedAt: dispatch.dispatchedAt,
+        });
+    }
+    const call = {
+        resultId: dispatch.resultId,
+        toolCallId: input.toolCallId,
+        toolName: tool.schema.name,
+        turn: scope.turnNumber,
+        batch: input.iteration,
+        dispatched: true,
+        outcome: 'error',
+        effect: !remote && (search !== undefined || readOnlyByDeclaration(tool)) ? 'read' : 'not-read',
+        arguments: keptOut ? {} : args,
+        trustedContext,
+        ...(composedScope !== undefined && !keptOut && { scope: composedScope }),
+        readAt: dispatch.dispatchedAt,
+        ...(keptOut && { keptOut: true }),
+    };
+    if (state.calls.length >= MAX_CALLS)
+        publish(scope, { ...state, complete: false });
+    else
+        publish(scope, {
+            ...state,
+            turn: scope.turnNumber,
+            calls: [...state.calls, structuredClone(call)],
+            pending: [...state.pending, dispatch.resultId],
+            tools: {
+                ...state.tools,
+                [tool.schema.name]: {
+                    name: tool.schema.name,
+                    ...(search !== undefined && !keptOut && { search: structuredClone(search) }),
+                },
+            },
+        });
+    return { ...dispatch, args, local: !remote };
+}
+/** Bind a standalone among miss to the actual argument, never its looked-for prose. */
+function amongRow(call, value, handle, tool) {
+    const absence = readAbsence(value);
+    if (absence === undefined)
+        return undefined;
+    const names = namesFacetOf(absence);
+    if (names === undefined)
+        return undefined;
+    const sent = call.arguments[names.argument];
+    if ((typeof sent !== 'string' && typeof sent !== 'number') ||
+        !sameName(String(sent), absence.looked_for))
+        return undefined;
+    const fills = hostFillsOf(tool);
+    const host = Object.entries(fills?.identity ?? {}).map(([argument, identity]) => ({
+        what: argument,
+        facet: 'filter',
+        argument,
+        value: { identity },
+        from: 'host',
+    }));
+    const gaps = [...(absence.not_checked ?? []), ...(absence.cannot_cover ?? [])].map((gap) => ({
+        kind: gap.kind === 'scope' ? 'scope' : 'prose',
+        what: gap.what,
+        ...(gap.why !== undefined && { why: gap.why }),
+        ...(gap.bears !== undefined && { bears: gap.bears }),
+    }));
+    return {
+        kind: 'absence',
+        toolName: call.toolName,
+        toolCallId: call.toolCallId,
+        iteration: call.batch,
+        composed: tool.source === undefined ? 'local' : 'remote',
+        resultId: call.resultId,
+        handle,
+        lookedFor: absence.looked_for,
+        checked: [
+            { what: names.source, facet: 'source', from: 'result' },
+            {
+                what: names.argument,
+                facet: 'population',
+                argument: names.argument,
+                value: sent,
+                from: 'call',
+                quote: true,
+            },
+            { ...names, measuredAt: absence.provenance?.measured_at },
+            ...host,
+        ],
+        notChecked: absence.not_checked ?? [],
+        cannotCover: absence.cannot_cover ?? [],
+        complete: false,
+        gaps,
+    };
+}
+/** All described data slots, in a stable order shared by capture and display admission. */
+function describedRowsOf(value) {
+    if (!record(value))
+        return undefined;
+    const collections = ['facts', 'series', 'edges'].flatMap((key) => value[key] === undefined ? [] : [value[key]]);
+    if (collections.length === 0 ||
+        !collections.every((rows) => Array.isArray(rows) && rows.every(record)))
+        return undefined;
+    return collections.flat();
+}
+/** The same recognized row shapes at native capture and final display admission.
+ * Final model text is used only to check that native rows survived; never as evidence. */
+function rowsOf(value) {
+    const envelope = readToolResultEnvelope(value);
+    const raw = envelope === undefined ? value : envelope.content;
+    const sem = readSemantics(raw);
+    const ledger = readCoverageLedger(raw) ?? readDeclaredLedger(raw);
+    if (sem !== undefined)
+        return describedRowsOf(sem);
+    let rows = ledger?.result ?? raw;
+    if (!Array.isArray(rows) && record(rows) && Array.isArray(rows.rows))
+        rows = rows.rows;
+    return Array.isArray(rows) && rows.every(record) ? rows : undefined;
+}
+/** Snapshot immediately on native return, before teardown, observers and middleware. */
+export function captureNegativeResult(scope, dispatch, value, tool) {
+    try {
+        if (!isJsonFaithful(value)) {
+            keepNegativeResultOut(scope, dispatch.resultId);
+            return value;
+        }
+        const copy = structuredClone(value);
+        const keys = [];
+        const visit = (part) => {
+            if (part === null || typeof part !== 'object')
+                return;
+            for (const [key, item] of Object.entries(part)) {
+                keys.push(key);
+                visit(item);
+            }
+        };
+        visit(copy);
+        if (keys.some((key) => runKeepsOut(scope, key))) {
+            keepNegativeResultOut(scope, dispatch.resultId);
+            return copy;
+        }
+        const envelope = readToolResultEnvelope(copy);
+        const raw = envelope === undefined ? copy : envelope.content;
+        const sem = readSemantics(raw);
+        const absent = readAbsence(raw) ?? readDeclaredAbsence(raw);
+        const ledger = readCoverageLedger(raw) ?? readDeclaredLedger(raw);
+        const read = readEmptiness(raw, {
+            door: {
+                absent: absent !== undefined,
+                bounded: ledger !== undefined,
+                ...(sem !== undefined && { described: sem }),
+            },
+        });
+        const rowsRead = rowsOf(raw);
+        const countedRows = read.rows ?? (sem !== undefined ? rowsRead?.length : undefined);
+        const notRead = envelope?.status !== undefined &&
+            ['invalid', 'denied', 'failure', 'pending'].includes(envelope.status);
+        if (notRead)
+            captureNegativeRefusal(scope, tool.schema.name, raw, dispatch.args);
+        replace(scope, dispatch.resultId, (call) => {
+            if (call.keptOut)
+                return call;
+            const among = amongRow(call, raw, dispatch.handle, tool);
+            return {
+                ...call,
+                outcome: notRead ? 'error' : 'ok',
+                emptiness: notRead ? 'unknown' : read.emptiness,
+                ...(countedRows !== undefined && { rows: countedRows }),
+                ...(rowsRead !== undefined && { rowsRead }),
+                ...(among !== undefined && {
+                    row: { ...among, composed: dispatch.local ? 'local' : 'remote' },
+                    // A returned absence says what was looked up, not whether this call
+                    // also wrote. Only the app's dispatch-time declaration exempts it
+                    // from write invalidation.
+                    effect: call.effect,
+                }),
+            };
+        });
+        return copy;
+    }
+    catch {
+        replace(scope, dispatch.resultId, (call) => ({ ...call, keptOut: true }));
+        return value;
+    }
+}
+export function captureNegativeCoverage(scope, row) {
+    replace(scope, row.resultId, (call) => call.keptOut ? call : { ...call, row: structuredClone(row) });
+}
+/** Park the native occurrence itself; provider call ids are never a selector. */
+export function pauseNegativeCall(scope, resultId) {
+    const state = stateOf(scope);
+    if (state !== undefined)
+        publish(scope, { ...state, pausedResultId: resultId });
+}
+export function pausedNegativeResultId(scope) {
+    return stateOf(scope)?.pausedResultId;
+}
+/** The terminal bracket settles an attempt; a human answer is not a native observation. */
+export function settleNegativeCall(scope, resultId, outcome) {
+    const state = stateOf(scope);
+    if (state === undefined || resultId === undefined)
+        return;
+    const { pausedResultId, ...rest } = state;
+    publish(scope, {
+        ...rest,
+        ...(pausedResultId !== undefined && pausedResultId !== resultId && { pausedResultId }),
+        pending: state.pending.filter((id) => id !== resultId),
+        calls: state.calls.map((c) => c.resultId === resultId
+            ? {
+                ...c,
+                outcome: outcome === 'ok' && c.emptiness !== undefined
+                    ? c.outcome
+                    : outcome === 'ok'
+                        ? 'error'
+                        : outcome,
+            }
+            : c),
+    });
+}
+/** Existing semantic recognition, filed as codes only; a refusal never manufactures a read. */
+export function captureNegativeRefusal(scope, tool, value, args) {
+    const state = stateOf(scope);
+    if (state === undefined)
+        return;
+    try {
+        const direct = refusalIssues(value, 'result');
+        const text = typeof value === 'string' ? value : JSON.stringify(value);
+        const contextual = Object.entries(args ?? {}).some(([argument, sent]) => refusalIssues({ text, argument, ...(typeof sent === 'string' && { value: sent }) }, 'result').length > 0);
+        if (direct.length === 0 && !contextual)
+            return;
+        if (state.overclaims.some((row) => row.turn === scope.turnNumber && row.tool === tool))
+            return;
+        if (state.overclaims.length >= MAX_CALLS) {
+            publish(scope, { ...state, complete: false });
+            return;
+        }
+        if (isDevMode() && !state.overclaims.some((row) => row.tool === tool)) {
+            // eslint-disable-next-line no-console
+            console.warn(`agentfootprint negative-claims: tool '${tool}' — refusal-asserts-absence; a refusal cannot establish absence.`);
+        }
+        publish(scope, {
+            ...state,
+            overclaims: [
+                ...state.overclaims,
+                { tool, code: 'refusal-asserts-absence', turn: scope.turnNumber },
+            ],
+        });
+    }
+    catch {
+        publish(scope, { ...state, complete: false });
+    }
+}
+/** The transform cannot supply evidence; unreadable delivered output also withholds its handle. */
+export function keepNegativeResultOut(scope, resultId) {
+    if (resultId !== undefined)
+        replace(scope, resultId, (call) => ({ ...call, keptOut: true }));
+}
+/** A framework suffix, after transforms/caps. Gap notes and periods survive; inventory names never do. */
+export function serveNegativeHandle(scope, resultId, text) {
+    const call = stateOf(scope)?.calls.find((c) => c.resultId === resultId);
+    // This boundary receives the serialized result AFTER middleware, artifact
+    // placement and truncation. A projection may hide native row values; it cannot
+    // introduce display evidence. Older checkpoints carry no display permission.
+    if (call?.rowsRead !== undefined && !call.keptOut && call.outcome === 'ok') {
+        let rowsMayDisplay = false;
+        try {
+            if (text.length <= MAX_BYTES) {
+                const delivered = JSON.parse(text);
+                // semanticsForModel removes the private marker but retains these data
+                // slots. A slot can only permit display by matching the native rowset.
+                const candidates = [rowsOf(delivered), describedRowsOf(delivered)];
+                const native = stableJson(call.rowsRead);
+                rowsMayDisplay =
+                    native !== undefined &&
+                        candidates.some((candidate) => Array.isArray(candidate) &&
+                            candidate.every(record) &&
+                            stableJson(candidate) === native);
+            }
+        }
+        catch {
+            /* A summary or truncation marker is not an unchanged rowset. */
+        }
+        replace(scope, call.resultId, (current) => {
+            const next = { ...current };
+            delete next.rowsMayDisplay;
+            return { ...next, ...(rowsMayDisplay && { rowsMayDisplay: true }) };
+        });
+    }
+    if (call?.row === undefined || call.keptOut || call.outcome !== 'ok')
+        return text;
+    const row = call.row;
+    return `${text}\n${JSON.stringify({
+        af_search: {
+            handle: row.handle,
+            gaps: row.gaps,
+            notChecked: row.notChecked,
+            cannotCover: row.cannotCover,
+            ...(row.period !== undefined && { period: row.period }),
+            ...(row.inProgress !== undefined && { inProgress: row.inProgress }),
+        },
+    })}`;
+}
+export function negativeRecordOf(scope, runId) {
+    const state = stateOf(scope);
+    const identity = scope.$getValue('runIdentity');
+    const ids = scope.resultIdentities;
+    let namespace = ids?.evidence.namespace ?? '';
+    if (namespace === '' && state?.calls[0] !== undefined) {
+        try {
+            namespace = readResultIdentity(state.calls[0].resultId).namespace;
+        }
+        catch {
+            /* unknown */
+        }
+    }
+    const clock = clockOf(scope.findingsLedger);
+    const owned = state !== undefined && sameIdentity(state.ownerIdentity, identity);
+    return {
+        leg: { namespace, runId: runId ?? ids?.evidence.runIds.at(-1) ?? '' },
+        turn: scope.turnNumber,
+        clock: (clock?.turn === scope.turnNumber ? clock.now : undefined) ??
+            (Number.isFinite(scope.turnStartMs) ? new Date(scope.turnStartMs).toISOString() : ''),
+        calls: owned ? state.calls : [],
+        tools: owned ? state.tools : {},
+        ledgerComplete: owned && state.complete && state.pending.length === 0,
+    };
+}
+//# sourceMappingURL=capture.js.map

package/dist/esm/core/agent/negativeClaims/capture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capture.js","sourceRoot":"","sources":["../../../../../src/core/agent/negativeClaims/capture.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,SAAS,EAAmB,MAAM,aAAa,CAAC;AAGzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,6CAA6C,CAAC;AACjF,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,oCAAoC,CAAC;AACjE,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAC3E,OAAO,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACpE,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,0CAA0C,CAAC;AAMlD,OAAO,EAAE,cAAc,EAAE,MAAM,8CAA8C,CAAC;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,gDAAgD,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAEtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAEhE,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,uBAAuB,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AA2BlG,MAAM,SAAS,GAAG,KAAK,CAAC;AACxB,MAAM,SAAS,GAAG,SAAS,CAAC;AAC5B,MAAM,MAAM,GAAG,CAAC,CAAU,EAAgC,EAAE,CAC1D,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC3D,MAAM,OAAO,GAAG,CAAC,KAA6B,EAAoC,EAAE,CAClF,KAAK,CAAC,SAAS,CAAC,oBAAoB,CAAqC,CAAC;AAC5E,MAAM,YAAY,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE;IACvD,IAAI,CAAC;QACH,OAAO,UAAU,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,UAAU,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,UAAU,0BAA0B,CACxC,IAAY,EACZ,QAAyB,EACzB,KAA4B,EAC5B,cAAc,GAAG,KAAK;IAEtB,2EAA2E;IAC3E,0EAA0E;IAC1E,8EAA8E;IAC9E,MAAM,aAAa,GACjB,QAAQ,KAAK,SAAS;QACpB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC;YACE,cAAc,EAAE,QAAQ,CAAC,cAAc;YACvC,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;YACjE,GAAG,CAAC,QAAQ,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,CAAC;SAC3E,CAAC;IACR,MAAM,SAAS,GAAG,KAAK,KAAK,SAAS,IAAI,YAAY,CAAC,KAAK,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAC1F,4EAA4E;IAC5E,2EAA2E;IAC3E,uDAAuD;IACvD,MAAM,aAAa,GACjB,CAAC,SAAS;QACV,cAAc;QACd,KAAK,EAAE,cAAc,KAAK,IAAI;QAC9B,aAAa,EAAE,MAAM,KAAK,SAAS;QACnC,aAAa,EAAE,SAAS,KAAK,SAAS;QACtC,KAAK,CAAC,aAAa,EAAE,MAAM,KAAK,SAAS;QACzC,KAAK,CAAC,aAAa,EAAE,SAAS,KAAK,SAAS;QAC5C,IAAI,GAAG,KAAK,CAAC,IAAI;QACjB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,SAAS,IAAI,aAAa,CAAC;IACxC,OAAO;QACL,OAAO,EAAE,CAAC;QACV,IAAI;QACJ,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;QACtC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;QACtF,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QACnC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;QAClC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;QACnD,GAAG,CAAC,SAAS;YACX,KAAK,CAAC,cAAc,KAAK,SAAS,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC;QACjF,GAAG,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,CAAC;QACrD,GAAG,CAAC,cAAc,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,oFAAoF;AACpF,SAAS,eAAe,CAAC,IAAyB;IAChD,OAAO;QACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,SAAS,EAAE,EAAE;QACb,cAAc,EAAE,KAAK;QACrB,OAAO,EAAE,IAAI;QACb,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;QACzD,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI;YAC5B,GAAG,EAAE;gBACH,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;gBACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,SAAS,EAAE,IAAI,CAAC,KAAK;gBACrB,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ;gBAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM;gBACvB,OAAO,EAAE,EAAE;gBACX,UAAU,EAAE,EAAE;gBACd,WAAW,EAAE,EAAE;gBACf,QAAQ,EAAE,KAAK;gBACf,IAAI,EAAE,EAAE;aACT;SACF,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,KAA6B,EAAE,IAA0B;IACxE,IAAI,CAAC;QACH,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,SAAS,EAAE,CAAC;YAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;YAC7B,IAAI,KAAK,KAAK,SAAS;gBAAE,KAAK,CAAC,kBAAkB,GAAG,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;YAClF,OAAO;QACT,CAAC;QACD,KAAK,CAAC,kBAAkB,GAAG,IAAI,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,kBAAkB,GAAG,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACpF,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CACd,KAA6B,EAC7B,EAAU,EACV,MAA0D;IAE1D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,OAAO,CAAC,KAAK,EAAE;QACb,GAAG,KAAK;QACR,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KAC/E,CAAC,CAAC;AACL,CAAC;AAOD,4EAA4E;AAC5E,MAAM,UAAU,iBAAiB,CAC/B,KAA6B,EAC7B,KASC;IAED,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAChC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,kBAAkB,CAAC;IAChD,IAAI,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAC9B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,qBAAqB,CACpC,KAAK,CAAC,gBAAgB,IAAI,uBAAuB,CAAC,KAAK,CAAC,EACxD,KAAK,CACN,CAAC;QACF,KAAK,CAAC,gBAAgB,GAAG,QAAQ,CAAC,KAAK,CAAC;QACxC,QAAQ,GAAG;YACT,QAAQ,EAAE,QAAQ,CAAC,EAAE;YACrB,MAAM,EAAE,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE;YACvC,YAAY,EAAE,OAAO,CAAC,IAAI,EAAE,YAAY,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACrE,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,aAAa,CAA+B,CAAC;IAC9E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,0BAA0B,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACvF,IAAI,IAAI,GAAsC,EAAE,CAAC;IACjD,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,CAAC;QACH,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,GAAG,IAAI,CAAC;QAChD,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,EAAE,OAAO,KAAK,UAAU,CAAC;IAChF,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IACrC,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC;IACvD,MAAM,cAAc,GAAG,OAAO,CAAC,QAA+C,CAAC;IAC/E,MAAM,gBAAgB,GAAG,QAA0D,CAAC;IACpF,MAAM,cAAc,GAClB,CAAC,MAAM;QACP,QAAQ,CAAC,MAAM,GAAG,CAAC;QACnB,QAAQ,CAAC,KAAK,CACZ,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,CAClB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC;YAC9B,OAAO,cAAc,EAAE,CAAC,GAAG,CAAC,KAAK,QAAQ;YACzC,cAAc,CAAC,GAAG,CAAC,KAAK,EAAE;YAC1B,cAAc,CAAC,GAAG,CAAC,KAAK,gBAAgB,EAAE,CAAC,GAAG,CAAC,CAClD,CAAC;IACJ,+EAA+E;IAC/E,OAAO,KAAK;QACV,oBAAoB;QACpB,kBAAkB;QAClB,aAAa;QACb,SAAS;QACT,MAAM;QACN,QAAQ;QACR,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;KACrB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACzC,IAAI,aAAkD,CAAC;IACvD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,aAAa,GAAG,cAAc,CAAC;YAC7B,MAAM;YACN,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAU,CAAC;YACvF,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,YAAY,EAAE,QAAQ,CAAC,YAAY;SACpC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,IAAI,GAAwB;QAChC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI;QAC1B,IAAI,EAAE,KAAK,CAAC,UAAU;QACtB,KAAK,EAAE,KAAK,CAAC,SAAS;QACtB,UAAU,EAAE,IAAI;QAChB,OAAO,EAAE,OAAO;QAChB,MAAM,EAAE,CAAC,MAAM,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU;QAC9F,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI;QAC9B,cAAc;QACd,GAAG,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,OAAO,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;QACxE,MAAM,EAAE,QAAQ,CAAC,YAAY;QAC7B,GAAG,CAAC,OAAO,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;KAClC,CAAC;IACF,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,SAAS;QAAE,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;;QAEjF,OAAO,CAAC,KAAK,EAAE;YACb,GAAG,KAAK;YACR,IAAI,EAAE,KAAK,CAAC,UAAU;YACtB,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC;YAC9C,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;YAC9C,KAAK,EAAE;gBACL,GAAG,KAAK,CAAC,KAAK;gBACd,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;oBAClB,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI;oBACtB,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,OAAO,IAAI,EAAE,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;iBAC7E;aACF;SACF,CAAC,CAAC;IACL,OAAO,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,CAAC;AAC/C,CAAC;AAED,uFAAuF;AACvF,SAAS,QAAQ,CACf,IAAyB,EACzB,KAAc,EACd,MAAc,EACd,IAAU;IAEV,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC5C,IACE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,QAAQ,CAAC;QACtD,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC;QAE3C,OAAO,SAAS,CAAC;IACnB,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,IAAI,GAAmB,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CACpE,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;QACzB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,QAAQ;QACf,QAAQ;QACR,KAAK,EAAE,EAAE,QAAQ,EAAE;QACnB,IAAI,EAAE,MAAM;KACb,CAAC,CACH,CAAC;IACF,MAAM,IAAI,GAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAC/F,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACR,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO;QAC9C,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;QAC9C,GAAG,CAAE,GAAmB,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAG,GAAmB,CAAC,KAAK,EAAE,CAAC;KACvF,CAAC,CACH,CAAC;IACF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,SAAS,EAAE,IAAI,CAAC,KAAK;QACrB,QAAQ,EAAE,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ;QACxD,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,MAAM;QACN,SAAS,EAAE,OAAO,CAAC,UAAU;QAC7B,OAAO,EAAE;YACP,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD;gBACE,IAAI,EAAE,KAAK,CAAC,QAAQ;gBACpB,KAAK,EAAE,YAAY;gBACnB,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,KAAK,EAAE,IAAI;gBACX,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,IAAI;aACZ;YACD,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,WAAW,EAAE;YACzD,GAAG,IAAI;SACR;QACD,UAAU,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;QACrC,WAAW,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE;QACvC,QAAQ,EAAE,KAAK;QACf,IAAI;KACL,CAAC;AACJ,CAAC;AAED,2FAA2F;AAC3F,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACrC,MAAM,WAAW,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAC/D,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAC7C,CAAC;IACF,IACE,WAAW,CAAC,MAAM,KAAK,CAAC;QACxB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAEvE,OAAO,SAAS,CAAC;IACnB,OAAO,WAAW,CAAC,IAAI,EAAyC,CAAC;AACnE,CAAC;AAED;0FAC0F;AAC1F,SAAS,MAAM,CAAC,KAAc;IAC5B,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;IAC9D,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAClE,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,eAAe,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,IAAI,GAAY,MAAM,EAAE,MAAM,IAAI,GAAG,CAAC;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvF,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACtE,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,qBAAqB,CACnC,KAA6B,EAC7B,QAA0B,EAC1B,KAAc,EACd,IAAU;IAEV,IAAI,CAAC;QACH,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3B,qBAAqB,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAChD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;YACpC,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,OAAO;YACtD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACf,KAAK,CAAC,IAAI,CAAC,CAAC;YACd,CAAC;QACH,CAAC,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,CAAC;QACZ,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;YAChD,qBAAqB,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAChD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;QAC7D,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,mBAAmB,CAAC,GAAG,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,CAAC;QAClE,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE;YAC9B,IAAI,EAAE;gBACJ,MAAM,EAAE,MAAM,KAAK,SAAS;gBAC5B,OAAO,EAAE,MAAM,KAAK,SAAS;gBAC7B,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;aAC7C;SACF,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACpF,MAAM,OAAO,GACX,QAAQ,EAAE,MAAM,KAAK,SAAS;YAC9B,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACxE,IAAI,OAAO;YAAE,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QACjF,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;YACzC,IAAI,IAAI,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAC;YAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACzD,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;gBACjC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS;gBAC/C,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;gBACvD,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC;gBAC3C,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI;oBACzB,GAAG,EAAE,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,OAAiB,CAAC,CAAC,CAAE,QAAkB,EAAE;oBACtF,oEAAoE;oBACpE,kEAAkE;oBAClE,2BAA2B;oBAC3B,MAAM,EAAE,IAAI,CAAC,MAAM;iBACpB,CAAC;aACH,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC1E,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,KAA6B,EAC7B,GAAqB;IAErB,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CACpC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAC7D,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,iBAAiB,CAAC,KAA6B,EAAE,QAAgB;IAC/E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC,CAAC;AAClF,CAAC;AACD,MAAM,UAAU,sBAAsB,CAAC,KAA6B;IAClE,OAAO,OAAO,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC;AACxC,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,kBAAkB,CAChC,KAA6B,EAC7B,QAA4B,EAC5B,OAA4B;IAE5B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO;IAC1D,MAAM,EAAE,cAAc,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC;IAC1C,OAAO,CAAC,KAAK,EAAE;QACb,GAAG,IAAI;QACP,GAAG,CAAC,cAAc,KAAK,SAAS,IAAI,cAAc,KAAK,QAAQ,IAAI,EAAE,cAAc,EAAE,CAAC;QACtF,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC;QACtD,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3B,CAAC,CAAC,QAAQ,KAAK,QAAQ;YACrB,CAAC,CAAC;gBACE,GAAG,CAAC;gBACJ,OAAO,EACL,OAAO,KAAK,IAAI,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;oBAC3C,CAAC,CAAC,CAAC,CAAC,OAAO;oBACX,CAAC,CAAC,OAAO,KAAK,IAAI;wBAClB,CAAC,CAAC,OAAO;wBACT,CAAC,CAAC,OAAO;aACd;YACH,CAAC,CAAC,CAAC,CACN;KACF,CAAC,CAAC;AACL,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,sBAAsB,CACpC,KAA6B,EAC7B,IAAY,EACZ,KAAc,EACd,IAAwC;IAExC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACvE,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAChD,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CACnB,aAAa,CACX,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,EACpE,QAAQ,CACT,CAAC,MAAM,GAAG,CAAC,CACf,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,UAAU;YAAE,OAAO;QAC/C,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC;YAAE,OAAO;QAC/F,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,IAAI,SAAS,EAAE,CAAC;YACzC,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;YAC9C,OAAO;QACT,CAAC;QACD,IAAI,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YACtE,sCAAsC;YACtC,OAAO,CAAC,IAAI,CACV,yCAAyC,IAAI,kEAAkE,CAChH,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,KAAK,EAAE;YACb,GAAG,KAAK;YACR,UAAU,EAAE;gBACV,GAAG,KAAK,CAAC,UAAU;gBACnB,EAAE,IAAI,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,KAAK,CAAC,UAAU,EAAE;aAClE;SACF,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IAChD,CAAC;AACH,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,qBAAqB,CACnC,KAA6B,EAC7B,QAA4B;IAE5B,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAC/F,CAAC;AAED,0GAA0G;AAC1G,MAAM,UAAU,mBAAmB,CACjC,KAA6B,EAC7B,QAA4B,EAC5B,IAAY;IAEZ,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;IACxE,0EAA0E;IAC1E,+EAA+E;IAC/E,6EAA6E;IAC7E,IAAI,IAAI,EAAE,QAAQ,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAC3E,IAAI,cAAc,GAAG,KAAK,CAAC;QAC3B,IAAI,CAAC;YACH,IAAI,IAAI,CAAC,MAAM,IAAI,SAAS,EAAE,CAAC;gBAC7B,MAAM,SAAS,GAAY,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC5C,sEAAsE;gBACtE,uEAAuE;gBACvE,MAAM,UAAU,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC;gBACnE,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACzC,cAAc;oBACZ,MAAM,KAAK,SAAS;wBACpB,UAAU,CAAC,IAAI,CACb,CAAC,SAAS,EAAE,EAAE,CACZ,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;4BACxB,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC;4BACvB,UAAU,CAAC,SAAS,CAAC,KAAK,MAAM,CACnC,CAAC;YACN,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,gEAAgE;QAClE,CAAC;QACD,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE;YACxC,MAAM,IAAI,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC;YAC5B,OAAQ,IAAkC,CAAC,cAAc,CAAC;YAC1D,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,cAAc,IAAI,EAAE,cAAc,EAAE,IAAa,EAAE,CAAC,EAAE,CAAC;QAC/E,CAAC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,EAAE,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClF,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IACrB,OAAO,GAAG,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC;QAChC,SAAS,EAAE;YACT,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;YACvD,GAAG,CAAC,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC;SACpE;KACF,CAAC,EAAE,CAAC;AACP,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAA6B,EAAE,KAAc;IAC5E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,KAAK,CAAC,gBAAgB,CAAC;IACnC,IAAI,SAAS,GAAG,GAAG,EAAE,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC;IAC9C,IAAI,SAAS,KAAK,EAAE,IAAI,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;QACtD,IAAI,CAAC;YACH,SAAS,GAAG,kBAAkB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC;QACpE,CAAC;QAAC,MAAM,CAAC;YACP,aAAa;QACf,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,IAAI,YAAY,CAAC,KAAK,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;IACjF,OAAO;QACL,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,IAAI,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE;QACrE,IAAI,EAAE,KAAK,CAAC,UAAU;QACtB,KAAK,EACH,CAAC,KAAK,EAAE,IAAI,KAAK,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1D,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvF,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QAC/B,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QAC/B,cAAc,EAAE,KAAK,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;KACtE,CAAC;AACJ,CAAC"}

package/dist/esm/core/agent/negativeClaims/checkpoint.d.ts

@@ -0,0 +1,7 @@
+import { type ClaimVerificationState } from '../findings/verificationState.js';
+import type { NegativeRuntimeState } from './capture.js';
+export interface NegativeCheckpoint {
+    readonly negativeClaimState: NegativeRuntimeState;
+    readonly resultIdentities?: ClaimVerificationState;
+}
+export declare function negativeCheckpointOf(container: unknown): NegativeCheckpoint | undefined;