@voltro/cli 0.50.0 → 0.51.0

package/dist/{checkCommand-OL41BMIb.js → checkCommand-CWcnDArJ.js}

@@ -1,2 +1,2 @@
-import { n as e, r as t, t as n } from "./checkCommand-Do3SQbLx.js";
+import { n as e, r as t, t as n } from "./checkCommand-DNuPiWMc.js";
 export { n as offlineManifest, e as runCheckCommand, t as toInput };

package/dist/{checkCommand-Do3SQbLx.js → checkCommand-DNuPiWMc.js}

@@ -1,19 +1,20 @@
 import { t as e } from "./cliArgs-D4p8n7EE.js";
 import { a as t, l as n } from "./codegen-CrMXs4hb.js";
-import { r } from "./appGraph-KGDPTuTy.js";
+import { r } from "./appGraph-yRuKjOba.js";
 import { n as i } from "./cliOutput-D1tSBoRM.js";
 import { n as a, o, r as s, t as c } from "./inspectFetch-EMuhTG_9.js";
 import { r as l } from "./fileTaxonomy-CJfgOllU.js";
-import { S as u } from "./doctorCommand-y-EbP8st.js";
+import { S as u } from "./doctorCommand-nKmeW78u.js";
 import { resolve as d } from "node:path";
 import { readdirSync as f, statSync as p } from "node:fs";
+import { isReactivityChannelKey as m } from "@voltro/protocol";
 //#region src/observedDiff.ts
-var m = (e) => e === void 0 ? [] : typeof e == "string" ? [e] : e, h = /* @__PURE__ */ new Set([
-	"insert",
-	"update",
-	"delete",
-	"upsert"
-]), g = (e, t) => {
+var h = (e) => (e === void 0 ? [] : typeof e == "string" ? [e] : e).filter((e) => !m(e)), g = {
+	insert: ["insert"],
+	update: ["update"],
+	delete: ["delete"],
+	upsert: ["insert", "update"]
+}, _ = (e) => e !== "read", v = (e, t) => `{ table: '${e}', op: '${t}' }`, y = (e, t) => {
 	let n = [], r = new Set(t.exercised), i = /* @__PURE__ */ new Map();
 	for (let e of t.edges) {
 		let t = i.get(e.tag);
@@ -25,24 +26,32 @@ var m = (e) => e === void 0 ? [] : typeof e == "string" ? [e] : e, h = /* @__PUR
 			a.push(t.tag);
 			continue;
 		}
-		let e = `${t.kind}(${t.tag})`, s = t.file, c = i.get(t.tag) ?? [], l = new Set(m(t.source)), u = new Map((t.targets ?? []).map((e) => [e.table, e.op]));
-		for (let t of c) if (h.has(t.op)) {
-			let r = u.get(t.table);
-			r === void 0 ? n.push({
+		let e = `${t.kind}(${t.tag})`, s = t.file, c = i.get(t.tag) ?? [], l = new Set(h(t.source)), u = /* @__PURE__ */ new Map();
+		for (let e of t.targets ?? []) {
+			let t = u.get(e.table) ?? /* @__PURE__ */ new Set();
+			t.add(e.op), u.set(e.table, t);
+		}
+		for (let t of c) if (_(t.op)) {
+			let r = g[t.op], i = u.get(t.table);
+			if (i === void 0) n.push({
 				rule: "observed/undeclared-write",
 				node: e,
 				...s === void 0 ? {} : { file: s },
 				breaks: [`writes '${t.table}' (${t.op}) but declares no target for it`, "subscriptions on that table are not invalidated by this mutation"],
-				fix: `add { table: '${t.table}', op: '${t.op}' } to this procedure's targets`,
-				severity: "warn"
-			}) : r !== t.op && n.push({
-				rule: "observed/wrong-op",
-				node: e,
-				...s === void 0 ? {} : { file: s },
-				breaks: [`declares op '${r}' on '${t.table}' but performed '${t.op}'`, "the synthesized optimistic patch has the wrong shape"],
-				fix: `change the target op for '${t.table}' to '${t.op}'`,
+				fix: `add ${r.map((e) => v(t.table, e)).join(" and ")} to this procedure's targets`,
 				severity: "warn"
 			});
+			else {
+				let a = r.filter((e) => !i.has(e));
+				a.length > 0 && n.push({
+					rule: "observed/wrong-op",
+					node: e,
+					...s === void 0 ? {} : { file: s },
+					breaks: [`declares ${[...i].map((e) => `'${e}'`).join(" + ")} on '${t.table}' but performed '${t.op}'`, "the synthesized optimistic patch has the wrong shape"],
+					fix: r.length > 1 ? `an upsert is both halves — declare ${r.map((e) => v(t.table, e)).join(" and ")}` : `change the target op for '${t.table}' to '${a[0]}'`,
+					severity: "warn"
+				});
+			}
 		} else !l.has(t.table) && !u.has(t.table) && n.push({
 			rule: "observed/undeclared-read",
 			node: e,
@@ -82,7 +91,7 @@ var m = (e) => e === void 0 ? [] : typeof e == "string" ? [e] : e, h = /* @__PUR
 			total: e.length
 		}
 	};
-}, _ = (e, n = [], r = 0) => {
+}, b = (e, n = [], r = 0) => {
 	if (r > 12) return n;
 	let i;
 	try {
@@ -106,24 +115,24 @@ var m = (e) => e === void 0 ? [] : typeof e == "string" ? [e] : e, h = /* @__PUR
 		} catch {
 			continue;
 		}
-		o.isDirectory() ? _(i, n, r + 1) : o.isFile() && t.test(a) && n.push(i);
+		o.isDirectory() ? b(i, n, r + 1) : o.isFile() && t.test(a) && n.push(i);
 	}
 	return n;
-}, v = /* @__PURE__ */ new Set(["actors", "tenants"]), y = async (e) => {
+}, x = /* @__PURE__ */ new Set(["actors", "tenants"]), S = async (e) => {
 	try {
 		let { readFile: t } = await import("node:fs/promises"), { join: n } = await import("node:path"), r = await t(n(e, "app.graph.observed.generated.json"), "utf8"), i = JSON.parse(r);
 		return i?.version !== 1 || !Array.isArray(i.edges) || !Array.isArray(i.exercised) ? null : i;
 	} catch {
 		return null;
 	}
-}, b = (e) => {
+}, C = (e) => {
 	let { exercised: t, total: n } = e.coverage, r = `\nobserved: ${t}/${n} procedures exercised (${n === 0 ? 0 : Math.round(t / n * 100)}%)`;
 	if (e.diagnostics.length === 0) return `${r}\n  no declared/observed mismatches${e.unexercised.length > 0 ? `\n  ${e.unexercised.length} unexercised — no recording, so nothing is claimed about them` : ""}`;
 	let i = e.diagnostics.map((e) => `  ${e.node}${e.file === void 0 ? "" : ` (${e.file})`}\n` + e.breaks.map((e) => `    ${e}`).join("\n") + `\n    fix: ${e.fix}`), a = e.unexercised.length > 0 ? `\n  ${e.unexercised.length} unexercised — no recording, so nothing is claimed about them` : "";
 	return `${r}\n${i.join("\n")}${a}`;
-}, x = (e, t) => ({
+}, w = (e, t) => ({
 	tables: (t.tables ?? []).map((e) => e.name),
-	frameworkOwnedTables: (t.tables ?? []).filter((e) => e.framework === !0 || e.name.startsWith("_voltro_") || v.has(e.name)).map((e) => e.name),
+	frameworkOwnedTables: (t.tables ?? []).filter((e) => e.framework === !0 || e.name.startsWith("_voltro_") || x.has(e.name)).map((e) => e.name),
 	scopes: e.scopes ?? [],
 	procedures: (e.procedures ?? []).map((e) => {
 		let t = (e.guards ?? []).flatMap((e) => e.kind === "scope" ? e.scope ?? [] : []), n = (e.guards ?? []).find((e) => e.kind === "open")?.reason;
@@ -134,14 +143,15 @@ var m = (e) => e === void 0 ? [] : typeof e == "string" ? [e] : e, h = /* @__PUR
 			...e.targets === void 0 ? {} : { targets: e.targets },
 			...t.length > 0 ? { requiresScopes: [...new Set(t)] } : {},
 			...e.guards === void 0 ? {} : { hasGuards: e.guards.some((e) => e.kind !== "open") },
-			...n === void 0 ? {} : { openAccess: n }
+			...n === void 0 ? {} : { openAccess: n },
+			...e.internal === !0 ? { internal: !0 } : {}
 		};
 	})
-}), S = (e) => e.length === 0 ? "✓ voltro check: no issues" : e.map((e) => {
+}), T = (e) => e.length === 0 ? "✓ voltro check: no issues" : e.map((e) => {
 	let t = e.severity === "error" ? "✗ error" : "⚠ warn", n = e.file ? ` (${e.file})` : "";
 	return `${t}  ${e.rule}  ${e.node}${n}\n    ${e.breaks.join("; ")}\n    fix: ${e.fix}`;
-}).join("\n"), C = async (e) => {
-	let { walk: t, loadDiscovered: n, loadApiConfig: r } = await import("./dev-BWwE0QjK.js"), { buildRpcEntry: i } = await import("./manifestBuild-j0n109tt.js"), { buildCapabilityManifest: a } = await import("./inspect-DUze25t0.js"), { relative: o } = await import("node:path"), s = await n(await t(e)), c = (t, n, r) => i(t, n, o(e, r)), l = [
+}).join("\n"), E = async (e) => {
+	let { walk: t, loadDiscovered: n, loadApiConfig: r } = await import("./dev-CK522MV5.js"), { buildRpcEntry: i } = await import("./manifestBuild-CPjhvM62.js"), { buildCapabilityManifest: a } = await import("./inspect-CuGDYES0.js"), { relative: o } = await import("node:path"), s = await n(await t(e)), c = (t, n, r) => i(t, n, o(e, r)), l = [
 		...s.queries.map((e) => c(e.descriptor, "query", e.file)),
 		...s.mutations.map((e) => c(e.descriptor, "mutation", e.file)),
 		...s.actions.map((e) => c(e.descriptor, "action", e.file)),
@@ -157,31 +167,31 @@ var m = (e) => e === void 0 ? [] : typeof e == "string" ? [e] : e, h = /* @__PUR
 		})), [], m),
 		tables: { tables: p }
 	};
-}, w = async (t) => {
+}, D = async (t) => {
 	let f = t.flatMap((e) => e === "--json" ? ["--format", "json"] : [e]), p = a(f);
 	if ("error" in p) return console.error(`voltro check: ${p.error}`), 1;
-	let { process: m, target: h, rest: v } = s(p.rest), w;
-	for (let e = 0; e < v.length; e++) if (v[e] === "--diff") {
-		let [t, n] = (v[++e] ?? "").split(":");
-		if (t === "removeTable" && n) w = {
+	let { process: m, target: h, rest: g } = s(p.rest), _;
+	for (let e = 0; e < g.length; e++) if (g[e] === "--diff") {
+		let [t, n] = (g[++e] ?? "").split(":");
+		if (t === "removeTable" && n) _ = {
 			kind: "removeTable",
 			name: n
 		};
-		else if (t === "removeProcedure" && n) w = {
+		else if (t === "removeProcedure" && n) _ = {
 			kind: "removeProcedure",
 			tag: n
 		};
-		else if (t === "removeScope" && n) w = {
+		else if (t === "removeScope" && n) _ = {
 			kind: "removeScope",
 			name: n
 		};
 		else return console.error("voltro check --diff: expected removeTable:<name> | removeProcedure:<tag> | removeScope:<name>"), 1;
 	}
-	let T = e(v, ["--diff"]) ?? process.cwd(), E = v.includes("--offline"), D = E ? [] : await o(m, h), O, k;
+	let v = e(g, ["--diff"]) ?? process.cwd(), x = g.includes("--offline"), D = x ? [] : await o(m, h), O, k;
 	if (D.length === 0) {
-		if (!E && h !== void 0) return console.error("voltro check: --url given but no api reachable there."), 1;
+		if (!x && h !== void 0) return console.error("voltro check: --url given but no api reachable there."), 1;
 		try {
-			let e = await C(d(T));
+			let e = await E(d(v));
 			O = e.manifest, k = e.tables;
 		} catch (e) {
 			return console.error(`voltro check: could not assemble the graph from source: ${e.message}`), console.error("  Start `voltro dev` to check against a running api instead."), 1;
@@ -191,21 +201,21 @@ var m = (e) => e === void 0 ? [] : typeof e == "string" ? [e] : e, h = /* @__PUR
 		if (t.kind === "err") return console.error(`voltro check: manifest fetch failed: ${t.error}`), 1;
 		O = t.data, k = n.kind === "ok" ? n.data : { tables: [] };
 	}
-	let A = x(O, k), j = r(A, w), M = [...l(T).findings.map((e) => ({
+	let A = w(O, k), j = r(A, _), M = [...l(v).findings.map((e) => ({
 		rule: e.rule,
 		node: e.file,
 		file: e.file,
 		breaks: [e.detail],
 		fix: e.fix,
 		severity: e.severity
-	})), ...u(T).map((e) => ({
+	})), ...u(v).map((e) => ({
 		rule: `page/${e.kind}`,
 		node: e.file,
 		file: e.file,
 		breaks: [e.kind === "suffixed-outside-pages" ? "a page.tsx outside src/pages/ never routes" : "no test beside it"],
 		fix: e.kind === "suffixed-outside-pages" ? "move it under src/pages/ into the directory whose route it serves, or rename it — page.tsx is reserved" : "write the test with the file — the name is derivable",
 		severity: e.kind === "suffixed-outside-pages" ? "error" : "warn"
-	}))], N = (await n(T, _(T))).map((e) => ({
+	}))], N = (await n(v, b(v))).map((e) => ({
 		rule: "client/not-browser-safe",
 		node: e.file,
 		file: e.file,
@@ -216,7 +226,7 @@ var m = (e) => e === void 0 ? [] : typeof e == "string" ? [e] : e, h = /* @__PUR
 		...j.diagnostics,
 		...M,
 		...N
-	], F = j.ok && !M.some((e) => e.severity === "error") && N.length === 0, I = await y(d(T)), L = I === null ? null : g(A.procedures, I);
+	], F = j.ok && !M.some((e) => e.severity === "error") && N.length === 0, I = await S(d(v)), L = I === null ? null : y(A.procedures, I);
 	return p.format === "json" ? i(L === null ? {
 		...j,
 		ok: F,
@@ -226,7 +236,7 @@ var m = (e) => e === void 0 ? [] : typeof e == "string" ? [e] : e, h = /* @__PUR
 		ok: F,
 		diagnostics: P,
 		observed: L
-	}) : (console.log(S(P)), L !== null && console.log(b(L)), console.log(F ? "\nvoltro check: OK" : "\nvoltro check: FAILED (errors above)")), +!F;
+	}) : (console.log(T(P)), L !== null && console.log(C(L)), console.log(F ? "\nvoltro check: OK" : "\nvoltro check: FAILED (errors above)")), +!F;
 };
 //#endregion
-export { w as n, x as r, C as t };
+export { D as n, w as r, E as t };

package/dist/{codegenCommand-BJzaRz6q.js → codegenCommand-BNBHcNNj.js}

@@ -1,5 +1,5 @@
-import { B as e, Sn as t, l as n, u as r, xn as i } from "./dev-1yu42ubu.js";
-import { dt as a } from "./webDev-B4IEMB0n.js";
+import { B as e, Sn as t, l as n, u as r, xn as i } from "./dev-kdAg9Q7l.js";
+import { ft as a } from "./webDev-B-ubQEMX.js";
 import { n as o } from "./frameworkTableAssembly-BwJVEKLr.js";
 import { i as s, r as c } from "./codegen-CrMXs4hb.js";
 import { basename as l, join as u, relative as d, resolve as f } from "node:path";