loopforge 3.9.4 → 4.0.7

package/dist/evidence-posture-view.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-posture-view.js","sourceRoot":"","sources":["../src/evidence-posture-view.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AASH,MAAM,YAAY,GAAG;IACnB,SAAS,EAAE,CAAC;IACZ,QAAQ,EAAE,CAAC;IACX,aAAa,EAAE,CAAC;IAChB,QAAQ,EAAE,CAAC;CACH,CAAC;AAEX,SAAS,QAAQ,CAAC,MAAc;IAC9B,OAAO,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,MAAM,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,aAAa,CAAC,OAAwB;IAC7C,QAAQ,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QACjC,KAAK,UAAU;YACb,OAAO,oBAAoB,OAAO,CAAC,SAAS,CAAC,gBAAgB,EAAE,CAAC;QAClE,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB;YACE,OAAO,gBAAgB,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,OAAwB;IACzC,IAAI,CAAC,OAAO,CAAC,KAAK;QAAE,OAAO,gBAAgB,CAAC;IAC5C,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC;AACvE,CAAC;AAED;0CAC0C;AAC1C,MAAM,UAAU,0BAA0B,CACxC,OAAwB,EACxB,UAAsC,EAAE;IAExC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC;IACzC,MAAM,KAAK,GAAa,OAAO;QAC7B,CAAC,CAAC;YACE,aAAa,OAAO,CAAC,MAAM,0CAA0C;gBACrE,2BAA2B,OAAO,CAAC,oBAAoB,IAAI;gBAC3D,4BAA4B,OAAO,CAAC,sBAAsB,EAAE;YAC5D,gBAAgB,aAAa,CAAC,OAAO,CAAC,2BAA2B,SAAS,CAAC,OAAO,CAAC,EAAE;SACtF;QACH,CAAC,CAAC;YACE,aAAa,OAAO,CAAC,MAAM,wCAAwC;YACnE,6BAA6B,OAAO,CAAC,oBAAoB,EAAE;YAC3D,8BAA8B,OAAO,CAAC,sBAAsB,EAAE;YAC9D,gBAAgB,aAAa,CAAC,OAAO,CAAC,EAAE;YACxC,2BAA2B,SAAS,CAAC,OAAO,CAAC,EAAE;SAChD,CAAC;IAEN,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACjC,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;QAClC,KAAK,CAAC,IAAI,CACR,gBAAgB,QAAQ,CAAC,EAAE,OAAO,QAAQ,CAAC,OAAO,IAAI;YACtD,YAAY,QAAQ,CAAC,aAAa,kBAAkB,QAAQ,CAAC,iBAAiB,IAAI;YAClF,gBAAgB,QAAQ,CAAC,iBAAiB,aAAa,QAAQ,CAAC,YAAY,EAAE,CAC/E,CAAC;QACF,MAAM,KAAK,GAAG,OAAO;YACnB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,aAAa,CAAC;YACrD,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;QACnB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;gBAC5C,CAAC,CAAC,eAAe,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gBACjD,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,MAAM,GAAG,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBAChD,CAAC,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBACzB,CAAC,CAAC,EAAE,CAAC;YACP,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,OAAO,IAAI,CAAC,MAAM,GAAG,QAAQ,GAAG,MAAM,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM;YACjD,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC;QAChC,IAAI,MAAM,GAAG,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,gCAAgC,MAAM,QAAQ,CAAC,CAAC;IAC7E,CAAC;IAED,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACjC,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GAAG,OAAO;YACnB,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,QAAQ,CAAC;YAClD,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QACrB,KAAK,CAAC,IAAI,CACR,cAAc;YACd,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACpB,GAAG,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,EAAE,CACjF,CAAC,IAAI,CAAC,IAAI,CAAC;YACZ,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAC5E,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAClC,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GAAG,OAAO;YACnB,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC;YACpD,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;QACtB,KAAK,CAAC,IAAI,CACR,eAAe;YACf,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CACrB,GAAG,QAAQ,CAAC,UAAU,KAAK,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,EAAE,CAC/D,CAAC,IAAI,CAAC,IAAI,CAAC;YACZ,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAC9E,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACjC,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GAAG,OAAO;YACnB,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,QAAQ,CAAC;YAClD,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QACrB,KAAK,CAAC,IAAI,CACR,cAAc;YACd,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACpB,MAAM,OAAO,CAAC,EAAE,OAAO,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,QAAQ,GAAG;gBAC5D,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAClD,CAAC,IAAI,CAAC,IAAI,CAAC;YACZ,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAC5E,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;wBACwB;AACxB,MAAM,CAAC,MAAM,0BAA0B,GACrC,2EAA2E;IAC3E,+DAA+D;IAC/D,kCAAkC,CAAC"}

package/dist/evidence-posture.d.ts

@@ -0,0 +1,73 @@
+/** v4.0.3: the ONE evidence-posture derivation.
+ *
+ *  `deriveEvidencePosture` is a PURE function over the facts of a single round
+ *  transaction: the submitted evaluation, the after observations, their
+ *  derived deltas, the verification flags, the contract binding and the
+ *  machine-backed-success fact the verification gate already computed.
+ *
+ *  It reads no policy, no filesystem, no Vault and no live workspace. The
+ *  coordinator calls it exactly once per round (before the transaction is
+ *  committed), persists the result inside that transaction, and every read
+ *  surface consumes the persisted copy. Re-deriving the posture elsewhere
+ *  would create a second interpretation of the same round, which is exactly
+ *  what this module exists to prevent.
+ *
+ *  Status priority (fixed; see the release plan):
+ *    1. rollback                              → not_applicable
+ *    2. contradicted  (error flag, contradicted item, failed command)
+ *    3. unknown       (indeterminate observation, unobservable workspace with
+ *                      verification in play, configured verification with no
+ *                      after command observation)
+ *    4. not_applicable (no success claim and no active contract)
+ *    5. verified      (no contract or contract verified; no claim or the
+ *                      machine backed the claim)
+ *    6. insufficient  (everything else)
+ *
+ *  `unknown` never degrades to `verified` or to an empty result. `status` is
+ *  computed from the COMPLETE data, before any display cap is applied.
+ */
+import type { EvidencePosture, FilesReconciliation, MachineObservation, SelfEvaluation, VerificationFlag } from "./protocol.js";
+import type { ObservationDelta } from "./evidence-provider.js";
+import type { ActiveContractView } from "./round-contract.js";
+import type { ContractItemStatusView } from "./contract-items.js";
+/** Fixed, code-level display caps. They are never policy: a policy knob must
+ *  not be able to change which machine evidence a round carries. `omitted`
+ *  records what the cap hid; the status decision always sees everything. */
+export declare const EVIDENCE_POSTURE_CAPS: {
+    readonly providers: 16;
+    readonly commands: 16;
+    readonly contractItems: 24;
+    readonly findings: 12;
+};
+/** Per-item reason cap: a few short sentences of historical explanation. */
+export declare const EVIDENCE_POSTURE_REASON_CAP = 2;
+export declare const EVIDENCE_POSTURE_REASON_CHARS = 200;
+/** The empty posture of a rollback directive: abandoning a branch makes no
+ *  success claim and produces no evidence, so nothing is fabricated. */
+export declare function rollbackEvidencePosture(round: number): EvidencePosture;
+export interface EvidencePostureInput {
+    round: number;
+    kind: "evaluation" | "rollback";
+    /** The submitted evaluation; null only for callers with no evaluation. */
+    selfEval: SelfEvaluation | null;
+    afterEvidence: ReadonlyArray<MachineObservation>;
+    evidenceDeltas: ReadonlyArray<ObservationDelta>;
+    verificationFlags: ReadonlyArray<VerificationFlag>;
+    /** ONLY `VerificationResult.machineBackedSuccess`. This function never
+     *  re-derives it from observations, flags or claims. */
+    machineBackedSuccess: boolean;
+    activeContract: ActiveContractView | null;
+    contractStatuses: ContractItemStatusView;
+    /** Policy fact at commit time: at least one enabled, after-capable command. */
+    verificationConfigured: boolean;
+    filesReconciliation: Pick<FilesReconciliation, "status" | "reported" | "observed"> | null;
+}
+/** Derive the ONE evidence posture of a round.
+ *
+ *  All inputs belong to the same round transaction. The function is pure,
+ *  deterministic and independent of any current policy: the caller passes the
+ *  policy-derived `verificationConfigured` fact and the already-computed
+ *  `machineBackedSuccess`.
+ */
+export declare function deriveEvidencePosture(input: EvidencePostureInput): EvidencePosture;
+//# sourceMappingURL=evidence-posture.d.ts.map

package/dist/evidence-posture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-posture.d.ts","sourceRoot":"","sources":["../src/evidence-posture.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,KAAK,EACV,eAAe,EACf,mBAAmB,EACnB,kBAAkB,EAElB,cAAc,EACd,gBAAgB,EACjB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAIlE;;4EAE4E;AAC5E,eAAO,MAAM,qBAAqB;;;;;CAKxB,CAAC;AAEX,4EAA4E;AAC5E,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAC7C,eAAO,MAAM,6BAA6B,MAAM,CAAC;AAqCjD;wEACwE;AACxE,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,MAAM,GAAG,eAAe,CAoBtE;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,YAAY,GAAG,UAAU,CAAC;IAChC,0EAA0E;IAC1E,QAAQ,EAAE,cAAc,GAAG,IAAI,CAAC;IAChC,aAAa,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC;IACjD,cAAc,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IAChD,iBAAiB,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IACnD;4DACwD;IACxD,oBAAoB,EAAE,OAAO,CAAC;IAC9B,cAAc,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAC1C,gBAAgB,EAAE,sBAAsB,CAAC;IACzC,+EAA+E;IAC/E,sBAAsB,EAAE,OAAO,CAAC;IAChC,mBAAmB,EAAE,IAAI,CACvB,mBAAmB,EACnB,QAAQ,GAAG,UAAU,GAAG,UAAU,CACnC,GAAG,IAAI,CAAC;CACV;AAmID;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,oBAAoB,GAC1B,eAAe,CAkFjB"}

package/dist/evidence-posture.js

@@ -0,0 +1,281 @@
+/** v4.0.3: the ONE evidence-posture derivation.
+ *
+ *  `deriveEvidencePosture` is a PURE function over the facts of a single round
+ *  transaction: the submitted evaluation, the after observations, their
+ *  derived deltas, the verification flags, the contract binding and the
+ *  machine-backed-success fact the verification gate already computed.
+ *
+ *  It reads no policy, no filesystem, no Vault and no live workspace. The
+ *  coordinator calls it exactly once per round (before the transaction is
+ *  committed), persists the result inside that transaction, and every read
+ *  surface consumes the persisted copy. Re-deriving the posture elsewhere
+ *  would create a second interpretation of the same round, which is exactly
+ *  what this module exists to prevent.
+ *
+ *  Status priority (fixed; see the release plan):
+ *    1. rollback                              → not_applicable
+ *    2. contradicted  (error flag, contradicted item, failed command)
+ *    3. unknown       (indeterminate observation, unobservable workspace with
+ *                      verification in play, configured verification with no
+ *                      after command observation)
+ *    4. not_applicable (no success claim and no active contract)
+ *    5. verified      (no contract or contract verified; no claim or the
+ *                      machine backed the claim)
+ *    6. insufficient  (everything else)
+ *
+ *  `unknown` never degrades to `verified` or to an empty result. `status` is
+ *  computed from the COMPLETE data, before any display cap is applied.
+ */
+import { gitDeltaState } from "./evidence-provider.js";
+import { effectiveSuccess } from "./round-outcome.js";
+import { deriveFindingId } from "./token-utils.js";
+/** Fixed, code-level display caps. They are never policy: a policy knob must
+ *  not be able to change which machine evidence a round carries. `omitted`
+ *  records what the cap hid; the status decision always sees everything. */
+export const EVIDENCE_POSTURE_CAPS = {
+    providers: 16,
+    commands: 16,
+    contractItems: 24,
+    findings: 12,
+};
+/** Per-item reason cap: a few short sentences of historical explanation. */
+export const EVIDENCE_POSTURE_REASON_CAP = 2;
+export const EVIDENCE_POSTURE_REASON_CHARS = 200;
+/** Observation statuses that leave the boundary undetermined. They are never
+ *  treated as a pass and never as "no change". */
+const INDETERMINATE_OBSERVATIONS = new Set([
+    "timeout",
+    "unavailable",
+    "error",
+    "aborted",
+]);
+const PROVIDER_KIND_RANK = {
+    git: 0,
+    custom: 1,
+};
+const SEVERITY_RANK = {
+    error: 0,
+    warn: 1,
+    info: 2,
+};
+/** Locale-independent ordering: the same input must produce the same JSON in
+ *  every environment. */
+function compareText(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+function capList(values, cap) {
+    const limit = Math.max(0, cap);
+    if (values.length <= limit)
+        return { items: [...values], omitted: 0 };
+    return { items: values.slice(0, limit), omitted: values.length - limit };
+}
+/** The empty posture of a rollback directive: abandoning a branch makes no
+ *  success claim and produces no evidence, so nothing is fabricated. */
+export function rollbackEvidencePosture(round) {
+    return {
+        round,
+        kind: "rollback",
+        status: "not_applicable",
+        machineBackedSuccess: false,
+        verificationConfigured: false,
+        workspace: { status: "not_applicable", changedPathCount: 0 },
+        files: null,
+        providers: [],
+        commands: [],
+        contract: null,
+        findings: [],
+        omitted: {
+            providers: 0,
+            commands: 0,
+            contractItems: 0,
+            findings: 0,
+        },
+    };
+}
+function providerEntries(observations) {
+    const byKey = new Map();
+    for (const observation of observations) {
+        // Command observations are reported under `commands`; this list is the
+        // Git/custom provider surface.
+        if (observation.kind === "command")
+            continue;
+        byKey.set(`${observation.kind}\u0000${observation.providerId}`, {
+            providerId: observation.providerId,
+            kind: observation.kind,
+            status: observation.status,
+        });
+    }
+    return [...byKey.values()].sort((left, right) => PROVIDER_KIND_RANK[left.kind] - PROVIDER_KIND_RANK[right.kind] ||
+        compareText(left.providerId, right.providerId));
+}
+function commandEntries(observations) {
+    const byId = new Map();
+    for (const observation of observations) {
+        if (observation.kind !== "command")
+            continue;
+        // A collector-synthesized failure observation (unavailable/timeout/error)
+        // may carry no per-command data. It is still a provider-level fact, but
+        // it cannot be attributed to a command id, so it does not invent one.
+        const commandId = observation.data.commandId;
+        if (typeof commandId !== "string" || commandId.length === 0)
+            continue;
+        byId.set(commandId, {
+            commandId,
+            status: observation.status,
+            required: observation.data.required === true,
+        });
+    }
+    return [...byId.values()].sort((left, right) => compareText(left.commandId, right.commandId));
+}
+function findingEntries(flags) {
+    const byId = new Map();
+    for (const flag of flags) {
+        const id = deriveFindingId(flag);
+        const existing = byId.get(id);
+        // The id names the finding's SUBJECT, not its severity. A later, stronger
+        // finding for the same subject must not be hidden by an earlier weaker
+        // duplicate.
+        if (existing && SEVERITY_RANK[existing.severity] <= SEVERITY_RANK[flag.severity]) {
+            continue;
+        }
+        byId.set(id, {
+            id,
+            check: flag.check,
+            severity: flag.severity,
+            ...(flag.ref ? { ref: flag.ref } : {}),
+        });
+    }
+    return [...byId.values()].sort((left, right) => SEVERITY_RANK[left.severity] - SEVERITY_RANK[right.severity] ||
+        compareText(left.check, right.check) ||
+        compareText(left.ref ?? "", right.ref ?? "") ||
+        compareText(left.id, right.id));
+}
+function contractEntry(activeContract, statuses) {
+    if (!statuses.contractId)
+        return { contract: null, omitted: 0 };
+    const criterionRefsById = new Map((activeContract?.items ?? []).map((item) => [item.id, [...(item.criterion_refs ?? [])]]));
+    const items = statuses.items
+        .map((item) => ({
+        id: item.itemId,
+        status: item.status,
+        criterionRefs: [...(criterionRefsById.get(item.itemId) ?? [])],
+        reasons: [...new Set(item.reasons)]
+            .slice(0, EVIDENCE_POSTURE_REASON_CAP)
+            .map((reason) => reason.slice(0, EVIDENCE_POSTURE_REASON_CHARS)),
+    }))
+        .sort((left, right) => compareText(left.id, right.id));
+    const capped = capList(items, EVIDENCE_POSTURE_CAPS.contractItems);
+    const pendingCount = Math.max(0, statuses.items.length -
+        statuses.verifiedCount -
+        statuses.insufficientCount -
+        statuses.contradictedCount);
+    return {
+        contract: {
+            id: statuses.contractId,
+            closure: statuses.closure,
+            items: capped.items,
+            verifiedCount: statuses.verifiedCount,
+            insufficientCount: statuses.insufficientCount,
+            contradictedCount: statuses.contradictedCount,
+            pendingCount,
+        },
+        omitted: capped.omitted,
+    };
+}
+function workspaceEntry(deltas) {
+    const git = gitDeltaState(deltas);
+    if (git.state === "observed") {
+        return { status: "observed", changedPathCount: git.changedFiles.size };
+    }
+    return { status: git.state, changedPathCount: 0 };
+}
+function filesEntry(files) {
+    if (!files)
+        return null;
+    return {
+        reconciliation: files.status,
+        reported: files.reported.length,
+        observed: files.observed?.length ?? 0,
+    };
+}
+/** Derive the ONE evidence posture of a round.
+ *
+ *  All inputs belong to the same round transaction. The function is pure,
+ *  deterministic and independent of any current policy: the caller passes the
+ *  policy-derived `verificationConfigured` fact and the already-computed
+ *  `machineBackedSuccess`.
+ */
+export function deriveEvidencePosture(input) {
+    if (input.kind === "rollback") {
+        return rollbackEvidencePosture(input.round);
+    }
+    const providers = providerEntries(input.afterEvidence);
+    const commands = commandEntries(input.afterEvidence);
+    const findings = findingEntries(input.verificationFlags);
+    const contract = contractEntry(input.activeContract, input.contractStatuses);
+    const workspace = workspaceEntry(input.evidenceDeltas);
+    const files = filesEntry(input.filesReconciliation);
+    const successClaim = input.selfEval ? effectiveSuccess(input.selfEval) : false;
+    const hasContract = input.contractStatuses.contractId !== "";
+    const hasObligation = successClaim || hasContract || input.verificationConfigured;
+    const afterCommands = input.afterEvidence.filter((observation) => observation.kind === "command" && observation.phase === "after");
+    // 2. A machine fact denies the round: an error-level finding, a
+    //    contradicted contract item, or a command observed FAILING. Entrypoint
+    //    tampering arrives as an error-level finding and is covered here; the
+    //    failed command is checked explicitly so the deduction cannot depend on
+    //    which layer happened to raise a flag.
+    const contradicted = input.verificationFlags.some((flag) => flag.severity === "error") ||
+        input.contractStatuses.items.some((item) => item.status === "contradicted") ||
+        commands.some((command) => command.status === "failed");
+    // 3. The machine could not determine the boundary. "Unknown" is a fact of
+    //    observability, never an empty result.
+    const unknown = input.afterEvidence.some((observation) => INDETERMINATE_OBSERVATIONS.has(observation.status)) ||
+        (workspace.status === "unknown" &&
+            (hasContract || input.verificationConfigured)) ||
+        (input.verificationConfigured && hasObligation && afterCommands.length === 0);
+    let status;
+    if (contradicted) {
+        status = "contradicted";
+    }
+    else if (unknown) {
+        status = "unknown";
+    }
+    else if (!successClaim && !hasContract) {
+        // 4. Nothing was claimed and no slice was executed. Passed commands stay
+        //    listed as facts; they do not add up to "this round was verified".
+        status = "not_applicable";
+    }
+    else if ((!hasContract || input.contractStatuses.closure === "verified") &&
+        (!successClaim || input.machineBackedSuccess)) {
+        // 5. Evidence coverage is complete. With no success claim this says the
+        //    machine evidence is complete, not that the task succeeded.
+        status = "verified";
+    }
+    else {
+        // 6. A claim or contract remains without complete machine backing.
+        status = "insufficient";
+    }
+    const cappedProviders = capList(providers, EVIDENCE_POSTURE_CAPS.providers);
+    const cappedCommands = capList(commands, EVIDENCE_POSTURE_CAPS.commands);
+    const cappedFindings = capList(findings, EVIDENCE_POSTURE_CAPS.findings);
+    return {
+        round: input.round,
+        kind: "evaluation",
+        status,
+        machineBackedSuccess: input.machineBackedSuccess === true,
+        verificationConfigured: input.verificationConfigured === true,
+        workspace,
+        files,
+        providers: cappedProviders.items,
+        commands: cappedCommands.items,
+        contract: contract.contract,
+        findings: cappedFindings.items,
+        omitted: {
+            providers: cappedProviders.omitted,
+            commands: cappedCommands.omitted,
+            contractItems: contract.omitted,
+            findings: cappedFindings.omitted,
+        },
+    };
+}
+//# sourceMappingURL=evidence-posture.js.map

package/dist/evidence-posture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-posture.js","sourceRoot":"","sources":["../src/evidence-posture.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAWH,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAGvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnD;;4EAE4E;AAC5E,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,SAAS,EAAE,EAAE;IACb,QAAQ,EAAE,EAAE;IACZ,aAAa,EAAE,EAAE;IACjB,QAAQ,EAAE,EAAE;CACJ,CAAC;AAEX,4EAA4E;AAC5E,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC;AAC7C,MAAM,CAAC,MAAM,6BAA6B,GAAG,GAAG,CAAC;AAEjD;kDACkD;AAClD,MAAM,0BAA0B,GAAmC,IAAI,GAAG,CAAC;IACzE,SAAS;IACT,aAAa;IACb,OAAO;IACP,SAAS;CACV,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAqC;IAC3D,GAAG,EAAE,CAAC;IACN,MAAM,EAAE,CAAC;CACV,CAAC;AAEF,MAAM,aAAa,GAAiD;IAClE,KAAK,EAAE,CAAC;IACR,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC;CACR,CAAC;AAEF;yBACyB;AACzB,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,OAAO,CACd,MAAwB,EACxB,GAAW;IAEX,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC/B,IAAI,MAAM,CAAC,MAAM,IAAI,KAAK;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACtE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,GAAG,KAAK,EAAE,CAAC;AAC3E,CAAC;AAED;wEACwE;AACxE,MAAM,UAAU,uBAAuB,CAAC,KAAa;IACnD,OAAO;QACL,KAAK;QACL,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,gBAAgB;QACxB,oBAAoB,EAAE,KAAK;QAC3B,sBAAsB,EAAE,KAAK;QAC7B,SAAS,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,CAAC,EAAE;QAC5D,KAAK,EAAE,IAAI;QACX,SAAS,EAAE,EAAE;QACb,QAAQ,EAAE,EAAE;QACZ,QAAQ,EAAE,IAAI;QACd,QAAQ,EAAE,EAAE;QACZ,OAAO,EAAE;YACP,SAAS,EAAE,CAAC;YACZ,QAAQ,EAAE,CAAC;YACX,aAAa,EAAE,CAAC;YAChB,QAAQ,EAAE,CAAC;SACZ;KACF,CAAC;AACJ,CAAC;AAuBD,SAAS,eAAe,CACtB,YAA+C;IAE/C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgD,CAAC;IACtE,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,uEAAuE;QACvE,+BAA+B;QAC/B,IAAI,WAAW,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QAC7C,KAAK,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,IAAI,SAAS,WAAW,CAAC,UAAU,EAAE,EAAE;YAC9D,UAAU,EAAE,WAAW,CAAC,UAAU;YAClC,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,MAAM,EAAE,WAAW,CAAC,MAAM;SAC3B,CAAC,CAAC;IACL,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC9C,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC;QAC9D,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,cAAc,CACrB,YAA+C;IAE/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAA+C,CAAC;IACpE,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,IAAI,WAAW,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QAC7C,0EAA0E;QAC1E,wEAAwE;QACxE,sEAAsE;QACtE,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC;QAC7C,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACtE,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE;YAClB,SAAS;YACT,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI;SAC7C,CAAC,CAAC;IACL,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC7C,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,cAAc,CACrB,KAAsC;IAEtC,MAAM,IAAI,GAAG,IAAI,GAAG,EAA+C,CAAC;IACpE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC9B,0EAA0E;QAC1E,uEAAuE;QACvE,aAAa;QACb,IAAI,QAAQ,IAAI,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE;YACX,EAAE;YACF,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC7C,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC5D,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;QACpC,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,EAAE,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC;QAC5C,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,aAAa,CACpB,cAAyC,EACzC,QAAgC;IAEhC,IAAI,CAAC,QAAQ,CAAC,UAAU;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAChE,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAC/B,CAAC,cAAc,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACzC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,CAAU,CAAC,CACxD,CAAC;IACF,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK;SACzB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACd,EAAE,EAAE,IAAI,CAAC,MAAM;QACf,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,aAAa,EAAE,CAAC,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9D,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;aAChC,KAAK,CAAC,CAAC,EAAE,2BAA2B,CAAC;aACrC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,6BAA6B,CAAC,CAAC;KACnE,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,EAAE,qBAAqB,CAAC,aAAa,CAAC,CAAC;IACnE,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAC3B,CAAC,EACD,QAAQ,CAAC,KAAK,CAAC,MAAM;QACnB,QAAQ,CAAC,aAAa;QACtB,QAAQ,CAAC,iBAAiB;QAC1B,QAAQ,CAAC,iBAAiB,CAC7B,CAAC;IACF,OAAO;QACL,QAAQ,EAAE;YACR,EAAE,EAAE,QAAQ,CAAC,UAAU;YACvB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;YAC7C,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;YAC7C,YAAY;SACb;QACD,OAAO,EAAE,MAAM,CAAC,OAAO;KACxB,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,MAAuC;IAEvC,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,GAAG,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QAC7B,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IACzE,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,EAAE,gBAAgB,EAAE,CAAC,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,UAAU,CACjB,KAAkD;IAElD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO;QACL,cAAc,EAAE,KAAK,CAAC,MAAM;QAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;QAC/B,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC;KACtC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAA2B;IAE3B,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9B,OAAO,uBAAuB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC;IAED,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC7E,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IAEpD,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC/E,MAAM,WAAW,GAAG,KAAK,CAAC,gBAAgB,CAAC,UAAU,KAAK,EAAE,CAAC;IAC7D,MAAM,aAAa,GAAG,YAAY,IAAI,WAAW,IAAI,KAAK,CAAC,sBAAsB,CAAC;IAClF,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAC9C,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,SAAS,IAAI,WAAW,CAAC,KAAK,KAAK,OAAO,CACjF,CAAC;IAEF,gEAAgE;IAChE,2EAA2E;IAC3E,0EAA0E;IAC1E,4EAA4E;IAC5E,2CAA2C;IAC3C,MAAM,YAAY,GAChB,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC;QACjE,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC;QAC3E,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IAE1D,0EAA0E;IAC1E,2CAA2C;IAC3C,MAAM,OAAO,GACX,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CACvC,0BAA0B,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QACrD,CAAC,SAAS,CAAC,MAAM,KAAK,SAAS;YAC7B,CAAC,WAAW,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;QAChD,CAAC,KAAK,CAAC,sBAAsB,IAAI,aAAa,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IAEhF,IAAI,MAAiC,CAAC;IACtC,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,GAAG,cAAc,CAAC;IAC1B,CAAC;SAAM,IAAI,OAAO,EAAE,CAAC;QACnB,MAAM,GAAG,SAAS,CAAC;IACrB,CAAC;SAAM,IAAI,CAAC,YAAY,IAAI,CAAC,WAAW,EAAE,CAAC;QACzC,yEAAyE;QACzE,uEAAuE;QACvE,MAAM,GAAG,gBAAgB,CAAC;IAC5B,CAAC;SAAM,IACL,CAAC,CAAC,WAAW,IAAI,KAAK,CAAC,gBAAgB,CAAC,OAAO,KAAK,UAAU,CAAC;QAC/D,CAAC,CAAC,YAAY,IAAI,KAAK,CAAC,oBAAoB,CAAC,EAC7C,CAAC;QACD,wEAAwE;QACxE,gEAAgE;QAChE,MAAM,GAAG,UAAU,CAAC;IACtB,CAAC;SAAM,CAAC;QACN,mEAAmE;QACnE,MAAM,GAAG,cAAc,CAAC;IAC1B,CAAC;IAED,MAAM,eAAe,GAAG,OAAO,CAAC,SAAS,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC5E,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,EAAE,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IACzE,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,EAAE,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IAEzE,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,IAAI,EAAE,YAAY;QAClB,MAAM;QACN,oBAAoB,EAAE,KAAK,CAAC,oBAAoB,KAAK,IAAI;QACzD,sBAAsB,EAAE,KAAK,CAAC,sBAAsB,KAAK,IAAI;QAC7D,SAAS;QACT,KAAK;QACL,SAAS,EAAE,eAAe,CAAC,KAAK;QAChC,QAAQ,EAAE,cAAc,CAAC,KAAK;QAC9B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,QAAQ,EAAE,cAAc,CAAC,KAAK;QAC9B,OAAO,EAAE;YACP,SAAS,EAAE,eAAe,CAAC,OAAO;YAClC,QAAQ,EAAE,cAAc,CAAC,OAAO;YAChC,aAAa,EAAE,QAAQ,CAAC,OAAO;YAC/B,QAAQ,EAAE,cAAc,CAAC,OAAO;SACjC;KACF,CAAC;AACJ,CAAC"}

package/dist/evidence-provider.d.ts

@@ -9,7 +9,10 @@
  * Built-in: GitEvidenceProvider — git file state capture with parallel async
  * execution (v2.0.1), plus explicitly configured shell-free command providers.
  */
-import type { CommandObservation, ConfiguredCapability, EvidenceCapability, MachineObservation, ObservedCapability } from "./protocol.js";
+import type { CommandObservation, ConfiguredCapability, EvidenceCapability, MachineObservation, ObservedCapability, ProgressCoverage } from "./protocol.js";
+import type { BoundaryCapture, BoundaryMaterializer } from "./git-boundary.js";
+export { captureGitFileStateAsync } from "./git-boundary.js";
+export type { GitCaptureResult, GitCaptureStatus, GitFileState, GitTrackedEntry, } from "./git-boundary.js";
 import type { CommandEvidencePolicy, LoopPolicy } from "./policy.js";
 /** Interface for evidence capture providers.
  *
@@ -23,6 +26,16 @@ export interface EvidenceCaptureContext {
     phase: "before" | "after";
     /** Workspace root override (tests capture against temp repos). */
     cwd?: string;
+    /** v3.9.8: when present, the Git provider materializes dirty/untracked
+     *  content in the SAME boundary scan that produces the evidence. */
+    materializer?: BoundaryMaterializer;
+    /** v3.9.8: receives the captured boundary (fingerprints/head/contents) so a
+     *  checkpoint can be built without re-hashing the workspace. */
+    boundarySink?: (boundary: BoundaryCapture) => void;
+    /** v3.9.8: hard cap on the boundary path count; only meaningful together
+     *  with a materializer. A larger boundary yields an explicit error instead
+     *  of a truncated map. */
+    maxPaths?: number;
 }
 export type EvidenceCaptureResult = MachineObservation | null | Promise<MachineObservation | null>;
 export interface EvidenceProvider {
@@ -40,6 +53,14 @@ export interface EvidenceCollectOptions {
     timeoutMs?: number;
     loopId?: string;
     phase?: "before" | "after";
+    /** Workspace root override; command providers and the Git provider use it. */
+    cwd?: string;
+    /** v3.9.8: enables content materialization in the same Git boundary scan. */
+    materializer?: BoundaryMaterializer;
+    /** v3.9.8: receives the Git boundary captured by this collection. */
+    boundarySink?: (boundary: BoundaryCapture) => void;
+    /** v3.9.8: boundary path cap for a checkpoint-bearing capture. */
+    maxPaths?: number;
 }
 export type EvidenceProviderFactory = () => EvidenceProvider;
 /** Register a provider factory used by policy-driven collectors. */
@@ -87,6 +108,20 @@ export declare function capabilityWarnings(configured: ConfiguredCapability, pol
  *  and reported by `doctor`, never hashed. The hashed half stays
  *  `deriveConfiguredCapability(policy)` inside the canonical state. */
 export declare function deriveEvidenceCapability(policy: LoopPolicy, observations?: ReadonlyArray<MachineObservation>): EvidenceCapability;
+/** v3.8: Build the observation a failed capture resolves to. The status names
+ *  the machine fact; `detail` explains it for the audit trail. */
+/** v3.9.9: THE per-kind base observation schema table. Custom observations
+ *  keep base 1; only their nested progress snapshot moved to inner 2. */
+export declare function expectedObservationSchemaVersion(kind: "git" | "command" | "custom"): 1 | 2;
+/** v4.0.1: the base observation-envelope judgment shared by the collector's
+ *  parser and the legacy report. Custom `data` is opaque provider display
+ *  data; an old `progress` key is ignored rather than rejected. */
+export interface ObservationVersionIssue {
+    envelope: "observation";
+    schemaVersion: number;
+    reason: "schema" | "malformed";
+}
+export declare function observationVersionIssue(kind: unknown, schemaVersion: unknown, data: unknown, _status?: unknown): ObservationVersionIssue | null;
 /** Collects observations from all configured providers (always async).
  *
  * v3.8: every configured provider produces exactly one observation per
@@ -156,47 +191,23 @@ export declare class CommandEvidenceProvider implements EvidenceProvider {
     capture(context?: EvidenceCaptureContext): Promise<CommandObservation | null>;
     private observation;
 }
-/** A tracked index entry. `mode` is the stage mode (100644, 100755, 120000,
- *  160000); `object` is the index blob/commit id. */
-export interface GitTrackedEntry {
-    path: string;
-    mode: string;
-    object: string;
-}
-/** v3.9.1: the complete workspace boundary at one instant. */
-export interface GitFileState {
-    /** Every path in the index, including paths deleted from the worktree. */
-    tracked: GitTrackedEntry[];
-    /** Non-ignored untracked paths. */
-    untracked: string[];
-    /** Dirty-since-HEAD paths, for display only. */
-    dirty: string[];
-    /** HEAD at this boundary; absent in a repository with no commit. */
-    head?: string;
-}
-/** An explicit capture failure. The collector records the status; null is no
- *  longer used as an ambiguous "unavailable". */
-export type GitCaptureResult = {
-    ok: true;
-    state: GitFileState;
-} | {
-    ok: false;
-    status: "timeout" | "unavailable" | "aborted" | "error";
-    detail: string;
-};
-/** v3.9.1: capture the complete boundary. All required git commands run in
- *  one parallel batch; HEAD is best-effort (a repository with no commit is a
- *  valid boundary with no head). Any required-command failure returns an
- *  explicit status — never an empty-but-observed boundary. */
-export declare function captureGitFileStateAsync(signal?: AbortSignal, timeoutMs?: number,
-/** Workspace root; injectable so tests can capture against a temp repo.
- *  Defaults to the process cwd, matching the evidence providers. */
-cwd?: string): Promise<GitCaptureResult>;
 export declare class GitEvidenceProvider implements EvidenceProvider {
     readonly name = "git";
     readonly kind: "git";
     capture(context?: EvidenceCaptureContext): Promise<MachineObservation | null>;
 }
+/** v4.0.1: the Git workspace progress fact. It reports what the machine
+ *  observed — never a vote and never a policy. `null` means the provider
+ *  produced no progress fact (command/custom observations). */
+export interface ObservationProgress {
+    kind: "git";
+    coverage: ProgressCoverage;
+    /** The only authority. */
+    state: "changed" | "unchanged" | "unknown";
+    /** The provider's completeness assertion — display/diagnosis only. */
+    complete: boolean;
+    detail?: string;
+}
 /** v3.9.1: One provider's derived before→after view. `before`/`after` are
  *  references to the persisted observations — never copies, never mutated.
  *  Only `changedFiles` is a derived fact; it is null for every non-Git
@@ -210,7 +221,14 @@ export interface ObservationDelta {
     /** Git only. [] = observed no change; null = unknown.
      *  command/custom always null (no file-change concept). */
     changedFiles: string[] | null;
+    /** v3.9.9: this provider's before→after progress fact, or null when the
+     *  provider reports no progress at all. Consumers select the facts they
+     *  need by (kind, coverage) — nothing aggregates globally anymore. */
+    progress: ObservationProgress | null;
 }
+/** Stable display key for a coverage descriptor — derived only, never
+ *  persisted, never used as an identity substitute for exact comparison. */
+export declare function coverageKey(coverage: ProgressCoverage): string;
 /** The Git change set for a round, with applicability kept distinct from
  *  observability: no Git provider is `not_applicable`; a Git provider whose
  *  boundary cannot be compared is `unknown` (never an empty set). */

package/dist/evidence-provider.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evidence-provider.d.ts","sourceRoot":"","sources":["../src/evidence-provider.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAiBH,OAAO,KAAK,EACV,kBAAkB,EAClB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,EAElB,kBAAkB,EACnB,MAAM,eAAe,CAAC;AAGvB,OAAO,KAAK,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAMrE;;;4EAG4E;AAC5E,MAAM,WAAW,sBAAsB;IACrC,iEAAiE;IACjE,MAAM,EAAE,WAAW,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC;IAC1B,kEAAkE;IAClE,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,MAAM,MAAM,qBAAqB,GAC7B,kBAAkB,GAClB,IAAI,GACJ,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;AAEvC,MAAM,WAAW,gBAAgB;IAC/B,8DAA8D;IAC9D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;uDACmD;IACnD,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC1C;;8EAE0E;IAC1E,OAAO,CAAC,OAAO,CAAC,EAAE,sBAAsB,GAAG,qBAAqB,CAAC;CAClE;AAED,MAAM,WAAW,sBAAsB;IACrC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC;CAC5B;AAED,MAAM,MAAM,uBAAuB,GAAG,MAAM,gBAAgB,CAAC;AAI7D,oEAAoE;AACpE,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,uBAAuB,GAC/B,IAAI,CAGN;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAGhE;AAED;;sDAEsD;AACtD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE1D;AAID;;;;;;;;;;oEAUoE;AACpE,wBAAgB,wBAAwB,CACtC,WAAW,EAAE,kBAAkB,EAC/B,GAAG,EAAE,aAAa,GACjB,OAAO,CAaT;AAED;;iCAEiC;AACjC,wBAAgB,wBAAwB,CACtC,YAAY,EAAE,aAAa,CAAC,kBAAkB,CAAC,EAC/C,UAAU,EAAE,oBAAoB,GAC/B,kBAAkB,CA0BpB;AAED;;;;;;;;;;;2CAW2C;AAC3C,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,oBAAoB,EAChC,MAAM,EAAE,UAAU,EAClB,QAAQ,CAAC,EAAE,kBAAkB,GAC5B,MAAM,EAAE,CA0CV;AAED;;;;;;;uEAOuE;AACvE,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,UAAU,EAClB,YAAY,GAAE,aAAa,CAAC,kBAAkB,CAAM,GACnD,kBAAkB,CAuBpB;AAsDD;;;;;sEAKsE;AACtE,qBAAa,iBAAiB;IAChB,OAAO,CAAC,SAAS;gBAAT,SAAS,EAAE,gBAAgB,EAAE;IAEjD;;;;iBAIa;IACb,MAAM,CAAC,iBAAiB,CAAC,aAAa,EAAE,MAAM,EAAE,GAAG,iBAAiB;IAMpE,mEAAmE;IACnE,MAAM,CAAC,UAAU,IAAI,iBAAiB;IAatC,8EAA8E;IACxE,YAAY,CAAC,OAAO,GAAE,sBAA2B,GAAG,OAAO,CAAC,kBAAkB,EAAE,CAAC;CA8DxF;AA0ED;;;;;;;;;;;;kBAYkB;AAClB,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,UAAU,EAClB,SAAS,SAAgB,GACxB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAkBxB;AAED;;;;;;;wCAOwC;AACxC,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,SAAS,GAAG,QAAQ,CAAC;CAClC;AAED;;;;;+EAK+E;AAC/E,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,EACzC,SAAS,SAAgB,GACxB,eAAe,EAAE,CAenB;AAED;;;;+EAI+E;AAC/E,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EAAE,EACd,GAAG,EAAE,MAAM,GACV,MAAM,EAAE,CAgBV;AAED,6EAA6E;AAC7E,qBAAa,uBAAwB,YAAW,gBAAgB;IAC9D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAG,SAAS,CAAU;IACnC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAwB;IAC/C,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAS;gBAExB,MAAM,EAAE,qBAAqB;IA8BzC,OAAO,CAAC,OAAO,CAAC,EAAE,sBAAsB,GAAG,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC;IAyH7E,OAAO,CAAC,WAAW;CA2CpB;AAID;qDACqD;AACrD,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,8DAA8D;AAC9D,MAAM,WAAW,YAAY;IAC3B,0EAA0E;IAC1E,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,mCAAmC;IACnC,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,gDAAgD;IAChD,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,oEAAoE;IACpE,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;iDACiD;AACjD,MAAM,MAAM,gBAAgB,GACxB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,YAAY,CAAA;CAAE,GACjC;IACE,EAAE,EAAE,KAAK,CAAC;IACV,MAAM,EAAE,SAAS,GAAG,aAAa,GAAG,SAAS,GAAG,OAAO,CAAC;IACxD,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AA+CN;;;8DAG8D;AAC9D,wBAAsB,wBAAwB,CAC5C,MAAM,CAAC,EAAE,WAAW,EACpB,SAAS,CAAC,EAAE,MAAM;AAClB;oEACoE;AACpE,GAAG,SAAgB,GAClB,OAAO,CAAC,gBAAgB,CAAC,CA8H3B;AAyID,qBAAa,mBAAoB,YAAW,gBAAgB;IAC1D,QAAQ,CAAC,IAAI,SAAS;IACtB,QAAQ,CAAC,IAAI,EAAG,KAAK,CAAU;IAEzB,OAAO,CAAC,OAAO,CAAC,EAAE,sBAAsB,GAAG,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC;CAyHpF;AAMD;;;;yCAIyC;AACzC,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAClC,KAAK,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACjC;+DAC2D;IAC3D,YAAY,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;CAC/B;AAED;;qEAEqE;AACrE,MAAM,MAAM,aAAa,GACrB;IAAE,KAAK,EAAE,gBAAgB,CAAA;CAAE,GAC3B;IAAE,KAAK,EAAE,SAAS,CAAA;CAAE,GACpB;IAAE,KAAK,EAAE,UAAU,CAAC;IAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAAE,CAAC;AAqC7D;;;0BAG0B;AAC1B,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,SAAS,kBAAkB,EAAE,EACrC,KAAK,EAAE,SAAS,kBAAkB,EAAE,GACnC,gBAAgB,EAAE,CAmDpB;AAED;;kDAEkD;AAClD,wBAAgB,aAAa,CAC3B,MAAM,EAAE,SAAS,gBAAgB,EAAE,GAClC,aAAa,CASf;AAED,qEAAqE;AACrE,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,SAAS,gBAAgB,EAAE,GAClC,kBAAkB,EAAE,CAItB"}
+{"version":3,"file":"evidence-provider.d.ts","sourceRoot":"","sources":["../src/evidence-provider.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAWH,OAAO,KAAK,EACV,kBAAkB,EAClB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,EAElB,kBAAkB,EAClB,gBAAgB,EACjB,MAAM,eAAe,CAAC;AASvB,OAAO,KAAK,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAK/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,YAAY,EACV,gBAAgB,EAChB,gBAAgB,EAChB,YAAY,EACZ,eAAe,GAChB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAMrE;;;4EAG4E;AAC5E,MAAM,WAAW,sBAAsB;IACrC,iEAAiE;IACjE,MAAM,EAAE,WAAW,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC;IAC1B,kEAAkE;IAClE,GAAG,CAAC,EAAE,MAAM,CAAC;IACb;wEACoE;IACpE,YAAY,CAAC,EAAE,oBAAoB,CAAC;IACpC;oEACgE;IAChE,YAAY,CAAC,EAAE,CAAC,QAAQ,EAAE,eAAe,KAAK,IAAI,CAAC;IACnD;;8BAE0B;IAC1B,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,qBAAqB,GAC7B,kBAAkB,GAClB,IAAI,GACJ,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;AAEvC,MAAM,WAAW,gBAAgB;IAC/B,8DAA8D;IAC9D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;uDACmD;IACnD,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC1C;;8EAE0E;IAC1E,OAAO,CAAC,OAAO,CAAC,EAAE,sBAAsB,GAAG,qBAAqB,CAAC;CAClE;AAED,MAAM,WAAW,sBAAsB;IACrC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC;IAC3B,8EAA8E;IAC9E,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,6EAA6E;IAC7E,YAAY,CAAC,EAAE,oBAAoB,CAAC;IACpC,qEAAqE;IACrE,YAAY,CAAC,EAAE,CAAC,QAAQ,EAAE,eAAe,KAAK,IAAI,CAAC;IACnD,kEAAkE;IAClE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,uBAAuB,GAAG,MAAM,gBAAgB,CAAC;AAI7D,oEAAoE;AACpE,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,uBAAuB,GAC/B,IAAI,CAGN;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAGhE;AAED;;sDAEsD;AACtD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE1D;AAID;;;;;;;;;;oEAUoE;AACpE,wBAAgB,wBAAwB,CACtC,WAAW,EAAE,kBAAkB,EAC/B,GAAG,EAAE,aAAa,GACjB,OAAO,CAaT;AAED;;iCAEiC;AACjC,wBAAgB,wBAAwB,CACtC,YAAY,EAAE,aAAa,CAAC,kBAAkB,CAAC,EAC/C,UAAU,EAAE,oBAAoB,GAC/B,kBAAkB,CA0BpB;AAED;;;;;;;;;;;2CAW2C;AAC3C,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,oBAAoB,EAChC,MAAM,EAAE,UAAU,EAClB,QAAQ,CAAC,EAAE,kBAAkB,GAC5B,MAAM,EAAE,CAwDV;AAED;;;;;;;uEAOuE;AACvE,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,UAAU,EAClB,YAAY,GAAE,aAAa,CAAC,kBAAkB,CAAM,GACnD,kBAAkB,CAuBpB;AA4BD;kEACkE;AAClE;yEACyE;AACzE,wBAAgB,gCAAgC,CAC9C,IAAI,EAAE,KAAK,GAAG,SAAS,GAAG,QAAQ,GACjC,CAAC,GAAG,CAAC,CAEP;AA2BD;;mEAEmE;AACnE,MAAM,WAAW,uBAAuB;IACtC,QAAQ,EAAE,aAAa,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,QAAQ,GAAG,WAAW,CAAC;CAChC;AAED,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,OAAO,EACb,aAAa,EAAE,OAAO,EACtB,IAAI,EAAE,OAAO,EACb,OAAO,CAAC,EAAE,OAAO,GAChB,uBAAuB,GAAG,IAAI,CAwBhC;AAED;;;;;sEAKsE;AACtE,qBAAa,iBAAiB;IAChB,OAAO,CAAC,SAAS;gBAAT,SAAS,EAAE,gBAAgB,EAAE;IAEjD;;;;iBAIa;IACb,MAAM,CAAC,iBAAiB,CAAC,aAAa,EAAE,MAAM,EAAE,GAAG,iBAAiB;IAMpE,mEAAmE;IACnE,MAAM,CAAC,UAAU,IAAI,iBAAiB;IAatC,8EAA8E;IACxE,YAAY,CAAC,OAAO,GAAE,sBAA2B,GAAG,OAAO,CAAC,kBAAkB,EAAE,CAAC;CA2ExF;AA0ED;;;;;;;;;;;;kBAYkB;AAClB,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,UAAU,EAClB,SAAS,SAAgB,GACxB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAkBxB;AAED;;;;;;;wCAOwC;AACxC,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,SAAS,GAAG,QAAQ,CAAC;CAClC;AAED;;;;;+EAK+E;AAC/E,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,EACzC,SAAS,SAAgB,GACxB,eAAe,EAAE,CAenB;AAED;;;;+EAI+E;AAC/E,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EAAE,EACd,GAAG,EAAE,MAAM,GACV,MAAM,EAAE,CAgBV;AAED,6EAA6E;AAC7E,qBAAa,uBAAwB,YAAW,gBAAgB;IAC9D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAG,SAAS,CAAU;IACnC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAwB;IAC/C,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAS;gBAExB,MAAM,EAAE,qBAAqB;IA8BzC,OAAO,CAAC,OAAO,CAAC,EAAE,sBAAsB,GAAG,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC;IAyH7E,OAAO,CAAC,WAAW;CA2CpB;AAyBD,qBAAa,mBAAoB,YAAW,gBAAgB;IAC1D,QAAQ,CAAC,IAAI,SAAS;IACtB,QAAQ,CAAC,IAAI,EAAG,KAAK,CAAU;IAEzB,OAAO,CAAC,OAAO,CAAC,EAAE,sBAAsB,GAAG,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC;CAmGpF;AAMD;;+DAE+D;AAC/D,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,KAAK,CAAC;IACZ,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,0BAA0B;IAC1B,KAAK,EAAE,SAAS,GAAG,WAAW,GAAG,SAAS,CAAC;IAC3C,sEAAsE;IACtE,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;yCAIyC;AACzC,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAClC,KAAK,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACjC;+DAC2D;IAC3D,YAAY,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAC9B;;0EAEsE;IACtE,QAAQ,EAAE,mBAAmB,GAAG,IAAI,CAAC;CACtC;AAgFD;4EAC4E;AAC5E,wBAAgB,WAAW,CAAC,QAAQ,EAAE,gBAAgB,GAAG,MAAM,CAE9D;AAED;;qEAEqE;AACrE,MAAM,MAAM,aAAa,GACrB;IAAE,KAAK,EAAE,gBAAgB,CAAA;CAAE,GAC3B;IAAE,KAAK,EAAE,SAAS,CAAA;CAAE,GACpB;IAAE,KAAK,EAAE,UAAU,CAAC;IAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAAE,CAAC;AAqC7D;;;0BAG0B;AAC1B,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,SAAS,kBAAkB,EAAE,EACrC,KAAK,EAAE,SAAS,kBAAkB,EAAE,GACnC,gBAAgB,EAAE,CA0DpB;AAED;;kDAEkD;AAClD,wBAAgB,aAAa,CAC3B,MAAM,EAAE,SAAS,gBAAgB,EAAE,GAClC,aAAa,CASf;AAED,qEAAqE;AACrE,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,SAAS,gBAAgB,EAAE,GAClC,kBAAkB,EAAE,CAItB"}