@ixo/openhands-sdk 0.0.0-stage → 0.2.0

package/dist/esm/rubric/reanchor.js

@@ -0,0 +1,146 @@
+/**
+ * The one resource on an entity that answers to a fragment, with its id AS
+ * STORED.
+ *
+ * The chain keeps whatever id the entity was minted with: the literal
+ * `{id}#rub` on every ask this estate posted, the expanded `did:…#rub` on an
+ * entity somebody else's tooling made. `MsgDeleteLinkedResource` matches the
+ * stored string exactly, so the id is read and carried, never rebuilt. Two
+ * resources answering to one fragment is an entity nobody should guess about.
+ */
+export function resourceByFragment(resources, entityDid, fragment) {
+    const hash = fragment.startsWith("#") ? fragment : `#${fragment}`;
+    const accepted = new Set([`{id}${hash}`, `${entityDid}${hash}`, hash]);
+    const found = (resources ?? []).filter((resource) => typeof resource?.id === "string" && accepted.has(resource.id));
+    if (found.length > 1)
+        throw new Error(`${found.length} linked resources answer to ${hash}: ${found.map((one) => one.id).join(", ")}`);
+    return found[0] ?? null;
+}
+/** Key order is not meaning; two bodies that differ only in it are the same rule. */
+const canonical = (value) => JSON.stringify(value, (_key, inner) => inner && typeof inner === "object" && !Array.isArray(inner)
+    ? Object.fromEntries(Object.entries(inner).sort(([left], [right]) => (left < right ? -1 : left > right ? 1 : 0)))
+    : inner);
+function diffNamed(before, after, nameOf) {
+    const old = new Map(before.map((one) => [nameOf(one), one]));
+    const next = new Map(after.map((one) => [nameOf(one), one]));
+    const diff = { added: [], removed: [], changed: [], unchanged: [] };
+    for (const [name, one] of next) {
+        if (!old.has(name))
+            diff.added.push(name);
+        else if (canonical(old.get(name)) === canonical(one))
+            diff.unchanged.push(name);
+        else
+            diff.changed.push(name);
+    }
+    for (const name of old.keys())
+        if (!next.has(name))
+            diff.removed.push(name);
+    return diff;
+}
+/**
+ * What swapping `before` for `after` changes.
+ *
+ * **Existing gate codes must not move.** A code is what a decision already on
+ * the ledger names as its reason, what the app's refusal screens are keyed by,
+ * and what the oracle's receipts quote; a re-anchor that renumbered `OH-103`
+ * would make yesterday's refusals point at today's different rule. So a code
+ * the old rubric carries must still be there, read the same fact, fail the same
+ * way, and sit in the same order relative to the other old codes. New codes may
+ * appear anywhere.
+ */
+export function diffRubric(before, after) {
+    const old = before.rubric;
+    const next = after.rubric;
+    const sources = diffNamed(old.sources ?? [], next.sources ?? [], (one) => one.name);
+    const aiChecks = diffNamed(old.aiChecks ?? [], next.aiChecks ?? [], (one) => one.name);
+    const withoutReason = (gate) => canonical({ ...gate, reason: undefined });
+    const oldGates = new Map(old.gates.map((gate) => [gate.code, gate]));
+    const gates = { added: [], removed: [], changed: [], unchanged: [], reworded: [], reordered: [] };
+    for (const gate of next.gates) {
+        const was = oldGates.get(gate.code);
+        if (!was)
+            gates.added.push(gate.code);
+        else if (canonical(was) === canonical(gate))
+            gates.unchanged.push(gate.code);
+        else if (withoutReason(was) === withoutReason(gate))
+            gates.reworded.push(gate.code);
+        else
+            gates.changed.push(gate.code);
+    }
+    const nextCodes = new Set(next.gates.map((gate) => gate.code));
+    for (const code of oldGates.keys())
+        if (!nextCodes.has(code))
+            gates.removed.push(code);
+    const kept = old.gates.map((gate) => gate.code).filter((code) => nextCodes.has(code));
+    const keptNow = next.gates.map((gate) => gate.code).filter((code) => oldGates.has(code));
+    gates.reordered = kept.filter((code, index) => keptNow[index] !== code);
+    const claimSchemaSame = canonical(old.claimSchema) === canonical(next.claimSchema);
+    const uniqueSame = canonical(old.unique ?? null) === canonical(next.unique ?? null);
+    const refusals = [];
+    if (gates.removed.length > 0)
+        refusals.push(`gate codes would disappear: ${gates.removed.join(", ")}`);
+    if (gates.changed.length > 0)
+        refusals.push(`gate codes would keep their number and change their rule: ${gates.changed.join(", ")}`);
+    if (gates.reordered.length > 0)
+        refusals.push(`gate codes would change order: ${gates.reordered.join(", ")}`);
+    if (sources.removed.length > 0)
+        refusals.push(`sources would disappear: ${sources.removed.join(", ")}`);
+    if (aiChecks.removed.length > 0)
+        refusals.push(`judges would disappear: ${aiChecks.removed.join(", ")}`);
+    if (!claimSchemaSame)
+        refusals.push("the claim-form binding would change");
+    if (!uniqueSame)
+        refusals.push("the duplicate rule would change");
+    return { sources, aiChecks, gates, claimSchemaSame, uniqueSame, refusals };
+}
+/**
+ * Where two bodies of the same name differ: the top-level keys, and for a list
+ * the positions — `instructions[0]` is the guidance every judge shares,
+ * `instructions[1]` would be the poster's own sentence, and which of the two
+ * moved is the whole question a person reading the diff has.
+ */
+export function whereChanged(before, after) {
+    const old = before;
+    const next = after;
+    const places = [];
+    for (const key of [...new Set([...Object.keys(old), ...Object.keys(next)])]) {
+        const was = old[key];
+        const now = next[key];
+        if (canonical(was) === canonical(now))
+            continue;
+        if (Array.isArray(was) && Array.isArray(now)) {
+            for (let index = 0; index < Math.max(was.length, now.length); index += 1)
+                if (canonical(was[index]) !== canonical(now[index]))
+                    places.push(`${key}[${index}]`);
+        }
+        else
+            places.push(key);
+    }
+    return places;
+}
+/** True when the swap would change nothing a decision reads — the bytes may still differ (a title, key order). */
+export const sameRules = (diff) => diff.refusals.length === 0 &&
+    [diff.sources, diff.aiChecks, diff.gates].every((one) => one.added.length === 0 && one.removed.length === 0 && one.changed.length === 0) &&
+    diff.gates.reworded.length === 0;
+const line = (label, names) => `${label.padEnd(10)} ${names.length > 0 ? names.join(", ") : "—"}`;
+/** The diff as a person reads it in a terminal. */
+export function describeDiff(diff) {
+    const block = (title, one, extra = []) => [
+        `${title}:`,
+        `  ${line("added", one.added)}`,
+        `  ${line("removed", one.removed)}`,
+        `  ${line("changed", one.changed)}`,
+        ...extra.map(([label, names]) => `  ${line(label, names)}`),
+        `  ${line("unchanged", one.unchanged)}`
+    ];
+    return [
+        ...block("sources", diff.sources),
+        ...block("aiChecks", diff.aiChecks),
+        ...block("gate codes", diff.gates, [
+            ["reworded", diff.gates.reworded],
+            ["reordered", diff.gates.reordered]
+        ]),
+        `claim-form binding: ${diff.claimSchemaSame ? "unchanged" : "CHANGED"} · duplicate rule: ${diff.uniqueSame ? "unchanged" : "CHANGED"}`
+    ];
+}
+//# sourceMappingURL=reanchor.js.map

package/dist/esm/rubric/reanchor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reanchor.js","sourceRoot":"","sources":["../../../src/rubric/reanchor.ts"],"names":[],"mappings":"AAwBA;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAA2B,SAA0C,EAAE,SAAiB,EAAE,QAAgB;IAC1I,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC;IAClE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,IAAI,EAAE,EAAE,GAAG,SAAS,GAAG,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,QAAQ,EAAE,EAAE,KAAK,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACpH,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,CAAC,MAAM,+BAA+B,IAAI,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtI,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC1B,CAAC;AA4BD,qFAAqF;AACrF,MAAM,SAAS,GAAG,CAAC,KAAc,EAAU,EAAE,CAC3C,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,KAAc,EAAE,EAAE,CAC7C,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;IACzD,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5I,CAAC,CAAC,KAAK,CACV,CAAC;AAEJ,SAAS,SAAS,CAAI,MAAoB,EAAE,KAAmB,EAAE,MAA0B;IACzF,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAc,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IAC/E,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;QAC/B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACrC,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,SAAS,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;YAC3E,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,UAAU,CAAC,MAAoB,EAAE,KAAmB;IAClE,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC;IAE1B,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,IAAI,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,IAAI,EAAE,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAEvF,MAAM,aAAa,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,SAAS,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;IAC1F,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,KAAK,GAAa,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IAC5G,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,GAAG;YAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACjC,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACxE,IAAI,aAAa,CAAC,GAAG,CAAC,KAAK,aAAa,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;YAC/E,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/D,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEvF,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACtF,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACzF,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;IAExE,MAAM,eAAe,GAAG,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACnF,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC;IAEpF,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,+BAA+B,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvG,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,6DAA6D,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrI,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,kCAAkC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9G,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,4BAA4B,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxG,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,2BAA2B,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzG,IAAI,CAAC,eAAe;QAAE,QAAQ,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAC3E,IAAI,CAAC,UAAU;QAAE,QAAQ,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAElE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;AAC7E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,KAAa;IACxD,MAAM,GAAG,GAAG,MAAiC,CAAC;IAC9C,MAAM,IAAI,GAAG,KAAgC,CAAC;IAC9C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACrB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACtB,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,GAAG,CAAC;YAAE,SAAS;QAChD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC;gBAAE,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,KAAK,GAAG,CAAC,CAAC;QACjK,CAAC;;YAAM,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,kHAAkH;AAClH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAgB,EAAW,EAAE,CACrD,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;IAC1B,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;IACxI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;AAEnC,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,KAAe,EAAU,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AAE5H,mDAAmD;AACnD,MAAM,UAAU,YAAY,CAAC,IAAgB;IAC3C,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,GAAc,EAAE,QAA8B,EAAE,EAAY,EAAE,CAAC;QAC3F,GAAG,KAAK,GAAG;QACX,KAAK,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE;QAC/B,KAAK,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE;QACnC,KAAK,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE;QACnC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAC3D,KAAK,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE;KACxC,CAAC;IACF,OAAO;QACL,GAAG,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC;QACjC,GAAG,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC;QACnC,GAAG,KAAK,CAAC,YAAY,EAAE,IAAI,CAAC,KAAK,EAAE;YACjC,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;YACjC,CAAC,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;SACpC,CAAC;QACF,uBAAuB,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,sBAAsB,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,EAAE;KACvI,CAAC;AACJ,CAAC"}

package/dist/esm/rubric/receipt.d.ts

@@ -0,0 +1,96 @@
+import type { CriterionKind } from "./terms.ts";
+/**
+ * The shape of a check receipt — the document a verdict's `verificationProof`
+ * pointed at while this repo's own checker judged (2026-08 → 2026-09).
+ *
+ * The checker is retired: the Openhands oracle and the decision engine judge
+ * now, and their receipts are engine receipts (`packages/openhands-data`
+ * `proof.ts`, `kind: "engine"`). What is left here is the **reader's** half.
+ * Thousands of legacy verdicts still point at receipts of this shape, the
+ * thread and receipt pages render them, the MCP quotes their notes, and the
+ * hiring agent (`services/worker-agent/src/poster.ts`) still writes one for
+ * the sub-asks it judges itself. The decider that used to fill it in —
+ * `decide`, `decideTerms`, the gates — is gone with the checker; see
+ * docs/verified-work-oracle-migration-plan.md §4.1 T-A8.
+ */
+export type GateOutcome = "pass" | "fail" | "unverifiable";
+/** The chain's words for a verdict. `flagged` is legacy: nothing writes it since the migration (D6). */
+export type Verdict = "approved" | "rejected" | "flagged";
+/** What a checker measured, however it measured it. */
+export interface Measurement {
+    status: number | null;
+    ms: number;
+}
+/** One photograph of a pair, as the checker read it: when, where relative to the target, and on whose word. */
+export interface PairReading {
+    at: string | null;
+    inRadius: boolean | null;
+    metres: number | null;
+    source: "photo" | "reported" | null;
+}
+export interface TermsCheckReceipt {
+    v: 2;
+    rubric: string;
+    claim: string;
+    evidence?: string;
+    /** `note` is why — the sentence a reader needs to audit the outcome. */
+    criteria: {
+        id: string;
+        kind: CriterionKind;
+        outcome: GateOutcome;
+        note?: string;
+        confidence?: number;
+    }[];
+    verdict: Verdict;
+    reason: number;
+    measured?: Measurement;
+    /** What the map said, when the terms asked about one. */
+    osm?: {
+        username: string | null;
+        changesets: number;
+        edits: number;
+        featureDelta: number | null;
+    };
+    /** The two photographs of a cleanup as the checker read them, provenance included. */
+    pair?: {
+        before: PairReading;
+        after: PairReading;
+        unplaced?: true;
+    };
+    model?: string;
+    promptSha256?: string;
+    checker: string;
+    ts: string;
+}
+/**
+ * The note a receipt recorded for one gate — read back, later, by somebody
+ * who was not there.
+ *
+ * Two ids meet here and they are not the same id. The receipt files each line
+ * under the **criterion's** id (`c2`), because that is what the checker
+ * returned; the thing a reader wants is named by the **gate's** id
+ * (`before-after`), because that is what the check actually was. Only the
+ * terms hold the mapping, which is why all three are arguments.
+ *
+ * Matching on words in the note instead — `note.includes("apart")` — reads as
+ * simpler and is a trap: it silently starts finding nothing the first time a
+ * sentence is reworded, and the caller cannot tell that from "no such gate".
+ *
+ * Returns `null` unless the gate passed, so a failed or unsettled check never
+ * lends its sentence to something being presented as evidence.
+ */
+export declare function noteFor(gateId: string, terms: {
+    criteria?: {
+        id?: string;
+        gate?: {
+            id?: string;
+        };
+    }[];
+} | null | undefined, receipt: {
+    criteria?: {
+        id: string;
+        outcome?: string;
+        note?: string;
+    }[];
+} | null | undefined): string | null;
+//# sourceMappingURL=receipt.d.ts.map

package/dist/esm/rubric/receipt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"receipt.d.ts","sourceRoot":"","sources":["../../../src/rubric/receipt.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD;;;;;;;;;;;;;GAaG;AAEH,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,cAAc,CAAC;AAE3D,wGAAwG;AACxG,MAAM,MAAM,OAAO,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,CAAC;AAE1D,uDAAuD;AACvD,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,+GAA+G;AAC/G,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAClB,QAAQ,EAAE,OAAO,GAAG,IAAI,CAAC;IACzB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,EAAE,OAAO,GAAG,UAAU,GAAG,IAAI,CAAC;CACrC;AAED,MAAM,WAAW,iBAAiB;IAChC,CAAC,EAAE,CAAC,CAAC;IACL,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,wEAAwE;IACxE,QAAQ,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,aAAa,CAAC;QAAC,OAAO,EAAE,WAAW,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC1G,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,yDAAyD;IACzD,GAAG,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IAClG,sFAAsF;IACtF,IAAI,CAAC,EAAE;QAAE,MAAM,EAAE,WAAW,CAAC;QAAC,KAAK,EAAE,WAAW,CAAC;QAAC,QAAQ,CAAC,EAAE,IAAI,CAAA;KAAE,CAAC;IACpE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,EAAE,EAAE,MAAM,CAAC;CACZ;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,OAAO,CACrB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE;IAAE,QAAQ,CAAC,EAAE;QAAE,EAAE,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE;YAAE,EAAE,CAAC,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,EAAE,CAAA;CAAE,GAAG,IAAI,GAAG,SAAS,EAClF,OAAO,EAAE;IAAE,QAAQ,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;CAAE,GAAG,IAAI,GAAG,SAAS,GAC3F,MAAM,GAAG,IAAI,CAKf"}

package/dist/esm/rubric/receipt.js

@@ -0,0 +1,25 @@
+/**
+ * The note a receipt recorded for one gate — read back, later, by somebody
+ * who was not there.
+ *
+ * Two ids meet here and they are not the same id. The receipt files each line
+ * under the **criterion's** id (`c2`), because that is what the checker
+ * returned; the thing a reader wants is named by the **gate's** id
+ * (`before-after`), because that is what the check actually was. Only the
+ * terms hold the mapping, which is why all three are arguments.
+ *
+ * Matching on words in the note instead — `note.includes("apart")` — reads as
+ * simpler and is a trap: it silently starts finding nothing the first time a
+ * sentence is reworded, and the caller cannot tell that from "no such gate".
+ *
+ * Returns `null` unless the gate passed, so a failed or unsettled check never
+ * lends its sentence to something being presented as evidence.
+ */
+export function noteFor(gateId, terms, receipt) {
+    const criterionId = (terms?.criteria ?? []).find((one) => one.gate?.id === gateId)?.id;
+    if (!criterionId)
+        return null;
+    const line = (receipt?.criteria ?? []).find((one) => one.id === criterionId);
+    return line?.outcome === "pass" ? (line.note ?? null) : null;
+}
+//# sourceMappingURL=receipt.js.map

package/dist/esm/rubric/receipt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"receipt.js","sourceRoot":"","sources":["../../../src/rubric/receipt.ts"],"names":[],"mappings":"AAwDA;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,OAAO,CACrB,MAAc,EACd,KAAkF,EAClF,OAA4F;IAE5F,MAAM,WAAW,GAAG,CAAC,KAAK,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;IACvF,IAAI,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,WAAW,CAAC,CAAC;IAC7E,OAAO,IAAI,EAAE,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/D,CAAC"}

package/dist/esm/rubric/roundTrips.d.ts

@@ -0,0 +1,17 @@
+import { type AskTerms } from "./terms.ts";
+/**
+ * The round-trip guard the tests lean on: published terms must survive
+ * parsing, byte for byte, or a reader sees different terms than the poster
+ * signed. It is the drift trap's alarm — the one this estate has paid for
+ * twice, when `campaign` and then `followUp` joined the type and not the
+ * parser.
+ *
+ * **Its own module because `parseTerms` is expensive to carry.** This lived
+ * in `compose.ts`, which the composer imports for `formTerms` — so every
+ * phone that opened /ask downloaded the whole validation apparatus (every
+ * gate check, every trim, every field the parser rebuilds) to run a guard
+ * that only ever runs in tests. Measured: moving it here paid for the
+ * `+ Then` chip's kilobyte on three pages that had none to spare.
+ */
+export declare const roundTrips: (terms: AskTerms) => boolean;
+//# sourceMappingURL=roundTrips.d.ts.map

package/dist/esm/rubric/roundTrips.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"roundTrips.d.ts","sourceRoot":"","sources":["../../../src/rubric/roundTrips.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEvD;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,UAAU,GAAI,OAAO,QAAQ,KAAG,OAG5C,CAAC"}

package/dist/esm/rubric/roundTrips.js

@@ -0,0 +1,20 @@
+import { parseTerms } from "./terms.js";
+/**
+ * The round-trip guard the tests lean on: published terms must survive
+ * parsing, byte for byte, or a reader sees different terms than the poster
+ * signed. It is the drift trap's alarm — the one this estate has paid for
+ * twice, when `campaign` and then `followUp` joined the type and not the
+ * parser.
+ *
+ * **Its own module because `parseTerms` is expensive to carry.** This lived
+ * in `compose.ts`, which the composer imports for `formTerms` — so every
+ * phone that opened /ask downloaded the whole validation apparatus (every
+ * gate check, every trim, every field the parser rebuilds) to run a guard
+ * that only ever runs in tests. Measured: moving it here paid for the
+ * `+ Then` chip's kilobyte on three pages that had none to spare.
+ */
+export const roundTrips = (terms) => {
+    const back = parseTerms(JSON.parse(JSON.stringify(terms)));
+    return back !== null && JSON.stringify(back) === JSON.stringify(terms);
+};
+//# sourceMappingURL=roundTrips.js.map

package/dist/esm/rubric/roundTrips.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"roundTrips.js","sourceRoot":"","sources":["../../../src/rubric/roundTrips.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAiB,MAAM,YAAY,CAAC;AAEvD;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAe,EAAW,EAAE;IACrD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAY,CAAC,CAAC;IACtE,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AACzE,CAAC,CAAC"}