instar 1.3.660 → 1.3.662

package/dist/core/MessagingToneGate.d.ts

@@ -53,7 +53,72 @@ export interface ToneReviewResult {
      * tone authority could not run under capacity pressure.
      */
     capacityUnavailable?: boolean;
+    /**
+     * True when the gate HELD the message (pass=false) because a gating-LLM
+     * call dropped its verdict — a provider-exhaustion error, an unparseable
+     * response (after one retry), or the route-budget timeout elapsing with no
+     * verdict. Fail-CLOSED is the safe direction for a gating decision
+     * (No Silent Degradation). Distinct from capacityUnavailable (spawn-cap shed)
+     * and failedOpen (legacy permissive drop, now only on the invalid-rule
+     * re-prompt's benign branches). Spec: gate-prompts-judge-by-meaning §Design 6.
+     */
+    failedClosed?: boolean;
+}
+export declare const VALID_RULES: Set<string>;
+/**
+ * Rule-class taxonomy (spec: gate-prompts-judge-by-meaning-not-literal-lists §Design 7).
+ *
+ * The boundary between rules whose prompt may LITERAL-match a deterministic
+ * artifact (`deterministic-detection`) and rules that must judge by MEANING
+ * (`behavioral-judgment`) is made STRUCTURAL here — a machine-readable source
+ * registry, NOT a `//` comment inside the prompt template literal (those would
+ * render into the prompt sent to the model). The forward ratchet
+ * (tests/unit/gate-prompts-judge-by-meaning.test.ts) keys off this map.
+ *
+ * Constitution standard: "Intelligent Prompts — An LLM Gate Must Not
+ * String-Match" (docs/STANDARDS-REGISTRY.md).
+ */
+export type GateRuleClass = 'deterministic-detection' | 'signal-driven' | 'style' | 'health-alert' | 'behavioral-judgment' | 'parked-on-user';
+export declare const RULE_CLASSES: Record<string, GateRuleClass>;
+/** Phase-2 migration debt (CMT-1793): B1–B7 still literal-match in-prompt. */
+export declare const PHASE2_MIGRATION_DEBT: {
+    rules: readonly ["B1_CLI_COMMAND", "B2_FILE_PATH", "B3_CONFIG_KEY", "B4_COPY_PASTE_CODE", "B5_API_ENDPOINT", "B6_ENV_VAR", "B7_CRON_OR_SLUG"];
+    commitment: string;
+};
+/** Deferred availability-aware kind-routing refinement (CMT-1794). Gate is fail-closed-compliant now. */
+export declare const DEFERRED_REFINEMENT: {
+    paths: readonly ["provider-exhaustion", "json-parse", "route-budget-timeout"];
+    commitment: string;
+};
+/**
+ * The §Design 1 structured-intermediate the model emits for a self-stop (B15)
+ * judgment. The block/allow VERDICT is derived from these fields, which makes
+ * the decision testable and far less dependent on prose interpretation (the
+ * answer to the "prompt jurisprudence" concern). Optional — absent on a normal
+ * non-B15 verdict, in which case the legacy {pass,rule,issue,suggestion} path
+ * is used unchanged.
+ */
+export interface StructuredVerdict {
+    proposed_stop: boolean;
+    deferred_items: string[];
+    stop_reason_kind: 'agent-state' | 'external-blocker' | 'design-fork' | 'completion' | 'operator-stop' | 'none' | string;
+    agent_state_reason_present: boolean;
+    external_blocker_present: boolean;
+}
+export interface ParsedToneResponse {
+    pass: boolean;
+    rule: string;
+    issue: string;
+    suggestion: string;
+    structured?: StructuredVerdict;
 }
+/**
+ * A structured verdict is internally contradictory (a model-output-discipline
+ * failure) when its fields disagree — e.g. "no stop proposed" yet items are
+ * deferred, or "agent-state reason present" yet the stop is classified as a
+ * completion / none. Contradiction → re-prompt once → fail-closed (§Design 6).
+ */
+export declare function structuredContradiction(s: StructuredVerdict): boolean;
 export interface ToneReviewContextMessage {
     role: 'user' | 'agent';
     text: string;
@@ -222,16 +287,74 @@ export interface ToneReviewContext {
      * scheduled-task sends (stamped by the scheduler env, not the model).
      */
     messageKind?: MessageKind;
+    /**
+     * Deterministic agent-state signal (spec §Design 1a). Detected OUTSIDE the
+     * prompt (in-process `readSessionClocks` at the route seam) and fed in as
+     * ground truth so B15 can judge a "near the limit" claim against reality
+     * instead of the agent's self-assessed prose. SCOPE: time-box claims only —
+     * it does NOT ground context-window / fatigue / clarity claims (no signal
+     * for those yet; CMT-1793). Absent → B15 falls back to meaning-only (the
+     * signal sharpens the verdict, it is never a necessary condition). Rendered
+     * in its own per-call boundary, treated as untrusted data.
+     */
+    agentState?: {
+        sessionElapsedMs: number;
+        sessionRemainingMs: number | null;
+        isTimeBoxed: boolean;
+    };
+}
+/** Tune knobs read live from InstarConfig.messaging.toneGate (spec §Design 6). */
+export interface ToneGateConfig {
+    /**
+     * When true (DEFAULT), the provider-exhaustion and route-budget-timeout paths
+     * fail CLOSED (hold). Operator kill-switch: set false to revert THOSE two
+     * availability-sensitive paths to fail-open without a deploy (read live). The
+     * invalid-rule and JSON-parse fail-closeds are NOT switched (no availability
+     * cost — they fire only on a model that already decided to block / emitted
+     * unparseable output).
+     */
+    failClosedOnExhaustion?: boolean;
 }
 export declare class MessagingToneGate {
     private provider;
-    constructor(provider: IntelligenceProvider);
+    private configOrGetter;
+    constructor(provider: IntelligenceProvider, config?: ToneGateConfig | (() => ToneGateConfig));
+    /** Resolve config live each review so the kill-switch is honored without a restart. */
+    private getConfig;
     review(text: string, context: ToneReviewContext): Promise<ToneReviewResult>;
+    /** Fail-CLOSED disposition (hold) — mirrors the capacity-shed sibling. */
+    private failClosed;
+    /**
+     * Turn a parsed response into a verdict OR signal that one re-prompt is
+     * warranted. `null` parsed = unparseable. Applies the §Design 1
+     * structured-intermediate: a contradictory structured verdict re-prompts,
+     * and a B15 stop the model's OWN structured reasoning flags
+     * (proposed_stop ∧ agent_state_reason_present) is derived to BLOCK even if
+     * the model set pass:true (the structured fields are the ground truth of its
+     * reasoning). Back-compat: when no structured block is present, behavior is
+     * exactly the legacy {pass,rule,issue,suggestion} path.
+     */
+    private interpret;
     private buildPrompt;
     private renderMessageKind;
     private renderSignals;
     private renderTargetStyle;
     private renderRecentMessages;
+    /**
+     * §Design 1a: the deterministic agent-state signal (session clock), rendered
+     * in its own per-call boundary as untrusted data. Grounds B15 TIME-BOX
+     * claims only. Absent → omitted (B15 falls back to meaning-only).
+     */
+    private renderAgentState;
+    /**
+     * Parse the model's JSON. Returns `null` on unparseable / malformed output
+     * (NOT a permissive fail-open) — review() treats null as a re-prompt → then
+     * fail-closed, so a model emitting garbage can never silently deliver an
+     * unreviewed message (No Silent Degradation §Design 6). The optional
+     * `structured` block (§Design 1) is type-clamped on the way in; the issue/
+     * suggestion are length-bounded (1–2 sentences) since they may be re-fed to
+     * the agent's rephrase loop as untrusted data (§Design 5).
+     */
     private parseResponse;
 }
 //# sourceMappingURL=MessagingToneGate.d.ts.map

package/dist/core/MessagingToneGate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"MessagingToneGate.d.ts","sourceRoot":"","sources":["../../src/core/MessagingToneGate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAUvD,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,OAAO,CAAC;IACd;;;;;OAKG;IACH,IAAI,EAAE,MAAM,CAAC;IACb,8DAA8D;IAC9D,KAAK,EAAE,MAAM,CAAC;IACd,+DAA+D;IAC/D,UAAU,EAAE,MAAM,CAAC;IACnB,2DAA2D;IAC3D,SAAS,EAAE,MAAM,CAAC;IAClB,qDAAqD;IACrD,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,uFAAuF;IACvF,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB;;;;;;OAMG;IACH,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC/B;AAwBD,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;;GAUG;AACH;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,cAAc,GAAG,SAAS,GAAG,WAAW,CAAC;AAE7E,MAAM,WAAW,iBAAiB;IAChC,sFAAsF;IACtF,IAAI,CAAC,EAAE;QACL,QAAQ,EAAE,OAAO,CAAC;QAClB,gFAAgF;QAChF,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,6FAA6F;IAC7F,SAAS,CAAC,EAAE;QACV,QAAQ,EAAE,OAAO,CAAC;QAClB,mIAAmI;QACnI,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,uFAAuF;QACvF,WAAW,CAAC,EAAE,MAAM,CAAC;KACtB,CAAC;IACF;;;;;;;;;;;OAWG;IACH,UAAU,CAAC,EAAE;QACX,QAAQ,EAAE,OAAO,CAAC;QAClB,oEAAoE;QACpE,eAAe,CAAC,EAAE,MAAM,CAAC;QACzB,sCAAsC;QACtC,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,yEAAyE;QACzE,YAAY,CAAC,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC;KAC/C,CAAC;IACF;;;;;;;;OAQG;IACH,MAAM,CAAC,EAAE;QACP,QAAQ,EAAE,OAAO,CAAC;QAClB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;QACjB,KAAK,CAAC,EAAE,MAAM,CAAC;KAChB,CAAC;IACF;;;;;;;;;OASG;IACH,QAAQ,CAAC,EAAE;QACT,8EAA8E;QAC9E,IAAI,EAAE,OAAO,CAAC;QACd,mCAAmC;QACnC,IAAI,CAAC,EAAE,qBAAqB,GAAG,qBAAqB,GAAG,mBAAmB,CAAC;QAC3E,oEAAoE;QACpE,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,+EAA+E;QAC/E,oBAAoB,CAAC,EAAE,MAAM,CAAC;KAC/B,CAAC;IACF;;;;;;;OAOG;IACH,QAAQ,CAAC,EAAE;QACT,+CAA+C;QAC/C,SAAS,EAAE,OAAO,CAAC;QACnB,mEAAmE;QACnE,SAAS,EAAE,OAAO,GAAG,IAAI,CAAC;QAC1B,sDAAsD;QACtD,QAAQ,EAAE,MAAM,CAAC;KAClB,CAAC;IACF;;;;;;;OAOG;IACH,QAAQ,CAAC,EAAE;QACT,QAAQ,EAAE,OAAO,CAAC;QAClB,kEAAkE;QAClE,KAAK,CAAC,EAAE,MAAM,CAAC;KAChB,CAAC;IACF;;;;;;OAMG;IACH,YAAY,CAAC,EAAE;QACb,MAAM,EAAE,OAAO,CAAC;QAChB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;IACF;;;;;;OAMG;IACH,cAAc,CAAC,EAAE;QACf,MAAM,EAAE,OAAO,CAAC;QAChB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;KAClB,CAAC;CACH;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,iFAAiF;IACjF,cAAc,CAAC,EAAE,wBAAwB,EAAE,CAAC;IAC5C,yEAAyE;IACzE,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAC5B;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;OAKG;IACH,WAAW,CAAC,EAAE,WAAW,CAAC;CAC3B;AAED,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,QAAQ,CAAuB;gBAE3B,QAAQ,EAAE,oBAAoB;IAIpC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,gBAAgB,CAAC;IA4EjF,OAAO,CAAC,WAAW;IAsMnB,OAAO,CAAC,iBAAiB;IAezB,OAAO,CAAC,aAAa;IAoErB,OAAO,CAAC,iBAAiB;IAUzB,OAAO,CAAC,oBAAoB;IAe5B,OAAO,CAAC,aAAa;CAoBtB"}
+{"version":3,"file":"MessagingToneGate.d.ts","sourceRoot":"","sources":["../../src/core/MessagingToneGate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAUvD,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,OAAO,CAAC;IACd;;;;;OAKG;IACH,IAAI,EAAE,MAAM,CAAC;IACb,8DAA8D;IAC9D,KAAK,EAAE,MAAM,CAAC;IACd,+DAA+D;IAC/D,UAAU,EAAE,MAAM,CAAC;IACnB,2DAA2D;IAC3D,SAAS,EAAE,MAAM,CAAC;IAClB,qDAAqD;IACrD,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,uFAAuF;IACvF,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB;;;;;;OAMG;IACH,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B;;;;;;;;OAQG;IACH,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED,eAAO,MAAM,WAAW,aAoBtB,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,aAAa,GACrB,yBAAyB,GACzB,eAAe,GACf,OAAO,GACP,cAAc,GACd,qBAAqB,GACrB,gBAAgB,CAAC;AAMrB,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAuBtD,CAAC;AAEF,8EAA8E;AAC9E,eAAO,MAAM,qBAAqB;;;CAGjC,CAAC;AAEF,yGAAyG;AACzG,eAAO,MAAM,mBAAmB;;;CAG/B,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,WAAW,iBAAiB;IAChC,aAAa,EAAE,OAAO,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,gBAAgB,EAAE,aAAa,GAAG,kBAAkB,GAAG,aAAa,GAAG,YAAY,GAAG,eAAe,GAAG,MAAM,GAAG,MAAM,CAAC;IACxH,0BAA0B,EAAE,OAAO,CAAC;IACpC,wBAAwB,EAAE,OAAO,CAAC;CACnC;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,iBAAiB,CAAC;CAChC;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,CAAC,EAAE,iBAAiB,GAAG,OAAO,CAKrE;AAED,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;;GAUG;AACH;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,cAAc,GAAG,SAAS,GAAG,WAAW,CAAC;AAE7E,MAAM,WAAW,iBAAiB;IAChC,sFAAsF;IACtF,IAAI,CAAC,EAAE;QACL,QAAQ,EAAE,OAAO,CAAC;QAClB,gFAAgF;QAChF,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,6FAA6F;IAC7F,SAAS,CAAC,EAAE;QACV,QAAQ,EAAE,OAAO,CAAC;QAClB,mIAAmI;QACnI,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,uFAAuF;QACvF,WAAW,CAAC,EAAE,MAAM,CAAC;KACtB,CAAC;IACF;;;;;;;;;;;OAWG;IACH,UAAU,CAAC,EAAE;QACX,QAAQ,EAAE,OAAO,CAAC;QAClB,oEAAoE;QACpE,eAAe,CAAC,EAAE,MAAM,CAAC;QACzB,sCAAsC;QACtC,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,yEAAyE;QACzE,YAAY,CAAC,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC;KAC/C,CAAC;IACF;;;;;;;;OAQG;IACH,MAAM,CAAC,EAAE;QACP,QAAQ,EAAE,OAAO,CAAC;QAClB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;QACjB,KAAK,CAAC,EAAE,MAAM,CAAC;KAChB,CAAC;IACF;;;;;;;;;OASG;IACH,QAAQ,CAAC,EAAE;QACT,8EAA8E;QAC9E,IAAI,EAAE,OAAO,CAAC;QACd,mCAAmC;QACnC,IAAI,CAAC,EAAE,qBAAqB,GAAG,qBAAqB,GAAG,mBAAmB,CAAC;QAC3E,oEAAoE;QACpE,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,+EAA+E;QAC/E,oBAAoB,CAAC,EAAE,MAAM,CAAC;KAC/B,CAAC;IACF;;;;;;;OAOG;IACH,QAAQ,CAAC,EAAE;QACT,+CAA+C;QAC/C,SAAS,EAAE,OAAO,CAAC;QACnB,mEAAmE;QACnE,SAAS,EAAE,OAAO,GAAG,IAAI,CAAC;QAC1B,sDAAsD;QACtD,QAAQ,EAAE,MAAM,CAAC;KAClB,CAAC;IACF;;;;;;;OAOG;IACH,QAAQ,CAAC,EAAE;QACT,QAAQ,EAAE,OAAO,CAAC;QAClB,kEAAkE;QAClE,KAAK,CAAC,EAAE,MAAM,CAAC;KAChB,CAAC;IACF;;;;;;OAMG;IACH,YAAY,CAAC,EAAE;QACb,MAAM,EAAE,OAAO,CAAC;QAChB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;IACF;;;;;;OAMG;IACH,cAAc,CAAC,EAAE;QACf,MAAM,EAAE,OAAO,CAAC;QAChB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;KAClB,CAAC;CACH;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,iFAAiF;IACjF,cAAc,CAAC,EAAE,wBAAwB,EAAE,CAAC;IAC5C,yEAAyE;IACzE,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAC5B;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;OAKG;IACH,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B;;;;;;;;;OASG;IACH,UAAU,CAAC,EAAE;QACX,gBAAgB,EAAE,MAAM,CAAC;QACzB,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;QAClC,WAAW,EAAE,OAAO,CAAC;KACtB,CAAC;CACH;AAED,kFAAkF;AAClF,MAAM,WAAW,cAAc;IAC7B;;;;;;;OAOG;IACH,sBAAsB,CAAC,EAAE,OAAO,CAAC;CAClC;AAED,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,QAAQ,CAAuB;IACvC,OAAO,CAAC,cAAc,CAA0C;gBAEpD,QAAQ,EAAE,oBAAoB,EAAE,MAAM,GAAE,cAAc,GAAG,CAAC,MAAM,cAAc,CAAM;IAKhG,uFAAuF;IACvF,OAAO,CAAC,SAAS;IAUX,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAiEjF,0EAA0E;IAC1E,OAAO,CAAC,UAAU;IAWlB;;;;;;;;;OASG;IACH,OAAO,CAAC,SAAS;IAgDjB,OAAO,CAAC,WAAW;IA6MnB,OAAO,CAAC,iBAAiB;IAezB,OAAO,CAAC,aAAa;IAoErB,OAAO,CAAC,iBAAiB;IAUzB,OAAO,CAAC,oBAAoB;IAqB5B;;;;OAIG;IACH,OAAO,CAAC,gBAAgB;IAmBxB;;;;;;;;OAQG;IACH,OAAO,CAAC,aAAa;CAmCtB"}