statecraft.
Catalog/rustev

064-selection-gate-case-regressions

Selection gate: a clause on per-case regressions against the baseline (amends 029 and 061)

Lifecycle approvedImplementation completeVerification unknownQualification unknown

An amendment of approved specs 029 (3.12) and 061 (3.7), for release 0.6.0 (#537), ratified by the owner on 2026-11-06 (A-83). Every selection clause today compares `pooled` values of the cohort `all` or of each slice, so a candidate that improves most cases and collapses on a few passes `not_worse_than`. This spec adds one clause to `rustev.selection-gate/1`, `case_regressions`, which counts the dataset cases whose candidate value is worse than their baseline value by at least a declared absolute amount, in the metric's declared direction, and fails when more than a declared number regress. A case's value is 029 3.3.3's `pooled` computation restricted to that case, read from the per-case documents the baseline and each candidate already bind (`rustev.eval-cases/1`, or 061's `rustev.host-cases/1`), so no baseline document changes. The boundary is compared in exact decimal; a missing, partial or unknown case value makes the clause unknown, never a pass; `rustev.selection/1` lists the regressing cases. Gates and selections that do not use the clause keep their bytes and identities.

Read the full pinned specification ↗

Relationships

Claimed units

  • extends
    {
  "nature": "amending",
  "spec": "004-evaluation-and-replay",
  "unit": {
    "kind": "directory",
    "path": "crates/rustev-eval/"
  }
}
  • extends
    {
  "nature": "amending",
  "spec": "006-cli-surface",
  "unit": {
    "kind": "directory",
    "path": "crates/rustev-cli/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "027-node-and-wasm-bindings",
  "unit": {
    "kind": "directory",
    "path": "tools/rustev-conformance/"
  }
}
  • extends
    {
  "nature": "amending",
  "spec": "027-node-and-wasm-bindings",
  "unit": {
    "kind": "directory",
    "path": "crates/rustev-surface/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "031-public-api-and-release-family",
  "unit": {
    "kind": "directory",
    "path": "tools/rustev-release/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "001-boundaries-and-authority",
  "unit": {
    "kind": "file",
    "path": "Makefile"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "001-boundaries-and-authority",
  "unit": {
    "kind": "directory",
    "path": "scripts/acceptance/"
  }
}

Source headings

  1. 064: Selection gate: a clause on per-case regressions against the baseline (amends 029 and 061)
  2. 1. Purpose
  3. 2. Territory
  4. 2.1 Binding principles
  5. 3. Behavior
  6. 3.1 The clause
  7. 3.2 The per-case value
  8. 3.3 Regression of one case
  9. 3.4 Clause result
  10. 3.5 Output
  11. 3.6 Host sets (amends 061)
  12. 3.7 Compatibility
  13. 4. Out of scope
  14. 5. Observable negative cases
  15. Acceptance
  16. Verification
  17. Implementation record
  18. Decisions at approval

Frozen anchors

No frozen anchors declared.