usesteady 0.1.0-alpha.1

package/dist/src/ucp/types.d.ts

@@ -0,0 +1,585 @@
+/**
+ * UCP — UseSteady Control Protocol types.
+ *
+ * OWNERSHIP RULE: Every decision that flows through UseSteady is representable
+ * as a UCPEnvelope. Envelopes are versioned, content-addressed, and hashable.
+ *
+ * UCPEnvelope is the canonical representation — NOT a transport wrapper.
+ * The pipeline is authoritative. Envelopes are a parallel, read-only view.
+ *
+ * ── Envelope fields ────────────────────────────────────────────────────────
+ *
+ *   id      Content-addressed identifier: sha256({ type, payload, refs }).
+ *           Same content → same id. Does NOT change with ts.
+ *
+ *   type    Dot-notation namespaced string: "ucp.intent.v1", "ucp.prv.v1", etc.
+ *
+ *   version Always 1 in this phase.
+ *
+ *   ts      Epoch milliseconds. Excluded from id and hash.
+ *           Records when the envelope was created; does not affect identity.
+ *
+ *   payload The structured result of the relevant pipeline step.
+ *           Contains ONLY fields present in the source type — no invention.
+ *
+ *   meta    Envelope metadata. source = the module that produced this envelope.
+ *           deterministic is always true in v1 (no random-valued payloads).
+ *
+ *   refs    Optional parent/root references for trace chain linkage.
+ *
+ *   hash    Integrity hash: sha256 over { id, meta, payload, refs, type, version }.
+ *           Excludes ts and hash itself.
+ *
+ * ── PROTOCOL INVARIANT: Payloads must be undefined-free ──────────────────
+ *
+ *   stableStringify (used by computeId) serializes `undefined` as the string
+ *   "undefined" — it does NOT omit keys with undefined values the way
+ *   JSON.stringify does. This means:
+ *
+ *     { rejection_reason: undefined }  →  id contains "rejection_reason":"undefined"
+ *     { }                              →  id does NOT contain "rejection_reason"
+ *
+ *   These produce DIFFERENT content addresses for otherwise-identical payloads.
+ *   If the envelope is then persisted via JSON.stringify (which strips undefined
+ *   keys), the stored record diverges from the id used to index it — breaking
+ *   the content-addressing guarantee.
+ *
+ *   CONSTRUCTION RULE (enforced by convention, checked in mappers):
+ *     ✓ Omit optional fields entirely when they are absent.
+ *     ✓ Use conditional spreading: ...(value !== undefined ? { key: value } : {})
+ *     ✗ Never assign explicit `undefined` to a payload field.
+ *     ✗ Never use Object.assign or spread with an object containing undefined values.
+ *
+ *   All mappers in src/ucp/mappers/ must follow this rule.
+ *   Callers constructing payloads inline must follow this rule.
+ */
+import type { SafetyReason } from "../safety/types.js";
+import type { IntentInterpretationCategory } from "../understand/intent-interpretation/types.js";
+import type { InterpretationCategory } from "../understand/interpretation/types.js";
+import type { IntentState, ResponseMode } from "../intake/types.js";
+import type { ObservedIntentPatterns } from "../interaction/types.js";
+export type UCPType = "ucp.intent.v1" | "ucp.prv.v1" | "ucp.safety.v1" | "ucp.context.v1" | "ucp.disambiguation.v1" | "ucp.completion.v1" | "ucp.intent_interpretation.v1" | "ucp.change_interpretation.v1" | "ucp.response.v1" | "ucp.interaction_contract.v1" | "ucp.interaction_event.v1" | "ucp.debug_trace.v1" | "ucp.artifact.v1" | "ucp.execution_trace.v1" | "ucp.replay_report.v1" | "ucp.reminder_execution.v1" | "ucp.cursor_handoff.v1" | "ucp.cursor_receipt.v1" | "ucp.cursor_refused.v1" | "ucp.claude_handoff.v1" | "ucp.claude_receipt.v1" | "ucp.claude_refused.v1" | "ucp.workflow_run.v1";
+/**
+ * @deprecated Use UCPType. UCPKind is kept for backward compatibility only.
+ */
+export type UCPKind = UCPType;
+export type UCPMeta = {
+    readonly source: string;
+    readonly deterministic: true;
+};
+export type UCPRefs = {
+    readonly parentId?: string;
+    readonly rootId?: string;
+};
+export type UCPEnvelope<TPayload = unknown> = {
+    /**
+     * Content-addressed identity: sha256({ type, payload, refs }).
+     *
+     * Excludes: ts, meta, version, hash.
+     * Same content (type + payload + refs) → same id, regardless of wall-clock time
+     * or which module emitted the envelope.
+     *
+     * Use id for: provenance chain links (parentId, rootId), deduplication,
+     * content-addressed lookups, and replay verification.
+     */
+    readonly id: string;
+    /** Dot-notation type identifier, e.g. "ucp.intent.v1". */
+    readonly type: UCPType;
+    readonly version: 1;
+    /**
+     * Creation timestamp (epoch ms).
+     * Excluded from both id and hash — ts records when, not what.
+     */
+    readonly ts: number;
+    readonly payload: TPayload;
+    readonly meta: UCPMeta;
+    readonly refs?: UCPRefs;
+    /**
+     * Integrity checksum: sha256({ id, meta, payload, refs, type, version }).
+     *
+     * Excludes: ts, hash itself.
+     * Includes meta.source — so two envelopes from different modules with identical
+     * content will have the same id but different hash values.
+     *
+     * Use hash for: tamper detection of a specific persisted envelope record.
+     * Do NOT use hash for identity comparisons — use id.
+     *
+     * id ≠ hash: they are not redundant.
+     *   id   = "what was decided" (content identity, source-agnostic)
+     *   hash = "does this record match what was produced" (integrity, source-aware)
+     */
+    readonly hash: string;
+};
+/**
+ * IntentPayload — the raw user input before any processing.
+ * Source: the raw input string passed to runIntake().
+ */
+export type IntentPayload = {
+    readonly input: string;
+};
+/**
+ * PRVPayload — maps exactly from PRVResult (src/prv/types.ts).
+ */
+export type PRVPayload = {
+    readonly ok: boolean;
+    readonly mode?: "clarify";
+    readonly reason?: string;
+};
+/**
+ * SafetyPayload — maps exactly from SafetyResult (src/safety/types.ts).
+ * Includes inspection fields detectorId and matchedPattern when available.
+ */
+export type SafetyPayload = {
+    readonly verdict: "allow" | "block";
+    readonly reason?: SafetyReason;
+    readonly detectorId?: string;
+    readonly matchedPattern?: string;
+    readonly note?: string;
+};
+/**
+ * ContextAlignmentPayload — maps from ContextAlignmentResult (src/understand/context/types.ts).
+ */
+export type ContextAlignmentPayload = {
+    readonly kind: "aligned" | "non_literal" | "hard_mismatch";
+    readonly reason?: string;
+};
+/**
+ * DisambiguationPayload — maps from DisambiguationResult (src/understand/disambiguation/types.ts).
+ */
+export type DisambiguationPayload = {
+    readonly kind: "clear" | "ambiguous" | "unknown";
+    readonly normalized?: string;
+    readonly reason?: string;
+    readonly options?: readonly string[];
+};
+/**
+ * CompletionPayload — maps from CompletionResult (src/understand/completion/types.ts).
+ * Includes all three kinds: complete, incomplete, guided_recovery.
+ */
+export type CompletionPayload = {
+    readonly kind: "complete" | "incomplete" | "guided_recovery";
+    readonly reason?: string;
+    readonly missing?: readonly string[];
+    readonly nextSteps?: ReadonlyArray<{
+        readonly type: "read_first" | "use_exact_format" | "add_missing_field";
+        readonly label: string;
+    }>;
+};
+/**
+ * IntentInterpretationPayload — maps from IntentInterpretation
+ * (src/understand/intent-interpretation/types.ts).
+ * Present only when the Intent Interpretation Bridge fired (bridgeFired === true).
+ */
+export type IntentInterpretationPayload = {
+    readonly category: IntentInterpretationCategory;
+    readonly summary: string;
+    readonly confidence: "high" | "medium" | "low";
+    readonly basis: readonly string[];
+};
+/**
+ * ChangeInterpretationPayload — maps from InterpretationResult
+ * (src/understand/interpretation/types.ts).
+ * Present only when mode === "execute" AND the input matched a structured
+ * change pattern.
+ */
+export type ChangeInterpretationPayload = {
+    readonly summary: string;
+    readonly impact: readonly string[];
+    readonly confidence: "high" | "medium" | "low";
+    readonly category: InterpretationCategory;
+};
+/**
+ * ResponsePayload — maps from IntakeResult (src/intake/types.ts).
+ * The final decision: mode, reason, intent state, and — when present — the
+ * ENRICHED guidance (post-enrichGuidance + post-applyGuidanceOrdering).
+ *
+ * guidance captures the authoritative final form seen by the renderer, not the
+ * raw CompletionResult (which lives in CompletionPayload). This distinction is
+ * critical: the completion envelope is the intermediate step output; the response
+ * envelope is the final user-facing decision including any session adaptations.
+ */
+export type ResponsePayload = {
+    readonly mode: ResponseMode;
+    readonly reason: string;
+    readonly intentState: IntentState;
+    /** Enriched, ordering-applied guidance. Only present when mode === "guide". */
+    readonly guidance?: {
+        readonly missing: ReadonlyArray<string>;
+        readonly nextSteps: ReadonlyArray<{
+            readonly type: string;
+            readonly label: string;
+        }>;
+    };
+};
+/**
+ * InteractionContractPayload — maps from InteractionContract (src/interaction/types.ts).
+ */
+export type InteractionContractPayload = {
+    readonly subjectId: string;
+    readonly ambiguityMode: "conservative" | "balanced" | "fast";
+    readonly explanationMode: "plain_first" | "technical_first" | "mixed";
+    readonly unsupportedGuidanceMode: "syntax_first" | "examples_first" | "stepwise";
+    readonly observedIntentPatterns: ObservedIntentPatterns;
+};
+/**
+ * InteractionEventPayload — maps from InteractionEvent (src/interaction/types.ts).
+ */
+export type InteractionEventPayload = {
+    readonly type: "misinterpretation_corrected" | "unsupported_recovered" | "color_intent_observed" | "text_intent_observed" | "config_intent_observed";
+    readonly recoveryStyle?: "syntax_hint" | "example_used" | "stepwise_followed";
+};
+/**
+ * DebugTracePayload — maps exactly from DebugTrace (src/intake/trace.ts).
+ * Zero-authority: recorded for observability only.
+ */
+export type DebugTracePayload = {
+    readonly prvPassed: boolean;
+    readonly safetyVerdict: "allow" | "block" | "not_reached";
+    readonly contextKind: "aligned" | "non_literal" | "hard_mismatch" | "not_reached";
+    readonly disambigKind: "clear" | "ambiguous" | "unknown" | "not_reached";
+    readonly completionKind: "complete" | "incomplete" | "guided_recovery" | "not_reached";
+    readonly bridgeFired: boolean;
+};
+/**
+ * ArtifactPayload — maps from any FinalizedArtifact-compatible type via ArtifactLike.
+ *
+ * Lightweight identity record. Does NOT copy nodes[], trace[], lineage, or
+ * explainSummary. Full artifact data lives in the artifact file.
+ *
+ * CONTRACT: artifact.checksum is copied as-is — NEVER recomputed here.
+ * UCP wraps the existing artifact checksum; it does not replace or compete with it.
+ */
+export type ArtifactPayload = {
+    /** FinalizedArtifact.runId */
+    readonly runId: string;
+    /** FinalizedArtifact.goal */
+    readonly goal: string;
+    /** FinalizedArtifact.status */
+    readonly status: "COMPLETED" | "FAILED" | "DENIED";
+    /** FinalizedArtifact.checksum — the existing immutable artifact SHA-256. NOT recomputed. */
+    readonly checksum: string;
+    /** FinalizedArtifact.graph.checksum — the compiled graph SHA-256 */
+    readonly graphChecksum: string;
+    /** FinalizedArtifact.nodes.length — total node count, not the full node list */
+    readonly nodeCount: number;
+    /** FinalizedArtifact.startedAtMs */
+    readonly startedAtMs: number;
+    /** FinalizedArtifact.completedAtMs */
+    readonly completedAtMs: number;
+};
+/**
+ * ExecutionTracePayload — maps from FinalizedArtifact.trace[] (batch envelope).
+ *
+ * Seals the full execution timeline for one run as a lightweight identity record.
+ * Individual trace entries are not copied — they are represented by traceHash.
+ *
+ * traceHash specification (5 locked rules):
+ *   1. Ordering:   recorded/append order — same as artifact.trace[] array order
+ *   2. Included:   ALL TraceEntry fields (kind, runId, nodeId, timestampMs, payload)
+ *   3. Excluded:   none — no derived summaries or presentation fields added/removed
+ *   4. Timestamps: timestampMs IS included — two runs at different times produce
+ *                  different traceHash values (correct: each trace is a specific execution)
+ *   5. Serialization: stableStringify() — sorted keys at all nesting levels, same algorithm
+ *                     as FinalizedArtifact.checksum computation
+ *
+ * Consequence: traceHash is unique per run. That is correct and expected.
+ */
+export type ExecutionTracePayload = {
+    /** FinalizedArtifact.runId (same as artifact envelope) */
+    readonly runId: string;
+    /** FinalizedArtifact.trace.length — total entry count */
+    readonly entryCount: number;
+    /** Ordered TraceEntryKind strings in recorded sequence */
+    readonly kinds: ReadonlyArray<string>;
+    /** SHA-256 of stableStringify(artifact.trace) — per locked spec above */
+    readonly traceHash: string;
+};
+/**
+ * ReplayReportPayload — maps from any ReplayReport-compatible type via ReplayReportLike.
+ *
+ * A mirror of the replay verification outcome, not an interpretation of it.
+ * The mapper derives count fields from nodeResults but adds no new conclusions.
+ *
+ * ── Node-level verdict states (3, exhaustive) ─────────────────────────────────
+ *   "VERIFIED"  node re-executed and output matched
+ *   "DRIFTED"   node re-executed and output differed (environment changed)
+ *   "SKIPPED"   node skipped (write-only commands: fs.apply_patch, git.commit, etc.)
+ *
+ * ── Run-level verdict states (4, derived from node results) ───────────────────
+ *   "VERIFIED"  checksumValid AND at least one VERIFIED, none DRIFTED
+ *   "DRIFTED"   checksumValid AND at least one DRIFTED
+ *   "PARTIAL"   checksumValid AND all nodes SKIPPED (allSkipped)
+ *   "CORRUPTED" checksumValid === false → short-circuits before drift detection
+ *               nodeResults is [] (empty) — all counts are 0
+ *
+ * ── CORRUPTED behavior ────────────────────────────────────────────────────────
+ *   When verdict === "CORRUPTED":
+ *     nodeCount    = 0
+ *     verifiedCount = 0
+ *     driftedCount  = 0
+ *     skippedCount  = 0
+ *   This is not partial — it is an invalid baseline (artifact tampered with).
+ *
+ * ── Exhaustiveness invariant ──────────────────────────────────────────────────
+ *   For all non-CORRUPTED reports:
+ *     verifiedCount + driftedCount + skippedCount === nodeCount
+ *
+ * ── What this payload does NOT contain ────────────────────────────────────────
+ *   No per-node driftField / driftExpected / driftActual details.
+ *   Those live in the native ReplayReport.nodeResults[].
+ *   The envelope carries the summary signal only.
+ */
+export type ReplayReportPayload = {
+    /** ReplayReport.runId */
+    readonly runId: string;
+    /** ReplayReport.verdict — run-level outcome */
+    readonly verdict: "VERIFIED" | "DRIFTED" | "CORRUPTED" | "PARTIAL";
+    /** ReplayReport.checksumValid — false when artifact was tampered with */
+    readonly checksumValid: boolean;
+    /** ReplayReport.artifactChecksum — the artifact hash that was verified */
+    readonly artifactChecksum: string;
+    /** ReplayReport.nodeResults.length — always 0 when verdict === "CORRUPTED" */
+    readonly nodeCount: number;
+    /** Count of nodes with verdict "VERIFIED". 0 when CORRUPTED (nodeResults is []). */
+    readonly verifiedCount: number;
+    /** Count of nodes with verdict "DRIFTED". 0 when CORRUPTED. */
+    readonly driftedCount: number;
+    /** Count of nodes with verdict "SKIPPED". Equals nodeCount when verdict === "PARTIAL". */
+    readonly skippedCount: number;
+    /** ReplayReport.replayedAtMs */
+    readonly replayedAtMs: number;
+};
+/**
+ * ReminderExecutionPayload — maps from ReminderExecutionArtifact
+ * (src/execution/reminders/reminder-execution-types.ts).
+ *
+ * ── Field selection rationale ─────────────────────────────────────────────────
+ *
+ *   subject           — the validated reminder task
+ *   time_text         — the original time phrase (mapper faithfulness)
+ *   parsed_time_kind  — the structural parse result kind ONLY, not the full
+ *                       ParsedTime struct. The envelope records the classification
+ *                       outcome (was time parseable, and of what shape?), not a
+ *                       full scheduler-ready temporal model. Full ParsedTime lives
+ *                       in the artifact for downstream integrations.
+ *   recurrence_text   — recurrence phrase or null
+ *   source_confidence — from the presentation; part of why accepted/rejected
+ *   verdict           — accepted or rejected
+ *   rejection_reason  — present when rejected; includes ParsedTime.reason detail
+ *                       for time_unresolvable cases
+ *
+ * ── What this payload does NOT contain ────────────────────────────────────────
+ *
+ *   No full ParsedTime object (hour/minute/period/offset_minutes).
+ *   Those fields live in the artifact file for schedulers that need them.
+ *   The envelope carries the summary signal: was it accepted, and what shape?
+ */
+export type ReminderExecutionPayload = {
+    readonly subject: string;
+    readonly time_text: string;
+    /** ParsedTime.kind — structural classification of the time phrase. */
+    readonly parsed_time_kind: "time_of_day" | "relative_offset" | "day_with_time" | "unresolvable";
+    readonly recurrence_text: string | null;
+    readonly source_confidence: "explicit" | "partial" | "ambiguous";
+    readonly verdict: "accepted" | "rejected";
+    readonly rejection_reason?: string;
+};
+/**
+ * CursorHandoffPayload — persisted by the delivery gate BEFORE the artifact
+ * is passed to Cursor. This is the hard persistence gate: if it fails, delivery
+ * is blocked.
+ *
+ * CONSTRUCTION RULE: undefined-free payloads (see protocol invariant above).
+ * All optional fields must be omitted entirely when absent.
+ *
+ * ── Chain position ─────────────────────────────────────────────────────────────
+ *
+ *   ucp.intent.v1 → ucp.response.v1 → ucp.cursor_handoff.v1
+ *     → ucp.cursor_receipt.v1 → [ucp.cursor_artifact.v1 — reserved future slot]
+ *       → ucp.execution_trace.v1 → ucp.replay_report.v1
+ *
+ * ── Field selection rationale ──────────────────────────────────────────────────
+ *
+ *   eligibility       — always "approved_for_cursor"; delivery gate enforces this
+ *   ocdStatus         — "cleared" or "conflict_accepted"; never "conflict_detected"
+ *   rulesFired        — audit: which OCD rules were evaluated
+ *   changeCategory    — what kind of edit Cursor was handed
+ *   scopeAllowedFiles — snapshot of the approved file set at delivery time
+ *   confirmedByHuman  — invariant: always true; H must have confirmed
+ *   confirmedAt       — epoch ms of H's confirmation
+ */
+export type CursorHandoffPayload = {
+    readonly intentId: string;
+    readonly responseId: string;
+    readonly eligibility: "approved_for_cursor";
+    readonly ocdStatus: "cleared" | "conflict_accepted";
+    readonly rulesFired: readonly string[];
+    readonly changeCategory: string;
+    readonly scopeAllowedFiles: readonly string[];
+    readonly confirmedByHuman: true;
+    readonly confirmedAt: number;
+};
+/**
+ * CursorReceiptPayload — persisted by the delivery gate AFTER Cursor responds
+ * with kind: "accepted". Records that Cursor took ownership.
+ *
+ * CONSTRUCTION RULE: undefined-free payloads.
+ *
+ * refs.parentId = ucp.cursor_handoff.v1 id.
+ */
+export type CursorReceiptPayload = {
+    readonly deliveryId: string;
+    readonly handoffId: string;
+    readonly artifactId: string;
+    readonly receivedAt: number;
+};
+/**
+ * CursorRefusedPayload — persisted by the delivery gate when Cursor responds
+ * with kind: "refused_due_to_scope" or "refused_due_to_execution_error".
+ *
+ * CONSTRUCTION RULE: undefined-free payloads.
+ * Scope-specific fields (scopeQuestionKind, scopeCandidates, scopeSearchedFor)
+ * are present only when refusalKind === "refused_due_to_scope".
+ * errorCode is present only when refusalKind === "refused_due_to_execution_error".
+ *
+ * refs.parentId = ucp.cursor_handoff.v1 id.
+ */
+export type CursorRefusedPayload = {
+    readonly deliveryId: string;
+    readonly handoffId: string;
+    readonly artifactId: string;
+    readonly receivedAt: number;
+    readonly refusalKind: "refused_due_to_scope" | "refused_due_to_execution_error";
+    readonly scopeQuestionKind?: "need_file_path" | "need_scope_selection" | "ambiguous_old_value";
+    readonly scopeCandidates?: readonly string[];
+    readonly scopeSearchedFor?: string;
+    readonly errorCode?: string;
+};
+/**
+ * ClaudeHandoffPayload — persisted by the delivery gate BEFORE the artifact
+ * is passed to Claude Managed Agents. This is the hard persistence gate.
+ *
+ * CONSTRUCTION RULE: undefined-free payloads.
+ *
+ * ── Chain position ────────────────────────────────────────────────────────────
+ *
+ *   ucp.intent.v1 → ucp.response.v1 → ucp.claude_handoff.v1
+ *     → ucp.claude_receipt.v1 → [ucp.claude_result.v1 — reserved future slot]
+ *
+ *   confirmedByHuman — invariant: always true; H must have confirmed
+ *   confirmedAt      — epoch ms of H's confirmation
+ */
+export type ClaudeHandoffPayload = {
+    readonly intentId: string;
+    readonly responseId: string;
+    readonly eligibility: "approved_for_agent";
+    readonly ocdClearance: "clear" | "conflict_accepted";
+    readonly executionDomain: string;
+    readonly allowedFiles: readonly string[];
+    readonly allowedTools: readonly string[];
+    readonly confirmedByHuman: true;
+    readonly confirmedAt: number;
+};
+/**
+ * ClaudeReceiptPayload — persisted by the delivery gate AFTER Claude responds
+ * with kind: "accepted". Records that Claude started a managed session.
+ *
+ * sessionId — the Anthropic managed agent session ID.
+ *             NOT resumable in V1 (A3). If interrupted, maps to execution error.
+ *
+ * CONSTRUCTION RULE: undefined-free payloads.
+ * refs.parentId = ucp.claude_handoff.v1 id.
+ */
+export type ClaudeReceiptPayload = {
+    readonly deliveryId: string;
+    readonly handoffId: string;
+    readonly artifactId: string;
+    readonly sessionId: string;
+    readonly receivedAt: number;
+};
+/**
+ * ClaudeRefusedPayload — persisted by the delivery gate when Claude responds
+ * with kind: "refused_due_to_scope" or "refused_due_to_execution_error".
+ *
+ * CONSTRUCTION RULE: undefined-free payloads.
+ * Scope-specific fields are present only when refusalKind === "refused_due_to_scope".
+ * errorCode is present only when refusalKind === "refused_due_to_execution_error".
+ *
+ * refs.parentId = ucp.claude_handoff.v1 id.
+ */
+export type ClaudeRefusedPayload = {
+    readonly deliveryId: string;
+    readonly handoffId: string;
+    readonly artifactId: string;
+    readonly receivedAt: number;
+    readonly refusalKind: "refused_due_to_scope" | "refused_due_to_execution_error";
+    readonly scopeQuestionKind?: "need_file_path" | "need_scope_selection" | "need_tool_permission" | "ambiguous_old_value";
+    readonly scopeCandidates?: readonly string[];
+    readonly errorCode?: string;
+};
+/**
+ * WorkflowRunPayload — the terminal record for a complete workflow run.
+ *
+ * Persisted ONLY when the workflow reaches "completed" or "stopped" (W5).
+ * Not written for in-progress runs.
+ *
+ * Acts as a provenance index: sessionRefs links this envelope to every
+ * individual session's UCP chain (intent + response + handoff/receipt/refused).
+ *
+ * CONSTRUCTION RULE: undefined-free payloads.
+ *   sessionRefs entries omit intentId / responseId when absent.
+ */
+export type WorkflowRunPayload = {
+    readonly workflowRunId: string;
+    readonly workflowName: string;
+    readonly finalOutcome: "completed" | "stopped";
+    readonly taskCount: number;
+    readonly acceptedCount: number;
+    readonly skippedCount: number;
+    /**
+     * Task input strings from spec, ordered by task index (0-based).
+     *
+     * Allows the history read model to display the original task input for every
+     * task without requiring session-chain resolution (D5 fix from Phase 10A).
+     *
+     * V1.0 records written before Phase 10B do not have this field.
+     * Consumers must treat absent / undefined as [].
+     */
+    readonly taskInputs: readonly string[];
+    /**
+     * Per-task session reference records.
+     * Only tasks that ran (outcome !== "pending") are included.
+     * Links back to individual session UCP chains via intentId / responseId.
+     */
+    readonly sessionRefs: readonly {
+        readonly taskIndex: number;
+        readonly outcome: "accepted" | "skipped" | "skipped_by_intake" | "stopped" | "rejected";
+        readonly retryCount: number;
+        readonly intentId?: string;
+        readonly responseId?: string;
+    }[];
+};
+export type IntentEnvelope = UCPEnvelope<IntentPayload>;
+export type PRVEnvelope = UCPEnvelope<PRVPayload>;
+export type SafetyEnvelope = UCPEnvelope<SafetyPayload>;
+export type ContextAlignmentEnvelope = UCPEnvelope<ContextAlignmentPayload>;
+export type DisambiguationEnvelope = UCPEnvelope<DisambiguationPayload>;
+export type CompletionEnvelope = UCPEnvelope<CompletionPayload>;
+export type IntentInterpretationEnvelope = UCPEnvelope<IntentInterpretationPayload>;
+export type ChangeInterpretationEnvelope = UCPEnvelope<ChangeInterpretationPayload>;
+export type ResponseEnvelope = UCPEnvelope<ResponsePayload>;
+export type InteractionContractEnvelope = UCPEnvelope<InteractionContractPayload>;
+export type InteractionEventEnvelope = UCPEnvelope<InteractionEventPayload>;
+export type DebugTraceEnvelope = UCPEnvelope<DebugTracePayload>;
+export type ArtifactEnvelope = UCPEnvelope<ArtifactPayload>;
+export type ExecutionTraceEnvelope = UCPEnvelope<ExecutionTracePayload>;
+export type ReplayReportEnvelope = UCPEnvelope<ReplayReportPayload>;
+export type ReminderExecutionEnvelope = UCPEnvelope<ReminderExecutionPayload>;
+export type CursorHandoffEnvelope = UCPEnvelope<CursorHandoffPayload>;
+export type CursorReceiptEnvelope = UCPEnvelope<CursorReceiptPayload>;
+export type CursorRefusedEnvelope = UCPEnvelope<CursorRefusedPayload>;
+export type ClaudeHandoffEnvelope = UCPEnvelope<ClaudeHandoffPayload>;
+export type ClaudeReceiptEnvelope = UCPEnvelope<ClaudeReceiptPayload>;
+export type ClaudeRefusedEnvelope = UCPEnvelope<ClaudeRefusedPayload>;
+export type WorkflowRunEnvelope = UCPEnvelope<WorkflowRunPayload>;
+//# sourceMappingURL=types.d.ts.map

package/dist/src/ucp/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/ucp/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsDG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAqB,oBAAoB,CAAC;AACtE,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,8CAA8C,CAAC;AACjG,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAY,uCAAuC,CAAC;AAC1F,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,MAAS,oBAAoB,CAAC;AACvE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAY,yBAAyB,CAAC;AAI5E,MAAM,MAAM,OAAO,GAEf,eAAe,GACf,YAAY,GACZ,eAAe,GACf,gBAAgB,GAChB,uBAAuB,GACvB,mBAAmB,GACnB,8BAA8B,GAC9B,8BAA8B,GAC9B,iBAAiB,GACjB,6BAA6B,GAC7B,0BAA0B,GAC1B,oBAAoB,GAEpB,iBAAiB,GACjB,wBAAwB,GACxB,sBAAsB,GAEtB,2BAA2B,GAE3B,uBAAuB,GACvB,uBAAuB,GACvB,uBAAuB,GAEvB,uBAAuB,GACvB,uBAAuB,GACvB,uBAAuB,GAEvB,qBAAqB,CAAC;AAE1B;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,OAAO,CAAC;AAI9B,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,WAAW,CAAC,QAAQ,GAAG,OAAO,IAAI;IAC5C;;;;;;;;;OASG;IACH,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAEpB,0DAA0D;IAC1D,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAEvB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IAEpB;;;OAGG;IACH,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAEpB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAE3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAEvB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;IAExB;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAMF;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC;IACpC,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,aAAa,GAAG,eAAe,CAAC;IAC3D,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,WAAW,GAAG,SAAS,CAAC;IACjD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,YAAY,GAAG,iBAAiB,CAAC;IAC7D,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC;QACjC,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,kBAAkB,GAAG,mBAAmB,CAAC;QACvE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;KACxB,CAAC,CAAC;CACJ,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,QAAQ,EAAE,4BAA4B,CAAC;IAChD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;CAC3C,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAS,YAAY,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAO,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAClB,QAAQ,CAAC,OAAO,EAAI,aAAa,CAAC,MAAM,CAAC,CAAC;QAC1C,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;YAChC,QAAQ,CAAC,IAAI,EAAG,MAAM,CAAC;YACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;SACxB,CAAC,CAAC;KACJ,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,0BAA0B,GAAG;IACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,cAAc,GAAG,UAAU,GAAG,MAAM,CAAC;IAC7D,QAAQ,CAAC,eAAe,EAAE,aAAa,GAAG,iBAAiB,GAAG,OAAO,CAAC;IACtE,QAAQ,CAAC,uBAAuB,EAAE,cAAc,GAAG,gBAAgB,GAAG,UAAU,CAAC;IACjF,QAAQ,CAAC,sBAAsB,EAAE,sBAAsB,CAAC;CACzD,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,CAAC,IAAI,EACT,6BAA6B,GAC7B,uBAAuB,GACvB,uBAAuB,GACvB,sBAAsB,GACtB,wBAAwB,CAAC;IAC7B,QAAQ,CAAC,aAAa,CAAC,EAAE,aAAa,GAAG,cAAc,GAAG,mBAAmB,CAAC;CAC/E,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,OAAO,GAAG,OAAO,GAAG,aAAa,CAAC;IAC1D,QAAQ,CAAC,WAAW,EAAE,SAAS,GAAG,aAAa,GAAG,eAAe,GAAG,aAAa,CAAC;IAClF,QAAQ,CAAC,YAAY,EAAE,OAAO,GAAG,WAAW,GAAG,SAAS,GAAG,aAAa,CAAC;IACzE,QAAQ,CAAC,cAAc,EAAE,UAAU,GAAG,YAAY,GAAG,iBAAiB,GAAG,aAAa,CAAC;IACvF,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B,CAAC;AAYF;;;;;;;;GAQG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,8BAA8B;IAC9B,QAAQ,CAAC,KAAK,EAAU,MAAM,CAAC;IAC/B,6BAA6B;IAC7B,QAAQ,CAAC,IAAI,EAAW,MAAM,CAAC;IAC/B,+BAA+B;IAC/B,QAAQ,CAAC,MAAM,EAAS,WAAW,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAC1D,4FAA4F;IAC5F,QAAQ,CAAC,QAAQ,EAAO,MAAM,CAAC;IAC/B,oEAAoE;IACpE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,gFAAgF;IAChF,QAAQ,CAAC,SAAS,EAAM,MAAM,CAAC;IAC/B,oCAAoC;IACpC,QAAQ,CAAC,WAAW,EAAI,MAAM,CAAC;IAC/B,sCAAsC;IACtC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,0DAA0D;IAC1D,QAAQ,CAAC,KAAK,EAAQ,MAAM,CAAC;IAC7B,yDAAyD;IACzD,QAAQ,CAAC,UAAU,EAAG,MAAM,CAAC;IAC7B,0DAA0D;IAC1D,QAAQ,CAAC,KAAK,EAAQ,aAAa,CAAC,MAAM,CAAC,CAAC;IAC5C,yEAAyE;IACzE,QAAQ,CAAC,SAAS,EAAI,MAAM,CAAC;CAC9B,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,yBAAyB;IACzB,QAAQ,CAAC,KAAK,EAAc,MAAM,CAAC;IACnC,+CAA+C;IAC/C,QAAQ,CAAC,OAAO,EAAY,UAAU,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,CAAC;IAC7E,yEAAyE;IACzE,QAAQ,CAAC,aAAa,EAAM,OAAO,CAAC;IACpC,0EAA0E;IAC1E,QAAQ,CAAC,gBAAgB,EAAG,MAAM,CAAC;IACnC,8EAA8E;IAC9E,QAAQ,CAAC,SAAS,EAAU,MAAM,CAAC;IACnC,oFAAoF;IACpF,QAAQ,CAAC,aAAa,EAAM,MAAM,CAAC;IACnC,+DAA+D;IAC/D,QAAQ,CAAC,YAAY,EAAO,MAAM,CAAC;IACnC,0FAA0F;IAC1F,QAAQ,CAAC,YAAY,EAAO,MAAM,CAAC;IACnC,gCAAgC;IAChC,QAAQ,CAAC,YAAY,EAAO,MAAM,CAAC;CACpC,CAAC;AAIF;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,wBAAwB,GAAG;IACrC,QAAQ,CAAC,OAAO,EAAa,MAAM,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAW,MAAM,CAAC;IACpC,sEAAsE;IACtE,QAAQ,CAAC,gBAAgB,EAAI,aAAa,GAAG,iBAAiB,GAAG,eAAe,GAAG,cAAc,CAAC;IAClG,QAAQ,CAAC,eAAe,EAAK,MAAM,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,iBAAiB,EAAG,UAAU,GAAG,SAAS,GAAG,WAAW,CAAC;IAClE,QAAQ,CAAC,OAAO,EAAa,UAAU,GAAG,UAAU,CAAC;IACrD,QAAQ,CAAC,gBAAgB,CAAC,EAAG,MAAM,CAAC;CACrC,CAAC;AAIF;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,QAAQ,EAAW,MAAM,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAS,MAAM,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAQ,qBAAqB,CAAC;IAClD,QAAQ,CAAC,SAAS,EAAU,SAAS,GAAG,mBAAmB,CAAC;IAC5D,QAAQ,CAAC,UAAU,EAAS,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,cAAc,EAAK,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAQ,MAAM,CAAC;CACpC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,UAAU,EAAG,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAI,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAG,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAG,MAAM,CAAC;CAC9B,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,UAAU,EAAQ,MAAM,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAS,MAAM,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAQ,MAAM,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAQ,MAAM,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAO,sBAAsB,GAAG,gCAAgC,CAAC;IACrF,QAAQ,CAAC,iBAAiB,CAAC,EAAG,gBAAgB,GAAG,sBAAsB,GAAG,qBAAqB,CAAC;IAChG,QAAQ,CAAC,eAAe,CAAC,EAAK,SAAS,MAAM,EAAE,CAAC;IAChD,QAAQ,CAAC,gBAAgB,CAAC,EAAI,MAAM,CAAC;IACrC,QAAQ,CAAC,SAAS,CAAC,EAAW,MAAM,CAAC;CACtC,CAAC;AAIF;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,QAAQ,EAAU,MAAM,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAQ,MAAM,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAO,oBAAoB,CAAC;IAChD,QAAQ,CAAC,YAAY,EAAM,OAAO,GAAG,mBAAmB,CAAC;IACzD,QAAQ,CAAC,eAAe,EAAG,MAAM,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAM,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,YAAY,EAAM,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,gBAAgB,EAAE,IAAI,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAO,MAAM,CAAC;CACnC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAG,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAG,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,UAAU,EAAU,MAAM,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAW,MAAM,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAU,MAAM,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAU,MAAM,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAS,sBAAsB,GAAG,gCAAgC,CAAC;IACvF,QAAQ,CAAC,iBAAiB,CAAC,EAAE,gBAAgB,GAAG,sBAAsB,GAAG,sBAAsB,GAAG,qBAAqB,CAAC;IACxH,QAAQ,CAAC,eAAe,CAAC,EAAI,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,SAAS,CAAC,EAAU,MAAM,CAAC;CACrC,CAAC;AAIF;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,aAAa,EAAG,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAI,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAI,WAAW,GAAG,SAAS,CAAC;IACjD,QAAQ,CAAC,SAAS,EAAO,MAAM,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAG,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAI,MAAM,CAAC;IAChC;;;;;;;;OAQG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC;;;;OAIG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS;QAC7B,QAAQ,CAAC,SAAS,EAAI,MAAM,CAAC;QAC7B,QAAQ,CAAC,OAAO,EAAM,UAAU,GAAG,SAAS,GAAG,mBAAmB,GAAG,SAAS,GAAG,UAAU,CAAC;QAC5F,QAAQ,CAAC,UAAU,EAAG,MAAM,CAAC;QAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAG,MAAM,CAAC;QAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;KAC9B,EAAE,CAAC;CACL,CAAC;AAIF,MAAM,MAAM,cAAc,GAAmB,WAAW,CAAC,aAAa,CAAC,CAAC;AACxE,MAAM,MAAM,WAAW,GAAsB,WAAW,CAAC,UAAU,CAAC,CAAC;AACrE,MAAM,MAAM,cAAc,GAAmB,WAAW,CAAC,aAAa,CAAC,CAAC;AACxE,MAAM,MAAM,wBAAwB,GAAS,WAAW,CAAC,uBAAuB,CAAC,CAAC;AAClF,MAAM,MAAM,sBAAsB,GAAW,WAAW,CAAC,qBAAqB,CAAC,CAAC;AAChF,MAAM,MAAM,kBAAkB,GAAe,WAAW,CAAC,iBAAiB,CAAC,CAAC;AAC5E,MAAM,MAAM,4BAA4B,GAAK,WAAW,CAAC,2BAA2B,CAAC,CAAC;AACtF,MAAM,MAAM,4BAA4B,GAAK,WAAW,CAAC,2BAA2B,CAAC,CAAC;AACtF,MAAM,MAAM,gBAAgB,GAAiB,WAAW,CAAC,eAAe,CAAC,CAAC;AAC1E,MAAM,MAAM,2BAA2B,GAAM,WAAW,CAAC,0BAA0B,CAAC,CAAC;AACrF,MAAM,MAAM,wBAAwB,GAAS,WAAW,CAAC,uBAAuB,CAAC,CAAC;AAClF,MAAM,MAAM,kBAAkB,GAAe,WAAW,CAAC,iBAAiB,CAAC,CAAC;AAE5E,MAAM,MAAM,gBAAgB,GAAgB,WAAW,CAAC,eAAe,CAAC,CAAC;AACzE,MAAM,MAAM,sBAAsB,GAAU,WAAW,CAAC,qBAAqB,CAAC,CAAC;AAC/E,MAAM,MAAM,oBAAoB,GAAY,WAAW,CAAC,mBAAmB,CAAC,CAAC;AAE7E,MAAM,MAAM,yBAAyB,GAAO,WAAW,CAAC,wBAAwB,CAAC,CAAC;AAElF,MAAM,MAAM,qBAAqB,GAAW,WAAW,CAAC,oBAAoB,CAAC,CAAC;AAC9E,MAAM,MAAM,qBAAqB,GAAW,WAAW,CAAC,oBAAoB,CAAC,CAAC;AAC9E,MAAM,MAAM,qBAAqB,GAAW,WAAW,CAAC,oBAAoB,CAAC,CAAC;AAE9E,MAAM,MAAM,qBAAqB,GAAW,WAAW,CAAC,oBAAoB,CAAC,CAAC;AAC9E,MAAM,MAAM,qBAAqB,GAAW,WAAW,CAAC,oBAAoB,CAAC,CAAC;AAC9E,MAAM,MAAM,qBAAqB,GAAW,WAAW,CAAC,oBAAoB,CAAC,CAAC;AAE9E,MAAM,MAAM,mBAAmB,GAAa,WAAW,CAAC,kBAAkB,CAAC,CAAC"}

package/dist/src/ucp/types.js

@@ -0,0 +1,57 @@
+/**
+ * UCP — UseSteady Control Protocol types.
+ *
+ * OWNERSHIP RULE: Every decision that flows through UseSteady is representable
+ * as a UCPEnvelope. Envelopes are versioned, content-addressed, and hashable.
+ *
+ * UCPEnvelope is the canonical representation — NOT a transport wrapper.
+ * The pipeline is authoritative. Envelopes are a parallel, read-only view.
+ *
+ * ── Envelope fields ────────────────────────────────────────────────────────
+ *
+ *   id      Content-addressed identifier: sha256({ type, payload, refs }).
+ *           Same content → same id. Does NOT change with ts.
+ *
+ *   type    Dot-notation namespaced string: "ucp.intent.v1", "ucp.prv.v1", etc.
+ *
+ *   version Always 1 in this phase.
+ *
+ *   ts      Epoch milliseconds. Excluded from id and hash.
+ *           Records when the envelope was created; does not affect identity.
+ *
+ *   payload The structured result of the relevant pipeline step.
+ *           Contains ONLY fields present in the source type — no invention.
+ *
+ *   meta    Envelope metadata. source = the module that produced this envelope.
+ *           deterministic is always true in v1 (no random-valued payloads).
+ *
+ *   refs    Optional parent/root references for trace chain linkage.
+ *
+ *   hash    Integrity hash: sha256 over { id, meta, payload, refs, type, version }.
+ *           Excludes ts and hash itself.
+ *
+ * ── PROTOCOL INVARIANT: Payloads must be undefined-free ──────────────────
+ *
+ *   stableStringify (used by computeId) serializes `undefined` as the string
+ *   "undefined" — it does NOT omit keys with undefined values the way
+ *   JSON.stringify does. This means:
+ *
+ *     { rejection_reason: undefined }  →  id contains "rejection_reason":"undefined"
+ *     { }                              →  id does NOT contain "rejection_reason"
+ *
+ *   These produce DIFFERENT content addresses for otherwise-identical payloads.
+ *   If the envelope is then persisted via JSON.stringify (which strips undefined
+ *   keys), the stored record diverges from the id used to index it — breaking
+ *   the content-addressing guarantee.
+ *
+ *   CONSTRUCTION RULE (enforced by convention, checked in mappers):
+ *     ✓ Omit optional fields entirely when they are absent.
+ *     ✓ Use conditional spreading: ...(value !== undefined ? { key: value } : {})
+ *     ✗ Never assign explicit `undefined` to a payload field.
+ *     ✗ Never use Object.assign or spread with an object containing undefined values.
+ *
+ *   All mappers in src/ucp/mappers/ must follow this rule.
+ *   Callers constructing payloads inline must follow this rule.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/src/ucp/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/ucp/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsDG"}