loopforge 3.9.2 → 4.0.7

package/dist/mcp/submission-boundary.js

@@ -7,71 +7,107 @@
  *  future CLI command, or any direct `mgr.advance()` got NONE of it. The
  *  handler now only maps the result onto its tool envelope.
  *
- *  The placement is also what makes the ordering invariants hold. AGENTS.md:
- *  an invalid evaluation is handled BEFORE `RoundLifecycle.advance()` and
- *  "must not save session state, write the Vault, run verification or
- *  enforcement gates, increment rejection state, or record metrics". So it
- *  runs before the session queue and before the lease heartbeat — renewing a
- *  lease writes the session document, which would be a durable effect of a
- *  payload that was never accepted. It is judged before the session is even
- *  resolved, because a malformed evaluation is a payload defect whatever the
- *  session's state, and answering `session_not_found` for it would send the
- *  agent after the wrong problem.
+ *  The placement is also what makes the ordering invariants hold. v4.0.0:
+ *  `SessionManager` validates the `submissionHandle` (shape, session, exact
+ *  held snapshot) BEFORE this boundary and before its queue/lease heartbeat.
+ *  A stale handle short-circuits; only a matching handle's payload is judged
+ *  here. AGENTS.md's durable-effect invariant is unchanged: an invalid
+ *  evaluation must not save session state, write the Vault, run verification
+ *  or enforcement gates, increment rejection state, or record metrics. The
+ *  whole boundary still runs before the session queue and before the lease
+ *  heartbeat.
  *
- *  This module also owns the compile context the boundary reads, because the
- *  sub-goal reference space IS the compiled set the prompt carried — the
- *  session's own projection reads the same function, so the two cannot
- *  disagree about it.
+ *  This module derives the reference spaces the boundary reads from the same
+ *  committed history window the prompt was compiled from, so the prompt, the
+ *  boundary and `submission_guidance` cannot disagree about them.
  */
-import { queryLoopEntries } from "../loop-store.js";
-import { Mode } from "../protocol.js";
 import { deriveActiveRoundContract } from "../round-contract.js";
-import { derivationRounds } from "../committed-round.js";
+import { deriveContractRequirement } from "../contract-requirement.js";
+import { historyWindow, loadCommittedHistory } from "../history.js";
 import { boundedEmergedSubtasks, normalizeSelfEvaluation, parseSubGoalUpdates, validateContractShape, validateCoreSelfEvaluation, validateSubGoalUpdatesShape, } from "../self-eval.js";
-import { deriveEmergedItems, validateSubGoalUpdates } from "../subgoal-state.js";
-import { isConfiguredCommand } from "../policy.js";
-import { scopeEntryDetail } from "../workspace.js";
-import { isRecord } from "../token-utils.js";
-/** The compile response this round's prompt came from.
- *
- *  Cached-when-fresh (the artifact's deterministic roundId guards against
- *  stale reuse), recompiled otherwise with `persistLineage: false` so it never
- *  writes the Vault, and null when it cannot be observed. Callers fail OPEN:
- *  an unobservable reference space must not become a rejection. */
-export function compileSessionContext(session) {
-    const cached = session.lastCompileResponse;
-    const expectedRoundId = session.roundSnapshot?.roundId
-        ?? `loop:${session.loopId}:round:${session.currentRound}`;
-    if (cached?.prompt_artifact && cached.prompt_artifact.roundId === expectedRoundId) {
-        return cached;
-    }
+import { deriveEmergedItems, deriveSubGoals, validateSubGoalUpdates, } from "../subgoal-state.js";
+import { deriveConfiguredCapability, isConfiguredCommand } from "../policy.js";
+import { canonicalContractItemText, deriveCriterionId, isRecord, uniqueNormalized, } from "../token-utils.js";
+import { latestObjective } from "../loop-compiler.js";
+import { deriveConstraintProvenance, resolveConstraintRetractions, } from "../constraint-lifecycle.js";
+import { getPolicy } from "../policy.js";
+function referenceFactsFor(store, session) {
     try {
-        const request = {
-            task: session.task,
-            mode: Mode.LOOP_COMPILE,
-            feedback: null,
-            skill_name: null,
-            task_id: null,
-            loop_id: session.loopId,
-            round: session.currentRound,
-            max_rounds: session.maxRounds,
-            verification_flags: [],
-        };
-        const compiled = session.engine.invokeLoopCompile(request, undefined, { persistLineage: false });
-        return compiled.response ?? null;
+        const history = loadCommittedHistory(store, session.loopId);
+        const entries = history.entries;
+        const windowRounds = historyWindow(history, session.currentRound);
+        const subGoals = deriveSubGoals({
+            loopId: session.loopId,
+            currentRound: session.currentRound,
+            rounds: windowRounds,
+        });
+        // v3.9.6: the held acceptance is the operator fact. Committed objective
+        // lineage is the fallback for a snapshot that predates it — never a
+        // second compile of mutable session state.
+        const objective = session.roundSnapshot?.operatorAcceptance
+            ? {
+                objective: session.roundSnapshot.operatorAcceptance.task,
+                success_criteria: session.roundSnapshot.operatorAcceptance.success_criteria,
+                hard_constraints: session.roundSnapshot.operatorAcceptance.hard_constraints,
+                created_at_round: 1,
+                loop_id: session.loopId,
+            }
+            : latestObjective(session.loopId, { results: entries });
+        const criteriaTexts = objective?.success_criteria ?? null;
+        const criteria = criteriaTexts === null
+            ? null
+            : uniqueNormalized([...criteriaTexts]).map((text) => ({
+                id: deriveCriterionId(text),
+                text,
+            }));
+        // The held prompt's compile stamped the exact active set it rendered.
+        // This is the same text set the prompt carried; provenance is re-derived
+        // from the committed window, never from a second ledger.
+        const rawActive = session.roundSnapshot?.compiled?.constraintsActive ?? null;
+        const pending = history.pendingDirective?.recovery?.target.redo_round ===
+            session.currentRound
+            ? history.pendingDirective
+            : null;
+        const preservedDiscoveries = pending?.recovery &&
+            getPolicy().engine.backtrack_preserve_discoveries
+            ? pending.recovery.skipped_discoveries
+            : [];
+        const roundOnePlan = session.currentRound === 1
+            ? objective?.hard_constraints ?? []
+            : [];
+        const constraints = rawActive === null
+            ? null
+            : uniqueNormalized(rawActive).map((text) => ({
+                text,
+                provenance: deriveConstraintProvenance({
+                    text,
+                    objective,
+                    windowRounds,
+                    roundOnePlan,
+                    preservedDiscoveries,
+                    preservedRound: pending?.round,
+                }),
+            }));
+        const previouslyRetired = uniqueNormalized(windowRounds.flatMap((round) => round.compiledRetirements ?? round.retractedConstraints ?? []));
+        return { subGoals, criteria, constraints, previouslyRetired };
     }
     catch {
-        return null; // projection / boundary degrades gracefully
+        return {
+            subGoals: null,
+            criteria: null,
+            constraints: null,
+            previouslyRetired: [],
+        }; // projection degrades gracefully
     }
 }
-/** The sub-goal set an agent may legitimately reference: the compiled set the
+/** The sub-goal set an agent may legitimately reference: the committed set the
  *  prompt carried, PLUS this submission's own `emerged_subtasks` — a sub-goal
  *  may be created and referenced (or transitioned) in one round. Null when it
  *  cannot be observed. */
-export function knownSubGoalsFor(session, emerged, response = compileSessionContext(session)) {
-    if (!response?.sub_goals)
+export function knownSubGoalsFor(session, emerged, knownSubGoals) {
+    if (!knownSubGoals)
         return null;
-    const known = [...response.sub_goals];
+    const known = [...knownSubGoals];
     for (const item of deriveEmergedItems(session.loopId, session.currentRound, emerged)) {
         if (!known.some((subGoal) => subGoal.id === item.id)) {
             known.push({
@@ -89,20 +125,33 @@ export function knownSubGoalsFor(session, emerged, response = compileSessionCont
 /** The ACTIVE Round Contract governing a session's next round — ONE
  *  derivation, shared by the session's public view and the boundary. */
 export function activeContractOf(store, session) {
-    const prefix = `loop:${session.loopId}:`;
-    const entries = [
-        ...queryLoopEntries(store, session.loopId, { prefix }),
-        ...queryLoopEntries(store, session.loopId, { prefix, feedbackOnly: true }),
-    ];
-    return deriveActiveRoundContract(derivationRounds(entries, session.currentRound));
+    const history = loadCommittedHistory(store, session.loopId);
+    return deriveActiveRoundContract(historyWindow(history, session.currentRound));
 }
 /** Map a strict boundary error onto the same diagnostic vocabulary, without
  *  persisting it. Strict failures are returned only for that attempt. */
 function rejectedDiagnostic(path, code, detail) {
     return { path, code, handling: "rejected", detail };
 }
-const EVALUATION_REQUIRED = "A structured evaluation object is required. Resubmit the same roundId " +
-    "with success, output_summary, constraint_violations, and should_continue.";
+const EVALUATION_REQUIRED = "A structured evaluation object is required. Resubmit the same submissionHandle " +
+    "with outcome, output_summary, constraint_violations, and should_continue.";
+/** A contract refusal is either a malformed declaration or a coverage/stop
+ *  rule. The detailed reason is always in `contract_errors`; this top-level
+ *  sentence must not call a coverage refusal "malformed". */
+function contractRefusalDetail(errors) {
+    if (errors.some((error) => error.reason === "contract_on_stop")) {
+        return "A stopping or blocked round cannot leave a round_contract for the " +
+            "next round. Remove it and resubmit the same submissionHandle.";
+    }
+    if (errors.some((error) => error.reason === "contract_required")) {
+        return "This continuing round must leave an active Round Contract for the " +
+            "next round. Submit round_contract with a work_item and at least one " +
+            "item bound to a configured command, then resubmit the same " +
+            "submissionHandle.";
+    }
+    return "The Round Contract declaration or its item claims are malformed. " +
+        "Fix them and resubmit the same submissionHandle.";
+}
 /** THE submission boundary. Five checks, in this order, all of them before
  *  anything durable happens.
  *
@@ -161,7 +210,7 @@ export function validateSubmission(store, session, submission) {
     if (subgoalShapeErrors.length > 0) {
         return {
             ok: false,
-            stopDetail: "subgoal_updates is malformed. Fix the entries and resubmit the same roundId.",
+            stopDetail: "subgoal_updates is malformed. Fix the entries and resubmit the same submissionHandle.",
             submissionError: {
                 code: "evaluation_invalid",
                 details: {
@@ -173,8 +222,8 @@ export function validateSubmission(store, session, submission) {
             },
         };
     }
-    const compileResponse = session ? compileSessionContext(session) : null;
-    const known = session ? knownSubGoalsFor(session, emerged, compileResponse) : null;
+    const facts = session ? referenceFactsFor(store, session) : null;
+    const known = session ? knownSubGoalsFor(session, emerged, facts?.subGoals ?? null) : null;
     const updates = parseSubGoalUpdates(submission.subgoal_updates);
     if (updates.length > 0 && known) {
         const referentialErrors = validateSubGoalUpdates(known, updates).map((error) => ({
@@ -187,7 +236,7 @@ export function validateSubmission(store, session, submission) {
                 ok: false,
                 stopDetail: "subgoal_updates references a sub-goal this loop does not have, a " +
                     "terminal one, or an illegal transition. Fix the entries and " +
-                    "resubmit the same roundId.",
+                    "resubmit the same submissionHandle.",
                 submissionError: {
                     code: "evaluation_invalid",
                     details: {
@@ -200,12 +249,29 @@ export function validateSubmission(store, session, submission) {
             };
         }
     }
-    const contractErrors = contractShapeErrors(store, session, submission, known);
+    const retraction = resolveSubmissionRetractions(facts, submission);
+    if (retraction.errors.length > 0) {
+        return {
+            ok: false,
+            stopDetail: "retracted_constraints may only name active Agent-discovered constraints; " +
+                "operator criteria/hard constraints and plan constraints are not retractable. " +
+                "Remove them and resubmit the same submissionHandle.",
+            submissionError: {
+                code: "evaluation_invalid",
+                details: {
+                    missing: [],
+                    invalid: [],
+                    retraction_errors: retraction.errors,
+                    diagnostics: retraction.errors.map((error) => rejectedDiagnostic(error.field, error.reason, error.detail)),
+                },
+            },
+        };
+    }
+    const contractErrors = contractShapeErrors(store, session, submission, facts?.criteria ?? null);
     if (contractErrors.length > 0) {
         return {
             ok: false,
-            stopDetail: "The Round Contract declaration or its item claims are malformed. " +
-                "Fix them and resubmit the same roundId.",
+            stopDetail: contractRefusalDetail(contractErrors),
             submissionError: {
                 code: "contract_invalid",
                 details: {
@@ -217,32 +283,126 @@ export function validateSubmission(store, session, submission) {
             },
         };
     }
+    const normalized = normalizeSelfEvaluation(submission, {
+        knownCriterionRefs: facts?.criteria ?? null,
+        maxDiscoveredConstraints: getPolicy().evolution.max_discovered_constraints_per_round,
+    });
     return {
         ok: true,
-        ...normalizeSelfEvaluation(submission, {
-            knownCriterionRefs: knownCriterionRefsFor(compileResponse),
-        }),
+        evaluation: normalized.evaluation,
+        // No-op retractions are visible as diagnostics; they never reject and
+        // never appear as effective effects.
+        diagnostics: [
+            ...retraction.noopDiagnostics,
+            ...normalized.diagnostics,
+        ],
+        submittedFields: normalized.submittedFields,
     };
 }
-function knownCriterionRefsFor(response) {
-    return Array.isArray(response?.criterion_statuses)
-        ? response.criterion_statuses.map((criterion) => ({
-            id: criterion.id,
-            text: criterion.text,
-        }))
-        : null;
+function resolveSubmissionRetractions(facts, submission) {
+    const targets = Array.isArray(submission.retracted_constraints)
+        ? submission.retracted_constraints.filter((item) => typeof item === "string")
+        : [];
+    if (targets.length === 0 || !facts?.constraints) {
+        return { errors: [], noopDiagnostics: [] };
+    }
+    const newDiscoveries = Array.isArray(submission.discovered_constraints)
+        ? submission.discovered_constraints.filter((item) => typeof item === "string")
+        : [];
+    const resolved = resolveConstraintRetractions({
+        targets,
+        active: facts.constraints,
+        newDiscoveries,
+        previouslyRetired: facts.previouslyRetired,
+    });
+    return {
+        errors: resolved.errors.map((error) => ({
+            field: "retracted_constraints",
+            reason: error.reason,
+            detail: error.detail,
+        })),
+        noopDiagnostics: resolved.noops.map((noop) => ({
+            path: "retracted_constraints",
+            code: noop.reason,
+            handling: "dropped",
+            detail: `${noop.target}: ${noop.reason.replace(/_/g, " ")}`,
+        })),
+    };
 }
-function contractShapeErrors(store, session, submission, knownSubGoals) {
+function contractShapeErrors(store, session, submission, criteria) {
     const active = session ? activeContractOf(store, session) : null;
-    return validateContractShape(submission, {
+    const shapeErrors = validateContractShape(submission, {
         activeItemIds: session
             ? new Set((active?.items ?? []).map((item) => item.id))
             : null,
-        knownSubGoalIds: knownSubGoals
-            ? new Set(knownSubGoals.map((subGoal) => subGoal.id))
+        // v4.0.6: the `supersedes` modifier is a STRUCTURAL boundary like the
+        // contract itself. Target identity and "successor acceptance content
+        // actually changed" are checked only when the active contract was
+        // observable; structure stays strict either way.
+        observed: session !== undefined,
+        activeContractId: session ? active?.id ?? null : null,
+        activeItemIdentities: active
+            ? new Set(active.items.map((item) => canonicalContractItemText(item)))
+            : null,
+        knownCriterionIds: criteria
+            ? new Set(criteria.map((criterion) => criterion.id))
             : null,
         isConfiguredCommand,
-        checkScopeEntry: scopeEntryDetail,
     });
+    if (!session)
+        return shapeErrors;
+    // v4.0.6: contract coverage BEFORE round advancement, always with
+    // closure="open" — this attempt's evidence cannot be assumed to close the
+    // active contract. `contract_required` uses the SAME derivation as the
+    // post-evidence gate.
+    const errors = [...shapeErrors];
+    const proposalPresent = submission.round_contract !== undefined;
+    const shouldContinue = submission.should_continue !== false;
+    const blocked = submission.outcome === "blocked";
+    const requirement = deriveContractRequirement({
+        shouldContinue,
+        blocked,
+        proposalPresent,
+        activeContract: active,
+        closure: "open",
+        contractCapability: deriveConfiguredCapability(getPolicy()).contractVerificationAvailable,
+        successorRoundAvailable: session.maxRounds === undefined || session.currentRound < session.maxRounds,
+    });
+    if (requirement.required) {
+        errors.push({
+            field: "round_contract",
+            reason: "contract_required",
+            detail: requirement.reason === "no_active_contract"
+                ? "an after-capable verification command is configured and this round " +
+                    "continues, but no Round Contract is active for the next round and " +
+                    "none was proposed; submit round_contract (work_item + items with " +
+                    "verify_with)"
+                : "the active Round Contract closed and this round continues, but no " +
+                    "successor round_contract was proposed; submit the next slice's " +
+                    "contract",
+        });
+    }
+    if (proposalPresent && (!shouldContinue || blocked)) {
+        errors.push({
+            field: "round_contract",
+            reason: "contract_on_stop",
+            detail: !shouldContinue
+                ? "round_contract activates a NEXT-round contract; it cannot be submitted " +
+                    "with should_continue=false — a stopping round must not leave an " +
+                    "unused contract"
+                : "round_contract cannot be submitted with outcome=blocked — a blocked " +
+                    "round closes the contract and must not leave an unused successor",
+        });
+    }
+    if (proposalPresent && shouldContinue && !blocked &&
+        session.maxRounds !== undefined && session.currentRound >= session.maxRounds) {
+        errors.push({
+            field: "round_contract",
+            reason: "contract_on_stop",
+            detail: "This is the final configured round and has no successor consumer; " +
+                "remove round_contract and resubmit the same submissionHandle.",
+        });
+    }
+    return errors;
 }
 //# sourceMappingURL=submission-boundary.js.map

package/dist/mcp/submission-boundary.js.map

@@ -1 +1 @@
-{"version":3,"file":"submission-boundary.js","sourceRoot":"","sources":["../../src/mcp/submission-boundary.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAGH,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAGtC,OAAO,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AACjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAe7C;;;;;mEAKmE;AACnE,MAAM,UAAU,qBAAqB,CACnC,OAA8B;IAE9B,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAC3C,MAAM,eAAe,GAAG,OAAO,CAAC,aAAa,EAAE,OAAO;WACjD,QAAQ,OAAO,CAAC,MAAM,UAAU,OAAO,CAAC,YAAY,EAAE,CAAC;IAC5D,IAAI,MAAM,EAAE,eAAe,IAAI,MAAM,CAAC,eAAe,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;QAClF,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,CAAC;QACH,MAAM,OAAO,GAAqB;YAChC,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,IAAI,EAAE,IAAI,CAAC,YAAY;YACvB,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,OAAO,CAAC,MAAM;YACvB,KAAK,EAAE,OAAO,CAAC,YAAY;YAC3B,UAAU,EAAE,OAAO,CAAC,SAAS;YAC7B,kBAAkB,EAAE,EAAE;SACvB,CAAC;QACF,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC;QACjG,OAAO,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC,CAAC,4CAA4C;IAC3D,CAAC;AACH,CAAC;AAED;;;0BAG0B;AAC1B,MAAM,UAAU,gBAAgB,CAC9B,OAA8B,EAC9B,OAAiB,EACjB,WAAqC,qBAAqB,CAAC,OAAO,CAAC;IAEnE,IAAI,CAAC,QAAQ,EAAE,SAAS;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;IACtC,KAAK,MAAM,IAAI,IAAI,kBAAkB,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QACrF,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACrD,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,MAAM,EAAE,SAAS;gBACjB,iBAAiB,EAAE,OAAO,CAAC,YAAY;gBACvC,uBAAuB,EAAE,OAAO,CAAC,YAAY;gBAC7C,QAAQ,EAAE,KAAK,CAAC,MAAM;aACvB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;wEACwE;AACxE,MAAM,UAAU,gBAAgB,CAC9B,KAAgB,EAChB,OAAiD;IAEjD,MAAM,MAAM,GAAG,QAAQ,OAAO,CAAC,MAAM,GAAG,CAAC;IACzC,MAAM,OAAO,GAAiB;QAC5B,GAAG,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC;QACtD,GAAG,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;KAC3E,CAAC;IACF,OAAO,yBAAyB,CAC9B,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,YAAY,CAAC,CAChD,CAAC;AACJ,CAAC;AAiBD;yEACyE;AACzE,SAAS,kBAAkB,CACzB,IAAY,EACZ,IAAY,EACZ,MAAc;IAEd,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AACtD,CAAC;AAED,MAAM,mBAAmB,GACvB,wEAAwE;IACxE,2EAA2E,CAAC;AAE9E;;;;;;;;;;;;;;gEAcgE;AAChE,MAAM,UAAU,kBAAkB,CAChC,KAAgB,EAChB,OAA0C,EAC1C,UAAmB;IAEnB,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,mBAAmB;YAC/B,eAAe,EAAE;gBACf,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE;oBACP,OAAO,EAAE,CAAC,YAAY,CAAC;oBACvB,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;oBACtD,WAAW,EAAE;wBACX,kBAAkB,CAAC,YAAY,EAAE,eAAe,EAC9C,+BAA+B,CAAC;qBACnC;iBACF;aACF;SACF,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,mBAAmB;YAC/B,eAAe,EAAE;gBACf,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE;oBACP,GAAG,IAAI;oBACP,WAAW,EAAE;wBACX,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5B,kBAAkB,CAAC,KAAK,EAAE,UAAU,EAAE,wBAAwB,CAAC,CAAC;wBAClE,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3B,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,eAAe,EAC5C,YAAY,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;qBAClC;iBACF;aACF;SACF,CAAC;IACJ,CAAC;IACD,4EAA4E;IAC5E,6EAA6E;IAC7E,6EAA6E;IAC7E,uEAAuE;IACvE,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;IACpE,MAAM,kBAAkB,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACnE,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,8EAA8E;YAC1F,eAAe,EAAE;gBACf,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE;oBACP,OAAO,EAAE,EAAE;oBACX,OAAO,EAAE,EAAE;oBACX,cAAc,EAAE,kBAAkB;oBAClC,WAAW,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5C,kBAAkB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;iBAC/D;aACF;SACF,CAAC;IACJ,CAAC;IACD,MAAM,eAAe,GAAG,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnF,MAAM,OAAO,GAAG,mBAAmB,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;IAChE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC;QAChC,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC/E,KAAK,EAAE,iBAAiB;YACxB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE;SAC1D,CAAC,CAAC,CAAC;QACJ,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,UAAU,EACR,mEAAmE;oBACnE,8DAA8D;oBAC9D,4BAA4B;gBAC9B,eAAe,EAAE;oBACf,IAAI,EAAE,oBAAoB;oBAC1B,OAAO,EAAE;wBACP,OAAO,EAAE,EAAE;wBACX,OAAO,EAAE,EAAE;wBACX,cAAc,EAAE,iBAAiB;wBACjC,WAAW,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3C,kBAAkB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;qBAC/D;iBACF;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,cAAc,GAAG,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;IAC9E,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,UAAU,EACR,mEAAmE;gBACnE,yCAAyC;YAC3C,eAAe,EAAE;gBACf,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE;oBACP,OAAO,EAAE,EAAE;oBACX,OAAO,EAAE,EAAE;oBACX,eAAe,EAAE,cAAc;oBAC/B,WAAW,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACxC,kBAAkB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;iBAC/D;aACF;SACF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,EAAE,EAAE,IAAI;QACR,GAAG,uBAAuB,CAAC,UAAU,EAAE;YACrC,kBAAkB,EAAE,qBAAqB,CAAC,eAAe,CAAC;SAC3D,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,QAAkC;IAElC,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,kBAAkB,CAAC;QAChD,CAAC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAC9C,EAAE,EAAE,SAAS,CAAC,EAAE;YAChB,IAAI,EAAE,SAAS,CAAC,IAAI;SACrB,CAAC,CAAC;QACL,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAgB,EAChB,OAA0C,EAC1C,UAAmC,EACnC,aAA+B;IAE/B,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjE,OAAO,qBAAqB,CAAC,UAAU,EAAE;QACvC,aAAa,EAAE,OAAO;YACpB,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACvD,CAAC,CAAC,IAAI;QACR,eAAe,EAAE,aAAa;YAC5B,CAAC,CAAC,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACrD,CAAC,CAAC,IAAI;QACR,mBAAmB;QACnB,eAAe,EAAE,gBAAgB;KAClC,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"submission-boundary.js","sourceRoot":"","sources":["../../src/mcp/submission-boundary.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAQH,OAAO,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACpE,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAC/E,OAAO,EACL,yBAAyB,EACzB,iBAAiB,EACjB,QAAQ,EACR,gBAAgB,GACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EACL,0BAA0B,EAC1B,4BAA4B,GAE7B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AA4BzC,SAAS,iBAAiB,CACxB,KAAgB,EAChB,OAA8B;IAE9B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;QAChC,MAAM,YAAY,GAAG,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;QAClE,MAAM,QAAQ,GAAG,cAAc,CAAC;YAC9B,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,MAAM,EAAE,YAAY;SACrB,CAAC,CAAC;QACH,wEAAwE;QACxE,oEAAoE;QACpE,2CAA2C;QAC3C,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,EAAE,kBAAkB;YACzD,CAAC,CAAC;gBACE,SAAS,EAAE,OAAO,CAAC,aAAa,CAAC,kBAAkB,CAAC,IAAI;gBACxD,gBAAgB,EAAE,OAAO,CAAC,aAAa,CAAC,kBAAkB,CAAC,gBAAgB;gBAC3E,gBAAgB,EAAE,OAAO,CAAC,aAAa,CAAC,kBAAkB,CAAC,gBAAgB;gBAC3E,gBAAgB,EAAE,CAAC;gBACnB,OAAO,EAAE,OAAO,CAAC,MAAM;aACxB;YACH,CAAC,CAAC,eAAe,CACb,OAAO,CAAC,MAAM,EACd,EAAE,OAAO,EAAE,OAAO,EAAE,CACrB,CAAC;QACN,MAAM,aAAa,GACjB,SAAS,EAAE,gBAAgB,IAAI,IAAI,CAAC;QACtC,MAAM,QAAQ,GAAG,aAAa,KAAK,IAAI;YACrC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,gBAAgB,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAClD,EAAE,EAAE,iBAAiB,CAAC,IAAI,CAAC;gBAC3B,IAAI;aACL,CAAC,CAAC,CAAC;QAER,sEAAsE;QACtE,yEAAyE;QACzE,yDAAyD;QACzD,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,EAAE,QAAQ,EAAE,iBAAiB,IAAI,IAAI,CAAC;QAC7E,MAAM,OAAO,GAAG,OAAO,CAAC,gBAAgB,EAAE,QAAQ,EAAE,MAAM,CAAC,UAAU;YACjE,OAAO,CAAC,YAAY;YACtB,CAAC,CAAC,OAAO,CAAC,gBAAgB;YAC1B,CAAC,CAAC,IAAI,CAAC;QACT,MAAM,oBAAoB,GAAG,OAAO,EAAE,QAAQ;YAC5C,SAAS,EAAE,CAAC,MAAM,CAAC,8BAA8B;YACjD,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,mBAAmB;YACtC,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,KAAK,CAAC;YAC7C,CAAC,CAAC,SAAS,EAAE,gBAAgB,IAAI,EAAE;YACnC,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,WAAW,GAAG,SAAS,KAAK,IAAI;YACpC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACzC,IAAI;gBACJ,UAAU,EAAE,0BAA0B,CAAC;oBACrC,IAAI;oBACJ,SAAS;oBACT,YAAY;oBACZ,YAAY;oBACZ,oBAAoB;oBACpB,cAAc,EAAE,OAAO,EAAE,KAAK;iBAC/B,CAAC;aACH,CAAC,CAAC,CAAC;QACR,MAAM,iBAAiB,GAAG,gBAAgB,CACxC,YAAY,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7B,KAAK,CAAC,mBAAmB,IAAI,KAAK,CAAC,oBAAoB,IAAI,EAAE,CAAC,CACjE,CAAC;QACF,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,iBAAiB,EAAE,CAAC;IAChE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,IAAI;YACd,WAAW,EAAE,IAAI;YACjB,iBAAiB,EAAE,EAAE;SACtB,CAAC,CAAC,iCAAiC;IACtC,CAAC;AACH,CAAC;AAED;;;0BAG0B;AAC1B,MAAM,UAAU,gBAAgB,CAC9B,OAA8B,EAC9B,OAAiB,EACjB,aAA4C;IAE5C,IAAI,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,kBAAkB,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QACrF,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACrD,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,MAAM,EAAE,SAAS;gBACjB,iBAAiB,EAAE,OAAO,CAAC,YAAY;gBACvC,uBAAuB,EAAE,OAAO,CAAC,YAAY;gBAC7C,QAAQ,EAAE,KAAK,CAAC,MAAM;aACvB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;wEACwE;AACxE,MAAM,UAAU,gBAAgB,CAC9B,KAAgB,EAChB,OAAiD;IAEjD,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5D,OAAO,yBAAyB,CAC9B,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,YAAY,CAAC,CAC7C,CAAC;AACJ,CAAC;AAiBD;yEACyE;AACzE,SAAS,kBAAkB,CACzB,IAAY,EACZ,IAAY,EACZ,MAAc;IAEd,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AACtD,CAAC;AAED,MAAM,mBAAmB,GACvB,iFAAiF;IACjF,2EAA2E,CAAC;AAE9E;;6DAE6D;AAC7D,SAAS,qBAAqB,CAAC,MAAiC;IAC9D,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,kBAAkB,CAAC,EAAE,CAAC;QAChE,OAAO,oEAAoE;YACzE,+DAA+D,CAAC;IACpE,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,mBAAmB,CAAC,EAAE,CAAC;QACjE,OAAO,oEAAoE;YACzE,sEAAsE;YACtE,6DAA6D;YAC7D,mBAAmB,CAAC;IACxB,CAAC;IACD,OAAO,mEAAmE;QACxE,kDAAkD,CAAC;AACvD,CAAC;AAED;;;;;;;;;;;;;;gEAcgE;AAChE,MAAM,UAAU,kBAAkB,CAChC,KAAgB,EAChB,OAA0C,EAC1C,UAAmB;IAEnB,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,mBAAmB;YAC/B,eAAe,EAAE;gBACf,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE;oBACP,OAAO,EAAE,CAAC,YAAY,CAAC;oBACvB,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;oBACtD,WAAW,EAAE;wBACX,kBAAkB,CAAC,YAAY,EAAE,eAAe,EAC9C,+BAA+B,CAAC;qBACnC;iBACF;aACF;SACF,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,mBAAmB;YAC/B,eAAe,EAAE;gBACf,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE;oBACP,GAAG,IAAI;oBACP,WAAW,EAAE;wBACX,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5B,kBAAkB,CAAC,KAAK,EAAE,UAAU,EAAE,wBAAwB,CAAC,CAAC;wBAClE,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3B,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,eAAe,EAC5C,YAAY,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;qBAClC;iBACF;aACF;SACF,CAAC;IACJ,CAAC;IACD,4EAA4E;IAC5E,6EAA6E;IAC7E,6EAA6E;IAC7E,uEAAuE;IACvE,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;IACpE,MAAM,kBAAkB,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACnE,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,uFAAuF;YACnG,eAAe,EAAE;gBACf,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE;oBACP,OAAO,EAAE,EAAE;oBACX,OAAO,EAAE,EAAE;oBACX,cAAc,EAAE,kBAAkB;oBAClC,WAAW,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5C,kBAAkB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;iBAC/D;aACF;SACF,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjE,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3F,MAAM,OAAO,GAAG,mBAAmB,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;IAChE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC;QAChC,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC/E,KAAK,EAAE,iBAAiB;YACxB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE;SAC1D,CAAC,CAAC,CAAC;QACJ,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,UAAU,EACR,mEAAmE;oBACnE,8DAA8D;oBAC9D,qCAAqC;gBACvC,eAAe,EAAE;oBACf,IAAI,EAAE,oBAAoB;oBAC1B,OAAO,EAAE;wBACP,OAAO,EAAE,EAAE;wBACX,OAAO,EAAE,EAAE;wBACX,cAAc,EAAE,iBAAiB;wBACjC,WAAW,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3C,kBAAkB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;qBAC/D;iBACF;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,4BAA4B,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IACnE,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,UAAU,EACR,2EAA2E;gBAC3E,+EAA+E;gBAC/E,qDAAqD;YACvD,eAAe,EAAE;gBACf,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE;oBACP,OAAO,EAAE,EAAE;oBACX,OAAO,EAAE,EAAE;oBACX,iBAAiB,EAAE,UAAU,CAAC,MAAM;oBACpC,WAAW,EAAE,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3C,kBAAkB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;iBAC/D;aACF;SACF,CAAC;IACJ,CAAC;IACD,MAAM,cAAc,GAAG,mBAAmB,CACxC,KAAK,EACL,OAAO,EACP,UAAU,EACV,KAAK,EAAE,QAAQ,IAAI,IAAI,CACxB,CAAC;IACF,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,qBAAqB,CAAC,cAAc,CAAC;YACjD,eAAe,EAAE;gBACf,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE;oBACP,OAAO,EAAE,EAAE;oBACX,OAAO,EAAE,EAAE;oBACX,eAAe,EAAE,cAAc;oBAC/B,WAAW,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACxC,kBAAkB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;iBAC/D;aACF;SACF,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,uBAAuB,CAAC,UAAU,EAAE;QACrD,kBAAkB,EAAE,KAAK,EAAE,QAAQ,IAAI,IAAI;QAC3C,wBAAwB,EACtB,SAAS,EAAE,CAAC,SAAS,CAAC,oCAAoC;KAC7D,CAAC,CAAC;IACH,OAAO;QACL,EAAE,EAAE,IAAI;QACR,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,sEAAsE;QACtE,qCAAqC;QACrC,WAAW,EAAE;YACX,GAAG,UAAU,CAAC,eAAe;YAC7B,GAAG,UAAU,CAAC,WAAW;SAC1B;QACD,eAAe,EAAE,UAAU,CAAC,eAAe;KAC5C,CAAC;AACJ,CAAC;AAED,SAAS,4BAA4B,CACnC,KAAsC,EACtC,UAAmC;IAKnC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,qBAAqB,CAAC;QAC7D,CAAC,CAAC,UAAU,CAAC,qBAAqB,CAAC,MAAM,CACrC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC;QACvD,CAAC,CAAC,EAAE,CAAC;IACP,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC;QAChD,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,CAAC;IAC7C,CAAC;IACD,MAAM,cAAc,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,sBAAsB,CAAC;QACrE,CAAC,CAAC,UAAU,CAAC,sBAAsB,CAAC,MAAM,CACtC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC;QACvD,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,QAAQ,GAAG,4BAA4B,CAAC;QAC5C,OAAO;QACP,MAAM,EAAE,KAAK,CAAC,WAAW;QACzB,cAAc;QACd,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;KAC3C,CAAC,CAAC;IACH,OAAO;QACL,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,KAAK,EAAE,uBAAuB;YAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC,CAAC;QACH,eAAe,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC7C,IAAI,EAAE,uBAAuB;YAC7B,IAAI,EAAE,IAAI,CAAC,MAAM;YACjB,QAAQ,EAAE,SAAS;YACnB,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE;SAC5D,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAgB,EAChB,OAA0C,EAC1C,UAAmC,EACnC,QAA4D;IAE5D,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjE,MAAM,WAAW,GAAG,qBAAqB,CAAC,UAAU,EAAE;QACpD,aAAa,EAAE,OAAO;YACpB,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACvD,CAAC,CAAC,IAAI;QACR,sEAAsE;QACtE,qEAAqE;QACrE,kEAAkE;QAClE,iDAAiD;QACjD,QAAQ,EAAE,OAAO,KAAK,SAAS;QAC/B,gBAAgB,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI;QACrD,oBAAoB,EAAE,MAAM;YAC1B,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC;YACtE,CAAC,CAAC,IAAI;QACR,iBAAiB,EAAE,QAAQ;YACzB,CAAC,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACpD,CAAC,CAAC,IAAI;QACR,mBAAmB;KACpB,CAAC,CAAC;IACH,IAAI,CAAC,OAAO;QAAE,OAAO,WAAW,CAAC;IAEjC,kEAAkE;IAClE,0EAA0E;IAC1E,uEAAuE;IACvE,sBAAsB;IACtB,MAAM,MAAM,GAA8B,CAAC,GAAG,WAAW,CAAC,CAAC;IAC3D,MAAM,eAAe,GAAG,UAAU,CAAC,cAAc,KAAK,SAAS,CAAC;IAChE,MAAM,cAAc,GAAG,UAAU,CAAC,eAAe,KAAK,KAAK,CAAC;IAC5D,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,KAAK,SAAS,CAAC;IACjD,MAAM,WAAW,GAAG,yBAAyB,CAAC;QAC5C,cAAc;QACd,OAAO;QACP,eAAe;QACf,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,MAAM;QACf,kBAAkB,EAChB,0BAA0B,CAAC,SAAS,EAAE,CAAC,CAAC,6BAA6B;QACvE,uBAAuB,EACrB,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,CAAC,YAAY,GAAG,OAAO,CAAC,SAAS;KAC9E,CAAC,CAAC;IACH,IAAI,WAAW,CAAC,QAAQ,EAAE,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,gBAAgB;YACvB,MAAM,EAAE,mBAAmB;YAC3B,MAAM,EACJ,WAAW,CAAC,MAAM,KAAK,oBAAoB;gBACzC,CAAC,CAAC,qEAAqE;oBACrE,oEAAoE;oBACpE,mEAAmE;oBACnE,cAAc;gBAChB,CAAC,CAAC,oEAAoE;oBACpE,iEAAiE;oBACjE,UAAU;SACjB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,eAAe,IAAI,CAAC,CAAC,cAAc,IAAI,OAAO,CAAC,EAAE,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,gBAAgB;YACvB,MAAM,EAAE,kBAAkB;YAC1B,MAAM,EAAE,CAAC,cAAc;gBACrB,CAAC,CAAC,yEAAyE;oBACzE,kEAAkE;oBAClE,iBAAiB;gBACnB,CAAC,CAAC,sEAAsE;oBACtE,kEAAkE;SACvE,CAAC,CAAC;IACL,CAAC;IACD,IAAI,eAAe,IAAI,cAAc,IAAI,CAAC,OAAO;QAC7C,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACjF,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,gBAAgB;YACvB,MAAM,EAAE,kBAAkB;YAC1B,MAAM,EACJ,oEAAoE;gBACpE,+DAA+D;SAClE,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/mcp/submission-handle.d.ts

@@ -0,0 +1,66 @@
+/** v4.0.0: the ONE submission-handle projection and validator.
+ *
+ *  A handle bundles the three identities a held-round call needs. It is derived
+ *  from the persisted session snapshot on every response and is never written
+ *  to durable state. This module is deliberately free of I/O and of the
+ *  `McpSession` import: `round-lifecycle.ts` needs the factory, so importing
+ *  that module here would create a cycle.
+ */
+import type { SubmissionHandle } from "../protocol.js";
+import type { RoundTransactionSnapshot } from "../round-transaction.js";
+/** The structural session view the handle predicate needs. */
+export interface HeldSessionView {
+    sessionId: string;
+    currentRound: number;
+    status: "running" | "stopped" | "stalled" | "paused";
+    roundSnapshot?: RoundTransactionSnapshot | null;
+}
+/** THE held-prompt predicate. A snapshot is held only when it names the current
+ *  round and the exact prompted attempt the artifact was rendered for. A
+ *  committed/terminated/stopped/retrying snapshot must never expose a handle:
+ *  returning a stale prompt as "held" is the failure mode this predicate
+ *  closes. */
+export declare function heldPromptSnapshot(session: HeldSessionView | undefined): RoundTransactionSnapshot | null;
+/** Derive the handle from the held snapshot. Never recomputes the transaction
+ *  id (the snapshot's identity is the authority), never reads the vault, and
+ *  never mutates the session. */
+export declare function makeSubmissionHandle(session: HeldSessionView | undefined): SubmissionHandle | null;
+/** Strict shape parsing: a plain object with exactly the three non-empty
+ *  string fields. No trimming, case folding, prefix matching, or defaults. */
+export declare function parseSubmissionHandle(raw: unknown): SubmissionHandle | null;
+export type SubmissionHandleMismatchReason = "no_held_prompt" | "session" | "round" | "transaction" | "attempt";
+export type SubmissionHandleFailure = {
+    ok: false;
+    code: "submission_handle_required";
+    reason: "shape";
+    mismatched: [];
+    current: null;
+    detail: string;
+} | {
+    ok: false;
+    code: "session_not_found";
+    reason: "session";
+    mismatched: [];
+    current: null;
+    detail: string;
+} | {
+    ok: false;
+    code: "submission_handle_mismatch";
+    reason: SubmissionHandleMismatchReason;
+    mismatched: string[];
+    current: SubmissionHandle | null;
+    detail: string;
+};
+export type SubmissionHandleCheck = {
+    ok: true;
+    handle: SubmissionHandle;
+    snapshot: RoundTransactionSnapshot;
+} | SubmissionHandleFailure;
+/** Exact comparison against the held snapshot. The caller resolves the session
+ *  by `handle.sessionId`; this function owns every field comparison so no
+ *  second anchor rule can appear in the lifecycle or transport. */
+export declare function validateSubmissionHandle(raw: unknown, session: HeldSessionView | undefined): SubmissionHandleCheck;
+/** The one deterministic warning used whenever a stale handle returns the
+ *  held prompt. It names no ids and never changes with the attempt. */
+export declare function staleHandleWarning(): string;
+//# sourceMappingURL=submission-handle.d.ts.map

package/dist/mcp/submission-handle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"submission-handle.d.ts","sourceRoot":"","sources":["../../src/mcp/submission-handle.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AAExE,8DAA8D;AAC9D,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,CAAC;IACrD,aAAa,CAAC,EAAE,wBAAwB,GAAG,IAAI,CAAC;CACjD;AAED;;;;cAIc;AACd,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,eAAe,GAAG,SAAS,GACnC,wBAAwB,GAAG,IAAI,CAgBjC;AAED;;iCAEiC;AACjC,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,eAAe,GAAG,SAAS,GACnC,gBAAgB,GAAG,IAAI,CAYzB;AAED;8EAC8E;AAC9E,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,OAAO,GAAG,gBAAgB,GAAG,IAAI,CAc3E;AAED,MAAM,MAAM,8BAA8B,GACtC,gBAAgB,GAChB,SAAS,GACT,OAAO,GACP,aAAa,GACb,SAAS,CAAC;AAEd,MAAM,MAAM,uBAAuB,GAC/B;IACE,EAAE,EAAE,KAAK,CAAC;IACV,IAAI,EAAE,4BAA4B,CAAC;IACnC,MAAM,EAAE,OAAO,CAAC;IAChB,UAAU,EAAE,EAAE,CAAC;IACf,OAAO,EAAE,IAAI,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB,GACD;IACE,EAAE,EAAE,KAAK,CAAC;IACV,IAAI,EAAE,mBAAmB,CAAC;IAC1B,MAAM,EAAE,SAAS,CAAC;IAClB,UAAU,EAAE,EAAE,CAAC;IACf,OAAO,EAAE,IAAI,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB,GACD;IACE,EAAE,EAAE,KAAK,CAAC;IACV,IAAI,EAAE,4BAA4B,CAAC;IACnC,MAAM,EAAE,8BAA8B,CAAC;IACvC,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,OAAO,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACjC,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEN,MAAM,MAAM,qBAAqB,GAC7B;IACE,EAAE,EAAE,IAAI,CAAC;IACT,MAAM,EAAE,gBAAgB,CAAC;IACzB,QAAQ,EAAE,wBAAwB,CAAC;CACpC,GACD,uBAAuB,CAAC;AAE5B;;mEAEmE;AACnE,wBAAgB,wBAAwB,CACtC,GAAG,EAAE,OAAO,EACZ,OAAO,EAAE,eAAe,GAAG,SAAS,GACnC,qBAAqB,CAuFvB;AAED;uEACuE;AACvE,wBAAgB,kBAAkB,IAAI,MAAM,CAK3C"}