@graview/core 0.1.12 → 0.1.14

package/dist/document/act-findings.js

@@ -0,0 +1,84 @@
+import { withArticle } from "../schema/define-node.js";
+import { farEnd } from "./far-end.js";
+import { error } from "./findings.js";
+import { outsideRange } from "./range.js";
+/*
+ * WHAT A DOCUMENT SAYS OF ITS RANGES AND OF THE OTHER END OF ITS LINKS
+ * (FR-114, FR-115), judged with the checker (`compileDocument`) and not by
+ * a page that compiles a document its host has already judged: these are
+ * the host's to refuse when the document is kept, and the hosted page does
+ * not carry them (FR-57).
+ */
+const asArray = (v) => (v === undefined ? [] : Array.isArray(v) ? v : [v]);
+/** A number field's range, and its default against it (FR-114). */
+function rangeFindings(document) {
+    const out = [];
+    for (const [kind, spec] of Object.entries(document.kinds)) {
+        for (const [field, f] of Object.entries(spec.fields)) {
+            const at = `kinds.${kind}.fields.${field}`;
+            const numeric = f.type === "number" || f.type === "integer";
+            for (const key of ["min", "max", "step"])
+                if (!numeric && f[key] !== undefined)
+                    out.push(error("field-range", `${at}.${key}`, `"${key}" belongs only on a number or integer field`));
+            if (numeric && f.min !== undefined && f.max !== undefined && f.min > f.max)
+                out.push(error("field-range", `${at}.max`, `"max" (${f.max}) is below "min" (${f.min})`));
+            if (numeric && f.step !== undefined && !(f.step > 0))
+                out.push(error("field-range", `${at}.step`, '"step" is more than zero, like 1 or 0.5'));
+            // A default is a value the field takes, so it is inside the field's range.
+            const outside = f.default !== undefined ? outsideRange(f.default, f, field) : undefined;
+            if (outside)
+                out.push(error("default-range", `${at}.default`, outside));
+        }
+    }
+    return out;
+}
+/**
+ * What an act says of the other end of what it connects (FR-115): a
+ * `setsOther` needs a relation to have an other end, and sets fields that
+ * record has; a `replaces` needs a link it is making, and names relations
+ * that join the subject to the kinds that link does.
+ */
+function otherEndFindings(name, act, document) {
+    const out = [];
+    const at = `acts.${name}`;
+    const subject = asArray(act.on);
+    const relation = act.connects ?? act.severs;
+    const end = relation ? farEnd(document.kinds, relation, subject) : undefined;
+    if (act.setsOther) {
+        if (!relation)
+            out.push(error("act-sets-other", `${at}.setsOther`, `"${name}" sets the record at the other end of what it connects, and connects nothing`, 'say what it "connects" (or "severs"), or set its subject with "sets"'));
+        else if (end && end.kinds !== "*") {
+            for (const field of Object.keys(act.setsOther)) {
+                for (const kind of end.kinds) {
+                    const spec = document.kinds[kind];
+                    if (!spec || spec.fields[field])
+                        continue;
+                    if (spec.computed?.[field] !== undefined)
+                        out.push(error("computed-written", `${at}.setsOther.${field}`, `${kind}'s ${field} is worked out, not written: no act can set it`, "set the stored fields it is worked out from"));
+                    else
+                        out.push(error("act-field", `${at}.setsOther.${field}`, `${kind} has no field "${field}"`));
+                }
+            }
+        }
+    }
+    if (act.replaces) {
+        if (!act.connects)
+            out.push(error("act-replaces", `${at}.replaces`, `"${name}" replaces the links of what it connects, and connects nothing`, 'say what it "connects", or sever with "severs"'));
+        else if (act.replaces !== true && end && end.kinds !== "*") {
+            const toward = end.kinds;
+            for (const other of act.replaces) {
+                const there = farEnd(document.kinds, other, subject);
+                if (!there)
+                    out.push(error("act-edge", `${at}.replaces`, `"${other}" is not a relation any kind declares`));
+                else if (there.kinds !== "*" && !there.kinds.some((kind) => toward.includes(kind)))
+                    out.push(error("act-replaces", `${at}.replaces`, `"${other}" does not join ${subject.join(" or ")} to ${withArticle(toward[0] ?? "record")}, so "${name}" has no such links to replace`));
+            }
+        }
+    }
+    return out;
+}
+/** Every range and other-end finding of a document, in its order: fields, then acts. */
+export function actFindings(document) {
+    return [...rangeFindings(document), ...Object.entries(document.acts ?? {}).flatMap(([name, act]) => otherEndFindings(name, act, document))];
+}
+//# sourceMappingURL=act-findings.js.map

package/dist/document/act-findings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"act-findings.js","sourceRoot":"","sources":["../../src/document/act-findings.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,KAAK,EAAgB,MAAM,eAAe,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAG1C;;;;;;GAMG;AAEH,MAAM,OAAO,GAAG,CAAI,CAA+B,EAAgB,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAkB,CAAC,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC,CAAC;AAEjJ,mEAAmE;AACnE,SAAS,aAAa,CAAC,QAAyB;IAC9C,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1D,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACrD,MAAM,EAAE,GAAG,SAAS,IAAI,WAAW,KAAK,EAAE,CAAC;YAC3C,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;YAC5D,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAU;gBAAE,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,SAAS;oBAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,6CAA6C,CAAC,CAAC,CAAC;YAC9L,IAAI,OAAO,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG;gBAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,GAAG,qBAAqB,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;YACtK,IAAI,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,GAAG,EAAE,OAAO,EAAE,yCAAyC,CAAC,CAAC,CAAC;YAC9I,2EAA2E;YAC3E,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACxF,IAAI,OAAO;gBAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,IAAY,EAAE,GAAY,EAAE,QAAyB;IAC7E,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,MAAM,EAAE,GAAG,QAAQ,IAAI,EAAE,CAAC;IAC1B,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC;IAC5C,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7E,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAClB,IAAI,CAAC,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,IAAI,8EAA8E,EAAE,sEAAsE,CAAC,CAAC,CAAC;aAC/N,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YAClC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC/C,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;oBAC7B,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBAClC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;wBAAE,SAAS;oBAC1C,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,KAAK,SAAS;wBAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,GAAG,EAAE,cAAc,KAAK,EAAE,EAAE,GAAG,IAAI,MAAM,KAAK,gDAAgD,EAAE,6CAA6C,CAAC,CAAC,CAAC;;wBACxN,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,EAAE,cAAc,KAAK,EAAE,EAAE,GAAG,IAAI,kBAAkB,KAAK,GAAG,CAAC,CAAC,CAAC;gBACnG,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjB,IAAI,CAAC,GAAG,CAAC,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,IAAI,gEAAgE,EAAE,gDAAgD,CAAC,CAAC,CAAC;aAC5L,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YAC3D,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC;YACzB,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;gBACrD,IAAI,CAAC,KAAK;oBAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,KAAK,uCAAuC,CAAC,CAAC,CAAC;qBACvG,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,KAAK,mBAAmB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,IAAI,gCAAgC,CAAC,CAAC,CAAC;YAChR,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,WAAW,CAAC,QAAyB;IACnD,OAAO,CAAC,GAAG,aAAa,CAAC,QAAQ,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC9I,CAAC"}

package/dist/document/compile-checked.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compile-checked.d.ts","sourceRoot":"","sources":["../../src/document/compile-checked.ts"],"names":[],"mappings":"AACA,OAAO,EAA+D,KAAK,gBAAgB,EAAE,KAAK,cAAc,EAAE,KAAK,eAAe,EAAE,MAAM,cAAc,CAAC;AAW7J;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,GAAE,cAAmB,GAAG,gBAAgB,GAAG,eAAe,CAe9G"}
+{"version":3,"file":"compile-checked.d.ts","sourceRoot":"","sources":["../../src/document/compile-checked.ts"],"names":[],"mappings":"AAEA,OAAO,EAA6E,KAAK,gBAAgB,EAAE,KAAK,cAAc,EAAE,KAAK,eAAe,EAAE,MAAM,cAAc,CAAC;AAW3K;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,GAAE,cAAmB,GAAG,gBAAgB,GAAG,eAAe,CAqB9G"}

package/dist/document/compile-checked.js

@@ -1,5 +1,6 @@
 import { checkApp } from "../cli/check.js";
-import { compileDocumentWithoutCheck, frameworkPath, inDocumentWords } from "./compile.js";
+import { actFindings } from "./act-findings.js";
+import { compileDocumentWithoutCheck, frameworkPath, inDocumentWords, readDocument } from "./compile.js";
 import { hasErrors } from "./findings.js";
 import { viewBraces } from "./views.js";
 /*
@@ -16,11 +17,17 @@ import { viewBraces } from "./views.js";
  */
 export function compileDocument(raw, options = {}) {
     const compiled = compileDocumentWithoutCheck(raw, options);
-    if (!compiled.ok)
-        return compiled;
+    if (!compiled.ok) {
+        // A range and the other end of a link are judged here too (FR-114, FR-115), so a refusal says all of what is wrong.
+        const read = readDocument(raw).document;
+        return read ? { ok: false, findings: [...compiled.findings, ...actFindings(read)] } : compiled;
+    }
     const { app, document } = compiled;
+    const own = actFindings(document);
+    if (hasErrors(own))
+        return { ok: false, findings: [...compiled.findings, ...own] };
     // Braces in a block's plain words (FR-99): asked here, with the checker, and not of a page that compiles without it.
-    const findings = [...compiled.findings, ...viewBraces(document.views, "views", undefined, document.lenses)];
+    const findings = [...compiled.findings, ...own, ...viewBraces(document.views, "views", undefined, document.lenses)];
     const check = checkApp(app);
     for (const f of check.findings) {
         const finding = { severity: f.severity === "error" ? "error" : f.severity === "warning" ? "warning" : "note", code: `check:${f.code}`, path: frameworkPath(f.where, document), message: f.message, ...(f.fix ? { fix: f.fix } : {}) };

package/dist/document/compile-checked.js.map

@@ -1 +1 @@
-{"version":3,"file":"compile-checked.js","sourceRoot":"","sources":["../../src/document/compile-checked.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,2BAA2B,EAAE,aAAa,EAAE,eAAe,EAAoE,MAAM,cAAc,CAAC;AAC7J,OAAO,EAAE,SAAS,EAAgB,MAAM,eAAe,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAExC;;;;;;GAMG;AACH;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,GAAY,EAAE,UAA0B,EAAE;IACxE,MAAM,QAAQ,GAAG,2BAA2B,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC3D,IAAI,CAAC,QAAQ,CAAC,EAAE;QAAE,OAAO,QAAQ,CAAC;IAClC,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC;IACnC,qHAAqH;IACrH,MAAM,QAAQ,GAAc,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACvH,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAW,CAAC;QAC/O,2GAA2G;QAC3G,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC;YAAE,SAAS;QACnG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACtG,CAAC;IACD,IAAI,SAAS,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACxD,OAAO,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,CAAC;AACnC,CAAC"}
+{"version":3,"file":"compile-checked.js","sourceRoot":"","sources":["../../src/document/compile-checked.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,2BAA2B,EAAE,aAAa,EAAE,eAAe,EAAE,YAAY,EAAoE,MAAM,cAAc,CAAC;AAC3K,OAAO,EAAE,SAAS,EAAgB,MAAM,eAAe,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAExC;;;;;;GAMG;AACH;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,GAAY,EAAE,UAA0B,EAAE;IACxE,MAAM,QAAQ,GAAG,2BAA2B,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC3D,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,oHAAoH;QACpH,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;QACxC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;IACjG,CAAC;IACD,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC;IACnC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IAClC,IAAI,SAAS,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC;IACnF,qHAAqH;IACrH,MAAM,QAAQ,GAAc,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,GAAG,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/H,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAW,CAAC;QAC/O,2GAA2G;QAC3G,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC;YAAE,SAAS;QACnG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACtG,CAAC;IACD,IAAI,SAAS,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACxD,OAAO,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,CAAC;AACnC,CAAC"}

package/dist/document/compile.d.ts

@@ -1,4 +1,5 @@
 import { type GraviewApp } from "../index.js";
+import { ActRefusal } from "../refused.js";
 import { type KindShape } from "./expr/evaluate.js";
 import { type Finding } from "./findings.js";
 import { type ActSpec, type EffectSpec, type GraviewDocument, type SightSpec } from "./schema.js";
@@ -32,10 +33,20 @@ export declare function readDocument(raw: unknown): {
     readonly findings: readonly Finding[];
 };
 export declare function kindShapes(document: GraviewDocument): Map<string, KindShape>;
-/** The effects an act's shorthands mean, in order. */
-export declare function effectsOf(act: ActSpec, document: GraviewDocument): readonly EffectSpec[];
-declare class Refused extends Error {
+/**
+ * What `replaces` means (FR-115): before the act connects, the subject's
+ * links of these relations are severed — each at the subject's own end —
+ * all but the link the act is making. Only an act's shorthand says it.
+ */
+export interface ReplaceEffect {
+    readonly replace: readonly string[];
+    /** The relation the act connects: its link to `$to` is the one kept. */
+    readonly keep: string;
 }
+/** An effect as an act means it: one a document lists, or what a shorthand alone says. */
+export type ActEffect = EffectSpec | ReplaceEffect;
+/** The effects an act's shorthands mean, in order. */
+export declare function effectsOf(act: ActSpec, document: GraviewDocument): readonly ActEffect[];
 /**
  * A DOCUMENT COMPILED WITHOUT THE FRAMEWORK'S CHECKER: its own sentences
  * still judged, `checkApp` not asked. For a page drawing a document its host
@@ -53,5 +64,5 @@ export declare function frameworkPath(where: string, document: GraviewDocument):
  * and the same first three, in the words of the format they hold.
  */
 export declare function inDocumentWords(finding: Finding, where: string, document: GraviewDocument): Finding;
-export { Refused as ActRefusal };
+export { ActRefusal };
 //# sourceMappingURL=compile.d.ts.map

package/dist/document/compile.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/document/compile.ts"],"names":[],"mappings":"AAAA,OAAO,EAaL,KAAK,UAAU,EAMhB,MAAM,aAAa,CAAC;AAKrB,OAAO,EAAgD,KAAK,SAAS,EAAc,MAAM,oBAAoB,CAAC;AAE9G,OAAO,EAA6B,KAAK,OAAO,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,EAGL,KAAK,OAAO,EACZ,KAAK,UAAU,EAEf,KAAK,eAAe,EAEpB,KAAK,SAAS,EAEf,MAAM,aAAa,CAAC;AAkBrB,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;CAChD;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,cAAc;IAC7B,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,MAAM,CAAC;IAC9B;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC;CACrC;AAKD,mGAAmG;AACnG,wBAAgB,YAAY,CAAC,GAAG,EAAE,OAAO,GAAG;IAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;CAAE,CAoCzH;AA2BD,wBAAgB,UAAU,CAAC,QAAQ,EAAE,eAAe,GAAG,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAW5E;AAED,sDAAsD;AACtD,wBAAgB,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,eAAe,GAAG,SAAS,UAAU,EAAE,CAmBxF;AAySD,cAAM,OAAQ,SAAQ,KAAK;CAAG;AAE9B;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,GAAE,cAAmB,GAAG,gBAAgB,GAAG,eAAe,CAmT1H;AAED,4GAA4G;AAC5G,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,eAAe,GAAG,MAAM,CAM9E;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,eAAe,GAAG,OAAO,CAMnG;AAED,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,CAAC"}
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/document/compile.ts"],"names":[],"mappings":"AAAA,OAAO,EAaL,KAAK,UAAU,EAMhB,MAAM,aAAa,CAAC;AAGrB,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAG3C,OAAO,EAAgD,KAAK,SAAS,EAAc,MAAM,oBAAoB,CAAC;AAE9G,OAAO,EAA6B,KAAK,OAAO,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,EAGL,KAAK,OAAO,EACZ,KAAK,UAAU,EAEf,KAAK,eAAe,EAEpB,KAAK,SAAS,EAEf,MAAM,aAAa,CAAC;AAmBrB,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;CAChD;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,cAAc;IAC7B,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,MAAM,CAAC;IAC9B;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC;CACrC;AAKD,mGAAmG;AACnG,wBAAgB,YAAY,CAAC,GAAG,EAAE,OAAO,GAAG;IAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;CAAE,CAoCzH;AA2BD,wBAAgB,UAAU,CAAC,QAAQ,EAAE,eAAe,GAAG,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAW5E;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,wEAAwE;IACxE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,0FAA0F;AAC1F,MAAM,MAAM,SAAS,GAAG,UAAU,GAAG,aAAa,CAAC;AAEnD,sDAAsD;AACtD,wBAAgB,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,eAAe,GAAG,SAAS,SAAS,EAAE,CA+BvF;AA4TD;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,GAAE,cAAmB,GAAG,gBAAgB,GAAG,eAAe,CA+V1H;AAED,4GAA4G;AAC5G,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,eAAe,GAAG,MAAM,CAM9E;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,eAAe,GAAG,OAAO,CAMnG;AAED,OAAO,EAAE,UAAU,EAAE,CAAC"}

package/dist/document/compile.js

@@ -1,6 +1,7 @@
 import { RuleBudgetError, withArticle, brandFromAccent, createSchema, defineInvariant, defineMutation, defineNode, SCHEMES, } from "../index.js";
 import * as z from "../schema/zod.js";
 import { refTo } from "../mutations/node-ref.js";
+import { ActRefusal } from "../refused.js";
 import { analyzeExpr } from "./expr/analyze.js";
 import { rememberDocument } from "./to-document.js";
 import { evaluateExpr, ExprBudgetError, ExprEvalError } from "./expr/evaluate.js";
@@ -10,6 +11,7 @@ import { DocumentSpec, MAX_DOCUMENT_BYTES, } from "./schema.js";
 import { parseTemplate, renderTemplate, TemplateError } from "./template.js";
 import { upgradeDocument } from "./upgrade.js";
 import { homeOf, validateViews, viewsOf } from "./views.js";
+import { farEnd } from "./far-end.js";
 import { computedOf, parsedComputed, validateComputed, workedOutAlone } from "./computed.js";
 const BUILTIN_REFS = new Set(["subject", "now", "today"]);
 const SUBJECT_ARG = "id";
@@ -88,6 +90,13 @@ export function kindShapes(document) {
 export function effectsOf(act, document) {
     // Shorthands first, then any listed effects: an act may say "writes quote" and also set a status.
     const effects = [];
+    const subject = asArray(act.on);
+    // A relation joins its subject from whichever end the declaration puts it (FR-115): `owns` on a component links from the person given.
+    const link = (relation, verb) => {
+        const reversed = farEnd(document.kinds, relation, subject)?.reversed === true;
+        const [from, to] = reversed ? ["$to", "$subject"] : ["$subject", "$to"];
+        return verb === "connect" ? { connect: relation, from, to } : { sever: relation, from, to };
+    };
     if (act.creates) {
         const kind = document.kinds[act.creates];
         const set = {};
@@ -104,10 +113,16 @@ export function effectsOf(act, document) {
     // An act that makes a record already asks for each of its fields: `writes` beside `creates` (and no `on`) names some of them again, not a subject.
     if (act.writes && !(act.creates && act.on === undefined))
         effects.push({ set: Object.fromEntries(act.writes.map((f) => [f, `$${f}`])) });
-    if (act.connects)
-        effects.push({ connect: act.connects, from: "$subject", to: "$to" });
+    if (act.connects) {
+        if (act.replaces)
+            effects.push({ replace: act.replaces === true ? [act.connects] : [...act.replaces], keep: act.connects });
+        effects.push(link(act.connects, "connect"));
+    }
     if (act.severs)
-        effects.push({ sever: act.severs, from: "$subject", to: "$to" });
+        effects.push(link(act.severs, "sever"));
+    // What it sets on the record at the other end (FR-115): that record is its `$to`.
+    if (act.setsOther && (act.connects || act.severs))
+        effects.push({ set: act.setsOther, target: "$to" });
     if (act.removes)
         effects.push({ remove: "$subject" });
     if (act.effects)
@@ -352,11 +367,17 @@ function fieldSchema(spec, optional) {
             schema = z.string().check(z.maxLength(20_000));
             break;
         case "number":
-            schema = z.number();
-            break;
-        case "integer":
-            schema = z.number().check(z.int());
+        case "integer": {
+            // Its range (FR-114) is the schema's: every form, tool and apply reads it from here.
+            const range = [
+                ...(spec.type === "integer" ? [z.int()] : []),
+                ...(spec.min === undefined ? [] : [z.gte(spec.min)]),
+                ...(spec.max === undefined ? [] : [z.lte(spec.max)]),
+                ...(spec.step === undefined ? [] : [z.multipleOf(spec.step)]),
+            ];
+            schema = range.length > 0 ? z.number().check(...range) : z.number();
             break;
+        }
         case "boolean":
             schema = z.boolean();
             break;
@@ -394,16 +415,24 @@ function argsOf(name, act, effects, document, edges) {
     const args = new Map();
     const subjectKinds = asArray(act.on);
     const created = new Map();
+    /** The kinds a record argument names, by argument: what a `set` on it (a `setsOther`) is checked against. */
+    const named = new Map();
     const usesSubject = subjectKinds.length > 0 ||
         effects.some((e) => ("remove" in e && refName(e.remove) === "subject") || ("from" in e && (refName(e.from) === "subject" || refName(e.to) === "subject")) || ("set" in e && !("create" in e) && refName(e.target ?? "$subject") === "subject"));
     if (usesSubject)
         args.set(SUBJECT_ARG, { schema: refTo(subjectKinds.length > 0 ? subjectKinds : "*"), required: true });
     const declared = act.args ?? {};
     const writesOnlyOne = act.writes?.length === 1;
-    const note = (arg, schema) => {
+    /*
+     * A declared argument that fills a number field and says no range of its
+     * own is asked for within the field's (FR-114): the form will not take
+     * what the record would refuse.
+     */
+    const withRangeOf = (d, fed) => fed && d.type === fed.type && d.min === undefined && d.max === undefined && d.step === undefined ? { ...d, ...(fed.min === undefined ? {} : { min: fed.min }), ...(fed.max === undefined ? {} : { max: fed.max }), ...(fed.step === undefined ? {} : { step: fed.step }) } : d;
+    const note = (arg, schema, fed) => {
         if (arg === SUBJECT_ARG || BUILTIN_REFS.has(arg) || created.has(arg) || args.has(arg))
             return;
-        const d = declared[arg];
+        const d = declared[arg] ? withRangeOf(declared[arg], fed) : undefined;
         args.set(arg, d ? { schema: fieldSchema(d, !d.required), required: Boolean(d.required) } : schema());
     };
     for (const effect of effects) {
@@ -414,7 +443,7 @@ function argsOf(name, act, effects, document, edges) {
                 const spec = kind?.fields[field];
                 if (arg && spec) {
                     const required = Boolean(spec.required) && spec.default === undefined;
-                    note(arg, () => ({ schema: fieldSchema(spec, !required), required }));
+                    note(arg, () => ({ schema: fieldSchema(spec, !required), required }), spec);
                 }
             }
             if (effect.as)
@@ -427,12 +456,14 @@ function argsOf(name, act, effects, document, edges) {
                 if (!arg)
                     continue;
                 const kinds = end === "to" ? edge?.to ?? "*" : edge?.from ?? "*";
+                if (kinds !== "*" && !named.has(arg))
+                    named.set(arg, kinds);
                 note(arg, () => ({ schema: refTo(kinds === "*" ? "*" : kinds), required: true }));
             }
         }
         else if ("set" in effect) {
             const target = refName(effect.target ?? "$subject");
-            const targetKind = target === "subject" ? subjectKinds[0] : created.get(target ?? "");
+            const targetKind = target === "subject" ? subjectKinds[0] : (created.get(target ?? "") ?? named.get(target ?? "")?.[0]);
             if (target && target !== "subject" && !created.has(target))
                 note(target, () => ({ schema: refTo("*"), required: true }));
             for (const [field, value] of Object.entries(effect.set)) {
@@ -440,7 +471,7 @@ function argsOf(name, act, effects, document, edges) {
                 if (!arg)
                     continue;
                 const spec = targetKind ? document.kinds[targetKind]?.fields[field] : undefined;
-                note(arg, () => (spec ? { schema: fieldSchema(spec, !writesOnlyOne), required: writesOnlyOne } : { schema: z.optional(z.unknown()), required: false }));
+                note(arg, () => (spec ? { schema: fieldSchema(spec, !writesOnlyOne), required: writesOnlyOne } : { schema: z.optional(z.unknown()), required: false }), spec);
             }
         }
         else if ("remove" in effect) {
@@ -455,8 +486,8 @@ function argsOf(name, act, effects, document, edges) {
     void name;
     return args;
 }
-class Refused extends Error {
-}
+/** An act's own refusal: the framework's typed one (FR-110), which a host shows rather than calling it a failure. */
+const Refused = ActRefusal;
 /**
  * A DOCUMENT COMPILED WITHOUT THE FRAMEWORK'S CHECKER: its own sentences
  * still judged, `checkApp` not asked. For a page drawing a document its host
@@ -532,12 +563,50 @@ export function compileDocumentWithoutCheck(raw, options = {}) {
         const title = act.title ?? name.replace(/-/g, " ");
         const guard = act.allowedWhen ? parseExpr(act.allowedWhen) : undefined;
         const refusal = act.refusal ? parseTemplate(act.refusal) : undefined;
-        const destructive = act.destructive ?? effects.some((e) => "remove" in e || "sever" in e);
+        const destructive = act.destructive ?? effects.some((e) => "remove" in e || "sever" in e || "replace" in e);
         const creates = [...new Set(effects.flatMap((e) => ("create" in e ? [e.create] : [])))];
         const connects = [...new Set(effects.flatMap((e) => ("connect" in e ? [e.connect] : [])))];
-        const severs = [...new Set(effects.flatMap((e) => ("sever" in e ? [e.sever] : [])))];
+        // What it may sever: what it says it severs, and what it replaces (FR-115).
+        const severs = [...new Set(effects.flatMap((e) => ("sever" in e ? [e.sever] : "replace" in e ? e.replace : [])))];
         // An act WRITES only what it sets on its subject; setting fields on a record it just made is part of making it.
         const writes = [...new Set(effects.flatMap((e) => ("set" in e && !("create" in e) && (refName(e.target ?? "$subject") === "subject") ? Object.keys(e.set) : [])))];
+        /*
+         * And what it sets on the record at an end of a link it makes or breaks
+         * (FR-115's `setsOther`), by that end's kinds: not the subject's, but a
+         * field another act sets, so no derived edit offers it freely.
+         */
+        const ends = new Map();
+        for (const e of effects) {
+            if (!("connect" in e) && !("sever" in e))
+                continue;
+            const edge = edges.get("connect" in e ? e.connect : e.sever);
+            for (const [end, value] of [["from", e.from], ["to", e.to]]) {
+                const ref = refName(value);
+                const kinds = end === "to" ? edge?.to : edge?.from;
+                if (ref && ref !== "subject" && kinds && kinds !== "*")
+                    ends.set(ref, [...new Set([...(ends.get(ref) ?? []), ...kinds])]);
+            }
+        }
+        const writesOther = {};
+        for (const e of effects) {
+            if (!("set" in e) || "create" in e)
+                continue;
+            const target = refName(e.target ?? "$subject");
+            for (const kind of (target && target !== "subject" && ends.get(target)) || [])
+                writesOther[kind] = [...new Set([...(writesOther[kind] ?? []), ...Object.keys(e.set)])];
+        }
+        // What it sets on its subject to a fixed value, whatever it is told — a named step (FR-108), resolved as `apply` resolves a literal.
+        const sets = {};
+        for (const e of effects) {
+            if (!("set" in e) || "create" in e || refName(e.target ?? "$subject") !== "subject")
+                continue;
+            for (const [field, v] of Object.entries(e.set ?? {})) {
+                if ((typeof v === "string" && refName(v) === undefined) || typeof v === "number" || typeof v === "boolean")
+                    sets[field] = typeof v === "string" && v.startsWith("$$") ? v.slice(1) : v;
+                else
+                    delete sets[field];
+            }
+        }
         /*
          * Twice is once when nothing is made and every value set is given
          * (a literal or an argument), never computed from what is there.
@@ -563,7 +632,10 @@ export function compileDocumentWithoutCheck(raw, options = {}) {
             ...(creates.length > 0 ? { creates } : {}),
             ...(connects.length > 0 ? { connects } : {}),
             ...(severs.length > 0 ? { severs } : {}),
-            ...(writes.length > 0 ? { writes } : {}),
+            // Said even when empty (FR-110): a document act's writes are read off it, so nothing guesses them from its arguments' names.
+            writes,
+            ...(Object.keys(writesOther).length > 0 ? { writesOther } : {}),
+            ...(Object.keys(sets).length > 0 ? { sets } : {}),
             describe: (input, graph) => {
                 const subject = typeof input[SUBJECT_ARG] === "string" ? graph.getNode(input[SUBJECT_ARG]) : undefined;
                 const what = subject ? labelFor(subject) : Object.values(input).find((v) => typeof v === "string");
@@ -678,6 +750,18 @@ export function compileDocumentWithoutCheck(raw, options = {}) {
                             throw new Refused(`there is no record "${id}"`);
                         context.removeNode(id);
                     }
+                    else if ("replace" in effect && subject) {
+                        // The subject's links of each relation, at its own end, severed — all but the one being made (FR-115).
+                        const kept = input["to"];
+                        for (const relation of effect.replace) {
+                            const fromSubject = edges.get(relation)?.from.includes(subject.kind) ?? true;
+                            for (const other of fromSubject ? graph.out(subject.id, relation) : graph.in(subject.id, relation)) {
+                                if (relation === effect.keep && other.id === kept)
+                                    continue;
+                                context.removeEdge(fromSubject ? { kind: relation, from: subject.id, to: other.id } : { kind: relation, from: other.id, to: subject.id });
+                            }
+                        }
+                    }
                 }
             },
         }));
@@ -829,7 +913,7 @@ export function inDocumentWords(finding, where, document) {
     const first = Object.keys(spec.fields).filter((field) => field !== "label").slice(0, 3);
     return { ...finding, path: `kinds.${kind}.glance`, fix: `Say which: "glance": [${first.map((field) => `"${field}"`).join(", ")}] on kinds.${kind} — the facts a person compares one by, at a glance.` };
 }
-export { Refused as ActRefusal };
+export { ActRefusal };
 /** Every `renamedFrom` that names nothing in the version before: the values it was meant to carry would be lost. */
 function renamesFromNothing(document, previous) {
     const out = [];