things-api 0.9.0 → 0.11.0

package/dist/write/accessibility-probe.js

@@ -0,0 +1,71 @@
+/**
+ * Active Accessibility-consent probe for the ui vector: ask System Events for
+ * one element of the Things process's UI tree and classify the outcome. This
+ * is a DIFFERENT permission from Automation (which automation-probe.ts covers)
+ * — driving the Accessibility tree needs the process running things-api to
+ * hold Accessibility (System Settings ▸ Privacy & Security ▸ Accessibility).
+ *
+ * OPT-IN, exactly like the Automation probe: the query itself is a
+ * consent-requiring call, so on an ungranted machine it makes macOS show the
+ * Accessibility prompt. Skipped when Things is not running so a diagnostic
+ * never launches the app. The probe doubles as a light recipe canary: it
+ * resolves the "Items" menu every recipe enters through, so a missing menu
+ * (a Things update, or a non-English app) surfaces here too.
+ */
+import { execFileSync } from "node:child_process";
+import { isThingsRunning } from "./automation-probe.js";
+import { simFenceActive } from "./vectors/simulator.js";
+// Resolve the "Items" menu — the entry point of every ui recipe. Returns
+// "true"/"false"; a permission failure throws before it can answer.
+const PROBE_SCRIPT = 'tell application "System Events" to tell process "Things3" to return (exists menu "Items" of menu bar 1)';
+function defaultRun(script, timeoutMs) {
+    return execFileSync("osascript", ["-e", script], { encoding: "utf8", timeout: timeoutMs });
+}
+export function probeAccessibility(deps = {}) {
+    if (simFenceActive()) {
+        return {
+            status: "simulated",
+            detail: "the simulator fence is active — the Accessibility probe was skipped so a bench run never " +
+                "queries the app's UI tree.",
+        };
+    }
+    if (!(deps.isAppRunning ?? isThingsRunning)()) {
+        return {
+            status: "app-not-running",
+            detail: "Things is not running — the probe was skipped so a diagnostic never launches the " +
+                "app. Launch Things and re-run with --probe-accessibility.",
+        };
+    }
+    try {
+        const out = (deps.run ?? defaultRun)(PROBE_SCRIPT, deps.timeoutMs ?? 8000).trim();
+        if (out === "true") {
+            return {
+                status: "granted",
+                detail: "Accessibility is granted and the Things 'Items' menu resolves.",
+            };
+        }
+        return {
+            status: "menu-missing",
+            detail: "Accessibility appears granted but the 'Items' menu did not resolve — a Things update " +
+                "may have changed the menu, or the app may not be in English. The ui recipes would " +
+                "refuse (fail-closed) until re-certified.",
+        };
+    }
+    catch (err) {
+        const e = err;
+        const stderr = typeof e.stderr === "string" ? e.stderr : err instanceof Error ? err.message : String(err);
+        if (/-25211|-1719|not allowed assistive access|accessibility/i.test(stderr)) {
+            return {
+                status: "denied",
+                detail: "macOS declined the Accessibility query: the process running things-api is not granted " +
+                    "Accessibility. Grant it under System Settings > Privacy & Security > Accessibility " +
+                    "(see docs/setup.md for the closet-mini setup).",
+            };
+        }
+        return {
+            status: "inconclusive",
+            detail: `the probe failed for another reason: ${stderr.trim() || "unknown error"}`,
+        };
+    }
+}
+//# sourceMappingURL=accessibility-probe.js.map

package/dist/write/accessibility-probe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"accessibility-probe.js","sourceRoot":"","sources":["../../src/write/accessibility-probe.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAsBxD,yEAAyE;AACzE,oEAAoE;AACpE,MAAM,YAAY,GAChB,0GAA0G,CAAC;AAE7G,SAAS,UAAU,CAAC,MAAc,EAAE,SAAiB;IACnD,OAAO,YAAY,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;AAC7F,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAA+B,EAAE;IAClE,IAAI,cAAc,EAAE,EAAE,CAAC;QACrB,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,MAAM,EACJ,2FAA2F;gBAC3F,4BAA4B;SAC/B,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,IAAI,eAAe,CAAC,EAAE,EAAE,CAAC;QAC9C,OAAO;YACL,MAAM,EAAE,iBAAiB;YACzB,MAAM,EACJ,mFAAmF;gBACnF,2DAA2D;SAC9D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAClF,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;YACnB,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,gEAAgE;aACzE,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,MAAM,EACJ,uFAAuF;gBACvF,oFAAoF;gBACpF,0CAA0C;SAC7C,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,GAAG,GAA2B,CAAC;QACtC,MAAM,MAAM,GACV,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC7F,IAAI,0DAA0D,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5E,OAAO;gBACL,MAAM,EAAE,QAAQ;gBAChB,MAAM,EACJ,wFAAwF;oBACxF,qFAAqF;oBACrF,gDAAgD;aACnD,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,MAAM,EAAE,wCAAwC,MAAM,CAAC,IAAI,EAAE,IAAI,eAAe,EAAE;SACnF,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/write/automation-probe.d.ts

@@ -1,4 +1,4 @@
-export type AutomationProbeStatus = "granted" | "denied" | "pending" | "app-not-running" | "inconclusive";
+export type AutomationProbeStatus = "granted" | "denied" | "pending" | "app-not-running" | "inconclusive" | "simulated";
 export interface AutomationProbeResult {
     status: AutomationProbeStatus;
     detail: string;
@@ -9,4 +9,11 @@ export interface AutomationProbeDeps {
     run?: (script: string, timeoutMs: number) => string;
     timeoutMs?: number;
 }
+/**
+ * Is the Things app process present? No app = a frozen database (there is no
+ * background sync daemon). The single stable process-check shape in this
+ * binary — reused by the sync-health section so macOS never sees a second
+ * command shape.
+ */
+export declare function isThingsRunning(): boolean;
 export declare function probeAutomation(deps?: AutomationProbeDeps): AutomationProbeResult;

package/dist/write/automation-probe.js

@@ -8,8 +8,15 @@
  */
 import { execFileSync } from "node:child_process";
 import { automationGrantee } from "./failure-hints.js";
+import { simFenceActive } from "./vectors/simulator.js";
 const PROBE_SCRIPT = 'tell application "Things3" to count of areas';
-function defaultIsAppRunning() {
+/**
+ * Is the Things app process present? No app = a frozen database (there is no
+ * background sync daemon). The single stable process-check shape in this
+ * binary — reused by the sync-health section so macOS never sees a second
+ * command shape.
+ */
+export function isThingsRunning() {
     try {
         execFileSync("pgrep", ["-x", "Things3"], { stdio: "ignore" });
         return true;
@@ -18,10 +25,18 @@ function defaultIsAppRunning() {
         return false;
     }
 }
+const defaultIsAppRunning = isThingsRunning;
 function defaultRun(script, timeoutMs) {
     return execFileSync("osascript", ["-e", script], { encoding: "utf8", timeout: timeoutMs });
 }
 export function probeAutomation(deps = {}) {
+    if (simFenceActive()) {
+        return {
+            status: "simulated",
+            detail: "the simulator fence is active — the Automation probe was skipped so a bench run never " +
+                "sends an Apple Event to the app.",
+        };
+    }
     if (!(deps.isAppRunning ?? defaultIsAppRunning)()) {
         return {
             status: "app-not-running",

package/dist/write/automation-probe.js.map

@@ -1 +1 @@
-{"version":3,"file":"automation-probe.js","sourceRoot":"","sources":["../../src/write/automation-probe.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAqBvD,MAAM,YAAY,GAAG,8CAA8C,CAAC;AAEpE,SAAS,mBAAmB;IAC1B,IAAI,CAAC;QACH,YAAY,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,MAAc,EAAE,SAAiB;IACnD,OAAO,YAAY,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;AAC7F,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,OAA4B,EAAE;IAC5D,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,IAAI,mBAAmB,CAAC,EAAE,EAAE,CAAC;QAClD,OAAO;YACL,MAAM,EAAE,iBAAiB;YACzB,MAAM,EACJ,mFAAmF;gBACnF,gCAAgC;SACnC,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,CAAC,IAAI,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC;QAC/D,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,sDAAsD,EAAE,CAAC;IAC/F,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,GAAG,GAAqE,CAAC;QAChF,MAAM,MAAM,GACV,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC7F,0EAA0E;QAC1E,0EAA0E;QAC1E,mEAAmE;QACnE,mEAAmE;QACnE,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACzF,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,MAAM,EACJ,4EAA4E;oBAC5E,iDAAiD,iBAAiB,EAAE,aAAa;oBACjF,4EAA4E;oBAC5E,gFAAgF;oBAChF,kCAAkC;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,+CAA+C,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACjE,OAAO;gBACL,MAAM,EAAE,QAAQ;gBAChB,MAAM,EACJ,qEAAqE,iBAAiB,EAAE,GAAG;oBAC3F,kFAAkF;oBAClF,uDAAuD;aAC1D,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,MAAM,EAAE,wCAAwC,MAAM,CAAC,IAAI,EAAE,IAAI,eAAe,EAAE;SACnF,CAAC;IACJ,CAAC;AACH,CAAC"}
+{"version":3,"file":"automation-probe.js","sourceRoot":"","sources":["../../src/write/automation-probe.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAsBxD,MAAM,YAAY,GAAG,8CAA8C,CAAC;AAEpE;;;;;GAKG;AACH,MAAM,UAAU,eAAe;IAC7B,IAAI,CAAC;QACH,YAAY,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,MAAM,mBAAmB,GAAG,eAAe,CAAC;AAE5C,SAAS,UAAU,CAAC,MAAc,EAAE,SAAiB;IACnD,OAAO,YAAY,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;AAC7F,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,OAA4B,EAAE;IAC5D,IAAI,cAAc,EAAE,EAAE,CAAC;QACrB,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,MAAM,EACJ,wFAAwF;gBACxF,kCAAkC;SACrC,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,IAAI,mBAAmB,CAAC,EAAE,EAAE,CAAC;QAClD,OAAO;YACL,MAAM,EAAE,iBAAiB;YACzB,MAAM,EACJ,mFAAmF;gBACnF,gCAAgC;SACnC,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,CAAC,IAAI,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC;QAC/D,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,sDAAsD,EAAE,CAAC;IAC/F,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,GAAG,GAAqE,CAAC;QAChF,MAAM,MAAM,GACV,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC7F,0EAA0E;QAC1E,0EAA0E;QAC1E,mEAAmE;QACnE,mEAAmE;QACnE,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACzF,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,MAAM,EACJ,4EAA4E;oBAC5E,iDAAiD,iBAAiB,EAAE,aAAa;oBACjF,4EAA4E;oBAC5E,gFAAgF;oBAChF,kCAAkC;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,+CAA+C,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACjE,OAAO;gBACL,MAAM,EAAE,QAAQ;gBAChB,MAAM,EACJ,qEAAqE,iBAAiB,EAAE,GAAG;oBAC3F,kFAAkF;oBAClF,uDAAuD;aAC1D,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,MAAM,EAAE,wCAAwC,MAAM,CAAC,IAAI,EAAE,IAAI,eAAe,EAAE;SACnF,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/write/batch.js

@@ -74,8 +74,11 @@ export async function runBatch(deps, ops, options = {}, onResult) {
                 // the runtime validators (loud on bad shapes), same as single ops.
                 outcome =
                     entry.op === "reorder"
-                        ? await runReorder(deps, entry.params, writeOptions)
-                        : await runMutation(deps, entry.op, entry.params, writeOptions);
+                        ? // batch ops run sequentially by design: the mutation lock serializes them and create-probe verification must never race
+                            await runReorder(deps, entry.params, writeOptions)
+                        : // same sequencing requirement as the reorder branch above; batch is
+                            // a consumer entry point, so a consumer `when` normalizes to the zone
+                            await runMutation(deps, entry.op, entry.params, { ...writeOptions, normalizeWhen: true });
             }
             catch (err) {
                 // Param-shape errors (exclusive combos etc.) surface per-op, not fatally.

package/dist/write/batch.js.map

@@ -1 +1 @@
-{"version":3,"file":"batch.js","sourceRoot":"","sources":["../../src/write/batch.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,eAAe,EAA+C,MAAM,iBAAiB,CAAC;AAC/F,OAAO,EAAE,WAAW,EAAqC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,UAAU,EAAsB,MAAM,cAAc,CAAC;AAqC9D,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,eAAe,CAAC,CAAC;AAEnD,gFAAgF;AAChF,MAAM,UAAU,aAAa,CAAC,OAAyB;IACrD,OAAO,OAAO,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC;AAC7D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,IAAe,EACf,GAAc,EACd,UAAwB,EAAE,EAC1B,QAA4C;IAE5C,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,IAAI,MAAM,GAAG,KAAK,CAAC;IAEnB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAY,CAAC;QACpC,IAAI,OAAyB,CAAC;QAE9B,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,GAAG;gBACR,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC;gBACrB,MAAM,EAAE,6CAA6C;aACtD,CAAC;QACJ,CAAC;aAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;YACvF,OAAO,GAAG;gBACR,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,MAAM,CAAE,KAA0B,EAAE,EAAE,CAAC;gBAC3C,MAAM,EAAE,4BAA4B;aACrC,CAAC;QACJ,CAAC;aAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YACpC,OAAO,GAAG;gBACR,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,MAAM,EAAE,eAAe,KAAK,CAAC,EAAE,iCAAiC;aACjE,CAAC;QACJ,CAAC;aAAM,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACrE,OAAO,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,0BAA0B,EAAE,CAAC;QAClF,CAAC;aAAM,CAAC;YACN,MAAM,YAAY,GAAiB;gBACjC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,yBAAyB,KAAK,SAAS,IAAI;oBAC5D,yBAAyB,EAAE,KAAK,CAAC,OAAO,CAAC,yBAAyB;iBACnE,CAAC;gBACF,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,wBAAwB,KAAK,SAAS,IAAI;oBAC3D,wBAAwB,EAAE,KAAK,CAAC,OAAO,CAAC,wBAAwB;iBACjE,CAAC;gBACF,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,oBAAoB,KAAK,SAAS,IAAI;oBACvD,oBAAoB,EAAE,KAAK,CAAC,OAAO,CAAC,oBAAoB;iBACzD,CAAC;gBACF,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,qBAAqB,KAAK,SAAS,IAAI;oBACxD,qBAAqB,EAAE,KAAK,CAAC,OAAO,CAAC,qBAAqB;iBAC3D,CAAC;gBACF,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;gBAC5E,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,eAAe,KAAK,SAAS,IAAI;oBAClD,eAAe,EAAE,KAAK,CAAC,OAAO,CAAC,eAAe;iBAC/C,CAAC;gBACF,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,aAAa,KAAK,SAAS,IAAI;oBAChD,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa;iBAC3C,CAAC;gBACF,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;gBAChD,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;aAC7D,CAAC;YACF,IAAI,CAAC;gBACH,qEAAqE;gBACrE,mEAAmE;gBACnE,OAAO;oBACL,KAAK,CAAC,EAAE,KAAK,SAAS;wBACpB,CAAC,CAAC,MAAM,UAAU,CACd,IAAI,EACJ,KAAK,CAAC,MAAkD,EACxD,YAAY,CACb;wBACH,CAAC,CAAC,MAAM,WAAW,CACf,IAAI,EACJ,KAAK,CAAC,EAAuC,EAC7C,KAAK,CAAC,MAAe,EACrB,YAAY,CACb,CAAC;YACV,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,0EAA0E;gBAC1E,OAAO,GAAG;oBACR,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,KAAK,CAAC,EAAE;oBACZ,MAAM,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;iBACzD,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAoB,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;QAC1E,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC;QACnB,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,MAAM,IAAI,aAAa,CAAC,OAAO,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;IACpF,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}
+{"version":3,"file":"batch.js","sourceRoot":"","sources":["../../src/write/batch.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,eAAe,EAA+C,MAAM,iBAAiB,CAAC;AAC/F,OAAO,EAAE,WAAW,EAAqC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,UAAU,EAAsB,MAAM,cAAc,CAAC;AAqC9D,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,eAAe,CAAC,CAAC;AAEnD,gFAAgF;AAChF,MAAM,UAAU,aAAa,CAAC,OAAyB;IACrD,OAAO,OAAO,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC;AAC7D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,IAAe,EACf,GAAc,EACd,UAAwB,EAAE,EAC1B,QAA4C;IAE5C,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,IAAI,MAAM,GAAG,KAAK,CAAC;IAEnB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAY,CAAC;QACpC,IAAI,OAAyB,CAAC;QAE9B,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,GAAG;gBACR,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC;gBACrB,MAAM,EAAE,6CAA6C;aACtD,CAAC;QACJ,CAAC;aAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;YACvF,OAAO,GAAG;gBACR,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,MAAM,CAAE,KAA0B,EAAE,EAAE,CAAC;gBAC3C,MAAM,EAAE,4BAA4B;aACrC,CAAC;QACJ,CAAC;aAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YACpC,OAAO,GAAG;gBACR,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,MAAM,EAAE,eAAe,KAAK,CAAC,EAAE,iCAAiC;aACjE,CAAC;QACJ,CAAC;aAAM,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACrE,OAAO,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,0BAA0B,EAAE,CAAC;QAClF,CAAC;aAAM,CAAC;YACN,MAAM,YAAY,GAAiB;gBACjC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,yBAAyB,KAAK,SAAS,IAAI;oBAC5D,yBAAyB,EAAE,KAAK,CAAC,OAAO,CAAC,yBAAyB;iBACnE,CAAC;gBACF,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,wBAAwB,KAAK,SAAS,IAAI;oBAC3D,wBAAwB,EAAE,KAAK,CAAC,OAAO,CAAC,wBAAwB;iBACjE,CAAC;gBACF,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,oBAAoB,KAAK,SAAS,IAAI;oBACvD,oBAAoB,EAAE,KAAK,CAAC,OAAO,CAAC,oBAAoB;iBACzD,CAAC;gBACF,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,qBAAqB,KAAK,SAAS,IAAI;oBACxD,qBAAqB,EAAE,KAAK,CAAC,OAAO,CAAC,qBAAqB;iBAC3D,CAAC;gBACF,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;gBAC5E,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,eAAe,KAAK,SAAS,IAAI;oBAClD,eAAe,EAAE,KAAK,CAAC,OAAO,CAAC,eAAe;iBAC/C,CAAC;gBACF,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,aAAa,KAAK,SAAS,IAAI;oBAChD,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa;iBAC3C,CAAC;gBACF,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;gBAChD,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;aAC7D,CAAC;YACF,IAAI,CAAC;gBACH,qEAAqE;gBACrE,mEAAmE;gBACnE,OAAO;oBACL,KAAK,CAAC,EAAE,KAAK,SAAS;wBACpB,CAAC,CAAC,wHAAwH;4BACxH,MAAM,UAAU,CACd,IAAI,EACJ,KAAK,CAAC,MAAkD,EACxD,YAAY,CACb;wBACH,CAAC,CAAC,oEAAoE;4BACpE,sEAAsE;4BACtE,MAAM,WAAW,CACf,IAAI,EACJ,KAAK,CAAC,EAAuC,EAC7C,KAAK,CAAC,MAAe,EACrB,EAAE,GAAG,YAAY,EAAE,aAAa,EAAE,IAAI,EAAE,CACzC,CAAC;YACV,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,0EAA0E;gBAC1E,OAAO,GAAG;oBACR,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,KAAK,CAAC,EAAE;oBACZ,MAAM,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;iBACzD,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAoB,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;QAC1E,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC;QACnB,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,MAAM,IAAI,aAAa,CAAC,OAAO,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;IACpF,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/write/capabilities.d.ts

@@ -5,6 +5,7 @@
  */
 import { type OperationKind } from "./operations.ts";
 import { type ReversibilityEntry } from "./reversibility.ts";
+import { type CertificationEntry } from "./vectors/ui-certification.ts";
 import type { VectorId, VectorSupport } from "./vectors/types.ts";
 export interface CapabilityEntry {
     op: OperationKind;
@@ -15,5 +16,12 @@ export interface CapabilityEntry {
     } & (VectorSupport | {
         support: "no";
     }))[];
+    /**
+     * ui-vector ops only: the on-device certification status. `uncertified`
+     * means the GUI recipe is wired but not yet confirmed on real hardware (see
+     * docs/lab/ui-certification-runbook.md); the op still runs, but a successful
+     * drive carries a warning to that effect.
+     */
+    certification?: CertificationEntry;
 }
 export declare function capabilitiesTable(op?: OperationKind): CapabilityEntry[];

package/dist/write/capabilities.js

@@ -5,15 +5,22 @@
  */
 import { OPERATION_KINDS } from "./operations.js";
 import { REVERSIBILITY } from "./reversibility.js";
+import { certificationOf } from "./vectors/ui-certification.js";
 import { defaultVectors } from "./vectors/registry.js";
 export function capabilitiesTable(op) {
     const vectors = defaultVectors();
     const ops = op !== undefined ? [op] : [...OPERATION_KINDS];
-    return ops.map((kind) => ({
-        op: kind,
-        undo: REVERSIBILITY[kind],
-        // oxlint-disable-next-line no-map-spread -- building fresh capability rows, not mutating
-        vectors: vectors.map((v) => ({ vector: v.id, ...(v.matrix[kind] ?? { support: "no" }) })),
-    }));
+    return ops.map((kind) => {
+        const cert = certificationOf(kind);
+        const entry = {
+            op: kind,
+            undo: REVERSIBILITY[kind],
+            // oxlint-disable-next-line no-map-spread -- building fresh capability rows, not mutating
+            vectors: vectors.map((v) => ({ vector: v.id, ...(v.matrix[kind] ?? { support: "no" }) })),
+        };
+        if (cert !== undefined)
+            entry.certification = cert;
+        return entry;
+    });
 }
 //# sourceMappingURL=capabilities.js.map

package/dist/write/capabilities.js.map

@@ -1 +1 @@
-{"version":3,"file":"capabilities.js","sourceRoot":"","sources":["../../src/write/capabilities.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,eAAe,EAAsB,MAAM,iBAAiB,CAAC;AACtE,OAAO,EAAE,aAAa,EAA2B,MAAM,oBAAoB,CAAC;AAC5E,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAUvD,MAAM,UAAU,iBAAiB,CAAC,EAAkB;IAClD,MAAM,OAAO,GAAG,cAAc,EAAE,CAAC;IACjC,MAAM,GAAG,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC;IAC3D,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACxB,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC;QACzB,yFAAyF;QACzF,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;KAC1F,CAAC,CAAC,CAAC;AACN,CAAC"}
+{"version":3,"file":"capabilities.js","sourceRoot":"","sources":["../../src/write/capabilities.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,eAAe,EAAsB,MAAM,iBAAiB,CAAC;AACtE,OAAO,EAAE,aAAa,EAA2B,MAAM,oBAAoB,CAAC;AAC5E,OAAO,EAAE,eAAe,EAA2B,MAAM,+BAA+B,CAAC;AACzF,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAiBvD,MAAM,UAAU,iBAAiB,CAAC,EAAkB;IAClD,MAAM,OAAO,GAAG,cAAc,EAAE,CAAC;IACjC,MAAM,GAAG,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC;IAC3D,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACtB,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,KAAK,GAAoB;YAC7B,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC;YACzB,yFAAyF;YACzF,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;SAC1F,CAAC;QACF,IAAI,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,aAAa,GAAG,IAAI,CAAC;QACnD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/write/commands.d.ts

@@ -9,8 +9,9 @@ import { type IsoDate } from "../model/dates.ts";
 import type { HazardId } from "./guards.ts";
 import type { OperationKind, OperationParamsMap } from "./operations.ts";
 import { type PreState } from "./pre-state.ts";
+import { assertRepeatRule } from "./repeat-rule.ts";
 import type { CompiledInvocation, VectorId } from "./vectors/types.ts";
-import type { DeltaSpec } from "./verify/delta.ts";
+import { type DeltaSpec } from "./verify/delta.ts";
 export interface CompileCtx {
     token: string | null;
 }
@@ -27,6 +28,7 @@ export interface CommandSpec<K extends OperationKind = OperationKind> {
     expectedDelta(pre: PreState, params: OperationParamsMap[K], ctx: DeltaCtx): DeltaSpec;
     compile(params: OperationParamsMap[K], vector: VectorId, pre: PreState, ctx: CompileCtx): CompiledInvocation;
 }
+export { assertRepeatRule };
 export declare const COMMANDS: {
     [K in OperationKind]: CommandSpec<K>;
 };