Warden plan

28 - CR-29 (pending): Companion thesis falsification (composite)

← eval suite index


tier: hermetic requires: []


28 - CR-29 (pending): Companion thesis falsification (composite)

Pending stub — GATED criterion. The precondition below is not built; this plan reports the criterion as pending (skip, never fail) until it lands. When it does, replace this stub with a real plan in the shape of 25-cr-18 / 26-cr-25 / 27-cr-20.

Criterion implemented (verbatim from the register)

Register: ~/.studio/master.withrobin.ai/project/rfc.one/criteria-register.md (status there: PENDING OWNER ACCEPTANCE; accepted by the 2026-08-31 proxy screen).

### CR-29 — Companion thesis falsification (composite) - Statement: The paper-level verdict over the companion's mechanisms. - Metric/threshold: Perspectival half fails if CR-23's condition lands: the leak rate reaches its 0.10 threshold and the per-Signal classifier fallback, when built, cannot hold the 0.7 precision bar it inherits from the anchor's §10.3 (wiki prose leaves extraction; wikis remain authored documents; the §4 formalization path dies). Weaker engine-shaped failure if CR-24 shows stance-conditioning and citation fidelity cannot coexist (the wiki survives but not as a stance source; the engine renders stanceless — which the anchor effectively already promised). Autonomy half fails if CR-28 flips the default. Each mechanism also fails alone by its own drop condition — including CR-21's provision that the exclusion rule is removed as dead machinery if the contamination it forecloses does not occur — without taking the thesis with it. - Dataset/inputs: Aggregates CR-20 through CR-28. - Source: Companion §11.8 (restating §1's failure statement). - Tier: gated — composite over gated criteria.

Named precondition

Precondition: requires component verdicts for CR-20 through CR-28 (composite over gated criteria; it adds no thresholds of its own). Not built at HEAD 7f379974 (verified 2026-08-31: no 'claims', 'dimensions', or 'initiatives' tables in server/src/db/schema.ts, and no conflicts_with edges anywhere in server/src or packages/). A composite binds only on component verdicts, so this stub skips unconditionally until the component plans have run — note CR-20 (plan 27) and CR-25 (plan 26) already produce two of the nine inputs.

Skip guard

set -uo pipefail
source "$WARDEN_LIB/assert.sh"
cd "${PROJECT_ROOT:-$(git rev-parse --show-toplevel)}"

# No greppable code marker exists for this precondition yet — unconditional
# pending skip; the upgrade decision is human.
warden_skip "CR-29 — Companion thesis falsification (composite)" "pending: requires component verdicts for CR-20 through CR-28 (composite over gated criteria; it adds no thresholds of its own) — gated criterion, precondition not built"

Shape (note for the next author)

Pending stub, hermetic on purpose: the guard reads the checkout only and emits skip in every branch, so this plan can never red a run — the criterion surfaces in every summary as pending with its precondition named. The real plan must quote the criterion verbatim, turn its thresholds into warden_pass/warden_fail gates, and follow the conventions the three runnable plans set: machine-local fixtures (25-cr-18), NLI probe and versioned judge prompts (26-cr-25), data-keyed guard activation (27-cr-20).