pi-aia-asf 0.17.12 → 0.17.13

package/CHANGELOG.md

@@ -7,6 +7,34 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.17.13] - 2026-11-10
+
+### Changed — no scale means small (PO policy)
+
+PO decision: "If no scale, assume small." `currentScale()` used to judge a run with no
+recorded scale as **standard**, unless an earlier `/asf small` in the same process had
+flipped a global flag. That meant two things. First, the same unscaled run got a
+different verdict depending on what a previous run had done. Second, the run card
+printed the raw field ("unset", or "small") while the gate demanded standard's
+`/asf health` and full suite. The stuck sessions this produced were unreadable from the
+card alone.
+
+- `currentScale()` now returns small for an unset scale. Explicit `large` still judges
+  major and explicit `standard` still judges standard, so the change cannot widen.
+- The default in `sessionFacts` and `decideSettlement` is small too, so a caller that
+  forgets to pass a scale gets the floor rather than a ceremony nobody chose. The floor
+  itself still holds: changed source still needs a real test run.
+- The run card, `/asf status` and `/asf verify` print the scale the gate judges by.
+  Unset reads "unset — judged small", never a bare "unset".
+- `runtime.lastScaleWasSmall` and `markSmallScale()` are deleted. With small as the
+  default the flag decided nothing, and a field that reads as load-bearing but is not
+  is how this disagreement started.
+
+The reachable scale-less path is pinned: `/asf verify` calls `setPhase` without a scale,
+and `setPhase` only writes the field when given one. `test/test-scale-policy.mjs` covers
+that path end to end, along with the judged scale, settlement and the card. Five
+mutations, one per layer, are each caught.
+
 ## [0.17.12] - 2026-11-10
 
 ### Fixed — the health gate measured the wrong project

package/lib/extension/commands/index.ts

@@ -9,7 +9,7 @@ import type { ExtensionAPI, ExtensionCommandContext } from "@earendil-works/pi-c
 import { setPhase, runApprove } from "./session.ts";
 import { cmdVerify } from "./verify.ts";
 import { cmdStatus, cmdHealth, cmdRules, cmdConfig, cmdReport, cmdGates, cmdCard } from "./inspect.ts";
-import { cmdPassive, cmdAbort, helpText, markSmallScale } from "./run-control.ts";
+import { cmdPassive, cmdAbort, helpText } from "./run-control.ts";
 
 type Command = (args: string[], ctx: ExtensionCommandContext) => Promise<string> | string;
 
@@ -18,10 +18,7 @@ const COMMANDS: Record<string, Command> = {
   feature: (_a, ctx) => setPhase(ctx, { phase: "intake", workType: "feature", scale: "large" }),
   bugfix: (_a, ctx) => setPhase(ctx, { phase: "intake", workType: "major-bugfix", scale: "large" }),
   refactor: (_a, ctx) => setPhase(ctx, { phase: "intake", workType: "refactor", scale: "large" }),
-  small: (_a, ctx) => {
-    markSmallScale();
-    return setPhase(ctx, { phase: "implementation", scale: "small" });
-  },
+  small: (_a, ctx) => setPhase(ctx, { phase: "implementation", scale: "small" }),
   status: () => cmdStatus(),
   verify: (_a, ctx) => cmdVerify(ctx),
   health: (a) => cmdHealth(a),

package/lib/extension/commands/inspect.ts

@@ -7,7 +7,7 @@ import { projectName, runRoot } from "../paths.ts";
 import { loadState } from "../state.ts";
 import { ledger, authority, gateStats } from "../gate-state.ts";
 import { runtime } from "../runtime.ts";
-import { cardFor, collectMeasurements, extensionDir, measureRoot } from "../run.ts";
+import { cardFor, collectMeasurements, currentScale, extensionDir, measureRoot } from "../run.ts";
 import { renderLedger } from "../../gates/ledger.mjs";
 import { renderAuthority } from "../../gates/authority.mjs";
 import { renderCompletionGate } from "../../gates/settle.mjs";
@@ -22,12 +22,12 @@ export async function cmdStatus(): Promise<string> {
   if (!state.current) return "No active ASF session.";
   const cur = state.current;
   const floor =
-    cur.scale === "small" ? " (floor: a real test run and evidence; no plan/approval gates)" : "";
+    currentScale(cur) === "small" ? " (floor: a real test run and evidence; no plan/approval gates)" : "";
   const auto = cur.auto ? " — opened automatically by software work" : "";
   return (
     `ASF status (${project}):\n` +
     `  work type: ${cur.workType || "unset"}\n` +
-    `  scale: ${cur.scale || "unset"}${floor}${auto}\n` +
+    `  scale: ${cur.scale ? cur.scale : `unset — judged ${currentScale(cur)}`}${floor}${auto}\n` +
     `  phase: ${cur.phase}\n` +
     `  plan approved: ${cur.planApproved ? "yes" : "no"}\n` +
     (cur.passiveRunId && cur.passiveRunId === cur.runId ? `  passive: this run only\n` : "") +

package/lib/extension/commands/run-control.ts

@@ -10,7 +10,6 @@ import { newRunId } from "../run.ts";
 import { dependencySummary } from "../deps.ts";
 import { setPhase } from "./session.ts";
 import type { ExtensionCommandContext } from "@earendil-works/pi-coding-agent";
-import { runtime } from "../runtime.ts";
 
 export async function cmdPassive(): Promise<string> {
   const project = projectName();
@@ -52,7 +51,3 @@ export function helpText(): string {
   );
 }
 
-/** `small` is a scale the next run inherits; recorded here, not in the switch. */
-export function markSmallScale(): void {
-  runtime.lastScaleWasSmall = true;
-}

package/lib/extension/commands/verify.ts

@@ -89,10 +89,9 @@ function scaleLine(scale: string | undefined): string {
   const suffix =
     scale === "large"
       ? " — mechanical traceability gate ACTIVE"
-      : scale === "small"
-        ? " (floor only — no mechanical traceability gate)"
-        : "";
-  return `Scale: ${scale || "unset"}${suffix}`;
+      : " (floor only — no mechanical traceability gate)";
+  // Unset is judged small (PO policy); say so instead of printing a bare "unset".
+  return `Scale: ${scale || "unset — judged small"}${suffix}`;
 }
 
 export async function cmdVerify(ctx: ExtensionCommandContext): Promise<string> {

package/lib/extension/run.ts

@@ -62,7 +62,10 @@ export function cardFor(state: AsfState | null, nextStep?: string, remedy?: stri
         : `advance the ${state.phase} phase`);
   const card = renderRunCard({
     phase: state.phase,
-    scale: state.scale,
+    // The scale the gate judges by, not the raw field: an unset scale is judged
+    // small, and a card that printed "unset" (or the raw value) while the gate held
+    // the run to another scale is how a stuck run became unreadable.
+    scale: currentScale(state),
     workType: state.workType,
     objective: state.objective,
     openDod,
@@ -203,10 +206,24 @@ export function numberConfig(config: Record<string, unknown>, key: string, fallb
   return typeof v === "number" && Number.isFinite(v) ? v : fallback;
 }
 
-/** Small work is held to the reduced DoD — the scale rule is the trigger here. */
+/**
+ * The scale every gate judges a run by.
+ *
+ * PO policy: "If no scale, assume small." A run nobody scaled — auto-opened, or one
+ * whose scale was never written (`/asf verify` calls setPhase without one) — is held
+ * to the small floor: a real test run and evidence, not the health audit and full
+ * suite that standard demands. Only an explicit reading widens it. This used to fall
+ * back to standard unless an earlier `/asf small` had flipped a process-wide flag, so
+ * the same unscaled run was judged differently depending on what an earlier run in
+ * the same process had done — and the card, which printed the raw field, said "small"
+ * while the gate demanded standard's ceremony.
+ */
 export function currentScale(state?: AsfState | null): "small" | "standard" | "major" {
-  if (state?.scale === "small") return "small";
-  if (state?.scale === "large") return "major";
-  return runtime.lastScaleWasSmall ? "small" : "standard";
+  // Compared as strings: "standard" is not an AsfScale today, but a state file may
+  // carry it (hand-edited, or written by a newer ASF), and it must keep its meaning.
+  const raw = String(state?.scale ?? "");
+  if (raw === "large") return "major";
+  if (raw === "standard") return "standard";
+  return "small";
 }
 

package/lib/extension/runtime.ts

@@ -39,7 +39,6 @@ export interface RuntimeState {
    */
   lastMutationAt: number;
   passiveHeartbeatWritten: boolean;
-  lastScaleWasSmall: boolean;
   /** Re-anchoring is count-limited per run. */
   reanchorsThisRun: number;
   /**
@@ -81,7 +80,6 @@ export const runtime: RuntimeState = {
   blindNudged: false,
   lastMutationAt: 0,
   passiveHeartbeatWritten: false,
-  lastScaleWasSmall: false,
   reanchorsThisRun: 0,
   tracked: createTracked(),
   decisionsRead: [],

package/lib/gates/ledger.mjs

@@ -128,7 +128,9 @@ export function createLedger() {
  * The four session facts P41 checks. A spec says what the deliverable must
  * have; only the harness knows what actually happened this session.
  */
-export function sessionFacts(ledger, { scale = "standard", webTouched = false } = {}) {
+// No scale means small (PO policy) — at this layer too, so a caller that forgets to
+// pass one gets the floor rather than a ceremony nobody chose.
+export function sessionFacts(ledger, { scale = "small", webTouched = false } = {}) {
   const missing = [];
 
   // `/asf health` is a delivery-time check for standard/major runs. An

package/lib/gates/settle.mjs

@@ -211,7 +211,7 @@ function collectGaps(ledger, opts) {
 
 export function decideSettlement(ledger, opts = {}) {
   const { webTouched = false, continuationsSoFar = 0, seenSteers = [] } = opts;
-  const gaps = collectGaps(ledger, { scale: "standard", webTouched, untracedMet: [], reportFields: [], ...opts });
+  const gaps = collectGaps(ledger, { scale: "small", webTouched, untracedMet: [], reportFields: [], ...opts });
 
   const split = splitGaps(gaps);
   const missing = split.blocking;

package/lib/run-card.mjs

@@ -30,7 +30,7 @@ function clip(s, n) {
 /**
  * @param {object} o
  * @param {string} o.phase            the run's current phase
- * @param {string} o.scale            small | large
+ * @param {string} o.scale            the JUDGED scale: small | standard | major
  * @param {string} [o.workType]
  * @param {string} [o.objective]      one line: what this run is for
  * @param {string[]} [o.openDod]      DoD lines still unticked

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pi-aia-asf",
-  "version": "0.17.12",
+  "version": "0.17.13",
   "description": "Ai Applied Agentic Software Factory — codifies the full software development flow: intake, research, spec capture, adversarial analysis, planning with approval gates, test-first implementation, and release. Requires pi-vigilant, pi-smart-web-search, pi-smart-fetch, and pi-aia-browser.",
   "keywords": [
     "pi-package",