# DEFENSIBLE NOTHING-FOUND RECORD -- Per-Claim Output Template

**Emission gate:** This record is INVALID and MUST NOT be emitted unless ALL FOUR boxes in `references/DEFENSIBILITY_FOUR_REQUIREMENTS.md` are checked. Any missing checklist item rescinds stopping and returns the skill to Phase B.

---

## 1. Identity

- `run_id`: <string>
- `claim_id`: <S5>
- `claim_text`: <verbatim>
- `claim_type`: <S5>
- `discipline`: <S3 context>
- `scratch_artifact_ref`: <path to SKEPTIC_SCRATCH_ARTIFACT.md instance for this claim>
- `emit_timestamp_utc`: <ISO-8601>

---

## 2. Requirement 1 -- Pre-registered inversion classes exercised

| class | status | rationale |
|---|---|---|
| IC-1 Boundary-Condition | exercised \| non-applicable | <if non-applicable, specific reason> |
| IC-2 Alternative-Explanation | exercised \| non-applicable | <if non-applicable, specific reason> |
| IC-3 Replication-Failure | exercised \| non-applicable | <if non-applicable, specific reason> |
| IC-4 Frame / Construct | exercised \| non-applicable | <if non-applicable, specific reason> |

No class may be `skipped`, `deferred`, `time-boxed`, or `N/A without reason`.

---

## 3. Requirement 2 -- Coverage outcome per class

For each `exercised` class:

```
class: IC-<n>
query_ids: [<uuid>, <uuid>, ...]
sources_surfaced_pre_integrity: <integer>
sources_accepted_post_S2: <integer>
disconfirmation_categories_detected: []   # explicit empty list; NEVER the string "zero" or "none"
```

For each `non-applicable` class:

```
class: IC-<n>
non_applicability_ledger_ref: <Ledger entry that logs the reason with discipline-specific rationale>
surprise_register_entry_ref: <SR entry, if the non-applicability itself is an anomaly>
```

---

## 4. Requirement 3 -- Saturation evidence per class

For each `exercised` class:

```
class: IC-<n>
saturation_rule: "K consecutive null-or-known-category queries"
K_value_used: <3 for IC-1/IC-2/IC-3; 2 for IC-4; other K requires justification>
consecutive_saturating_query_ids: [<uuid>, <uuid>, <uuid>]
stopping_cause: "per-class saturation"
```

Forbidden stopping causes (presence invalidates the record):
- `query budget exhausted`
- `time budget exhausted`
- `token budget exhausted`
- any count divorced from the consecutive-query saturation evidence above

---

## 5. Requirement 4 -- Uncertainty-interval framing

Emit the four-element statement verbatim:

> **No disconfirming evidence detected under this search.**
>
> **Absence of evidence is not evidence of absence (Altman & Bland, BMJ 1995).**
>
> **Inversion space covered:**
> - IC-1 Boundary-Condition: <scope summary>
> - IC-2 Alternative-Explanation: <scope summary>
> - IC-3 Replication-Failure: <scope summary>
> - IC-4 Frame / Construct: <scope summary>
>
> **Inversion space NOT covered:**
> - Corpora not searched: <list; explicit, not "various">
> - Languages not queried: <list>
> - Grey-literature surfaces unavailable: <list, with availability reason>
> - Classes marked non-applicable: <list with reasons>
> - Adjacent literatures known-unsearchable: <list, with reason>
> - Paywall / preprint exclusions: <list>
>
> **Confidence in the nothing-found result is conditional on this scope.**

---

## 6. Checklist attestation

The skill attests, at emission time:

- [ ] Requirement 1 satisfied -- all four classes have `exercised` or `non-applicable` status.
- [ ] Requirement 2 satisfied -- per-class coverage outcome recorded with query-ids (not counts).
- [ ] Requirement 3 satisfied -- per-class saturation evidence recorded with consecutive query-ids; stopping cause is per-class saturation.
- [ ] Requirement 4 satisfied -- uncertainty-interval framing complete with explicit NOT-covered enumeration.

If any box is unchecked, this record is INVALID. DO NOT EMIT. Rescind stopping. Return to Phase B.

---

## 7. Downstream signals

- `warrant_governor_signal`: `defensibly-closed`
- `search_ledger_writes_complete`: <boolean; must be true before emission>
- `scratch_artifact_finalized`: <boolean; must be true>
- `surprise_register_meta_anomalies_raised`: [<SR entry id>, ...]   # if any (e.g., unsearchable adjacent literature surfaced as anomaly)

---

## 8. Phase 9 Evaluator audit hooks

The Evaluator reads:
- This record.
- The linked scratch artifact (per-query rationale specificity).
- The Ledger rows referenced by query-ids in sections 3-4 (existence, rationale non-boilerplate, query-count non-clustering).

Ceremonial patterns that trigger reopen:
- Checklist attestation present but referenced query-ids not found in Ledger.
- `K_value_used` identical across unrelated claims of different complexity.
- Uncertainty-interval NOT-covered list is empty or says "none."
- Same `disconfirmation_categories_detected` list structure appears verbatim across multiple claims.
