@query-doctor/core 0.10.9 → 0.11.0

package/dist/ci/verdict.d.cts

@@ -0,0 +1,120 @@
+'use client';
+
+import { z } from "zod";
+
+//#region src/ci/verdict.d.ts
+/**
+ * The versioned, shared verdict contract (#3497) — the cohesion mechanism for
+ * the CI⇄MCP verdict loop (epic #3493). One condition's outcome on a CI run,
+ * structured so an agent can *route* it (fix / add a test / escalate) without
+ * scraping a build log. Every future condition — coverage gaps, regressions,
+ * schema drift, nudges — emits this same shape, so no condition grows its own
+ * red/green or its own remediation UX.
+ *
+ * The same payload is meant to render to the PR comment and to surface in the
+ * MCP run object; the surfacing itself is owned by #3106/#3105, so this module
+ * defines and validates the contract they consume, plus a reference renderer.
+ */
+/**
+ * Bump only on a *breaking* change to the shape below, so a consumer can refuse
+ * a payload it doesn't understand. Additive, backward-compatible fields do not
+ * require a bump.
+ */
+declare const VERDICT_CONTRACT_VERSION = 1;
+/**
+ * How honest the run can be about a condition. `pass` is the only clean
+ * outcome; every other class is a non-pass the loop must route.
+ * `uncertain-conservative-flag` is the deliberate "we could not check this, so
+ * we're flagging to be safe" state — kept distinct so the tool's blindness is
+ * never dressed up as either a clean pass or a hard failure.
+ */
+declare const VerdictClass: z.ZodEnum<{
+  pass: "pass";
+  "coverage-gap": "coverage-gap";
+  finding: "finding";
+  "infra-error": "infra-error";
+  "setup-broken": "setup-broken";
+  "uncertain-conservative-flag": "uncertain-conservative-flag";
+}>;
+type VerdictClass = z.infer<typeof VerdictClass>;
+/**
+ * The kind of action a verdict routes to. The ceiling is `auto-fix`; the floor
+ * is `notify-human` — escalate-to-human-with-context, a designed success state
+ * rather than a gap. `none` is only for a clean pass.
+ */
+declare const VerdictActionKind: z.ZodEnum<{
+  "auto-fix": "auto-fix";
+  "add-test": "add-test";
+  triage: "triage";
+  "notify-human": "notify-human";
+  none: "none";
+}>;
+type VerdictActionKind = z.infer<typeof VerdictActionKind>;
+/**
+ * A routable next action. `detail` always carries the human- and
+ * machine-readable specifics: the fix instruction, the test to add, or — for
+ * `notify-human` — the context handed to the person. Modeling "notify human
+ * (with context)" as a first-class value, not an absent field, is the point:
+ * the escalate-to-human floor is always well-formed, never an absence.
+ */
+declare const VerdictAction: z.ZodObject<{
+  kind: z.ZodEnum<{
+    "auto-fix": "auto-fix";
+    "add-test": "add-test";
+    triage: "triage";
+    "notify-human": "notify-human";
+    none: "none";
+  }>;
+  detail: z.ZodString;
+}, z.core.$strip>;
+type VerdictAction = z.infer<typeof VerdictAction>;
+/** A next step / triage action that escalates to a human, carrying context. */
+declare function notifyHuman(context: string): VerdictAction;
+/** The "nothing to do" action, for a clean pass. */
+declare const NO_ACTION: VerdictAction;
+declare const CiVerdict: z.ZodObject<{
+  version: z.ZodLiteral<1>;
+  condition: z.ZodString;
+  verdictClass: z.ZodEnum<{
+    pass: "pass";
+    "coverage-gap": "coverage-gap";
+    finding: "finding";
+    "infra-error": "infra-error";
+    "setup-broken": "setup-broken";
+    "uncertain-conservative-flag": "uncertain-conservative-flag";
+  }>;
+  reason: z.ZodString;
+  nextStep: z.ZodObject<{
+    kind: z.ZodEnum<{
+      "auto-fix": "auto-fix";
+      "add-test": "add-test";
+      triage: "triage";
+      "notify-human": "notify-human";
+      none: "none";
+    }>;
+    detail: z.ZodString;
+  }, z.core.$strip>;
+  triageAction: z.ZodObject<{
+    kind: z.ZodEnum<{
+      "auto-fix": "auto-fix";
+      "add-test": "add-test";
+      triage: "triage";
+      "notify-human": "notify-human";
+      none: "none";
+    }>;
+    detail: z.ZodString;
+  }, z.core.$strip>;
+  docsUrl: z.ZodOptional<z.ZodString>;
+  suggestedMcpTools: z.ZodDefault<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
+type CiVerdict = z.infer<typeof CiVerdict>;
+/**
+ * Render a verdict to Markdown for a PR comment. Intentionally presentation
+ * only: it shows the fields, it does not decide pass/fail (that mapping is the
+ * failure taxonomy, #3498). Kept alongside the contract so "the comment renders
+ * from the contract" is demonstrably true and ready for the analyzer to import.
+ */
+declare function renderVerdictMarkdown(verdict: CiVerdict): string;
+//#endregion
+export { CiVerdict, NO_ACTION, VERDICT_CONTRACT_VERSION, VerdictAction, VerdictActionKind, VerdictClass, notifyHuman, renderVerdictMarkdown };
+//# sourceMappingURL=verdict.d.cts.map

package/dist/ci/verdict.d.cts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verdict.d.cts","names":[],"sources":["../../src/ci/verdict.ts"],"mappings":";;;;;;;;AAoBA;;;;;AASA;;;;;;;;;cATa,wBAAA;;;;;AAiBb;;;cARa,YAAA,EAAY,CAAA,CAAA,OAAA;;;;;;;;KAQb,YAAA,GAAe,CAAA,CAAE,KAAA,QAAa,YAAA;;;;;;cAO7B,iBAAA,EAAiB,CAAA,CAAA,OAAA;;;;;;;KAOlB,iBAAA,GAAoB,CAAA,CAAE,KAAA,QAAa,iBAAA;;;;;;;AAS/C;cAAa,aAAA,EAAa,CAAA,CAAA,SAAA;;;;;;;;;;KAId,aAAA,GAAgB,CAAA,CAAE,KAAA,QAAa,aAAA;;iBAG3B,WAAA,CAAY,OAAA,WAAkB,aAAA;;cAKjC,SAAA,EAAW,aAAA;AAAA,cAEX,SAAA,EAAS,CAAA,CAAA,SAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAgBV,SAAA,GAAY,CAAA,CAAE,KAAA,QAAa,SAAA;;;;;;;iBAgBvB,qBAAA,CAAsB,OAAA,EAAS,SAAA"}

package/dist/ci/verdict.d.mts

@@ -0,0 +1,120 @@
+'use client';
+
+import { z } from "zod";
+
+//#region src/ci/verdict.d.ts
+/**
+ * The versioned, shared verdict contract (#3497) — the cohesion mechanism for
+ * the CI⇄MCP verdict loop (epic #3493). One condition's outcome on a CI run,
+ * structured so an agent can *route* it (fix / add a test / escalate) without
+ * scraping a build log. Every future condition — coverage gaps, regressions,
+ * schema drift, nudges — emits this same shape, so no condition grows its own
+ * red/green or its own remediation UX.
+ *
+ * The same payload is meant to render to the PR comment and to surface in the
+ * MCP run object; the surfacing itself is owned by #3106/#3105, so this module
+ * defines and validates the contract they consume, plus a reference renderer.
+ */
+/**
+ * Bump only on a *breaking* change to the shape below, so a consumer can refuse
+ * a payload it doesn't understand. Additive, backward-compatible fields do not
+ * require a bump.
+ */
+declare const VERDICT_CONTRACT_VERSION = 1;
+/**
+ * How honest the run can be about a condition. `pass` is the only clean
+ * outcome; every other class is a non-pass the loop must route.
+ * `uncertain-conservative-flag` is the deliberate "we could not check this, so
+ * we're flagging to be safe" state — kept distinct so the tool's blindness is
+ * never dressed up as either a clean pass or a hard failure.
+ */
+declare const VerdictClass: z.ZodEnum<{
+  pass: "pass";
+  "coverage-gap": "coverage-gap";
+  finding: "finding";
+  "infra-error": "infra-error";
+  "setup-broken": "setup-broken";
+  "uncertain-conservative-flag": "uncertain-conservative-flag";
+}>;
+type VerdictClass = z.infer<typeof VerdictClass>;
+/**
+ * The kind of action a verdict routes to. The ceiling is `auto-fix`; the floor
+ * is `notify-human` — escalate-to-human-with-context, a designed success state
+ * rather than a gap. `none` is only for a clean pass.
+ */
+declare const VerdictActionKind: z.ZodEnum<{
+  "auto-fix": "auto-fix";
+  "add-test": "add-test";
+  triage: "triage";
+  "notify-human": "notify-human";
+  none: "none";
+}>;
+type VerdictActionKind = z.infer<typeof VerdictActionKind>;
+/**
+ * A routable next action. `detail` always carries the human- and
+ * machine-readable specifics: the fix instruction, the test to add, or — for
+ * `notify-human` — the context handed to the person. Modeling "notify human
+ * (with context)" as a first-class value, not an absent field, is the point:
+ * the escalate-to-human floor is always well-formed, never an absence.
+ */
+declare const VerdictAction: z.ZodObject<{
+  kind: z.ZodEnum<{
+    "auto-fix": "auto-fix";
+    "add-test": "add-test";
+    triage: "triage";
+    "notify-human": "notify-human";
+    none: "none";
+  }>;
+  detail: z.ZodString;
+}, z.core.$strip>;
+type VerdictAction = z.infer<typeof VerdictAction>;
+/** A next step / triage action that escalates to a human, carrying context. */
+declare function notifyHuman(context: string): VerdictAction;
+/** The "nothing to do" action, for a clean pass. */
+declare const NO_ACTION: VerdictAction;
+declare const CiVerdict: z.ZodObject<{
+  version: z.ZodLiteral<1>;
+  condition: z.ZodString;
+  verdictClass: z.ZodEnum<{
+    pass: "pass";
+    "coverage-gap": "coverage-gap";
+    finding: "finding";
+    "infra-error": "infra-error";
+    "setup-broken": "setup-broken";
+    "uncertain-conservative-flag": "uncertain-conservative-flag";
+  }>;
+  reason: z.ZodString;
+  nextStep: z.ZodObject<{
+    kind: z.ZodEnum<{
+      "auto-fix": "auto-fix";
+      "add-test": "add-test";
+      triage: "triage";
+      "notify-human": "notify-human";
+      none: "none";
+    }>;
+    detail: z.ZodString;
+  }, z.core.$strip>;
+  triageAction: z.ZodObject<{
+    kind: z.ZodEnum<{
+      "auto-fix": "auto-fix";
+      "add-test": "add-test";
+      triage: "triage";
+      "notify-human": "notify-human";
+      none: "none";
+    }>;
+    detail: z.ZodString;
+  }, z.core.$strip>;
+  docsUrl: z.ZodOptional<z.ZodString>;
+  suggestedMcpTools: z.ZodDefault<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
+type CiVerdict = z.infer<typeof CiVerdict>;
+/**
+ * Render a verdict to Markdown for a PR comment. Intentionally presentation
+ * only: it shows the fields, it does not decide pass/fail (that mapping is the
+ * failure taxonomy, #3498). Kept alongside the contract so "the comment renders
+ * from the contract" is demonstrably true and ready for the analyzer to import.
+ */
+declare function renderVerdictMarkdown(verdict: CiVerdict): string;
+//#endregion
+export { CiVerdict, NO_ACTION, VERDICT_CONTRACT_VERSION, VerdictAction, VerdictActionKind, VerdictClass, notifyHuman, renderVerdictMarkdown };
+//# sourceMappingURL=verdict.d.mts.map

package/dist/ci/verdict.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verdict.d.mts","names":[],"sources":["../../src/ci/verdict.ts"],"mappings":";;;;;;;;AAoBA;;;;;AASA;;;;;;;;;cATa,wBAAA;;;;;AAiBb;;;cARa,YAAA,EAAY,CAAA,CAAA,OAAA;;;;;;;;KAQb,YAAA,GAAe,CAAA,CAAE,KAAA,QAAa,YAAA;;;;;;cAO7B,iBAAA,EAAiB,CAAA,CAAA,OAAA;;;;;;;KAOlB,iBAAA,GAAoB,CAAA,CAAE,KAAA,QAAa,iBAAA;;;;;;;AAS/C;cAAa,aAAA,EAAa,CAAA,CAAA,SAAA;;;;;;;;;;KAId,aAAA,GAAgB,CAAA,CAAE,KAAA,QAAa,aAAA;;iBAG3B,WAAA,CAAY,OAAA,WAAkB,aAAA;;cAKjC,SAAA,EAAW,aAAA;AAAA,cAEX,SAAA,EAAS,CAAA,CAAA,SAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAgBV,SAAA,GAAY,CAAA,CAAE,KAAA,QAAa,SAAA;;;;;;;iBAgBvB,qBAAA,CAAsB,OAAA,EAAS,SAAA"}

package/dist/ci/verdict.mjs

@@ -0,0 +1,109 @@
+"use client";
+import { z } from "zod";
+//#region src/ci/verdict.ts
+/**
+* The versioned, shared verdict contract (#3497) — the cohesion mechanism for
+* the CI⇄MCP verdict loop (epic #3493). One condition's outcome on a CI run,
+* structured so an agent can *route* it (fix / add a test / escalate) without
+* scraping a build log. Every future condition — coverage gaps, regressions,
+* schema drift, nudges — emits this same shape, so no condition grows its own
+* red/green or its own remediation UX.
+*
+* The same payload is meant to render to the PR comment and to surface in the
+* MCP run object; the surfacing itself is owned by #3106/#3105, so this module
+* defines and validates the contract they consume, plus a reference renderer.
+*/
+/**
+* Bump only on a *breaking* change to the shape below, so a consumer can refuse
+* a payload it doesn't understand. Additive, backward-compatible fields do not
+* require a bump.
+*/
+const VERDICT_CONTRACT_VERSION = 1;
+/**
+* How honest the run can be about a condition. `pass` is the only clean
+* outcome; every other class is a non-pass the loop must route.
+* `uncertain-conservative-flag` is the deliberate "we could not check this, so
+* we're flagging to be safe" state — kept distinct so the tool's blindness is
+* never dressed up as either a clean pass or a hard failure.
+*/
+const VerdictClass = z.enum([
+	"pass",
+	"coverage-gap",
+	"finding",
+	"infra-error",
+	"setup-broken",
+	"uncertain-conservative-flag"
+]);
+/**
+* The kind of action a verdict routes to. The ceiling is `auto-fix`; the floor
+* is `notify-human` — escalate-to-human-with-context, a designed success state
+* rather than a gap. `none` is only for a clean pass.
+*/
+const VerdictActionKind = z.enum([
+	"auto-fix",
+	"add-test",
+	"triage",
+	"notify-human",
+	"none"
+]);
+/**
+* A routable next action. `detail` always carries the human- and
+* machine-readable specifics: the fix instruction, the test to add, or — for
+* `notify-human` — the context handed to the person. Modeling "notify human
+* (with context)" as a first-class value, not an absent field, is the point:
+* the escalate-to-human floor is always well-formed, never an absence.
+*/
+const VerdictAction = z.object({
+	kind: VerdictActionKind,
+	detail: z.string()
+});
+/** A next step / triage action that escalates to a human, carrying context. */
+function notifyHuman(context) {
+	return {
+		kind: "notify-human",
+		detail: context
+	};
+}
+/** The "nothing to do" action, for a clean pass. */
+const NO_ACTION = {
+	kind: "none",
+	detail: ""
+};
+const CiVerdict = z.object({
+	version: z.literal(1),
+	condition: z.string().min(1),
+	verdictClass: VerdictClass,
+	reason: z.string().min(1),
+	nextStep: VerdictAction,
+	triageAction: VerdictAction,
+	docsUrl: z.string().url().optional(),
+	suggestedMcpTools: z.array(z.string()).default([])
+});
+const ACTION_LABEL = {
+	"auto-fix": "Fix",
+	"add-test": "Add a test",
+	triage: "Triage",
+	"notify-human": "Notify a human",
+	none: "No action"
+};
+/**
+* Render a verdict to Markdown for a PR comment. Intentionally presentation
+* only: it shows the fields, it does not decide pass/fail (that mapping is the
+* failure taxonomy, #3498). Kept alongside the contract so "the comment renders
+* from the contract" is demonstrably true and ready for the analyzer to import.
+*/
+function renderVerdictMarkdown(verdict) {
+	const parts = [`**${verdict.condition}** — ${verdict.reason}`];
+	if (verdict.nextStep.kind !== "none") parts.push(`**Next step (${ACTION_LABEL[verdict.nextStep.kind]}):** ${verdict.nextStep.detail}`);
+	if (verdict.triageAction.kind !== "none") parts.push(`**Triage (${ACTION_LABEL[verdict.triageAction.kind]}):** ${verdict.triageAction.detail}`);
+	if (verdict.suggestedMcpTools.length > 0) {
+		const tools = verdict.suggestedMcpTools.map((t) => `\`${t}\``).join(", ");
+		parts.push(`**MCP tools:** ${tools}`);
+	}
+	if (verdict.docsUrl) parts.push(`[Learn more](${verdict.docsUrl})`);
+	return parts.join("\n\n");
+}
+//#endregion
+export { CiVerdict, NO_ACTION, VERDICT_CONTRACT_VERSION, VerdictAction, VerdictActionKind, VerdictClass, notifyHuman, renderVerdictMarkdown };
+
+//# sourceMappingURL=verdict.mjs.map

package/dist/ci/verdict.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"verdict.mjs","names":[],"sources":["../../src/ci/verdict.ts"],"sourcesContent":["import { z } from \"zod\";\n\n/**\n * The versioned, shared verdict contract (#3497) — the cohesion mechanism for\n * the CI⇄MCP verdict loop (epic #3493). One condition's outcome on a CI run,\n * structured so an agent can *route* it (fix / add a test / escalate) without\n * scraping a build log. Every future condition — coverage gaps, regressions,\n * schema drift, nudges — emits this same shape, so no condition grows its own\n * red/green or its own remediation UX.\n *\n * The same payload is meant to render to the PR comment and to surface in the\n * MCP run object; the surfacing itself is owned by #3106/#3105, so this module\n * defines and validates the contract they consume, plus a reference renderer.\n */\n\n/**\n * Bump only on a *breaking* change to the shape below, so a consumer can refuse\n * a payload it doesn't understand. Additive, backward-compatible fields do not\n * require a bump.\n */\nexport const VERDICT_CONTRACT_VERSION = 1;\n\n/**\n * How honest the run can be about a condition. `pass` is the only clean\n * outcome; every other class is a non-pass the loop must route.\n * `uncertain-conservative-flag` is the deliberate \"we could not check this, so\n * we're flagging to be safe\" state — kept distinct so the tool's blindness is\n * never dressed up as either a clean pass or a hard failure.\n */\nexport const VerdictClass = z.enum([\n  \"pass\",\n  \"coverage-gap\",\n  \"finding\",\n  \"infra-error\",\n  \"setup-broken\",\n  \"uncertain-conservative-flag\",\n]);\nexport type VerdictClass = z.infer<typeof VerdictClass>;\n\n/**\n * The kind of action a verdict routes to. The ceiling is `auto-fix`; the floor\n * is `notify-human` — escalate-to-human-with-context, a designed success state\n * rather than a gap. `none` is only for a clean pass.\n */\nexport const VerdictActionKind = z.enum([\n  \"auto-fix\",\n  \"add-test\",\n  \"triage\",\n  \"notify-human\",\n  \"none\",\n]);\nexport type VerdictActionKind = z.infer<typeof VerdictActionKind>;\n\n/**\n * A routable next action. `detail` always carries the human- and\n * machine-readable specifics: the fix instruction, the test to add, or — for\n * `notify-human` — the context handed to the person. Modeling \"notify human\n * (with context)\" as a first-class value, not an absent field, is the point:\n * the escalate-to-human floor is always well-formed, never an absence.\n */\nexport const VerdictAction = z.object({\n  kind: VerdictActionKind,\n  detail: z.string(),\n});\nexport type VerdictAction = z.infer<typeof VerdictAction>;\n\n/** A next step / triage action that escalates to a human, carrying context. */\nexport function notifyHuman(context: string): VerdictAction {\n  return { kind: \"notify-human\", detail: context };\n}\n\n/** The \"nothing to do\" action, for a clean pass. */\nexport const NO_ACTION: VerdictAction = { kind: \"none\", detail: \"\" };\n\nexport const CiVerdict = z.object({\n  version: z.literal(VERDICT_CONTRACT_VERSION),\n  /** The condition evaluated, e.g. \"untested-data-access\", \"regression-beyond-threshold\". */\n  condition: z.string().min(1),\n  verdictClass: VerdictClass,\n  /** Plain-language why, honest about the tool's epistemic state. */\n  reason: z.string().min(1),\n  /** The best-available next step; `notify-human` is a valid, well-formed value. */\n  nextStep: VerdictAction,\n  /** The non-fix exit — triage/acknowledge, or escalate to a human. */\n  triageAction: VerdictAction,\n  /** Deep link to the relevant guide, when one applies. */\n  docsUrl: z.string().url().optional(),\n  /** MCP tools an agent should reach for to act on this verdict. */\n  suggestedMcpTools: z.array(z.string()).default([]),\n});\nexport type CiVerdict = z.infer<typeof CiVerdict>;\n\nconst ACTION_LABEL: Record<VerdictActionKind, string> = {\n  \"auto-fix\": \"Fix\",\n  \"add-test\": \"Add a test\",\n  triage: \"Triage\",\n  \"notify-human\": \"Notify a human\",\n  none: \"No action\",\n};\n\n/**\n * Render a verdict to Markdown for a PR comment. Intentionally presentation\n * only: it shows the fields, it does not decide pass/fail (that mapping is the\n * failure taxonomy, #3498). Kept alongside the contract so \"the comment renders\n * from the contract\" is demonstrably true and ready for the analyzer to import.\n */\nexport function renderVerdictMarkdown(verdict: CiVerdict): string {\n  const parts: string[] = [`**${verdict.condition}** — ${verdict.reason}`];\n  if (verdict.nextStep.kind !== \"none\") {\n    parts.push(\n      `**Next step (${ACTION_LABEL[verdict.nextStep.kind]}):** ${verdict.nextStep.detail}`,\n    );\n  }\n  if (verdict.triageAction.kind !== \"none\") {\n    parts.push(\n      `**Triage (${ACTION_LABEL[verdict.triageAction.kind]}):** ${verdict.triageAction.detail}`,\n    );\n  }\n  if (verdict.suggestedMcpTools.length > 0) {\n    const tools = verdict.suggestedMcpTools.map((t) => `\\`${t}\\``).join(\", \");\n    parts.push(`**MCP tools:** ${tools}`);\n  }\n  if (verdict.docsUrl) {\n    parts.push(`[Learn more](${verdict.docsUrl})`);\n  }\n  return parts.join(\"\\n\\n\");\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAoBA,MAAa,2BAA2B;;;;;;;;AASxC,MAAa,eAAe,EAAE,KAAK;CACjC;CACA;CACA;CACA;CACA;CACA;CACD,CAAC;;;;;;AAQF,MAAa,oBAAoB,EAAE,KAAK;CACtC;CACA;CACA;CACA;CACA;CACD,CAAC;;;;;;;;AAUF,MAAa,gBAAgB,EAAE,OAAO;CACpC,MAAM;CACN,QAAQ,EAAE,QAAQ;CACnB,CAAC;;AAIF,SAAgB,YAAY,SAAgC;AAC1D,QAAO;EAAE,MAAM;EAAgB,QAAQ;EAAS;;;AAIlD,MAAa,YAA2B;CAAE,MAAM;CAAQ,QAAQ;CAAI;AAEpE,MAAa,YAAY,EAAE,OAAO;CAChC,SAAS,EAAE,QAAA,EAAiC;CAE5C,WAAW,EAAE,QAAQ,CAAC,IAAI,EAAE;CAC5B,cAAc;CAEd,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;CAEzB,UAAU;CAEV,cAAc;CAEd,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,UAAU;CAEpC,mBAAmB,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC;CACnD,CAAC;AAGF,MAAM,eAAkD;CACtD,YAAY;CACZ,YAAY;CACZ,QAAQ;CACR,gBAAgB;CAChB,MAAM;CACP;;;;;;;AAQD,SAAgB,sBAAsB,SAA4B;CAChE,MAAM,QAAkB,CAAC,KAAK,QAAQ,UAAU,OAAO,QAAQ,SAAS;AACxE,KAAI,QAAQ,SAAS,SAAS,OAC5B,OAAM,KACJ,gBAAgB,aAAa,QAAQ,SAAS,MAAM,OAAO,QAAQ,SAAS,SAC7E;AAEH,KAAI,QAAQ,aAAa,SAAS,OAChC,OAAM,KACJ,aAAa,aAAa,QAAQ,aAAa,MAAM,OAAO,QAAQ,aAAa,SAClF;AAEH,KAAI,QAAQ,kBAAkB,SAAS,GAAG;EACxC,MAAM,QAAQ,QAAQ,kBAAkB,KAAK,MAAM,KAAK,EAAE,IAAI,CAAC,KAAK,KAAK;AACzE,QAAM,KAAK,kBAAkB,QAAQ;;AAEvC,KAAI,QAAQ,QACV,OAAM,KAAK,gBAAgB,QAAQ,QAAQ,GAAG;AAEhD,QAAO,MAAM,KAAK,OAAO"}

package/dist/index.cjs

@@ -20,11 +20,16 @@ const require_build_action_plan = require("./action-plan/build-action-plan.cjs")
 const require_sentry = require("./sentry.cjs");
 const require_query = require("./query.cjs");
 const require_query_findings = require("./findings/query-findings.cjs");
+const require_verdict = require("./ci/verdict.cjs");
+const require_taxonomy = require("./ci/taxonomy.cjs");
+const require_policy = require("./ci/policy.cjs");
 exports.Analyzer = require_analyzer.Analyzer;
+exports.CiVerdict = require_verdict.CiVerdict;
 exports.CombinedExport = require_dump.CombinedExport;
 exports.ComputedColumnStats = require_statistics.ComputedColumnStats;
 exports.ComputedReltuples = require_statistics.ComputedReltuples;
 exports.ComputedStats = require_statistics.ComputedStats;
+exports.DEFAULT_CONDITION_POLICIES = require_policy.DEFAULT_CONDITION_POLICIES;
 exports.DUMP_STATS_SQL = require_statistics.DUMP_STATS_SQL;
 exports.ExportedQuery = require_dump.ExportedQuery;
 exports.ExportedStats = require_statistics.ExportedStats;
@@ -32,6 +37,7 @@ exports.ExportedStatsColumns = require_statistics.ExportedStatsColumns;
 exports.ExportedStatsIndex = require_statistics.ExportedStatsIndex;
 exports.ExportedStatsStatistics = require_statistics.ExportedStatsStatistics;
 exports.ExportedStatsV1 = require_statistics.ExportedStatsV1;
+exports.FALLBACK_POLICY = require_policy.FALLBACK_POLICY;
 exports.FullSchema = require_schema.FullSchema;
 exports.FullSchemaColumn = require_schema.FullSchemaColumn;
 exports.FullSchemaCompositeAttribute = require_schema.FullSchemaCompositeAttribute;
@@ -47,6 +53,7 @@ exports.FullSchemaType = require_schema.FullSchemaType;
 exports.FullSchemaTypeConstraint = require_schema.FullSchemaTypeConstraint;
 exports.FullSchemaView = require_schema.FullSchemaView;
 exports.IndexOptimizer = require_genalgo.IndexOptimizer;
+exports.NO_ACTION = require_verdict.NO_ACTION;
 exports.OptimizedQuery = require_query.OptimizedQuery;
 exports.PROCEED = require_genalgo.PROCEED;
 exports.PgIdentifier = require_pg_identifier.PgIdentifier;
@@ -59,22 +66,33 @@ exports.SKIP = require_genalgo.SKIP;
 exports.Statistics = require_statistics.Statistics;
 exports.StatisticsMode = require_statistics.StatisticsMode;
 exports.StatisticsSource = require_statistics.StatisticsSource;
+exports.VERDICT_CONTRACT_VERSION = require_verdict.VERDICT_CONTRACT_VERSION;
+exports.VerdictAction = require_verdict.VerdictAction;
+exports.VerdictActionKind = require_verdict.VerdictActionKind;
+exports.VerdictClass = require_verdict.VerdictClass;
 exports.aggregateIndexRecommendations = require_aggregate_index_recommendations.aggregateIndexRecommendations;
 exports.analyzeQueryFindings = require_query_findings.analyzeQueryFindings;
 exports.buildActionPlan = require_build_action_plan.buildActionPlan;
 exports.combinedDumpSql = require_dump.combinedDumpSql;
 exports.compactSelectList = require_display_query.compactSelectList;
+exports.conclusionForVerdict = require_taxonomy.conclusionForVerdict;
+exports.conclusionForVerdictClass = require_taxonomy.conclusionForVerdictClass;
 exports.deriveSentryEnvironment = require_sentry.deriveSentryEnvironment;
 exports.dropIndex = require_database.dropIndex;
 exports.dumpQueriesSql = require_dump.dumpQueriesSql;
 exports.dumpSchema = require_schema.dumpSchema;
+exports.evaluateRun = require_policy.evaluateRun;
 exports.groupDuplicateIndexes = require_indexes.groupDuplicateIndexes;
 exports.groupIndexesByCoverage = require_index_coverage.groupIndexesByCoverage;
 exports.ignoredIdentifier = require_analyzer.ignoredIdentifier;
 exports.indexCovers = require_index_coverage.indexCovers;
+exports.isBlocking = require_taxonomy.isBlocking;
 exports.isIndexProbablyDroppable = require_indexes.isIndexProbablyDroppable;
 exports.isIndexSupported = require_indexes.isIndexSupported;
 exports.isTestFilePath = require_test_origin.isTestFilePath;
 exports.isTestOriginQuery = require_test_origin.isTestOriginQuery;
 exports.normalizedFingerprint = require_normalized_fingerprint.normalizedFingerprint;
+exports.notifyHuman = require_verdict.notifyHuman;
 exports.parseNudges = require_nudges.parseNudges;
+exports.policyFor = require_policy.policyFor;
+exports.renderVerdictMarkdown = require_verdict.renderVerdictMarkdown;

package/dist/index.d.cts

@@ -21,4 +21,7 @@ import { ActionPlanNudgeQuery, ActionableStep, AffectedQueryCost, CostReduction,
 import { deriveSentryEnvironment } from "./sentry.cjs";
 import { ClientApi, ConnectionMode, ExtensionPresence, IndexDefinition, RepoConfig, ServerApi, UnauthenticatedServerApi } from "./websocket-server.cjs";
 import { QueryFinding, QueryFindingCode, QueryFindingSeverity, analyzeQueryFindings } from "./findings/query-findings.cjs";
-export { ActionPlanNudgeQuery, ActionPlanQuery, ActionableStep, AffectedQueryCost, AggregatedIndexRecommendation, AnalysisResult, Analyzer, ClientApi, ColumnMetadata, CombinedExport, CompactSelectListOptions, ComputedColumnStats, ComputedReltuples, ComputedStats, ConnectionMode, CostReduction, DUMP_STATS_SQL, DatabaseDriver, DiscoveredColumnReference, DomainLabel, DuplicateIndexGroup, ExportedQuery, ExportedStats, ExportedStatsColumns, ExportedStatsIndex, ExportedStatsStatistics, ExportedStatsV1, ExtensionPresence, FingerprintFn, FullSchema, FullSchemaColumn, FullSchemaCompositeAttribute, FullSchemaConstraint, FullSchemaExtension, FullSchemaFunction, FullSchemaIncludedColumn, FullSchemaIndex, FullSchemaKeyColumn, FullSchemaTable, FullSchemaTrigger, FullSchemaType, FullSchemaTypeConstraint, FullSchemaView, IndexAction, IndexDefinition, IndexGroup, IndexIdentifier, IndexOptimizer, IndexRecommendation, IndexToCreate, JsonbOperator, LiveQueryOptimization, Nudge, NudgeFinding, OptimizationResult, OptimizeResult, OptimizedQuery, PROCEED, Parameter, Parser, Path, PermutedIndexCandidate, PgIdentifier, Postgres, PostgresConnectionInput, PostgresExplainResult, PostgresExplainStage, PostgresExplainStageCommon, PostgresExplainStageSchema, PostgresFactory, PostgresQueryBuilder, PostgresQueryBuilderCommand, PostgresStage, PostgresStageId, PostgresTransaction, PostgresVersion, PssRewriter, QueryFinding, QueryFindingCode, QueryFindingSeverity, QueryHash, QuerySource, RecentQuery, RegressionBreach, RepoConfig, RootIndexCandidate, SKIP, SQLCommenterExtraction, SQLCommenterTag, SerializeResult, ServerApi, SortContext, StatementType, Statistics, StatisticsMode, StatisticsSource, TableMetadata, TableReference, TableStats, UnauthenticatedServerApi, aggregateIndexRecommendations, analyzeQueryFindings, buildActionPlan, combinedDumpSql, compactSelectList, deriveSentryEnvironment, dropIndex, dumpQueriesSql, dumpSchema, groupDuplicateIndexes, groupIndexesByCoverage, ignoredIdentifier, indexCovers, isIndexProbablyDroppable, isIndexSupported, isTestFilePath, isTestOriginQuery, normalizedFingerprint, parseNudges };
+import { CiVerdict, NO_ACTION, VERDICT_CONTRACT_VERSION, VerdictAction, VerdictActionKind, VerdictClass, notifyHuman, renderVerdictMarkdown } from "./ci/verdict.cjs";
+import { CiConclusion, conclusionForVerdict, conclusionForVerdictClass, isBlocking } from "./ci/taxonomy.cjs";
+import { ConditionPolicy, ConditionResult, DEFAULT_CONDITION_POLICIES, FALLBACK_POLICY, RepoPolicyConfig, ResolvedCondition, RunEvaluation, evaluateRun, policyFor } from "./ci/policy.cjs";
+export { ActionPlanNudgeQuery, ActionPlanQuery, ActionableStep, AffectedQueryCost, AggregatedIndexRecommendation, AnalysisResult, Analyzer, CiConclusion, CiVerdict, ClientApi, ColumnMetadata, CombinedExport, CompactSelectListOptions, ComputedColumnStats, ComputedReltuples, ComputedStats, ConditionPolicy, ConditionResult, ConnectionMode, CostReduction, DEFAULT_CONDITION_POLICIES, DUMP_STATS_SQL, DatabaseDriver, DiscoveredColumnReference, DomainLabel, DuplicateIndexGroup, ExportedQuery, ExportedStats, ExportedStatsColumns, ExportedStatsIndex, ExportedStatsStatistics, ExportedStatsV1, ExtensionPresence, FALLBACK_POLICY, FingerprintFn, FullSchema, FullSchemaColumn, FullSchemaCompositeAttribute, FullSchemaConstraint, FullSchemaExtension, FullSchemaFunction, FullSchemaIncludedColumn, FullSchemaIndex, FullSchemaKeyColumn, FullSchemaTable, FullSchemaTrigger, FullSchemaType, FullSchemaTypeConstraint, FullSchemaView, IndexAction, IndexDefinition, IndexGroup, IndexIdentifier, IndexOptimizer, IndexRecommendation, IndexToCreate, JsonbOperator, LiveQueryOptimization, NO_ACTION, Nudge, NudgeFinding, OptimizationResult, OptimizeResult, OptimizedQuery, PROCEED, Parameter, Parser, Path, PermutedIndexCandidate, PgIdentifier, Postgres, PostgresConnectionInput, PostgresExplainResult, PostgresExplainStage, PostgresExplainStageCommon, PostgresExplainStageSchema, PostgresFactory, PostgresQueryBuilder, PostgresQueryBuilderCommand, PostgresStage, PostgresStageId, PostgresTransaction, PostgresVersion, PssRewriter, QueryFinding, QueryFindingCode, QueryFindingSeverity, QueryHash, QuerySource, RecentQuery, RegressionBreach, RepoConfig, RepoPolicyConfig, ResolvedCondition, RootIndexCandidate, RunEvaluation, SKIP, SQLCommenterExtraction, SQLCommenterTag, SerializeResult, ServerApi, SortContext, StatementType, Statistics, StatisticsMode, StatisticsSource, TableMetadata, TableReference, TableStats, UnauthenticatedServerApi, VERDICT_CONTRACT_VERSION, VerdictAction, VerdictActionKind, VerdictClass, aggregateIndexRecommendations, analyzeQueryFindings, buildActionPlan, combinedDumpSql, compactSelectList, conclusionForVerdict, conclusionForVerdictClass, deriveSentryEnvironment, dropIndex, dumpQueriesSql, dumpSchema, evaluateRun, groupDuplicateIndexes, groupIndexesByCoverage, ignoredIdentifier, indexCovers, isBlocking, isIndexProbablyDroppable, isIndexSupported, isTestFilePath, isTestOriginQuery, normalizedFingerprint, notifyHuman, parseNudges, policyFor, renderVerdictMarkdown };

package/dist/index.d.mts

@@ -21,4 +21,7 @@ import { ActionPlanNudgeQuery, ActionableStep, AffectedQueryCost, CostReduction,
 import { deriveSentryEnvironment } from "./sentry.mjs";
 import { ClientApi, ConnectionMode, ExtensionPresence, IndexDefinition, RepoConfig, ServerApi, UnauthenticatedServerApi } from "./websocket-server.mjs";
 import { QueryFinding, QueryFindingCode, QueryFindingSeverity, analyzeQueryFindings } from "./findings/query-findings.mjs";
-export { ActionPlanNudgeQuery, ActionPlanQuery, ActionableStep, AffectedQueryCost, AggregatedIndexRecommendation, AnalysisResult, Analyzer, ClientApi, ColumnMetadata, CombinedExport, CompactSelectListOptions, ComputedColumnStats, ComputedReltuples, ComputedStats, ConnectionMode, CostReduction, DUMP_STATS_SQL, DatabaseDriver, DiscoveredColumnReference, DomainLabel, DuplicateIndexGroup, ExportedQuery, ExportedStats, ExportedStatsColumns, ExportedStatsIndex, ExportedStatsStatistics, ExportedStatsV1, ExtensionPresence, FingerprintFn, FullSchema, FullSchemaColumn, FullSchemaCompositeAttribute, FullSchemaConstraint, FullSchemaExtension, FullSchemaFunction, FullSchemaIncludedColumn, FullSchemaIndex, FullSchemaKeyColumn, FullSchemaTable, FullSchemaTrigger, FullSchemaType, FullSchemaTypeConstraint, FullSchemaView, IndexAction, IndexDefinition, IndexGroup, IndexIdentifier, IndexOptimizer, IndexRecommendation, IndexToCreate, JsonbOperator, LiveQueryOptimization, Nudge, NudgeFinding, OptimizationResult, OptimizeResult, OptimizedQuery, PROCEED, Parameter, Parser, Path, PermutedIndexCandidate, PgIdentifier, Postgres, PostgresConnectionInput, PostgresExplainResult, PostgresExplainStage, PostgresExplainStageCommon, PostgresExplainStageSchema, PostgresFactory, PostgresQueryBuilder, PostgresQueryBuilderCommand, PostgresStage, PostgresStageId, PostgresTransaction, PostgresVersion, PssRewriter, QueryFinding, QueryFindingCode, QueryFindingSeverity, QueryHash, QuerySource, RecentQuery, RegressionBreach, RepoConfig, RootIndexCandidate, SKIP, SQLCommenterExtraction, SQLCommenterTag, SerializeResult, ServerApi, SortContext, StatementType, Statistics, StatisticsMode, StatisticsSource, TableMetadata, TableReference, TableStats, UnauthenticatedServerApi, aggregateIndexRecommendations, analyzeQueryFindings, buildActionPlan, combinedDumpSql, compactSelectList, deriveSentryEnvironment, dropIndex, dumpQueriesSql, dumpSchema, groupDuplicateIndexes, groupIndexesByCoverage, ignoredIdentifier, indexCovers, isIndexProbablyDroppable, isIndexSupported, isTestFilePath, isTestOriginQuery, normalizedFingerprint, parseNudges };
+import { CiVerdict, NO_ACTION, VERDICT_CONTRACT_VERSION, VerdictAction, VerdictActionKind, VerdictClass, notifyHuman, renderVerdictMarkdown } from "./ci/verdict.mjs";
+import { CiConclusion, conclusionForVerdict, conclusionForVerdictClass, isBlocking } from "./ci/taxonomy.mjs";
+import { ConditionPolicy, ConditionResult, DEFAULT_CONDITION_POLICIES, FALLBACK_POLICY, RepoPolicyConfig, ResolvedCondition, RunEvaluation, evaluateRun, policyFor } from "./ci/policy.mjs";
+export { ActionPlanNudgeQuery, ActionPlanQuery, ActionableStep, AffectedQueryCost, AggregatedIndexRecommendation, AnalysisResult, Analyzer, CiConclusion, CiVerdict, ClientApi, ColumnMetadata, CombinedExport, CompactSelectListOptions, ComputedColumnStats, ComputedReltuples, ComputedStats, ConditionPolicy, ConditionResult, ConnectionMode, CostReduction, DEFAULT_CONDITION_POLICIES, DUMP_STATS_SQL, DatabaseDriver, DiscoveredColumnReference, DomainLabel, DuplicateIndexGroup, ExportedQuery, ExportedStats, ExportedStatsColumns, ExportedStatsIndex, ExportedStatsStatistics, ExportedStatsV1, ExtensionPresence, FALLBACK_POLICY, FingerprintFn, FullSchema, FullSchemaColumn, FullSchemaCompositeAttribute, FullSchemaConstraint, FullSchemaExtension, FullSchemaFunction, FullSchemaIncludedColumn, FullSchemaIndex, FullSchemaKeyColumn, FullSchemaTable, FullSchemaTrigger, FullSchemaType, FullSchemaTypeConstraint, FullSchemaView, IndexAction, IndexDefinition, IndexGroup, IndexIdentifier, IndexOptimizer, IndexRecommendation, IndexToCreate, JsonbOperator, LiveQueryOptimization, NO_ACTION, Nudge, NudgeFinding, OptimizationResult, OptimizeResult, OptimizedQuery, PROCEED, Parameter, Parser, Path, PermutedIndexCandidate, PgIdentifier, Postgres, PostgresConnectionInput, PostgresExplainResult, PostgresExplainStage, PostgresExplainStageCommon, PostgresExplainStageSchema, PostgresFactory, PostgresQueryBuilder, PostgresQueryBuilderCommand, PostgresStage, PostgresStageId, PostgresTransaction, PostgresVersion, PssRewriter, QueryFinding, QueryFindingCode, QueryFindingSeverity, QueryHash, QuerySource, RecentQuery, RegressionBreach, RepoConfig, RepoPolicyConfig, ResolvedCondition, RootIndexCandidate, RunEvaluation, SKIP, SQLCommenterExtraction, SQLCommenterTag, SerializeResult, ServerApi, SortContext, StatementType, Statistics, StatisticsMode, StatisticsSource, TableMetadata, TableReference, TableStats, UnauthenticatedServerApi, VERDICT_CONTRACT_VERSION, VerdictAction, VerdictActionKind, VerdictClass, aggregateIndexRecommendations, analyzeQueryFindings, buildActionPlan, combinedDumpSql, compactSelectList, conclusionForVerdict, conclusionForVerdictClass, deriveSentryEnvironment, dropIndex, dumpQueriesSql, dumpSchema, evaluateRun, groupDuplicateIndexes, groupIndexesByCoverage, ignoredIdentifier, indexCovers, isBlocking, isIndexProbablyDroppable, isIndexSupported, isTestFilePath, isTestOriginQuery, normalizedFingerprint, notifyHuman, parseNudges, policyFor, renderVerdictMarkdown };

package/dist/index.mjs

@@ -19,4 +19,7 @@ import { buildActionPlan } from "./action-plan/build-action-plan.mjs";
 import { deriveSentryEnvironment } from "./sentry.mjs";
 import { OptimizedQuery, RecentQuery } from "./query.mjs";
 import { analyzeQueryFindings } from "./findings/query-findings.mjs";
-export { Analyzer, CombinedExport, ComputedColumnStats, ComputedReltuples, ComputedStats, DUMP_STATS_SQL, ExportedQuery, ExportedStats, ExportedStatsColumns, ExportedStatsIndex, ExportedStatsStatistics, ExportedStatsV1, FullSchema, FullSchemaColumn, FullSchemaCompositeAttribute, FullSchemaConstraint, FullSchemaExtension, FullSchemaFunction, FullSchemaIncludedColumn, FullSchemaIndex, FullSchemaKeyColumn, FullSchemaTable, FullSchemaTrigger, FullSchemaType, FullSchemaTypeConstraint, FullSchemaView, IndexOptimizer, OptimizedQuery, PROCEED, PgIdentifier, PostgresExplainStageSchema, PostgresQueryBuilder, PostgresVersion, PssRewriter, RecentQuery, SKIP, Statistics, StatisticsMode, StatisticsSource, aggregateIndexRecommendations, analyzeQueryFindings, buildActionPlan, combinedDumpSql, compactSelectList, deriveSentryEnvironment, dropIndex, dumpQueriesSql, dumpSchema, groupDuplicateIndexes, groupIndexesByCoverage, ignoredIdentifier, indexCovers, isIndexProbablyDroppable, isIndexSupported, isTestFilePath, isTestOriginQuery, normalizedFingerprint, parseNudges };
+import { CiVerdict, NO_ACTION, VERDICT_CONTRACT_VERSION, VerdictAction, VerdictActionKind, VerdictClass, notifyHuman, renderVerdictMarkdown } from "./ci/verdict.mjs";
+import { conclusionForVerdict, conclusionForVerdictClass, isBlocking } from "./ci/taxonomy.mjs";
+import { DEFAULT_CONDITION_POLICIES, FALLBACK_POLICY, evaluateRun, policyFor } from "./ci/policy.mjs";
+export { Analyzer, CiVerdict, CombinedExport, ComputedColumnStats, ComputedReltuples, ComputedStats, DEFAULT_CONDITION_POLICIES, DUMP_STATS_SQL, ExportedQuery, ExportedStats, ExportedStatsColumns, ExportedStatsIndex, ExportedStatsStatistics, ExportedStatsV1, FALLBACK_POLICY, FullSchema, FullSchemaColumn, FullSchemaCompositeAttribute, FullSchemaConstraint, FullSchemaExtension, FullSchemaFunction, FullSchemaIncludedColumn, FullSchemaIndex, FullSchemaKeyColumn, FullSchemaTable, FullSchemaTrigger, FullSchemaType, FullSchemaTypeConstraint, FullSchemaView, IndexOptimizer, NO_ACTION, OptimizedQuery, PROCEED, PgIdentifier, PostgresExplainStageSchema, PostgresQueryBuilder, PostgresVersion, PssRewriter, RecentQuery, SKIP, Statistics, StatisticsMode, StatisticsSource, VERDICT_CONTRACT_VERSION, VerdictAction, VerdictActionKind, VerdictClass, aggregateIndexRecommendations, analyzeQueryFindings, buildActionPlan, combinedDumpSql, compactSelectList, conclusionForVerdict, conclusionForVerdictClass, deriveSentryEnvironment, dropIndex, dumpQueriesSql, dumpSchema, evaluateRun, groupDuplicateIndexes, groupIndexesByCoverage, ignoredIdentifier, indexCovers, isBlocking, isIndexProbablyDroppable, isIndexSupported, isTestFilePath, isTestOriginQuery, normalizedFingerprint, notifyHuman, parseNudges, policyFor, renderVerdictMarkdown };

package/dist/schema.cjs

@@ -93,6 +93,7 @@ const FullSchemaFunction = zod.z.object({
 	definition: zod.z.string()
 });
 const FullSchemaExtension = zod.z.object({
+	type: zod.z.literal("extension"),
 	extensionName: zod.z.string(),
 	version: zod.z.string(),
 	schemaName: Identifier
@@ -132,6 +133,7 @@ const FullSchemaType = zod.z.object({
 	compositeAttributes: zod.z.array(FullSchemaCompositeAttribute).optional()
 });
 const FullSchemaTrigger = zod.z.object({
+	type: zod.z.literal("trigger"),
 	schemaName: Identifier,
 	tableName: Identifier,
 	triggerName: Identifier,

package/dist/schema.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"schema.cjs","names":["z","PgIdentifier","SCHEMA_DUMP_SQL"],"sources":["../src/schema.ts"],"sourcesContent":["import { z } from \"zod\";\nimport { SCHEMA_DUMP_SQL } from \"./schema-dump.js\";\nimport type { Postgres } from \"./sql/database.js\";\nimport { PgIdentifier } from \"./sql/pg-identifier.js\";\n\nconst Identifier = z.codec(z.string(), z.custom<PgIdentifier>(), {\n  encode: (v) => v.toString(),\n  decode: (v) => PgIdentifier.fromString(v),\n});\n\nexport const FullSchemaKeyColumn = z.object({\n  type: z.literal(\"indexColumn\"),\n  name: Identifier,\n  order: z.enum([\"ASC\", \"DESC\"]).optional(),\n  nulls: z.enum([\"FIRST\", \"LAST\"]).optional(),\n  opclass: z.string().optional(),\n  collation: z.string().optional(),\n});\n\nexport type FullSchemaKeyColumn = z.infer<typeof FullSchemaKeyColumn>;\n\nexport const FullSchemaIncludedColumn = z.object({\n  name: Identifier,\n});\n\nexport type FullSchemaIncludedColumn = z.infer<typeof FullSchemaIncludedColumn>;\n\nexport const FullSchemaIndex = z.object({\n  type: z.literal(\"index\"),\n  oid: z.number(),\n  schemaName: Identifier,\n  tableName: Identifier,\n  indexName: Identifier,\n  indexType: z.string(),\n  isUnique: z.boolean(),\n  isPrimary: z.boolean(),\n  isClustered: z.boolean(),\n  wherePredicate: z.string().optional(),\n  tablespace: z.string().optional(),\n  keyColumns: z.array(FullSchemaKeyColumn),\n  includedColumns: z.array(FullSchemaIncludedColumn).optional(),\n});\n\nexport type FullSchemaIndex = z.infer<typeof FullSchemaIndex>;\n\nexport const FullSchemaColumn = z.object({\n  type: z.literal(\"column\"),\n  name: Identifier,\n  order: z.number(),\n  columnType: z.string(),\n  isNullable: z.boolean(),\n  defaultValue: z.string().optional(),\n  dropped: z.boolean(),\n  collation: z.string().optional(),\n  storage: z.enum([\"plain\", \"main\", \"external\", \"extended\"]).optional(),\n  isIdentity: z.enum([\"always\", \"by default\"]).optional(),\n});\n\nexport type FullSchemaColumn = z.infer<typeof FullSchemaColumn>;\n\nexport const FullSchemaTable = z.object({\n  type: z.literal(\"table\"),\n  oid: z.number(),\n  schemaName: Identifier,\n  tableName: Identifier,\n  tablespace: z.string().optional(),\n  partitionKeyDef: z.string().optional(),\n  columns: z.array(FullSchemaColumn).default([]),\n});\n\nexport type FullSchemaTable = z.infer<typeof FullSchemaTable>;\n\nexport const FullSchemaConstraint = z.object({\n  type: z.literal(\"constraint\"),\n  oid: z.number(),\n  schemaName: Identifier,\n  tableName: Identifier,\n  constraintName: Identifier,\n  constraintType: z\n    .enum([\n      \"check\",\n      \"foreign_key\",\n      \"not_null\",\n      \"primary_key\",\n      \"unique\",\n      \"trigger\",\n      \"exclusion\",\n    ])\n    .or(z.string()),\n  definition: z.string(),\n  isDeferrable: z.boolean().optional(),\n  isInitiallyDeferred: z.boolean().optional(),\n  isValidated: z.boolean().optional(),\n  backingIndexOid: z.number().optional(),\n});\n\nexport type FullSchemaConstraint = z.infer<typeof FullSchemaConstraint>;\n\nexport const FullSchemaFunction = z.object({\n  type: z.literal(\"function\"),\n  schemaName: Identifier,\n  objectName: Identifier,\n  objectType: z.enum([\"function\", \"procedure\", \"aggregate\", \"window function\"]),\n  identityArguments: z.string().optional(),\n  definition: z.string(),\n});\n\nexport type FullSchemaFunction = z.infer<typeof FullSchemaFunction>;\n\nexport const FullSchemaExtension = z.object({\n  extensionName: z.string(),\n  version: z.string(),\n  schemaName: Identifier,\n});\n\nexport type FullSchemaExtension = z.infer<typeof FullSchemaExtension>;\n\nexport const FullSchemaView = z.object({\n  type: z.literal(\"view\"),\n  schemaName: Identifier,\n  viewName: Identifier,\n  objectType: z.enum([\"view\", \"materialized_view\"]),\n  definition: z.string(),\n  tablespace: z.string().optional(),\n});\n\nexport type FullSchemaView = z.infer<typeof FullSchemaView>;\n\nexport const FullSchemaTypeConstraint = z.object({\n  name: Identifier,\n  definition: z.string(),\n});\n\nexport type FullSchemaTypeConstraint = z.infer<typeof FullSchemaTypeConstraint>;\n\nexport const FullSchemaCompositeAttribute = z.object({\n  type: z.literal(\"compositeAttribute\"),\n  name: Identifier,\n  attributeType: z.string(),\n  collation: Identifier.optional(),\n});\n\nexport type FullSchemaCompositeAttribute = z.infer<\n  typeof FullSchemaCompositeAttribute\n>;\n\nexport const FullSchemaType = z.object({\n  type: z.literal(\"type\"),\n  schemaName: Identifier,\n  typeName: Identifier,\n  typeCategory: z.enum([\"enum\", \"domain\", \"composite\"]),\n  enumLabels: z.array(z.string()).optional(),\n  domainBaseType: z.string().optional(),\n  domainIsNotNull: z.boolean().optional(),\n  domainDefault: z.string().optional(),\n  domainConstraints: z.array(FullSchemaTypeConstraint).optional(),\n  compositeAttributes: z.array(FullSchemaCompositeAttribute).optional(),\n});\n\nexport type FullSchemaType = z.infer<typeof FullSchemaType>;\n\nexport const FullSchemaTrigger = z.object({\n  schemaName: Identifier,\n  tableName: Identifier,\n  triggerName: Identifier,\n  definition: z.string(),\n  enabledMode: z.string(),\n});\n\nexport type FullSchemaTrigger = z.infer<typeof FullSchemaTrigger>;\n\nexport const FullSchema = z.object({\n  indexes: z.array(FullSchemaIndex).default([]),\n  tables: z.array(FullSchemaTable).default([]),\n  constraints: z.array(FullSchemaConstraint).default([]),\n  functions: z.array(FullSchemaFunction).default([]),\n  extensions: z.array(FullSchemaExtension).default([]),\n  views: z.array(FullSchemaView).default([]),\n  types: z.array(FullSchemaType).default([]),\n  triggers: z.array(FullSchemaTrigger).default([]),\n});\n\nexport type FullSchema = z.infer<typeof FullSchema>;\n\nexport async function dumpSchema(db: Postgres): Promise<FullSchema> {\n  const rows = await db.exec<{ result: FullSchema }>(SCHEMA_DUMP_SQL);\n  return FullSchema.parse(rows[0]?.result ?? {});\n}\n"],"mappings":";;;;;;AAKA,MAAM,aAAaA,IAAAA,EAAE,MAAMA,IAAAA,EAAE,QAAQ,EAAEA,IAAAA,EAAE,QAAsB,EAAE;CAC/D,SAAS,MAAM,EAAE,UAAU;CAC3B,SAAS,MAAMC,sBAAAA,aAAa,WAAW,EAAE;CAC1C,CAAC;AAEF,MAAa,sBAAsBD,IAAAA,EAAE,OAAO;CAC1C,MAAMA,IAAAA,EAAE,QAAQ,cAAc;CAC9B,MAAM;CACN,OAAOA,IAAAA,EAAE,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC,UAAU;CACzC,OAAOA,IAAAA,EAAE,KAAK,CAAC,SAAS,OAAO,CAAC,CAAC,UAAU;CAC3C,SAASA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CAC9B,WAAWA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACjC,CAAC;AAIF,MAAa,2BAA2BA,IAAAA,EAAE,OAAO,EAC/C,MAAM,YACP,CAAC;AAIF,MAAa,kBAAkBA,IAAAA,EAAE,OAAO;CACtC,MAAMA,IAAAA,EAAE,QAAQ,QAAQ;CACxB,KAAKA,IAAAA,EAAE,QAAQ;CACf,YAAY;CACZ,WAAW;CACX,WAAW;CACX,WAAWA,IAAAA,EAAE,QAAQ;CACrB,UAAUA,IAAAA,EAAE,SAAS;CACrB,WAAWA,IAAAA,EAAE,SAAS;CACtB,aAAaA,IAAAA,EAAE,SAAS;CACxB,gBAAgBA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACrC,YAAYA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACjC,YAAYA,IAAAA,EAAE,MAAM,oBAAoB;CACxC,iBAAiBA,IAAAA,EAAE,MAAM,yBAAyB,CAAC,UAAU;CAC9D,CAAC;AAIF,MAAa,mBAAmBA,IAAAA,EAAE,OAAO;CACvC,MAAMA,IAAAA,EAAE,QAAQ,SAAS;CACzB,MAAM;CACN,OAAOA,IAAAA,EAAE,QAAQ;CACjB,YAAYA,IAAAA,EAAE,QAAQ;CACtB,YAAYA,IAAAA,EAAE,SAAS;CACvB,cAAcA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACnC,SAASA,IAAAA,EAAE,SAAS;CACpB,WAAWA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CAChC,SAASA,IAAAA,EAAE,KAAK;EAAC;EAAS;EAAQ;EAAY;EAAW,CAAC,CAAC,UAAU;CACrE,YAAYA,IAAAA,EAAE,KAAK,CAAC,UAAU,aAAa,CAAC,CAAC,UAAU;CACxD,CAAC;AAIF,MAAa,kBAAkBA,IAAAA,EAAE,OAAO;CACtC,MAAMA,IAAAA,EAAE,QAAQ,QAAQ;CACxB,KAAKA,IAAAA,EAAE,QAAQ;CACf,YAAY;CACZ,WAAW;CACX,YAAYA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACjC,iBAAiBA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACtC,SAASA,IAAAA,EAAE,MAAM,iBAAiB,CAAC,QAAQ,EAAE,CAAC;CAC/C,CAAC;AAIF,MAAa,uBAAuBA,IAAAA,EAAE,OAAO;CAC3C,MAAMA,IAAAA,EAAE,QAAQ,aAAa;CAC7B,KAAKA,IAAAA,EAAE,QAAQ;CACf,YAAY;CACZ,WAAW;CACX,gBAAgB;CAChB,gBAAgBA,IAAAA,EACb,KAAK;EACJ;EACA;EACA;EACA;EACA;EACA;EACA;EACD,CAAC,CACD,GAAGA,IAAAA,EAAE,QAAQ,CAAC;CACjB,YAAYA,IAAAA,EAAE,QAAQ;CACtB,cAAcA,IAAAA,EAAE,SAAS,CAAC,UAAU;CACpC,qBAAqBA,IAAAA,EAAE,SAAS,CAAC,UAAU;CAC3C,aAAaA,IAAAA,EAAE,SAAS,CAAC,UAAU;CACnC,iBAAiBA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACvC,CAAC;AAIF,MAAa,qBAAqBA,IAAAA,EAAE,OAAO;CACzC,MAAMA,IAAAA,EAAE,QAAQ,WAAW;CAC3B,YAAY;CACZ,YAAY;CACZ,YAAYA,IAAAA,EAAE,KAAK;EAAC;EAAY;EAAa;EAAa;EAAkB,CAAC;CAC7E,mBAAmBA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACxC,YAAYA,IAAAA,EAAE,QAAQ;CACvB,CAAC;AAIF,MAAa,sBAAsBA,IAAAA,EAAE,OAAO;CAC1C,eAAeA,IAAAA,EAAE,QAAQ;CACzB,SAASA,IAAAA,EAAE,QAAQ;CACnB,YAAY;CACb,CAAC;AAIF,MAAa,iBAAiBA,IAAAA,EAAE,OAAO;CACrC,MAAMA,IAAAA,EAAE,QAAQ,OAAO;CACvB,YAAY;CACZ,UAAU;CACV,YAAYA,IAAAA,EAAE,KAAK,CAAC,QAAQ,oBAAoB,CAAC;CACjD,YAAYA,IAAAA,EAAE,QAAQ;CACtB,YAAYA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CAClC,CAAC;AAIF,MAAa,2BAA2BA,IAAAA,EAAE,OAAO;CAC/C,MAAM;CACN,YAAYA,IAAAA,EAAE,QAAQ;CACvB,CAAC;AAIF,MAAa,+BAA+BA,IAAAA,EAAE,OAAO;CACnD,MAAMA,IAAAA,EAAE,QAAQ,qBAAqB;CACrC,MAAM;CACN,eAAeA,IAAAA,EAAE,QAAQ;CACzB,WAAW,WAAW,UAAU;CACjC,CAAC;AAMF,MAAa,iBAAiBA,IAAAA,EAAE,OAAO;CACrC,MAAMA,IAAAA,EAAE,QAAQ,OAAO;CACvB,YAAY;CACZ,UAAU;CACV,cAAcA,IAAAA,EAAE,KAAK;EAAC;EAAQ;EAAU;EAAY,CAAC;CACrD,YAAYA,IAAAA,EAAE,MAAMA,IAAAA,EAAE,QAAQ,CAAC,CAAC,UAAU;CAC1C,gBAAgBA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACrC,iBAAiBA,IAAAA,EAAE,SAAS,CAAC,UAAU;CACvC,eAAeA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACpC,mBAAmBA,IAAAA,EAAE,MAAM,yBAAyB,CAAC,UAAU;CAC/D,qBAAqBA,IAAAA,EAAE,MAAM,6BAA6B,CAAC,UAAU;CACtE,CAAC;AAIF,MAAa,oBAAoBA,IAAAA,EAAE,OAAO;CACxC,YAAY;CACZ,WAAW;CACX,aAAa;CACb,YAAYA,IAAAA,EAAE,QAAQ;CACtB,aAAaA,IAAAA,EAAE,QAAQ;CACxB,CAAC;AAIF,MAAa,aAAaA,IAAAA,EAAE,OAAO;CACjC,SAASA,IAAAA,EAAE,MAAM,gBAAgB,CAAC,QAAQ,EAAE,CAAC;CAC7C,QAAQA,IAAAA,EAAE,MAAM,gBAAgB,CAAC,QAAQ,EAAE,CAAC;CAC5C,aAAaA,IAAAA,EAAE,MAAM,qBAAqB,CAAC,QAAQ,EAAE,CAAC;CACtD,WAAWA,IAAAA,EAAE,MAAM,mBAAmB,CAAC,QAAQ,EAAE,CAAC;CAClD,YAAYA,IAAAA,EAAE,MAAM,oBAAoB,CAAC,QAAQ,EAAE,CAAC;CACpD,OAAOA,IAAAA,EAAE,MAAM,eAAe,CAAC,QAAQ,EAAE,CAAC;CAC1C,OAAOA,IAAAA,EAAE,MAAM,eAAe,CAAC,QAAQ,EAAE,CAAC;CAC1C,UAAUA,IAAAA,EAAE,MAAM,kBAAkB,CAAC,QAAQ,EAAE,CAAC;CACjD,CAAC;AAIF,eAAsB,WAAW,IAAmC;CAClE,MAAM,OAAO,MAAM,GAAG,KAA6BE,oBAAAA,gBAAgB;AACnE,QAAO,WAAW,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC"}
+{"version":3,"file":"schema.cjs","names":["z","PgIdentifier","SCHEMA_DUMP_SQL"],"sources":["../src/schema.ts"],"sourcesContent":["import { z } from \"zod\";\nimport { SCHEMA_DUMP_SQL } from \"./schema-dump.js\";\nimport type { Postgres } from \"./sql/database.js\";\nimport { PgIdentifier } from \"./sql/pg-identifier.js\";\n\nconst Identifier = z.codec(z.string(), z.custom<PgIdentifier>(), {\n  encode: (v) => v.toString(),\n  decode: (v) => PgIdentifier.fromString(v),\n});\n\nexport const FullSchemaKeyColumn = z.object({\n  type: z.literal(\"indexColumn\"),\n  name: Identifier,\n  order: z.enum([\"ASC\", \"DESC\"]).optional(),\n  nulls: z.enum([\"FIRST\", \"LAST\"]).optional(),\n  opclass: z.string().optional(),\n  collation: z.string().optional(),\n});\n\nexport type FullSchemaKeyColumn = z.infer<typeof FullSchemaKeyColumn>;\n\nexport const FullSchemaIncludedColumn = z.object({\n  name: Identifier,\n});\n\nexport type FullSchemaIncludedColumn = z.infer<typeof FullSchemaIncludedColumn>;\n\nexport const FullSchemaIndex = z.object({\n  type: z.literal(\"index\"),\n  oid: z.number(),\n  schemaName: Identifier,\n  tableName: Identifier,\n  indexName: Identifier,\n  indexType: z.string(),\n  isUnique: z.boolean(),\n  isPrimary: z.boolean(),\n  isClustered: z.boolean(),\n  wherePredicate: z.string().optional(),\n  tablespace: z.string().optional(),\n  keyColumns: z.array(FullSchemaKeyColumn),\n  includedColumns: z.array(FullSchemaIncludedColumn).optional(),\n});\n\nexport type FullSchemaIndex = z.infer<typeof FullSchemaIndex>;\n\nexport const FullSchemaColumn = z.object({\n  type: z.literal(\"column\"),\n  name: Identifier,\n  order: z.number(),\n  columnType: z.string(),\n  isNullable: z.boolean(),\n  defaultValue: z.string().optional(),\n  dropped: z.boolean(),\n  collation: z.string().optional(),\n  storage: z.enum([\"plain\", \"main\", \"external\", \"extended\"]).optional(),\n  isIdentity: z.enum([\"always\", \"by default\"]).optional(),\n});\n\nexport type FullSchemaColumn = z.infer<typeof FullSchemaColumn>;\n\nexport const FullSchemaTable = z.object({\n  type: z.literal(\"table\"),\n  oid: z.number(),\n  schemaName: Identifier,\n  tableName: Identifier,\n  tablespace: z.string().optional(),\n  partitionKeyDef: z.string().optional(),\n  columns: z.array(FullSchemaColumn).default([]),\n});\n\nexport type FullSchemaTable = z.infer<typeof FullSchemaTable>;\n\nexport const FullSchemaConstraint = z.object({\n  type: z.literal(\"constraint\"),\n  oid: z.number(),\n  schemaName: Identifier,\n  tableName: Identifier,\n  constraintName: Identifier,\n  constraintType: z\n    .enum([\n      \"check\",\n      \"foreign_key\",\n      \"not_null\",\n      \"primary_key\",\n      \"unique\",\n      \"trigger\",\n      \"exclusion\",\n    ])\n    .or(z.string()),\n  definition: z.string(),\n  isDeferrable: z.boolean().optional(),\n  isInitiallyDeferred: z.boolean().optional(),\n  isValidated: z.boolean().optional(),\n  backingIndexOid: z.number().optional(),\n});\n\nexport type FullSchemaConstraint = z.infer<typeof FullSchemaConstraint>;\n\nexport const FullSchemaFunction = z.object({\n  type: z.literal(\"function\"),\n  schemaName: Identifier,\n  objectName: Identifier,\n  objectType: z.enum([\"function\", \"procedure\", \"aggregate\", \"window function\"]),\n  identityArguments: z.string().optional(),\n  definition: z.string(),\n});\n\nexport type FullSchemaFunction = z.infer<typeof FullSchemaFunction>;\n\nexport const FullSchemaExtension = z.object({\n  type: z.literal(\"extension\"),\n  extensionName: z.string(),\n  version: z.string(),\n  schemaName: Identifier,\n});\n\nexport type FullSchemaExtension = z.infer<typeof FullSchemaExtension>;\n\nexport const FullSchemaView = z.object({\n  type: z.literal(\"view\"),\n  schemaName: Identifier,\n  viewName: Identifier,\n  objectType: z.enum([\"view\", \"materialized_view\"]),\n  definition: z.string(),\n  tablespace: z.string().optional(),\n});\n\nexport type FullSchemaView = z.infer<typeof FullSchemaView>;\n\nexport const FullSchemaTypeConstraint = z.object({\n  name: Identifier,\n  definition: z.string(),\n});\n\nexport type FullSchemaTypeConstraint = z.infer<typeof FullSchemaTypeConstraint>;\n\nexport const FullSchemaCompositeAttribute = z.object({\n  type: z.literal(\"compositeAttribute\"),\n  name: Identifier,\n  attributeType: z.string(),\n  collation: Identifier.optional(),\n});\n\nexport type FullSchemaCompositeAttribute = z.infer<\n  typeof FullSchemaCompositeAttribute\n>;\n\nexport const FullSchemaType = z.object({\n  type: z.literal(\"type\"),\n  schemaName: Identifier,\n  typeName: Identifier,\n  typeCategory: z.enum([\"enum\", \"domain\", \"composite\"]),\n  enumLabels: z.array(z.string()).optional(),\n  domainBaseType: z.string().optional(),\n  domainIsNotNull: z.boolean().optional(),\n  domainDefault: z.string().optional(),\n  domainConstraints: z.array(FullSchemaTypeConstraint).optional(),\n  compositeAttributes: z.array(FullSchemaCompositeAttribute).optional(),\n});\n\nexport type FullSchemaType = z.infer<typeof FullSchemaType>;\n\nexport const FullSchemaTrigger = z.object({\n  type: z.literal(\"trigger\"),\n  schemaName: Identifier,\n  tableName: Identifier,\n  triggerName: Identifier,\n  definition: z.string(),\n  enabledMode: z.string(),\n});\n\nexport type FullSchemaTrigger = z.infer<typeof FullSchemaTrigger>;\n\nexport const FullSchema = z.object({\n  indexes: z.array(FullSchemaIndex).default([]),\n  tables: z.array(FullSchemaTable).default([]),\n  constraints: z.array(FullSchemaConstraint).default([]),\n  functions: z.array(FullSchemaFunction).default([]),\n  extensions: z.array(FullSchemaExtension).default([]),\n  views: z.array(FullSchemaView).default([]),\n  types: z.array(FullSchemaType).default([]),\n  triggers: z.array(FullSchemaTrigger).default([]),\n});\n\nexport type FullSchema = z.infer<typeof FullSchema>;\n\nexport async function dumpSchema(db: Postgres): Promise<FullSchema> {\n  const rows = await db.exec<{ result: FullSchema }>(SCHEMA_DUMP_SQL);\n  return FullSchema.parse(rows[0]?.result ?? {});\n}\n"],"mappings":";;;;;;AAKA,MAAM,aAAaA,IAAAA,EAAE,MAAMA,IAAAA,EAAE,QAAQ,EAAEA,IAAAA,EAAE,QAAsB,EAAE;CAC/D,SAAS,MAAM,EAAE,UAAU;CAC3B,SAAS,MAAMC,sBAAAA,aAAa,WAAW,EAAE;CAC1C,CAAC;AAEF,MAAa,sBAAsBD,IAAAA,EAAE,OAAO;CAC1C,MAAMA,IAAAA,EAAE,QAAQ,cAAc;CAC9B,MAAM;CACN,OAAOA,IAAAA,EAAE,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC,UAAU;CACzC,OAAOA,IAAAA,EAAE,KAAK,CAAC,SAAS,OAAO,CAAC,CAAC,UAAU;CAC3C,SAASA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CAC9B,WAAWA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACjC,CAAC;AAIF,MAAa,2BAA2BA,IAAAA,EAAE,OAAO,EAC/C,MAAM,YACP,CAAC;AAIF,MAAa,kBAAkBA,IAAAA,EAAE,OAAO;CACtC,MAAMA,IAAAA,EAAE,QAAQ,QAAQ;CACxB,KAAKA,IAAAA,EAAE,QAAQ;CACf,YAAY;CACZ,WAAW;CACX,WAAW;CACX,WAAWA,IAAAA,EAAE,QAAQ;CACrB,UAAUA,IAAAA,EAAE,SAAS;CACrB,WAAWA,IAAAA,EAAE,SAAS;CACtB,aAAaA,IAAAA,EAAE,SAAS;CACxB,gBAAgBA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACrC,YAAYA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACjC,YAAYA,IAAAA,EAAE,MAAM,oBAAoB;CACxC,iBAAiBA,IAAAA,EAAE,MAAM,yBAAyB,CAAC,UAAU;CAC9D,CAAC;AAIF,MAAa,mBAAmBA,IAAAA,EAAE,OAAO;CACvC,MAAMA,IAAAA,EAAE,QAAQ,SAAS;CACzB,MAAM;CACN,OAAOA,IAAAA,EAAE,QAAQ;CACjB,YAAYA,IAAAA,EAAE,QAAQ;CACtB,YAAYA,IAAAA,EAAE,SAAS;CACvB,cAAcA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACnC,SAASA,IAAAA,EAAE,SAAS;CACpB,WAAWA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CAChC,SAASA,IAAAA,EAAE,KAAK;EAAC;EAAS;EAAQ;EAAY;EAAW,CAAC,CAAC,UAAU;CACrE,YAAYA,IAAAA,EAAE,KAAK,CAAC,UAAU,aAAa,CAAC,CAAC,UAAU;CACxD,CAAC;AAIF,MAAa,kBAAkBA,IAAAA,EAAE,OAAO;CACtC,MAAMA,IAAAA,EAAE,QAAQ,QAAQ;CACxB,KAAKA,IAAAA,EAAE,QAAQ;CACf,YAAY;CACZ,WAAW;CACX,YAAYA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACjC,iBAAiBA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACtC,SAASA,IAAAA,EAAE,MAAM,iBAAiB,CAAC,QAAQ,EAAE,CAAC;CAC/C,CAAC;AAIF,MAAa,uBAAuBA,IAAAA,EAAE,OAAO;CAC3C,MAAMA,IAAAA,EAAE,QAAQ,aAAa;CAC7B,KAAKA,IAAAA,EAAE,QAAQ;CACf,YAAY;CACZ,WAAW;CACX,gBAAgB;CAChB,gBAAgBA,IAAAA,EACb,KAAK;EACJ;EACA;EACA;EACA;EACA;EACA;EACA;EACD,CAAC,CACD,GAAGA,IAAAA,EAAE,QAAQ,CAAC;CACjB,YAAYA,IAAAA,EAAE,QAAQ;CACtB,cAAcA,IAAAA,EAAE,SAAS,CAAC,UAAU;CACpC,qBAAqBA,IAAAA,EAAE,SAAS,CAAC,UAAU;CAC3C,aAAaA,IAAAA,EAAE,SAAS,CAAC,UAAU;CACnC,iBAAiBA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACvC,CAAC;AAIF,MAAa,qBAAqBA,IAAAA,EAAE,OAAO;CACzC,MAAMA,IAAAA,EAAE,QAAQ,WAAW;CAC3B,YAAY;CACZ,YAAY;CACZ,YAAYA,IAAAA,EAAE,KAAK;EAAC;EAAY;EAAa;EAAa;EAAkB,CAAC;CAC7E,mBAAmBA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACxC,YAAYA,IAAAA,EAAE,QAAQ;CACvB,CAAC;AAIF,MAAa,sBAAsBA,IAAAA,EAAE,OAAO;CAC1C,MAAMA,IAAAA,EAAE,QAAQ,YAAY;CAC5B,eAAeA,IAAAA,EAAE,QAAQ;CACzB,SAASA,IAAAA,EAAE,QAAQ;CACnB,YAAY;CACb,CAAC;AAIF,MAAa,iBAAiBA,IAAAA,EAAE,OAAO;CACrC,MAAMA,IAAAA,EAAE,QAAQ,OAAO;CACvB,YAAY;CACZ,UAAU;CACV,YAAYA,IAAAA,EAAE,KAAK,CAAC,QAAQ,oBAAoB,CAAC;CACjD,YAAYA,IAAAA,EAAE,QAAQ;CACtB,YAAYA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CAClC,CAAC;AAIF,MAAa,2BAA2BA,IAAAA,EAAE,OAAO;CAC/C,MAAM;CACN,YAAYA,IAAAA,EAAE,QAAQ;CACvB,CAAC;AAIF,MAAa,+BAA+BA,IAAAA,EAAE,OAAO;CACnD,MAAMA,IAAAA,EAAE,QAAQ,qBAAqB;CACrC,MAAM;CACN,eAAeA,IAAAA,EAAE,QAAQ;CACzB,WAAW,WAAW,UAAU;CACjC,CAAC;AAMF,MAAa,iBAAiBA,IAAAA,EAAE,OAAO;CACrC,MAAMA,IAAAA,EAAE,QAAQ,OAAO;CACvB,YAAY;CACZ,UAAU;CACV,cAAcA,IAAAA,EAAE,KAAK;EAAC;EAAQ;EAAU;EAAY,CAAC;CACrD,YAAYA,IAAAA,EAAE,MAAMA,IAAAA,EAAE,QAAQ,CAAC,CAAC,UAAU;CAC1C,gBAAgBA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACrC,iBAAiBA,IAAAA,EAAE,SAAS,CAAC,UAAU;CACvC,eAAeA,IAAAA,EAAE,QAAQ,CAAC,UAAU;CACpC,mBAAmBA,IAAAA,EAAE,MAAM,yBAAyB,CAAC,UAAU;CAC/D,qBAAqBA,IAAAA,EAAE,MAAM,6BAA6B,CAAC,UAAU;CACtE,CAAC;AAIF,MAAa,oBAAoBA,IAAAA,EAAE,OAAO;CACxC,MAAMA,IAAAA,EAAE,QAAQ,UAAU;CAC1B,YAAY;CACZ,WAAW;CACX,aAAa;CACb,YAAYA,IAAAA,EAAE,QAAQ;CACtB,aAAaA,IAAAA,EAAE,QAAQ;CACxB,CAAC;AAIF,MAAa,aAAaA,IAAAA,EAAE,OAAO;CACjC,SAASA,IAAAA,EAAE,MAAM,gBAAgB,CAAC,QAAQ,EAAE,CAAC;CAC7C,QAAQA,IAAAA,EAAE,MAAM,gBAAgB,CAAC,QAAQ,EAAE,CAAC;CAC5C,aAAaA,IAAAA,EAAE,MAAM,qBAAqB,CAAC,QAAQ,EAAE,CAAC;CACtD,WAAWA,IAAAA,EAAE,MAAM,mBAAmB,CAAC,QAAQ,EAAE,CAAC;CAClD,YAAYA,IAAAA,EAAE,MAAM,oBAAoB,CAAC,QAAQ,EAAE,CAAC;CACpD,OAAOA,IAAAA,EAAE,MAAM,eAAe,CAAC,QAAQ,EAAE,CAAC;CAC1C,OAAOA,IAAAA,EAAE,MAAM,eAAe,CAAC,QAAQ,EAAE,CAAC;CAC1C,UAAUA,IAAAA,EAAE,MAAM,kBAAkB,CAAC,QAAQ,EAAE,CAAC;CACjD,CAAC;AAIF,eAAsB,WAAW,IAAmC;CAClE,MAAM,OAAO,MAAM,GAAG,KAA6BE,oBAAAA,gBAAgB;AACnE,QAAO,WAAW,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC"}

package/dist/schema.d.cts

@@ -142,6 +142,7 @@ declare const FullSchemaFunction: z.ZodObject<{
 }, z.core.$strip>;
 type FullSchemaFunction = z.infer<typeof FullSchemaFunction>;
 declare const FullSchemaExtension: z.ZodObject<{
+  type: z.ZodLiteral<"extension">;
   extensionName: z.ZodString;
   version: z.ZodString;
   schemaName: z.ZodCodec<z.ZodString, z.ZodCustom<PgIdentifier, PgIdentifier>>;
@@ -197,6 +198,7 @@ declare const FullSchemaType: z.ZodObject<{
 }, z.core.$strip>;
 type FullSchemaType = z.infer<typeof FullSchemaType>;
 declare const FullSchemaTrigger: z.ZodObject<{
+  type: z.ZodLiteral<"trigger">;
   schemaName: z.ZodCodec<z.ZodString, z.ZodCustom<PgIdentifier, PgIdentifier>>;
   tableName: z.ZodCodec<z.ZodString, z.ZodCustom<PgIdentifier, PgIdentifier>>;
   triggerName: z.ZodCodec<z.ZodString, z.ZodCustom<PgIdentifier, PgIdentifier>>;
@@ -298,6 +300,7 @@ declare const FullSchema: z.ZodObject<{
     definition: z.ZodString;
   }, z.core.$strip>>>;
   extensions: z.ZodDefault<z.ZodArray<z.ZodObject<{
+    type: z.ZodLiteral<"extension">;
     extensionName: z.ZodString;
     version: z.ZodString;
     schemaName: z.ZodCodec<z.ZodString, z.ZodCustom<PgIdentifier, PgIdentifier>>;
@@ -338,6 +341,7 @@ declare const FullSchema: z.ZodObject<{
     }, z.core.$strip>>>;
   }, z.core.$strip>>>;
   triggers: z.ZodDefault<z.ZodArray<z.ZodObject<{
+    type: z.ZodLiteral<"trigger">;
     schemaName: z.ZodCodec<z.ZodString, z.ZodCustom<PgIdentifier, PgIdentifier>>;
     tableName: z.ZodCodec<z.ZodString, z.ZodCustom<PgIdentifier, PgIdentifier>>;
     triggerName: z.ZodCodec<z.ZodString, z.ZodCustom<PgIdentifier, PgIdentifier>>;

package/dist/schema.d.cts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.cts","names":[],"sources":["../src/schema.ts"],"mappings":";;;;;;;cAUa,mBAAA,EAAmB,CAAA,CAAA,SAAA;;;;;;;;;;;;;;KASpB,mBAAA,GAAsB,CAAA,CAAE,KAAA,QAAa,mBAAA;AAAA,cAEpC,wBAAA,EAAwB,CAAA,CAAA,SAAA;;;KAIzB,wBAAA,GAA2B,CAAA,CAAE,KAAA,QAAa,wBAAA;AAAA,cAEzC,eAAA,EAAe,CAAA,CAAA,SAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAgBhB,eAAA,GAAkB,CAAA,CAAE,KAAA,QAAa,eAAA;AAAA,cAEhC,gBAAA,EAAgB,CAAA,CAAA,SAAA;;;;;;;;;;;;;;;;;;;;KAajB,gBAAA,GAAmB,CAAA,CAAE,KAAA,QAAa,gBAAA;AAAA,cAEjC,eAAA,EAAe,CAAA,CAAA,SAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAUhB,eAAA,GAAkB,CAAA,CAAE,KAAA,QAAa,eAAA;AAAA,cAEhC,oBAAA,EAAoB,CAAA,CAAA,SAAA;;;;;;;;;;;;;;;;;;;;;KAwBrB,oBAAA,GAAuB,CAAA,CAAE,KAAA,QAAa,oBAAA;AAAA,cAErC,kBAAA,EAAkB,CAAA,CAAA,SAAA;;;;;;;;;;;;;KASnB,kBAAA,GAAqB,CAAA,CAAE,KAAA,QAAa,kBAAA;AAAA,cAEnC,mBAAA,EAAmB,CAAA,CAAA,SAAA;;;;;KAMpB,mBAAA,GAAsB,CAAA,CAAE,KAAA,QAAa,mBAAA;AAAA,cAEpC,cAAA,EAAc,CAAA,CAAA,SAAA;;;;;;;;;;;KASf,cAAA,GAAiB,CAAA,CAAE,KAAA,QAAa,cAAA;AAAA,cAE/B,wBAAA,EAAwB,CAAA,CAAA,SAAA;;;;KAKzB,wBAAA,GAA2B,CAAA,CAAE,KAAA,QAAa,wBAAA;AAAA,cAEzC,4BAAA,EAA4B,CAAA,CAAA,SAAA;;;;;;KAO7B,4BAAA,GAA+B,CAAA,CAAE,KAAA,QACpC,4BAAA;AAAA,cAGI,cAAA,EAAc,CAAA,CAAA,SAAA;;;;;;;;;;;;;;;;;;;;;;;;KAaf,cAAA,GAAiB,CAAA,CAAE,KAAA,QAAa,cAAA;AAAA,cAE/B,iBAAA,EAAiB,CAAA,CAAA,SAAA;;;;;;;KAQlB,iBAAA,GAAoB,CAAA,CAAE,KAAA,QAAa,iBAAA;AAAA,cAElC,UAAA,EAAU,CAAA,CAAA,SAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWX,UAAA,GAAa,CAAA,CAAE,KAAA,QAAa,UAAA;AAAA,iBAElB,UAAA,CAAW,EAAA,EAAI,QAAA,GAAW,OAAA,CAAQ,UAAA"}
+{"version":3,"file":"schema.d.cts","names":[],"sources":["../src/schema.ts"],"mappings":";;;;;;;cAUa,mBAAA,EAAmB,CAAA,CAAA,SAAA;;;;;;;;;;;;;;KASpB,mBAAA,GAAsB,CAAA,CAAE,KAAA,QAAa,mBAAA;AAAA,cAEpC,wBAAA,EAAwB,CAAA,CAAA,SAAA;;;KAIzB,wBAAA,GAA2B,CAAA,CAAE,KAAA,QAAa,wBAAA;AAAA,cAEzC,eAAA,EAAe,CAAA,CAAA,SAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAgBhB,eAAA,GAAkB,CAAA,CAAE,KAAA,QAAa,eAAA;AAAA,cAEhC,gBAAA,EAAgB,CAAA,CAAA,SAAA;;;;;;;;;;;;;;;;;;;;KAajB,gBAAA,GAAmB,CAAA,CAAE,KAAA,QAAa,gBAAA;AAAA,cAEjC,eAAA,EAAe,CAAA,CAAA,SAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAUhB,eAAA,GAAkB,CAAA,CAAE,KAAA,QAAa,eAAA;AAAA,cAEhC,oBAAA,EAAoB,CAAA,CAAA,SAAA;;;;;;;;;;;;;;;;;;;;;KAwBrB,oBAAA,GAAuB,CAAA,CAAE,KAAA,QAAa,oBAAA;AAAA,cAErC,kBAAA,EAAkB,CAAA,CAAA,SAAA;;;;;;;;;;;;;KASnB,kBAAA,GAAqB,CAAA,CAAE,KAAA,QAAa,kBAAA;AAAA,cAEnC,mBAAA,EAAmB,CAAA,CAAA,SAAA;;;;;;KAOpB,mBAAA,GAAsB,CAAA,CAAE,KAAA,QAAa,mBAAA;AAAA,cAEpC,cAAA,EAAc,CAAA,CAAA,SAAA;;;;;;;;;;;KASf,cAAA,GAAiB,CAAA,CAAE,KAAA,QAAa,cAAA;AAAA,cAE/B,wBAAA,EAAwB,CAAA,CAAA,SAAA;;;;KAKzB,wBAAA,GAA2B,CAAA,CAAE,KAAA,QAAa,wBAAA;AAAA,cAEzC,4BAAA,EAA4B,CAAA,CAAA,SAAA;;;;;;KAO7B,4BAAA,GAA+B,CAAA,CAAE,KAAA,QACpC,4BAAA;AAAA,cAGI,cAAA,EAAc,CAAA,CAAA,SAAA;;;;;;;;;;;;;;;;;;;;;;;;KAaf,cAAA,GAAiB,CAAA,CAAE,KAAA,QAAa,cAAA;AAAA,cAE/B,iBAAA,EAAiB,CAAA,CAAA,SAAA;;;;;;;;KASlB,iBAAA,GAAoB,CAAA,CAAE,KAAA,QAAa,iBAAA;AAAA,cAElC,UAAA,EAAU,CAAA,CAAA,SAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWX,UAAA,GAAa,CAAA,CAAE,KAAA,QAAa,UAAA;AAAA,iBAElB,UAAA,CAAW,EAAA,EAAI,QAAA,GAAW,OAAA,CAAQ,UAAA"}

package/dist/schema.d.mts

@@ -142,6 +142,7 @@ declare const FullSchemaFunction: z.ZodObject<{
 }, z.core.$strip>;
 type FullSchemaFunction = z.infer<typeof FullSchemaFunction>;
 declare const FullSchemaExtension: z.ZodObject<{
+  type: z.ZodLiteral<"extension">;
   extensionName: z.ZodString;
   version: z.ZodString;
   schemaName: z.ZodCodec<z.ZodString, z.ZodCustom<PgIdentifier, PgIdentifier>>;
@@ -197,6 +198,7 @@ declare const FullSchemaType: z.ZodObject<{
 }, z.core.$strip>;
 type FullSchemaType = z.infer<typeof FullSchemaType>;
 declare const FullSchemaTrigger: z.ZodObject<{
+  type: z.ZodLiteral<"trigger">;
   schemaName: z.ZodCodec<z.ZodString, z.ZodCustom<PgIdentifier, PgIdentifier>>;
   tableName: z.ZodCodec<z.ZodString, z.ZodCustom<PgIdentifier, PgIdentifier>>;
   triggerName: z.ZodCodec<z.ZodString, z.ZodCustom<PgIdentifier, PgIdentifier>>;
@@ -298,6 +300,7 @@ declare const FullSchema: z.ZodObject<{
     definition: z.ZodString;
   }, z.core.$strip>>>;
   extensions: z.ZodDefault<z.ZodArray<z.ZodObject<{
+    type: z.ZodLiteral<"extension">;
     extensionName: z.ZodString;
     version: z.ZodString;
     schemaName: z.ZodCodec<z.ZodString, z.ZodCustom<PgIdentifier, PgIdentifier>>;
@@ -338,6 +341,7 @@ declare const FullSchema: z.ZodObject<{
     }, z.core.$strip>>>;
   }, z.core.$strip>>>;
   triggers: z.ZodDefault<z.ZodArray<z.ZodObject<{
+    type: z.ZodLiteral<"trigger">;
     schemaName: z.ZodCodec<z.ZodString, z.ZodCustom<PgIdentifier, PgIdentifier>>;
     tableName: z.ZodCodec<z.ZodString, z.ZodCustom<PgIdentifier, PgIdentifier>>;
     triggerName: z.ZodCodec<z.ZodString, z.ZodCustom<PgIdentifier, PgIdentifier>>;