@saihm/shm 0.0.0-stage → 0.38.1

package/dist/assemble/thread.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"thread.js","sourceRoot":"","sources":["../../src/assemble/thread.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAA0D,MAAM,YAAY,CAAC;AAmD9F,SAAS,KAAK,CAAC,WAAmB,EAAE,QAA4B;IAC9D,OAAO,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,MAAc,EACd,IAA4B,EAC5B,IAA2B;IAE3B,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,QAAmB,CAAC,CAAC,CAAC,SAAS,CAAC;IACxF,MAAM,MAAM,GACV,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,IAAK,IAAI,CAAC,eAA0B,IAAI,CAAC;QAC5E,CAAC,CAAE,IAAI,CAAC,eAA0B;QAClC,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAE7B,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAC3B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACpG,CAAC;IAEF,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,UAAoC,CAAC;IAEzC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,KAAqB,CAAC;QAC1B,IAAI,CAAC;YACH,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,KAAK,GAAG,EAAE,CAAC;QACb,CAAC;QACD,IAAI,SAAS,GAAc,aAAa,CAAC;QACzC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC;gBACH,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACpC,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS,GAAG,aAAa,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,GAAG,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,GAAG,GAAG,MAAM,CAAC,CAAC,CAAE,sBAAgC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3H,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,MAAM,GAAiB;YAC3B,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,WAAW,EAAE,CAAC,CAAC,WAAW;YAC1B,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,KAAK;YACL,SAAS;YACT,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,GAAG,CAAC,CAAC,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChD,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACjE,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAErB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,gBAAgB,CAAC;QAC5C,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS;YAAE,UAAU,EAAE,CAAC;QACpD,IAAI,SAAS,KAAK,OAAO;YAAE,KAAK,EAAE,CAAC;QACnC,IAAI,SAAS,KAAK,aAAa;YAAE,WAAW,EAAE,CAAC;QAC/C,IAAI,QAAQ,KAAK,SAAS;YAAE,UAAU,EAAE,CAAC;QACzC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC9D,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACnG,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,MAAM,OAAO,GACX,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC;IAE/F,MAAM,IAAI,GACR,OAAO,KAAK,kBAAkB;QAC5B,CAAC,CAAC,sFAAsF,MAAM,2FAA2F;QACzL,CAAC,CAAC,OAAO,KAAK,OAAO;YACnB,CAAC,CAAC,yDAAyD,MAAM,+HAA+H;YAChM,CAAC,CAAC,cAAc,OAAO,CAAC,MAAM,6BAA6B,WAAW,CAAC,MAAM,uBAAuB;gBAClG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,UAAU,EAAE,CAAC,CAAC,CAAC,oBAAoB,CAAC;gBAC9E,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,mEAAmE,CAAC,CAAC,CAAC,KAAK,KAAK,WAAW,WAAW,cAAc,CAAC;gBAClJ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,4CAA4C,CAAC,CAAC,CAAC,KAAK,UAAU,aAAa,MAAM,UAAU,CAAC;gBACjL,0DAA0D,CAAC;IAEnE,OAAO;QACL,MAAM;QACN,OAAO;QACP,OAAO;QACP,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,WAAW;QACX,KAAK;QACL,UAAU;QACV,KAAK;QACL,WAAW;QACX,UAAU;QACV,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,SAAS,EAAE,MAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtG,IAAI;KACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,OAAsB;IACxD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,UAAU,OAAO,CAAC,MAAM,MAAM,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,YAAY,CAAC,CAAC;IACxK,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAChC,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,WAAW,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,CAAC,WAAW,gGAAgG,CAAC,CAAC;IAC5K,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,OAAO,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IACnH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG;YACX,IAAI,CAAC,CAAC,WAAW,GAAG;YACpB,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG;YACnD,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG;YAC/C,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,CAAC,SAAS;YAC3D,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE;YACtD,CAAC,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE;SACtE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrG,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/attention/index.d.ts

@@ -0,0 +1,5 @@
+export { obligationsOf, assessEdit } from "./obligations.js";
+export type { Obligation, ObligationKind, Reflow, EditReport } from "./obligations.js";
+export { attentionQueue, THIN_COVERAGE } from "./queue.js";
+export type { AttentionItem, AttentionInput, AttentionReport, AttentionSeverity, CoordinationFinding, CoordinationKind } from "./queue.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/attention/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/attention/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC7D,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACvF,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3D,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,eAAe,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC"}

package/dist/attention/index.js

@@ -0,0 +1,3 @@
+export { obligationsOf, assessEdit } from "./obligations.js";
+export { attentionQueue, THIN_COVERAGE } from "./queue.js";
+//# sourceMappingURL=index.js.map

package/dist/attention/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/attention/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE7D,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC"}

package/dist/attention/obligations.d.ts

@@ -0,0 +1,23 @@
+import { type GateScope } from "../gate/index.js";
+export type ObligationKind = "provenance" | "command" | "pointer" | "prohibition" | "figure";
+export interface Obligation {
+    readonly kind: ObligationKind;
+    readonly text: string;
+}
+export declare function obligationsOf(text: string, extra?: readonly (readonly [ObligationKind, RegExp])[]): Obligation[];
+export interface Reflow {
+    readonly figure: string;
+    readonly before: string;
+    readonly after: string;
+}
+export interface EditReport {
+    readonly lost: readonly Obligation[];
+    readonly reflowed: readonly Reflow[];
+    readonly keptCount: number;
+    readonly beforeCount: number;
+    readonly scope: GateScope;
+    readonly safe: boolean;
+    readonly verdict: string;
+}
+export declare function assessEdit(before: string, after: string, extra?: readonly (readonly [ObligationKind, RegExp])[]): EditReport;
+//# sourceMappingURL=obligations.d.ts.map

package/dist/attention/obligations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"obligations.d.ts","sourceRoot":"","sources":["../../src/attention/obligations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgC,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAEhF,MAAM,MAAM,cAAc,GAAG,YAAY,GAAG,SAAS,GAAG,SAAS,GAAG,aAAa,GAAG,QAAQ,CAAC;AAE7F,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AA0BD,wBAAgB,aAAa,CAC3B,IAAI,EAAE,MAAM,EACZ,KAAK,GAAE,SAAS,CAAC,SAAS,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC,EAAO,GACzD,UAAU,EAAE,CAWd;AAeD,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,UAAU,EAAE,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAkBD,wBAAgB,UAAU,CACxB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,KAAK,GAAE,SAAS,CAAC,SAAS,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC,EAAO,GACzD,UAAU,CA+CZ"}

package/dist/attention/obligations.js

@@ -0,0 +1,110 @@
+import { gateScope, renderGateVerdict } from "../gate/index.js";
+const PROVENANCE = /\b(?:measured|verified|confirmed|observed|probed?|checked|as of)\b|\b\d{4}-\d{2}-\d{2}\b/gi;
+const COMMAND = /`([^`]*\b(?:npx|npm|node|git|python3?|bash|sh|curl|ps|free|grep|make|cargo|go|docker)\b[^`]*)`/g;
+const POINTER = /\[\[([^\]]+)\]\]|\[[^\]]+\]\(([^)]+\.md)\)/g;
+const PROHIBITION = /\b(?:NEVER|DO NOT|MUST NOT|REFUSE|FORBIDDEN|WITHDRAWN|SUPERSEDED|RESCINDED)\b/g;
+const FIGURE = /(?<![\w.\-/])\d*\.\d+(?![\w]|\.\d)/g;
+const KINDS = [
+    ["provenance", PROVENANCE],
+    ["command", COMMAND],
+    ["pointer", POINTER],
+    ["prohibition", PROHIBITION],
+    ["figure", FIGURE],
+];
+const PROVENANCE_WINDOW = 80;
+const CLAIMISH = /`[^`]+`/g;
+function warrantsSomething(text, at, len) {
+    const from = Math.max(0, at - PROVENANCE_WINDOW);
+    const to = Math.min(text.length, at + len + PROVENANCE_WINDOW);
+    const probe = new RegExp(CLAIMISH.source, CLAIMISH.flags);
+    return probe.test(text.slice(from, to));
+}
+export function obligationsOf(text, extra = []) {
+    const out = [];
+    for (const [kind, rx] of [...KINDS, ...extra]) {
+        const probe = new RegExp(rx.source, rx.flags);
+        for (const m of text.matchAll(probe)) {
+            if (kind === "provenance" && !warrantsSomething(text, m.index ?? 0, m[0].length))
+                continue;
+            const raw = (m[1] ?? m[2] ?? m[0]).trim();
+            out.push({ kind, text: rx.flags.includes("i") ? raw.toLowerCase() : raw });
+        }
+    }
+    return out;
+}
+const SHAPE_WINDOW = 18;
+function shapesAround(text) {
+    const out = new Map();
+    const probe = new RegExp(FIGURE.source, FIGURE.flags);
+    for (const m of text.matchAll(probe)) {
+        const at = m.index ?? 0;
+        const shape = text.slice(Math.max(0, at - SHAPE_WINDOW), at + m[0].length + SHAPE_WINDOW);
+        out.set(m[0], [...(out.get(m[0]) ?? []), shape]);
+    }
+    return out;
+}
+function missing(before, after) {
+    const pool = new Map();
+    for (const o of after) {
+        const k = `${o.kind}\u0000${o.text}`;
+        pool.set(k, (pool.get(k) ?? 0) + 1);
+    }
+    const lost = [];
+    for (const o of before) {
+        const k = `${o.kind}\u0000${o.text}`;
+        const n = pool.get(k) ?? 0;
+        if (n > 0)
+            pool.set(k, n - 1);
+        else
+            lost.push(o);
+    }
+    return lost;
+}
+export function assessEdit(before, after, extra = []) {
+    const b = obligationsOf(before, extra);
+    const a = obligationsOf(after, extra);
+    const lost = missing(b, a);
+    const shapesB = shapesAround(before);
+    const shapesA = shapesAround(after);
+    const reflowed = [];
+    for (const [fig, sb] of shapesB) {
+        const sa = shapesA.get(fig);
+        if (sa === undefined)
+            continue;
+        const pool = new Map();
+        for (const shape of sa)
+            pool.set(shape, (pool.get(shape) ?? 0) + 1);
+        for (const shape of sb) {
+            const n = pool.get(shape) ?? 0;
+            if (n > 0) {
+                pool.set(shape, n - 1);
+                continue;
+            }
+            reflowed.push({ figure: fig, before: shape, after: [...pool.keys()][0] ?? sa[0] ?? "" });
+        }
+    }
+    const scope = gateScope({
+        unit: "obligation",
+        examined: b.length,
+        discriminating: b.length,
+        discriminator: "were present before the edit, so could have been lost by it",
+    });
+    const safe = lost.length === 0 && reflowed.length === 0;
+    const head = renderGateVerdict(safe, scope, { pass: "EDIT SAFE", fail: "EDIT BROKE OBLIGATIONS" });
+    const detail = [
+        lost.length > 0 ? `${lost.length} LOST (${[...new Set(lost.map((o) => o.kind))].join(", ")})` : "",
+        reflowed.length > 0
+            ? `${reflowed.length} REFLOWED — value kept, shape changed; an external anchor keyed on the old shape now reports ABSENT`
+            : "",
+    ].filter((s) => s.length > 0);
+    return {
+        lost,
+        reflowed,
+        keptCount: b.length - lost.length,
+        beforeCount: b.length,
+        scope,
+        safe,
+        verdict: detail.length > 0 ? `${head} · ${detail.join(" · ")}` : head,
+    };
+}
+//# sourceMappingURL=obligations.js.map

package/dist/attention/obligations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"obligations.js","sourceRoot":"","sources":["../../src/attention/obligations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAkB,MAAM,kBAAkB,CAAC;AAShF,MAAM,UAAU,GAAG,4FAA4F,CAAC;AAChH,MAAM,OAAO,GAAG,iGAAiG,CAAC;AAClH,MAAM,OAAO,GAAG,6CAA6C,CAAC;AAC9D,MAAM,WAAW,GAAG,gFAAgF,CAAC;AACrG,MAAM,MAAM,GAAG,qCAAqC,CAAC;AAErD,MAAM,KAAK,GAAmD;IAC5D,CAAC,YAAY,EAAE,UAAU,CAAC;IAC1B,CAAC,SAAS,EAAE,OAAO,CAAC;IACpB,CAAC,SAAS,EAAE,OAAO,CAAC;IACpB,CAAC,aAAa,EAAE,WAAW,CAAC;IAC5B,CAAC,QAAQ,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,iBAAiB,GAAG,EAAE,CAAC;AAC7B,MAAM,QAAQ,GAAG,UAAU,CAAC;AAE5B,SAAS,iBAAiB,CAAC,IAAY,EAAE,EAAU,EAAE,GAAW;IAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,iBAAiB,CAAC,CAAC;IACjD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,GAAG,GAAG,GAAG,iBAAiB,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1D,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,IAAY,EACZ,QAAwD,EAAE;IAE1D,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrC,IAAI,IAAI,KAAK,YAAY,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBAAE,SAAS;YAC3F,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC1C,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,YAAY,GAAG,EAAE,CAAC;AAExB,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IACxC,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,YAAY,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,YAAY,CAAC,CAAC;QAC1F,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAkBD,SAAS,OAAO,CAAC,MAA6B,EAAE,KAA4B;IAC1E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;QACrC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACtC,CAAC;IACD,MAAM,IAAI,GAAiB,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;;YACzB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,MAAc,EACd,KAAa,EACb,QAAwD,EAAE;IAE1D,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACvC,MAAM,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAE3B,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,EAAE,KAAK,SAAS;YAAE,SAAS;QAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;QACvC,KAAK,MAAM,KAAK,IAAI,EAAE;YAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACpE,KAAK,MAAM,KAAK,IAAI,EAAE,EAAE,CAAC;YACvB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACV,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;gBACvB,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC3F,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,SAAS,CAAC;QACtB,IAAI,EAAE,YAAY;QAClB,QAAQ,EAAE,CAAC,CAAC,MAAM;QAClB,cAAc,EAAE,CAAC,CAAC,MAAM;QACxB,aAAa,EAAE,6DAA6D;KAC7E,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC,CAAC;IACnG,MAAM,MAAM,GAAG;QACb,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QAClG,QAAQ,CAAC,MAAM,GAAG,CAAC;YACjB,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,qGAAqG;YACzH,CAAC,CAAC,EAAE;KACP,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAE9B,OAAO;QACL,IAAI;QACJ,QAAQ;QACR,SAAS,EAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM;QACjC,WAAW,EAAE,CAAC,CAAC,MAAM;QACrB,KAAK;QACL,IAAI;QACJ,OAAO,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,MAAM,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI;KACtE,CAAC;AACJ,CAAC"}

package/dist/attention/queue.d.ts

@@ -0,0 +1,38 @@
+import type { Obligation, Reflow } from "./obligations.js";
+export type AttentionSeverity = "critical" | "high" | "medium" | "low";
+export interface AttentionItem {
+    readonly subject: string;
+    readonly severity: AttentionSeverity;
+    readonly scope?: string;
+    readonly reason: string;
+    readonly action: string;
+    readonly rank: number;
+}
+export type CoordinationKind = "segregated-inbound" | "unverified-sharer" | "unread-inbound" | "erased-shared-cell" | "possibly-erased-shared-cell" | "stale-shared-cell";
+export interface CoordinationFinding {
+    readonly kind: CoordinationKind;
+    readonly detail: string;
+}
+export interface AttentionInput {
+    readonly subject: string;
+    readonly scope?: string;
+    readonly drifted?: readonly {
+        readonly id: string;
+        readonly stated: string;
+        readonly actual?: string;
+    }[];
+    readonly lost?: readonly Obligation[];
+    readonly reflowed?: readonly Reflow[];
+    readonly coverage?: number;
+    readonly coordination?: readonly CoordinationFinding[];
+}
+export interface AttentionReport {
+    readonly items: readonly AttentionItem[];
+    readonly critical: number;
+    readonly high: number;
+    readonly clear: boolean;
+    readonly verdict: string;
+}
+export declare const THIN_COVERAGE = 0.5;
+export declare function attentionQueue(inputs: readonly AttentionInput[]): AttentionReport;
+//# sourceMappingURL=queue.d.ts.map

package/dist/attention/queue.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"queue.d.ts","sourceRoot":"","sources":["../../src/attention/queue.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE3D,MAAM,MAAM,iBAAiB,GAAG,UAAU,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;AAEvE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,gBAAgB,GACxB,oBAAoB,GACpB,mBAAmB,GACnB,gBAAgB,GAChB,oBAAoB,GACpB,6BAA6B,GAC7B,mBAAmB,CAAC;AAExB,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACzG,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACxD;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,eAAO,MAAM,aAAa,MAAM,CAAC;AAsFjC,wBAAgB,cAAc,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,GAAG,eAAe,CAkBjF"}

package/dist/attention/queue.js

@@ -0,0 +1,102 @@
+export const THIN_COVERAGE = 0.5;
+const SEVERITY = {
+    1: "critical",
+    2: "critical",
+    3: "high",
+    4: "high",
+    5: "high",
+    6: "medium",
+    7: "medium",
+    8: "low",
+};
+function itemsFor(input) {
+    const out = [];
+    const base = { subject: input.subject, ...(input.scope === undefined ? {} : { scope: input.scope }) };
+    for (const o of input.lost ?? []) {
+        if (o.kind === "prohibition") {
+            out.push({ ...base, rank: 1, severity: SEVERITY[1], reason: `a PROHIBITION was removed: ${JSON.stringify(o.text)}`,
+                action: "restore it verbatim, or record explicitly that the constraint was lifted and by whom" });
+        }
+        else if (o.kind === "command") {
+            out.push({ ...base, rank: 3, severity: SEVERITY[3], reason: `a COMMAND was removed: ${JSON.stringify(o.text)}`,
+                action: "restore it — a command that is lost gets re-derived wrong, unlike a lesson, which survives in its own file" });
+        }
+        else if (o.kind === "figure") {
+            out.push({ ...base, rank: 4, severity: SEVERITY[4], reason: `a FIGURE is gone or changed: ${o.text}`,
+                action: "confirm the number was meant to move; if it was, supersede it in the withdrawn register rather than overwriting it" });
+        }
+        else if (o.kind === "pointer") {
+            out.push({ ...base, rank: 6, severity: SEVERITY[6], reason: `a POINTER was removed: ${o.text}`,
+                action: "restore it or confirm the target is reachable from some other surface" });
+        }
+        else {
+            out.push({ ...base, rank: 7, severity: SEVERITY[7], reason: `PROVENANCE was removed: ${JSON.stringify(o.text)}`,
+                action: "re-attach a marker (a verb or an ISO date) within the claim's window, or drop the claim" });
+        }
+    }
+    for (const d of input.drifted ?? []) {
+        out.push({ ...base, rank: 2, severity: SEVERITY[2],
+            reason: `LIVE STATE DRIFTED — ${d.id}: surface says ${JSON.stringify(d.stated)}${d.actual === undefined ? "" : `, actual ${JSON.stringify(d.actual)}`}`,
+            action: "re-derive and correct the surface BEFORE acting on it; a resume carrying one wrong live value spends the session on it" });
+    }
+    for (const r of input.reflowed ?? []) {
+        out.push({ ...base, rank: 5, severity: SEVERITY[5],
+            reason: `REFLOWED around ${r.figure} — the value survived, the shape did not`,
+            action: "run the checks that key on this line; an anchor matching the old shape now reports ABSENT rather than WRONG" });
+    }
+    for (const c of input.coordination ?? []) {
+        if (c.kind === "segregated-inbound") {
+            out.push({ ...base, rank: 2, severity: SEVERITY[2], reason: `SEGREGATED INBOUND — ${c.detail}`,
+                action: "re-file it UNREAD; reading is the irreversible step, and a boundary crossed cannot be uncrossed by noticing afterwards" });
+        }
+        else if (c.kind === "erased-shared-cell") {
+            out.push({ ...base, rank: 2, severity: SEVERITY[2], reason: `ERASED SHARED CELL — ${c.detail}`,
+                action: "delete cached copies before using any of it; review the notes that cite it — the erasure is the owner's decision, so notes are flagged, never deleted automatically" });
+        }
+        else if (c.kind === "possibly-erased-shared-cell") {
+            out.push({ ...base, rank: 7, severity: SEVERITY[7], reason: `POSSIBLY ERASED SHARED CELL — ${c.detail}`,
+                action: "treat cached copies as withdrawn until a read or the sharer confirms otherwise; a reconciliation cannot tell an erasure from a revocation" });
+        }
+        else if (c.kind === "stale-shared-cell") {
+            out.push({ ...base, rank: 8, severity: SEVERITY[8], reason: `STALE SHARED CELL — ${c.detail}`,
+                action: "do not fetch it — the grant cannot open the newest version; keep the held copy and wait for the grant to be wrapped again" });
+        }
+        else if (c.kind === "unverified-sharer") {
+            out.push({ ...base, rank: 7, severity: SEVERITY[7], reason: `UNVERIFIED SHARER — ${c.detail}`,
+                action: "check sha256 of the DECODED signing key against the agent id before reading or replying; the content may be fine, its warrant is absent" });
+        }
+        else {
+            out.push({ ...base, rank: 8, severity: SEVERITY[8], reason: `UNREAD INBOUND — ${c.detail}`,
+                action: "enumerate them — the listing carries no labels, so an unread item's urgency is UNKNOWN, which is the argument for reading now rather than for deferring" });
+        }
+    }
+    const cov = input.coverage;
+    if (cov !== undefined) {
+        const usable = Number.isFinite(cov) && cov >= 0 && cov <= 1;
+        if (!usable) {
+            out.push({ ...base, rank: 8, severity: SEVERITY[8],
+                reason: `COVERAGE UNREPORTABLE — the surface supplied ${String(cov)}, which is not a fraction`,
+                action: "fix the producer: a coverage that cannot be read is not the same as a coverage that is low" });
+        }
+        else if (cov < THIN_COVERAGE) {
+            out.push({ ...base, rank: 8, severity: SEVERITY[8],
+                reason: `THIN COVERAGE — only ${(cov * 100).toFixed(0)}% of this surface's local claims are checkable`,
+                action: "give the load-bearing claims a probe, or mark them explicitly as unverified so they stop reading as verified" });
+        }
+    }
+    return out;
+}
+export function attentionQueue(inputs) {
+    const items = inputs.flatMap(itemsFor).sort((a, b) => a.rank - b.rank || a.subject.localeCompare(b.subject));
+    const critical = items.filter((i) => i.severity === "critical").length;
+    const high = items.filter((i) => i.severity === "high").length;
+    const examinable = inputs.some((i) => (i.lost?.length ?? 0) > 0 || (i.drifted?.length ?? 0) > 0 || (i.reflowed?.length ?? 0) > 0 || (i.coordination?.length ?? 0) > 0 || i.coverage !== undefined);
+    const clear = items.length === 0 && examinable;
+    const verdict = items.length > 0
+        ? `${items.length} need attention — ${critical} critical, ${high} high; act on rank ${items[0].rank} first`
+        : examinable
+            ? "CLEAR — every surface checked carried its obligations and its live claims held"
+            : "VACUOUS — nothing examinable was supplied, so an empty queue says nothing about the surfaces";
+    return { items, critical, high, clear, verdict };
+}
+//# sourceMappingURL=queue.js.map

package/dist/attention/queue.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"queue.js","sourceRoot":"","sources":["../../src/attention/queue.ts"],"names":[],"mappings":"AA4CA,MAAM,CAAC,MAAM,aAAa,GAAG,GAAG,CAAC;AAEjC,MAAM,QAAQ,GAAgD;IAC5D,CAAC,EAAE,UAAU;IACb,CAAC,EAAE,UAAU;IACb,CAAC,EAAE,MAAM;IACT,CAAC,EAAE,MAAM;IACT,CAAC,EAAE,MAAM;IACT,CAAC,EAAE,QAAQ;IACX,CAAC,EAAE,QAAQ;IACX,CAAC,EAAE,KAAK;CACT,CAAC;AAEF,SAAS,QAAQ,CAAC,KAAqB;IACrC,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC;IAEtG,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC7B,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,8BAA8B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE;gBACjH,MAAM,EAAE,sFAAsF,EAAE,CAAC,CAAC;QACtG,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,0BAA0B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE;gBAC7G,MAAM,EAAE,4GAA4G,EAAE,CAAC,CAAC;QAC5H,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/B,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,gCAAgC,CAAC,CAAC,IAAI,EAAE;gBACnG,MAAM,EAAE,oHAAoH,EAAE,CAAC,CAAC;QACpI,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,0BAA0B,CAAC,CAAC,IAAI,EAAE;gBAC7F,MAAM,EAAE,uEAAuE,EAAE,CAAC,CAAC;QACvF,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,2BAA2B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE;gBAC9G,MAAM,EAAE,yFAAyF,EAAE,CAAC,CAAC;QACzG,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACpC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAE;YACjD,MAAM,EAAE,wBAAwB,CAAC,CAAC,EAAE,kBAAkB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE;YACvJ,MAAM,EAAE,wHAAwH,EAAE,CAAC,CAAC;IACxI,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QACrC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAE;YACjD,MAAM,EAAE,mBAAmB,CAAC,CAAC,MAAM,0CAA0C;YAC7E,MAAM,EAAE,6GAA6G,EAAE,CAAC,CAAC;IAC7H,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;QACzC,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACpC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,wBAAwB,CAAC,CAAC,MAAM,EAAE;gBAC7F,MAAM,EAAE,wHAAwH,EAAE,CAAC,CAAC;QACxI,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YAC3C,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,wBAAwB,CAAC,CAAC,MAAM,EAAE;gBAC7F,MAAM,EAAE,qKAAqK,EAAE,CAAC,CAAC;QACrL,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,6BAA6B,EAAE,CAAC;YACpD,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,iCAAiC,CAAC,CAAC,MAAM,EAAE;gBACtG,MAAM,EAAE,2IAA2I,EAAE,CAAC,CAAC;QAC3J,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC1C,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,uBAAuB,CAAC,CAAC,MAAM,EAAE;gBAC5F,MAAM,EAAE,2HAA2H,EAAE,CAAC,CAAC;QAC3I,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC1C,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,uBAAuB,CAAC,CAAC,MAAM,EAAE;gBAC5F,MAAM,EAAE,yIAAyI,EAAE,CAAC,CAAC;QACzJ,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,oBAAoB,CAAC,CAAC,MAAM,EAAE;gBACzF,MAAM,EAAE,yJAAyJ,EAAE,CAAC,CAAC;QACzK,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC;IAC3B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;QAC5D,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAE;gBACjD,MAAM,EAAE,gDAAgD,MAAM,CAAC,GAAG,CAAC,2BAA2B;gBAC9F,MAAM,EAAE,4FAA4F,EAAE,CAAC,CAAC;QAC5G,CAAC;aAAM,IAAI,GAAG,GAAG,aAAa,EAAE,CAAC;YAC/B,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAE;gBACjD,MAAM,EAAE,wBAAwB,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,gDAAgD;gBACtG,MAAM,EAAE,8GAA8G,EAAE,CAAC,CAAC;QAC9H,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAiC;IAC9D,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7G,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IACvE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAE/D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAC5B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,CACnK,CAAC;IACF,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC;IAE/C,MAAM,OAAO,GACX,KAAK,CAAC,MAAM,GAAG,CAAC;QACd,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,qBAAqB,QAAQ,cAAc,IAAI,sBAAsB,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,QAAQ;QAC5G,CAAC,CAAC,UAAU;YACV,CAAC,CAAC,gFAAgF;YAClF,CAAC,CAAC,8FAA8F,CAAC;IAEvG,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AACnD,CAAC"}

package/dist/claim/index.d.ts

@@ -0,0 +1,23 @@
+export type ClaimBasis = "measured" | "derived" | "assumed";
+export interface ClaimEvidence {
+    readonly instrument: string;
+    readonly ranged: readonly string[] | number;
+    readonly cannotSee: string;
+}
+export interface Claim {
+    readonly text: string;
+    readonly basis: ClaimBasis;
+    readonly assertsOver?: readonly string[];
+    readonly evidence?: ClaimEvidence;
+}
+export interface ClaimVerdict {
+    readonly ok: boolean;
+    readonly problems: readonly string[];
+    readonly unmeasured: readonly string[];
+}
+export declare function checkClaim(c: Claim): ClaimVerdict;
+export declare function renderClaim(c: Claim): string;
+export declare function narrowToEvidence(c: Claim): Claim;
+export { findRequotations, validateRegister } from "./withdrawn.js";
+export type { WithdrawnClaim, Requotation } from "./withdrawn.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/claim/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/claim/index.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,SAAS,GAAG,SAAS,CAAC;AAE5D,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC;CACnC;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,GAAG,YAAY,CA+BjD;AAED,wBAAgB,WAAW,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CAQ5C;AAED,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,KAAK,GAAG,KAAK,CAMhD;AAED,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACpE,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/claim/index.js

@@ -0,0 +1,57 @@
+export function checkClaim(c) {
+    const problems = [];
+    const unmeasured = [];
+    if (c.text.trim() === "")
+        problems.push("a claim with no text asserts nothing");
+    if (c.basis === "measured" && c.evidence === undefined) {
+        problems.push("basis is `measured` but no instrument is named — that is an inference, not a measurement");
+    }
+    if (c.evidence !== undefined) {
+        if (c.evidence.instrument.trim() === "")
+            problems.push("evidence names no instrument");
+        if (c.evidence.cannotSee.trim() === "") {
+            problems.push("evidence states no blind spot — a scope whose limits cannot be written down has not been identified");
+        }
+        const r = c.evidence.ranged;
+        if (typeof r === "number") {
+            if (!Number.isInteger(r) || r < 0)
+                problems.push(`ranged must be a non-negative integer count, got ${String(r)}`);
+            if (r === 0)
+                problems.push("the instrument ranged over nothing — a claim from an empty population is vacuous");
+            if (c.assertsOver !== undefined && c.assertsOver.length > 0) {
+                problems.push("claim quantifies over named units but its evidence is only a count — containment cannot be checked");
+            }
+        }
+        else {
+            if (r.length === 0)
+                problems.push("the instrument ranged over nothing — a claim from an empty population is vacuous");
+            const covered = new Set(r);
+            for (const u of c.assertsOver ?? [])
+                if (!covered.has(u))
+                    unmeasured.push(u);
+            if (unmeasured.length > 0) {
+                problems.push(`claim asserts over ${unmeasured.length} unit(s) the instrument never saw: ${unmeasured.join(", ")}`);
+            }
+        }
+    }
+    return { ok: problems.length === 0, problems, unmeasured };
+}
+export function renderClaim(c) {
+    const v = checkClaim(c);
+    if (!v.ok)
+        return `MAY NOT BE PUBLISHED AS WRITTEN — ${v.problems.join("; ")}`;
+    const scope = c.evidence === undefined
+        ? c.basis
+        : `${c.basis}; ${c.evidence.instrument}; ranged over ${typeof c.evidence.ranged === "number" ? c.evidence.ranged : c.evidence.ranged.length}; cannot see: ${c.evidence.cannotSee}`;
+    return `${c.text} [${scope}]`;
+}
+export function narrowToEvidence(c) {
+    const r = c.evidence?.ranged;
+    if (c.assertsOver === undefined || typeof r === "number" || r === undefined)
+        return c;
+    const covered = new Set(r);
+    const kept = c.assertsOver.filter((u) => covered.has(u));
+    return kept.length === c.assertsOver.length ? c : { ...c, assertsOver: kept };
+}
+export { findRequotations, validateRegister } from "./withdrawn.js";
+//# sourceMappingURL=index.js.map

package/dist/claim/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/claim/index.ts"],"names":[],"mappings":"AAqBA,MAAM,UAAU,UAAU,CAAC,CAAQ;IACjC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IAEhF,IAAI,CAAC,CAAC,KAAK,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACvD,QAAQ,CAAC,IAAI,CAAC,0FAA0F,CAAC,CAAC;IAC5G,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,QAAQ,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QACvF,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC,qGAAqG,CAAC,CAAC;QACvH,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,oDAAoD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAClH,IAAI,CAAC,KAAK,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,kFAAkF,CAAC,CAAC;YAC/G,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5D,QAAQ,CAAC,IAAI,CAAC,oGAAoG,CAAC,CAAC;YACtH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,kFAAkF,CAAC,CAAC;YACtH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;YAC3B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,IAAI,EAAE;gBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7E,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,QAAQ,CAAC,IAAI,CAAC,sBAAsB,UAAU,CAAC,MAAM,sCAAsC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,CAAQ;IAClC,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,CAAC,CAAC,CAAC,EAAE;QAAE,OAAO,qCAAqC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAC/E,MAAM,KAAK,GACT,CAAC,CAAC,QAAQ,KAAK,SAAS;QACtB,CAAC,CAAC,CAAC,CAAC,KAAK;QACT,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,QAAQ,CAAC,UAAU,iBAAiB,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,iBAAiB,CAAC,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;IACvL,OAAO,GAAG,CAAC,CAAC,IAAI,KAAK,KAAK,GAAG,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,CAAQ;IACvC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC7B,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IACtF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;AAChF,CAAC;AAED,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/claim/withdrawn.d.ts

@@ -0,0 +1,17 @@
+export interface WithdrawnClaim {
+    readonly value: string;
+    readonly mustAccompany: readonly string[];
+    readonly permittedWith?: readonly string[];
+    readonly reason: string;
+    readonly withdrawnOn: string;
+    readonly replacement?: string;
+}
+export interface Requotation {
+    readonly file: string;
+    readonly line: number;
+    readonly text: string;
+    readonly claim: WithdrawnClaim;
+}
+export declare function findRequotations(file: string, text: string, register: readonly WithdrawnClaim[]): Requotation[];
+export declare function validateRegister(register: readonly WithdrawnClaim[]): void;
+//# sourceMappingURL=withdrawn.d.ts.map

package/dist/claim/withdrawn.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"withdrawn.d.ts","sourceRoot":"","sources":["../../src/claim/withdrawn.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;CAChC;AAOD,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,SAAS,cAAc,EAAE,GAClC,WAAW,EAAE,CAmBf;AAED,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,GAAG,IAAI,CAW1E"}

package/dist/claim/withdrawn.js

@@ -0,0 +1,41 @@
+const WITHDRAWAL_CONTEXT = /~~|withdraw|WITHDRAWN|retract|superseded|no longer|corrected|CORRECTION|\bwas wrong\b|\bREFUTED\b|\bFALSE\b|stays withdrawn|never re-quote|previously (read|said|reported)|used to (read|be|say)/i;
+const escape = (s) => s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+export function findRequotations(file, text, register) {
+    const out = [];
+    const lines = text.split("\n");
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i];
+        if (WITHDRAWAL_CONTEXT.test(line))
+            continue;
+        for (const claim of register) {
+            const isNumeric = /^[\d.]+$/.test(claim.value);
+            const hit = isNumeric
+                ? new RegExp(`(?<![\\d.])${escape(claim.value)}(?![\\d])`).test(line)
+                : line.toLowerCase().includes(claim.value.toLowerCase());
+            if (!hit)
+                continue;
+            const lower = line.toLowerCase();
+            if (!claim.mustAccompany.some((t) => lower.includes(t.toLowerCase())))
+                continue;
+            if (claim.permittedWith?.some((t) => lower.includes(t.toLowerCase())))
+                continue;
+            out.push({ file, line: i + 1, text: line.trim(), claim });
+        }
+    }
+    return out;
+}
+export function validateRegister(register) {
+    for (const c of register) {
+        if (c.value.trim() === "")
+            throw new Error("a withdrawn claim needs the value it published");
+        if (c.mustAccompany.length === 0) {
+            throw new Error(`withdrawn claim ${c.value} names no companion token — a bare number is not identifiable`);
+        }
+        if (c.reason.trim() === "")
+            throw new Error(`withdrawn claim ${c.value} states no reason`);
+        if (!/^\d{4}-\d{2}-\d{2}$/.test(c.withdrawnOn)) {
+            throw new Error(`withdrawn claim ${c.value} needs an ISO withdrawal date, got ${c.withdrawnOn}`);
+        }
+    }
+}
+//# sourceMappingURL=withdrawn.js.map

package/dist/claim/withdrawn.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"withdrawn.js","sourceRoot":"","sources":["../../src/claim/withdrawn.ts"],"names":[],"mappings":"AAgBA,MAAM,kBAAkB,GACtB,mMAAmM,CAAC;AAEtM,MAAM,MAAM,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAE/E,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,IAAY,EACZ,QAAmC;IAEnC,MAAM,GAAG,GAAkB,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACvB,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5C,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/C,MAAM,GAAG,GAAG,SAAS;gBACnB,CAAC,CAAC,IAAI,MAAM,CAAC,cAAc,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACrE,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;YAC3D,IAAI,CAAC,GAAG;gBAAE,SAAS;YACnB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;YACjC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;gBAAE,SAAS;YAChF,IAAI,KAAK,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;gBAAE,SAAS;YAChF,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,QAAmC;IAClE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;QAC7F,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC,KAAK,+DAA+D,CAAC,CAAC;QAC7G,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC,KAAK,mBAAmB,CAAC,CAAC;QAC3F,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC,KAAK,sCAAsC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QACnG,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/compliance/index.d.ts

@@ -0,0 +1,3 @@
+export { AuditTrail, DEFAULT_MAX_EVENTS, type AuditEvent, type AuditKind, type AuditTrailOptions } from "./trail.js";
+export { assembleComplianceReport, renderComplianceReport, type ComplianceOptions, type ComplianceReport, type ComplianceSection, type SectionStatus, } from "./report.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/compliance/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/compliance/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,KAAK,iBAAiB,EAAE,MAAM,YAAY,CAAC;AACrH,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACtB,KAAK,aAAa,GACnB,MAAM,aAAa,CAAC"}

package/dist/compliance/index.js

@@ -0,0 +1,3 @@
+export { AuditTrail, DEFAULT_MAX_EVENTS } from "./trail.js";
+export { assembleComplianceReport, renderComplianceReport, } from "./report.js";
+//# sourceMappingURL=index.js.map

package/dist/compliance/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/compliance/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAA2D,MAAM,YAAY,CAAC;AACrH,OAAO,EACL,wBAAwB,EACxB,sBAAsB,GAKvB,MAAM,aAAa,CAAC"}