@intutic/shared-types 2.9.1 → 3.0.1

package/dist/refusalDetail.js

@@ -0,0 +1,128 @@
+"use strict";
+/**
+ * What a refusal says about where to retry: its `scope` (the
+ * paths, tools, step, detector or rule it concerns) and its `evidence` (what
+ * the refuser saw), bounded the same way on every surface.
+ *
+ * - Each list holds at most {@link REFUSAL_DETAIL_MAX_ITEMS} items, and each
+ *   string at most {@link REFUSAL_DETAIL_MAX_CHARS} characters (code points),
+ *   with C0 control characters (U+0000 to U+001F) removed first. A string
+ *   that is empty after that is dropped; an empty list is left out; a scope
+ *   with nothing left is null.
+ * - In an OPAQUE workspace both are dropped, and so is the stderr retry line:
+ *   only the refusal code survives, as with the reason
+ *   (`OPAQUE_REFUSAL_MESSAGE`). SILENT_LOG behaves as TRANSPARENT.
+ *
+ * Self-contained, so `@intutic/gate` keeps a byte-identical copy. The Python
+ * port is `intutic_clawde/gate/refusal_detail.py`, the Rust one is in the
+ * proxy's `refusal.rs`; all run `fixtures/refusal-detail-vectors.json`.
+ *
+ * @module
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.REFUSAL_DETAIL_JS_SOURCE = exports.RETRY_SCOPE_PREFIX = exports.REFUSAL_DETAIL_MAX_CHARS = exports.REFUSAL_DETAIL_MAX_ITEMS = void 0;
+exports.boundRefusalScope = boundRefusalScope;
+exports.boundRefusalEvidence = boundRefusalEvidence;
+exports.refusalDetailForMode = refusalDetailForMode;
+exports.retryScopeLine = retryScopeLine;
+exports.REFUSAL_DETAIL_MAX_ITEMS = 8;
+exports.REFUSAL_DETAIL_MAX_CHARS = 256;
+/** The stderr line an exit-code harness prints after the reason. */
+exports.RETRY_SCOPE_PREFIX = '[Intutic] Retry scope: ';
+/** `s` without C0 control characters, cut to 256 code points; null when nothing is left or it is not a string. */
+function refusalDetailText(s) {
+    if (typeof s !== 'string')
+        return null;
+    // eslint-disable-next-line no-control-regex -- removing control characters is the point
+    const clean = Array.from(s.replace(/[\u0000-\u001f]/g, ''));
+    if (clean.length === 0)
+        return null;
+    return clean.slice(0, 256).join('');
+}
+/** A list of strings, bounded: the first 8 that survive {@link refusalDetailText}. */
+function refusalDetailList(v) {
+    if (!Array.isArray(v))
+        return null;
+    const out = [];
+    for (const item of v) {
+        if (out.length >= 8)
+            break;
+        const t = refusalDetailText(item);
+        if (t !== null)
+            out.push(t);
+    }
+    return out.length > 0 ? out : null;
+}
+/** A scope bounded as the module doc says, keys in a fixed order; null when nothing is left. */
+function boundRefusalScope(scope) {
+    if (scope === null || typeof scope !== 'object' || Array.isArray(scope))
+        return null;
+    const s = scope;
+    const out = {};
+    const paths = refusalDetailList(s.paths);
+    if (paths)
+        out.paths = paths;
+    const tools = refusalDetailList(s.tools);
+    if (tools)
+        out.tools = tools;
+    const step = refusalDetailText(s.step);
+    if (step !== null)
+        out.step = step;
+    const detector = refusalDetailText(s.detector);
+    if (detector !== null)
+        out.detector = detector;
+    const rule = refusalDetailText(s.rule);
+    if (rule !== null)
+        out.rule = rule;
+    return Object.keys(out).length > 0 ? out : null;
+}
+/** Evidence bounded: at most 8 items, each with a `kind` and a `detail` that survive bounding. */
+function boundRefusalEvidence(evidence) {
+    const out = [];
+    if (!Array.isArray(evidence))
+        return out;
+    for (const item of evidence) {
+        if (out.length >= 8)
+            break;
+        if (item === null || typeof item !== 'object' || Array.isArray(item))
+            continue;
+        const kind = refusalDetailText(item.kind);
+        const detail = refusalDetailText(item.detail);
+        if (kind !== null && detail !== null)
+            out.push({ kind, detail });
+    }
+    return out;
+}
+/**
+ * The detail a refusal carries in `mode` (an intervention mode): nothing in
+ * OPAQUE; otherwise the bounded scope and evidence, each left out when empty.
+ */
+function refusalDetailForMode(mode, scope, evidence) {
+    if (mode === 'OPAQUE')
+        return {};
+    const out = {};
+    const s = boundRefusalScope(scope);
+    if (s)
+        out.scope = s;
+    const e = boundRefusalEvidence(evidence);
+    if (e.length > 0)
+        out.evidence = e;
+    return out;
+}
+/**
+ * The stderr line an exit-code harness gets after the reason:
+ * `[Intutic] Retry scope: <paths, else tools, comma-separated>`, or null when
+ * the scope names neither, or in OPAQUE.
+ */
+function retryScopeLine(mode, scope) {
+    if (mode === 'OPAQUE')
+        return null;
+    const s = boundRefusalScope(scope);
+    const items = s?.paths ?? s?.tools;
+    return items ? '[Intutic] Retry scope: ' + items.join(', ') : null;
+}
+/** The functions above as JavaScript source, for the hook gates to embed. */
+exports.REFUSAL_DETAIL_JS_SOURCE = [refusalDetailText, refusalDetailList, boundRefusalScope, boundRefusalEvidence, refusalDetailForMode, retryScopeLine]
+    .map((fn) => fn.toString().replace(/\bexports\./g, ''))
+    .join('\n');
+//# sourceMappingURL=refusalDetail.js.map

package/dist/refusalDetail.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"refusalDetail.js","sourceRoot":"","sources":["../src/refusalDetail.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;GAmBG;;;AA4CH,8CAeC;AAGD,oDAWC;AAMD,oDAQC;AAOD,wCAKC;AAlFY,QAAA,wBAAwB,GAAG,CAAC,CAAA;AAC5B,QAAA,wBAAwB,GAAG,GAAG,CAAA;AAC3C,oEAAoE;AACvD,QAAA,kBAAkB,GAAG,yBAAyB,CAAA;AAE3D,kHAAkH;AAClH,SAAS,iBAAiB,CAAC,CAAU;IACnC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IACtC,wFAAwF;IACxF,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,CAAA;IAC3D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IACnC,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AACrC,CAAC;AAED,sFAAsF;AACtF,SAAS,iBAAiB,CAAC,CAAU;IACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IAClC,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;QACrB,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC;YAAE,MAAK;QAC1B,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAA;QACjC,IAAI,CAAC,KAAK,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAC7B,CAAC;IACD,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAA;AACpC,CAAC;AAED,gGAAgG;AAChG,SAAgB,iBAAiB,CAAC,KAAc;IAC9C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IACpF,MAAM,CAAC,GAAG,KAAgC,CAAA;IAC1C,MAAM,GAAG,GAAiB,EAAE,CAAA;IAC5B,MAAM,KAAK,GAAG,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IACxC,IAAI,KAAK;QAAE,GAAG,CAAC,KAAK,GAAG,KAAK,CAAA;IAC5B,MAAM,KAAK,GAAG,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IACxC,IAAI,KAAK;QAAE,GAAG,CAAC,KAAK,GAAG,KAAK,CAAA;IAC5B,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IACtC,IAAI,IAAI,KAAK,IAAI;QAAE,GAAG,CAAC,IAAI,GAAG,IAAI,CAAA;IAClC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC9C,IAAI,QAAQ,KAAK,IAAI;QAAE,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAA;IAC9C,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IACtC,IAAI,IAAI,KAAK,IAAI;QAAE,GAAG,CAAC,IAAI,GAAG,IAAI,CAAA;IAClC,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAA;AACjD,CAAC;AAED,kGAAkG;AAClG,SAAgB,oBAAoB,CAAC,QAAiB;IACpD,MAAM,GAAG,GAAsB,EAAE,CAAA;IACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,GAAG,CAAA;IACxC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC;YAAE,MAAK;QAC1B,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,SAAQ;QAC9E,MAAM,IAAI,GAAG,iBAAiB,CAAE,IAAgC,CAAC,IAAI,CAAC,CAAA;QACtE,MAAM,MAAM,GAAG,iBAAiB,CAAE,IAAgC,CAAC,MAAM,CAAC,CAAA;QAC1E,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;IAClE,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;GAGG;AACH,SAAgB,oBAAoB,CAAC,IAA+B,EAAE,KAAc,EAAE,QAAiB;IACrG,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAA;IAChC,MAAM,GAAG,GAA2D,EAAE,CAAA;IACtE,MAAM,CAAC,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAClC,IAAI,CAAC;QAAE,GAAG,CAAC,KAAK,GAAG,CAAC,CAAA;IACpB,MAAM,CAAC,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAA;IACxC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAA;IAClC,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;GAIG;AACH,SAAgB,cAAc,CAAC,IAA+B,EAAE,KAAc;IAC5E,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IAClC,MAAM,CAAC,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAClC,MAAM,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,CAAA;IAClC,OAAO,KAAK,CAAC,CAAC,CAAC,yBAAyB,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AACpE,CAAC;AAED,6EAA6E;AAChE,QAAA,wBAAwB,GAAG,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,cAAc,CAAC;KAC1J,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;KACtD,IAAI,CAAC,IAAI,CAAC,CAAA"}