@substrat-run/contracts 0.127.0 → 0.129.0

package/dist/sql-tokens.js

@@ -0,0 +1,150 @@
+/**
+ * One SQL scanner, for every place that has to read a table name out of SQL text it did not
+ * write: the spine write guard (`assertNoSpineWrite`, #954), a dump's replay check
+ * (`assertReplayableDump`, #1898), and the CLI's foreign-key ordering of a dump. The CLI's
+ * was a regex wanting whitespace after `REFERENCES`, so a comment there, which SQLite reads as
+ * whitespace, hid the table from it.
+ *
+ * The scan tokenises OUTSIDE comments and string literals but KEEPS quoted identifiers as
+ * tokens — `INSERT INTO "_substrat_tuples"` is the first thing anyone tries, and a scanner
+ * that skips quotes hands it through. Dotted names (`main._substrat_tuples`) merge into one
+ * token.
+ */
+/**
+ * The platform spine's table prefix — the same one `isSystemTable` groups on, the one the
+ * spine guard protects, and the one a restore builds from the kernel's DDL (`isSpineTable`,
+ * #1883). Compared lowercased: SQLite matches table names without regard to case, so
+ * `_SUBSTRAT_TUPLES` is the tuples table.
+ */
+export const SPINE_PREFIX = '_substrat';
+/** The statement text as identifier and keyword tokens, comments and whitespace dropped. */
+export function tokenizeSql(sql) {
+    const tokens = [];
+    const n = sql.length;
+    let i = 0;
+    // Set when the previous token ended on a `.`, so `main . tbl` folds into one name.
+    let continues = false;
+    const push = (text, quoted) => {
+        const prev = tokens[tokens.length - 1];
+        if (continues && prev) {
+            tokens[tokens.length - 1] = { text: `${prev.text}.${text}`, quoted: prev.quoted || quoted };
+        }
+        else {
+            tokens.push({ text, quoted });
+        }
+        // Look ahead for the dot that joins this name to the next part. SQLite treats a
+        // COMMENT as whitespace, so `main /* … */ . _substrat_tuples` is one qualified
+        // name — skipping only spaces here would record `main` as the target and miss it.
+        let j = i;
+        for (;;) {
+            if (j < n && /\s/.test(sql[j])) {
+                j += 1;
+                continue;
+            }
+            if (sql[j] === '-' && sql[j + 1] === '-') {
+                while (j < n && sql[j] !== '\n')
+                    j += 1;
+                continue;
+            }
+            if (sql[j] === '/' && sql[j + 1] === '*') {
+                j += 2;
+                while (j < n && !(sql[j] === '*' && sql[j + 1] === '/'))
+                    j += 1;
+                j += 2;
+                continue;
+            }
+            break;
+        }
+        if (sql[j] === '.') {
+            continues = true;
+            i = j + 1;
+        }
+        else {
+            continues = false;
+        }
+    };
+    while (i < n) {
+        const c = sql[i];
+        const c2 = sql[i + 1];
+        if (c === '-' && c2 === '-') {
+            while (i < n && sql[i] !== '\n')
+                i += 1;
+            continue;
+        }
+        if (c === '/' && c2 === '*') {
+            i += 2;
+            while (i < n && !(sql[i] === '*' && sql[i + 1] === '/'))
+                i += 1;
+            i += 2;
+            continue;
+        }
+        if (c === "'" || c === '"' || c === '`') {
+            // A quoted identifier, or a string literal SQLite would still accept as one
+            // in a table position. The closing quote doubles to escape itself.
+            i += 1;
+            let text = '';
+            while (i < n) {
+                if (sql[i] === c) {
+                    if (sql[i + 1] === c) {
+                        text += c;
+                        i += 2;
+                        continue;
+                    }
+                    i += 1;
+                    break;
+                }
+                text += sql[i];
+                i += 1;
+            }
+            push(text, true);
+            continue;
+        }
+        if (c === '[') {
+            i += 1;
+            let text = '';
+            while (i < n && sql[i] !== ']') {
+                text += sql[i];
+                i += 1;
+            }
+            i += 1;
+            push(text, true);
+            continue;
+        }
+        if (/[A-Za-z_]/.test(c)) {
+            let j = i;
+            while (j < n && /[A-Za-z0-9_$]/.test(sql[j]))
+                j += 1;
+            const text = sql.slice(i, j);
+            i = j;
+            push(text, false);
+            continue;
+        }
+        // Whitespace does not break a dotted name (`main . tbl` is one); anything else does.
+        if (!/\s/.test(c))
+            continues = false;
+        i += 1;
+    }
+    return tokens;
+}
+/** True when any part of a (possibly dotted, possibly quoted) name is a spine table. */
+export function namesSpineTable(name) {
+    return name.split('.').some((part) => part.toLowerCase().startsWith(SPINE_PREFIX));
+}
+/**
+ * The tables a statement's `REFERENCES` clauses name, in order, unquoted and as spelled.
+ * A `REFERENCES` that is itself quoted (a column called "references") is not a keyword.
+ */
+export function referencedTables(sql) {
+    return referencedTablesIn(tokenizeSql(sql));
+}
+/** `referencedTables` over a statement already tokenized, for a caller that scans it anyway. */
+export function referencedTablesIn(tokens) {
+    const out = [];
+    for (let i = 0; i < tokens.length - 1; i += 1) {
+        const token = tokens[i];
+        if (!token.quoted && token.text.toLowerCase() === 'references')
+            out.push(tokens[i + 1].text);
+    }
+    return out;
+}
+//# sourceMappingURL=sql-tokens.js.map

package/dist/sql-tokens.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sql-tokens.js","sourceRoot":"","sources":["../src/sql-tokens.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,WAAW,CAAC;AASxC,4FAA4F;AAC5F,MAAM,UAAU,WAAW,CAAC,GAAW;IACrC,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;IACrB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,mFAAmF;IACnF,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,MAAe,EAAQ,EAAE;QACnD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACvC,IAAI,SAAS,IAAI,IAAI,EAAE,CAAC;YACtB,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,MAAM,EAAE,CAAC;QAC9F,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAChC,CAAC;QACD,gFAAgF;QAChF,+EAA+E;QAC/E,kFAAkF;QAClF,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,SAAS,CAAC;YACR,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;gBAChC,CAAC,IAAI,CAAC,CAAC;gBACP,SAAS;YACX,CAAC;YACD,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACzC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI;oBAAE,CAAC,IAAI,CAAC,CAAC;gBACxC,SAAS;YACX,CAAC;YACD,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACzC,CAAC,IAAI,CAAC,CAAC;gBACP,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC;oBAAE,CAAC,IAAI,CAAC,CAAC;gBAChE,CAAC,IAAI,CAAC,CAAC;gBACP,SAAS;YACX,CAAC;YACD,MAAM;QACR,CAAC;QACD,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACnB,SAAS,GAAG,IAAI,CAAC;YACjB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACZ,CAAC;aAAM,CAAC;YACN,SAAS,GAAG,KAAK,CAAC;QACpB,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;QAClB,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,CAAC,IAAI,CAAC,CAAC;YACxC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC5B,CAAC,IAAI,CAAC,CAAC;YACP,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC;gBAAE,CAAC,IAAI,CAAC,CAAC;YAChE,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACxC,4EAA4E;YAC5E,mEAAmE;YACnE,CAAC,IAAI,CAAC,CAAC;YACP,IAAI,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBACb,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBACjB,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;wBACrB,IAAI,IAAI,CAAC,CAAC;wBACV,CAAC,IAAI,CAAC,CAAC;wBACP,SAAS;oBACX,CAAC;oBACD,CAAC,IAAI,CAAC,CAAC;oBACP,MAAM;gBACR,CAAC;gBACD,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;gBACf,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;YACD,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,CAAC,IAAI,CAAC,CAAC;YACP,IAAI,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC/B,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;gBACf,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;YACD,CAAC,IAAI,CAAC,CAAC;YACP,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,OAAO,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;gBAAE,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7B,CAAC,GAAG,CAAC,CAAC;YACN,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,qFAAqF;QACrF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,SAAS,GAAG,KAAK,CAAC;QACrC,CAAC,IAAI,CAAC,CAAC;IACT,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;AACrF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAW;IAC1C,OAAO,kBAAkB,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,kBAAkB,CAAC,MAA2B;IAC5D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACzB,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,YAAY;YAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC;IAChG,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@substrat-run/contracts",
-  "version": "0.127.0",
+  "version": "0.129.0",
   "description": "Substrat kernel contract schemas — Zod is the source of truth (master plan D-22); OAS/JSON Schema are emitted artifacts",
   "license": "Apache-2.0",
   "repository": {
@@ -16,6 +16,10 @@
     ".": {
       "types": "./dist/index.d.ts",
       "default": "./dist/index.js"
+    },
+    "./invocation-record": {
+      "types": "./dist/invocation-record.d.ts",
+      "default": "./dist/invocation-record.js"
     }
   },
   "files": [