@geonosis/release 2.0.0 → 2.1.0

package/dist/index.d.ts

@@ -1,5 +1,41 @@
 import { ReportEnvelope } from '@geonosis/ratchet';
 
+type AdoptionVerdict = 'BEHIND' | 'FLOOR UNDECLARED' | 'INCOHERENT' | 'UNJUDGED';
+type AdoptionFinding = {
+    consumer: string;
+    detail: string;
+    name: string;
+    verdict: AdoptionVerdict;
+};
+type AdoptionConsumer = {
+    /** How many specs naming a package of this workspace that consumer's manifests declare. */
+    declared: number;
+    findings: AdoptionFinding[];
+    name: string;
+};
+type AdoptionReport = {
+    considered: number;
+    consumers: AdoptionConsumer[];
+    excused: {
+        path: string;
+        reason: string;
+    }[];
+    /** The registry the current numbers came from, or undefined when they came off this workspace. */
+    registry: string | undefined;
+    versions: Record<string, string>;
+};
+declare const runAdoption: ({ declared, registry, root, }: {
+    declared: {
+        name: string;
+    }[];
+    registry?: string;
+    root: string;
+}) => Promise<AdoptionReport>;
+declare const formatAdoption: (report: AdoptionReport) => string;
+declare const ADOPTION_TOOL = "release-adoption";
+declare const ADOPTION_NEXT = "geonosis-release adoption --json and read `consumers` \u2014 every declared consumer leaves by exactly one door, read or excused, and a release review carries one row per consumer from it (D-061)";
+declare const adoptionEnvelope: (report: AdoptionReport, durationMs: number) => ReportEnvelope;
+
 /** The dialects the gate can route to. A dialect is never sniffed: it is what the repo declared. */
 type Dialect = 'mikro-orm-ts' | 'postgres' | 'sqlite';
 type Phase = 'down' | 'up';
@@ -40,8 +76,12 @@ type SchemaReport = {
         why: string;
     }[];
 };
-/** One consumer tree a release must be read against, and how that one is installed. */
+/**
+ * One consumer tree a release must be read against, how that one is installed, and the commands
+ * that are ITS gates when the three script names are not what that tree calls them.
+ */
 type SmokeSnapshotConfig = {
+    commands?: Partial<Record<'doctor' | 'lint' | 'typecheck', string>>;
     install?: string;
     name: string;
 };
@@ -398,9 +438,17 @@ type Command = {
 };
 type SmokePhase = 'doctor' | 'lint' | 'typecheck';
 declare const PHASES: SmokePhase[];
+/** Where the source tree stood, or the sentence saying why nothing here could say. */
+type RecordedCommit = {
+    sha: string;
+} | {
+    why: string;
+};
 type SnapshotRecord = {
     at: string;
     bytes: number;
+    /** Absent in a recording taken before this was recorded at all. */
+    commit?: RecordedCommit;
     commands: Record<SmokePhase, Command>;
     excluded: string[];
     files: number;
@@ -413,6 +461,8 @@ type SnapshotRecord = {
     }[];
     name: string;
 };
+/** git asked in THEIR tree, and only ever asked: law 5 forbids this tool writing a byte there. */
+declare const headOf: (from: string) => RecordedCommit;
 declare const snapshotDir: (root: string, name: string) => string;
 declare const readSnapshot: (root: string, name: string) => SnapshotRecord;
 type SnapshotInput = {
@@ -490,6 +540,7 @@ declare const rewriteManifests: (tree: string, manifests: string[], packed: Pack
     path: string;
 }[];
 type RunInput = {
+    commands?: Partial<Record<SmokePhase, string>>;
     install?: string;
     name: string;
     rc?: string;
@@ -499,16 +550,42 @@ declare const recordBaseline: (input: RunInput) => SmokeBaseline;
 declare const readBaseline: (root: string, name: string) => SmokeBaseline;
 declare const compareToBaseline: (name: string, baseline: SmokeBaseline, outcomes: PhaseOutcome[], findings: string[]) => SmokeComparison;
 declare const runSmoke: (input: RunInput) => SmokeComparison;
-type SmokeSkip = {
+/**
+ * What the sweep can say about WHEN a recording was taken: that its source has moved on, or that
+ * the question cannot be asked of it at all.
+ */
+type SweepNote = {
+    stale: string;
+} | {
+    undated: string;
+};
+/** One declared consumer's turn in the sweep, in the order the repo declared it. */
+type SweepEntry = {
+    comparison: SmokeComparison;
+    name: string;
+    note?: SweepNote;
+} | {
     name: string;
     why: string;
 };
 type SmokeSweep = {
-    comparisons: SmokeComparison[];
-    skipped: SmokeSkip[];
+    entries: SweepEntry[];
 };
+type WantedSnapshot = {
+    commands?: Partial<Record<SmokePhase, string>>;
+    install?: string;
+    name: string;
+};
+/**
+ * Where a consumer tree that has never been recorded lives on THIS machine.
+ *
+ * A never-recorded name has no `from` to look at, so the paths are declared here — uncommitted,
+ * under the directory D-048 already keeps out of git, because a machine's checkout layout is one
+ * developer's and not the repo's.
+ */
+declare const CONSUMER_TREES_FILE = ".geonosis/consumer-trees.local.json";
 /**
- * Every snapshot the release expects, read in turn.
+ * Every snapshot the release expects, read in turn, in the order the repo declared them.
  *
  * A tree that is not on this machine is SKIPPED with the sentence saying so — a laptop without the
  * consumer trees must not fail, it must say what it could not ask. The skip is not free: its three
@@ -516,6 +593,8 @@ type SmokeSweep = {
  * read as a sweep that asked everything.
  */
 declare const sweepSmoke: (input: {
+    /** Declared names this run is excused from reading, each said out loud on the command line. */
+    absent?: string[];
     rc?: string;
     root: string;
     /**
@@ -524,11 +603,9 @@ declare const sweepSmoke: (input: {
      * has to be answered, not stepped around.
      */
     skipMissing: boolean;
-    wanted: {
-        install?: string;
-        name: string;
-    }[];
+    wanted: WantedSnapshot[];
 }) => SmokeSweep;
+declare const comparisonsIn: (sweep: SmokeSweep) => SmokeComparison[];
 declare const formatSweep: (sweep: SmokeSweep) => string;
 declare const sweepEnvelope: (sweep: SmokeSweep, durationMs: number) => ReportEnvelope;
 declare const formatSmoke: (comparison: SmokeComparison) => string;
@@ -579,4 +656,4 @@ declare const statementsOf: (sql: string) => string;
 /** One refusal per verb per file, at the line of that verb's first occurrence. */
 declare const refusalsIn: (path: string, body: string, firstLine?: number) => Refusal[];
 
-export { BASELINE_FILE, type Command, DEFAULT_REGISTRY, DEPLOYED_FILE, type Declared, type Deployed, type DeployedReport, type Dialect, type Drift, EXCLUDED_DIRS, EXISTS_BUT, type Manager, type MigrationDir, type MigrationsReport, NARROWING, NOTHING_SAYS, PHASES, PLANTS, type Packed, type Phase, type PhaseOutcome, type PlanReport, type ProveOutcome, type PublishedLine, type PublishedReport, type PublishedVerdict, type Refusal, type RegistryAnswer, type ReleaseConfig, Runner, SMOKE_NEXT, SMOKE_TOOL, SNAPSHOTS_DIR, STEPS, type SchemaConfig, type SchemaDomain, type SchemaFinding, type SchemaReport, type SmokeBaseline, type SmokeComparison, type SmokePhase, type SmokeSkip, type SmokeSweep, type SnapshotRecord, type Verdict, WHY_VERSION_IDENTITY, addSqlIn, askRegistry, censusOf, compareToBaseline, declaredIn, driftBetween, formatBaseline, formatDeployed, formatMigrations, formatPlan, formatProve, formatPublished, formatSchema, formatSmoke, formatSnapshot, formatSweep, formatVerdict, markersIn, packRc, parseJsonc, parseReleaseConfig, parseToml, promisedButNotPacked, prove, proveOver, readBaseline, readDeployed, readReleaseConfig, readSnapshot, readWrangler, recordBaseline, refusalsIn, registryPathOf, rewriteManifests, runDeployed, runMigrations, runPlan, runPublished, runSchema, runSmoke, runSnapshot, smokeEnvelope, snapshotDir, statementsOf, sweepEnvelope, sweepSmoke };
+export { ADOPTION_NEXT, ADOPTION_TOOL, type AdoptionConsumer, type AdoptionFinding, type AdoptionReport, type AdoptionVerdict, BASELINE_FILE, CONSUMER_TREES_FILE, type Command, DEFAULT_REGISTRY, DEPLOYED_FILE, type Declared, type Deployed, type DeployedReport, type Dialect, type Drift, EXCLUDED_DIRS, EXISTS_BUT, type Manager, type MigrationDir, type MigrationsReport, NARROWING, NOTHING_SAYS, PHASES, PLANTS, type Packed, type Phase, type PhaseOutcome, type PlanReport, type ProveOutcome, type PublishedLine, type PublishedReport, type PublishedVerdict, type RecordedCommit, type Refusal, type RegistryAnswer, type ReleaseConfig, Runner, SMOKE_NEXT, SMOKE_TOOL, SNAPSHOTS_DIR, STEPS, type SchemaConfig, type SchemaDomain, type SchemaFinding, type SchemaReport, type SmokeBaseline, type SmokeComparison, type SmokePhase, type SmokeSweep, type SnapshotRecord, type SweepEntry, type SweepNote, type Verdict, WHY_VERSION_IDENTITY, type WantedSnapshot, addSqlIn, adoptionEnvelope, askRegistry, censusOf, compareToBaseline, comparisonsIn, declaredIn, driftBetween, formatAdoption, formatBaseline, formatDeployed, formatMigrations, formatPlan, formatProve, formatPublished, formatSchema, formatSmoke, formatSnapshot, formatSweep, formatVerdict, headOf, markersIn, packRc, parseJsonc, parseReleaseConfig, parseToml, promisedButNotPacked, prove, proveOver, readBaseline, readDeployed, readReleaseConfig, readSnapshot, readWrangler, recordBaseline, refusalsIn, registryPathOf, rewriteManifests, runAdoption, runDeployed, runMigrations, runPlan, runPublished, runSchema, runSmoke, runSnapshot, smokeEnvelope, snapshotDir, statementsOf, sweepEnvelope, sweepSmoke };

package/dist/index.js

@@ -1,5 +1,8 @@
 import {
+  ADOPTION_NEXT,
+  ADOPTION_TOOL,
   BASELINE_FILE,
+  CONSUMER_TREES_FILE,
   DEFAULT_REGISTRY,
   DEPLOYED_FILE,
   EXCLUDED_DIRS,
@@ -15,11 +18,14 @@ import {
   STEPS,
   WHY_VERSION_IDENTITY,
   addSqlIn,
+  adoptionEnvelope,
   askRegistry,
   censusOf,
   compareToBaseline,
+  comparisonsIn,
   declaredIn,
   driftBetween,
+  formatAdoption,
   formatBaseline,
   formatDeployed,
   formatMigrations,
@@ -31,6 +37,7 @@ import {
   formatSnapshot,
   formatSweep,
   formatVerdict,
+  headOf,
   markersIn,
   packRc,
   parseJsonc,
@@ -48,6 +55,7 @@ import {
   refusalsIn,
   registryPathOf,
   rewriteManifests,
+  runAdoption,
   runDeployed,
   runMigrations,
   runPlan,
@@ -60,9 +68,12 @@ import {
   statementsOf,
   sweepEnvelope,
   sweepSmoke
-} from "./chunk-KQIWTXQP.js";
+} from "./chunk-MZWAN6WT.js";
 export {
+  ADOPTION_NEXT,
+  ADOPTION_TOOL,
   BASELINE_FILE,
+  CONSUMER_TREES_FILE,
   DEFAULT_REGISTRY,
   DEPLOYED_FILE,
   EXCLUDED_DIRS,
@@ -78,11 +89,14 @@ export {
   STEPS,
   WHY_VERSION_IDENTITY,
   addSqlIn,
+  adoptionEnvelope,
   askRegistry,
   censusOf,
   compareToBaseline,
+  comparisonsIn,
   declaredIn,
   driftBetween,
+  formatAdoption,
   formatBaseline,
   formatDeployed,
   formatMigrations,
@@ -94,6 +108,7 @@ export {
   formatSnapshot,
   formatSweep,
   formatVerdict,
+  headOf,
   markersIn,
   packRc,
   parseJsonc,
@@ -111,6 +126,7 @@ export {
   refusalsIn,
   registryPathOf,
   rewriteManifests,
+  runAdoption,
   runDeployed,
   runMigrations,
   runPlan,

package/dist/release-cli.js

@@ -1,10 +1,14 @@
 import {
+  ADOPTION_NEXT,
   CannotRun,
   DEFAULT_REGISTRY,
   MIGRATIONS_NEXT,
   PUBLISHED_NEXT,
   SCHEMA_NEXT,
   SMOKE_NEXT,
+  adoptionEnvelope,
+  comparisonsIn,
+  formatAdoption,
   formatBaseline,
   formatDeployed,
   formatMigrations,
@@ -21,6 +25,7 @@ import {
   publishedEnvelope,
   readReleaseConfig,
   recordBaseline,
+  runAdoption,
   runDeployed,
   runMigrations,
   runPlan,
@@ -31,7 +36,7 @@ import {
   sweepEnvelope,
   sweepSmoke,
   writeEnvelope
-} from "./chunk-KQIWTXQP.js";
+} from "./chunk-MZWAN6WT.js";
 
 // src/release-cli.ts
 import { existsSync } from "fs";
@@ -101,6 +106,18 @@ var USAGE = `geonosis-release <command> [options]
 
               Exit 0 the whole group is there, 1 a gap, 2 the registry could not be asked.
 
+  adoption [--registry <url>] [--root <dir>] [--json]
+
+              How far every declared consumer is from the version this workspace holds, read off
+              the recordings the smoke keeps and never off a consumer's disk. Per consumer: MATCH,
+              BEHIND <name> <declared> \u2192 <current>, INCOHERENT (a group published as one number
+              declared at two), FLOOR UNDECLARED (informational \u2014 a floor is opted into).
+
+              --registry compares against what npm answers instead of against this workspace.
+
+              Exit 0 always: it is a report, and the release review carries one row per consumer
+              from it (D-061).
+
   smoke snapshot <name> --from <their tree> [--replace] [--root <dir>] [--json]
                         [--typecheck <cmd>] [--lint <cmd>] [--doctor <cmd>]
 
@@ -113,7 +130,8 @@ var USAGE = `geonosis-release <command> [options]
               them be committed.
 
   smoke baseline --snapshot <name> [--rc-dir <workspace>] [--install <cmd>] [--json]
-  smoke run      --snapshot <name> [--rc-dir <workspace>] [--install <cmd>] [--json]
+  smoke run      [--snapshot <name>] [--absent <name>]... [--rc-dir <workspace>] [--install <cmd>]
+                 [--json]
 
               Pack every workspace package of the release candidate (\`pnpm pack\` \u2014 a tarball is
               what a consumer installs, and a release that shipped no declarations shipped them in
@@ -125,8 +143,15 @@ var USAGE = `geonosis-release <command> [options]
               \`run\` compares against it and refuses only what THIS release broke, in their
               compiler's and their doctor's own lines. Exit 0 nothing new, 1 a new failure,
               2 the run could not be made \u2014 including a phase the baseline cannot be compared to.
+
+              With no --snapshot it sweeps every consumer geonosis.json declares, one block each in
+              declaration order. A declared name with no recording whose tree is on this machine \u2014
+              named in .geonosis/consumer-trees.local.json, uncommitted \u2014 REFUSES with the snapshot
+              command to run; --absent <name> excuses one out loud and keeps it in the count. A
+              recording whose source tree has moved since it was taken prints STALE.
 `;
 var VALUED = /* @__PURE__ */ new Set([
+  "--absent",
   "--dialect",
   "--doctor",
   "--from",
@@ -144,6 +169,7 @@ var VALUED = /* @__PURE__ */ new Set([
 var FLAGS = /* @__PURE__ */ new Set(["--check", "--group", "--i-accept-an-unproven-smoke", "--json", "--replace"]);
 var DIALECTS = /* @__PURE__ */ new Set(["mikro-orm-ts", "postgres", "sqlite"]);
 var parseArgs = (argv) => {
+  const many = {};
   const read = {};
   const flags = /* @__PURE__ */ new Set();
   const rest = [];
@@ -163,9 +189,10 @@ var parseArgs = (argv) => {
     const value = argv[index + 1];
     if (value === void 0 || value.startsWith("--")) throw new CannotRun(`${flag} needs a value`);
     read[flag] = value;
+    many[flag] = [...many[flag] ?? [], value];
     index += 1;
   }
-  return { command: argv[0] ?? "", flags, json, read, rest };
+  return { command: argv[0] ?? "", flags, json, many, read, rest };
 };
 var rootOf = (parsed, cwd) => resolve(cwd, parsed.read["--root"] ?? cwd);
 var migrations = (parsed, cwd) => {
@@ -281,6 +308,28 @@ var published = async (parsed, cwd) => {
   if (report.unreachable > 0) return 2;
   return report.ok ? 0 : 1;
 };
+var adoption = async (parsed, cwd) => {
+  const root = rootOf(parsed, cwd);
+  const startedAt = Date.now();
+  const registry = parsed.read["--registry"];
+  const report = await runAdoption({
+    declared: readReleaseConfig(root).smoke?.snapshots ?? [],
+    ...registry === void 0 ? {} : { registry },
+    root
+  });
+  process.stdout.write(
+    parsed.json ? `${JSON.stringify(report, void 0, 2)}
+` : formatAdoption(report)
+  );
+  const at = writeEnvelope({
+    envelope: adoptionEnvelope(report, Date.now() - startedAt),
+    next: ADOPTION_NEXT,
+    root
+  });
+  if (!parsed.json) process.stdout.write(`envelope: ${at}
+`);
+  return 0;
+};
 var namedCommands = (parsed) => ({
   ...parsed.read["--doctor"] === void 0 ? {} : { doctor: parsed.read["--doctor"] },
   ...parsed.read["--lint"] === void 0 ? {} : { lint: parsed.read["--lint"] },
@@ -315,7 +364,11 @@ var wantedSnapshots = (parsed, root) => {
   const install = parsed.read["--install"];
   const withFlag = (one) => {
     const chosen = install ?? one.install;
-    return { ...chosen === void 0 ? {} : { install: chosen }, name: one.name };
+    return {
+      ...one.commands === void 0 ? {} : { commands: one.commands },
+      ...chosen === void 0 ? {} : { install: chosen },
+      name: one.name
+    };
   };
   if (named === void 0) return configured.map(withFlag);
   return [withFlag(configured.find((one) => one.name === named) ?? { name: named })];
@@ -336,6 +389,7 @@ var baseline = (parsed, root, cwd) => {
   }
   const rc = parsed.read["--rc-dir"];
   const recorded = recordBaseline({
+    ...one.commands === void 0 ? {} : { commands: one.commands },
     ...one.install === void 0 ? {} : { install: one.install },
     name: one.name,
     ...rc === void 0 ? {} : { rc: resolve(cwd, rc) },
@@ -356,6 +410,7 @@ var smokeRun = (parsed, root, cwd) => {
     );
   }
   const swept = sweepSmoke({
+    absent: parsed.many["--absent"] ?? [],
     rc: rcOf(parsed, root, cwd),
     root,
     skipMissing: parsed.read["--snapshot"] === void 0,
@@ -372,8 +427,9 @@ var smokeRun = (parsed, root, cwd) => {
   });
   if (!parsed.json) process.stdout.write(`envelope: ${at}
 `);
-  if (swept.comparisons.some((one) => one.refused.length > 0)) return 2;
-  return swept.comparisons.every((one) => one.ok) ? 0 : 1;
+  const comparisons = comparisonsIn(swept);
+  if (comparisons.some((one) => one.refused.length > 0)) return 2;
+  return comparisons.every((one) => one.ok) ? 0 : 1;
 };
 var smoke = (parsed, cwd) => {
   const root = rootOf(parsed, cwd);
@@ -397,8 +453,10 @@ geonosis.json \u2192 "release"      every key optional; a repo that configured n
       sessionVariables string[]? the session variable names DDL may name
   smoke         object?         the consumer trees this release is read against
       exclude   string[]?       what a snapshot leaves behind, beyond the built and the installed
-      snapshots Entry[]?        { name, install? } \u2014 the recorded snapshot, and the command that
-                                tree is installed with when the manager's default is not it
+      snapshots Entry[]?        { name, install?, commands? } \u2014 the recorded snapshot, the command
+                                that tree is installed with when the manager's default is not it,
+                                and { doctor?, lint?, typecheck? } when their gates are not the
+                                scripts of those names
   secrets       string[]?       the secret names a deployment carries
   steps         string[]?       the release steps
   workers       string[]?       the workers it deploys
@@ -431,8 +489,9 @@ var main = async () => {
   if (parsed.command === "prove") return proving(parsed, process.cwd());
   if (parsed.command === "deployed") return deployed(parsed, process.cwd());
   if (parsed.command === "published") return published(parsed, process.cwd());
+  if (parsed.command === "adoption") return adoption(parsed, process.cwd());
   throw new CannotRun(
-    `no command called "${parsed.command}" \u2014 this bin has migrations, plan, prove, deployed, published`
+    `no command called "${parsed.command}" \u2014 this bin has migrations, schema, plan, prove, deployed, published, adoption, smoke`
   );
 };
 try {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@geonosis/release",
-  "version": "2.0.0",
+  "version": "2.1.0",
   "types": "./dist/index.d.ts",
   "description": "The release contract with its proofs: an expand-only migration gate over three dialects, a smoke that must name the version that answered it, and declared ≠ deployed.",
   "keywords": [
@@ -45,7 +45,7 @@
   },
   "devDependencies": {
     "squawk-cli": "2.63.0",
-    "@geonosis/ratchet": "2.0.0"
+    "@geonosis/ratchet": "2.1.0"
   },
   "engines": {
     "node": ">=22"