# COMPOSITE_TRIGGER_SPEC

**Type:** Tool (predicate calculus for REOPEN eligibility)
**Authority:** Manheim & Garrabrant (2018) variants of Goodhart's Law; NICE clinical audit cycle; SKILL.md Section 3.3.
**Invocation:** Phase 3 of the SKILL.md procedure. Runs only after ceremonial-reopen detection (Phase 2) has passed.

---

## 1. Purpose

Define the five predicates whose composition produces REOPEN eligibility. Single-metric triggers are Goodhart-vulnerable (see `GOODHART_RESISTANCE_NOTES.md`). The trigger must be composite: multiple partially-independent predicates, with two required anchors.

---

## 2. Predicate Definitions

Each predicate resolves to `TRUE` or `FALSE` for a candidate evaluation.

### P1 -- Material-finding present

`TRUE` iff at least one Blind-Spot Mapper (E5) finding has `severity >= charter.materiality_threshold`.

### P2 -- Material-disagreement present

`TRUE` iff at least one Independent Scoring Layer (E4) per-axis disagreement delta has `magnitude >= charter.disagreement_threshold`.

### P3 -- E9 over-report signal absent or justified

`TRUE` iff the candidate finding is NOT flagged by Self-Audit Resistance Monitor (E9) as manufactured or over-reported. If E9 over-report signal is active and unjustified, P3 is `FALSE`.

### P4 -- Evidence is novel versus prior close (REQUIRED ALWAYS)

`TRUE` iff the triggering evidence is NOT the same evidence that closed a prior cycle in this audit. Equality is artifact-keyed against the Evaluator Search Ledger (Frame-Registry-artifact-ID + cycle-ID). `FALSE` -> route to Phase 6 oscillation handling; do NOT reopen.

### P5 -- Defect class is in-scope per Charter (REQUIRED ALWAYS)

`TRUE` iff the candidate finding's defect class falls within the Audit Charter Lock (E6) declared scope. `FALSE` -> defect is real but out-of-scope; do NOT reopen within this charter; route the finding to Charter amendment pathway owned by E6.

---

## 3. Decision Rule

REOPEN-eligible iff ALL hold:

```
P4 == TRUE
AND
P5 == TRUE
AND
count(TRUE among {P1, P2, P3}) >= 2
```

### Charter may RAISE, never LOWER

- Charter MAY raise from two-of-three to three-of-three.
- Charter MUST NOT lower to one-of-three. The resulting OR-rule degenerates to a single-statistic trigger and re-introduces Goodhart vulnerability.
- Weighting schemes default to unweighted-AND pending Phase 9 pilot calibration (E-R5.3 PARTIAL).

---

## 4. What The Composite Prevents

| Degenerate Form | Why Forbidden |
|---|---|
| `REOPEN if P1` alone | Single-metric Goodhart: E5 catch-rate becomes the target. |
| `REOPEN if P2` alone | Scoring-disagreement inflation without severity check. |
| `REOPEN if (P1 OR P2 OR P3)` | OR-rule collapses to weakest predicate; degenerates to single-metric under adversarial framing. |
| `REOPEN if (P1 AND P2 AND P3)` without P4 | Repeat-trigger pattern survives; oscillation guaranteed. |
| `REOPEN if any two` without P5 | Out-of-scope defects weaponize reopen against the charter. |

---

## 5. Interaction With Other Gates

Predicate evaluation is NECESSARY but NOT SUFFICIENT. Even when `REOPEN-eligible == TRUE`, the verdict flows through dwell-time and bounded-count gates (`DWELL_AND_BOUND_RULES.md`) and the enforcement-surface handoff (`GOODHART_RESISTANCE_NOTES.md`). Failure at any downstream gate converts the verdict to `PASS-DEFERRED` or `ESCALATED`, never silently to `PASS`.
