@bongos/core 1.19.599 → 1.19.601

package/.bongos-core.json

@@ -2,22 +2,22 @@
   "artifact": "bongos-core",
   "manifest_schema": 1,
   "generator": "scripts/gds/package-core.js",
-  "core_version": "1.19.599",
-  "core_contract": "1.19.599",
-  "source_commit": "f59ebfca96e7c415cbc1fad82765ad3a5b9928f0",
+  "core_version": "1.19.601",
+  "core_contract": "1.19.601",
+  "source_commit": "16a19ddf0ad7e10177aea562deb878093568f308",
   "source_ref": "HEAD",
-  "built_at": "2026-09-08T04:29:29.015Z",
+  "built_at": "2026-09-08T05:00:27.028Z",
   "redaction": {
     "model": "docs-redacted+functional-verbatim",
     "docs_redacted": 457,
     "agent_docs_stubbed": 24,
-    "functional_verbatim": 2073,
+    "functional_verbatim": 2076,
     "rules": 3,
     "gate_literals": 3,
     "gate": "passed"
   },
-  "file_count": 2554,
-  "tree_sha256": "aedc5cdbc47fef15f2a6faed62adffd158b835cfe6b534ff142dc4bef06645ea",
+  "file_count": 2557,
+  "tree_sha256": "eb65ec1fb208a9e7c09906234b5a43e7660816544a9b4ae44ecf94d7f64e6260",
   "files": [
     {
       "path": ".claude/skills/blocker-review/SKILL.md",
@@ -392,7 +392,7 @@
     {
       "path": "clients/bongos-client/index.d.ts",
       "mode": "0000644",
-      "sha256": "16af99cbe6df845f0f7a90f4569f77550635af0967dce552e2ef07a7b4ef0080"
+      "sha256": "877ca14cd017c1392fcc5206c2f3603fb24becdc32670aa1e2ad0de9d930dfca"
     },
     {
       "path": "clients/bongos-client/index.mjs",
@@ -1852,7 +1852,7 @@
     {
       "path": "docs/api/openapi.json",
       "mode": "0000644",
-      "sha256": "f2433a337aed6aa2f0f1a1c2d61b17103b493a028fa03c2944b92b5f3bb5e609"
+      "sha256": "81485c0440de636511dc9ee723e18af89f313b175ea626723d0beeeed31bba2f"
     },
     {
       "path": "docs/architecture.md",
@@ -2727,7 +2727,7 @@
     {
       "path": "docs/module-api-changelog.md",
       "mode": "0000644",
-      "sha256": "2fc4af2f63b7d20ac659d4e25f0c17a4489e45ab57f8c03e2591063266d5017c"
+      "sha256": "71f84a8b41b3efb16f49909dcf6b6542deecfa51378e24ad271267cf3de1d6a9"
     },
     {
       "path": "docs/modules-contract.md",
@@ -5532,7 +5532,7 @@
     {
       "path": "modules/lifecycle/db-goals.js",
       "mode": "0000644",
-      "sha256": "e8df5e0da281082f8627d3c985dc1993c3c36e9a9848594fadc8393ea7c128d2"
+      "sha256": "dde23a909ea56f7102d42af9bd5a832449940b00b4bfac7ed779e7938d95885c"
     },
     {
       "path": "modules/lifecycle/db-grade.js",
@@ -5567,12 +5567,12 @@
     {
       "path": "modules/lifecycle/db-versions.js",
       "mode": "0000644",
-      "sha256": "53f87c20f89c33a3d14ee4410bafa0f3122fb7534708ce5bdacb8cc1098a487c"
+      "sha256": "2c10a17f86506788ab2f9db25c23024120ec9fddb3c7c4894e65d8354cd46869"
     },
     {
       "path": "modules/lifecycle/db.js",
       "mode": "0000644",
-      "sha256": "33fc8959d522bcf18c445b1a5710940379f84d1e938eecdc52cdf52bec9c4b3d"
+      "sha256": "b4b2d6d7890ec67e52fc00718a814bf01a64f4432ed7380a175dca8bc794b0e4"
     },
     {
       "path": "modules/lifecycle/dead-deps.js",
@@ -5582,7 +5582,7 @@
     {
       "path": "modules/lifecycle/done-when.js",
       "mode": "0000644",
-      "sha256": "4e798aff55de6481ea9da3f8a08e68d99902f3eac4749e30d727517ff61176b5"
+      "sha256": "7def4b53d251ecac2e9ce4c7aa2df8cb8814e2105d47417e5d43191884cd8ea1"
     },
     {
       "path": "modules/lifecycle/est-advisory.js",
@@ -5817,7 +5817,7 @@
     {
       "path": "modules/lifecycle/routes/versions.js",
       "mode": "0000644",
-      "sha256": "35919f2cdd1e9a5da11a89adc9731818aa6b1b292c0754d9123a4cd8324bd970"
+      "sha256": "014de34389dbf26b4b089b677466c9c7cfd81f79b9e1714241be12f589086c0f"
     },
     {
       "path": "modules/lifecycle/routes/visuals.js",
@@ -5869,6 +5869,11 @@
       "mode": "0000644",
       "sha256": "af00ee4629002c8df2448e2146a24108407a36b062859ee1afee293aa60cb209"
     },
+    {
+      "path": "modules/lifecycle/version-autoclose.js",
+      "mode": "0000644",
+      "sha256": "06e035b8d1545d68a0e629e707ea7f86d48fac5dc8fe0c5e70ec8704508ecf7c"
+    },
     {
       "path": "modules/lifecycle/version-close.js",
       "mode": "0000644",
@@ -7622,12 +7627,12 @@
     {
       "path": "package-lock.json",
       "mode": "0000644",
-      "sha256": "89f20f42f441b010cc5a6ea07f38828987932c85779d01278988f85428d3465e"
+      "sha256": "d9ab931e2e3779b181225611efe7019b45d037bea4249d643574104445931164"
     },
     {
       "path": "package.json",
       "mode": "0000644",
-      "sha256": "8bba17aa2a21a1b48b9bfb7fb50aad31f75df0d63e459b7fc4ef504375c4c80a"
+      "sha256": "9903e5cd3c9d790a76647c7fff7556c33d900dd119d5b5afd0ada6797508df1d"
     },
     {
       "path": "public-docs/index.html",
@@ -9342,7 +9347,7 @@
     {
       "path": "src/module-api.js",
       "mode": "0000644",
-      "sha256": "55821676bf2fdb2f703e9c6137c877f3b5ede7291985bbce9c611f262a2fc48b"
+      "sha256": "de0d452d14fef52118d0302145065609722f6fbdf333fcbf47ec5864cbd3d86a"
     },
     {
       "path": "src/module-loader/catalog.js",
@@ -9622,7 +9627,7 @@
     {
       "path": "tests/auto_satisfy_criteria.mjs",
       "mode": "0000644",
-      "sha256": "d63beea7b680a194d163aa5ad11806c9aa860de93d614195a05a33082e9f8adb"
+      "sha256": "d7ac18d14e8e9e5e7b9e913a76953fe69bfefea4912e77ca30b285647bfcfca8"
     },
     {
       "path": "tests/autonomous_fit_protected_paths.mjs",
@@ -10492,7 +10497,7 @@
     {
       "path": "tests/goal_closure_invariants.mjs",
       "mode": "0000644",
-      "sha256": "eace8ebcf39f40683bf9cbcfbc0e554b115e73d1f72894ca57a89e82d119d357"
+      "sha256": "e5f937b9ce3264b6b4bb3a9ca57fa000b2190fe49c3ba6d70acdd9d26f55423c"
     },
     {
       "path": "tests/goal_conflicts.mjs",
@@ -12684,6 +12689,11 @@
       "mode": "0000644",
       "sha256": "808a5fb2e14fb03ded6ed5ea0b3c0a0a7f53bfb885e853acb225f7b439a06ac3"
     },
+    {
+      "path": "tests/version_autoclose.mjs",
+      "mode": "0000644",
+      "sha256": "3a9e1f7ae24aa4d25baaaff53890e4d963f662ae95e5cd69b00da1cd3f6cb012"
+    },
     {
       "path": "tests/version_build_slot.mjs",
       "mode": "0000644",
@@ -12709,6 +12719,11 @@
       "mode": "0000644",
       "sha256": "692261c26e3da46519757733a7fcf9a9998e0942bc5890688b66b79590d82c27"
     },
+    {
+      "path": "tests/version_promotion.mjs",
+      "mode": "0000644",
+      "sha256": "43ba25381f3d02d7ecaaa8a2639bb8f1f72587d6966e6498db1c887b289148eb"
+    },
     {
       "path": "tests/version_roll_forward.mjs",
       "mode": "0000644",

package/clients/bongos-client/index.d.ts

@@ -390,7 +390,7 @@ export interface PostTasksNewcomerRestockResponse { ok: boolean; stamped: unknow
 export interface PostTasksRequest { version_id: string; title: string; description?: string; status?: string; touches?: string[]; est_minutes?: number; est_cost_usd?: number; manual_degree?: number; priority?: number; automation_tag?: string; credits_reward?: number; source?: string; source_ref?: string; value_summary?: string; kind?: string; discipline?: string; parallel_safe?: unknown; newcomer_friendly?: boolean; security_sensitive?: boolean; requires_rank?: string; auto_detect_touches?: boolean; criterion_ids?: unknown[]; module_key?: string; goal_id?: number }
 export interface PostTasksResponse { task: unknown; needs_migration: unknown; criteria: unknown; idempotent: boolean }
 export interface PostVersionsIdCloseRequest { reason?: string; dispositions?: Record<string, unknown> }
-export interface PostVersionsIdCloseResponse { ok: boolean; version: unknown; applied: unknown }
+export interface PostVersionsIdCloseResponse { ok: boolean; version: unknown; applied: unknown; promoted: unknown; carried: unknown }
 export interface PostVersionsIdDoneWhenRequest { criterion_id: string; criterion_md: string; goal_id?: number; sort_order?: number }
 export interface PostVersionsIdDoneWhenResponse { ok: boolean; criterion: unknown }
 export interface PostVersionsRequest { id: string; name: string; status?: string; track?: string; done_when?: string; scope_doc_path?: string; criteria?: unknown[] }

package/docs/api/openapi.json

@@ -22494,12 +22494,16 @@
             "type": "boolean"
           },
           "version": {},
-          "applied": {}
+          "applied": {},
+          "promoted": {},
+          "carried": {}
         },
         "required": [
           "ok",
           "version",
-          "applied"
+          "applied",
+          "promoted",
+          "carried"
         ]
       },
       "PostVersionsIdDoneWhenRequest": {

package/docs/module-api-changelog.md

@@ -1647,5 +1647,9 @@ is load-bearing: the script throws rather than guess if it is missing, and
         landed since 1.19.597 with no explicit bump. run 34186758247. (task 1002620)
   1.19.599 — CI auto-patch (publish-on-merge, ADR 0161): carrier for merges
         landed since 1.19.598 with no explicit bump. run 34187136306. (task 1002620)
+  1.19.600 — CI auto-patch (publish-on-merge, ADR 0161): carrier for merges
+        landed since 1.19.599 with no explicit bump. run 34187881031. (task 1002620)
+  1.19.601 — CI auto-patch (publish-on-merge, ADR 0161): carrier for merges
+        landed since 1.19.600 with no explicit bump. run 34188958832. (task 1002620)
 ---------------------------------------------------------------------------
 ```

package/modules/lifecycle/db-goals.js

@@ -17,6 +17,9 @@ const { deriveRequiredRank, highestRank } = require('./db-rank-authz.js');
 const { nonTerminalSql, isTerminalStatus } = require('./task-status');
 const { maintenanceGoalTitle } = require('./goal-advisory.js');
 const { SMOKE_NOT_LIKE } = require('./db-shared.js');
+// BV1.R16 (task 1003603) — auto-close, shared with the done-when cascade so the
+// two achievement writers cannot drift apart (ADR 0263 §4).
+const { autoCloseVersionsForGoals } = require('./version-autoclose.js');
 
 // -------------------------------------------------------------------------
 // Goals (ADR 0086 §2 / BV1.R56 — task 1510)
@@ -492,7 +495,20 @@ async function achieveGoalIfComplete({ goalId }, deps = {}) {
   // the goal simply stays open until its last task lands or is abandoned.
   if (unfinishedTasks > 0) return { achieved: false, goal, unfinishedTasks };
   const updated = await setGoalStatus({ goalId, status: 'achieved' }, deps);
-  return { achieved: true, goal: updated };
+
+  // BV1.R16 (task 1003603, ADR 0263 §§3–4): the SECOND achievement writer. A goal
+  // reaching `achieved` may have been the version's last non-maintenance goal, and
+  // that is true whichever door it came through — this manual satisfy path or the
+  // ship-time cascade in done-when.js. ADR 0250 D2 already established that these
+  // two writers move together or a version closes correctly through one and wrongly
+  // through the other; the rule itself lives in ONE place (version-autoclose.js) so
+  // "together" is enforced by the require rather than by remembering.
+  //
+  // Runs on the caller's exec so it sees the flip above, which in the ship path is
+  // still uncommitted. Never throws: autoCloseVersionsForGoals catches per version.
+  const exec = deps.client || ((deps.pool && process.env.NODE_ENV === 'test') ? deps.pool : pool);
+  const versionsClosed = await autoCloseVersionsForGoals(exec, [updated]);
+  return { achieved: true, goal: updated, versionsClosed };
 }
 
 // addGoalMember — join. Upserts on the (goal_id, builder_id) PK so a re-join is

package/modules/lifecycle/db-versions.js

@@ -245,14 +245,51 @@ async function openNonMaintenanceGoals(versionId, deps = {}) {
 //     must run INSIDE this transaction and BEFORE any carry-over, because
 //     `ensureMaintenanceGoal` returns null for a non-`building` version. The seam
 //     is `deps.onClosed` below rather than a later edit to this function.
-//   • It does not create successor goals. `roll_forward` here only ABSTAINS from
-//     cutting the goal; task 1003604 (R17) does the lineage write. Until it ships,
-//     a rolled-forward goal simply stays open on the closed version — visible and
-//     recoverable, which is the right failure while half the feature exists.
+//   • It DOES create successor goals now — task 1003604 (R17) shipped, so
+//     `roll_forward` writes the successor, moves the unfinished tasks and records
+//     `succeeded_by_goal_id`. This note used to say the opposite; it is kept,
+//     corrected, because a reader who met the old wording would otherwise go
+//     looking for the abstention it described.
 //   • It does not write `limitations/<version>-shipped.md`. That is a repo file; a
 //     route cannot write one, and file I/O has no business in this transaction.
 //
 // `plan` is planVersionClose's validated output: [{ goalId, verb }].
+// promotePlanningVersion — the single `planning` version becomes the live train
+// (BV1.R20, task 1003607, goal 1000086, ADR 0263 §8).
+//
+// WHY IT RUNS IN THE CLOSE'S TRANSACTION. A project with zero building versions
+// is a BROKEN state, not an intermediate one: `currentBuildingVersionId` returns
+// null there and every routing path closed over it fails, so nothing is
+// claimable. Promoting in a second transaction would leave exactly that window
+// open, however briefly.
+//
+// ZERO PLANNING VERSIONS IS NOT AN ERROR. The close succeeds and the project sits
+// with no live train until someone cuts one. Refusing the close instead would
+// trap a finished version open because nobody had scoped the next one yet — and
+// the close is the thing that makes scoping the next one worth doing.
+//
+// SELF-GUARDING IN SQL rather than by a read-then-write. The `NOT EXISTS`
+// sub-select is what keeps this from creating the second building version R19
+// forbids: it is evaluated inside the same statement, so a concurrent close
+// cannot slip a promotion past a check that has already run. `ORDER BY id LIMIT 1`
+// makes the pick deterministic; R04 guarantees there is at most one to pick.
+//
+// `started_at` is stamped only if it was never set — a version's start is when it
+// began building, and a re-promotion (which cannot happen, but the COALESCE costs
+// nothing) must not rewrite history.
+//
+// Returns the promoted row, or null when there was nothing to promote.
+async function promotePlanningVersion(exec) {
+  const { rows } = await exec.query(
+    `UPDATE versions
+        SET status = 'building', started_at = COALESCE(started_at, now())
+      WHERE id = (SELECT id FROM versions WHERE status = 'planning' ORDER BY id LIMIT 1)
+        AND NOT EXISTS (SELECT 1 FROM versions WHERE status = 'building')
+      RETURNING id, name, track, status, started_at`
+  );
+  return rows[0] ?? null;
+}
+
 async function closeVersion({ versionId, plan = [], reason, planningVersionId = null }, deps = {}) {
   const activePool = (deps.pool && process.env.NODE_ENV === 'test') ? deps.pool : pool;
   const client = await activePool.connect();
@@ -437,6 +474,7 @@ async function closeVersion({ versionId, plan = [], reason, planningVersionId =
 
 module.exports = {
   closeVersion,
+  promotePlanningVersion,
   createVersion,
   maintenanceGoalExemptSql,
   openNonMaintenanceGoals,

package/modules/lifecycle/db.js

@@ -63,7 +63,7 @@ const {
   singleRungPromotionError,
   xenosClaimAllowed,
 } = require('./db-rank-authz.js');
-const { closeVersion, createVersion, currentBuildingVersionId, getVersion, listVersions, maintenanceGoalExemptSql, openNonMaintenanceGoals, versionProgress, versionsWithStatus } = require('./db-versions.js');
+const { closeVersion, promotePlanningVersion, createVersion, currentBuildingVersionId, getVersion, listVersions, maintenanceGoalExemptSql, openNonMaintenanceGoals, versionProgress, versionsWithStatus } = require('./db-versions.js');
 const {
   acceptMembershipRequestAndAddMember,
   achieveGoalIfComplete,
@@ -222,6 +222,7 @@ module.exports = {
   openNonMaintenanceGoals,
   versionsWithStatus,
   closeVersion,
+  promotePlanningVersion,
   createVersion,
   currentBuildingVersionId,
   createGoal,

package/modules/lifecycle/done-when.js

@@ -26,6 +26,10 @@
 const { pool } = require('../../src/module-api');
 const { nonTerminalSql } = require('./task-status');
 const { SMOKE_NOT_LIKE } = require('./db-shared.js');
+// BV1.R16 (task 1003603) — auto-close. Dependency-free module, so requiring it
+// here creates no cycle (db-versions.js requires THIS file, which is why the
+// rule could not live beside closeVersion).
+const { autoCloseVersionsForGoals } = require('./version-autoclose.js');
 
 // isPendingReview — the ONE derivation of the "met — pending review" auto-flag
 // (ADR 0086 §6 / BV1.R63): a criterion with >=1 linked task, every one shipped,
@@ -474,7 +478,8 @@ async function autoSatisfyShippedCriteria(exec, { taskId = null } = {}) {
   // review off docs/architecture.md, whose tasks index list predated 228 and has
   // been corrected.)
   const goalIds = [...new Set(criteria.map((c) => c.goal_id).filter((g) => g != null))].map(Number);
-  if (goalIds.length === 0) return { criteria, goals: [] };
+  // No goal achieved, so no version can have just become closable.
+  if (goalIds.length === 0) return { criteria, goals: [], versionsClosed: [] };
   const { rows: goals } = await exec.query(
     `UPDATE goals g
         SET status = 'achieved', updated_at = now()
@@ -488,7 +493,16 @@ async function autoSatisfyShippedCriteria(exec, { taskId = null } = {}) {
      RETURNING g.id, g.title, g.version_id, g.status`,
     [goalIds]
   );
-  return { criteria, goals };
+  // BV1.R16 (task 1003603, ADR 0263 §§3–4): a version closes ITSELF once its last
+  // non-maintenance goal achieves. On the caller's `exec`, so it sees the flips
+  // above that have not committed yet — a check on the pool would never close the
+  // version on the ship that actually finished it.
+  //
+  // `autoCloseVersionsForGoals` catches per version and never rethrows: a version
+  // close must not be able to fail a builder's ship. The accepted failure is a
+  // version left un-closed, which the reconciler's next unscoped sweep heals.
+  const versionsClosed = await autoCloseVersionsForGoals(exec, goals);
+  return { criteria, goals, versionsClosed };
 }
 
 // describeAutoClose — the one-line summary of what a close actually closed, or

package/modules/lifecycle/routes/versions.js

@@ -287,12 +287,53 @@ module.exports = function buildVersionsRouter() {
     try {
       const out = await db.closeVersion({
         versionId, plan: plan.plan, reason,
+        // BV1.R20 (task 1003607, ADR 0263 §8): the close's last act, inside its
+        // own transaction. A project with zero building versions is a BROKEN
+        // state — `currentBuildingVersionId` returns null and nothing is
+        // claimable — so promoting in a second transaction would leave exactly
+        // that window open.
+        //
+        // ORDER IS LOAD-BEARING: promote, THEN carry the bugs forward.
+        // `ensureMaintenanceGoal` returns null for a version that is not yet
+        // `building`, so a carry-over run first silently carries nothing and the
+        // defect queue stays entombed on the version that just shipped.
+        //
+        // COMPOSED HERE rather than inside closeVersion because the two halves
+        // live in different db units (versions and goals, siblings in the
+        // module's require DAG) and the route is the one place already holding
+        // the whole facade — reaching sideways between the units is how that DAG
+        // stops being one.
+        //
+        // Zero planning versions is NOT an error: the close succeeds and the
+        // project sits idle until someone cuts the next version.
         // R04 guarantees at most one planning version, so [0] is THE successor
         // rather than a pick. Null when nothing rolls forward, which is the
         // common close.
         planningVersionId: planning[0]?.id ?? null,
+      }, {
+        // NOTE THE SECOND ARGUMENT. `closeVersion` reads this hook from `deps`,
+        // not from its options object — putting it in the first one is silently
+        // ignored, the hook never runs, and the close still returns 200 having
+        // promoted nothing. Caught here by running the real close against a real
+        // Postgres; no fake would have noticed.
+        onClosed: async (client, { versionId: closedId }) => {
+          const promoted = await db.promotePlanningVersion(client);
+          const carried = promoted
+            ? await db.carryBugsForward({ fromVersionId: closedId, toVersionId: promoted.id }, { client })
+            : null;
+          return { promoted, carried };
+        },
+      });
+      // `promoted` and `carried` ride the response because a close now changes
+      // WHICH version is live, and a caller that has to go and re-read
+      // /versions to discover that has been told half the outcome. `promoted:
+      // null` is the honest answer for a project with nothing scoped next, not
+      // an omission.
+      return res.json({
+        ok: true, version: out.version, applied: out.applied,
+        promoted: out.after?.promoted ?? null,
+        carried: out.after?.carried ?? null,
       });
-      return res.json({ ok: true, version: out.version, applied: out.applied });
     } catch (err) {
       if (err && err.code === 'VERSION_NOT_FOUND') return res.fail('version_not_found', 404);
       if (err && err.code === 'VERSION_NOT_BUILDING') {

package/modules/lifecycle/version-autoclose.js

@@ -0,0 +1,107 @@
+'use strict';
+
+// modules/lifecycle/version-autoclose.js — a version closes ITSELF when its last
+// non-maintenance goal achieves (BV1.R16, task 1003603, goal 1000086,
+// ADR 0250 D5, ADR 0263 §§3–4).
+//
+// WHY THIS FILE EXISTS AT ALL, rather than living beside `closeVersion`.
+// Goal achievement has TWO writers — `db-goals.achieveGoalIfComplete` (the manual
+// `POST /done-when/:id/satisfy` path) and the `done-when.autoSatisfyShippedCriteria`
+// cascade (every ship, every reconciler tick). Both must auto-close, and neither
+// can reach `db-versions.js`: that file already requires `done-when`, so a call
+// the other way is a require cycle. ADR 0263 §4 accepted writing the rule twice
+// for exactly this reason.
+//
+// It is written ONCE instead, here, because this module requires NOTHING but
+// `task-status` — the `task-status.js` precedent, which is dependency-free so a
+// CLI can read it without paying for the pool. Both writers can require it, no
+// cycle exists, and the rule that decides when a VERSION ends has one definition
+// rather than two that must be kept in lockstep by hand. The duplicate the ADR
+// permitted is a cost it did not have to pay.
+//
+// AUTO-CLOSE HAS NOTHING TO DISPOSITION, and that is the whole shape of this
+// feature (ADR 0263 §3). It fires when the last non-maintenance goal achieves —
+// so by construction every non-maintenance goal on the version is already
+// `achieved` or `archived`, and the set needing a decision is EMPTY BY
+// DEFINITION. The disposition map, the refusal that returns the goals, the
+// successor lineage: all of that belongs to EARLY close (R12) and none of it can
+// ever have input here. This file is therefore much smaller than ADR 0250's
+// sentence makes it sound.
+
+const { nonTerminalSql } = require('./task-status');
+
+// The maintenance goal never holds a version open (ADR 0263 §7). Reads the
+// `is_maintenance` FLAG that R18 (task 1003605, migration core_234) added — never
+// a title, because deciding this by string would let anyone able to name a goal
+// exempt it from the gate that ends a version.
+const NOT_MAINTENANCE = 'NOT g.is_maintenance';
+
+// autoCloseVersionIfComplete — flip `versionId` to `shipped` if, and only if, it
+// holds no open non-maintenance goal.
+//
+// RUNS ON THE CALLER'S `exec`, which is the ship transaction's own client. That
+// is load-bearing rather than tidy: the goal that just achieved was flipped in
+// this same uncommitted transaction, so a check on the module pool would not see
+// it and the version would never close on the ship that finished it — the same
+// reason R09's closure check takes an exec.
+//
+// IDEMPOTENT BY `WHERE status = 'building'`. The reconciler's unscoped sweep runs
+// this every tick, so the second and every later run must be a no-op; without the
+// guard each sweep would rewrite `shipped_at` and the version's own record of
+// when it finished would drift forward forever.
+//
+// Returns the closed version row, or null when the version is not ready (the
+// overwhelmingly common answer) — null is not an error.
+async function autoCloseVersionIfComplete(exec, versionId) {
+  if (!exec || versionId == null) return null;
+  const { rows } = await exec.query(
+    `UPDATE versions v
+        SET status = 'shipped', shipped_at = now()
+      WHERE v.id = $1
+        AND v.status = 'building'
+        AND NOT EXISTS (
+          SELECT 1 FROM goals g
+           WHERE g.version_id = v.id
+             AND g.status = 'open'
+             AND ${NOT_MAINTENANCE}
+        )
+      RETURNING v.id, v.name, v.track, v.status, v.shipped_at`,
+    [versionId]
+  );
+  return rows[0] ?? null;
+}
+
+// autoCloseVersionsForGoals — the call both achievement writers actually make.
+//
+// Takes the goals a cascade just achieved (each carrying `version_id`) and tries
+// their versions, de-duplicated. A cascade can achieve several goals at once and
+// they may sit on different versions, so this is a set rather than a single id.
+//
+// IT MAY NEVER FAIL A SHIP. This is not a preference — it is the established
+// posture of `closeCompletedWorkForShip`, which swallows its own failure on the
+// argument that a criterion close must never fail a ship and the reconciler's
+// sweep retries every tick. A version close is a strictly WIDER write than a
+// criterion close, so it inherits that posture a fortiori: the failure mode we
+// accept is a version left UN-closed, which the next sweep heals, and the one we
+// refuse is a builder's ship rolled back by a bug in version-close. Every throw
+// is caught here, per version, so one bad version cannot stop another closing.
+//
+// Returns the rows that actually closed — usually empty.
+async function autoCloseVersionsForGoals(exec, goals = [], onError = null) {
+  const ids = [...new Set((goals || []).map((g) => g && g.version_id).filter((v) => v != null))];
+  const closed = [];
+  for (const versionId of ids) {
+    try {
+      const row = await autoCloseVersionIfComplete(exec, versionId);
+      if (row) closed.push(row);
+    } catch (err) {
+      // Reported, never propagated. A silent swallow would make a persistently
+      // broken close indistinguishable from "nothing was ready", which is the
+      // failure that hides for months.
+      if (typeof onError === 'function') onError(versionId, err);
+    }
+  }
+  return closed;
+}
+
+module.exports = { autoCloseVersionIfComplete, autoCloseVersionsForGoals, NOT_MAINTENANCE };

package/package-lock.json

@@ -1,12 +1,12 @@
 {
   "name": "@bongos/core",
-  "version": "1.19.599",
+  "version": "1.19.601",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "@bongos/core",
-      "version": "1.19.599",
+      "version": "1.19.601",
       "license": "AGPL-3.0-or-later",
       "dependencies": {
         "express": "^4.21.2",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@bongos/core",
-  "version": "1.19.599",
+  "version": "1.19.601",
   "description": "Cloud Bongos — the AI-first build platform core (GDS + platform surfaces + module system), installed as a versioned dependency (ADR 0108).",
   "license": "AGPL-3.0-or-later",
   "main": "src/platform-server.js",

package/src/module-api.js

@@ -55,7 +55,7 @@ const { buildInfo } = require('./build-info');
 // there. scripts/gds/bump-version.js still rewrites the literal below; it appends
 // the entry to that file. Look for a version's history there, not here.
 // ---------------------------------------------------------------------------
-const CORE_VERSION = '1.19.599'; // CI auto-patch carrier (ADR 0161); changelog: docs/module-api-changelog.md
+const CORE_VERSION = '1.19.601'; // CI auto-patch carrier (ADR 0161); changelog: docs/module-api-changelog.md
 
 // A namespaced logger so a module's log lines are attributable + consistent.
 // Usage: const log = api.logger('dev-box'); log.info('mounted');

package/tests/auto_satisfy_criteria.mjs

@@ -107,7 +107,12 @@ await test('ASYMMETRY (rollup): the /status rollup is untouched by this task', (
 await test('EXEC: every write goes through the caller-supplied exec (so a ship txn is atomic)', async () => {
   const exec = fakeExec({ rows: [CRIT] }, { rows: [{ id: 77, title: 'g', version_id: 'BONGOS-V1', status: 'achieved' }] });
   const out = await autoSatisfyShippedCriteria(exec, { taskId: 5 });
-  assert.equal(exec.calls.length, 2, 'one criterion update + one goal cascade');
+  // Three since BV1.R16 (task 1003603): the criterion update, the goal cascade,
+  // and the version auto-close — which is the point, because the third must ride
+  // the SAME exec as the first two or a version would never close on the ship
+  // that finished it.
+  assert.equal(exec.calls.length, 3, 'criterion update + goal cascade + version auto-close');
+  assert.match(exec.calls[2].sql, /UPDATE versions v/, 'and the third is the auto-close, on exec');
   assert.deepEqual(out.criteria, [CRIT]);
   assert.deepEqual(out.goals.map((g) => g.id), [77]);
   const src = readFileSync(new URL('../modules/lifecycle/done-when.js', import.meta.url), 'utf8');

package/tests/goal_closure_invariants.mjs

@@ -251,9 +251,15 @@ test('the cascade reads through the exec it was handed, so it sees the ship\'s o
 test('every statement goes through the caller exec — none reaches the module pool', async () => {
   const exec = makeExec(world({ criteria: [{ satisfied: false, task_ids: [200] }], tasks: [SHIPPED()] }));
   await autoSatisfyShippedCriteria(exec, { taskId: 200 });
-  assert.equal(exec.calls.length, 2, 'the criterion close and the cascade, both on exec');
+  // BV1.R16 (task 1003603) added a third: the version auto-close. It belongs in
+  // THIS test rather than only in its own, because the property under assertion —
+  // nothing reaches the module pool — is exactly what makes auto-close correct on
+  // a ship: the goal it keys on was flipped in this uncommitted transaction, and
+  // a pool read would not see it.
+  assert.equal(exec.calls.length, 3, 'the criterion close, the cascade and the version auto-close, all on exec');
   assert.match(exec.calls[0].sql, /UPDATE done_when_criteria/);
   assert.match(exec.calls[1].sql, /UPDATE goals g/);
+  assert.match(exec.calls[2].sql, /UPDATE versions v/);
 });
 
 // ---------------------------------------------------------------------------

package/tests/version_autoclose.mjs

@@ -0,0 +1,170 @@
+// tests/version_autoclose.mjs — a version closes ITSELF when its last
+// non-maintenance goal achieves (BV1.R16, task 1003603, goal 1000086,
+// ADR 0250 D5, ADR 0263 §§3–4).
+//
+// THE SHAPE, which is smaller than ADR 0250's sentence suggests. Auto-close fires
+// when the last non-maintenance goal achieves — so by construction every
+// non-maintenance goal on the version is already closed, and the set needing a
+// disposition is EMPTY BY DEFINITION. The disposition map, the refusal that
+// returns the goals, the successor lineage: all of that is EARLY close (R12) and
+// none of it can ever have input here.
+//
+// THE TWO PROPERTIES THAT ARE LOAD-BEARING, and the reason this file is not just
+// a happy-path check:
+//
+//   1. It hangs off BOTH achievement writers. `db-goals.achieveGoalIfComplete` is
+//      the manual satisfy path; `done-when.autoSatisfyShippedCriteria` is the
+//      cascade on every ship and every reconciler tick. ADR 0250 D2 established
+//      that these two move together or a version closes correctly through one door
+//      and wrongly through the other. ADR 0263 §4 expected the rule to be written
+//      TWICE for that reason — a require cycle stops db-versions.js being the
+//      shared home. It is written ONCE instead, in a dependency-free module both
+//      can require, so "together" is enforced by the import rather than by anyone
+//      remembering.
+//
+//   2. It may NEVER fail a ship. A version close is a strictly wider write than a
+//      criterion close, and `closeCompletedWorkForShip` already swallows its own
+//      failure on the argument that a criterion close must not fail a ship. The
+//      accepted failure here is a version left UN-closed, which the next sweep
+//      heals; the refused one is a builder's ship rolled back by a bug in
+//      version-close.
+//
+// Run:  node --test tests/version_autoclose.mjs
+
+import assert from 'node:assert/strict';
+import { test } from 'node:test';
+import { readFileSync } from 'node:fs';
+import { createRequire } from 'node:module';
+
+process.env.NODE_ENV = 'test';
+const require = createRequire(import.meta.url);
+const { autoCloseVersionIfComplete, autoCloseVersionsForGoals, NOT_MAINTENANCE } =
+  require('../modules/lifecycle/version-autoclose.js');
+
+const src = (rel) => readFileSync(new URL('../' + rel, import.meta.url), 'utf8');
+const AUTOCLOSE = src('modules/lifecycle/version-autoclose.js');
+const DONE_WHEN = src('modules/lifecycle/done-when.js');
+const DB_GOALS = src('modules/lifecycle/db-goals.js');
+
+const recorder = (handler) => {
+  const seen = [];
+  return { seen, exec: { query: async (sql, params) => { seen.push({ sql, params }); return handler(sql, params); } } };
+};
+
+// ---------------------------------------------------------------------------
+// The predicate
+// ---------------------------------------------------------------------------
+
+test('the maintenance goal never holds a version open, and it is read by FLAG', () => {
+  assert.equal(NOT_MAINTENANCE, 'NOT g.is_maintenance');
+  assert.equal(/title/i.test(NOT_MAINTENANCE), false,
+    'deciding this by string would let anyone able to name a goal exempt it from the gate that ends a version');
+});
+
+test('the close asks "is any non-maintenance goal still open", and nothing else', async () => {
+  const r = recorder(() => ({ rows: [] }));
+  await autoCloseVersionIfComplete(r.exec, 'V1');
+  const sql = r.seen[0].sql.replace(/\s+/g, ' ');
+  assert.match(sql, /UPDATE versions v/);
+  assert.match(sql, /NOT EXISTS \( SELECT 1 FROM goals g/);
+  assert.match(sql, /g\.status = 'open'/);
+  assert.match(sql, /NOT g\.is_maintenance/);
+  // No disposition machinery may appear here — see the header.
+  assert.equal(/disposition|abandon|roll_forward/i.test(sql), false,
+    'auto-close has nothing to disposition; that is all early close');
+});
+
+test('the flip is guarded on building, so a reconciler retry is a no-op', async () => {
+  // Without the guard every sweep rewrites shipped_at and the version's own
+  // record of when it finished drifts forward forever.
+  const r = recorder(() => ({ rows: [] }));
+  await autoCloseVersionIfComplete(r.exec, 'V1');
+  assert.match(r.seen[0].sql.replace(/\s+/g, ' '), /v\.status = 'building'/);
+});
+
+test('a version that is not ready returns null, which is not an error', async () => {
+  const r = recorder(() => ({ rows: [] }));
+  assert.equal(await autoCloseVersionIfComplete(r.exec, 'V1'), null);
+});
+
+test('a missing exec or version id is a no-op, not a throw', async () => {
+  assert.equal(await autoCloseVersionIfComplete(null, 'V1'), null);
+  const r = recorder(() => ({ rows: [] }));
+  assert.equal(await autoCloseVersionIfComplete(r.exec, null), null);
+  assert.equal(r.seen.length, 0, 'and it must not issue a query it cannot key');
+});
+
+// ---------------------------------------------------------------------------
+// It may never fail a ship
+// ---------------------------------------------------------------------------
+
+test('a throwing close is CAUGHT — a ship must never be rolled back by version-close', async () => {
+  const boom = { query: async () => { throw new Error('deadlock detected'); } };
+  const seen = [];
+  const out = await autoCloseVersionsForGoals(boom, [{ version_id: 'V1' }], (v, e) => seen.push(`${v}:${e.message}`));
+  assert.deepEqual(out, []);
+  assert.deepEqual(seen, ['V1:deadlock detected'],
+    'reported, never propagated — a silent swallow makes a persistently broken close look like "nothing was ready"');
+});
+
+test('one bad version does not stop another closing', async () => {
+  let n = 0;
+  const exec = { query: async () => { n += 1; if (n === 1) throw new Error('nope'); return { rows: [{ id: 'V2', status: 'shipped' }] }; } };
+  const out = await autoCloseVersionsForGoals(exec, [{ version_id: 'V1' }, { version_id: 'V2' }], () => {});
+  assert.deepEqual(out.map((v) => v.id), ['V2']);
+});
+
+test('versions are de-duplicated — a cascade can achieve several goals on one version', async () => {
+  const r = recorder(() => ({ rows: [] }));
+  await autoCloseVersionsForGoals(r.exec, [{ version_id: 'V1' }, { version_id: 'V1' }, { version_id: 'V2' }]);
+  assert.deepEqual(r.seen.map((q) => q.params[0]), ['V1', 'V2']);
+});
+
+test('a goal with no version_id is skipped rather than queried as null', async () => {
+  const r = recorder(() => ({ rows: [] }));
+  assert.deepEqual(await autoCloseVersionsForGoals(r.exec, [{}, null, undefined]), []);
+  assert.equal(r.seen.length, 0);
+});
+
+// ---------------------------------------------------------------------------
+// BOTH achievement writers, and the reason it is written once
+// ---------------------------------------------------------------------------
+
+test('the ship-time cascade auto-closes, on the caller exec', () => {
+  assert.match(DONE_WHEN, /const versionsClosed = await autoCloseVersionsForGoals\(exec, goals\)/,
+    'on `exec`, not the pool — the goal it just achieved is uncommitted, and a pool read would never close the version on the ship that finished it');
+  assert.match(DONE_WHEN, /return \{ criteria, goals, versionsClosed \}/);
+});
+
+test('the MANUAL satisfy path auto-closes too', () => {
+  // The failure this prevents: a version that closes correctly through a ship and
+  // wrongly through POST /done-when/:id/satisfy.
+  assert.match(DB_GOALS, /const versionsClosed = await autoCloseVersionsForGoals\(exec, \[updated\]\)/);
+  assert.match(DB_GOALS, /return \{ achieved: true, goal: updated, versionsClosed \}/);
+});
+
+test('both writers import the SAME rule — it is not written twice', () => {
+  // ADR 0263 §4 expected a deliberate duplicate, because db-versions.js requires
+  // done-when.js and so cannot be the shared home. A dependency-free module can
+  // be, which makes "the two copies move together" an import rather than a habit.
+  for (const [name, code] of [['done-when.js', DONE_WHEN], ['db-goals.js', DB_GOALS]]) {
+    assert.match(code, /require\('\.\/version-autoclose\.js'\)/, `${name} must import the shared rule`);
+  }
+  // And the rule's SQL exists in exactly one file.
+  assert.equal(/UPDATE versions v[\s\S]*?NOT EXISTS/.test(DONE_WHEN), false, 'done-when.js must not carry its own copy');
+  assert.equal(/UPDATE versions v[\s\S]*?NOT EXISTS/.test(DB_GOALS), false, 'db-goals.js must not carry its own copy');
+  assert.match(AUTOCLOSE, /UPDATE versions v/);
+});
+
+test('the shared module stays dependency-free, or the cycle comes back', () => {
+  // db-versions.js requires done-when.js. If this module ever requires either,
+  // the import that makes the single definition possible becomes a cycle.
+  const requires = [...AUTOCLOSE.matchAll(/require\('([^']+)'\)/g)].map((m) => m[1]);
+  assert.deepEqual(requires, ['./task-status'],
+    'only task-status — the dependency-free precedent that lets both writers share this');
+});
+
+test('an empty cascade short-circuits without asking about versions', () => {
+  assert.match(DONE_WHEN, /if \(goalIds\.length === 0\) return \{ criteria, goals: \[\], versionsClosed: \[\] \}/,
+    'no goal achieved means no version can have just become closable');
+});

package/tests/version_promotion.mjs

@@ -0,0 +1,143 @@
+// tests/version_promotion.mjs — the planning version promotes itself when the
+// building version closes (BV1.R20, task 1003607, goal 1000086, ADR 0263 §8).
+//
+// WHY IT RUNS INSIDE THE CLOSE'S TRANSACTION. A project with zero building
+// versions is a BROKEN state, not an intermediate one: `currentBuildingVersionId`
+// returns null there and every routing path closed over it fails, so nothing is
+// claimable. Promoting in a second transaction leaves exactly that window open,
+// however briefly.
+//
+// AND WHY THE ORDER IS LOAD-BEARING. Promote, THEN carry the bugs forward.
+// `ensureMaintenanceGoal` returns null for a version that is not yet `building`,
+// so a carry-over run first silently carries nothing and the defect queue stays
+// entombed on the version that just shipped — the 1000771 shape, arriving through
+// the close instead of through routing.
+//
+// ONE MORE THING THIS FILE PINS, because it is the bug that actually happened
+// while building R20: `closeVersion` reads the hook from its SECOND argument
+// (`deps`), not from its options object. Passing `onClosed` in the first one is
+// silently ignored — the hook never runs, nothing is promoted, and the close
+// still answers 200. No fake caught it; running the real close against a real
+// Postgres did.
+//
+// Run:  node --test tests/version_promotion.mjs
+
+import assert from 'node:assert/strict';
+import { test } from 'node:test';
+import { readFileSync } from 'node:fs';
+import { createRequire } from 'node:module';
+import { makeSqlAwareClient } from './helpers.mjs';
+
+process.env.NODE_ENV = 'test';
+const require = createRequire(import.meta.url);
+const { promotePlanningVersion } = require('../modules/lifecycle/db-versions.js');
+
+const src = (rel) => readFileSync(new URL('../' + rel, import.meta.url), 'utf8');
+const ROUTES = src('modules/lifecycle/routes/versions.js');
+const DBV = src('modules/lifecycle/db-versions.js');
+
+const recorder = (handler) => {
+  const seen = [];
+  const c = makeSqlAwareClient((sql, params) => { seen.push({ sql: String(sql).replace(/\s+/g, ' '), params }); return handler(sql, params); });
+  return { seen, exec: { query: (sql, params) => c._client.query(sql, params) } };
+};
+
+// ---------------------------------------------------------------------------
+// The promotion itself
+// ---------------------------------------------------------------------------
+
+test('promotion is ONE self-guarding statement, not a read-then-write', async () => {
+  // A read-then-write leaves a window in which a concurrent close promotes too,
+  // producing the second building version R19 forbids. The NOT EXISTS is
+  // evaluated inside the same statement, so it cannot be raced past.
+  const r = recorder(() => ({ rows: [] }));
+  await promotePlanningVersion(r.exec);
+  assert.equal(r.seen.length, 1, 'one statement — a separate check could be raced');
+  const sql = r.seen[0].sql;
+  assert.match(sql, /UPDATE versions SET status = 'building'/);
+  assert.match(sql, /WHERE status = 'planning' ORDER BY id LIMIT 1/);
+  assert.match(sql, /NOT EXISTS \(SELECT 1 FROM versions WHERE status = 'building'\)/,
+    'the guard against creating a second building version must be in the statement');
+});
+
+test('started_at is stamped only if it was never set', async () => {
+  const r = recorder(() => ({ rows: [] }));
+  await promotePlanningVersion(r.exec);
+  assert.match(r.seen[0].sql, /started_at = COALESCE\(started_at, now\(\)\)/,
+    "a version's start is when it began building; a re-promotion must not rewrite history");
+});
+
+test('nothing to promote returns null — an idle project is not an error', async () => {
+  const r = recorder(() => ({ rows: [] }));
+  assert.equal(await promotePlanningVersion(r.exec), null);
+});
+
+test('the promoted row is returned so the caller can carry bugs into it', async () => {
+  const r = recorder(() => ({ rows: [{ id: 'V2', name: 'two', status: 'building', started_at: 't' }] }));
+  const out = await promotePlanningVersion(r.exec);
+  assert.equal(out.id, 'V2');
+  assert.equal(out.status, 'building');
+});
+
+// ---------------------------------------------------------------------------
+// The wiring — where the bug was
+// ---------------------------------------------------------------------------
+
+test('onClosed is passed as the DEPS argument, not in the options object', () => {
+  // THE BUG THIS PINS. `closeVersion({...opts}, deps)` reads `deps.onClosed`.
+  // Putting the hook in the first object is silently ignored: no promotion, no
+  // carry-over, and a 200 response that looks correct.
+  const call = ROUTES.slice(ROUTES.indexOf('const out = await db.closeVersion('), ROUTES.indexOf('return res.json({ ok: true, version: out.version'));
+  const optsEnd = call.indexOf('}, {');
+  assert.ok(optsEnd !== -1, 'the close must be called with a second (deps) argument');
+  assert.equal(call.slice(0, optsEnd).includes('onClosed'), false,
+    'onClosed in the options object is a silent no-op — it belongs in deps');
+  assert.ok(call.slice(optsEnd).includes('onClosed'), 'and it must actually be in deps');
+});
+
+test('the hook promotes BEFORE it carries — the ordering trap', () => {
+  const hook = ROUTES.slice(ROUTES.indexOf('onClosed: async (client'), ROUTES.indexOf('return { promoted, carried };'));
+  const promoteAt = hook.indexOf('promotePlanningVersion');
+  const carryAt = hook.indexOf('carryBugsForward');
+  assert.ok(promoteAt !== -1 && carryAt !== -1);
+  assert.ok(promoteAt < carryAt,
+    'ensureMaintenanceGoal returns null for a non-building version, so carrying first silently carries nothing');
+});
+
+test('no promotion means no carry attempt at all', () => {
+  // Not "carry into null and hope" — there is genuinely nowhere to put them, and
+  // the honest answer is that the bugs stay findable on the closed version until
+  // someone cuts the next one.
+  assert.match(ROUTES, /const carried = promoted\s*\n?\s*\?\s*await db\.carryBugsForward/);
+  assert.match(ROUTES, /:\s*null;/);
+});
+
+test('the close reports what it promoted and carried', () => {
+  // A close now changes WHICH version is live. A caller made to re-read /versions
+  // to discover that has been told half the outcome.
+  assert.match(ROUTES, /promoted: out\.after\?\.promoted \?\? null/);
+  assert.match(ROUTES, /carried: out\.after\?\.carried \?\? null/);
+});
+
+// ---------------------------------------------------------------------------
+// Composition
+// ---------------------------------------------------------------------------
+
+test('the hook is composed in the ROUTE, not inside closeVersion', () => {
+  // The two halves live in different db units — versions and goals, siblings in
+  // the module's require DAG — and the route is the one place already holding the
+  // whole facade. Reaching sideways between the units is how that DAG stops being
+  // one.
+  assert.equal(/carryBugsForward/.test(DBV), false,
+    'db-versions.js must not reach into db-goals.js');
+  assert.match(ROUTES, /db\.promotePlanningVersion\(client\)/);
+  assert.match(ROUTES, /db\.carryBugsForward\(/);
+});
+
+test('the stale R17 note in closeVersion was corrected, not left to mislead', () => {
+  // It said roll_forward "only ABSTAINS from cutting the goal ... until R17
+  // ships". R17 shipped; a reader meeting the old wording would go looking for
+  // an abstention that is no longer there.
+  assert.equal(/Until it ships/.test(DBV), false);
+  assert.match(DBV, /It DOES create successor goals now/);
+});