pi-aia-asf 0.13.0 → 0.13.1

package/CHANGELOG.md

@@ -7,6 +7,32 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.13.1] - 2026-10-16
+
+### Fixed
+
+- **A measurement without a target no longer reads as a verdict.** 0.13.0
+  shipped the measurement contract but left the last clause of the requirement
+  unimplemented: *where no defensible default exists the output is
+  `no-default: needs a declared target`, never a silent pass*. Now:
+  - **`perf.target` is the one parameter that ships no default.** A latency or
+    throughput target is a product decision; a number ASF invented would be a
+    fabricated specification. With nobody having declared one, the parameter
+    resolves to `value: null, origin: "no-default"` and the verdict text is the
+    literal `no-default: needs a declared target`.
+  - **`target` is required on latency and throughput claims.** A claim can carry
+    a complete measurement contract — percentile, load, samples, environment,
+    lab-or-field — and still be judging nothing. That is now reported, with
+    `noDefault` set on the result. A **regression** claim still needs no target:
+    it compares two arms rather than a threshold.
+  - **The parameter guard keeps its teeth.** The flag that exempts a parameter
+    from a band is the same flag that *forbids* it from shipping a general
+    default, so a fabricated number cannot smuggle itself in as "no default
+    needed". Adding `perf.target` also tripped the existing guard for a missing
+    `meaning` field — the guard working as intended on its first real test.
+  - `SKILL.md`/06k/06b state the rule where the contract is stated, and the
+    config screen shows `no-default` as a first-class origin.
+
 ## [0.13.0] - 2026-10-16
 
 ### Added

package/lib/gates/config.mjs

@@ -79,9 +79,18 @@ export function assertParametersAreConsumed(projectConfig = {}, { knownGates } =
   for (const [k, spec] of Object.entries(PARAMS)) {
     if (!spec.gate) problems.push(`${k}: has no consuming gate`);
     if (!spec.source || !String(spec.source).trim()) problems.push(`${k}: has no source — a default that cannot explain itself is a guess with better formatting`);
-    if ((spec.band == null) !== !!spec.nonAdaptive) {
+    // A band exists to stop calibration widening a knob into an escape hatch.
+    // Two kinds of parameter have nothing to band: a non-adaptive constant (the
+    // general value is the only value), and a parameter with no general default
+    // at all — there is no number to drift. Anything else must carry one.
+    const unbanded = spec.band == null;
+    const exemptFromBand = !!spec.nonAdaptive || !!spec.requiresDeclaredTarget;
+    if (unbanded !== exemptFromBand) {
       problems.push(`${k}: a band requires adaptability, and a non-adaptive constant must not have one`);
     }
+    if (spec.requiresDeclaredTarget && spec.general !== null) {
+      problems.push(`${k}: declares requiresDeclaredTarget but ships a general default — that is the fabricated number this flag exists to prevent`);
+    }
   }
   return problems;
 }

package/lib/gates/defaults.mjs

@@ -25,7 +25,7 @@
  * guess with better formatting (02-research.md, P33).
  */
 
-/** @typedef {'default'|'project'|'calibrated'|'override'} ValueOrigin */
+/** @typedef {'default'|'project'|'calibrated'|'override'|'no-default'} ValueOrigin */
 
 /**
  * @typedef {object} ParamSpec
@@ -48,6 +48,25 @@
  * `.asf-test.json`.
  */
 export const PARAMS = {
+  // ── The one parameter that must NOT have a default (P33) ───────────────
+  //
+  // Every other parameter here can explain its own number. This one cannot, and
+  // inventing one is the failure the spec names: ASF must not decide that a
+  // consumer's endpoint is supposed to answer in 2s. With nobody having
+  // declared a target the verdict is `no-default: needs a declared target` —
+  // never a silent pass, and never a number ASF made up.
+  "perf.target": {
+    key: "perf.target",
+    general: null,
+    type: "string",
+    band: null,
+    requiresDeclaredTarget: true,
+    meaning: "The declared performance target a scenario is judged against; with no target declared there is no verdict, only a measurement",
+    source:
+      "no defensible general default exists — a latency or throughput target is a product decision, and a number ASF invented would be a fabricated specification (06i). It must be declared by the spec it comes from.",
+    gate: "measurement",
+  },
+
   // ── Performance placement (P34) ──────────────────────────────────────────
   "perf.cheapBudgetSeconds": {
     key: "perf.cheapBudgetSeconds",
@@ -291,6 +310,23 @@ export function resolveParam(key, tiers = {}) {
     nonAdaptive: !!spec.nonAdaptive,
   };
 
+  // A parameter with no defensible general default has exactly one legal
+  // output when nobody declared it: say so. Returning a value here would be the
+  // silent pass this branch exists to prevent, so an explicit project value or
+  // override is the only way it resolves.
+  if (spec.requiresDeclaredTarget) {
+    const declared =
+      Object.prototype.hasOwnProperty.call(overrides, key)
+        ? overrides[key]
+        : Object.prototype.hasOwnProperty.call(projectConfig, key)
+          ? projectConfig[key]
+          : null;
+    if (declared == null || declared === "") {
+      return { ...base, value: null, origin: "no-default", why: "no-default: needs a declared target" };
+    }
+    return { ...base, value: declared, origin: "project", why: "declared target" };
+  }
+
   // Non-adaptive: the general value is the only value. A project or an override
   // that tries to move it is reported, not obeyed — silently ignoring it would
   // let a config file look like it had changed the rules.

package/lib/gates/measurement.mjs

@@ -22,12 +22,12 @@
 
 export const CONTRACTS = {
   latency: {
-    required: ["percentile", "load", "samples", "environment", "labOrField"],
-    hint: "a latency claim needs a percentile, the load it was measured at, the sample count, the environment, and whether it is lab or field",
+    required: ["percentile", "load", "samples", "environment", "labOrField", "target"],
+    hint: "a latency claim needs a percentile, the load it was measured at, the sample count, the environment, whether it is lab or field, and the target it is being judged against",
   },
   throughput: {
-    required: ["arrivalModel", "duration", "environment", "samples"],
-    hint: "a throughput claim needs an arrival model (closed-loop vs open-loop — coordinated omission changes the answer), the duration, the environment and the sample count",
+    required: ["arrivalModel", "duration", "environment", "samples", "target"],
+    hint: "a throughput claim needs an arrival model (closed-loop vs open-loop — coordinated omission changes the answer), the duration, the environment, the sample count and the target it is being judged against",
   },
   regression: {
     required: ["comparison", "interleaved", "rawSamples", "cv", "samples", "environment"],
@@ -54,6 +54,14 @@ export function checkMeasurementContract(claim) {
   });
   const out = { ok: missing.length === 0, missing, claim };
   if (!out.ok) out.hint = contract.hint;
+  // A claim can carry a full measurement contract and still have nothing to be
+  // compared against. "p95 was 180ms at 200 users, 30 samples, CI" is a real
+  // measurement; without a target it is not a verdict about meeting anything.
+  // ASF does not invent the target — that is a product decision — so the
+  // verdict here is the literal string the spec names, never a silent pass.
+  if (missing.includes("target")) {
+    out.noDefault = "no-default: needs a declared target";
+  }
   return out;
 }
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pi-aia-asf",
-  "version": "0.13.0",
+  "version": "0.13.1",
   "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",

package/skills/aia-asf/references/06b-testing-qa.md

@@ -484,6 +484,12 @@ do not accept it, and do not quietly drop it.**
 | Throughput | arrival model (closed-loop or open-loop) · duration · environment · sample count |
 | Regression | statistical comparison · interleaved randomized measurement · retained raw samples · observed CV · sample count · environment |
 
+Latency and throughput claims additionally carry **the target they are judged
+against**. ASF ships no default for it (`perf.target` is the one parameter with
+no general default): with no declared target the output is
+`no-default: needs a declared target`, never a silent pass and never a number
+ASF invented — deciding a consumer's SLA is a product decision, not a default.
+
 Full text, rationale and the arrival-model trap:
 [06k-performance.md](06k-performance.md) §2. The DoD line *"performance targets
 from the spec are met"* is unfalsifiable without this — which is why it has

package/skills/aia-asf/references/06k-performance.md

@@ -57,10 +57,17 @@ than accepted.
 **A number without its contract is not a specification. Report it as incomplete;
 do not accept it, and do not quietly drop it.**
 
+**And a measurement without a target is not a verdict.** ASF does not decide a
+consumer's SLA. `perf.target` is the one parameter in the table that ships **no
+default**, and with nobody having declared one the output is the literal string
+`no-default: needs a declared target` — never a silent pass, and never a number
+ASF made up. A perfectly well-formed measurement that has nothing to compare
+against has told you something and concluded nothing; say that.
+
 | Claim type | Required, all of it |
 |---|---|
-| **Latency** | percentile · load it was measured at · sample count · environment · lab or field |
-| **Throughput** | arrival model (closed-loop or open-loop) · duration · environment · sample count |
+| **Latency** | percentile · load it was measured at · sample count · environment · lab or field · **the target it is judged against** |
+| **Throughput** | arrival model (closed-loop or open-loop) · duration · environment · sample count · **the target it is judged against** |
 | **Regression** | statistical comparison · interleaved randomized measurement · retained raw samples · observed CV · sample count · environment |
 
 Wrong, and how it must be reported: