@feigi/fleet-ctl 3.95.2 → 3.95.4

package/agents/fleet-implementer-slow-high.agent.md

@@ -240,7 +240,7 @@ including if the `Sizing:` line was written before the run and corrected after;
 `sizing.verdict` and `sizing.signal` are that line's verdict and signal.
 Nothing in the PR body separates a measured verdict from one typed in early;
 that field is the only thing that does, and an unreported ordering costs the
-covariate. A bail is `outcome` `bailed`, its cause in `bailCause`: the
+covariate. A bail is `outcome` `bailed`, its cause in `bailCause`, with `pr` and `head` `null`: the
 pre-code outcome, before you touch code. A block or ambiguity you find after
 implementation began — the work cannot finish without a ruling or human hands
 you do not have — is `outcome` `blocked` instead, with `pr`, `head` and `bailCause` `null` and

package/agents/fleet-implementer-slow-medium.agent.md

@@ -240,7 +240,7 @@ including if the `Sizing:` line was written before the run and corrected after;
 `sizing.verdict` and `sizing.signal` are that line's verdict and signal.
 Nothing in the PR body separates a measured verdict from one typed in early;
 that field is the only thing that does, and an unreported ordering costs the
-covariate. A bail is `outcome` `bailed`, its cause in `bailCause`: the
+covariate. A bail is `outcome` `bailed`, its cause in `bailCause`, with `pr` and `head` `null`: the
 pre-code outcome, before you touch code. A block or ambiguity you find after
 implementation began — the work cannot finish without a ruling or human hands
 you do not have — is `outcome` `blocked` instead, with `pr`, `head` and `bailCause` `null` and

package/agents/fleet-implementer-smol-high.agent.md

@@ -240,7 +240,7 @@ including if the `Sizing:` line was written before the run and corrected after;
 `sizing.verdict` and `sizing.signal` are that line's verdict and signal.
 Nothing in the PR body separates a measured verdict from one typed in early;
 that field is the only thing that does, and an unreported ordering costs the
-covariate. A bail is `outcome` `bailed`, its cause in `bailCause`: the
+covariate. A bail is `outcome` `bailed`, its cause in `bailCause`, with `pr` and `head` `null`: the
 pre-code outcome, before you touch code. A block or ambiguity you find after
 implementation began — the work cannot finish without a ruling or human hands
 you do not have — is `outcome` `blocked` instead, with `pr`, `head` and `bailCause` `null` and

package/agents/fleet-implementer-task-high.agent.md

@@ -240,7 +240,7 @@ including if the `Sizing:` line was written before the run and corrected after;
 `sizing.verdict` and `sizing.signal` are that line's verdict and signal.
 Nothing in the PR body separates a measured verdict from one typed in early;
 that field is the only thing that does, and an unreported ordering costs the
-covariate. A bail is `outcome` `bailed`, its cause in `bailCause`: the
+covariate. A bail is `outcome` `bailed`, its cause in `bailCause`, with `pr` and `head` `null`: the
 pre-code outcome, before you touch code. A block or ambiguity you find after
 implementation began — the work cannot finish without a ruling or human hands
 you do not have — is `outcome` `blocked` instead, with `pr`, `head` and `bailCause` `null` and

package/agents/fleet-implementer-task-max.agent.md

@@ -240,7 +240,7 @@ including if the `Sizing:` line was written before the run and corrected after;
 `sizing.verdict` and `sizing.signal` are that line's verdict and signal.
 Nothing in the PR body separates a measured verdict from one typed in early;
 that field is the only thing that does, and an unreported ordering costs the
-covariate. A bail is `outcome` `bailed`, its cause in `bailCause`: the
+covariate. A bail is `outcome` `bailed`, its cause in `bailCause`, with `pr` and `head` `null`: the
 pre-code outcome, before you touch code. A block or ambiguity you find after
 implementation began — the work cannot finish without a ruling or human hands
 you do not have — is `outcome` `blocked` instead, with `pr`, `head` and `bailCause` `null` and

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@feigi/fleet-ctl",
-  "version": "3.95.2",
+  "version": "3.95.4",
   "description": "Agent fleet: run-team controller, merge bot, PR reviewer, and the ticket pipeline they share",
   "license": "Apache-2.0",
   "repository": {

package/scripts/ledger.mjs

@@ -2507,7 +2507,9 @@ function recordFiled(id, subject) {
 //                             reads OPEN and its closingIssuesReferences in its
 //                             own repository name N;
 //                             the Check-step record (below) holds for <head>
-//   impl-N=bailed             bailCause is not null; the receipt names it
+//   impl-N=bailed             bailCause is not null; the receipt names it.
+//                             report-schema.mjs already refuses a bail that
+//                             names a pr or a head
 //   impl-N=blocked            nothing to check: report-schema.mjs already
 //                             refuses a block that names a bailCause, a pr or
 //                             a head, or gives no reason in bailDetail

package/scripts/report-schema.mjs

@@ -25,7 +25,8 @@
 //      `$.bailCause: "<cause>" is not null, with outcome "blocked" — a block
 //      is no bail`, gives no reason in `bailDetail`, or names a `pr` or a
 //      `head`, as `$.pr: <pr> is not null, with outcome "blocked" — a block
-//      reports no PR`
+//      reports no PR`, or whose `bailed` outcome names a `pr` or a `head`, as
+//      `$.pr: <pr> is not null, with outcome "bailed" — a bail reports no PR`
 //   2  usage: no or unknown subcommand, a wrong argument count, an unknown
 //      family, any flag; or <file> could not be read; or print could not
 //      write the schema to stdout. Refused on stderr, nothing on stdout
@@ -185,10 +186,11 @@ export function mergeBotVerdicts(report) {
 // no schema keyword states. For an impl report: a `blocked` outcome names no
 // `bailCause`, since a block is no bail, gives its reason in `bailDetail`,
 // text that is not only whitespace, and names no `pr` or `head`, since a block
-// reports no PR — a PR it opened is outcome `pr`, which settle checks. For a
-// merge-bot report: each PR gets one verdict — merged, held, conflict-held or
-// refused — the last it reached in the pass, so a PR named twice, in one list
-// or in two, is a violation at its second entry.
+// reports no PR; a `bailed` outcome names no `pr` or `head` either, since a
+// bail is the pre-code outcome — a PR the member opened is outcome `pr`, which
+// settle checks. For a merge-bot report: each PR gets one verdict — merged,
+// held, conflict-held or refused — the last it reached in the pass, so a PR
+// named twice, in one list or in two, is a violation at its second entry.
 export function reportViolation(family, value) {
   const found = validate(SCHEMAS[family], value);
   if (found !== null) return found;
@@ -199,6 +201,11 @@ export function reportViolation(family, value) {
       if (value[field] !== null) return `$.${field}: ${show(value[field])} is not null, with outcome "blocked" — a block reports no PR`;
     }
   }
+  if (family === "impl" && value.outcome === "bailed") {
+    for (const field of ["pr", "head"]) {
+      if (value[field] !== null) return `$.${field}: ${show(value[field])} is not null, with outcome "bailed" — a bail reports no PR`;
+    }
+  }
   if (family !== "merge-bot") return null;
   const first = new Map();
   for (const { pr, path } of mergeBotVerdicts(value)) {