@bongos/core 1.19.279 → 1.19.280

package/.bongos-core.json

@@ -2,11 +2,11 @@
   "artifact": "bongos-core",
   "manifest_schema": 1,
   "generator": "scripts/gds/package-core.js",
-  "core_version": "1.19.279",
-  "core_contract": "1.19.279",
-  "source_commit": "20fdd2b00fa489173ea330aeec453d56dcb6999a",
+  "core_version": "1.19.280",
+  "core_contract": "1.19.280",
+  "source_commit": "60f4ffc6a9e2ee27fd0325d8f332658692b5d954",
   "source_ref": "HEAD",
-  "built_at": "2026-08-21T20:04:41.616Z",
+  "built_at": "2026-08-21T20:22:42.788Z",
   "redaction": {
     "model": "docs-redacted+functional-verbatim",
     "docs_redacted": 319,
@@ -17,7 +17,7 @@
     "gate": "passed"
   },
   "file_count": 1718,
-  "tree_sha256": "98ca3398579326bf1dc3356202895e6911341413dbf4e0238347e3357888565f",
+  "tree_sha256": "81c6c6bebc79cb9374d40181db1cb84c1bd035f0bd2c1062f261078df64042e8",
   "files": [
     {
       "path": ".claude/skills/blocker-review/SKILL.md",
@@ -42,7 +42,7 @@
     {
       "path": ".claude/skills/builder-claim/SKILL.md",
       "mode": "0000644",
-      "sha256": "076e3143a87c2257389a710de69e7b5b2c14cd353e0eff4d53b7b01444fc5ae0"
+      "sha256": "057a5bac75084ea29e5dc3da1cf457089d77c882bfb34936f3c0b37889edc1c3"
     },
     {
       "path": ".claude/skills/builder-connect/SKILL.md",
@@ -4497,12 +4497,12 @@
     {
       "path": "package-lock.json",
       "mode": "0000644",
-      "sha256": "66c790ddb5f66b9c7e5961f8402a508bdb36d5dddf35215401eda673a115c003"
+      "sha256": "db9e4dfef2e02b0e40fa3535f1af51d53071128b960698cf48b04fd6995eb54c"
     },
     {
       "path": "package.json",
       "mode": "0000644",
-      "sha256": "ea43d45c4c7ef30f10935c5ec6e967e9a1c707a6f9a69ed7f5f6b2e5771fef8e"
+      "sha256": "99c8deb7b7edff1c7a5560a59dd9887aefa080786d3f2c9acd6c87c5b495c114"
     },
     {
       "path": "public-docs/index.html",
@@ -4977,7 +4977,7 @@
     {
       "path": "scripts/gds/claim.js",
       "mode": "0000644",
-      "sha256": "6f09d9344f57039c07d2de943dabb48dbf717226aa2667f4163dab47fb74428a"
+      "sha256": "3e830a3e319c4b67d87547ae4ad2d647ee3ce74725c84d7f64788c094f0974c7"
     },
     {
       "path": "scripts/gds/classify-discipline.js",
@@ -6147,7 +6147,7 @@
     {
       "path": "src/module-api.js",
       "mode": "0000644",
-      "sha256": "e58b6609edc9a144ab403e149a715aebdc324b598244833d1ef3a6aa3713f88a"
+      "sha256": "afc9e2e6432d8a8f2e6a9812e92d1673f637c18b93555313c4881c9c44839914"
     },
     {
       "path": "src/module-loader/catalog.js",
@@ -6582,7 +6582,7 @@
     {
       "path": "tests/claim_error_surface.mjs",
       "mode": "0000644",
-      "sha256": "365f498d290298e0cd74888aff080cfbf3439e5e0cf2dd883291f39dface27e7"
+      "sha256": "33b0bbbb4c1a1f8b44a71c692a40b8a7e9cdde2e32483226484427ccf24238b5"
     },
     {
       "path": "tests/claim_gate_open_blocker.mjs",

package/.claude/skills/builder-claim/SKILL.md

@@ -66,6 +66,11 @@ The server now **enforces** the one-claim half (task 1642): `POST /api/gds/claim
 
 11. **On `session_already_has_active_claim`** (task 1642 — applies to **all ranks**): this *session* already holds an active claim, and a session may hold only one (one worktree → one branch → no commingled ships). The body names `active_task_id` + `active_task_title`. Surface them with `what_to_do`: either `/builder-ship N` (or `/builder-release N`) the in-flight task first, **or** open a fresh worktree/session for this new task and claim there. Do not retry in the same worktree — the refusal is the guard working. (`session_claim_check_failed` is the rare fail-closed variant when the server couldn't verify the session state; same remedy — retry, or use a fresh session/worktree.)
 
+12. **On `GOAL_MEMBERSHIP_REQUIRED`** (task 1003137/1003138): the task lives in a goal the builder hasn't joined. The refusal is resolvable **in-session — never send the builder to the hall UI**. The body carries `goal_id`, `visibility`, and the `action` (`join` | `apply`); the CLI already renders the offer and, on a TTY, prompts `[Y/n]` itself. In an agent session (no TTY) the CLI prints the one-command path instead — narrate the same offer to the user:
+    - **`action: join`** (public goal): offer *"Task N lives in goal G ("title", public) — you're not a member. Join and claim?"* On yes, run `node scripts/gds/claim.js <task-id> --join` — it joins the goal and lands the claim in one command. On no, stop: declining leaves no membership row.
+    - **`action: apply`** (private goal, or a public goal with Archon-mediated protected scope): offer to file the application. On yes, run the same `--join` command — it files exactly one pending request and states plainly that **nothing can be claimed until an owner approves** (do not retry the claim; check the goal inbox later). Re-running reports "already pending", not an error. A private goal's refusal deliberately carries no title or scope — don't guess at them.
+    - **Never pass `--join` without the user's yes.** The owner chose the explicit-join model: the offer is a prompt, not a silent side effect.
+
 ## Constraints
 
 - **Don't retry on conflict.** Failures here are intentional — they protect us from race conditions.

package/package-lock.json

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

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@bongos/core",
-  "version": "1.19.279",
+  "version": "1.19.280",
   "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/scripts/gds/claim.js

@@ -2,7 +2,7 @@
 // Builder claim — atomically claim a task.
 //
 // Usage:
-//   node scripts/gds/claim.js <task-id> [--worktree NAME]
+//   node scripts/gds/claim.js <task-id> [--worktree NAME] [--enforce-touches] [--join]
 //
 // On success: prints the claim id, the task title, and the touches[] so the
 // builder knows the parallel-safety boundary they're working within.
@@ -165,22 +165,31 @@ function printClaimCard(task, widgetsEnabled = true) {
   } catch (_) { /* never block a claim on the card */ }
 }
 
+// task 1003138: the envelope/flat normalization from formatClaimFailure, pulled
+// out so the goal-join flow reads the same { code, message, d } regardless of
+// response shape. Pure + exported (tested through both consumers).
+function claimErrorInfo(r) {
+  const errRaw = r && r.data ? r.data.error : undefined;
+  const isEnvelope = errRaw !== null && typeof errRaw === 'object';
+  return {
+    code: isEnvelope ? errRaw.code : errRaw,
+    message: isEnvelope ? errRaw.message : undefined,
+    // Structured fields live under .details in the envelope; fall back to the
+    // top-level body for the legacy flat shape (so both keep working).
+    d: { ...(r && r.data ? r.data : {}), ...((isEnvelope && errRaw.details) || {}) },
+  };
+}
+
 // task 1476: render a failed claim as GUIDANCE, not a raw object dump. The API
 // returns the R01 error envelope (ADR 0116): { error: { code, message, details } }.
-// Older paths returned a flat { error: 'CODE', ...fields } shape. This normalizes
-// BOTH — without it `r.data.error` is now an object (never === a string), so every
-// branch below silently missed and the refusal printed as `[object Object]`. Pure
-// (no console / no process.exit) + exported so it can be unit-tested against the
-// real envelope shapes. Returns { lines, exit }.
+// Older paths returned a flat { error: 'CODE', ...fields } shape. claimErrorInfo
+// normalizes BOTH — without it `r.data.error` is now an object (never === a
+// string), so every branch below silently missed and the refusal printed as
+// `[object Object]`. Pure (no console / no process.exit) + exported so it can be
+// unit-tested against the real envelope shapes. Returns { lines, exit }.
 function formatClaimFailure(r, taskId) {
   const lines = [];
-  const errRaw = r && r.data ? r.data.error : undefined;
-  const isEnvelope = errRaw !== null && typeof errRaw === 'object';
-  const code = isEnvelope ? errRaw.code : errRaw;
-  const message = isEnvelope ? errRaw.message : undefined;
-  // Structured fields live under .details in the envelope; fall back to the
-  // top-level body for the legacy flat shape (so both keep working).
-  const d = { ...(r && r.data ? r.data : {}), ...((isEnvelope && errRaw.details) || {}) };
+  const { code, message, d } = claimErrorInfo(r);
 
   // #766: a generic onboarding stage gate (kept rendering cleanly, not as raw JSON).
   if (code === 'stage_required') {
@@ -263,17 +272,147 @@ function formatClaimFailure(r, taskId) {
     lines.push('Resolve it first (/blocker-solve N drives one to done; resolving auto-promotes its linked tasks) — or pick another task from /builder-start.');
     return { lines, exit: 1 };
   }
+  if (code === 'GOAL_MEMBERSHIP_REQUIRED') {
+    // task 1003138: the non-interactive rendering of the membership refusal —
+    // the interactive offer (runGoalJoinFlow) normally intercepts this code
+    // before it gets here; this branch covers a retry that re-refused, an
+    // unexpected body, or a decline.
+    lines.push(`Task #${taskId} lives in goal ${d.goal_id}${d.goal_title ? ` ("${d.goal_title}")` : ''}${d.visibility ? ` (${d.visibility})` : ''} — you are not a member.`);
+    lines.push(d.action === 'apply'
+      ? `  Apply to join (POST /api/bongos/goals/${d.goal_id}/requests) — nothing can be claimed until an owner approves. Re-run with --join to file the application from here.`
+      : `  Join and claim in one command:  node scripts/gds/claim.js ${taskId} --join`);
+    return { lines, exit: 1 };
+  }
   // Fallback — still readable: the message + code, never a raw [object Object].
   lines.push(`Claim failed (${r ? r.status : '?'})${code ? ` [${code}]` : ''}${message ? `: ${message}` : ''}.`);
   return { lines, exit: 1 };
 }
 
+// task 1003138 (owner ask, verbatim: 'claude should offer to join so they dont
+// need to go through the ui') — the goal-membership refusal (403
+// GOAL_MEMBERSHIP_REQUIRED, the task-1003137 gate) is resolvable in-session.
+// goalMembershipOfferPlan is the PURE half: given the refusal details it names
+// the offer to make. Exported for unit tests; the I/O lives in runGoalJoinFlow.
+// Returns null when the body is missing the fields the flow needs (falls back
+// to formatClaimFailure), else { action, headerLines, question }.
+function goalMembershipOfferPlan(d, taskId) {
+  if (!d || d.goal_id == null || (d.action !== 'join' && d.action !== 'apply')) return null;
+  const g = d.goal_id;
+  if (d.action === 'join') {
+    return {
+      action: 'join',
+      headerLines: [
+        `✗ Task ${taskId} lives in goal ${g}`,
+        ...(d.goal_title ? [`    "${d.goal_title}" (${d.visibility || 'public'})`] : []),
+        '    You are not a member.',
+      ],
+      question: `Join goal ${g} and claim? [Y/n] `,
+    };
+  }
+  // 'apply' — a private goal, or a public one whose scope is Archon-mediated
+  // (the server folds both to apply; a pending request grants nothing yet).
+  return {
+    action: 'apply',
+    headerLines: d.visibility === 'private'
+      ? [`✗ Goal ${g} is private.`]
+      : [
+        `✗ Task ${taskId} lives in goal ${g}${d.goal_title ? ` ("${d.goal_title}")` : ''} — joining needs approval (Archon-mediated scope).`,
+      ],
+    question: 'Apply to join? [Y/n] ',
+  };
+}
+
+// One yes/no on the real terminal (default yes — the owner-approved [Y/n]
+// shape). Returns null when there is no TTY to ask — the caller then prints
+// the --join re-run hint instead of hanging a non-interactive session.
+async function promptYesNo(question) {
+  if (!process.stdin.isTTY) return null;
+  const readline = require('node:readline/promises');
+  const rl = readline.createInterface({ input: process.stdin, output: process.stderr });
+  try {
+    const a = (await rl.question(question)).trim().toLowerCase();
+    return a === '' || a === 'y' || a === 'yes';
+  } finally {
+    rl.close();
+  }
+}
+
+// The I/O half of the offer. Outcomes: 'retry' (joined — re-POST the claim),
+// 'stop' (declined / filed / blocked — everything already printed, exit 1),
+// 'unhandled' (fall through to formatClaimFailure). Never joins or files
+// without a yes: --join is the standing yes for non-interactive sessions.
+async function runGoalJoinFlow({ api, d, taskId, assumeYes }) {
+  const plan = goalMembershipOfferPlan(d, taskId);
+  if (!plan) return 'unhandled';
+  const goalId = d.goal_id;
+  for (const line of plan.headerLines) console.error(line);
+
+  const yes = assumeYes ? true : await promptYesNo(plan.question);
+  if (yes === null) {
+    // Non-interactive (an agent session): make the one-command path explicit.
+    console.error(plan.action === 'join'
+      ? `  To join goal ${goalId} and claim in one command:  node scripts/gds/claim.js ${taskId} --join`
+      : `  To file the application from here:  node scripts/gds/claim.js ${taskId} --join   (nothing claimable until approved)`);
+    return 'stop';
+  }
+  if (!yes) {
+    // The owner chose the explicit-join model — declining leaves NO membership
+    // row and NO request.
+    console.error(plan.action === 'join'
+      ? '  Declined — nothing joined, nothing claimed.'
+      : '  Declined — no application filed, nothing claimed.');
+    return 'stop';
+  }
+
+  if (plan.action === 'join') {
+    const jr = await api.goals.postGoalsIdJoin({ id: goalId, body: {} });
+    if (jr.status === 200 || jr.status === 201) {
+      console.error(`+ joined goal ${goalId} (member)`);
+      return 'retry';
+    }
+    const j = claimErrorInfo(jr);
+    if (j.code === 'archon_approval_required') {
+      // The third branch, handled honestly (routes/goals.js:615): a PUBLIC goal
+      // with protected scope is not self-joinable — don't loop, name the path.
+      console.error(`✗ Goal ${goalId}'s scope is Archon-mediated — self-join is not allowed.`);
+      console.error(`  Request to join instead:  node scripts/gds/claim.js ${taskId} --join  (after the server re-offers apply), or ask an Archon to add you.`);
+      return 'stop';
+    }
+    if (j.code === 'goal_private') {
+      // Visibility flipped between refusal and join — report, don't loop.
+      console.error(`✗ Goal ${goalId} is private now — request to join (POST /api/bongos/goals/${goalId}/requests) and wait for approval.`);
+      return 'stop';
+    }
+    console.error(`✗ join failed (${jr.status})${j.code ? ` [${j.code}]` : ''}${j.message ? `: ${j.message}` : ''}.`);
+    return 'stop';
+  }
+
+  // 'apply' — file the request; a pending row grants nothing, so never retry
+  // the claim here.
+  const ar = await api.goals.postGoalsIdRequests({ id: goalId, body: {} });
+  if (ar.status === 201) {
+    console.error('+ request filed — pending owner approval');
+    console.error('  (nothing to claim until approved)');
+    return 'stop';
+  }
+  const a = claimErrorInfo(ar);
+  if (a.code === 'request_pending') {
+    // The core_188 partial-unique: one pending ask per goal per builder —
+    // re-running reports, it does not error.
+    console.error('• already pending — your earlier request for this goal awaits owner approval.');
+    console.error('  (nothing to claim until approved)');
+    return 'stop';
+  }
+  console.error(`✗ application failed (${ar.status})${a.code ? ` [${a.code}]` : ''}${a.message ? `: ${a.message}` : ''}.`);
+  return 'stop';
+}
+
 async function main() {
   await requireSession();
   const args = process.argv.slice(2);
   const taskId = Number(args[0]);
   if (!Number.isFinite(taskId)) {
-    console.error('usage: node scripts/gds/claim.js <task-id> [--worktree NAME] [--enforce-touches]');
+    console.error('usage: node scripts/gds/claim.js <task-id> [--worktree NAME] [--enforce-touches] [--join]');
     process.exit(2);
   }
   const wIdx = args.indexOf('--worktree');
@@ -287,10 +426,15 @@ async function main() {
   // --enforce-touches so adjacency becomes a HARD refusal (it fans concurrent
   // unsupervised agents that could clobber each other on shared files).
   const enforceTouches = args.includes('--enforce-touches');
+  // task 1003138: --join is the standing yes to the goal-membership offer —
+  // join (public) or file the application (private/protected) and, for a join,
+  // retry the claim, all in one command. Without it an interactive session is
+  // asked [Y/n]; a non-TTY session is shown the --join re-run line.
+  const assumeYes = args.includes('--join');
   const headSha = captureHeadSha();
 
   const api = await cliClient();
-  const r = await api.claims.postClaims({
+  const postClaim = () => api.claims.postClaims({
     body: {
       task_id: taskId,
       worktree_name: worktree,
@@ -298,6 +442,19 @@ async function main() {
       enforce_touches: enforceTouches,
     },
   });
+  let r = await postClaim();
+  // task 1003138: a goal-membership refusal (the task-1003137 gate) is
+  // resolvable in-session — offer the join/application, and on a successful
+  // join retry the claim ONCE (a second refusal falls through to the plain
+  // rendering; never loop).
+  if (r.status !== 201 && claimErrorInfo(r).code === 'GOAL_MEMBERSHIP_REQUIRED') {
+    const outcome = await runGoalJoinFlow({ api, d: claimErrorInfo(r).d, taskId, assumeYes });
+    if (outcome === 'retry') {
+      r = await postClaim();
+    } else if (outcome === 'stop') {
+      process.exit(1); // everything already printed; no claim landed
+    }
+  }
   if (r.status === 201) {
     const { claim, task } = r.data;
     console.log(`Claimed task #${task.id}: ${task.title}`);
@@ -433,4 +590,4 @@ if (require.main === module) {
   });
 }
 
-module.exports = { formatClaimFailure };
+module.exports = { formatClaimFailure, claimErrorInfo, goalMembershipOfferPlan };

package/src/module-api.js

@@ -985,8 +985,10 @@ const { validateOrRespond, LIMITS, parseId, asyncHandler, corsPublicGet, parsePa
 //         landed since 1.19.277 with no explicit bump. run 32508270995. (task 1002620)
 //   1.19.279 — CI auto-patch (publish-on-merge, ADR 0161): carrier for merges
 //         landed since 1.19.278 with no explicit bump. run 32521664476. (task 1002620)
+//   1.19.280 — CI auto-patch (publish-on-merge, ADR 0161): carrier for merges
+//         landed since 1.19.279 with no explicit bump. run 32523185119. (task 1002620)
 // ---------------------------------------------------------------------------
-const CORE_VERSION = '1.19.279'; // CI auto-patch carrier (ADR 0161); see changelog above
+const CORE_VERSION = '1.19.280'; // CI auto-patch carrier (ADR 0161); see changelog above
 
 // A namespaced logger so a module's log lines are attributable + consistent.
 // Usage: const log = api.logger('dev-box'); log.info('mounted');

package/tests/claim_error_surface.mjs

@@ -14,7 +14,7 @@ import { strict as assert } from 'node:assert';
 import { createRequire } from 'node:module';
 
 const require = createRequire(import.meta.url);
-const { formatClaimFailure } = require('../scripts/gds/claim.js');
+const { formatClaimFailure, claimErrorInfo, goalMembershipOfferPlan } = require('../scripts/gds/claim.js');
 
 let passed = 0;
 let failed = 0;
@@ -36,7 +36,7 @@ t('never dumps [object Object] for any known code', () => {
     'session_already_has_bound_claim',
     'newcomer_must_ship_first', 'ALREADY_CLAIMED', 'MODULE_CONFLICT',
     'TOUCHES_CONFLICT', 'TASK_NOT_READY', 'TASK_NOT_FOUND', 'DEPS_NOT_SHIPPED',
-    'OPEN_BLOCKER',
+    'OPEN_BLOCKER', 'GOAL_MEMBERSHIP_REQUIRED',
     'some_unmapped_future_code',
   ];
   for (const c of codes) {
@@ -138,5 +138,58 @@ t('unknown code: fallback carries code + message, exit 1', () => {
   assert.match(text(r), /boom/);
 });
 
+// ---- task 1003138: the goal-membership refusal is resolvable in-session ----
+// The task-1003137 gate returns 403 GOAL_MEMBERSHIP_REQUIRED with { goal_id,
+// visibility, action: join|apply, goal_title? }. claim.js offers the join (or
+// files the application) inline; these pin the pure halves — the offer plan and
+// the non-interactive fallthrough rendering.
+
+t('GOAL_MEMBERSHIP_REQUIRED fallthrough: join names the one-command path, apply names the approval wait', () => {
+  const join = text(formatClaimFailure(
+    envelope('GOAL_MEMBERSHIP_REQUIRED', { goal_id: 1000045, visibility: 'public', action: 'join', goal_title: 'Public builder profiles' }, 'not a member', 403), 1002784));
+  assert.match(join, /goal 1000045/);
+  assert.match(join, /Public builder profiles/);
+  assert.match(join, /--join/, 'join path advertises the one-command re-run');
+  const apply = text(formatClaimFailure(
+    envelope('GOAL_MEMBERSHIP_REQUIRED', { goal_id: 1000099, visibility: 'private', action: 'apply' }, 'not a member', 403), 5));
+  assert.match(apply, /goal 1000099/);
+  assert.match(apply, /approv/i, 'apply path says approval gates the claim');
+});
+
+t('goalMembershipOfferPlan: join offer matches the owner-approved shape (goal named, title shown, [Y/n])', () => {
+  const p = goalMembershipOfferPlan({ goal_id: 1000045, visibility: 'public', action: 'join', goal_title: 'Public builder profiles' }, 1002784);
+  assert.equal(p.action, 'join');
+  assert.match(p.headerLines[0], /Task 1002784 lives in goal 1000045/);
+  assert.match(p.headerLines[1], /"Public builder profiles" \(public\)/);
+  assert.match(p.headerLines[2], /not a member/i);
+  assert.equal(p.question, 'Join goal 1000045 and claim? [Y/n] ');
+});
+
+t('goalMembershipOfferPlan: private goal offers apply and shows no title (there is none to leak)', () => {
+  const p = goalMembershipOfferPlan({ goal_id: 1000099, visibility: 'private', action: 'apply' }, 5);
+  assert.equal(p.action, 'apply');
+  assert.deepEqual(p.headerLines, ['✗ Goal 1000099 is private.']);
+  assert.equal(p.question, 'Apply to join? [Y/n] ');
+});
+
+t('goalMembershipOfferPlan: public protected-scope goal offers apply and says why', () => {
+  const p = goalMembershipOfferPlan({ goal_id: 7, visibility: 'public', action: 'apply', goal_title: 'Core wall' }, 5);
+  assert.equal(p.action, 'apply');
+  assert.match(p.headerLines[0], /Archon-mediated/i);
+});
+
+t('goalMembershipOfferPlan: a malformed body plans nothing (falls back to formatClaimFailure)', () => {
+  assert.equal(goalMembershipOfferPlan(null, 5), null);
+  assert.equal(goalMembershipOfferPlan({ action: 'join' }, 5), null, 'no goal_id → no plan');
+  assert.equal(goalMembershipOfferPlan({ goal_id: 7, action: 'teleport' }, 5), null, 'unknown action → no plan');
+});
+
+t('claimErrorInfo: reads envelope and flat shapes identically', () => {
+  const env = claimErrorInfo(envelope('X', { a: 1 }, 'msg'));
+  assert.equal(env.code, 'X'); assert.equal(env.message, 'msg'); assert.equal(env.d.a, 1);
+  const flat = claimErrorInfo({ status: 409, data: { error: 'X', a: 1 } });
+  assert.equal(flat.code, 'X'); assert.equal(flat.d.a, 1);
+});
+
 console.log(`\nclaim_error_surface: ${passed} passed, ${failed} failed`);
 process.exit(failed === 0 ? 0 : 1);