usesteady 0.1.0-alpha.1

package/dist/src/present/control-visibility/control-visibility-evaluator.js

@@ -0,0 +1,146 @@
+/**
+ * Control Visibility Evaluator — Phase 5B.
+ *
+ * ── Responsibility ────────────────────────────────────────────────────────────
+ *
+ *   Pure mapping from presentation state → ControlVisibilityResult.
+ *
+ *   No inference. No guessing. No logic authority.
+ *   Every mapping is an explicit, deterministic read of existing state.
+ *
+ * ── What this does NOT do ─────────────────────────────────────────────────────
+ *
+ *   Does NOT call intake, execution, or UCP
+ *   Does NOT derive new decisions from the presentation
+ *   Does NOT change any output shape
+ *   Does NOT produce side effects
+ *
+ * ── Locked rules (permanent — see docs/cvg-baseline.md) ─────────────────────
+ *
+ *   C1 — CVG is derived only from existing presentation state.
+ *        No re-evaluation. No classification. No inference. Pure mapping.
+ *
+ *   C2 — CVG may assert, but never route.
+ *        This function returns a result. It never changes what the caller returns.
+ *
+ *   C4 — Any new presentation family must extend ControlVisibilityInput here,
+ *        add a mapping case below, and pass all uniqueness/invariant tests.
+ *        Exhaustive switch required — no default fallthrough.
+ *
+ * ── Signal mapping summary ────────────────────────────────────────────────────
+ *
+ *   reminder_presentation:
+ *     ready_to_confirm   → signal: "ready_to_confirm",  level: "normal"
+ *     needs_time         → signal: "not_ready",          level: "blocking"
+ *     needs_subject      → signal: "not_ready",          level: "blocking"
+ *     ambiguous          → signal: "ambiguous",          level: "attention"
+ *
+ *   intake_presentation (by mode):
+ *     execute            → signal: "ready_to_confirm",  level: "normal"
+ *     guide              → signal: "not_ready",          level: "blocking"
+ *     clarify            → signal: "ambiguous",          level: "attention"
+ *     refuse             → signal: "refused_execution",  level: "blocking"
+ *     ignore             → signal: "not_ready",          level: "blocking"
+ *
+ *   cursor_preparation:
+ *     ready_for_confirmation → signal: "ready_to_confirm",  level: "normal"
+ *     conflict_detected      → signal: "conflict_detected", level: "blocking"
+ *     not_execute            → signal: "not_ready",          level: "blocking"
+ *
+ *   cursor_execution:
+ *     accepted                       → signal: "ready_to_confirm",  level: "normal"
+ *     refused_due_to_scope           → signal: "refused_scope",     level: "blocking"
+ *     refused_due_to_execution_error → signal: "refused_execution", level: "blocking"
+ *     blocked_ineligible             → signal: "refused_execution", level: "blocking"
+ *     blocked_persistence_failure    → signal: "refused_execution", level: "blocking"
+ */
+// ─── Public API ───────────────────────────────────────────────────────────────
+/**
+ * Evaluate the control visibility for a given presentation input.
+ *
+ * Pure function. No side effects. No inference. Deterministic.
+ *
+ * @param input  A ControlVisibilityInput discriminated union arm.
+ * @returns      A ControlVisibilityResult characterizing the authority level.
+ */
+// ─── Signal mapping summary addendum (Phase 5D) ──────────────────────────────
+//
+//   intake_provisionally_executable:
+//     → signal: "provisionally_executable", level: "attention"
+//     → must_block_confirm: false (does not hard-block)
+//     → must_surface: true (H must see the warning)
+//     → must_differentiate: true
+//
+// ─────────────────────────────────────────────────────────────────────────────
+export function evaluateControlVisibility(input) {
+    switch (input.kind) {
+        case "reminder_presentation":
+            return fromReminderState(input.presentation.state);
+        case "intake_presentation":
+            return fromIntakeMode(input.presentation.mode);
+        case "cursor_preparation":
+            return fromCursorPreparation(input.result.kind);
+        case "cursor_execution":
+            return fromCursorExecution(input.result.kind);
+        case "intake_provisionally_executable":
+            // Phase 5D — structurally executable but downstream policy block likely.
+            // attention level: must surface, must NOT hard-block confirm.
+            return build("provisionally_executable", "attention");
+    }
+}
+// ─── Internal mappers ─────────────────────────────────────────────────────────
+function fromReminderState(state) {
+    switch (state) {
+        case "ready_to_confirm": return build("ready_to_confirm", "normal");
+        case "needs_time": return build("not_ready", "blocking");
+        case "needs_subject": return build("not_ready", "blocking");
+        case "ambiguous": return build("ambiguous", "attention");
+    }
+}
+function fromIntakeMode(mode) {
+    switch (mode) {
+        case "execute": return build("ready_to_confirm", "normal");
+        case "guide": return build("not_ready", "blocking");
+        case "clarify": return build("ambiguous", "attention");
+        case "refuse": return build("refused_execution", "blocking");
+        case "ignore": return build("not_ready", "blocking");
+    }
+}
+function fromCursorPreparation(kind) {
+    switch (kind) {
+        case "ready_for_confirmation": return build("ready_to_confirm", "normal");
+        case "conflict_detected": return build("conflict_detected", "blocking");
+        case "not_execute": return build("not_ready", "blocking");
+    }
+}
+function fromCursorExecution(kind) {
+    switch (kind) {
+        case "accepted": return build("ready_to_confirm", "normal");
+        case "refused_due_to_scope": return build("refused_scope", "blocking");
+        case "refused_due_to_execution_error": return build("refused_execution", "blocking");
+        case "blocked_ineligible": return build("refused_execution", "blocking");
+        case "blocked_persistence_failure": return build("refused_execution", "blocking");
+    }
+}
+// ─── Result builder ───────────────────────────────────────────────────────────
+/**
+ * Derive the three boolean flags from level.
+ *
+ *   blocking:  must_block_confirm=true,  must_surface=true,  must_differentiate=true
+ *   attention: must_block_confirm=false, must_surface=true,  must_differentiate=true
+ *   normal:    must_block_confirm=false, must_surface=false, must_differentiate=true
+ *
+ * Higher-authority signals subsume lower-authority flags.
+ * must_differentiate is always true — no two levels may be visually equivalent.
+ */
+function build(signal, level) {
+    switch (level) {
+        case "blocking":
+            return { level, signal, must_block_confirm: true, must_surface: true, must_differentiate: true };
+        case "attention":
+            return { level, signal, must_block_confirm: false, must_surface: true, must_differentiate: true };
+        case "normal":
+            return { level, signal, must_block_confirm: false, must_surface: false, must_differentiate: true };
+    }
+}
+//# sourceMappingURL=control-visibility-evaluator.js.map

package/dist/src/present/control-visibility/control-visibility-evaluator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-visibility-evaluator.js","sourceRoot":"","sources":["../../../../src/present/control-visibility/control-visibility-evaluator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AASH,iFAAiF;AAEjF;;;;;;;GAOG;AACH,gFAAgF;AAChF,EAAE;AACF,qCAAqC;AACrC,+DAA+D;AAC/D,wDAAwD;AACxD,oDAAoD;AACpD,iCAAiC;AACjC,EAAE;AACF,gFAAgF;AAEhF,MAAM,UAAU,yBAAyB,CACvC,KAA6B;IAE7B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,uBAAuB;YAC1B,OAAO,iBAAiB,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAErD,KAAK,qBAAqB;YACxB,OAAO,cAAc,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAEjD,KAAK,oBAAoB;YACvB,OAAO,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAElD,KAAK,kBAAkB;YACrB,OAAO,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAEhD,KAAK,iCAAiC;YACpC,yEAAyE;YACzE,8DAA8D;YAC9D,OAAO,KAAK,CAAC,0BAA0B,EAAE,WAAW,CAAC,CAAC;IAC1D,CAAC;AACH,CAAC;AAED,iFAAiF;AAEjF,SAAS,iBAAiB,CACxB,KAAwE;IAExE,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,kBAAkB,CAAC,CAAC,OAAO,KAAK,CAAC,kBAAkB,EAAG,QAAQ,CAAC,CAAC;QACrE,KAAK,YAAY,CAAC,CAAO,OAAO,KAAK,CAAC,WAAW,EAAW,UAAU,CAAC,CAAC;QACxE,KAAK,eAAe,CAAC,CAAI,OAAO,KAAK,CAAC,WAAW,EAAW,UAAU,CAAC,CAAC;QACxE,KAAK,WAAW,CAAC,CAAQ,OAAO,KAAK,CAAC,WAAW,EAAW,WAAW,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,IAA2D;IAE3D,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,SAAS,CAAC,CAAC,OAAO,KAAK,CAAC,kBAAkB,EAAG,QAAQ,CAAC,CAAC;QAC5D,KAAK,OAAO,CAAC,CAAG,OAAO,KAAK,CAAC,WAAW,EAAW,UAAU,CAAC,CAAC;QAC/D,KAAK,SAAS,CAAC,CAAC,OAAO,KAAK,CAAC,WAAW,EAAW,WAAW,CAAC,CAAC;QAChE,KAAK,QAAQ,CAAC,CAAE,OAAO,KAAK,CAAC,mBAAmB,EAAG,UAAU,CAAC,CAAC;QAC/D,KAAK,QAAQ,CAAC,CAAE,OAAO,KAAK,CAAC,WAAW,EAAW,UAAU,CAAC,CAAC;IACjE,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAoE;IAEpE,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,wBAAwB,CAAC,CAAC,OAAO,KAAK,CAAC,kBAAkB,EAAG,QAAQ,CAAC,CAAC;QAC3E,KAAK,mBAAmB,CAAC,CAAM,OAAO,KAAK,CAAC,mBAAmB,EAAE,UAAU,CAAC,CAAC;QAC7E,KAAK,aAAa,CAAC,CAAY,OAAO,KAAK,CAAC,WAAW,EAAW,UAAU,CAAC,CAAC;IAChF,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAKiC;IAEjC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU,CAAC,CAAuB,OAAO,KAAK,CAAC,kBAAkB,EAAG,QAAQ,CAAC,CAAC;QACnF,KAAK,sBAAsB,CAAC,CAAW,OAAO,KAAK,CAAC,eAAe,EAAM,UAAU,CAAC,CAAC;QACrF,KAAK,gCAAgC,CAAC,CAAC,OAAO,KAAK,CAAC,mBAAmB,EAAE,UAAU,CAAC,CAAC;QACrF,KAAK,oBAAoB,CAAC,CAAa,OAAO,KAAK,CAAC,mBAAmB,EAAE,UAAU,CAAC,CAAC;QACrF,KAAK,6BAA6B,CAAC,CAAI,OAAO,KAAK,CAAC,mBAAmB,EAAE,UAAU,CAAC,CAAC;IACvF,CAAC;AACH,CAAC;AAED,iFAAiF;AAEjF;;;;;;;;;GASG;AACH,SAAS,KAAK,CAAC,MAAqB,EAAE,KAAyB;IAC7D,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,UAAU;YACb,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,IAAI,EAAG,YAAY,EAAE,IAAI,EAAG,kBAAkB,EAAE,IAAI,EAAE,CAAC;QACrG,KAAK,WAAW;YACd,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAG,kBAAkB,EAAE,IAAI,EAAE,CAAC;QACrG,KAAK,QAAQ;YACX,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;IACvG,CAAC;AACH,CAAC"}

package/dist/src/present/control-visibility/control-visibility-types.d.ts

@@ -0,0 +1,113 @@
+/**
+ * Control Visibility & Boundary Integrity (CVG) — Phase 5B types.
+ *
+ * ── Purpose ───────────────────────────────────────────────────────────────────
+ *
+ *   A PRESENTATION-LAYER safety contract. Not a UI concern.
+ *
+ *   Higher-authority signals MUST dominate lower-authority presentation.
+ *   This module defines the types that make that rule programmable and testable.
+ *
+ * ── What this is NOT ──────────────────────────────────────────────────────────
+ *
+ *   NOT an execution authority — it reads state, never sets it
+ *   NOT a UI styling concern   — no colors, no strings
+ *   NOT a routing decision     — consumers route; CVG only characterizes
+ *
+ * ── Invariant ─────────────────────────────────────────────────────────────────
+ *
+ *   Every distinct signal produces a structurally distinct result.
+ *   No two authority levels are visually or programmatically equivalent.
+ *   Assertions enforce this at runtime.
+ */
+/**
+ * ControlSignalLevel — the authority tier of a presentation signal.
+ *
+ *   "blocking"  — execution MUST NOT proceed. Confirm is disabled.
+ *                 The state must be surfaced and differentiated.
+ *                 Example: conflict_detected, refused_scope.
+ *
+ *   "attention" — execution should not proceed without user acknowledgment.
+ *                 The state must be surfaced, but confirm is not hard-blocked.
+ *                 Example: ambiguous.
+ *
+ *   "normal"    — execution may proceed. No blocking concern.
+ *                 The state must still be distinguishable from higher levels.
+ *                 Example: ready_to_confirm.
+ *
+ * Authority order: blocking > attention > normal.
+ * A higher-level signal MUST NOT be treated as a lower one.
+ */
+export type ControlSignalLevel = "normal" | "attention" | "blocking";
+/**
+ * ControlSignal — the semantic identity of the presentation state.
+ *
+ *   conflict_detected       — OCD policy conflict; H must resolve before proceeding.
+ *   not_ready               — required fields are missing; input incomplete.
+ *   ambiguous               — insufficient signal to determine intent.
+ *   refused_scope           — Cursor refused: scope clarification required.
+ *   refused_execution       — Cursor refused: execution-level error or system block.
+ *   ready_to_confirm        — all conditions met; H may proceed.
+ *   provisionally_executable — Phase 5D: structurally executable now, but a downstream
+ *                              policy block is likely based on the target path.
+ *                              level: attention. Does not hard-block confirm.
+ *                              Must surface. Must differentiate from ready_to_confirm.
+ */
+export type ControlSignal = "conflict_detected" | "not_ready" | "ambiguous" | "refused_scope" | "refused_execution" | "ready_to_confirm" | "provisionally_executable";
+/**
+ * ControlVisibilityResult — the programmatic characterization of a presentation state.
+ *
+ *   level              — authority tier (blocking / attention / normal)
+ *   signal             — semantic identity of the state
+ *   must_block_confirm — true when the confirm action MUST be disabled
+ *   must_surface       — true when the state MUST be shown to H (not hidden)
+ *   must_differentiate — true when the state MUST be visually/structurally
+ *                        distinct from all other levels (always true)
+ *
+ * Flag assignment by level:
+ *
+ *   blocking:  must_block_confirm=true,  must_surface=true,  must_differentiate=true
+ *   attention: must_block_confirm=false, must_surface=true,  must_differentiate=true
+ *   normal:    must_block_confirm=false, must_surface=false, must_differentiate=true
+ */
+export type ControlVisibilityResult = {
+    readonly level: ControlSignalLevel;
+    readonly signal: ControlSignal;
+    readonly must_block_confirm: boolean;
+    readonly must_surface: boolean;
+    readonly must_differentiate: boolean;
+};
+import type { ReminderPresentation } from "../reminders/reminder-types.js";
+import type { PresentationOutput } from "../types.js";
+import type { CursorPreparationResult, CursorExecutionResult } from "../../execution/cursor/cursor-execution-coordinator.js";
+/**
+ * ControlVisibilityInput — the set of presentation shapes the evaluator accepts.
+ *
+ * Each arm carries the full shape; the evaluator reads only what it needs
+ * and never calls upstream logic.
+ *
+ *   "reminder_presentation"          — a ReminderPresentation from presentReminder()
+ *   "intake_presentation"            — a PresentationOutput from formatIntakeResult()
+ *   "cursor_preparation"             — a CursorPreparationResult from prepareCursorExecution()
+ *   "cursor_execution"               — a CursorExecutionResult from deliverCursorExecution()
+ *   "intake_provisionally_executable" — Phase 5D: execute-mode presentation where a
+ *                                       downstream policy block is likely. Signals
+ *                                       "attention" without blocking confirm.
+ */
+export type ControlVisibilityInput = {
+    readonly kind: "reminder_presentation";
+    readonly presentation: ReminderPresentation;
+} | {
+    readonly kind: "intake_presentation";
+    readonly presentation: PresentationOutput;
+} | {
+    readonly kind: "cursor_preparation";
+    readonly result: CursorPreparationResult;
+} | {
+    readonly kind: "cursor_execution";
+    readonly result: CursorExecutionResult;
+} | {
+    readonly kind: "intake_provisionally_executable";
+    readonly presentation: PresentationOutput;
+};
+//# sourceMappingURL=control-visibility-types.d.ts.map

package/dist/src/present/control-visibility/control-visibility-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-visibility-types.d.ts","sourceRoot":"","sources":["../../../../src/present/control-visibility/control-visibility-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAIH;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,kBAAkB,GAC1B,QAAQ,GACR,WAAW,GACX,UAAU,CAAC;AAIf;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,aAAa,GACrB,mBAAmB,GACnB,WAAW,GACX,WAAW,GACX,eAAe,GACf,mBAAmB,GACnB,kBAAkB,GAClB,0BAA0B,CAAC;AAI/B;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,CAAC,KAAK,EAAe,kBAAkB,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAc,aAAa,CAAC;IAC3C,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAQ,OAAO,CAAC;IACrC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;CACtC,CAAC;AAIF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAO,gCAAgC,CAAC;AAC5E,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAS,aAAa,CAAC;AACzD,OAAO,KAAK,EAAE,uBAAuB,EAAE,qBAAqB,EAAE,MACvD,wDAAwD,CAAC;AAEhE;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,sBAAsB,GAC9B;IAAE,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IAAW,QAAQ,CAAC,YAAY,EAAE,oBAAoB,CAAA;CAAE,GACjG;IAAE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IAAa,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAA;CAAE,GAC/F;IAAE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IAAc,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAA;CAAE,GAC9F;IAAE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAAgB,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAA;CAAE,GAC5F;IAAE,QAAQ,CAAC,IAAI,EAAE,iCAAiC,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAA;CAAE,CAAC"}

package/dist/src/present/control-visibility/control-visibility-types.js

@@ -0,0 +1,24 @@
+/**
+ * Control Visibility & Boundary Integrity (CVG) — Phase 5B types.
+ *
+ * ── Purpose ───────────────────────────────────────────────────────────────────
+ *
+ *   A PRESENTATION-LAYER safety contract. Not a UI concern.
+ *
+ *   Higher-authority signals MUST dominate lower-authority presentation.
+ *   This module defines the types that make that rule programmable and testable.
+ *
+ * ── What this is NOT ──────────────────────────────────────────────────────────
+ *
+ *   NOT an execution authority — it reads state, never sets it
+ *   NOT a UI styling concern   — no colors, no strings
+ *   NOT a routing decision     — consumers route; CVG only characterizes
+ *
+ * ── Invariant ─────────────────────────────────────────────────────────────────
+ *
+ *   Every distinct signal produces a structurally distinct result.
+ *   No two authority levels are visually or programmatically equivalent.
+ *   Assertions enforce this at runtime.
+ */
+export {};
+//# sourceMappingURL=control-visibility-types.js.map

package/dist/src/present/control-visibility/control-visibility-types.js.map

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

package/dist/src/present/control-visibility/index.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Control Visibility & Boundary Integrity (CVG) — Phase 5B public API.
+ *
+ * Usage in presentation entry points:
+ *
+ *   import { evaluateControlVisibility, assertControlVisibilityConsistency }
+ *     from "./control-visibility/index.js";
+ *
+ *   const cvg = evaluateControlVisibility({ kind: "reminder_presentation", presentation });
+ *   assertControlVisibilityConsistency(cvg);
+ *   // result is unchanged — CVG is a read-only hook
+ */
+export type { ControlSignalLevel, ControlSignal, ControlVisibilityResult, ControlVisibilityInput, } from "./control-visibility-types.js";
+export { evaluateControlVisibility } from "./control-visibility-evaluator.js";
+export { assertControlVisibilityConsistency, ControlVisibilityViolationError, } from "./control-visibility-assertions.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/src/present/control-visibility/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/present/control-visibility/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,YAAY,EACV,kBAAkB,EAClB,aAAa,EACb,uBAAuB,EACvB,sBAAsB,GACvB,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAE9E,OAAO,EACL,kCAAkC,EAClC,+BAA+B,GAChC,MAAM,oCAAoC,CAAC"}

package/dist/src/present/control-visibility/index.js

@@ -0,0 +1,15 @@
+/**
+ * Control Visibility & Boundary Integrity (CVG) — Phase 5B public API.
+ *
+ * Usage in presentation entry points:
+ *
+ *   import { evaluateControlVisibility, assertControlVisibilityConsistency }
+ *     from "./control-visibility/index.js";
+ *
+ *   const cvg = evaluateControlVisibility({ kind: "reminder_presentation", presentation });
+ *   assertControlVisibilityConsistency(cvg);
+ *   // result is unchanged — CVG is a read-only hook
+ */
+export { evaluateControlVisibility } from "./control-visibility-evaluator.js";
+export { assertControlVisibilityConsistency, ControlVisibilityViolationError, } from "./control-visibility-assertions.js";
+//# sourceMappingURL=index.js.map

package/dist/src/present/control-visibility/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/present/control-visibility/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AASH,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAE9E,OAAO,EACL,kCAAkC,EAClC,+BAA+B,GAChC,MAAM,oCAAoC,CAAC"}

package/dist/src/present/format.d.ts

@@ -0,0 +1,57 @@
+/**
+ * Presentation formatter — formatIntakeResult.
+ *
+ * Converts an IntakeResult into a consumer-ready PresentationOutput.
+ * No logic here. No decisions. Only translation.
+ *
+ * ── UCP boundary note ─────────────────────────────────────────────────────────
+ *
+ * UCP is canonical source of truth, but presentation consumes projected IntakeResult.
+ * Direct UCP consumption is deferred to Phase 2 integration.
+ *
+ * In Phase 2, PresentationOutput may be derived directly from UCPBundle instead
+ * of from IntakeResult, using the response envelope as the authoritative source.
+ * Until then, IntakeResult is the presentation input and UCP is a parallel view.
+ *
+ * ── What this is ──────────────────────────────────────────────────────────────
+ *
+ * The presentation layer sits above the intake pipeline.
+ * It takes already-decided IntakeResult data and formats it for display.
+ *
+ * ── What this is not ─────────────────────────────────────────────────────────
+ *
+ * This layer does NOT:
+ *   - Re-run intake, completion, or interpretation
+ *   - Add new decisions or modify existing ones
+ *   - Guess values or invent context
+ *   - Render HTML, terminal escape codes, or markdown
+ *
+ * ── Dual interpretation families ─────────────────────────────────────────────
+ *
+ * IntentInterpretation (guide mode)
+ *   → category comes from IntentInterpretationCategory
+ *   → lives at result.guidance.interpretation
+ *   → display names: "Color / style change", "Text / copy change", "Configuration change"
+ *
+ * InterpretationResult (execute mode)
+ *   → category comes from InterpretationCategory
+ *   → lives at result.interpretation
+ *   → display names: "Tailwind color change", "CSS color change", etc.
+ *
+ * These are never merged. One is for guide. One is for execute.
+ */
+import type { IntakeResult } from "../intake/types.js";
+import type { DebugTrace } from "../intake/trace.js";
+import type { PresentationOutput } from "./types.js";
+/**
+ * Format an IntakeResult into a consumer-ready PresentationOutput.
+ *
+ * @param result  The intake pipeline result
+ * @param trace   Optional debug trace from runIntakeWithTrace.
+ *                When provided, it is attached to debugTrace on the output.
+ *                It has zero effect on any other field.
+ *
+ * The result is deterministic: same inputs → same output.
+ */
+export declare function formatIntakeResult(result: IntakeResult, trace?: DebugTrace): PresentationOutput;
+//# sourceMappingURL=format.d.ts.map

package/dist/src/present/format.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"format.d.ts","sourceRoot":"","sources":["../../../src/present/format.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAGrD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAsDrD;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,YAAY,EACpB,KAAK,CAAC,EAAE,UAAU,GACjB,kBAAkB,CAwDpB"}

package/dist/src/present/format.js

@@ -0,0 +1,150 @@
+/**
+ * Presentation formatter — formatIntakeResult.
+ *
+ * Converts an IntakeResult into a consumer-ready PresentationOutput.
+ * No logic here. No decisions. Only translation.
+ *
+ * ── UCP boundary note ─────────────────────────────────────────────────────────
+ *
+ * UCP is canonical source of truth, but presentation consumes projected IntakeResult.
+ * Direct UCP consumption is deferred to Phase 2 integration.
+ *
+ * In Phase 2, PresentationOutput may be derived directly from UCPBundle instead
+ * of from IntakeResult, using the response envelope as the authoritative source.
+ * Until then, IntakeResult is the presentation input and UCP is a parallel view.
+ *
+ * ── What this is ──────────────────────────────────────────────────────────────
+ *
+ * The presentation layer sits above the intake pipeline.
+ * It takes already-decided IntakeResult data and formats it for display.
+ *
+ * ── What this is not ─────────────────────────────────────────────────────────
+ *
+ * This layer does NOT:
+ *   - Re-run intake, completion, or interpretation
+ *   - Add new decisions or modify existing ones
+ *   - Guess values or invent context
+ *   - Render HTML, terminal escape codes, or markdown
+ *
+ * ── Dual interpretation families ─────────────────────────────────────────────
+ *
+ * IntentInterpretation (guide mode)
+ *   → category comes from IntentInterpretationCategory
+ *   → lives at result.guidance.interpretation
+ *   → display names: "Color / style change", "Text / copy change", "Configuration change"
+ *
+ * InterpretationResult (execute mode)
+ *   → category comes from InterpretationCategory
+ *   → lives at result.interpretation
+ *   → display names: "Tailwind color change", "CSS color change", etc.
+ *
+ * These are never merged. One is for guide. One is for execute.
+ */
+// ─── Display name maps ────────────────────────────────────────────────────────
+const MODE_BADGES = {
+    refuse: "REFUSE",
+    ignore: "IGNORE",
+    clarify: "CLARIFY",
+    guide: "GUIDE",
+    execute: "EXECUTE",
+};
+const CONFIDENCE_LABELS = {
+    high: "High confidence",
+    medium: "Medium confidence",
+    low: "Low confidence",
+};
+// Intent interpretation (guide mode — what the user appears to be trying to do)
+const INTENT_CATEGORY_LABELS = {
+    visual_color: "Color / style change",
+    text_change: "Text / copy change",
+    config_change: "Configuration change",
+    workflow_operation: "Development workflow",
+    unknown: "Unclassified",
+};
+// Change interpretation (execute mode — what the structured change means)
+const CHANGE_CATEGORY_LABELS = {
+    tailwind_color_change: "Tailwind color change",
+    css_color_change: "CSS color change",
+    text_literal_change: "Text / copy change",
+    config_value_change: "Configuration value change",
+};
+// ─── certaintyLevel derivation ────────────────────────────────────────────────
+/**
+ * Purely derived — no logic authority.
+ *
+ * "certain"  → execute + change interpretation (structured patch, known meaning)
+ * "inferred" → guide + intent interpretation (vague but classified)
+ * "unknown"  → all other cases (refuse, ignore, clarify, bare execute, incomplete guide)
+ */
+function deriveCertaintyLevel(result) {
+    if (result.mode === "execute" && result.interpretation !== undefined)
+        return "certain";
+    if (result.mode === "guide" && result.guidance?.interpretation !== undefined)
+        return "inferred";
+    return "unknown";
+}
+// ─── formatIntakeResult ───────────────────────────────────────────────────────
+/**
+ * Format an IntakeResult into a consumer-ready PresentationOutput.
+ *
+ * @param result  The intake pipeline result
+ * @param trace   Optional debug trace from runIntakeWithTrace.
+ *                When provided, it is attached to debugTrace on the output.
+ *                It has zero effect on any other field.
+ *
+ * The result is deterministic: same inputs → same output.
+ */
+export function formatIntakeResult(result, trace) {
+    const badge = MODE_BADGES[result.mode];
+    const certaintyLevel = deriveCertaintyLevel(result);
+    const traceField = trace !== undefined ? { debugTrace: trace } : {};
+    // ── guide mode with intent interpretation (guided_recovery + classification) ─
+    if (result.mode === "guide" && result.guidance?.interpretation !== undefined) {
+        const interp = result.guidance.interpretation;
+        return {
+            mode: result.mode,
+            badge,
+            headline: interp.summary,
+            category: INTENT_CATEGORY_LABELS[interp.category],
+            confidence: CONFIDENCE_LABELS[interp.confidence],
+            steps: result.guidance.nextSteps.map((s) => s.label),
+            missing: [...result.guidance.missing],
+            certaintyLevel,
+            ...traceField,
+        };
+    }
+    // ── guide mode without intent interpretation (incomplete, or no classification) ─
+    if (result.mode === "guide" && result.guidance !== undefined) {
+        return {
+            mode: result.mode,
+            badge,
+            headline: result.reason,
+            steps: result.guidance.nextSteps.map((s) => s.label),
+            missing: [...result.guidance.missing],
+            certaintyLevel,
+            ...traceField,
+        };
+    }
+    // ── execute mode with change interpretation ────────────────────────────────
+    if (result.mode === "execute" && result.interpretation !== undefined) {
+        const interp = result.interpretation;
+        return {
+            mode: result.mode,
+            badge,
+            headline: interp.summary,
+            category: CHANGE_CATEGORY_LABELS[interp.category],
+            confidence: CONFIDENCE_LABELS[interp.confidence],
+            certaintyLevel,
+            ...traceField,
+        };
+    }
+    // ── refuse / ignore / clarify / execute (no interpretation) ───────────────
+    return {
+        mode: result.mode,
+        badge,
+        headline: result.reason,
+        certaintyLevel,
+        ...traceField,
+    };
+}
+//# sourceMappingURL=format.js.map

package/dist/src/present/format.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"format.js","sourceRoot":"","sources":["../../../src/present/format.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AASH,iFAAiF;AAEjF,MAAM,WAAW,GAAiC;IAChD,MAAM,EAAG,QAAQ;IACjB,MAAM,EAAG,QAAQ;IACjB,OAAO,EAAE,SAAS;IAClB,KAAK,EAAI,OAAO;IAChB,OAAO,EAAE,SAAS;CACnB,CAAC;AAEF,MAAM,iBAAiB,GAA8C;IACnE,IAAI,EAAI,iBAAiB;IACzB,MAAM,EAAE,mBAAmB;IAC3B,GAAG,EAAK,gBAAgB;CACzB,CAAC;AAEF,gFAAgF;AAChF,MAAM,sBAAsB,GAAiD;IAC3E,YAAY,EAAQ,sBAAsB;IAC1C,WAAW,EAAS,oBAAoB;IACxC,aAAa,EAAO,sBAAsB;IAC1C,kBAAkB,EAAE,sBAAsB;IAC1C,OAAO,EAAa,cAAc;CACnC,CAAC;AAEF,0EAA0E;AAC1E,MAAM,sBAAsB,GAA2C;IACrE,qBAAqB,EAAE,uBAAuB;IAC9C,gBAAgB,EAAO,kBAAkB;IACzC,mBAAmB,EAAI,oBAAoB;IAC3C,mBAAmB,EAAI,4BAA4B;CACpD,CAAC;AAEF,iFAAiF;AAEjF;;;;;;GAMG;AACH,SAAS,oBAAoB,CAC3B,MAAoB;IAEpB,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,cAAc,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACvF,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAM,MAAM,CAAC,QAAQ,EAAE,cAAc,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC;IAClG,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,iFAAiF;AAEjF;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAoB,EACpB,KAAkB;IAElB,MAAM,KAAK,GAAY,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,cAAc,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACpD,MAAM,UAAU,GAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAExE,gFAAgF;IAChF,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,cAAc,KAAK,SAAS,EAAE,CAAC;QAC7E,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC;QAC9C,OAAO;YACL,IAAI,EAAQ,MAAM,CAAC,IAAI;YACvB,KAAK;YACL,QAAQ,EAAI,MAAM,CAAC,OAAO;YAC1B,QAAQ,EAAI,sBAAsB,CAAC,MAAM,CAAC,QAAQ,CAAC;YACnD,UAAU,EAAE,iBAAiB,CAAC,MAAM,CAAC,UAAU,CAAC;YAChD,KAAK,EAAO,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;YACzD,OAAO,EAAK,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;YACxC,cAAc;YACd,GAAG,UAAU;SACd,CAAC;IACJ,CAAC;IAED,mFAAmF;IACnF,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC7D,OAAO;YACL,IAAI,EAAM,MAAM,CAAC,IAAI;YACrB,KAAK;YACL,QAAQ,EAAE,MAAM,CAAC,MAAM;YACvB,KAAK,EAAK,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;YACvD,OAAO,EAAG,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;YACtC,cAAc;YACd,GAAG,UAAU;SACd,CAAC;IACJ,CAAC;IAED,8EAA8E;IAC9E,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACrE,MAAM,MAAM,GAAG,MAAM,CAAC,cAAc,CAAC;QACrC,OAAO;YACL,IAAI,EAAQ,MAAM,CAAC,IAAI;YACvB,KAAK;YACL,QAAQ,EAAI,MAAM,CAAC,OAAO;YAC1B,QAAQ,EAAI,sBAAsB,CAAC,MAAM,CAAC,QAAQ,CAAC;YACnD,UAAU,EAAE,iBAAiB,CAAC,MAAM,CAAC,UAAU,CAAC;YAChD,cAAc;YACd,GAAG,UAAU;SACd,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,OAAO;QACL,IAAI,EAAM,MAAM,CAAC,IAAI;QACrB,KAAK;QACL,QAAQ,EAAE,MAAM,CAAC,MAAM;QACvB,cAAc;QACd,GAAG,UAAU;KACd,CAAC;AACJ,CAAC"}