loopforge 3.9.2 → 4.0.7

package/dist/audit.js

@@ -1,77 +1,90 @@
-/** v2.12: Read-only, replayable end-of-loop audit — the verification view.
+/** v2.12/v4.0.3: Read-only, replayable end-of-loop audit — the verification
+ *  view.
  *
  *  Positioning vs loopforge_replay: replay is the factual timeline (what
  *  happened per round); audit is the assessment layer (which claims are
  *  machine-verified, which gates were decided, is the sequence intact).
  *  Everything is derived from committed vault entries — audit never writes.
  *
- *  v3.8: the CONTRACT ITEM axis is the primary completion basis. The criterion
- *  claims stay as an advisory second view — a criterion claim is an agent
- *  statement whose machine backing is mediated by the contract items, so it
- *  cannot be the completion signal. Both axes read the same committed-round
- *  model and the same item reducer the coordinator and explain use.
+ *  v4.0.3: every round reports the SAME persisted evidence posture. A claim is
+ *  `verified` only when a machine criterion fact backs its criterion; Agent
+ *  reports never upgrade themselves. `evidenceVerdict` is the terminal
+ *  posture, while `verdict` is the verification view over structure + posture.
  */
 import { eventSequence, StorageCorruptionError } from "./loop-store.js";
 import { auditOrder, deriveGate } from "./cognitive-governance.js";
-import { rederiveClaimViewWithFlags, listVerifiedClaims } from "./evidence-claims.js";
-import { isRecord, entryRound } from "./token-utils.js";
-import { legacyTransactionRounds, readOnlyRounds, } from "./committed-round.js";
-import { deriveRoundContractView } from "./round-contract.js";
+import { deriveCriterionId, entryRound, isCriterionId, isRecord, } from "./token-utils.js";
+import { legacyTransactionRounds, readOnlyRollbacks, readOnlyRounds, } from "./committed-round.js";
+import { committedRoundFacts, deriveRoundContractView, } from "./round-contract.js";
+import { deriveCriterionFacts } from "./round-facts.js";
 import { deriveCommittedSubmissionView } from "./submission-receipt.js";
 import { getPolicy } from "./policy.js";
 /** Build the audit from committed vault entries. Pure, read-only.
  *  @param store Optional LoopStore — when provided, sequence integrity is
  *  checked and provenanceAvailable becomes true. */
 export function buildAudit(loopId, entries, store) {
-    const ordered = auditOrder(entries);
-    // v3.8: the shared committed-round read model — ordering, dedup and rollback
-    // exclusion come from it, not from a private rule. v3.8.1: the READ-ONLY
-    // window, which additionally applies the session frontier while a committed
-    // rollback directive is in effect, so a backtracked branch is not audited as
-    // this branch's history.
+    // v4.0.3: a multi-loop entry list must not leak another loop's gates,
+    // legacy rounds or rollbacks into this audit.
+    const loopEntries = entries.filter((entry) => entry.loop_id === loopId ||
+        String(entry.task_id ?? "").startsWith(`loop:${loopId}:`));
+    const ordered = auditOrder(loopEntries);
     const views = readOnlyRounds(entries).filter((view) => view.loopId === loopId);
+    const rollbacks = readOnlyRollbacks(entries).filter((view) => view.loopId === loopId);
     const commands = getPolicy().evidence.commands ?? [];
     // The executed contract per round, through the ONE derivation explain and
-    // the live coordinator also call. Re-derived per round rather than walked
-    // incrementally on purpose: a private incremental walker would be a second
-    // history interpretation, which is exactly what this project forbids.
+    // the live coordinator also call.
     const contractByRound = new Map();
     for (const view of views) {
         contractByRound.set(view.round, deriveRoundContractView({
             rounds: views,
             round: view.round,
-            report: view.executionReport,
-            deltas: view.observationDelta,
-            outcome: view.outcome,
+            current: committedRoundFacts(view),
             commands,
         }));
     }
-    // ── Rounds: per-round claims + checks from committed snapshots ─────────
-    //
-    // v3.8.1: the list is built from the SAME window the contract axis below
-    // reads. Scanning the raw entries here applied a second, weaker history
-    // rule — no replacement of a round by a later record of the same logical
-    // round — so a superseded record was listed twice and could still flip the
-    // verdict to `contradicted`, while explain (which reads only the window)
-    // reported a different loop. Rollback exclusion comes from the window too.
+    // v4.0.3: machine criterion facts are the ONLY upgrade path for a claim.
+    const factsUpTo = (round) => deriveCriterionFacts({
+        rounds: views.filter((view) => view.round <= round),
+        commands,
+    });
+    const machineVerifiedIdsUpTo = (round) => new Set(factsUpTo(round)
+        .filter((fact) => fact.status === "verified")
+        .map((fact) => fact.criterion_id));
     const rounds = [];
     for (const view of views) {
         const round = view.round;
-        const outcome = view.outcome ?? "unknown";
-        const claimView = view.evaluation
-            ? rederiveClaimViewWithFlags(view.evaluation, view.observationDelta, view.verificationFlags)
-            : null;
+        const verifiedIds = machineVerifiedIdsUpTo(round);
+        const receipt = deriveCommittedSubmissionView(view, views, rollbacks);
         const executed = contractByRound.get(round);
-        const receipt = deriveCommittedSubmissionView(view, views);
         rounds.push({
             round,
-            outcome,
-            claims: claimView
-                ? claimView.claims.map((claim) => ({
-                    text: claim.targetId,
-                    status: claim.status === "verified" ? "verified" : "unverified",
-                }))
-                : [],
+            agentSuccessClaim: view.agentSuccessClaim,
+            agentOutcome: view.agentOutcome ?? "unknown",
+            blocker: view.evaluation?.blocker ?? null,
+            objectiveRefinement: view.objectiveRefinement ?? null,
+            contractRedirect: view.contractRedirect
+                ? {
+                    contract_id: view.contractRedirect.contract_id,
+                    ...(view.contractRedirect.reason !== undefined
+                        ? { reason: view.contractRedirect.reason }
+                        : {}),
+                }
+                : null,
+            machineBackedSuccess: view.evidencePosture?.machineBackedSuccess ?? false,
+            evidencePosture: view.evidencePosture,
+            claims: (view.executionReport?.claims ?? [])
+                .filter((claim) => claim.id.startsWith("cr-") && claim.outcome === "met")
+                .map((claim) => {
+                const id = isCriterionId(claim.id)
+                    ? claim.id
+                    : deriveCriterionId(claim.id);
+                return {
+                    text: claim.id,
+                    status: verifiedIds.has(id)
+                        ? "verified"
+                        : "unverified",
+                };
+            }),
             checks: view.verificationFlags.map((flag) => ({
                 check: flag.check,
                 severity: flag.severity,
@@ -88,12 +101,37 @@ export function buildAudit(loopId, entries, store) {
                     })),
                 }
                 : null,
+            checkpoints: [
+                ...(view.beforeCheckpoint ? [view.beforeCheckpoint] : []),
+                ...view.checkpoints,
+            ].map((ref) => ({
+                checkpoint_id: ref.checkpointId,
+                role: ref.role,
+                round: ref.round,
+                content_hash: ref.contentHash,
+            })),
+            restore: view.restore
+                ? {
+                    directive_transaction_id: view.restore.directiveTransactionId,
+                    redo_round: view.restore.redoRound,
+                    verified_at: view.restore.verifiedAt,
+                }
+                : null,
+            restore_verified: view.restore !== null,
             submission: {
+                record: receipt.record,
+                entered_history: receipt.entered_history,
                 diagnostics: receipt.diagnostics,
                 saved_not_expanded: receipt.reports
                     .filter((report) => report.handling === "saved_not_expanded")
                     .map((report) => report.path),
                 effects: receipt.effects,
+                verification: {
+                    evidence_posture: receipt.verification.evidence_posture,
+                    checks: receipt.verification.checks,
+                },
+                files_reconciliation: receipt.files_reconciliation,
+                recovery_checkpoint: receipt.recovery_checkpoint ?? null,
                 prompt: receipt.prompt
                     ? {
                         level: receipt.prompt.level,
@@ -126,11 +164,13 @@ export function buildAudit(loopId, entries, store) {
         });
     }
     const contracts = [...contractsById.values()]
-        .sort((a, b) => a.first_active_round - b.first_active_round || a.contract_id.localeCompare(b.contract_id));
+        .sort((a, b) => a.first_active_round - b.first_active_round ||
+        a.contract_id.localeCompare(b.contract_id));
     const flatItems = contracts.flatMap((contract) => contract.items);
     const contractsSummary = {
         contracts,
         open: contracts.filter((contract) => contract.closure === "open").length,
+        superseded: contracts.filter((contract) => contract.closure === "superseded").length,
         verifiedItems: flatItems.filter((item) => item.status === "verified").length,
         insufficientItems: flatItems.filter((item) => item.status === "insufficient").length,
         contradictedItems: flatItems.filter((item) => item.status === "contradicted").length,
@@ -187,39 +227,69 @@ export function buildAudit(loopId, entries, store) {
                 throw error;
         }
     }
-    // ── Criteria accounting (advisory second axis) + verdict ───────────────
-    //
-    // v3.8 fix: `declared` used to be a PER-ROUND SUM while `evidenced` was a
-    // DEDUPLICATED count — a criterion claimed in three rounds read as three
-    // declared against one evidenced, so `missing` was fiction. Both sides are
-    // now distinct-id counts over the same history and compare directly.
-    const verified = listVerifiedClaims(entries, loopId);
-    const declaredIds = new Set(rounds.flatMap((round) => round.claims.map((claim) => claim.text)));
-    const declared = declaredIds.size;
-    const evidenced = verified.length;
-    // v3.8: the contract item axis decides completion. A contradicted item is a
-    // machine denial; an open contract is unfinished verification; the claim
-    // axis only speaks when no contract item exists to speak for it.
+    // ── Criteria accounting: objective declares, machine facts evidence ────
+    const acceptance = views.find((view) => view.operatorAcceptance !== null)
+        ?.operatorAcceptance ?? null;
+    const declaredIds = new Set((acceptance?.success_criteria ?? []).map(deriveCriterionId));
+    const allVerified = new Set(deriveCriterionFacts({ rounds: views, commands })
+        .filter((fact) => fact.status === "verified")
+        .map((fact) => fact.criterion_id));
+    const evidencedIds = [...declaredIds].filter((id) => allVerified.has(id));
+    // v4.0.3: the terminal posture is a fact; the verdict is the verification
+    // view over structure + posture, never a copy of the Agent's claim.
+    const lastView = views.length > 0 ? views[views.length - 1] : undefined;
+    const terminalClosure = lastView
+        ? contractByRound.get(lastView.round)?.statuses.closure
+        : undefined;
+    const terminalPosture = lastView?.evidencePosture?.status ?? null;
     let verdict = "passed";
     if (rounds.some((round) => round.checks.some((check) => check.verdict === "failed")) ||
-        contractsSummary.contradictedItems > 0) {
+        contractsSummary.contradictedItems > 0 ||
+        terminalPosture === "contradicted") {
         verdict = "contradicted";
     }
-    else if (unresolvedUserGates.length > 0 || contractsSummary.open > 0 ||
-        (declared > 0 && evidenced === 0)) {
+    else if (unresolvedUserGates.length > 0 ||
+        contractsSummary.open > 0 ||
+        terminalClosure === "superseded" ||
+        terminalClosure === "blocked" ||
+        terminalPosture === "insufficient" ||
+        terminalPosture === "unknown" ||
+        (declaredIds.size > 0 && evidencedIds.length === 0)) {
         verdict = "incomplete";
     }
     return {
         loopId,
         verdict,
+        evidenceVerdict: terminalPosture,
         rounds,
+        rollbacks: rollbacks.map((view) => ({
+            round: view.round,
+            transactionId: view.transactionId ?? view.roundId,
+            origin: view.origin === "agent" ? "agent" : "machine",
+            redoRound: view.recovery?.target.redo_round ?? 0,
+            targetCheckpointId: view.recovery?.target.checkpoint_id ?? "",
+            reason: view.recovery?.reason ?? "",
+            observedSkippedFiles: [...(view.recovery?.observed_skipped_files ??
+                    view.recovery?.skipped_files ?? [])],
+            reportedSkippedFiles: [...(view.recovery?.reported_skipped_files ?? [])],
+            skippedFiles: [...(view.recovery?.skipped_files ?? [])],
+            abandonedRounds: [...(view.recovery?.abandoned_rounds ?? [])],
+            failedRounds: [...(view.recovery?.failed_rounds ?? [])],
+            preservedDiscoveries: [...(view.recovery?.skipped_discoveries ?? [])],
+            approaches: [...(view.recovery?.approaches ?? [])],
+            wrongAssumptions: [...(view.recovery?.wrong_assumptions ?? [])],
+        })),
         gates,
         unresolvedUserGates,
         contracts: contractsSummary,
-        criteria: { declared, evidenced, missing: Math.max(0, declared - evidenced) },
+        criteria: {
+            declared: declaredIds.size,
+            evidenced: evidencedIds.length,
+            missing: Math.max(0, declaredIds.size - evidencedIds.length),
+        },
         sequenceComplete,
         provenanceAvailable,
-        legacyRounds: legacyTransactionRounds(entries).map((item) => item.round),
+        legacyRounds: legacyTransactionRounds(loopEntries).map((item) => item.round),
     };
 }
 //# sourceMappingURL=audit.js.map

package/dist/audit.js.map

@@ -1 +1 @@
-{"version":3,"file":"audit.js","sourceRoot":"","sources":["../src/audit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,aAAa,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAEtF,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EACL,uBAAuB,EACvB,cAAc,GACf,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAAE,6BAA6B,EAAE,MAAM,yBAAyB,CAAC;AAGxE,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AA8ExC;;oDAEoD;AACpD,MAAM,UAAU,UAAU,CACxB,MAAc,EACd,OAAqB,EACrB,KAAiB;IAEjB,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IACpC,6EAA6E;IAC7E,yEAAyE;IACzE,4EAA4E;IAC5E,6EAA6E;IAC7E,yBAAyB;IACzB,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,SAAS,EAAE,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC;IACrD,0EAA0E;IAC1E,0EAA0E;IAC1E,2EAA2E;IAC3E,sEAAsE;IACtE,MAAM,eAAe,GAAG,IAAI,GAAG,EAAsD,CAAC;IACtF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,uBAAuB,CAAC;YACtD,MAAM,EAAE,KAAK;YACb,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,eAAe;YAC5B,MAAM,EAAE,IAAI,CAAC,gBAAgB;YAC7B,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,QAAQ;SACT,CAAC,CAAC,CAAC;IACN,CAAC;IAED,0EAA0E;IAC1E,EAAE;IACF,yEAAyE;IACzE,wEAAwE;IACxE,yEAAyE;IACzE,2EAA2E;IAC3E,yEAAyE;IACzE,2EAA2E;IAC3E,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,SAAS,CAAC;QAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU;YAC/B,CAAC,CAAC,0BAA0B,CACxB,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,gBAAgB,EACrB,IAAI,CAAC,iBAAiB,CACvB;YACH,CAAC,CAAC,IAAI,CAAC;QACT,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,6BAA6B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3D,MAAM,CAAC,IAAI,CAAC;YACV,KAAK;YACL,OAAO;YACP,MAAM,EAAE,SAAS;gBACf,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC/B,IAAI,EAAE,KAAK,CAAC,QAAQ;oBACpB,MAAM,EAAE,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,UAAmB,CAAC,CAAC,CAAC,YAAqB;iBAClF,CAAC,CAAC;gBACL,CAAC,CAAC,EAAE;YACN,MAAM,EAAE,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC5C,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,OAAO,EAAE,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,QAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,QAA2B;aAC1F,CAAC,CAAC;YACH,QAAQ,EAAE,QAAQ,EAAE,QAAQ,IAAI,QAAQ,CAAC,QAAQ,CAAC,UAAU;gBAC1D,CAAC,CAAC;oBACE,EAAE,EAAE,QAAQ,CAAC,QAAQ,CAAC,UAAU;oBAChC,iBAAiB,EAAE,QAAQ,CAAC,QAAQ,CAAC,iBAAiB;oBACtD,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,OAAO;oBAClC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;wBAC5C,MAAM,EAAE,IAAI,CAAC,MAAM;wBACnB,MAAM,EAAE,IAAI,CAAC,MAAM;qBACpB,CAAC,CAAC;iBACJ;gBACH,CAAC,CAAC,IAAI;YACR,UAAU,EAAE;gBACV,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,kBAAkB,EAAE,OAAO,CAAC,OAAO;qBAChC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,KAAK,oBAAoB,CAAC;qBAC5D,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;gBAC/B,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,MAAM,EAAE,OAAO,CAAC,MAAM;oBACpB,CAAC,CAAC;wBACE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK;wBAC3B,gBAAgB,EAAE,OAAO,CAAC,MAAM,CAAC,gBAAgB;qBAClD;oBACH,CAAC,CAAC,IAAI;aACT;SACF,CAAC,CAAC;IACL,CAAC;IAED,0EAA0E;IAC1E,MAAM,aAAa,GAAG,IAAI,GAAG,EAAyB,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,CAAC,QAAQ,EAAE,QAAQ,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU;YAAE,SAAS;QACnE,MAAM,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;QACxC,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvC,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE;YACpB,WAAW,EAAE,EAAE;YACf,iBAAiB,EAAE,QAAQ,EAAE,iBAAiB,IAAI,QAAQ,CAAC,QAAQ,CAAC,iBAAiB;YACrF,kBAAkB,EAAE,QAAQ,EAAE,kBAAkB,IAAI,IAAI,CAAC,KAAK;YAC9D,iBAAiB,EAAE,IAAI,CAAC,KAAK;YAC7B,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,OAAO;YAClC,eAAe,EAAE,QAAQ,CAAC,QAAQ,CAAC,eAAe;YAClD,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC5C,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,MAAM,EAAE,IAAI,CAAC,MAAM;aACpB,CAAC,CAAC;SACJ,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC;SAC1C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,kBAAkB,GAAG,CAAC,CAAC,kBAAkB,IAAI,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAC7G,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAClE,MAAM,gBAAgB,GAAyB;QAC7C,SAAS;QACT,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM;QACxE,aAAa,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;QAC5E,iBAAiB,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,MAAM;QACpF,iBAAiB,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,MAAM;QACpF,YAAY,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;KAC3E,CAAC;IAEF,0EAA0E;IAC1E,MAAM,eAAe,GAAG,IAAI,GAAG,EAAqB,CAAC;IACrD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkD,CAAC;IAC9E,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,IAAI,KAAK,CAAC,SAAS,KAAK,eAAe,IAAI,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;YACzE,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAwC,CAAC;YAChE,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE;gBAC1B,MAAM;gBACN,IAAI,EAAE,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;gBAClD,UAAU,EAAE,OAAO,QAAQ,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;gBAC9E,QAAQ,EAAE,QAAQ,CAAC,QAAQ,KAAK,IAAI;gBACpC,SAAS,EAAE,OAAO,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;gBAC3E,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC;aACzB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,SAAS,KAAK,aAAa,EAAE,CAAC;YAC7C,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE;gBACtB,WAAW,EAAE,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM;gBAC/E,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC;aACzB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5C,MAAM,mBAAmB,GAAa,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC3C,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAS;QAC1C,8DAA8D;QAC9D,MAAM,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,mBAAmB,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,MAAM,CAAC,KAAK,MAAM,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,IAAI,gBAAgB,GAAG,IAAI,CAAC;IAC5B,IAAI,mBAAmB,GAAG,KAAK,KAAK,SAAS,CAAC;IAC9C,IAAI,KAAK,EAAE,CAAC;QACV,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAC/C,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9D,gBAAgB,GAAG,SAAS,CAAC,MAAM,KAAK,GAAG,CAAC;QAC9C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,gBAAgB,GAAG,KAAK,CAAC;YACzB,IAAI,CAAC,CAAC,KAAK,YAAY,sBAAsB,CAAC;gBAAE,MAAM,KAAK,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,EAAE;IACF,0EAA0E;IAC1E,yEAAyE;IACzE,2EAA2E;IAC3E,qEAAqE;IACrE,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChG,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC;IAClC,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC;IAElC,4EAA4E;IAC5E,yEAAyE;IACzE,iEAAiE;IACjE,IAAI,OAAO,GAA2B,QAAQ,CAAC;IAC/C,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC;QAChF,gBAAgB,CAAC,iBAAiB,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,GAAG,cAAc,CAAC;IAC3B,CAAC;SAAM,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,IAAI,gBAAgB,CAAC,IAAI,GAAG,CAAC;QAClE,CAAC,QAAQ,GAAG,CAAC,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACtC,OAAO,GAAG,YAAY,CAAC;IACzB,CAAC;IAED,OAAO;QACL,MAAM;QACN,OAAO;QACP,MAAM;QACN,KAAK;QACL,mBAAmB;QACnB,SAAS,EAAE,gBAAgB;QAC3B,QAAQ,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAC,EAAE;QAC7E,gBAAgB;QAChB,mBAAmB;QACnB,YAAY,EAAE,uBAAuB,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;KACzE,CAAC;AACJ,CAAC"}
+{"version":3,"file":"audit.js","sourceRoot":"","sources":["../src/audit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,aAAa,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAEnE,OAAO,EACL,iBAAiB,EACjB,UAAU,EACV,aAAa,EACb,QAAQ,GACT,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,cAAc,GACf,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,mBAAmB,EACnB,uBAAuB,GACxB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,6BAA6B,EAAE,MAAM,yBAAyB,CAAC;AASxE,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAqIxC;;oDAEoD;AACpD,MAAM,UAAU,UAAU,CACxB,MAAc,EACd,OAAqB,EACrB,KAAiB;IAEjB,sEAAsE;IACtE,8CAA8C;IAC9C,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3C,KAAK,CAAC,OAAO,KAAK,MAAM;QACxB,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAC/E,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,SAAS,EAAE,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC;IACrD,0EAA0E;IAC1E,kCAAkC;IAClC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAsD,CAAC;IACtF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,uBAAuB,CAAC;YACtD,MAAM,EAAE,KAAK;YACb,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,OAAO,EAAE,mBAAmB,CAAC,IAAI,CAAC;YAClC,QAAQ;SACT,CAAC,CAAC,CAAC;IACN,CAAC;IAED,yEAAyE;IACzE,MAAM,SAAS,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,oBAAoB,CAAC;QACxD,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC;QACnD,QAAQ;KACT,CAAC,CAAC;IACH,MAAM,sBAAsB,GAAG,CAAC,KAAa,EAAe,EAAE,CAC5D,IAAI,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC;SACrB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC;SAC5C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;IAEvC,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;QAClD,MAAM,OAAO,GAAG,6BAA6B,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QACtE,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,CAAC,IAAI,CAAC;YACV,KAAK;YACL,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;YACzC,YAAY,EAAE,IAAI,CAAC,YAAY,IAAI,SAAS;YAC5C,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,IAAI,IAAI;YACzC,mBAAmB,EAAE,IAAI,CAAC,mBAAmB,IAAI,IAAI;YACrD,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;gBACrC,CAAC,CAAC;oBACE,WAAW,EAAE,IAAI,CAAC,gBAAgB,CAAC,WAAW;oBAC9C,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,KAAK,SAAS;wBAC5C,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE;wBAC1C,CAAC,CAAC,EAAE,CAAC;iBACR;gBACH,CAAC,CAAC,IAAI;YACR,oBAAoB,EAAE,IAAI,CAAC,eAAe,EAAE,oBAAoB,IAAI,KAAK;YACzE,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,MAAM,EAAE,CAAC,IAAI,CAAC,eAAe,EAAE,MAAM,IAAI,EAAE,CAAC;iBACzC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC;iBACxE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;gBACb,MAAM,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;oBAChC,CAAC,CAAC,KAAK,CAAC,EAAE;oBACV,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAChC,OAAO;oBACL,IAAI,EAAE,KAAK,CAAC,EAAE;oBACd,MAAM,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;wBACzB,CAAC,CAAC,UAAmB;wBACrB,CAAC,CAAC,YAAqB;iBAC1B,CAAC;YACJ,CAAC,CAAC;YACJ,MAAM,EAAE,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC5C,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,OAAO,EAAE,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,QAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,QAA2B;aAC1F,CAAC,CAAC;YACH,QAAQ,EAAE,QAAQ,EAAE,QAAQ,IAAI,QAAQ,CAAC,QAAQ,CAAC,UAAU;gBAC1D,CAAC,CAAC;oBACE,EAAE,EAAE,QAAQ,CAAC,QAAQ,CAAC,UAAU;oBAChC,iBAAiB,EAAE,QAAQ,CAAC,QAAQ,CAAC,iBAAiB;oBACtD,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,OAAO;oBAClC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;wBAC5C,MAAM,EAAE,IAAI,CAAC,MAAM;wBACnB,MAAM,EAAE,IAAI,CAAC,MAAM;qBACpB,CAAC,CAAC;iBACJ;gBACH,CAAC,CAAC,IAAI;YACR,WAAW,EAAE;gBACX,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzD,GAAG,IAAI,CAAC,WAAW;aACpB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBACd,aAAa,EAAE,GAAG,CAAC,YAAY;gBAC/B,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,YAAY,EAAE,GAAG,CAAC,WAAW;aAC9B,CAAC,CAAC;YACH,OAAO,EAAE,IAAI,CAAC,OAAO;gBACnB,CAAC,CAAC;oBACE,wBAAwB,EAAE,IAAI,CAAC,OAAO,CAAC,sBAAsB;oBAC7D,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS;oBAClC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU;iBACrC;gBACH,CAAC,CAAC,IAAI;YACR,gBAAgB,EAAE,IAAI,CAAC,OAAO,KAAK,IAAI;YACvC,UAAU,EAAE;gBACV,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,eAAe,EAAE,OAAO,CAAC,eAAe;gBACxC,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,kBAAkB,EAAE,OAAO,CAAC,OAAO;qBAChC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,KAAK,oBAAoB,CAAC;qBAC5D,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;gBAC/B,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,YAAY,EAAE;oBACZ,gBAAgB,EAAE,OAAO,CAAC,YAAY,CAAC,gBAAgB;oBACvD,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC,MAAM;iBACpC;gBACD,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;gBAClD,mBAAmB,EAAE,OAAO,CAAC,mBAAmB,IAAI,IAAI;gBACxD,MAAM,EAAE,OAAO,CAAC,MAAM;oBACpB,CAAC,CAAC;wBACE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK;wBAC3B,gBAAgB,EAAE,OAAO,CAAC,MAAM,CAAC,gBAAgB;qBAClD;oBACH,CAAC,CAAC,IAAI;aACT;SACF,CAAC,CAAC;IACL,CAAC;IAED,0EAA0E;IAC1E,MAAM,aAAa,GAAG,IAAI,GAAG,EAAyB,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,CAAC,QAAQ,EAAE,QAAQ,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU;YAAE,SAAS;QACnE,MAAM,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;QACxC,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvC,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE;YACpB,WAAW,EAAE,EAAE;YACf,iBAAiB,EAAE,QAAQ,EAAE,iBAAiB,IAAI,QAAQ,CAAC,QAAQ,CAAC,iBAAiB;YACrF,kBAAkB,EAAE,QAAQ,EAAE,kBAAkB,IAAI,IAAI,CAAC,KAAK;YAC9D,iBAAiB,EAAE,IAAI,CAAC,KAAK;YAC7B,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,OAAO;YAClC,eAAe,EAAE,QAAQ,CAAC,QAAQ,CAAC,eAAe;YAClD,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC5C,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,MAAM,EAAE,IAAI,CAAC,MAAM;aACpB,CAAC,CAAC;SACJ,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC;SAC1C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACb,CAAC,CAAC,kBAAkB,GAAG,CAAC,CAAC,kBAAkB;QAC3C,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAClE,MAAM,gBAAgB,GAAyB;QAC7C,SAAS;QACT,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM;QACxE,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,KAAK,YAAY,CAAC,CAAC,MAAM;QACpF,aAAa,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;QAC5E,iBAAiB,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,MAAM;QACpF,iBAAiB,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,MAAM;QACpF,YAAY,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;KAC3E,CAAC;IAEF,0EAA0E;IAC1E,MAAM,eAAe,GAAG,IAAI,GAAG,EAAqB,CAAC;IACrD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkD,CAAC;IAC9E,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,IAAI,KAAK,CAAC,SAAS,KAAK,eAAe,IAAI,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;YACzE,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAwC,CAAC;YAChE,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE;gBAC1B,MAAM;gBACN,IAAI,EAAE,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;gBAClD,UAAU,EAAE,OAAO,QAAQ,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;gBAC9E,QAAQ,EAAE,QAAQ,CAAC,QAAQ,KAAK,IAAI;gBACpC,SAAS,EAAE,OAAO,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;gBAC3E,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC;aACzB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,SAAS,KAAK,aAAa,EAAE,CAAC;YAC7C,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE;gBACtB,WAAW,EAAE,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM;gBAC/E,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC;aACzB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5C,MAAM,mBAAmB,GAAa,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC3C,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAS;QAC1C,8DAA8D;QAC9D,MAAM,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,mBAAmB,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,MAAM,CAAC,KAAK,MAAM,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,IAAI,gBAAgB,GAAG,IAAI,CAAC;IAC5B,IAAI,mBAAmB,GAAG,KAAK,KAAK,SAAS,CAAC;IAC9C,IAAI,KAAK,EAAE,CAAC;QACV,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAC/C,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9D,gBAAgB,GAAG,SAAS,CAAC,MAAM,KAAK,GAAG,CAAC;QAC9C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,gBAAgB,GAAG,KAAK,CAAC;YACzB,IAAI,CAAC,CAAC,KAAK,YAAY,sBAAsB,CAAC;gBAAE,MAAM,KAAK,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,kBAAkB,KAAK,IAAI,CAAC;QACvE,EAAE,kBAAkB,IAAI,IAAI,CAAC;IAC/B,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,CAAC,UAAU,EAAE,gBAAgB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAC5D,CAAC;IACF,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,oBAAoB,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;SAC9C,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC;SAC5C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CACpC,CAAC;IACF,MAAM,YAAY,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAE1E,0EAA0E;IAC1E,oEAAoE;IACpE,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACxE,MAAM,eAAe,GAAG,QAAQ;QAC9B,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,OAAO;QACvD,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,eAAe,GAAG,QAAQ,EAAE,eAAe,EAAE,MAAM,IAAI,IAAI,CAAC;IAClE,IAAI,OAAO,GAA2B,QAAQ,CAAC;IAC/C,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC;QAChF,gBAAgB,CAAC,iBAAiB,GAAG,CAAC;QACtC,eAAe,KAAK,cAAc,EAAE,CAAC;QACvC,OAAO,GAAG,cAAc,CAAC;IAC3B,CAAC;SAAM,IACL,mBAAmB,CAAC,MAAM,GAAG,CAAC;QAC9B,gBAAgB,CAAC,IAAI,GAAG,CAAC;QACzB,eAAe,KAAK,YAAY;QAChC,eAAe,KAAK,SAAS;QAC7B,eAAe,KAAK,cAAc;QAClC,eAAe,KAAK,SAAS;QAC7B,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,EACnD,CAAC;QACD,OAAO,GAAG,YAAY,CAAC;IACzB,CAAC;IAED,OAAO;QACL,MAAM;QACN,OAAO;QACP,eAAe,EAAE,eAAe;QAChC,MAAM;QACN,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAClC,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,aAAa,EAAE,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,OAAO;YACjD,MAAM,EAAE,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,OAAgB,CAAC,CAAC,CAAC,SAAkB;YACvE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,UAAU,IAAI,CAAC;YAChD,kBAAkB,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,IAAI,EAAE;YAC7D,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,IAAI,EAAE;YACnC,oBAAoB,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,sBAAsB;oBAC9D,IAAI,CAAC,QAAQ,EAAE,aAAa,IAAI,EAAE,CAAC,CAAC;YACtC,oBAAoB,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,sBAAsB,IAAI,EAAE,CAAC,CAAC;YACxE,YAAY,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,aAAa,IAAI,EAAE,CAAC,CAAC;YACvD,eAAe,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,gBAAgB,IAAI,EAAE,CAAC,CAAC;YAC7D,YAAY,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,aAAa,IAAI,EAAE,CAAC,CAAC;YACvD,oBAAoB,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,mBAAmB,IAAI,EAAE,CAAC,CAAC;YACrE,UAAU,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,IAAI,EAAE,CAAC,CAAC;YAClD,gBAAgB,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,iBAAiB,IAAI,EAAE,CAAC,CAAC;SAChE,CAAC,CAAC;QACH,KAAK;QACL,mBAAmB;QACnB,SAAS,EAAE,gBAAgB;QAC3B,QAAQ,EAAE;YACR,QAAQ,EAAE,WAAW,CAAC,IAAI;YAC1B,SAAS,EAAE,YAAY,CAAC,MAAM;YAC9B,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,WAAW,CAAC,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC;SAC7D;QACD,gBAAgB;QAChB,mBAAmB;QACnB,YAAY,EAAE,uBAAuB,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;KAC7E,CAAC;AACJ,CAAC"}

package/dist/canonical-state.d.ts

@@ -3,12 +3,29 @@
  * The canonical state is data, not Markdown. Prompt and state-file renderers
  * consume the same value so they cannot silently drift apart.
  */
-import type { ConstraintMeta, CriterionStatus, RecurringFlag, LoopCompileRequest, LoopCompileResponse, MilestoneSummary, SubGoal, VerificationFlag } from "./protocol.js";
+import type { ConstraintMeta, CriterionStatus, EvidencePosture, RecurringFlag, LoopCompileRequest, LoopCompileResponse, LoopRoundResult, PromptContextMode, PromptContextReason, SubGoal, VerificationFlag } from "./protocol.js";
 import type { ActiveContractView } from "./round-contract.js";
 import type { ContractItemStatusView } from "./contract-items.js";
-import type { ConfiguredCapability, VerifiedSubGoalFact } from "./protocol.js";
+import type { ConfiguredCapability } from "./protocol.js";
 import type { RoundFacts } from "./round-facts.js";
-export declare const CANONICAL_STATE_SCHEMA_VERSION: 1;
+import type { WorkingMemory } from "./working-memory.js";
+/** v4.0.3: schema 7 adds the previous/retry evidence posture, explicitly split
+ *  reported progress/issues/warnings, compile context and Working Memory
+ *  source counts. v4.0.4: schema 8 records the renamed context vocabulary
+ *  (`fresh_invocation`) in the derived declaration and stateHash. v4.0.5:
+ *  schema 9 adds the optional `currentUserInstruction` projection; schema 10
+ *  (v4.0.6) makes the objective the WORKING objective, falls back to it for
+ *  the Current Task, and removes the Agent-reported test counts. The state
+ *  file is regenerated every round; an older file is a stale view, not a
+ *  legacy document to decode. */
+export declare const CANONICAL_STATE_SCHEMA_VERSION: 10;
+/** v4.0.5: the ONE wording for "the host supplied no instruction". Prompt and
+ *  state file both render it; neither infers an instruction from the old task
+ *  or transcript. */
+export declare const CURRENT_USER_INSTRUCTION_NOT_PROVIDED = "not provided for this invocation (the Objective and Current Task remain operative).";
+/** v4.0.5: the protected section's fixed authority note. The instruction is
+ *  invocation input; it never edits the loop's objective or acceptance. */
+export declare const CURRENT_USER_INSTRUCTION_AUTHORITY: string;
 /** v3.7.1: Presentation view of sub-goals shared by prompts and the state
  *  file (one derivation, no second copy). Only ACTIVE items render as rows
  *  — pending/in_progress/blocked — ordered blocked → in_progress → pending
@@ -22,15 +39,44 @@ export declare function activeSubGoalView(subGoals: SubGoal[], cap: number): {
     canceled: number;
     total: number;
 };
-/** v3.3: Machine git-motion cross-check over the last committed rounds.
- *  Display-only companion to the R4/R5 exculpatory signal. Optional:
- *  absent when no committed rounds carry git snapshots — the object, when
- *  present, always carries definite values (v3.6: the null arms were dead —
- *  the derive path returns undefined wholesale instead of null fields). */
+/** v3.9.4: the ONE active-constraint partition. `criteria` is the active
+ *  success-criteria set; `hard` is the active hard set minus criteria;
+ *  `other` is every remaining active constraint. The three groups are
+ *  mutually exclusive and partition the active constraint texts that are
+ *  rendered by the prompt/state file. */
+export interface ActiveConstraintPartition {
+    criteria: string[];
+    hard: string[];
+    other: string[];
+}
+export declare function partitionActiveConstraints(state: {
+    successCriteria: ReadonlyArray<string>;
+    hardConstraints: ReadonlyArray<string>;
+    activeConstraints: ReadonlyArray<string>;
+}): ActiveConstraintPartition;
+/** v3.9.4: the ONE criterion row renderer for the normative prompt section.
+ *  It consumes the same `successCriteria`/`criterionStatuses` pair the state
+ *  file and submission boundary use, and reports the exact ids it emitted so
+ *  prompt coverage can prove them. */
+export declare function formatCriterionRows(statuses: ReadonlyArray<CriterionStatus>, successCriteria: ReadonlyArray<string>): {
+    lines: string[];
+    ids: string[];
+};
+/** v3.9.4: the ONE active-sub-goal formatter shared by the prompt and the
+ *  state file. Rows past `cap` lose their descriptions but NEVER their ids:
+ *  the overflow line lists every remaining `sg-*`. */
+export declare function formatActiveSubGoals(subGoals: ReadonlyArray<SubGoal>, round: number, cap?: number): {
+    lines: string[];
+    ids: string[];
+};
+/** v3.3/v3.9.7: provider-neutral machine progress over the last committed
+ *  rounds. Display-only companion to the stall signal. Optional: absent for
+ *  an incomplete window or when no progress provider participated. */
 export interface MachineStatus {
     windowRounds: number;
-    gitMotion: boolean;
-    motionRounds: number;
+    machineProgress: "changed" | "unchanged" | "unknown" | "not_applicable";
+    changedRounds: number;
+    providers: string[];
 }
 export interface CanonicalLoopState {
     schemaVersion: typeof CANONICAL_STATE_SCHEMA_VERSION;
@@ -39,23 +85,40 @@ export interface CanonicalLoopState {
     maxRounds: number;
     goalId: string;
     objective: string;
-    objectiveVersion: number;
     currentTask: string;
+    /** v4.0.5: the trimmed host-provided user instruction for this invocation.
+     *  Conditional presence keeps state hashes unchanged when none was given.
+     *  It is invocation input, never loop identity: it does not rewrite the
+     *  objective, criteria, constraints, contract or goal. */
+    currentUserInstruction?: string;
     successCriteria: string[];
     hardConstraints: string[];
     activeConstraints: string[];
     retiredConstraints: string[];
     /** v2.3: Per-constraint lifecycle metadata. */
     constraintMetadata: ConstraintMeta[];
-    changesSinceLastRound: string[];
-    remainingCriteria: string[];
-    blockers: string[];
+    /** v4.0.2: the bounded cognitive extension of this state. Present only when
+     *  committed history produced content; it is a derived projection, never a
+     *  second factual source and never persisted as its own store. */
+    workingMemory?: WorkingMemory;
+    /** Current retry's enforcement notice. A protected protocol fact for the
+     *  next prompt, not a committed history field. */
+    rejectionNotice: string | null;
+    /** Committed rollback recovery brief, present only in a recovery window.
+     *  Derived from the pending directive; prompt and state file share it. */
+    recoveryBrief?: string[];
+    /** v4.0.3: the previous committed evaluation's evidence posture. The prompt
+     *  and state file render it as Machine Evidence; it is never re-derived. */
+    previousEvidencePosture?: EvidencePosture;
+    /** v4.0.3: a fresh retry's transient posture (not committed). Rendered only
+     *  as "rejected attempt (not committed)". */
+    retryEvidencePosture?: EvidencePosture;
+    /** v4.0.3: Agent-reported blockers (`blocker` + constraint violations).
+     *  Explicitly distinct from compiler warnings. */
+    reportedIssues: string[];
+    /** v4.0.3: compiler warnings — machine/compile facts, not Agent reports. */
+    warnings: string[];
     verificationFlags: VerificationFlag[];
-    discoveries: string[];
-    rollingOutcomes: string[];
-    failedPatterns: string[];
-    /** v2.1: Phase-boundary milestone summaries that survive window eviction. */
-    milestones: MilestoneSummary[];
     /** v2.2: Structured sub-goals with compiler-managed lifecycle. */
     subGoals: SubGoal[];
     /** v3.2: Derived per-criterion status (goal → criteria → evidence view). */
@@ -64,17 +127,27 @@ export interface CanonicalLoopState {
      *  replaces the former Lessons list and the rolling summary's
      *  "recurring_issues" window; renderers filter it. */
     recurringFlags: RecurringFlag[];
-    externalContext: string;
     stateFilePath: string;
-    progress: {
+    /** v4.0.3: Agent-reported progress. Every field is a claim; the Machine
+     *  Evidence section is the machine side. */
+    reportedProgress: {
         criteriaMet: string[];
         criteriaRemaining: string[];
+        /** The same claim set, named for the state-file "remaining" section. */
+        agentReportedRemaining: string[];
         filesChanged: string[];
-        tests: {
-            passed: number;
-            failed: number;
-            skipped: number;
-        } | null;
+    };
+    /** v4.0.3: stable `oq-` ids the last committed round reported as resolved.
+     *  Agent report — display only; Working Memory removes the matching open
+     *  questions. Bounded at render time. */
+    resolvedOpenQuestionIds?: string[];
+    /** v4.0.3: the compile/transport context. Attempt is derived context, not a
+     *  committed fact. */
+    context?: {
+        round: number;
+        attempt: number;
+        mode: PromptContextMode;
+        reason: PromptContextReason;
     };
     /** v3.3: Machine git-motion cross-check for the progress dashboard.
      *  Conditional presence: absent when no committed git snapshots exist. */
@@ -89,17 +162,26 @@ export interface CanonicalLoopState {
      *  statement about what the agent claimed under it. Conditional presence:
      *  absent without an active contract. */
     contractItemStatuses?: ContractItemStatusView;
-    /** v3.8: Sub-goals a verified contract item backs. DERIVED, never
-     *  persisted — the machine's separate statement about a `done` sub-goal. */
-    verifiedSubGoals?: VerifiedSubGoalFact[];
     /** v3.8: The static verification capability (policy-derived). Unconditional:
      *  it is part of the round's verification context, so every state hash
      *  changes once, deliberately. */
     capability: ConfiguredCapability;
 }
+/**
+ * The active contract is the Current Task only when the runtime has a
+ * machine-verifiable contract capability and this invocation did not provide
+ * an explicit instruction.  The contract remains a separately rendered
+ * committed fact in every other case; this helper keeps prompt and state-file
+ * projections on the same rule as state construction.
+ */
+export declare function contractDrivesCurrentTask(state: Pick<CanonicalLoopState, "roundContract" | "currentUserInstruction" | "capability">): boolean;
 /** Deterministic JSON serialization used by state and prompt hashes. */
 export declare function stableStringify(value: unknown): string;
 export declare function hashCanonicalState(state: CanonicalLoopState): string;
+/** v3.9.7: the ONE constraint provenance label shared by the state file and
+ *  the prompt. A discovered/preserved constraint is an Agent report, never a
+ *  machine-verified fact. */
+export declare function constraintProvenanceLabel(meta: ConstraintMeta | undefined): string;
 /** v3.8.1: the one-line phase position — which phase the loop is in, and how
  *  far the next boundary is.
  *
@@ -111,19 +193,23 @@ export declare function hashCanonicalState(state: CanonicalLoopState): string;
  *
  *  Shared by the state-file and prompt renderers so they cannot drift apart
  *  (module contract above). Presentation only; never feeds enforcement. */
-export declare function buildPhaseLine(state: CanonicalLoopState): string;
-/** v3.3/v3.4: Render the ACTIVE Round Contract as the Current Task section
- *  body — the single formatting source shared by prompts and the state
- *  file (module contract above). The original objective is NOT here: it
- *  lives in the Objective section. Empty arrays render no line. */
-export declare function formatRoundContract(contract: ActiveContractView,
+/** v3.3/v3.4: Render the ACTIVE Round Contract body — the single formatting
+ *  source shared by prompts and the state file (module contract above). When
+ *  contract verification is available and no explicit invocation instruction
+ *  overrides it, this body is the Current Task; otherwise it is rendered as
+ *  the separate Active Round Contract section. The original objective lives
+ *  in the Objective section. Empty arrays render no line. */
+export interface FormattedRoundContract {
+    text: string;
+    /** IDs this rendering actually emitted (contract id + item ids). */
+    emittedIds: string[];
+}
+export declare function formatRoundContractWithIds(contract: ActiveContractView,
 /** v3.8: the derived item statuses. When given, each item renders with its
  *  machine status — the agent sees the verification debt in its own task. */
-statuses?: ContractItemStatusView | null): string;
-/** Milestone heading line ("**🏁 Round 7** (Rounds 3–7)"). Shared by the
- *  L2 Phase History and the detailed L1 renderer; the L1 copy previously
- *  rendered the range as "R3–R7", a format only this heading used. */
-export declare function milestoneHeading(milestone: MilestoneSummary): string;
+statuses?: ContractItemStatusView | null): FormattedRoundContract;
+/** Backwards-compatible text-only view used by the state file. */
+export declare function formatRoundContract(contract: ActiveContractView, statuses?: ContractItemStatusView | null): string;
 /** Options that vary per render: the retry attempt (single version of the
  *  file across attempts is impossible — the attempt IS part of the derived
  *  view) and the recovery-window Recovery Brief lines (W5, present only
@@ -131,6 +217,8 @@ export declare function milestoneHeading(milestone: MilestoneSummary): string;
 export interface StateFileRenderOptions {
     attempt?: number;
     recoveryBrief?: string[];
+    /** v4.0.3: compile context when the caller built the state without one. */
+    context?: CanonicalLoopState["context"];
 }
 /** Human/Agent-readable materialized view. It is always reproducible from the
  *  canonical state and is never consulted as transaction truth.
@@ -152,5 +240,29 @@ derived?: {
      *  assemble a state out of values derived over different history windows —
      *  v3.4/v3.8 passed them as three independent options. */
     roundFacts?: RoundFacts;
+    /** 3.9.3: the compile's ONE previous-round bundle. Structural subset of
+     *  `PreviousRoundFacts` so this module never imports the compiler. When
+     *  absent (direct/library callers) the request fields remain the
+     *  fallback. */
+    previousRound?: {
+        result: LoopRoundResult | null;
+        verificationFlags: VerificationFlag[];
+        /** v3.9.5: true only when `result` came from a committed round view.
+         *  Agent reports (wrong assumptions, blockers) enter the prompt/state
+         *  projection only under this flag; a library fallback is in-flight. */
+        committed?: boolean;
+        /** v4.0.3: the committed view's persisted posture. */
+        view?: {
+            evidencePosture?: EvidencePosture | null;
+        } | null;
+    };
+    /** v3.9.7: committed recovery brief, derived from the pending rollback
+     *  directive. Conditional — absent outside a recovery window. */
+    recoveryBrief?: string[];
+    /** v4.0.2: the compiler's ONE bounded Working Memory derivation. This
+     *  module never re-reads the Vault or re-interprets history. */
+    workingMemory?: WorkingMemory;
+    /** v4.0.3: the compile context boundary (derived by the compiler). */
+    context?: CanonicalLoopState["context"];
 }): CanonicalLoopState;
 //# sourceMappingURL=canonical-state.d.ts.map

package/dist/canonical-state.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"canonical-state.d.ts","sourceRoot":"","sources":["../src/canonical-state.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EACV,cAAc,EACd,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,OAAO,EACP,gBAAgB,EACjB,MAAM,eAAe,CAAC;AAIvB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAElE,OAAO,KAAK,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAC/E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,eAAO,MAAM,8BAA8B,EAAG,CAAU,CAAC;AAEzD;;;;;mCAKmC;AACnC,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,OAAO,EAAE,EACnB,GAAG,EAAE,MAAM,GACV;IACD,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf,CAiBA;AAED;;;;2EAI2E;AAC3E,MAAM,WAAW,aAAa;IAC5B,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,OAAO,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,kBAAkB;IACjC,aAAa,EAAE,OAAO,8BAA8B,CAAC;IACrD,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,gBAAgB,EAAE,MAAM,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,+CAA+C;IAC/C,kBAAkB,EAAE,cAAc,EAAE,CAAC;IACrC,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,6EAA6E;IAC7E,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAC/B,kEAAkE;IAClE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,4EAA4E;IAC5E,iBAAiB,EAAE,eAAe,EAAE,CAAC;IACrC;;0DAEsD;IACtD,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE;QACR,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,iBAAiB,EAAE,MAAM,EAAE,CAAC;QAC5B,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,KAAK,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAA;SAAE,GAAG,IAAI,CAAC;KACnE,CAAC;IACF;8EAC0E;IAC1E,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B;;;;mDAI+C;IAC/C,aAAa,CAAC,EAAE,kBAAkB,CAAC;IACnC;;6CAEyC;IACzC,oBAAoB,CAAC,EAAE,sBAAsB,CAAC;IAC9C;gFAC4E;IAC5E,gBAAgB,CAAC,EAAE,mBAAmB,EAAE,CAAC;IACzC;;sCAEkC;IAClC,UAAU,EAAE,oBAAoB,CAAC;CAClC;AAID,wEAAwE;AACxE,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAYtD;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAEpE;AAiFD;;;;;;;;;;2EAU2E;AAC3E,wBAAgB,cAAc,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAoBhE;AAED;;;mEAGmE;AACnE,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,kBAAkB;AAC5B;6EAC6E;AAC7E,QAAQ,CAAC,EAAE,sBAAsB,GAAG,IAAI,GACvC,MAAM,CA6BR;AAMD;;sEAEsE;AACtE,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,gBAAgB,GAAG,MAAM,CAKpE;AAgDD;;;2EAG2E;AAC3E,MAAM,WAAW,sBAAsB;IACrC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED;;;;;kEAKkE;AAClE,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,kBAAkB,EACzB,OAAO,CAAC,EAAE,sBAAsB,GAC/B,MAAM,CAkCR;AAgND,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,kBAAkB,EAC3B,QAAQ,EAAE,mBAAmB,EAC7B,aAAa,EAAE,MAAM;AACrB;wCACwC;AACxC,OAAO,CAAC,EAAE;IACR,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B;;;;;;8DAM0D;IAC1D,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB,GACA,kBAAkB,CAuFpB"}
+{"version":3,"file":"canonical-state.d.ts","sourceRoot":"","sources":["../src/canonical-state.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EACV,cAAc,EACd,eAAe,EACf,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,mBAAmB,EACnB,eAAe,EACf,iBAAiB,EACjB,mBAAmB,EACnB,OAAO,EACP,gBAAgB,EACjB,MAAM,eAAe,CAAC;AAWvB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAElE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAYzD;;;;;;;;iCAQiC;AACjC,eAAO,MAAM,8BAA8B,EAAG,EAAW,CAAC;AAE1D;;qBAEqB;AACrB,eAAO,MAAM,qCAAqC,wFACqC,CAAC;AAExF;2EAC2E;AAC3E,eAAO,MAAM,kCAAkC,QAGqB,CAAC;AAErE;;;;;mCAKmC;AACnC,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,OAAO,EAAE,EACnB,GAAG,EAAE,MAAM,GACV;IACD,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf,CAiBA;AAED;;;;yCAIyC;AACzC,MAAM,WAAW,yBAAyB;IACxC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE;IAChD,eAAe,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,eAAe,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,iBAAiB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC1C,GAAG,yBAAyB,CAY5B;AAaD;;;sCAGsC;AACtC,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EACxC,eAAe,EAAE,aAAa,CAAC,MAAM,CAAC,GACrC;IAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,MAAM,EAAE,CAAA;CAAE,CAyBpC;AAED;;sDAEsD;AACtD,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,EAChC,KAAK,EAAE,MAAM,EACb,GAAG,GAAE,MAAkD,GACtD;IAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,MAAM,EAAE,CAAA;CAAE,CA6BpC;AAED;;sEAEsE;AACtE,MAAM,WAAW,aAAa;IAC5B,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,SAAS,GAAG,WAAW,GAAG,SAAS,GAAG,gBAAgB,CAAC;IACxE,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,kBAAkB;IACjC,aAAa,EAAE,OAAO,8BAA8B,CAAC;IACrD,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB;;;8DAG0D;IAC1D,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,+CAA+C;IAC/C,kBAAkB,EAAE,cAAc,EAAE,CAAC;IACrC;;sEAEkE;IAClE,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B;sDACkD;IAClD,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B;8EAC0E;IAC1E,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB;gFAC4E;IAC5E,uBAAuB,CAAC,EAAE,eAAe,CAAC;IAC1C;iDAC6C;IAC7C,oBAAoB,CAAC,EAAE,eAAe,CAAC;IACvC;sDACkD;IAClD,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,4EAA4E;IAC5E,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,kEAAkE;IAClE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,4EAA4E;IAC5E,iBAAiB,EAAE,eAAe,EAAE,CAAC;IACrC;;0DAEsD;IACtD,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC,aAAa,EAAE,MAAM,CAAC;IACtB;gDAC4C;IAC5C,gBAAgB,EAAE;QAChB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,iBAAiB,EAAE,MAAM,EAAE,CAAC;QAC5B,wEAAwE;QACxE,sBAAsB,EAAE,MAAM,EAAE,CAAC;QACjC,YAAY,EAAE,MAAM,EAAE,CAAC;KACxB,CAAC;IACF;;6CAEyC;IACzC,uBAAuB,CAAC,EAAE,MAAM,EAAE,CAAC;IACnC;0BACsB;IACtB,OAAO,CAAC,EAAE;QACR,KAAK,EAAE,MAAM,CAAC;QACd,OAAO,EAAE,MAAM,CAAC;QAChB,IAAI,EAAE,iBAAiB,CAAC;QACxB,MAAM,EAAE,mBAAmB,CAAC;KAC7B,CAAC;IACF;8EAC0E;IAC1E,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B;;;;mDAI+C;IAC/C,aAAa,CAAC,EAAE,kBAAkB,CAAC;IACnC;;6CAEyC;IACzC,oBAAoB,CAAC,EAAE,sBAAsB,CAAC;IAC9C;;sCAEkC;IAClC,UAAU,EAAE,oBAAoB,CAAC;CAClC;AAED;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,kBAAkB,EACtE,eAAe,GAAG,wBAAwB,GAAG,YAAY,CAAC,GAAG,OAAO,CAIrE;AAID,wEAAwE;AACxE,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAYtD;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAEpE;AAmFD;;6BAE6B;AAC7B,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,cAAc,GAAG,SAAS,GAAG,MAAM,CAiBlF;AAED;;;;;;;;;;2EAU2E;AAC3E;;;;;6DAK6D;AAC7D,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,oEAAoE;IACpE,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,kBAAkB;AAC5B;6EAC6E;AAC7E,QAAQ,CAAC,EAAE,sBAAsB,GAAG,IAAI,GACvC,sBAAsB,CA0CxB;AAED,kEAAkE;AAClE,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,kBAAkB,EAC5B,QAAQ,CAAC,EAAE,sBAAsB,GAAG,IAAI,GACvC,MAAM,CAER;AA4DD;;;2EAG2E;AAC3E,MAAM,WAAW,sBAAsB;IACrC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,2EAA2E;IAC3E,OAAO,CAAC,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC;CACzC;AAED;;;;;kEAKkE;AAClE,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,kBAAkB,EACzB,OAAO,CAAC,EAAE,sBAAsB,GAC/B,MAAM,CAoDR;AAwPD,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,kBAAkB,EAC3B,QAAQ,EAAE,mBAAmB,EAC7B,aAAa,EAAE,MAAM;AACrB;wCACwC;AACxC,OAAO,CAAC,EAAE;IACR,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B;;;;;;8DAM0D;IAC1D,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB;;;oBAGgB;IAChB,aAAa,CAAC,EAAE;QACd,MAAM,EAAE,eAAe,GAAG,IAAI,CAAC;QAC/B,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;QACtC;;gFAEwE;QACxE,SAAS,CAAC,EAAE,OAAO,CAAC;QACpB,sDAAsD;QACtD,IAAI,CAAC,EAAE;YAAE,eAAe,CAAC,EAAE,eAAe,GAAG,IAAI,CAAA;SAAE,GAAG,IAAI,CAAC;KAC5D,CAAC;IACF;qEACiE;IACjE,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB;oEACgE;IAChE,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,sEAAsE;IACtE,OAAO,CAAC,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC;CACzC,GACA,kBAAkB,CAuHpB"}