@petepetrash/circuit 0.1.0

package/dist/schemas/run-envelope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-envelope.d.ts","sourceRoot":"","sources":["../../src/schemas/run-envelope.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAOxB,eAAO,MAAM,kBAAkB;;;;;;EAM7B,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAEpE,eAAO,MAAM,iBAAiB;;;;;;;EAO5B,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAWlE,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAevB,CAAC;AACL,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAE5D,eAAO,MAAM,uBAAuB;;;;;;EAMlC,CAAC;AACH,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAE9E,QAAA,MAAM,mBAAmB;;;;;;;;;;kBAMd,CAAC;AACZ,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEtE,QAAA,MAAM,YAAY;;;;;;;;;;;;;;kBAed,CAAC;AACL,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAyCjB,CAAC;AACZ,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAE9D,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;kBAgChB,CAAC;AACZ,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAE5D,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAuD1B,CAAC;AACL,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAElE,QAAA,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAON,CAAC;AACZ,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEtD,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAiE1B,CAAC;AACL,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAElE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA+CnB,CAAC;AACZ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAWlE,eAAO,MAAM,wBAAwB;;;;;;;;kBAsBjC,CAAC;AACL,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAEhF,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAiC7B,CAAC;AACL,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAExE,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAgBlB,CAAC;AACZ,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAEhE,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA+DhC,CAAC;AACL,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAE9E,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA0I1B,CAAC;AACL,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC"}

package/dist/schemas/run-envelope.js

@@ -0,0 +1,578 @@
+import { z } from 'zod';
+import { CompiledFlowId, RunId, StepId } from './ids.js';
+import { Ref } from './ref.js';
+import { RunClosedOutcome } from './trace-entry.js';
+const REQUIRED_GATE_PASSES = 2;
+export const RunEnvelopeOutcome = z.enum([
+    'complete',
+    'needs_attention',
+    'blocked',
+    'failed',
+    'handoff',
+]);
+export const RunEvidenceSource = z.enum([
+    'child_result',
+    'operator_summary',
+    'process_report',
+    'process_evidence',
+    'memory',
+    'operator_input',
+]);
+const EvidenceSourceRefKind = {
+    child_result: ['report'],
+    operator_summary: ['report'],
+    process_report: ['report'],
+    process_evidence: ['evidence'],
+    memory: ['memory'],
+    operator_input: ['operator_input'],
+};
+export const RunEvidenceRef = z
+    .object({
+    source: RunEvidenceSource,
+    ref: Ref,
+})
+    .strict()
+    .superRefine((evidence, ctx) => {
+    const allowed = EvidenceSourceRefKind[evidence.source];
+    if (!allowed.includes(evidence.ref.kind)) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['ref', 'kind'],
+            message: `${evidence.source} evidence cannot use ${evidence.ref.kind} refs`,
+        });
+    }
+});
+export const RunRequiredEvidenceKind = z.enum([
+    'command',
+    'report',
+    'review',
+    'source',
+    'checkpoint',
+]);
+const RunRequiredEvidence = z
+    .object({
+    kind: RunRequiredEvidenceKind,
+    description: z.string().min(1),
+    required: z.boolean(),
+})
+    .strict();
+const RunDoneClaim = z
+    .object({
+    id: z.string().min(1),
+    claim: z.string().min(1),
+    required_evidence: z.array(RunRequiredEvidence).min(1),
+})
+    .strict()
+    .superRefine((claim, ctx) => {
+    if (!claim.required_evidence.some((evidence) => evidence.required)) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['required_evidence'],
+            message: 'each done_when item must include at least one required evidence entry',
+        });
+    }
+});
+export const RunGoalContract = z
+    .object({
+    schema: z.literal('run.goal-contract@v0'),
+    objective: z.string().min(1),
+    scope: z
+        .object({
+        in: z.array(z.string().min(1)),
+        out: z.array(z.string().min(1)),
+        assumptions: z.array(z.string().min(1)),
+    })
+        .strict(),
+    constraints: z.array(z.string().min(1)),
+    done_when: z.array(RunDoneClaim).min(1),
+    recovery_policy: z
+        .object({
+        max_process_attempts: z.number().int().positive().max(10),
+        allowed_routes: z
+            .array(z.enum([
+            'retry-process',
+            'run-fix',
+            'run-review',
+            'run-explore',
+            'split-to-pursue',
+            'checkpoint',
+            'handoff',
+            'blocked',
+        ]))
+            .min(1),
+    })
+        .strict(),
+    stop_conditions: z.array(z.string().min(1)),
+    completion_gate: z
+        .object({
+        required_passes: z.literal(REQUIRED_GATE_PASSES),
+        blocking_severities: z.array(z.enum(['critical', 'high', 'medium'])).min(1),
+        reset_on_blocking_finding: z.literal(true),
+    })
+        .strict(),
+})
+    .strict();
+export const RunProcessPlan = z
+    .object({
+    schema: z.literal('run.process-plan@v0'),
+    selection_source: z.enum([
+        'explicit_operator_request',
+        'goal_contract',
+        'completion_followup',
+        'recovery',
+    ]),
+    rationale: z.string().min(1),
+    planned_attempts: z
+        .array(z
+        .object({
+        attempt_id: z.string().min(1),
+        process_id: CompiledFlowId,
+        goal: z.string().min(1),
+        expected_evidence: z.array(z.string().min(1)),
+        depends_on_attempt_ids: z.array(z.string().min(1)),
+        followup_for: z
+            .object({
+            claim_id: z.string().min(1),
+            prior_attempt_id: z.string().min(1),
+            missing_evidence: z.array(z.string().min(1)).min(1),
+        })
+            .strict()
+            .optional(),
+    })
+        .strict())
+        .min(1),
+})
+    .strict();
+export const RunProcessAttempt = z
+    .object({
+    schema: z.literal('run.process-attempt@v0'),
+    attempt_id: z.string().min(1),
+    process_id: CompiledFlowId,
+    goal: z.string().min(1),
+    started_at: z.iso.datetime(),
+    completed_at: z.iso.datetime().optional(),
+    outcome: z.enum([
+        'complete',
+        'needs_attention',
+        'blocked',
+        'failed',
+        'handoff',
+        'checkpoint_waiting',
+    ]),
+    child_run: z
+        .object({
+        run_id: RunId,
+        run_folder: z.string().min(1),
+        result_ref: RunEvidenceRef.optional(),
+        trace_entries_observed: z.number().int().nonnegative(),
+        manifest_hash: z.string().min(1).optional(),
+    })
+        .strict(),
+    checkpoint: z
+        .object({
+        step_id: StepId,
+        request_ref: Ref,
+        allowed_choices: z.array(z.string().min(1)).min(1),
+    })
+        .strict()
+        .optional(),
+    evidence_refs: z.array(RunEvidenceRef),
+    summary: z.string().min(1),
+    blocked_reason: z.string().min(1).optional(),
+})
+    .strict()
+    .superRefine((attempt, ctx) => {
+    if (attempt.outcome === 'checkpoint_waiting') {
+        if (attempt.checkpoint === undefined) {
+            ctx.addIssue({
+                code: 'custom',
+                path: ['checkpoint'],
+                message: 'checkpoint_waiting attempts require checkpoint metadata',
+            });
+        }
+        if (attempt.child_run.result_ref !== undefined) {
+            ctx.addIssue({
+                code: 'custom',
+                path: ['child_run', 'result_ref'],
+                message: 'checkpoint_waiting attempts must not have a child result ref',
+            });
+        }
+    }
+});
+const RunGatePass = z
+    .object({
+    pass_id: z.string().min(1),
+    attack_lens: z.string().min(1),
+    evidence_checked: z.array(RunEvidenceRef),
+    verdict: z.enum(['gate-pass', 'blocking-finding']),
+})
+    .strict();
+export const RunCompletionGate = z
+    .object({
+    schema: z.literal('run.completion-gate@v0'),
+    verdict: z.enum(['complete', 'needs_followup', 'blocked', 'failed', 'handoff']),
+    claim_results: z.array(z
+        .object({
+        claim_id: z.string().min(1),
+        status: z.enum(['proved', 'missing', 'contradicted', 'blocked']),
+        evidence: z.array(RunEvidenceRef),
+        gap: z.string().min(1).optional(),
+    })
+        .strict()),
+    gate_passes: z.array(RunGatePass),
+    clean_streak: z.number().int().nonnegative(),
+    required_passes: z.literal(REQUIRED_GATE_PASSES),
+    next_action: z.enum([
+        'close',
+        'plan-followup-process',
+        'ask-operator',
+        'blocked',
+        'handoff',
+        'failed',
+    ]),
+})
+    .strict()
+    .superRefine((gate, ctx) => {
+    const lenses = new Set(gate.gate_passes.map((pass) => pass.attack_lens));
+    if (lenses.size !== gate.gate_passes.length) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['gate_passes'],
+            message: 'gate passes must use distinct attack lenses',
+        });
+    }
+    const allClaimsProved = gate.claim_results.every((claim) => claim.status === 'proved');
+    if (gate.verdict === 'complete') {
+        if (!allClaimsProved) {
+            ctx.addIssue({
+                code: 'custom',
+                path: ['claim_results'],
+                message: 'complete gate verdict requires every claim result to be proved',
+            });
+        }
+        if (gate.clean_streak < gate.required_passes ||
+            gate.gate_passes.filter((pass) => pass.verdict === 'gate-pass').length <
+                gate.required_passes) {
+            ctx.addIssue({
+                code: 'custom',
+                path: ['gate_passes'],
+                message: 'complete gate verdict requires two clean gate passes',
+            });
+        }
+        if (gate.next_action !== 'close') {
+            ctx.addIssue({
+                code: 'custom',
+                path: ['next_action'],
+                message: 'complete gate verdict requires close next_action',
+            });
+        }
+    }
+});
+export const RunDecisionPacket = z
+    .object({
+    schema: z.literal('run.decision-packet@v0'),
+    decision_id: z.string().min(1),
+    reason: z.enum([
+        'process-checkpoint',
+        'missing-evidence',
+        'strict-skill-unavailable',
+        'operator-judgment',
+    ]),
+    prompt: z.string().min(1),
+    choices: z
+        .array(z
+        .object({
+        id: z.string().min(1),
+        label: z.string().min(1),
+        effect: z.string().min(1),
+    })
+        .strict())
+        .min(1),
+    resume_target: z.discriminatedUnion('kind', [
+        z
+            .object({
+            kind: z.literal('run-envelope'),
+            run_id: RunId,
+        })
+            .strict(),
+        z
+            .object({
+            kind: z.literal('process-checkpoint'),
+            run_id: RunId,
+            step_id: StepId,
+            request_ref: Ref,
+        })
+            .strict(),
+    ]),
+    artifact_refs: z.array(Ref),
+    html_projection: z
+        .object({
+        kind: z.literal('optional'),
+        projector: z.string().min(1),
+    })
+        .strict()
+        .optional(),
+})
+    .strict();
+// Slice 5 (D3): the produce-side freshness of the cited source at write time,
+// mirroring the memory-input layer's `MemoryStaleness` shape (status + a
+// non-empty reason-code set + a checked_at stamp) without importing it — the
+// run-envelope module stays decoupled from the memory-input module, and a
+// reason-code consistency refine pins the same `unknown -> memory_unverified` /
+// `stale -> memory_stale` invariants the memory layer enforces. Optional, so
+// every existing (empty `memory_update_events`) history is unaffected.
+const RunMemoryUpdateReasonCode = z.string().regex(/^[a-z][a-z0-9_]*$/);
+export const RunMemoryUpdateStaleness = z
+    .object({
+    status: z.enum(['fresh', 'stale', 'unknown']),
+    checked_at: z.iso.datetime(),
+    reason_codes: z.array(RunMemoryUpdateReasonCode).min(1),
+})
+    .strict()
+    .superRefine((staleness, ctx) => {
+    if (staleness.status === 'unknown' && !staleness.reason_codes.includes('memory_unverified')) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            path: ['reason_codes'],
+            message: 'unknown memory-update staleness requires memory_unverified reason code',
+        });
+    }
+    if (staleness.status === 'stale' && !staleness.reason_codes.includes('memory_stale')) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            path: ['reason_codes'],
+            message: 'stale memory-update staleness requires memory_stale reason code',
+        });
+    }
+});
+export const RunMemoryUpdateEvent = z
+    .object({
+    schema: z.literal('run.memory-update-event@v0'),
+    event_id: z.string().min(1),
+    scope: z.enum(['project', 'flow']),
+    flow_id: CompiledFlowId.optional(),
+    action: z.enum(['proposed', 'recorded', 'skipped', 'rejected']),
+    reason: z.string().min(1),
+    summary: z.string().min(1),
+    source_refs: z.array(Ref).min(1),
+    authority: z.literal('hint_only'),
+    operator_indicator: z.string().min(1).optional(),
+    staleness: RunMemoryUpdateStaleness.optional(),
+})
+    .strict()
+    .superRefine((event, ctx) => {
+    if ((event.action === 'proposed' || event.action === 'recorded') &&
+        event.operator_indicator === undefined) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['operator_indicator'],
+            message: 'proposed and recorded memory updates require an operator indicator',
+        });
+    }
+    if (event.scope === 'flow' && event.flow_id === undefined) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['flow_id'],
+            message: 'flow-scoped memory updates require flow_id',
+        });
+    }
+});
+export const RunSurfaceOutput = z
+    .object({
+    schema: z.literal('run.surface-output@v0'),
+    status_text: z.string().min(1),
+    outcome: RunEnvelopeOutcome,
+    // The flow's own primary-result outcome word, carried only when the run
+    // reached @complete but that flow result was degraded (e.g. a Fix that
+    // closed `partial` because the independent review was skipped). It is the
+    // quality axis, distinct from `outcome` (the run lifecycle axis), so a
+    // degraded run does not read as an unqualified pass. Absent on clean runs.
+    flow_outcome: z.string().min(1).optional(),
+    next_action: z.string().min(1).optional(),
+    artifact_links: z.array(Ref).min(1),
+    memory_indicator: z.string().min(1).optional(),
+    decision_packet_ref: Ref.optional(),
+})
+    .strict();
+export const RunEnvelopeShadowRecord = z
+    .object({
+    schema: z.literal('run.envelope-shadow@v0'),
+    mode: z.literal('shadow'),
+    shadow_reason: z.literal('source-owned-run-not-active'),
+    run_id: RunId,
+    operator_intent: z.string().min(1),
+    recorded_at: z.iso.datetime(),
+    selected_process: z
+        .object({
+        process_id: CompiledFlowId,
+        routed_by: z.literal('explicit').optional(),
+        router_reason: z.string().min(1),
+        entry_mode: z.string().min(1).optional(),
+    })
+        .strict(),
+    child_run: z
+        .object({
+        run_id: RunId,
+        run_folder: z.string().min(1),
+        flow_id: CompiledFlowId,
+        outcome: z.union([RunClosedOutcome, z.literal('checkpoint_waiting')]),
+        trace_entries_observed: z.number().int().nonnegative(),
+        manifest_hash: z.string().min(1),
+        result_ref: RunEvidenceRef.optional(),
+        checkpoint: z
+            .object({
+            step_id: StepId,
+            request_ref: Ref,
+            allowed_choices: z.array(z.string().min(1)).min(1),
+        })
+            .strict()
+            .optional(),
+    })
+        .strict(),
+    artifact_links: z.array(Ref).min(1),
+})
+    .strict()
+    .superRefine((record, ctx) => {
+    if (record.child_run.outcome === 'checkpoint_waiting') {
+        if (record.child_run.result_ref !== undefined) {
+            ctx.addIssue({
+                code: 'custom',
+                path: ['child_run', 'result_ref'],
+                message: 'checkpoint_waiting shadow records must not include a result ref',
+            });
+        }
+        if (record.child_run.checkpoint === undefined) {
+            ctx.addIssue({
+                code: 'custom',
+                path: ['child_run', 'checkpoint'],
+                message: 'checkpoint_waiting shadow records require checkpoint metadata',
+            });
+        }
+        return;
+    }
+    if (record.child_run.result_ref === undefined) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['child_run', 'result_ref'],
+            message: 'closed child runs require a result ref',
+        });
+    }
+});
+export const RunEnvelopeRecord = z
+    .object({
+    schema: z.literal('run.envelope@v0'),
+    run_id: RunId,
+    operator_intent: z.string().min(1),
+    explicit_constraints: z.array(z.string().min(1)),
+    explicit_process_request: CompiledFlowId.optional(),
+    memory_context: z
+        .object({
+        used: z.boolean(),
+        memory_input_ids: z.array(z.string().min(1)),
+        authority: z.literal('hint_only'),
+    })
+        .strict(),
+    goal_contract: RunGoalContract,
+    process_plan: RunProcessPlan,
+    process_attempts: z.array(RunProcessAttempt),
+    completion_gate: RunCompletionGate,
+    decision_packets: z.array(RunDecisionPacket),
+    // Slice 5 (D3): at most one memory update per run, so "fire on signal, not
+    // on completion" is enforced by Zod rather than narrated. An empty array
+    // (every run today) still satisfies `.max(1)`, so this breaks nothing.
+    memory_update_events: z.array(RunMemoryUpdateEvent).max(1),
+    surface_output: RunSurfaceOutput,
+    outcome: RunEnvelopeOutcome,
+})
+    .strict()
+    .superRefine((record, ctx) => {
+    if (record.surface_output.outcome !== record.outcome) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['surface_output', 'outcome'],
+            message: 'surface output outcome must match record outcome',
+        });
+    }
+    const claimResults = new Map(record.completion_gate.claim_results.map((claim) => [claim.claim_id, claim]));
+    const requiredClaimIds = record.goal_contract.done_when.map((claim) => claim.id);
+    const requiredClaimsProved = requiredClaimIds.every((claimId) => claimResults.get(claimId)?.status === 'proved');
+    if (record.outcome === 'complete' && record.completion_gate.verdict !== 'complete') {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['completion_gate', 'verdict'],
+            message: 'complete record outcome requires complete gate verdict',
+        });
+    }
+    if (record.outcome === 'complete' && !requiredClaimsProved) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['completion_gate', 'claim_results'],
+            message: 'complete record outcome requires all required claims to be proved',
+        });
+    }
+    const executedAttemptIds = new Set(record.process_attempts.map((attempt) => attempt.attempt_id));
+    if (record.completion_gate.verdict === 'needs_followup') {
+        const hasFollowupAttempt = record.process_plan.planned_attempts.some((attempt) => !executedAttemptIds.has(attempt.attempt_id) &&
+            attempt.followup_for !== undefined &&
+            executedAttemptIds.has(attempt.followup_for.prior_attempt_id) &&
+            (attempt.depends_on_attempt_ids.includes(attempt.followup_for.prior_attempt_id) ||
+                record.process_attempts.length === 0));
+        if (!hasFollowupAttempt && record.decision_packets.length === 0) {
+            ctx.addIssue({
+                code: 'custom',
+                path: ['process_plan', 'planned_attempts'],
+                message: 'needs_followup requires a planned follow-up attempt with missing claim provenance or a decision packet',
+            });
+        }
+        if (record.outcome === 'complete') {
+            ctx.addIssue({
+                code: 'custom',
+                path: ['outcome'],
+                message: 'needs_followup gate must not close the record complete',
+            });
+        }
+    }
+    const hasBlockedOrFailedAttempt = record.process_attempts.some((attempt) => attempt.outcome === 'blocked' || attempt.outcome === 'failed');
+    if (record.outcome === 'blocked') {
+        if (record.completion_gate.verdict !== 'blocked' && !hasBlockedOrFailedAttempt) {
+            ctx.addIssue({
+                code: 'custom',
+                path: ['completion_gate', 'verdict'],
+                message: 'blocked record outcome requires a blocked gate or blocked process attempt',
+            });
+        }
+        if (record.surface_output.next_action === undefined) {
+            ctx.addIssue({
+                code: 'custom',
+                path: ['surface_output', 'next_action'],
+                message: 'blocked record outcome requires a next operator action',
+            });
+        }
+    }
+    if (record.outcome !== 'complete' &&
+        /\b(?:done|complete|completed)\b/i.test(record.surface_output.status_text)) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['surface_output', 'status_text'],
+            message: 'non-complete surface output must not claim completion',
+        });
+    }
+    for (const packet of record.decision_packets) {
+        const target = packet.resume_target;
+        if (target.kind !== 'process-checkpoint')
+            continue;
+        const matchingAttempt = record.process_attempts.find((attempt) => attempt.outcome === 'checkpoint_waiting' &&
+            attempt.child_run.run_id === target.run_id &&
+            attempt.checkpoint !== undefined &&
+            attempt.checkpoint.step_id === target.step_id &&
+            attempt.checkpoint.request_ref.ref === target.request_ref.ref);
+        if (matchingAttempt === undefined) {
+            ctx.addIssue({
+                code: 'custom',
+                path: ['decision_packets'],
+                message: 'process-checkpoint decision packets require a matching waiting attempt',
+            });
+        }
+    }
+});
+//# sourceMappingURL=run-envelope.js.map

package/dist/schemas/run-envelope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-envelope.js","sourceRoot":"","sources":["../../src/schemas/run-envelope.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAC/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAE/B,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,IAAI,CAAC;IACvC,UAAU;IACV,iBAAiB;IACjB,SAAS;IACT,QAAQ;IACR,SAAS;CACV,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,IAAI,CAAC;IACtC,cAAc;IACd,kBAAkB;IAClB,gBAAgB;IAChB,kBAAkB;IAClB,QAAQ;IACR,gBAAgB;CACjB,CAAC,CAAC;AAGH,MAAM,qBAAqB,GAAiD;IAC1E,YAAY,EAAE,CAAC,QAAQ,CAAC;IACxB,gBAAgB,EAAE,CAAC,QAAQ,CAAC;IAC5B,cAAc,EAAE,CAAC,QAAQ,CAAC;IAC1B,gBAAgB,EAAE,CAAC,UAAU,CAAC;IAC9B,MAAM,EAAE,CAAC,QAAQ,CAAC;IAClB,cAAc,EAAE,CAAC,gBAAgB,CAAC;CACnC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,MAAM,EAAE,iBAAiB;IACzB,GAAG,EAAE,GAAG;CACT,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE;IAC7B,MAAM,OAAO,GAAG,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACvD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC;YACrB,OAAO,EAAE,GAAG,QAAQ,CAAC,MAAM,wBAAwB,QAAQ,CAAC,GAAG,CAAC,IAAI,OAAO;SAC5E,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAGL,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC5C,SAAS;IACT,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,YAAY;CACb,CAAC,CAAC;AAGH,MAAM,mBAAmB,GAAG,CAAC;KAC1B,MAAM,CAAC;IACN,IAAI,EAAE,uBAAuB;IAC7B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE;CACtB,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,YAAY,GAAG,CAAC;KACnB,MAAM,CAAC;IACN,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CACvD,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;IAC1B,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnE,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,mBAAmB,CAAC;YAC3B,OAAO,EAAE,uEAAuE;SACjF,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAGL,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC;IACzC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,KAAK,EAAE,CAAC;SACL,MAAM,CAAC;QACN,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9B,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/B,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;KACxC,CAAC;SACD,MAAM,EAAE;IACX,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACvC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,eAAe,EAAE,CAAC;SACf,MAAM,CAAC;QACN,oBAAoB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QACzD,cAAc,EAAE,CAAC;aACd,KAAK,CACJ,CAAC,CAAC,IAAI,CAAC;YACL,eAAe;YACf,SAAS;YACT,YAAY;YACZ,aAAa;YACb,iBAAiB;YACjB,YAAY;YACZ,SAAS;YACT,SAAS;SACV,CAAC,CACH;aACA,GAAG,CAAC,CAAC,CAAC;KACV,CAAC;SACD,MAAM,EAAE;IACX,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3C,eAAe,EAAE,CAAC;SACf,MAAM,CAAC;QACN,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC;QAChD,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3E,yBAAyB,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;KAC3C,CAAC;SACD,MAAM,EAAE;CACZ,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC;IACxC,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC;QACvB,2BAA2B;QAC3B,eAAe;QACf,qBAAqB;QACrB,UAAU;KACX,CAAC;IACF,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,gBAAgB,EAAE,CAAC;SAChB,KAAK,CACJ,CAAC;SACE,MAAM,CAAC;QACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,UAAU,EAAE,cAAc;QAC1B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACvB,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,sBAAsB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClD,YAAY,EAAE,CAAC;aACZ,MAAM,CAAC;YACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3B,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACnC,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;SACpD,CAAC;aACD,MAAM,EAAE;aACR,QAAQ,EAAE;KACd,CAAC;SACD,MAAM,EAAE,CACZ;SACA,GAAG,CAAC,CAAC,CAAC;CACV,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC;IAC3C,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,UAAU,EAAE,cAAc;IAC1B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE;IAC5B,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IACzC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC;QACd,UAAU;QACV,iBAAiB;QACjB,SAAS;QACT,QAAQ;QACR,SAAS;QACT,oBAAoB;KACrB,CAAC;IACF,SAAS,EAAE,CAAC;SACT,MAAM,CAAC;QACN,MAAM,EAAE,KAAK;QACb,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,UAAU,EAAE,cAAc,CAAC,QAAQ,EAAE;QACrC,sBAAsB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;QACtD,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KAC5C,CAAC;SACD,MAAM,EAAE;IACX,UAAU,EAAE,CAAC;SACV,MAAM,CAAC;QACN,OAAO,EAAE,MAAM;QACf,WAAW,EAAE,GAAG;QAChB,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;KACnD,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;IACb,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;IACtC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CAC7C,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE;IAC5B,IAAI,OAAO,CAAC,OAAO,KAAK,oBAAoB,EAAE,CAAC;QAC7C,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACrC,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,YAAY,CAAC;gBACpB,OAAO,EAAE,yDAAyD;aACnE,CAAC,CAAC;QACL,CAAC;QACD,IAAI,OAAO,CAAC,SAAS,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAC/C,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,WAAW,EAAE,YAAY,CAAC;gBACjC,OAAO,EAAE,8DAA8D;aACxE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC;AAGL,MAAM,WAAW,GAAG,CAAC;KAClB,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;IACzC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAC;CACnD,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC;IAC3C,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,gBAAgB,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC/E,aAAa,EAAE,CAAC,CAAC,KAAK,CACpB,CAAC;SACE,MAAM,CAAC;QACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3B,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC;QAChE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;QACjC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KAClC,CAAC;SACD,MAAM,EAAE,CACZ;IACD,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC;IACjC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC5C,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC;IAChD,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC;QAClB,OAAO;QACP,uBAAuB;QACvB,cAAc;QACd,SAAS;QACT,SAAS;QACT,QAAQ;KACT,CAAC;CACH,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;IACzB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IACzE,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;QAC5C,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,aAAa,CAAC;YACrB,OAAO,EAAE,6CAA6C;SACvD,CAAC,CAAC;IACL,CAAC;IAED,MAAM,eAAe,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IACvF,IAAI,IAAI,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAChC,IAAI,CAAC,eAAe,EAAE,CAAC;YACrB,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,eAAe,CAAC;gBACvB,OAAO,EAAE,gEAAgE;aAC1E,CAAC,CAAC;QACL,CAAC;QACD,IACE,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,eAAe;YACxC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC,MAAM;gBACpE,IAAI,CAAC,eAAe,EACtB,CAAC;YACD,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,aAAa,CAAC;gBACrB,OAAO,EAAE,sDAAsD;aAChE,CAAC,CAAC;QACL,CAAC;QACD,IAAI,IAAI,CAAC,WAAW,KAAK,OAAO,EAAE,CAAC;YACjC,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,aAAa,CAAC;gBACrB,OAAO,EAAE,kDAAkD;aAC5D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC;AAGL,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC;IAC3C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC;QACb,oBAAoB;QACpB,kBAAkB;QAClB,0BAA0B;QAC1B,mBAAmB;KACpB,CAAC;IACF,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,OAAO,EAAE,CAAC;SACP,KAAK,CACJ,CAAC;SACE,MAAM,CAAC;QACN,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACxB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KAC1B,CAAC;SACD,MAAM,EAAE,CACZ;SACA,GAAG,CAAC,CAAC,CAAC;IACT,aAAa,EAAE,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;QAC1C,CAAC;aACE,MAAM,CAAC;YACN,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC;YAC/B,MAAM,EAAE,KAAK;SACd,CAAC;aACD,MAAM,EAAE;QACX,CAAC;aACE,MAAM,CAAC;YACN,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC;YACrC,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,MAAM;YACf,WAAW,EAAE,GAAG;SACjB,CAAC;aACD,MAAM,EAAE;KACZ,CAAC;IACF,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;IAC3B,eAAe,EAAE,CAAC;SACf,MAAM,CAAC;QACN,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;QAC3B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KAC7B,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;CACd,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,8EAA8E;AAC9E,yEAAyE;AACzE,6EAA6E;AAC7E,0EAA0E;AAC1E,gFAAgF;AAChF,6EAA6E;AAC7E,uEAAuE;AACvE,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;AAExE,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACtC,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IAC7C,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE;IAC5B,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CACxD,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,SAAS,EAAE,GAAG,EAAE,EAAE;IAC9B,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAC5F,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,IAAI,EAAE,CAAC,cAAc,CAAC;YACtB,OAAO,EAAE,wEAAwE;SAClF,CAAC,CAAC;IACL,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QACrF,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,IAAI,EAAE,CAAC,cAAc,CAAC;YACtB,OAAO,EAAE,iEAAiE;SAC3E,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAGL,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,4BAA4B,CAAC;IAC/C,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAClC,OAAO,EAAE,cAAc,CAAC,QAAQ,EAAE;IAClC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IAC/D,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IACjC,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChD,SAAS,EAAE,wBAAwB,CAAC,QAAQ,EAAE;CAC/C,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;IAC1B,IACE,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC;QAC5D,KAAK,CAAC,kBAAkB,KAAK,SAAS,EACtC,CAAC;QACD,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,oBAAoB,CAAC;YAC5B,OAAO,EAAE,oEAAoE;SAC9E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1D,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,SAAS,CAAC;YACjB,OAAO,EAAE,4CAA4C;SACtD,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAGL,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC;KAC9B,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC;IAC1C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,OAAO,EAAE,kBAAkB;IAC3B,wEAAwE;IACxE,uEAAuE;IACvE,0EAA0E;IAC1E,uEAAuE;IACvE,2EAA2E;IAC3E,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC1C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACzC,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC9C,mBAAmB,EAAE,GAAG,CAAC,QAAQ,EAAE;CACpC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC;IAC3C,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzB,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,6BAA6B,CAAC;IACvD,MAAM,EAAE,KAAK;IACb,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAClC,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE;IAC7B,gBAAgB,EAAE,CAAC;SAChB,MAAM,CAAC;QACN,UAAU,EAAE,cAAc;QAC1B,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE;QAC3C,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KACzC,CAAC;SACD,MAAM,EAAE;IACX,SAAS,EAAE,CAAC;SACT,MAAM,CAAC;QACN,MAAM,EAAE,KAAK;QACb,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,OAAO,EAAE,cAAc;QACvB,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC;QACrE,sBAAsB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;QACtD,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,UAAU,EAAE,cAAc,CAAC,QAAQ,EAAE;QACrC,UAAU,EAAE,CAAC;aACV,MAAM,CAAC;YACN,OAAO,EAAE,MAAM;YACf,WAAW,EAAE,GAAG;YAChB,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;SACnD,CAAC;aACD,MAAM,EAAE;aACR,QAAQ,EAAE;KACd,CAAC;SACD,MAAM,EAAE;IACX,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CACpC,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;IAC3B,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,KAAK,oBAAoB,EAAE,CAAC;QACtD,IAAI,MAAM,CAAC,SAAS,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAC9C,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,WAAW,EAAE,YAAY,CAAC;gBACjC,OAAO,EAAE,iEAAiE;aAC3E,CAAC,CAAC;QACL,CAAC;QACD,IAAI,MAAM,CAAC,SAAS,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAC9C,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,WAAW,EAAE,YAAY,CAAC;gBACjC,OAAO,EAAE,+DAA+D;aACzE,CAAC,CAAC;QACL,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAC9C,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,WAAW,EAAE,YAAY,CAAC;YACjC,OAAO,EAAE,wCAAwC;SAClD,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAGL,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC;IACpC,MAAM,EAAE,KAAK;IACb,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAClC,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAChD,wBAAwB,EAAE,cAAc,CAAC,QAAQ,EAAE;IACnD,cAAc,EAAE,CAAC;SACd,MAAM,CAAC;QACN,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE;QACjB,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;KAClC,CAAC;SACD,MAAM,EAAE;IACX,aAAa,EAAE,eAAe;IAC9B,YAAY,EAAE,cAAc;IAC5B,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;IAC5C,eAAe,EAAE,iBAAiB;IAClC,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;IAC5C,2EAA2E;IAC3E,yEAAyE;IACzE,uEAAuE;IACvE,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1D,cAAc,EAAE,gBAAgB;IAChC,OAAO,EAAE,kBAAkB;CAC5B,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;IAC3B,IAAI,MAAM,CAAC,cAAc,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC;QACrD,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,gBAAgB,EAAE,SAAS,CAAC;YACnC,OAAO,EAAE,kDAAkD;SAC5D,CAAC,CAAC;IACL,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAC1B,MAAM,CAAC,eAAe,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAC7E,CAAC;IACF,MAAM,gBAAgB,GAAG,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACjF,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,KAAK,CACjD,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,KAAK,QAAQ,CAC5D,CAAC;IAEF,IAAI,MAAM,CAAC,OAAO,KAAK,UAAU,IAAI,MAAM,CAAC,eAAe,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QACnF,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,iBAAiB,EAAE,SAAS,CAAC;YACpC,OAAO,EAAE,wDAAwD;SAClE,CAAC,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,KAAK,UAAU,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAC3D,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,iBAAiB,EAAE,eAAe,CAAC;YAC1C,OAAO,EAAE,mEAAmE;SAC7E,CAAC,CAAC;IACL,CAAC;IAED,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAC7D,CAAC;IACF,IAAI,MAAM,CAAC,eAAe,CAAC,OAAO,KAAK,gBAAgB,EAAE,CAAC;QACxD,MAAM,kBAAkB,GAAG,MAAM,CAAC,YAAY,CAAC,gBAAgB,CAAC,IAAI,CAClE,CAAC,OAAO,EAAE,EAAE,CACV,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC;YAC3C,OAAO,CAAC,YAAY,KAAK,SAAS;YAClC,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,gBAAgB,CAAC;YAC7D,CAAC,OAAO,CAAC,sBAAsB,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,gBAAgB,CAAC;gBAC7E,MAAM,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,CAAC,CAC1C,CAAC;QACF,IAAI,CAAC,kBAAkB,IAAI,MAAM,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChE,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,cAAc,EAAE,kBAAkB,CAAC;gBAC1C,OAAO,EACL,wGAAwG;aAC3G,CAAC,CAAC;QACL,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YAClC,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,SAAS,CAAC;gBACjB,OAAO,EAAE,wDAAwD;aAClE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,yBAAyB,GAAG,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAC5D,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,KAAK,QAAQ,CAC3E,CAAC;IACF,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACjC,IAAI,MAAM,CAAC,eAAe,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,yBAAyB,EAAE,CAAC;YAC/E,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,iBAAiB,EAAE,SAAS,CAAC;gBACpC,OAAO,EAAE,2EAA2E;aACrF,CAAC,CAAC;QACL,CAAC;QACD,IAAI,MAAM,CAAC,cAAc,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACpD,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,gBAAgB,EAAE,aAAa,CAAC;gBACvC,OAAO,EAAE,wDAAwD;aAClE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IACE,MAAM,CAAC,OAAO,KAAK,UAAU;QAC7B,kCAAkC,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,WAAW,CAAC,EAC1E,CAAC;QACD,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,gBAAgB,EAAE,aAAa,CAAC;YACvC,OAAO,EAAE,uDAAuD;SACjE,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC;QACpC,IAAI,MAAM,CAAC,IAAI,KAAK,oBAAoB;YAAE,SAAS;QACnD,MAAM,eAAe,GAAG,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAClD,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,OAAO,KAAK,oBAAoB;YACxC,OAAO,CAAC,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;YAC1C,OAAO,CAAC,UAAU,KAAK,SAAS;YAChC,OAAO,CAAC,UAAU,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO;YAC7C,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,KAAK,MAAM,CAAC,WAAW,CAAC,GAAG,CAChE,CAAC;QACF,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;YAClC,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,kBAAkB,CAAC;gBAC1B,OAAO,EAAE,wEAAwE;aAClF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC"}