# SDPE Paper 05 Bundle

**Paper:** Discovery–Verification Inversion  
**Version:** v0.1  
**Date:** 2026-08-14

## Main distinction

$$
\boxed{
D_t^{\rm resolve}
\neq
D_t^{\rm frontier}.
}
$$

Compiled proof history can theoremically reduce routine-resolution cost under controlled conditions. It does not automatically reduce the cost of discovering the next genuinely new theorem cut.

## Main exact decomposition

$$
\boxed{
\Delta D_t^{\rm resolve}
=
-G_t^{\rm compile}
+
P_t^{\rm drift}.
}
$$

## Main phase metric

$$
\boxed{
\sigma_t
=
\frac{W_t}{D_t+W_t}.
}
$$

## Key status

- Weak DVI: theorem-compatible and empirically testable.
- Strong DVI: open falsifiable hypothesis.
- Verification dominance can coexist with decreasing total cost.
- Frontier hardening is an explicit competing regime.

## Files

- `SDPE_Paper05_Discovery_Verification_Inversion_v0.1.md`
- `SDPE_Paper05_Fresh_Literature_Notes_2026-08-14.md`
- `SDPE_Series_Route_Map_v0.5.md`
- `SDPE_Paper05_Theorem_Ledger.json`
- `verify_SDPE_Paper05_discovery_verification_inversion.py`
- `SDPE_Paper05_checker_report.json`
- `checker_stdout.txt`
- `SOURCE_VALIDATION_SDPE_P05.json`
- `CHECKSUMS.sha256`