From 4a3aa0b5b17025500480907ebb5f880eb7c98936 Mon Sep 17 00:00:00 2001
From: Konrad Heimel <konrad.heimel@gmail.com>
Date: Sun, 16 Aug 2026 14:40:12 +0200
Subject: [PATCH 1/6] :white_check_mark: test(examples): add the P5-EX epic
 exit gate (EX-S10)

hack/examples/ex_exitgate_test.sh proves the epic's invariants in one
invocation: yaml/json/tfvars/tf all present in class match paths;
C1-C8 fixtures present (C8 is an inline cases.yaml entry per the
REQ-EX-S07-04 amendment, not a directory) with C8 measured REVIEW;
schema freeze is ref-relative against the v0.1.0 tag, not a
working-tree diff (D-132); internal/core untouched vs origin/main
(three-dot); task check still wires dogfood-examples/docs-gates/
dogfood-wiring-test; the README-format-vs-dogfood inventory (S01) is
re-invoked and named-PASS verified; the provider fence and D-002
sanitization stay green. Every check is mutation-tested in place
(deleted C-series dirs, flipped decisions, HEAD/branch/empty base-ref
substitutions, unauthorized schema edits in a scratch sandbox) so the
gate whose job is catching vacuous gates is not itself one.

Marks backlog REF-EX CLOSED (P5-EX EX-S06/EX-S07, exit-gated by
EX-S10) and updates the stale Phase-5 roadmap row.
---
 hack/examples/ex_exitgate_test.sh | 798 ++++++++++++++++++++++++++++++
 openspec/specs/backlog.md         |   4 +-
 2 files changed, 800 insertions(+), 2 deletions(-)
 create mode 100755 hack/examples/ex_exitgate_test.sh

diff --git a/hack/examples/ex_exitgate_test.sh b/hack/examples/ex_exitgate_test.sh
new file mode 100755
index 0000000..cf85362
--- /dev/null
+++ b/hack/examples/ex_exitgate_test.sh
@@ -0,0 +1,798 @@
+#!/usr/bin/env bash
+# REQ-EX-S10-01..08 — the P5-EX epic exit gate.
+#
+# ONE invocation proves the epic's invariants so EX cannot be marked done with
+# a missing format, a missing C-series case, stale docs, or schema drift:
+#
+#   (1) yaml/json/tfvars/tf are all present in the three shipped packs' class
+#       match paths (REQ-EX-S10-01), independently derived here (not just
+#       re-trusting S01's own extraction).
+#   (2) REF-EX C1-C8 fixtures exist (REQ-EX-S10-02); C8's decision is REVIEW,
+#       not APPROVE (REQ-EX-S10-03).
+#   (3) the schema freeze is REF-RELATIVE against the released tag v0.1.0, not
+#       a working-tree diff (REQ-EX-S10-04 / AUD-S18 / D-132).
+#   (4) internal/core is untouched on this lane vs origin/main (REQ-EX-S10-07).
+#   (5) task check still wires dogfood-examples, docs-gates and its own
+#       dogfood-wiring-test guard (REQ-EX-S10-05).
+#   (6) a format claimed in examples/README.md that dogfood does not walk
+#       fails, by re-invoking S01's own gate (REQ-EX-S10-06).
+#   (7) the provider fence still holds (REQ-EX-S07-05, re-verified here).
+#   (8) D-002 sanitization is green (REQ-EX-S10-08).
+#
+# C8 AMENDMENT (read before editing the C-series checks below): REQ-EX-S07-04
+# recorded that C8 (companion-file delete) canNOT be expressed as a
+# directory-form case with its own expect.yaml — readSingleFilePair errors
+# when head/<file> is absent, and the directory form has no way to say "this
+# file is gone". C8 shipped as an INLINE `cases.yaml` entry (case name
+# `companion-delete`) in examples/packs/infra-vars/.assent/tests/vars/, with
+# its `expect.decision` nested under `cases: - name: ... expect: decision:`.
+# REQ-EX-S10-03's "C8 expect.yaml" wording and the DoD's "C1-C8 fixture
+# directories" both predate that amendment. This gate checks the fixture that
+# actually exists (the amendment is the authority — S07 already shipped and
+# reviewed it) rather than inventing a fake C8 directory to match stale prose.
+#
+# ANTI-VACUITY DISCIPLINE (hack/audit/exitgate_test.sh's standard, carried
+# forward — this epic's reviewers found a real bug in 3 of its 4 prior
+# lanes, and THIS is the gate whose entire job is catching vacuous gates):
+#
+#   * Every check is a FUNCTION over explicit input paths/args, never a
+#     straight-line assertion over a global — so every one of them can be
+#     mutation-tested by calling it again with a violating input.
+#   * Every check run against the real tree (must be GREEN) also gets at
+#     least one mutation run against a violating input (must be RED, and RED
+#     FOR ITS OWN STATED REASON — expect_red pins a message fragment, so a
+#     check going red for the wrong reason is caught too).
+#   * Every ABSENCE/UNCHANGED assertion (schema freeze, internal/core) gets a
+#     POSITIVE control that the comparison base really lists the expected
+#     path, so a pathspec typo that silently matches nothing cannot report
+#     "unchanged" vacuously.
+#   * The schema-freeze and internal/core checks both take their BASE REF as
+#     a parameter and validate its SHAPE before diffing — `HEAD` (or the
+#     empty string) compared against itself is empty by construction, which
+#     is exactly the disarm this gate exists to refuse (D-132). Mutation
+#     tests below call the checks with `HEAD` and confirm they redden for
+#     that specific, stated reason — not just "some check somewhere failed".
+#   * No `grep -q` on the read end of a pipe under `set -o pipefail` (SIGPIPE
+#     exits 141); matches go to a file. Portable ERE only (no `\t`/`\s`/`\b`,
+#     no `grep -P`) — this repo's CI runs Linux/GNU grep, dev runs BSD/macOS.
+set -euo pipefail
+
+ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/../.." && pwd)"
+cd "$ROOT"
+
+WORK="$(mktemp -d)"
+cleanup() { rm -rf "$WORK"; }
+trap cleanup EXIT
+
+fail() {
+  echo "FAIL: $*" >&2
+  exit 1
+}
+
+expect_green() { # <check-fn> <label> <args...>
+  local fn="$1" label="$2"
+  shift 2
+  "$fn" "$@" || fail "$label — the real input violates $fn (see the findings above)"
+  echo "OK: $label"
+}
+
+# A control that reds is not yet a control that WORKS: it could be red for an
+# unrelated reason, which would mask the mutation going undetected. Every
+# control therefore pins the finding text it must produce (same discipline as
+# hack/audit/exitgate_test.sh's expect_red).
+expect_red() { # <check-fn> <label> <required-stderr-fragment> <args...>
+  local fn="$1" label="$2" want="$3"
+  shift 3
+  local err="$WORK/expect_red.err"
+  if "$fn" "$@" 2>"$err"; then
+    fail "mutation control: $fn accepted an input that DOES carry the violation ($label) — this check cannot fail and is therefore not a gate"
+  fi
+  grep -Fq -- "$want" "$err" || {
+    echo "  actual finding was:" >&2
+    sed 's/^/    /' "$err" >&2
+    fail "mutation control: $fn went red on '$label' but NOT for its stated reason — expected the finding to mention: $want"
+  }
+  echo "OK: mutation control — $fn goes red on: $label"
+}
+
+count_lines() { # <file> -> integer, blank-safe
+  wc -l <"$1" | tr -d '[:space:]'
+}
+
+# ============================================================================
+# constants
+# ============================================================================
+
+# (1)/(6) — the three shipped packs and the four formats their class match
+# paths must cover between them (yaml, json, tfvars, tf).
+PACKS=(topic-registry service-catalog infra-vars)
+WANT_FORMATS=(yaml json tfvars tf)
+
+# (2) REF-EX C1-C7: directory-form cases, each with an expect.yaml somewhere
+# under it (some are single-case, some carry base/negative/facts-omitted
+# sub-cases — see EX-S06/EX-S07 for the per-case shape).
+C_IDS=(C1 C2 C3 C4 C5 C6 C7)
+C_PATHS=(
+  "examples/packs/topic-registry/.assent/tests/topics/list-no-shrink"
+  "examples/packs/service-catalog/.assent/tests/catalog/privilege-tier"
+  "examples/packs/topic-registry/.assent/tests/topics/wildcard-grant"
+  "examples/packs/topic-registry/.assent/tests/topics/soft-delete"
+  "examples/packs/topic-registry/.assent/tests/topics/quota-ceiling"
+  "examples/packs/infra-vars/.assent/tests/vars/placement"
+  "examples/packs/topic-registry/.assent/tests/topics/resource-ownership"
+)
+# C8: see the amendment note above — inline cases.yaml, not a directory.
+C8_CASES_FILE="examples/packs/infra-vars/.assent/tests/vars/cases.yaml"
+C8_CASE_NAME="companion-delete"
+
+# (3) Immutable base ref for the schema freeze (AUD-S18 / D-132 pattern,
+# mirrored from hack/audit/exitgate_test.sh's SCHEMA_BASE). Overridable only
+# to move it FORWARD to a later released tag — never to HEAD/a branch/empty,
+# which is exactly the disarm check_schema_freeze's shape guard refuses.
+SCHEMA_BASE="${ASSENT_EX_SCHEMA_BASE:-v0.1.0}"
+# Positive control: v0.1.0 lists 51 schema/**/*.json at the time this gate was
+# written (git ls-tree -r --name-only v0.1.0 -- schemas | grep -c '\.json$').
+# 40 leaves margin without being so low a pathspec regression could still
+# clear it.
+SCHEMA_JSON_MIN=40
+SCHEMA_PERMITTED_FILE='schemas/decision/v1alpha1/decision-record.schema.json'
+
+# (4) Base ref for the internal/core untouched check. Must be an origin/*
+# remote-tracking ref — see check_core_untouched's shape guard.
+CORE_BASE="${ASSENT_EX_CORE_BASE:-origin/main}"
+# Positive control: origin/main lists 48 internal/core/**/*.go files at the
+# time this gate was written; 20 leaves margin.
+CORE_FILE_MIN=20
+
+# ============================================================================
+# (1) REQ-EX-S10-01 — yaml/json/tfvars/tf present in class match paths
+# ============================================================================
+
+# Independently derived from each pack's .assent/config.yaml classes: block —
+# NOT a call into hack/docs/example_format_inventory_test.sh's pack_formats
+# (that reuse is REQ-EX-S10-06's job below). A regression in S01's own
+# extraction must not be invisible just because this gate trusts it blindly.
+check_formats() { # <root>
+  local root="$1" rc=0
+  local found="$WORK/formats.found"
+  : >"$found"
+  local pack cfg
+  for pack in "${PACKS[@]}"; do
+    cfg="$root/examples/packs/$pack/.assent/config.yaml"
+    if [[ ! -f "$cfg" ]]; then
+      echo "  REQ-EX-S10-01: missing $cfg" >&2
+      rc=1
+      continue
+    fi
+    awk '
+      $0 ~ /^classes:[[:space:]]*$/ { in_cls = 1; next }
+      in_cls && /^[a-zA-Z]/ { in_cls = 0 }
+      in_cls { print }
+    ' "$cfg" | grep -oE '\*\.[A-Za-z0-9]+' | sed -e 's/^\*\.//' -e 's/^yml$/yaml/' >>"$found"
+  done
+  ((rc == 0)) || return "$rc"
+
+  local uniq="$WORK/formats.uniq"
+  LC_ALL=C sort -u "$found" >"$uniq"
+  if [[ ! -s "$uniq" ]]; then
+    echo "  REQ-EX-S10-01: extracted ZERO format extensions from any pack's classes: block — the extraction is broken, so the format-presence assertions below would be vacuous" >&2
+    return 1
+  fi
+
+  local w
+  for w in "${WANT_FORMATS[@]}"; do
+    grep -Fxq -- "$w" "$uniq" || {
+      echo "  REQ-EX-S10-01: format '$w' is not covered by any pack's class match.paths (found: $(tr '\n' ' ' <"$uniq"))" >&2
+      rc=1
+    }
+  done
+  return "$rc"
+}
+
+# ============================================================================
+# (2) REQ-EX-S10-02/03 — C1-C8 fixtures present; C8 decision is REVIEW
+# ============================================================================
+
+check_c_series() { # <root>
+  local root="$1" rc=0 i id path full n
+  for i in "${!C_IDS[@]}"; do
+    id="${C_IDS[$i]}"
+    path="${C_PATHS[$i]}"
+    full="$root/$path"
+    if [[ ! -d "$full" ]]; then
+      echo "  REQ-EX-S10-02: $id fixture directory missing: $path" >&2
+      rc=1
+      continue
+    fi
+    n="$(find "$full" -name expect.yaml | wc -l | tr -d '[:space:]')"
+    if [[ "$n" -eq 0 ]]; then
+      echo "  REQ-EX-S10-02: $id fixture directory $path has no expect.yaml anywhere under it — an empty/incomplete directory is not a case" >&2
+      rc=1
+    fi
+  done
+  return "$rc"
+}
+
+# Bonus corroboration of the epic Goal text ("C1-C8 ... decisions match the
+# table (C3 BLOCK, C8 REVIEW, etc.)"): C3 (wildcard-grant) must have at least
+# one measured BLOCK decision somewhere under it. Not a formal REQ-EX-S10-0n
+# line item on its own (only C8's REVIEW is), but cheap and directly stated in
+# the Goal, so it is asserted here rather than left unchecked.
+check_c3_block() { # <root>
+  local root="$1"
+  local dir="$root/examples/packs/topic-registry/.assent/tests/topics/wildcard-grant"
+  [[ -d "$dir" ]] || {
+    echo "  C3: wildcard-grant directory missing" >&2
+    return 1
+  }
+  local hits="$WORK/c3.hits"
+  grep -RE '^decision:[[:space:]]*BLOCK[[:space:]]*$' "$dir" >"$hits" 2>/dev/null || true
+  [[ -s "$hits" ]] || {
+    echo "  C3: no expect.yaml under $dir declares 'decision: BLOCK' — the wildcard-grant-block case is not measured as blocking" >&2
+    return 1
+  }
+  return 0
+}
+
+# Isolates one named case's block from a cases.yaml `cases:` list: from its
+# `- name: <name>` line up to (not including) the next `- name:` line.
+extract_case_block() { # <cases-yaml> <case-name>
+  awk -v want="$2" '
+    /^[[:space:]]*-[[:space:]]*name:[[:space:]]*/ {
+      line = $0
+      sub(/^[[:space:]]*-[[:space:]]*name:[[:space:]]*/, "", line)
+      gsub(/[[:space:]]+$/, "", line)
+      if (line == want) { grabbing = 1; print; next }
+      grabbing = 0
+      next
+    }
+    grabbing { print }
+  ' "$1"
+}
+
+check_c8_decision() { # <cases-yaml-path> <case-name>
+  local f="$1" name="$2"
+  [[ -f "$f" ]] || {
+    echo "  REQ-EX-S10-03: missing $f" >&2
+    return 1
+  }
+  local block="$WORK/c8.block"
+  extract_case_block "$f" "$name" >"$block"
+  [[ -s "$block" ]] || {
+    echo "  REQ-EX-S10-03: case '$name' not found in $f — the extraction is vacuous (renamed/deleted case, or cases.yaml reshaped)" >&2
+    return 1
+  }
+  local dline
+  dline="$(grep -E '^[[:space:]]*decision:[[:space:]]*[A-Za-z_]+[[:space:]]*$' "$block" | head -1 || true)"
+  [[ -n "$dline" ]] || {
+    echo "  REQ-EX-S10-03: no 'decision:' line found in case '$name''s expect block" >&2
+    return 1
+  }
+  local decision
+  decision="$(printf '%s\n' "$dline" | sed -E 's/^[[:space:]]*decision:[[:space:]]*//; s/[[:space:]]*$//')"
+  if [[ "$decision" != "REVIEW" ]]; then
+    echo "  REQ-EX-S10-03: case '$name' decision is '$decision', expected REVIEW (C8 must never silently APPROVE)" >&2
+    return 1
+  fi
+  return 0
+}
+
+# ============================================================================
+# (3) REQ-EX-S10-04 — schema freeze, REF-RELATIVE against v0.1.0
+# ============================================================================
+
+# Pure parser over `git diff --name-status <base> -- schemas` output, JSON
+# only. Split out from check_schema_freeze so the "unauthorized schema edit"
+# branch can be mutation-tested with synthetic status lines — no git
+# operations, no risk to the real tree, full coverage of every shape.
+check_schema_status() { # <name-status-file>
+  local status="$1" rc=0
+  [[ -f "$status" ]] || {
+    echo "  REQ-EX-S10-04: missing status file $status" >&2
+    return 1
+  }
+  local changed="$WORK/schema_status.changed"
+  awk -F'\t' '$NF ~ /\.json$/ { print }' "$status" >"$changed" || true
+
+  local addel="$WORK/schema_status.addel"
+  awk -F'\t' '$1 !~ /^M/ { print }' "$changed" >"$addel" || true
+  if [[ -s "$addel" ]]; then
+    echo "  REQ-EX-S10-04: JSON schema file(s) added, deleted or renamed since $SCHEMA_BASE — the frozen v1alpha1 contract set changed:" >&2
+    sed 's/^/    /' "$addel" >&2
+    rc=1
+  fi
+
+  local modified="$WORK/schema_status.modified"
+  awk -F'\t' '$1 ~ /^M/ { print $NF }' "$changed" >"$modified" || true
+  local f
+  while IFS= read -r f; do
+    [[ -n "$f" ]] || continue
+    if [[ "$f" != "$SCHEMA_PERMITTED_FILE" ]]; then
+      echo "  REQ-EX-S10-04: frozen schema $f modified since $SCHEMA_BASE — EX must add, delete or modify no schema JSON beyond the AUD-S18 permitted description-string on $SCHEMA_PERMITTED_FILE" >&2
+      rc=1
+    fi
+  done <"$modified"
+  return "$rc"
+}
+
+# Ref-relative, not working-tree-relative (D-132): a COMMITTED schema change
+# is the only kind that ships, and `git diff schemas/` is silent on those.
+# `base` is validated by SHAPE (must be a vX.Y.Z release tag) before it is
+# ever used in a diff — this is the guard that makes `HEAD`/`` /a branch
+# non-vacuous to reject, per REQ-EX-S10-04's edge clause.
+check_schema_freeze() { # <repo-dir> <base-ref> <min-json-at-base>
+  local dir="$1" base="$2" minjson="$3" rc=0
+
+  if [[ ! "$base" =~ ^v[0-9]+\.[0-9]+\.[0-9]+$ ]]; then
+    echo "  REQ-EX-S10-04: schema-freeze base '$base' is not a release tag of the form vX.Y.Z — comparing against a non-tag ref (HEAD, a branch, empty) makes the diff compare the tree against itself and pass over any schema change (D-132)" >&2
+    return 1
+  fi
+  git -C "$dir" rev-parse --verify --quiet "refs/tags/${base}" >/dev/null || {
+    echo "  REQ-EX-S10-04: '$base' is not a tag in $dir — the baseline must be the released tag itself, not a same-named branch or a loose revision" >&2
+    return 1
+  }
+
+  # Positive control: the baseline must actually list the schema corpus.
+  # Without this a pathspec that stopped matching would compare an empty set
+  # to an empty set and report the schemas frozen.
+  local baselist="$WORK/schemas.base"
+  git -C "$dir" ls-tree -r --name-only "$base" -- schemas 2>/dev/null | grep -E '\.json$' >"$baselist" || true
+  local n_base
+  n_base="$(count_lines "$baselist")"
+  if ((n_base < minjson)); then
+    echo "  REQ-EX-S10-04: base ref '$base' lists only $n_base JSON file(s) under schemas/ (expected at least $minjson) — the pathspec is not matching, so 'schemas frozen' would be vacuous" >&2
+    return 1
+  fi
+
+  local status="$WORK/schemas.status"
+  git -C "$dir" diff --name-status "$base" -- schemas >"$status" 2>/dev/null || {
+    echo "  REQ-EX-S10-04: 'git diff --name-status $base -- schemas' failed in $dir" >&2
+    return 1
+  }
+  check_schema_status "$status" || rc=1
+  return "$rc"
+}
+
+# ============================================================================
+# (4) REQ-EX-S10-07 — internal/core untouched vs origin/main (three-dot)
+# ============================================================================
+
+# Same base-shape discipline as check_schema_freeze: `base` must be an
+# origin/* remote-tracking ref before it is used in a diff. A `HEAD` (or any
+# non-remote) base makes `base...HEAD` compare a commit against itself, which
+# is empty by construction and would pass regardless of what changed.
+check_core_untouched() { # <repo-dir> <base-ref> <min-files-at-base>
+  local dir="$1" base="$2" minfiles="$3"
+
+  case "$base" in
+  origin/*) ;;
+  *)
+    echo "  REQ-EX-S10-07: core-untouched base '$base' is not an origin/* remote-tracking ref — substituting HEAD (or any non-remote ref) makes 'base...HEAD' compare a commit against itself, which is empty regardless of what changed" >&2
+    return 1
+    ;;
+  esac
+  git -C "$dir" rev-parse --verify --quiet "$base" >/dev/null || {
+    echo "  REQ-EX-S10-07: base ref '$base' does not resolve in $dir" >&2
+    return 1
+  }
+
+  # Positive control on the pathspec.
+  local baselist="$WORK/core.base"
+  git -C "$dir" ls-tree -r --name-only "$base" -- internal/core 2>/dev/null >"$baselist" || true
+  local n_base
+  n_base="$(count_lines "$baselist")"
+  if ((n_base < minfiles)); then
+    echo "  REQ-EX-S10-07: base ref '$base' lists only $n_base file(s) under internal/core (expected at least $minfiles) — the pathspec is not matching, so 'internal/core untouched' would be vacuous" >&2
+    return 1
+  fi
+
+  git -C "$dir" merge-base "$base" HEAD >/dev/null 2>&1 || {
+    echo "  REQ-EX-S10-07: no merge-base between '$base' and HEAD in $dir" >&2
+    return 1
+  }
+
+  local diff="$WORK/core.diff"
+  git -C "$dir" diff --name-status "${base}...HEAD" -- internal/core >"$diff" 2>/dev/null || {
+    echo "  REQ-EX-S10-07: 'git diff --name-status $base...HEAD -- internal/core' failed in $dir" >&2
+    return 1
+  }
+  if [[ -s "$diff" ]]; then
+    echo "  REQ-EX-S10-07: internal/core changed on this lane vs $base — EX is an examples/gate lane, not an engine lane:" >&2
+    sed 's/^/    /' "$diff" >&2
+    return 1
+  fi
+  return 0
+}
+
+# ============================================================================
+# (5) REQ-EX-S10-05 — task check still wires dogfood-examples/docs-gates/
+#     dogfood-wiring-test (composes S08's own wiring pin, does not reimplement it)
+# ============================================================================
+
+extract_check_block() { # <taskfile>
+  awk '
+    $0 == "  check:" { inblk = 1; next }
+    inblk && /^  [A-Za-z0-9_.:-]+:[[:space:]]*$/ { inblk = 0 }
+    inblk { print }
+  ' "$1"
+}
+
+check_task_wiring() { # <taskfile>
+  local tf="$1" rc=0
+  [[ -f "$tf" ]] || {
+    echo "  REQ-EX-S10-05: missing $tf" >&2
+    return 1
+  }
+  local block="$WORK/check.block"
+  extract_check_block "$tf" >"$block"
+  [[ -s "$block" ]] || {
+    echo "  REQ-EX-S10-05: Taskfile check: block extracted EMPTY — the extraction is broken, so every wiring assertion below would be vacuous" >&2
+    return 1
+  }
+  grep -qE '^[[:space:]]+- task: build$' "$block" || {
+    echo "  REQ-EX-S10-05: extracted check: block does not contain the known-present '- task: build' — extraction is wrong" >&2
+    return 1
+  }
+
+  local want
+  for want in dogfood-examples docs-gates dogfood-wiring-test; do
+    grep -qE "^[[:space:]]+- task: $want\$" "$block" || {
+      echo "  REQ-EX-S10-05: 'task check' does not run '$want' — the dogfood/docs-gates/inventory gate would be unwired" >&2
+      rc=1
+    }
+  done
+  return "$rc"
+}
+
+# ============================================================================
+# (6) REQ-EX-S10-06 — a README-claimed format absent from dogfood must fail
+#     (re-invokes S01's own gate; both polarities remain S01's, not reimplemented)
+# ============================================================================
+
+check_inventory_gate() { # <script>
+  local script="$1"
+  [[ -f "$script" ]] || {
+    echo "  REQ-EX-S10-06: missing $script" >&2
+    return 1
+  }
+  local out="$WORK/inventory.out"
+  if ! bash "$script" >"$out" 2>&1; then
+    echo "  REQ-EX-S10-06: $script is RED against the real tree:" >&2
+    sed 's/^/    /' "$out" >&2
+    return 1
+  fi
+  # Named-PASS discipline: `bash script` exiting 0 is not itself proof it ran
+  # the real assertions (a truncated script also exits 0). Require the
+  # script's own terminal banner AND its real-tree PASS line by name.
+  grep -Fq 'OK: example format inventory (EX-S01)' "$out" || {
+    echo "  REQ-EX-S10-06: $script did not print its own success banner — it may have exited early" >&2
+    sed 's/^/    /' "$out" >&2
+    return 1
+  }
+  grep -Fq 'PASS  REQ-EX-S01-01:' "$out" || {
+    echo "  REQ-EX-S10-06: $script's real-tree REQ-EX-S01-01 check did not report PASS by name" >&2
+    sed 's/^/    /' "$out" >&2
+    return 1
+  }
+  return 0
+}
+
+# ============================================================================
+# (7) provider fence (REQ-EX-S07-05, re-verified)
+# ============================================================================
+
+check_provider_fence() { # <root>
+  local root="$1"
+  local out="$WORK/fence.out"
+  ( cd "$root" && go test ./cmd/assent/ -run TestAssentTestNeverCallsProviderHost -v ) >"$out" 2>&1
+  local rc=$?
+  local n_pass
+  n_pass="$(grep -c -- '--- PASS: ' "$out" || true)"
+  if [[ "$n_pass" -eq 0 ]]; then
+    echo "  provider fence: the go-test transcript contains ZERO '--- PASS:' lines — either -run matched no test (go test exits 0 for that) or -v was dropped; grading on exit code alone would be vacuous" >&2
+    return 1
+  fi
+  grep -Fq -- '--- PASS: TestAssentTestNeverCallsProviderHost ' "$out" || {
+    echo "  provider fence: TestAssentTestNeverCallsProviderHost did not PASS by name — 'assent test' may now construct the live provider host" >&2
+    sed 's/^/    /' "$out" >&2
+    return 1
+  }
+  if [[ "$rc" -ne 0 ]]; then
+    echo "  provider fence: go test exited $rc" >&2
+    return 1
+  fi
+  return 0
+}
+
+# ============================================================================
+# (8) REQ-EX-S10-08 — D-002 sanitization green
+# ============================================================================
+
+check_sanitization() { # <script>
+  local script="$1"
+  [[ -f "$script" ]] || {
+    echo "  REQ-EX-S10-08: missing $script" >&2
+    return 1
+  }
+  local out="$WORK/sanitize.out"
+  if ! bash "$script" >"$out" 2>&1; then
+    echo "  REQ-EX-S10-08: $script is RED — D-002 hygiene violation:" >&2
+    sed 's/^/    /' "$out" >&2
+    return 1
+  fi
+  grep -Fq 'sanitization check passed' "$out" || {
+    echo "  REQ-EX-S10-08: $script exited 0 but did not print its own success banner — it may have exited before scanning anything" >&2
+    return 1
+  }
+  return 0
+}
+
+# Positive control on the underlying scanner: proves the built-in patterns
+# check-sanitization.sh uses can actually MATCH a planted token, without
+# touching any real fixture. Extracted BY NAME from the script itself (not
+# re-typed) so a pattern edit there is reflected here automatically.
+check_sanitization_patterns() { # <script>
+  local script="$1" rc=0
+  [[ -f "$script" ]] || {
+    echo "  REQ-EX-S10-08: missing $script" >&2
+    return 1
+  }
+  local hostline empidline host_pat empid_pat
+  hostline="$(grep -E '^host_pat=' "$script" | head -1 || true)"
+  empidline="$(grep -E '^empid_pat=' "$script" | head -1 || true)"
+  [[ -n "$hostline" && -n "$empidline" ]] || {
+    echo "  REQ-EX-S10-08: could not extract host_pat/empid_pat from $script — the positive control cannot run" >&2
+    return 1
+  }
+  host_pat="$(printf '%s\n' "$hostline" | sed -E "s/^host_pat='(.*)'\$/\\1/")"
+  empid_pat="$(printf '%s\n' "$empidline" | sed -E "s/^empid_pat='(.*)'\$/\\1/")"
+
+  # Assembled at RUNTIME, never as a contiguous literal in this file's own
+  # source: hack/check-sanitization.sh scans every tracked file (including
+  # this one), so a fully-formed planted token sitting directly in this
+  # script's text would trip D-002 on itself. Splitting the domain suffix and
+  # the digit run apart keeps the assembled string out of the static text
+  # while still producing the real match at runtime.
+  local corp_suffix="cor"
+  corp_suffix="${corp_suffix}p"
+  local host_token="contact ops@example.${corp_suffix} for onboarding"
+  printf '%s\n' "$host_token" | grep -Eq -- "$host_pat" || {
+    echo "  REQ-EX-S10-08: host_pat did not match a planted internal-hostname token (*.corp) — the scanner's own pattern would let one through" >&2
+    rc=1
+  }
+
+  local empid_digits="12345"
+  empid_digits="${empid_digits}6"
+  local empid_token="assigned to A${empid_digits} for review"
+  printf '%s\n' "$empid_token" | grep -Eq -- "$empid_pat" || {
+    echo "  REQ-EX-S10-08: empid_pat did not match a planted employee-id-shaped token — the scanner's own pattern would let one through" >&2
+    rc=1
+  }
+  return "$rc"
+}
+
+# ============================================================================
+# sandbox builders (schema-freeze / internal-core mutation tests)
+# ============================================================================
+
+# A tiny standalone git repo, never the repo under test — same discipline as
+# hack/release/changelog_gate_test.sh's sandbox: verify it is its OWN
+# repository before trusting any git command run against it.
+new_sandbox() { # <dir>
+  local dir="$1"
+  mkdir -p "$dir"
+  git init -q "$dir"
+  git -C "$dir" symbolic-ref HEAD refs/heads/main
+  local resolved expected
+  resolved="$(cd "$(git -C "$dir" rev-parse --show-toplevel)" && pwd -P)"
+  expected="$(cd "$dir" && pwd -P)"
+  [[ "$resolved" == "$expected" ]] || fail "sandbox at $dir resolves git commands to '$resolved' — not isolated from the real repository"
+}
+
+sandbox_commit() { # <dir> <message>
+  git -C "$1" add -A
+  git -C "$1" -c user.email=t@example.com -c user.name=t commit -q -m "$2"
+}
+
+# ---------------------------------------------------------------------------
+echo "== EX exit gate: REQ-EX-S10-01..08 =="
+echo
+
+echo "-- (1) REQ-EX-S10-01: yaml/json/tfvars/tf present in class match paths --"
+expect_green check_formats "REQ-EX-S10-01: real tree covers yaml/json/tfvars/tf" "$ROOT"
+
+MUT_FMT_ROOT="$WORK/mutant-formats"
+rm -rf "$MUT_FMT_ROOT"
+# Synthetic, comment-free config.yaml content — NOT a copy of the real files:
+# the real infra-vars config.yaml's KNOWN LIMITATION comment prose also
+# contains the literal substring "*.tf" (documenting the class match, in
+# English), which check_formats' extraction (matching S01's own pack_formats,
+# deliberately NOT comment-stripped) would then still see even after the
+# match: line itself was mutated — a confound that would make this mutation
+# pass for the wrong reason. Fully synthetic input sidesteps that.
+mkdir -p "$MUT_FMT_ROOT/examples/packs/topic-registry/.assent"
+mkdir -p "$MUT_FMT_ROOT/examples/packs/service-catalog/.assent"
+mkdir -p "$MUT_FMT_ROOT/examples/packs/infra-vars/.assent"
+printf 'classes:\n  - name: kafka-topic\n    match: { paths: ["topics/**/*.yaml"] }\n' \
+  >"$MUT_FMT_ROOT/examples/packs/topic-registry/.assent/config.yaml"
+printf 'classes:\n  - name: catalog-service\n    match: { paths: ["catalog/**/*.json"] }\n' \
+  >"$MUT_FMT_ROOT/examples/packs/service-catalog/.assent/config.yaml"
+# The mutation: infra-vars loses its .tf class-match alternative. .tfvars
+# remains, so only "tf" as a distinct token should vanish from the found set.
+printf 'classes:\n  - name: infra-vars\n    match: { paths: ["envs/**/*.tfvars"] }\n' \
+  >"$MUT_FMT_ROOT/examples/packs/infra-vars/.assent/config.yaml"
+grep -q '\*\.tf"' "$MUT_FMT_ROOT/examples/packs/infra-vars/.assent/config.yaml" && fail "sanity: synthetic mutant config.yaml still contains a .tf class match"
+expect_red check_formats "dropping the .tf class match alternative" "format 'tf' is not covered" "$MUT_FMT_ROOT"
+echo
+
+echo "-- (2a) REQ-EX-S10-02: C1-C8 fixtures present --"
+expect_green check_c_series "REQ-EX-S10-02: C1-C7 directories present with expect.yaml" "$ROOT"
+[[ -f "$ROOT/$C8_CASES_FILE" ]] || fail "REQ-EX-S10-02: C8 cases.yaml missing: $C8_CASES_FILE"
+echo "OK: REQ-EX-S10-02: C8 inline case file present: $C8_CASES_FILE"
+
+MUT_C_ROOT="$WORK/mutant-c"
+i=0
+while [[ "$i" -lt "${#C_IDS[@]}" ]]; do
+  id="${C_IDS[$i]}"
+  rm -rf "$MUT_C_ROOT"
+  mkdir -p "$MUT_C_ROOT/examples/packs"
+  for p in "${PACKS[@]}"; do
+    cp -R "$ROOT/examples/packs/$p" "$MUT_C_ROOT/examples/packs/$p"
+  done
+  rm -rf "${MUT_C_ROOT:?}/${C_PATHS[$i]}"
+  [[ -d "$ROOT/${C_PATHS[$i]}" ]] || fail "sanity: real $id path missing before mutation even started"
+  [[ ! -d "$MUT_C_ROOT/${C_PATHS[$i]}" ]] || fail "mutation did not remove the $id directory from the scratch copy"
+  expect_red check_c_series "deleting the $id fixture directory" "$id fixture directory missing" "$MUT_C_ROOT"
+  i=$((i + 1))
+done
+rm -rf "$MUT_C_ROOT"
+echo
+
+echo "-- (2b) C3 bonus corroboration: wildcard-grant carries a measured BLOCK --"
+expect_green check_c3_block "C3: wildcard-grant declares decision: BLOCK somewhere under it" "$ROOT"
+
+MUT_C3="$WORK/mutant-c3"
+rm -rf "$MUT_C3"
+mkdir -p "$MUT_C3"
+cp -R "$ROOT/examples/packs/topic-registry" "$MUT_C3/topic-registry"
+find "$MUT_C3/topic-registry/.assent/tests/topics/wildcard-grant" -name expect.yaml -print0 |
+  xargs -0 -I{} sed -i.bak 's/decision: BLOCK/decision: APPROVE/' {}
+find "$MUT_C3/topic-registry/.assent/tests/topics/wildcard-grant" -name '*.bak' -delete
+mkdir -p "$WORK/mutant-c3-root/examples/packs"
+mv "$MUT_C3/topic-registry" "$WORK/mutant-c3-root/examples/packs/topic-registry"
+grep -RE '^decision:[[:space:]]*BLOCK[[:space:]]*$' "$WORK/mutant-c3-root/examples/packs/topic-registry/.assent/tests/topics/wildcard-grant" >/dev/null 2>&1 &&
+  fail "mutation did not flip every 'decision: BLOCK' line under wildcard-grant"
+expect_red check_c3_block "flipping wildcard-grant's BLOCK decision to APPROVE" "no expect.yaml under" "$WORK/mutant-c3-root"
+rm -rf "$MUT_C3" "$WORK/mutant-c3-root"
+echo
+
+echo "-- (2c) REQ-EX-S10-03: C8 decision is REVIEW --"
+expect_green check_c8_decision "REQ-EX-S10-03: C8 companion-delete decision is REVIEW" "$ROOT/$C8_CASES_FILE" "$C8_CASE_NAME"
+
+MUT_C8_APPROVE="$WORK/cases.approve.yaml"
+sed 's/decision: REVIEW/decision: APPROVE/' "$ROOT/$C8_CASES_FILE" >"$MUT_C8_APPROVE"
+grep -q 'decision: APPROVE' "$MUT_C8_APPROVE" || fail "mutation did not flip C8's decision to APPROVE"
+expect_red check_c8_decision "flipping C8's decision to APPROVE" "expected REVIEW" "$MUT_C8_APPROVE" "$C8_CASE_NAME"
+
+MUT_C8_RENAME="$WORK/cases.rename.yaml"
+sed 's/name: companion-delete/name: companion-delete-renamed/' "$ROOT/$C8_CASES_FILE" >"$MUT_C8_RENAME"
+expect_red check_c8_decision "renaming the companion-delete case" "not found in" "$MUT_C8_RENAME" "$C8_CASE_NAME"
+echo
+
+echo "-- (3) REQ-EX-S10-04: schema freeze vs v0.1.0 (ref-relative, not working-tree) --"
+expect_green check_schema_freeze "REQ-EX-S10-04: real tree's schemas/**/*.json unchanged vs v0.1.0 (except the D-120 permitted line)" "$ROOT" "$SCHEMA_BASE" "$SCHEMA_JSON_MIN"
+
+echo "   -- base-ref shape/resolution mutation controls (the D-132 trap) --"
+expect_red check_schema_freeze "substituting HEAD for the release tag" "not a release tag" "$ROOT" "HEAD" "$SCHEMA_JSON_MIN"
+expect_red check_schema_freeze "an empty base ref" "not a release tag" "$ROOT" "" "$SCHEMA_JSON_MIN"
+expect_red check_schema_freeze "a branch name shaped like a tag but not one" "not a release tag" "$ROOT" "main" "$SCHEMA_JSON_MIN"
+expect_red check_schema_freeze "a well-shaped but nonexistent tag" "is not a tag in" "$ROOT" "v9.9.9" "$SCHEMA_JSON_MIN"
+
+echo "   -- branch-vs-tag distinguishing control (same name, not a tag) --"
+SCHEMA_SB="$WORK/schema-sandbox"
+new_sandbox "$SCHEMA_SB"
+mkdir -p "$SCHEMA_SB/schemas/decision/v1alpha1" "$SCHEMA_SB/schemas/change/v1alpha1"
+printf '{"a":1}\n' >"$SCHEMA_SB/schemas/decision/v1alpha1/decision-record.schema.json"
+printf '{"b":1}\n' >"$SCHEMA_SB/schemas/change/v1alpha1/changeset.schema.json"
+printf 'package schemas\n' >"$SCHEMA_SB/schemas/compiler.go"
+sandbox_commit "$SCHEMA_SB" init
+git -C "$SCHEMA_SB" tag v0.1.0
+git -C "$SCHEMA_SB" branch v9.9.9
+expect_red check_schema_freeze "a same-named branch, not a tag" "is not a tag in" "$SCHEMA_SB" "v9.9.9" 1
+
+echo "   -- positive control on the baseline pathspec --"
+expect_red check_schema_freeze "an unreasonably high minjson floor" "the pathspec is not matching" "$SCHEMA_SB" "v0.1.0" 999999
+
+echo "   -- unauthorized schema edit (in a sandbox, real tree never touched) --"
+expect_green check_schema_freeze "sandbox: clean tree vs its own v0.1.0" "$SCHEMA_SB" "v0.1.0" 2
+printf '{"b":2}\n' >"$SCHEMA_SB/schemas/change/v1alpha1/changeset.schema.json"
+expect_red check_schema_freeze "modifying a NON-permitted schema JSON" "frozen schema" "$SCHEMA_SB" "v0.1.0" 2
+git -C "$SCHEMA_SB" checkout -q -- schemas/change/v1alpha1/changeset.schema.json
+
+rm "$SCHEMA_SB/schemas/change/v1alpha1/changeset.schema.json"
+expect_red check_schema_freeze "deleting a frozen schema JSON" "added, deleted or renamed" "$SCHEMA_SB" "v0.1.0" 2
+git -C "$SCHEMA_SB" checkout -q -- schemas/change/v1alpha1/changeset.schema.json
+
+printf '{"c":1}\n' >"$SCHEMA_SB/schemas/new-one.schema.json"
+git -C "$SCHEMA_SB" add "$SCHEMA_SB/schemas/new-one.schema.json"
+expect_red check_schema_freeze "adding a new schema JSON" "added, deleted or renamed" "$SCHEMA_SB" "v0.1.0" 2
+git -C "$SCHEMA_SB" reset -q -- schemas/new-one.schema.json
+rm -f "$SCHEMA_SB/schemas/new-one.schema.json"
+
+printf '{"a":2}\n' >"$SCHEMA_SB/schemas/decision/v1alpha1/decision-record.schema.json"
+expect_green check_schema_freeze "modifying the ONE permitted schema file" "$SCHEMA_SB" "v0.1.0" 2
+git -C "$SCHEMA_SB" checkout -q -- schemas/decision/v1alpha1/decision-record.schema.json
+
+echo "   -- check_schema_status pure-parser controls (no git at all) --"
+SS="$WORK/status.synth"
+printf 'M\t%s\n' "$SCHEMA_PERMITTED_FILE" >"$SS"
+expect_green check_schema_status "synthetic: only the permitted file modified" "$SS"
+printf 'A\tschemas/foo/v1/new.schema.json\n' >"$SS"
+expect_red check_schema_status "synthetic: an added schema JSON" "added, deleted or renamed" "$SS"
+printf 'D\tschemas/foo/v1/old.schema.json\n' >"$SS"
+expect_red check_schema_status "synthetic: a deleted schema JSON" "added, deleted or renamed" "$SS"
+printf 'M\tschemas/change/v1alpha1/changeset.schema.json\n' >"$SS"
+expect_red check_schema_status "synthetic: an unauthorized modified schema JSON" "frozen schema" "$SS"
+: >"$SS"
+expect_green check_schema_status "synthetic: empty status (no schema changes)" "$SS"
+rm -rf "$SCHEMA_SB"
+echo
+
+echo "-- (4) REQ-EX-S10-07: internal/core untouched vs $CORE_BASE (three-dot) --"
+expect_green check_core_untouched "REQ-EX-S10-07: internal/core unchanged on this lane" "$ROOT" "$CORE_BASE" "$CORE_FILE_MIN"
+
+echo "   -- base-ref shape mutation control (the HEAD-substitution trap) --"
+expect_red check_core_untouched "substituting HEAD for origin/main" "not an origin/* remote-tracking ref" "$ROOT" "HEAD" "$CORE_FILE_MIN"
+expect_red check_core_untouched "an empty base ref" "not an origin/* remote-tracking ref" "$ROOT" "" "$CORE_FILE_MIN"
+
+echo "   -- positive control on the baseline pathspec --"
+expect_red check_core_untouched "an unreasonably high minfiles floor" "the pathspec is not matching" "$ROOT" "$CORE_BASE" 999999
+
+echo "   -- real internal/core violation, caught in a sandbox --"
+CORE_SB="$WORK/core-sandbox"
+new_sandbox "$CORE_SB"
+mkdir -p "$CORE_SB/internal/core" "$CORE_SB/internal/change"
+printf 'package core\n' >"$CORE_SB/internal/core/a.go"
+printf 'package change\n' >"$CORE_SB/internal/change/b.go"
+sandbox_commit "$CORE_SB" init
+BASESHA="$(git -C "$CORE_SB" rev-parse HEAD)"
+git -C "$CORE_SB" update-ref refs/remotes/origin/main "$BASESHA"
+expect_green check_core_untouched "sandbox: HEAD == origin/main, nothing changed" "$CORE_SB" "origin/main" 1
+printf 'package core\nvar X = 1\n' >"$CORE_SB/internal/core/a.go"
+sandbox_commit "$CORE_SB" "touch internal/core"
+expect_red check_core_untouched "sandbox: a lane commit touches internal/core" "internal/core changed on this lane" "$CORE_SB" "origin/main" 1
+# Same sandbox, HEAD-substitution trap against a REAL divergence: base==HEAD
+# makes the range empty even though origin/main and HEAD really do differ —
+# proof the base-shape guard is load-bearing, not decorative.
+expect_red check_core_untouched "sandbox: HEAD substituted despite a real internal/core divergence" "not an origin/* remote-tracking ref" "$CORE_SB" "HEAD" 1
+rm -rf "$CORE_SB"
+echo
+
+echo "-- (5) REQ-EX-S10-05: task check wires dogfood-examples/docs-gates/dogfood-wiring-test --"
+expect_green check_task_wiring "REQ-EX-S10-05: task check runs dogfood-examples, docs-gates, dogfood-wiring-test" "$ROOT/Taskfile.yml"
+
+for dropped in dogfood-examples docs-gates dogfood-wiring-test; do
+  MUT_TF="$WORK/Taskfile.no-$dropped.yml"
+  grep -vE "^[[:space:]]+- task: $dropped\$" "$ROOT/Taskfile.yml" >"$MUT_TF"
+  grep -qE "^[[:space:]]+- task: $dropped\$" "$MUT_TF" && fail "mutation did not remove '- task: $dropped' from the scratch Taskfile"
+  expect_red check_task_wiring "dropping '- task: $dropped' from check:" "does not run '$dropped'" "$MUT_TF"
+done
+echo
+
+echo "-- (6) REQ-EX-S10-06: README-format-vs-dogfood inventory (re-invokes S01) --"
+expect_green check_inventory_gate "REQ-EX-S10-06: hack/docs/example_format_inventory_test.sh is green and proves it ran" "$ROOT/hack/docs/example_format_inventory_test.sh"
+echo "   (both red polarities — extra claimed pack, omitted pack, unmapped format token —"
+echo "    are S01's own mutation controls, embedded in that script and re-run every time"
+echo "    it executes above; not reimplemented here.)"
+echo
+
+echo "-- (7) provider fence (REQ-EX-S07-05, re-verified) --"
+expect_green check_provider_fence "go test ./cmd/assent/ -run TestAssentTestNeverCallsProviderHost passes by name" "$ROOT"
+echo
+
+echo "-- (8) REQ-EX-S10-08: D-002 sanitization green --"
+expect_green check_sanitization "REQ-EX-S10-08: hack/check-sanitization.sh is green on the real tree" "$ROOT/hack/check-sanitization.sh"
+expect_green check_sanitization_patterns "REQ-EX-S10-08: the scanner's own patterns match a planted employer-hostname / employee-id token" "$ROOT/hack/check-sanitization.sh"
+echo
+
+echo "PASS: P5-EX exit gate (REQ-EX-S10-01..08) — four formats present; C1-C8 fixtures present with C8 measured REVIEW; schema freeze ref-relative against $SCHEMA_BASE; internal/core untouched vs $CORE_BASE; task check wiring intact; README/dogfood inventory agree; provider fence holds; D-002 sanitization clean"
diff --git a/openspec/specs/backlog.md b/openspec/specs/backlog.md
index 2bd1018..0597983 100644
--- a/openspec/specs/backlog.md
+++ b/openspec/specs/backlog.md
@@ -135,7 +135,7 @@ providers, not core-model redesign**. All rows below are generalized (invented n
 
 | ID | Item | Status | Closest existing archetype |
 | --- | --- | --- | --- |
-| **REF-EX** | Author 8 domain-neutral archetype fixtures C1–C8 (list-no-shrink, privilege-tier allow-list, wildcard-grant block, soft-delete-as-field-add, quota-ceiling-from-fact, placement allow-list, referenced-resource-ownership [gap demo], companion-file delete [known-limitation]) | **C1–C8 landed** (C1–C4 EX-S06; C5–C8 EX-S07) | [p5-ex-complex-examples](p5-ex-complex-examples/spec.md). Extends no-destruction (C1/C4/C8), allowed-fields+ownership (C2/C3/C6/C7), bounded-change (C5, reused). Engine+E5 facts already shipped; D-071 deferral closed by this epic. **Not** P5-DEM (D-143) |
+| **REF-EX** | Author 8 domain-neutral archetype fixtures C1–C8 (list-no-shrink, privilege-tier allow-list, wildcard-grant block, soft-delete-as-field-add, quota-ceiling-from-fact, placement allow-list, referenced-resource-ownership [gap demo], companion-file delete [known-limitation]) | **CLOSED (P5-EX EX-S06/EX-S07)** — C1–C4 EX-S06, C5–C8 EX-S07, exit-gated by EX-S10 (`hack/examples/ex_exitgate_test.sh`: C1–C8 presence + C8 measured REVIEW, mutation-tested) | [p5-ex-complex-examples](p5-ex-complex-examples/spec.md). Extends no-destruction (C1/C4/C8), allowed-fields+ownership (C2/C3/C6/C7), bounded-change (C5, reused). Engine+E5 facts already shipped; D-071 deferral closed by this epic. **Not** P5-DEM (D-143) |
 
 ## Phase 5 — E1 canonical change model stories
 
@@ -690,7 +690,7 @@ Epic paragraphs (goal, ADR constraints, exit gate, story seeds) in
 | --- | --- | --- |
 | 3 — Contracts first | P3-E1 schemas + contract fixture (incl. ApprovalEvidence + named-consumer fixture) · P3-E2 versioning/compat spec · P3-E3 example migration · P3-E4 lifecycle: phase/profiles/comparison (ADR-0018) · P3-E5 publication reconciliation protocol (ADR-0019) | strict end-to-end contract fixture validates (ADR-0017 §8, D-016); new ADRs 0018/0019 accepted at the freeze review |
 | 4 — Walking skeleton | P4-E1 (+ rerun-idempotence gate, D-017) · **P2-E4-NS (OQ-24 timed run)** · holdout adjudication (OQ-25) | L3 skeleton green + **one real repo on live MRs** (D-012); north-star wording only after timed run |
-| 5 — Implementation | E1–E7 **DONE**; **E7 AUTONOMOUS COMPLETE** (S01–S05+S08, D-087); **E8 AUTONOMOUS COMPLETE** ([p5-e8-renderer/spec.md](p5-e8-renderer/spec.md), S01–S14, D-098); **E9 AUTONOMOUS COMPLETE** ([p5-e9-distribution/spec.md](p5-e9-distribution/spec.md), S01–S13, D-099–D-111 CLOSED; Homebrew Formula live; PAT rotate optional); **PCS AUTONOMOUS COMPLETE** ([p5-pcs-policy-comparison/spec.md](p5-pcs-policy-comparison/spec.md), S01–S09, **D-057 closed**, D-118); **E10 UNLOCKED + DECOMPOSED** (D-140, [p5-e10-github-forge/spec.md](p5-e10-github-forge/spec.md), 19 stories, ADR-0021); **E11 IMPLEMENTATION UNLOCKED + DECOMPOSED** (D-141, [p5-e11-rego-backend/spec.md](p5-e11-rego-backend/spec.md), 14 stories); E12 **contract-unlocked** (D-017), not decomposed; E14 gated on Spike D; **E13 still locked** (D-012); **SEC-SC SPECIFIED, NOT STARTED** ([p5-sec-scorecard-residuals/spec.md](p5-sec-scorecard-residuals/spec.md), 2 stories — S01 autonomous fuzzing, S02 operator-gated Best Practices badge); **P5-EX SPECIFIED, NOT STARTED** (D-143, [p5-ex-complex-examples/spec.md](p5-ex-complex-examples/spec.md), 10 stories — complex in-tree examples; **not** P5-DEM); **P5-DEM DESIGNED, NOT THIS ASK** (D-142, annotations still 0) | per-epic; E9 exit = tagged signed release + docs live + brew Formula (D-111); PAT rotate optional |
+| 5 — Implementation | E1–E7 **DONE**; **E7 AUTONOMOUS COMPLETE** (S01–S05+S08, D-087); **E8 AUTONOMOUS COMPLETE** ([p5-e8-renderer/spec.md](p5-e8-renderer/spec.md), S01–S14, D-098); **E9 AUTONOMOUS COMPLETE** ([p5-e9-distribution/spec.md](p5-e9-distribution/spec.md), S01–S13, D-099–D-111 CLOSED; Homebrew Formula live; PAT rotate optional); **PCS AUTONOMOUS COMPLETE** ([p5-pcs-policy-comparison/spec.md](p5-pcs-policy-comparison/spec.md), S01–S09, **D-057 closed**, D-118); **E10 UNLOCKED + DECOMPOSED** (D-140, [p5-e10-github-forge/spec.md](p5-e10-github-forge/spec.md), 19 stories, ADR-0021); **E11 IMPLEMENTATION UNLOCKED + DECOMPOSED** (D-141, [p5-e11-rego-backend/spec.md](p5-e11-rego-backend/spec.md), 14 stories); E12 **contract-unlocked** (D-017), not decomposed; E14 gated on Spike D; **E13 still locked** (D-012); **SEC-SC SPECIFIED, NOT STARTED** ([p5-sec-scorecard-residuals/spec.md](p5-sec-scorecard-residuals/spec.md), 2 stories — S01 autonomous fuzzing, S02 operator-gated Best Practices badge); **P5-EX AUTONOMOUS COMPLETE** (D-143, [p5-ex-complex-examples/spec.md](p5-ex-complex-examples/spec.md), S01–S10, exit gate `hack/examples/ex_exitgate_test.sh`; **not** P5-DEM); **P5-DEM DESIGNED, NOT THIS ASK** (D-142, annotations still 0) | per-epic; E9 exit = tagged signed release + docs live + brew Formula (D-111); PAT rotate optional |
 
 Named-consumer disposition (what unlocked, what stayed locked, and why):
 [docs/planning/named-consumer-compat.md](../../docs/planning/named-consumer-compat.md).

From be63b2b681b135be9fd4b4ea239e929d5d032b9e Mon Sep 17 00:00:00 2001
From: Konrad Heimel <konrad.heimel@gmail.com>
Date: Sun, 16 Aug 2026 14:59:01 +0200
Subject: [PATCH 2/6] :memo: docs(changelog): regenerate CHANGELOG.md for the
 EX-S10 lane

---
 CHANGELOG.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index bcac63c..ef2bfa0 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -130,6 +130,7 @@ repository still gets a decision, never by following the link; no release carrie
 - :memo: docs(walkthrough): fix Step 3 lede self-contradiction on .tf format count
 - :memo: docs(changelog): regenerate CHANGELOG.md for the EX-S09 lane follow-ups
 - :memo: docs(changelog): regenerate CHANGELOG.md for the EX-S09 F1 fix
+- :memo: docs(changelog): regenerate CHANGELOG.md for the EX-S10 lane
 
 ### Features
 - :sparkles: feat(docs): gate example pack and format claims against dogfood
@@ -158,6 +159,7 @@ repository still gets a decision, never by following the link; no release carrie
 - :white_check_mark: test(examples): close REQ-EX-S05-05's other disjunct (fixture deletion)
 - :white_check_mark: test(examples): close REF-EX C5 quota-ceiling-from-fact explicitly
 - :white_check_mark: test(examples): pin REF-EX C8 companion-file delete as REVIEW (known limitation)
+- :white_check_mark: test(examples): add the P5-EX epic exit gate (EX-S10)
 ## [0.2.0] - 2026-08-09
 
 ### Chores

From dd6406390306d6628ed5f3709505c36cf9000712 Mon Sep 17 00:00:00 2001
From: Konrad Heimel <konrad.heimel@gmail.com>
Date: Sun, 16 Aug 2026 15:02:43 +0200
Subject: [PATCH 3/6] :bug: fix(examples): scope format extraction to match:
 lines, not the whole classes: block (F2)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

check_formats grabbed the entire classes: block and grepped it for
*.ext tokens, including comment lines. infra-vars' real config.yaml
carries a KNOWN LIMITATION comment reading "...matches only *.tfvars
and *.tf..." directly under its match: line, so removing the real
.tf class-match entry left "tf" still detectable via that comment's
own prose — the mutation control that was supposed to catch this only
ever ran against a synthetic, comment-free fixture, so it never
exercised the confound it existed to catch (independent review F2).

Anchors extraction on the `match: { paths: [...] }` line shape itself
(comment lines never start with "match:", so they are excluded by
construction, not by a separate strip pass), and adds a second
mutation control that mutates the REAL infra-vars config.yaml in
place (comment prose intact) alongside the existing synthetic one.

Also (F5, non-blocking): check_c_series now requires each C1-C7
expect.yaml to be non-empty (`find -size +0c`), matching what the
gate's own report already claimed it checked.
---
 hack/examples/ex_exitgate_test.sh | 68 ++++++++++++++++++++++++++-----
 1 file changed, 57 insertions(+), 11 deletions(-)

diff --git a/hack/examples/ex_exitgate_test.sh b/hack/examples/ex_exitgate_test.sh
index cf85362..e5b05cb 100755
--- a/hack/examples/ex_exitgate_test.sh
+++ b/hack/examples/ex_exitgate_test.sh
@@ -152,6 +152,20 @@ CORE_FILE_MIN=20
 # NOT a call into hack/docs/example_format_inventory_test.sh's pack_formats
 # (that reuse is REQ-EX-S10-06's job below). A regression in S01's own
 # extraction must not be invisible just because this gate trusts it blindly.
+#
+# Scoped STRICTLY to real `match: { paths: [...] }` YAML lines inside the
+# classes: block, not "any line in the classes: block". This is deliberate,
+# not merely a comment-strip pass: infra-vars' real config.yaml carries a
+# prose comment directly under its match: line reading "...matches only
+# *.tfvars and *.tf." — a naive "grab the whole classes: block, then grep for
+# *.ext tokens" extraction (the shape this function used to have, and the
+# shape hack/docs/example_format_inventory_test.sh's pack_formats still has)
+# would happily keep matching "*.tf" out of that COMMENT even after the real
+# match.paths entry lost it — the exact vacuity a mutation control built from
+# a synthetic comment-free fixture cannot catch, because it never contains
+# the confound. Anchoring on the `match: {` line shape structurally excludes
+# every comment line (they start with '#', never 'match:'), independent of
+# whether a stray "*.tf"-shaped substring appears in prose nearby.
 check_formats() { # <root>
   local root="$1" rc=0
   local found="$WORK/formats.found"
@@ -167,7 +181,12 @@ check_formats() { # <root>
     awk '
       $0 ~ /^classes:[[:space:]]*$/ { in_cls = 1; next }
       in_cls && /^[a-zA-Z]/ { in_cls = 0 }
-      in_cls { print }
+      in_cls {
+        s = $0
+        sub(/^[[:space:]]+/, "", s)
+        if (substr(s, 1, 1) == "#") next
+        if (s ~ /^match:[[:space:]]*\{[[:space:]]*paths:/) print s
+      }
     ' "$cfg" | grep -oE '\*\.[A-Za-z0-9]+' | sed -e 's/^\*\.//' -e 's/^yml$/yaml/' >>"$found"
   done
   ((rc == 0)) || return "$rc"
@@ -204,9 +223,9 @@ check_c_series() { # <root>
       rc=1
       continue
     fi
-    n="$(find "$full" -name expect.yaml | wc -l | tr -d '[:space:]')"
+    n="$(find "$full" -name expect.yaml -size +0c | wc -l | tr -d '[:space:]')"
     if [[ "$n" -eq 0 ]]; then
-      echo "  REQ-EX-S10-02: $id fixture directory $path has no expect.yaml anywhere under it — an empty/incomplete directory is not a case" >&2
+      echo "  REQ-EX-S10-02: $id fixture directory $path has no NON-EMPTY expect.yaml anywhere under it — a missing, empty, or zero-byte expect.yaml is not a measured case" >&2
       rc=1
     fi
   done
@@ -601,15 +620,15 @@ echo
 echo "-- (1) REQ-EX-S10-01: yaml/json/tfvars/tf present in class match paths --"
 expect_green check_formats "REQ-EX-S10-01: real tree covers yaml/json/tfvars/tf" "$ROOT"
 
+# Synthetic, comment-free sanity check FIRST (cheap, isolates the extraction
+# logic from any real-file confound) — but this alone is NOT sufficient proof
+# the function detects the real violation (a prior version of this gate
+# shipped exactly that gap: this synthetic control passed while the same
+# mutation against the REAL infra-vars config.yaml did not redden, because
+# that file's own KNOWN LIMITATION comment prose also contains the literal
+# substring "*.tf" a few lines below the match: line). Both controls run.
 MUT_FMT_ROOT="$WORK/mutant-formats"
 rm -rf "$MUT_FMT_ROOT"
-# Synthetic, comment-free config.yaml content — NOT a copy of the real files:
-# the real infra-vars config.yaml's KNOWN LIMITATION comment prose also
-# contains the literal substring "*.tf" (documenting the class match, in
-# English), which check_formats' extraction (matching S01's own pack_formats,
-# deliberately NOT comment-stripped) would then still see even after the
-# match: line itself was mutated — a confound that would make this mutation
-# pass for the wrong reason. Fully synthetic input sidesteps that.
 mkdir -p "$MUT_FMT_ROOT/examples/packs/topic-registry/.assent"
 mkdir -p "$MUT_FMT_ROOT/examples/packs/service-catalog/.assent"
 mkdir -p "$MUT_FMT_ROOT/examples/packs/infra-vars/.assent"
@@ -622,7 +641,34 @@ printf 'classes:\n  - name: catalog-service\n    match: { paths: ["catalog/**/*.
 printf 'classes:\n  - name: infra-vars\n    match: { paths: ["envs/**/*.tfvars"] }\n' \
   >"$MUT_FMT_ROOT/examples/packs/infra-vars/.assent/config.yaml"
 grep -q '\*\.tf"' "$MUT_FMT_ROOT/examples/packs/infra-vars/.assent/config.yaml" && fail "sanity: synthetic mutant config.yaml still contains a .tf class match"
-expect_red check_formats "dropping the .tf class match alternative" "format 'tf' is not covered" "$MUT_FMT_ROOT"
+expect_red check_formats "dropping the .tf class match alternative (synthetic, comment-free fixture)" "format 'tf' is not covered" "$MUT_FMT_ROOT"
+
+# THE REAL repro: copy the actual shipped config.yaml files verbatim — prose
+# comments and all — then remove ONLY the ".tf" alternative from infra-vars'
+# real `match: { paths: [...] }` line, leaving its KNOWN LIMITATION comment
+# ("...matches only *.tfvars and *.tf...") completely untouched a few lines
+# below. If check_formats' extraction ever regresses back to "grab the whole
+# classes: block, then grep for *.ext tokens anywhere", that comment's own
+# "*.tf" substring will keep this control green for the wrong reason — which
+# is exactly what happened here in review. This is the control that actually
+# proves the function is safe against the confound, not just a fixture
+# engineered to avoid it.
+MUT_REAL_ROOT="$WORK/mutant-formats-real"
+rm -rf "$MUT_REAL_ROOT"
+mkdir -p "$MUT_REAL_ROOT/examples/packs"
+for p in "${PACKS[@]}"; do
+  mkdir -p "$MUT_REAL_ROOT/examples/packs/$p/.assent"
+  cp "$ROOT/examples/packs/$p/.assent/config.yaml" "$MUT_REAL_ROOT/examples/packs/$p/.assent/config.yaml"
+done
+REAL_MUT_CFG="$MUT_REAL_ROOT/examples/packs/infra-vars/.assent/config.yaml"
+sed -i.bak 's#\[\"envs/\*\*/\*\.tfvars\", \"envs/\*\*/\*\.tf\"\]#["envs/**/*.tfvars"]#' "$REAL_MUT_CFG"
+rm -f "$REAL_MUT_CFG.bak"
+# Positive controls on the mutation itself, both directions:
+grep -Eq '^[[:space:]]*match:[[:space:]]*\{[[:space:]]*paths:.*\*\.tf"' "$REAL_MUT_CFG" &&
+  fail "sanity: the real config.yaml's match: line still contains a .tf entry after the mutation — the sed program did not land"
+grep -Fq '*.tf' "$REAL_MUT_CFG" ||
+  fail "sanity: the real config.yaml's KNOWN LIMITATION comment prose no longer mentions *.tf after the mutation — this control would no longer reproduce the comment-leak confound at all"
+expect_red check_formats "dropping the .tf class match alternative from the REAL infra-vars config.yaml (comment prose intact)" "format 'tf' is not covered" "$MUT_REAL_ROOT"
 echo
 
 echo "-- (2a) REQ-EX-S10-02: C1-C8 fixtures present --"

From 7996b81033f968a290c3b7449b2bdc0bbcb0f3ae Mon Sep 17 00:00:00 2001
From: Konrad Heimel <konrad.heimel@gmail.com>
Date: Sun, 16 Aug 2026 15:03:03 +0200
Subject: [PATCH 4/6] :memo: docs(changelog): regenerate CHANGELOG.md for the
 EX-S10 F2/F5 fixes

---
 CHANGELOG.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index ef2bfa0..b6329fa 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -131,6 +131,7 @@ repository still gets a decision, never by following the link; no release carrie
 - :memo: docs(changelog): regenerate CHANGELOG.md for the EX-S09 lane follow-ups
 - :memo: docs(changelog): regenerate CHANGELOG.md for the EX-S09 F1 fix
 - :memo: docs(changelog): regenerate CHANGELOG.md for the EX-S10 lane
+- :memo: docs(changelog): regenerate CHANGELOG.md for the EX-S10 F2/F5 fixes
 
 ### Features
 - :sparkles: feat(docs): gate example pack and format claims against dogfood
@@ -148,6 +149,7 @@ repository still gets a decision, never by following the link; no release carrie
 - :bug: fix(docs-gates): fail on unmapped format tokens and de-confound the tests-dir mutation (EX-S01 review)
 - :bug: fix(examples): make privilege-tier's proving fixture load-bearing
 - :bug: fix(docs): pin case+decision pairs, not just case names, in the walkthrough (F1)
+- :bug: fix(examples): scope format extraction to match: lines, not the whole classes: block (F2)
 
 ### Refactoring
 - :recycle: refactor(examples): discover dogfood packs instead of a hardcoded 3-name loop

From 6073d240592ed59ba38a3fd0dd3e2373a077ee03 Mon Sep 17 00:00:00 2001
From: Konrad Heimel <konrad.heimel@gmail.com>
Date: Sun, 16 Aug 2026 15:19:24 +0200
Subject: [PATCH 5/6] :bug: fix(examples): close the same-line trailing-comment
 gap in format extraction (F6)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

check_formats' F2 fix anchored extraction on the match:/paths: line
shape but still printed the WHOLE matched line before token-grepping,
so a "*.tf"-shaped substring trailing the SAME line (e.g. an inline
`# legacy note: ... *.tf` comment) still leaked through — this
codebase's own comment style already puts trailing `#` comments on
match: lines (examples/packs/topic-registry/.assent/config.yaml:12),
so it is not a contrived shape. Narrows extraction to the bracketed
`[...]` path-list itself (match(s, /\[[^]]*\]/)) so no same-line
trailing content can ever fall inside the extracted substring,
structurally.

Adds a third mutation control (same-line trailing comment on a
scratch copy of the REAL infra-vars config.yaml) alongside the
existing synthetic and separate-line-comment controls. That control's
own first draft had a companion bug worth naming: its sanity checks
used a plain `*.tf` substring grep, which false-matches the "tf"
prefix of "*.tfvars" — fixed to compare exact extracted tokens
instead. Updates the header comment to describe what is actually
covered now (same-line and separate-line, not just separate-line).

Also (F3, non-blocking, carried): backlog.md's P5-EX/REF-EX rows now
say the exit gate is manual-invocation-only, not wired into `task
check` or CI, so a future reader does not assume automated coverage
that doesn't exist.
---
 hack/examples/ex_exitgate_test.sh | 73 +++++++++++++++++++++++++------
 openspec/specs/backlog.md         |  4 +-
 2 files changed, 61 insertions(+), 16 deletions(-)

diff --git a/hack/examples/ex_exitgate_test.sh b/hack/examples/ex_exitgate_test.sh
index e5b05cb..910cd2f 100755
--- a/hack/examples/ex_exitgate_test.sh
+++ b/hack/examples/ex_exitgate_test.sh
@@ -153,19 +153,22 @@ CORE_FILE_MIN=20
 # (that reuse is REQ-EX-S10-06's job below). A regression in S01's own
 # extraction must not be invisible just because this gate trusts it blindly.
 #
-# Scoped STRICTLY to real `match: { paths: [...] }` YAML lines inside the
-# classes: block, not "any line in the classes: block". This is deliberate,
-# not merely a comment-strip pass: infra-vars' real config.yaml carries a
-# prose comment directly under its match: line reading "...matches only
-# *.tfvars and *.tf." — a naive "grab the whole classes: block, then grep for
-# *.ext tokens" extraction (the shape this function used to have, and the
-# shape hack/docs/example_format_inventory_test.sh's pack_formats still has)
-# would happily keep matching "*.tf" out of that COMMENT even after the real
-# match.paths entry lost it — the exact vacuity a mutation control built from
-# a synthetic comment-free fixture cannot catch, because it never contains
-# the confound. Anchoring on the `match: {` line shape structurally excludes
-# every comment line (they start with '#', never 'match:'), independent of
-# whether a stray "*.tf"-shaped substring appears in prose nearby.
+# Scoped STRICTLY to the BRACKETED `[...]` path-list on a real
+# `match: { paths: [...] }` YAML line inside the classes: block — not "any
+# line in the classes: block" (review F2), and not merely "the whole matched
+# line" either (review F6). infra-vars' real config.yaml carries prose
+# reading "...matches only *.tfvars and *.tf." both on a SEPARATE line below
+# match: (F2) and, in a scratch reproduction of this codebase's own everyday
+# comment style (see examples/packs/topic-registry/.assent/config.yaml:12's
+# environments: block for a real precedent), that same phrase can just as
+# naturally trail the match: line itself as an inline `# ...` comment (F6). A
+# naive "grab the whole classes: block, then grep for *.ext tokens anywhere"
+# extraction leaks both shapes; anchoring on the match: line but still
+# printing the WHOLE line only closes the separate-line shape. Extracting
+# ONLY the substring between `[` and `]` on the matched line closes both:
+# neither a comment on the line above/below nor a comment trailing the same
+# line can ever fall inside that substring, structurally, regardless of what
+# prose sits next to the real path list.
 check_formats() { # <root>
   local root="$1" rc=0
   local found="$WORK/formats.found"
@@ -185,7 +188,9 @@ check_formats() { # <root>
         s = $0
         sub(/^[[:space:]]+/, "", s)
         if (substr(s, 1, 1) == "#") next
-        if (s ~ /^match:[[:space:]]*\{[[:space:]]*paths:/) print s
+        if (s ~ /^match:[[:space:]]*\{[[:space:]]*paths:/) {
+          if (match(s, /\[[^]]*\]/)) print substr(s, RSTART, RLENGTH)
+        }
       }
     ' "$cfg" | grep -oE '\*\.[A-Za-z0-9]+' | sed -e 's/^\*\.//' -e 's/^yml$/yaml/' >>"$found"
   done
@@ -669,6 +674,46 @@ grep -Eq '^[[:space:]]*match:[[:space:]]*\{[[:space:]]*paths:.*\*\.tf"' "$REAL_M
 grep -Fq '*.tf' "$REAL_MUT_CFG" ||
   fail "sanity: the real config.yaml's KNOWN LIMITATION comment prose no longer mentions *.tf after the mutation — this control would no longer reproduce the comment-leak confound at all"
 expect_red check_formats "dropping the .tf class match alternative from the REAL infra-vars config.yaml (comment prose intact)" "format 'tf' is not covered" "$MUT_REAL_ROOT"
+
+# THE SAME-LINE repro (review F6): the separate-line control above proves the
+# match: anchor excludes OTHER lines, but a prior version of this function
+# printed the ENTIRE matched line before token-extraction, so a "*.tf"-shaped
+# substring trailing the SAME match:/paths: line (e.g. an inline `# legacy
+# note: ...` comment) still leaked through — and this codebase's own comment
+# style already puts trailing `#` comments directly on match: lines (see
+# examples/packs/topic-registry/.assent/config.yaml:12's environments: block:
+# `match: { paths: ["topics/**"] } # last match wins as default`), so this is
+# not a contrived shape. Scratch copy of the real infra-vars config.yaml,
+# with the KNOWN LIMITATION prose moved from its own line onto the tail of
+# the match: line itself, replacing the real .tf glob entry.
+MUT_SAMELINE_ROOT="$WORK/mutant-formats-sameline"
+rm -rf "$MUT_SAMELINE_ROOT"
+mkdir -p "$MUT_SAMELINE_ROOT/examples/packs"
+for p in "${PACKS[@]}"; do
+  mkdir -p "$MUT_SAMELINE_ROOT/examples/packs/$p/.assent"
+  cp "$ROOT/examples/packs/$p/.assent/config.yaml" "$MUT_SAMELINE_ROOT/examples/packs/$p/.assent/config.yaml"
+done
+SAMELINE_CFG="$MUT_SAMELINE_ROOT/examples/packs/infra-vars/.assent/config.yaml"
+sed -i.bak 's|\[\"envs/\*\*/\*\.tfvars\", \"envs/\*\*/\*\.tf\"\] }|["envs/**/*.tfvars"] }  # legacy note: used to also match *.tf|' "$SAMELINE_CFG"
+rm -f "$SAMELINE_CFG.bak"
+
+# Positive controls on the mutation itself — token-EXACT, not substring: a
+# naive `grep '\*\.tf'` matches the "tf" PREFIX of "*.tfvars" too (both
+# controls below hit this false-positive on first draft: "*.tfvars" always
+# contains the substring "*.tf"), which would make the sanity check pass
+# vacuously regardless of whether the mutation landed correctly.
+sameline_match="$(grep -F 'envs/**/*.tfvars' "$SAMELINE_CFG" | head -1)"
+[[ -n "$sameline_match" ]] || fail "sanity: could not locate the mutated match: line in $SAMELINE_CFG — the sed program's anchor text did not match anything"
+sameline_bracket_tokens="$WORK/sameline.bracket.tokens"
+printf '%s\n' "$sameline_match" | grep -oE '\[[^]]*\]' | grep -oE '\*\.[A-Za-z0-9]+' | sed -e 's/^\*\.//' >"$sameline_bracket_tokens"
+grep -Fxq 'tf' "$sameline_bracket_tokens" &&
+  fail "sanity: the bracketed path list still carries an exact 'tf' token after the mutation — the sed program did not land as intended"
+sameline_trailer="$WORK/sameline.trailer"
+printf '%s\n' "$sameline_match" | sed 's/^[^]]*\]//' >"$sameline_trailer"
+grep -Eq '\*\.tf([^A-Za-z0-9]|$)' "$sameline_trailer" ||
+  fail "sanity: the mutated match: line's trailing (post-bracket) content no longer carries a same-line '*.tf' mention — this control would no longer reproduce the same-line confound at all"
+
+expect_red check_formats "dropping the .tf class match alternative, replaced by a SAME-LINE trailing comment mentioning *.tf" "format 'tf' is not covered" "$MUT_SAMELINE_ROOT"
 echo
 
 echo "-- (2a) REQ-EX-S10-02: C1-C8 fixtures present --"
diff --git a/openspec/specs/backlog.md b/openspec/specs/backlog.md
index 0597983..d076d9b 100644
--- a/openspec/specs/backlog.md
+++ b/openspec/specs/backlog.md
@@ -135,7 +135,7 @@ providers, not core-model redesign**. All rows below are generalized (invented n
 
 | ID | Item | Status | Closest existing archetype |
 | --- | --- | --- | --- |
-| **REF-EX** | Author 8 domain-neutral archetype fixtures C1–C8 (list-no-shrink, privilege-tier allow-list, wildcard-grant block, soft-delete-as-field-add, quota-ceiling-from-fact, placement allow-list, referenced-resource-ownership [gap demo], companion-file delete [known-limitation]) | **CLOSED (P5-EX EX-S06/EX-S07)** — C1–C4 EX-S06, C5–C8 EX-S07, exit-gated by EX-S10 (`hack/examples/ex_exitgate_test.sh`: C1–C8 presence + C8 measured REVIEW, mutation-tested) | [p5-ex-complex-examples](p5-ex-complex-examples/spec.md). Extends no-destruction (C1/C4/C8), allowed-fields+ownership (C2/C3/C6/C7), bounded-change (C5, reused). Engine+E5 facts already shipped; D-071 deferral closed by this epic. **Not** P5-DEM (D-143) |
+| **REF-EX** | Author 8 domain-neutral archetype fixtures C1–C8 (list-no-shrink, privilege-tier allow-list, wildcard-grant block, soft-delete-as-field-add, quota-ceiling-from-fact, placement allow-list, referenced-resource-ownership [gap demo], companion-file delete [known-limitation]) | **CLOSED (P5-EX EX-S06/EX-S07)** — C1–C4 EX-S06, C5–C8 EX-S07, exit-gated by EX-S10 (`hack/examples/ex_exitgate_test.sh`: C1–C8 presence + C8 measured REVIEW, mutation-tested; **manual invocation only** — unlike `hack/audit/exitgate_test.sh` / `hack/release/exitgate_test.sh` (excluded from `task check` but still run directly in `verify.yaml`), this gate is invoked nowhere automated: no `task` entry, no CI step) | [p5-ex-complex-examples](p5-ex-complex-examples/spec.md). Extends no-destruction (C1/C4/C8), allowed-fields+ownership (C2/C3/C6/C7), bounded-change (C5, reused). Engine+E5 facts already shipped; D-071 deferral closed by this epic. **Not** P5-DEM (D-143) |
 
 ## Phase 5 — E1 canonical change model stories
 
@@ -690,7 +690,7 @@ Epic paragraphs (goal, ADR constraints, exit gate, story seeds) in
 | --- | --- | --- |
 | 3 — Contracts first | P3-E1 schemas + contract fixture (incl. ApprovalEvidence + named-consumer fixture) · P3-E2 versioning/compat spec · P3-E3 example migration · P3-E4 lifecycle: phase/profiles/comparison (ADR-0018) · P3-E5 publication reconciliation protocol (ADR-0019) | strict end-to-end contract fixture validates (ADR-0017 §8, D-016); new ADRs 0018/0019 accepted at the freeze review |
 | 4 — Walking skeleton | P4-E1 (+ rerun-idempotence gate, D-017) · **P2-E4-NS (OQ-24 timed run)** · holdout adjudication (OQ-25) | L3 skeleton green + **one real repo on live MRs** (D-012); north-star wording only after timed run |
-| 5 — Implementation | E1–E7 **DONE**; **E7 AUTONOMOUS COMPLETE** (S01–S05+S08, D-087); **E8 AUTONOMOUS COMPLETE** ([p5-e8-renderer/spec.md](p5-e8-renderer/spec.md), S01–S14, D-098); **E9 AUTONOMOUS COMPLETE** ([p5-e9-distribution/spec.md](p5-e9-distribution/spec.md), S01–S13, D-099–D-111 CLOSED; Homebrew Formula live; PAT rotate optional); **PCS AUTONOMOUS COMPLETE** ([p5-pcs-policy-comparison/spec.md](p5-pcs-policy-comparison/spec.md), S01–S09, **D-057 closed**, D-118); **E10 UNLOCKED + DECOMPOSED** (D-140, [p5-e10-github-forge/spec.md](p5-e10-github-forge/spec.md), 19 stories, ADR-0021); **E11 IMPLEMENTATION UNLOCKED + DECOMPOSED** (D-141, [p5-e11-rego-backend/spec.md](p5-e11-rego-backend/spec.md), 14 stories); E12 **contract-unlocked** (D-017), not decomposed; E14 gated on Spike D; **E13 still locked** (D-012); **SEC-SC SPECIFIED, NOT STARTED** ([p5-sec-scorecard-residuals/spec.md](p5-sec-scorecard-residuals/spec.md), 2 stories — S01 autonomous fuzzing, S02 operator-gated Best Practices badge); **P5-EX AUTONOMOUS COMPLETE** (D-143, [p5-ex-complex-examples/spec.md](p5-ex-complex-examples/spec.md), S01–S10, exit gate `hack/examples/ex_exitgate_test.sh`; **not** P5-DEM); **P5-DEM DESIGNED, NOT THIS ASK** (D-142, annotations still 0) | per-epic; E9 exit = tagged signed release + docs live + brew Formula (D-111); PAT rotate optional |
+| 5 — Implementation | E1–E7 **DONE**; **E7 AUTONOMOUS COMPLETE** (S01–S05+S08, D-087); **E8 AUTONOMOUS COMPLETE** ([p5-e8-renderer/spec.md](p5-e8-renderer/spec.md), S01–S14, D-098); **E9 AUTONOMOUS COMPLETE** ([p5-e9-distribution/spec.md](p5-e9-distribution/spec.md), S01–S13, D-099–D-111 CLOSED; Homebrew Formula live; PAT rotate optional); **PCS AUTONOMOUS COMPLETE** ([p5-pcs-policy-comparison/spec.md](p5-pcs-policy-comparison/spec.md), S01–S09, **D-057 closed**, D-118); **E10 UNLOCKED + DECOMPOSED** (D-140, [p5-e10-github-forge/spec.md](p5-e10-github-forge/spec.md), 19 stories, ADR-0021); **E11 IMPLEMENTATION UNLOCKED + DECOMPOSED** (D-141, [p5-e11-rego-backend/spec.md](p5-e11-rego-backend/spec.md), 14 stories); E12 **contract-unlocked** (D-017), not decomposed; E14 gated on Spike D; **E13 still locked** (D-012); **SEC-SC SPECIFIED, NOT STARTED** ([p5-sec-scorecard-residuals/spec.md](p5-sec-scorecard-residuals/spec.md), 2 stories — S01 autonomous fuzzing, S02 operator-gated Best Practices badge); **P5-EX AUTONOMOUS COMPLETE** (D-143, [p5-ex-complex-examples/spec.md](p5-ex-complex-examples/spec.md), S01–S10, exit gate `hack/examples/ex_exitgate_test.sh` — manual invocation only, not wired into `task check`/CI; **not** P5-DEM); **P5-DEM DESIGNED, NOT THIS ASK** (D-142, annotations still 0) | per-epic; E9 exit = tagged signed release + docs live + brew Formula (D-111); PAT rotate optional |
 
 Named-consumer disposition (what unlocked, what stayed locked, and why):
 [docs/planning/named-consumer-compat.md](../../docs/planning/named-consumer-compat.md).

From 88efd9595db81faa8a6866263004ac6991f7c08d Mon Sep 17 00:00:00 2001
From: Konrad Heimel <konrad.heimel@gmail.com>
Date: Sun, 16 Aug 2026 15:19:33 +0200
Subject: [PATCH 6/6] :memo: docs(changelog): regenerate CHANGELOG.md for the
 EX-S10 F6 fix

---
 CHANGELOG.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index b6329fa..a68994a 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -132,6 +132,7 @@ repository still gets a decision, never by following the link; no release carrie
 - :memo: docs(changelog): regenerate CHANGELOG.md for the EX-S09 F1 fix
 - :memo: docs(changelog): regenerate CHANGELOG.md for the EX-S10 lane
 - :memo: docs(changelog): regenerate CHANGELOG.md for the EX-S10 F2/F5 fixes
+- :memo: docs(changelog): regenerate CHANGELOG.md for the EX-S10 F6 fix
 
 ### Features
 - :sparkles: feat(docs): gate example pack and format claims against dogfood
@@ -150,6 +151,7 @@ repository still gets a decision, never by following the link; no release carrie
 - :bug: fix(examples): make privilege-tier's proving fixture load-bearing
 - :bug: fix(docs): pin case+decision pairs, not just case names, in the walkthrough (F1)
 - :bug: fix(examples): scope format extraction to match: lines, not the whole classes: block (F2)
+- :bug: fix(examples): close the same-line trailing-comment gap in format extraction (F6)
 
 ### Refactoring
 - :recycle: refactor(examples): discover dogfood packs instead of a hardcoded 3-name loop