# Aced Builder Spec

> Partial Skill: invoke by name only — the ACED Builder bar at the spec gate — the agent-configuration contract criteria. Loaded by the ACED spec-producer to self-align and by the spec-judge to grade. Not triggered by users directly.

- Skill: `cyberuni/aced-builder-spec` (Agent Skill, multi-file: 2 files)
- Install (CLI): `npx skillmds@latest add cyberuni/aced-builder-spec`
- Raw SKILL.md: https://api.skillmd.com/api/skills/cyberuni/aced-builder-spec/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: AI & ML
- Author: cyberuni (https://skillmd.com/u/cyberuni)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/cyberuni/aced-builder-spec

---


# ACED Builder-Spec Governance — the agent-config contract bar

The **Builder** bar at the **spec gate**, specialized for agent-configuration artifact-types
(`skill`, `subagent`, `command`, `agents-section`). It **unions onto** `sdd:builder-spec-governance`
— the generic testability/coverage bar still applies; this adds what makes an *agent-config*
`.feature` a complete, simulable contract. One merged bar loaded by **both** faces — the ACED
spec-producer (`aced-scenario-writer`) reads it forward, the cold spec-judge (`aced-spec-validator`)
reads it backward. `producer ≠ judge` holds at the agent level.

## Fit gate — load first

Load **`aced:aced-fit`** and read the subject's declared `**Fit:**` tier **before** applying the
bar. Two criteria below are **conditional on tier**; a **missing** `**Fit:**` declaration is a
`CONTENT_GAP` (never default to `strong`); a **wrong-squad** subject is **recused**, not graded
(`aced:aced-fit`).

## The bar (per scenario, against the `.feature`)

- **Trigger context** *(scenarios that assert firing).* Every firing scenario carries a concrete
  trigger situation — who the user is, what they said, the state of the tree/files. A firing
  scenario that uses a vague stand-in ("a file", "some input", "a skill") where the value matters for
  simulation fails. A `partial`-fit subject has no firing scenarios, so this does not bind.
- **Rule coverage** *(all tiers).* Every major rule/step in the subject has at least one behavior
  scenario. A rule with zero scenarios fails.
- **Trigger balance** *(strong only).* For a **`strong`**-fit subject, both should-trigger scenarios
  **and near-miss should-not-trigger** scenarios are present (same domain keywords, different intent)
  — not only obviously-irrelevant negatives; a strong suite with no near-miss fails. For a
  **`partial`**-fit subject (a mechanical procedure with no activation decision), near-miss is
  **N/A** — its absence is **not** a failure.
- **Edge coverage** *(all tiers).* At least three edge-case or must-not-do guard scenarios. A
  must-not-do guard is a boolean `Then` asserting the agent *does not* do the prohibited action.
- **Boolean form** *(untagged scenarios).* Every `Then` in an **untagged** scenario is a boolean
  assertion; a rubric, threshold, or score leaked into an untagged `Then` fails.
- **Rubric-structure** *(`@rubric` scenarios).* Graded behavior is authored as a `@rubric` scenario
  with the rubric **inline** (named dimensions + per-dimension `max` + one `threshold` + a collapsing
  `Then`), per `sdd:suite-format-governance`. A malformed `@rubric` fails before scoring; a well-formed
  one passes **rubric-structure** (its rubric lingo is the sanctioned form). Structure passing is
  **not acceptance** — the scenario is still checked for discrimination below. The rubric is
  spec-owned and frozen with the scenario — the impl-judge *runs* it, it does not author it.
- **Selection** *(all tiers; every `@rubric` dimension — checked before discrimination).* A `@rubric`
  is a **compensatory** model: strength on one dimension pays for weakness on another, so a criterion
  belongs in the sum only if it is **substitutable** — you must accept that trade (per
  `sdd:suite-format-governance`'s substitutability test). A criterion nobody would trade belongs in a
  boolean `Then`, not the sum. Agent-config binds **two** further grounds on which a criterion is
  untradeable **by construction** rather than by trade judgment. They are **disjoint entry points** —
  a dimension fails selection on either, and neither is a precondition for the other.
  - **Ground 1 — whole-output span. A dimension whose criterion spans the whole of what the subject
    produces fails selection, with no boolean twin required.** There is no *rest of the output* left to
    pay for weakness here, so the compensatory sum has nothing to trade against. The remedy is to author
    the criterion as **one boolean `@quality` scenario** — never to go hunting for a boolean twin the
    suite does not have. `@quality` names the **result axis** and `@rubric` is the orthogonal, optional
    **assertion form** (`sdd:suite-format-governance`, *The tag set*), so a boolean `@quality` scenario
    is ordinary Form 1 and coins nothing. This is what makes the boolean strictly **stronger** than the
    dimension: the gate requires every scenario to pass, so a property authored as a boolean cannot be
    zeroed and bought back on unrelated points, while a dimension can.
    - **The test is monadic.** Read the **single** criterion against the output: *can you name an
      attribute of the output this criterion does not touch?* If you can, it is per-attribute and stays
      a dimension. Sibling dimensions are evidence of how the **output decomposes** — never the object
      of the comparison. Comparing one candidate dimension against another is the twin-scan #280
      rejected, on this ground exactly as much as on Ground 2.
    - **Span is checked before substitutability.** A whole-output criterion never reaches the trade
      question. So when one is authored **alongside** per-attribute siblings — the shape the
      persona-voice recurrence actually took — the span ruling governs the spanning criterion and the
      siblings stay dimensions; the mixed case is not ambiguous, it is ordered.
    - **A whole-output-*sounding* name is not the test.** `coherence`, `clarity`, `overall_quality`
      fail only when they genuinely leave no attribute untouched. Apply the naming question to what the
      dimension **scores**, not to how broadly it is worded.
  - **Ground 2 — same-object smuggle. A `@rubric` dimension re-grading a property a boolean scenario in
    the same suite already decides fails selection** — that boolean is an untradeable rule; scoring it
    as a dimension smuggles it into the compensatory sum. This is the **boolean-smuggling tell**
    (`design/test-levels.md`, `design/decisions/0002-boundary-vs-surface-more.md`): if ACED rubrics
    begin restating booleans, the boundary was set too high. The `scenario-writer` keeps such a property
    **out** of the rubric (authors it as the boolean only, never both); the `spec-validator` fails the
    dimension.
  - **On Ground 2 the discriminator is same-object, never same-criterion.** Fail a dimension **on this
    ground** only when a boolean scenario in the **same suite decides that exact property** — the
    `only` bounds Ground 2's own test, not selection as a whole, so it never licenses passing a
    criterion that fails Ground 1. Two `@rubric` dimensions that merely
    **share a criterion**, with no boolean twin deciding either, do **not** fail selection for sharing
    it — comparing two dimensions to each other is the twin-scan SDD issue #280 rejected (reconciled in
    `design/decisions/0002-boundary-vs-surface-more.md`); #280's discrimination verdict (noise, not a
    hole) and this Selection verdict (a smuggled boolean, out of the sum) are orthogonal reads of one
    dimension.
- **Discrimination** *(all tiers; every scenario and every `@rubric` dimension).* Each must be able
  to **register a miss** — a plausible wrong config must fail it, or score below the dimension's
  `max` — per the miss test in `sdd:suite-format-governance`, whose **presence / restatement /
  procedural** anti-patterns and under-threshold floor arithmetic apply unchanged. An agent-config
  binds it tighter on two counts:
  - **The memorizer is the default wrong subject.** The subject is a *document the case-judge also
    reads*, so restatement is the dominant failure mode. Name what a **config-quoting memorizer**
    scores on each dimension before accepting the rubric.
  - **Rubric vocabulary is not the subject's vocabulary.** A dimension whose terms are lifted from
    the config's own prose grades recall of that prose — the memorizer scores it max. Draw the
    dimension's terms from the behavior under test, not from the artifact that describes it.
- **Pairwise consistency** *(all tiers; the suite, not a scenario).* No two scenarios sharing a
  `When` demand opposite verdicts on one constructible snapshot, per `sdd:suite-format-governance`.

## References

- `aced:aced-fit` — the fit classifier this bar loads to make trigger-context / trigger-balance
  conditional.
- `sdd:suite-format-governance` — the miss test, the wrong-subject table, the three anti-patterns,
  the substitutability test, and the pairwise-consistency rule this bar specializes.
- `design/decisions/0002-boundary-vs-surface-more.md`, `design/test-levels.md` — the boolean-smuggling
  tell and the SDD #280 reconciliation (same-object, not same-criterion) the Selection bullet encodes.