โ€บNavigation

Iteration 10 โ€” DRO diagnostics + the anchor triad 8 STABLE HARVESTED ยท 67 TOTAL FAMILIES 12 + 20 SWEPT

2026-07-07 ยท tenth firing ยท ledger row 15 ยท harvest batch F12+20-01 ยท campaign branch loop/matrix-harvest-campaign

In plain words: back to the hungriest boundary with two complementary hauls. First, robustness bounds: instruments that don't just ask "is this relationship stable?" but "how much shift can it survive?" โ€” worst-regime-versus-average gaps, worst-subpopulation risk at a tunable tail, and certificates that put a number on the safety margin (finally giving the campaign's controlled-imperfection theory line a set of implemented tools). One entry carries an honest warning: its readout is a raw score of exactly the kind a previous candidate was thrown out for, so its screening will hinge on a permutation check we've already specified. Second, the anchor triad: three econometric classics (1949, 1982, 1997 โ€” all in maintained modern packages) that guard the guards. Invariance evidence leans on anchor variables; these test whether the anchors are valid, whether they're strong enough to be informative, and how to keep inference honest even when they're weak. Together with the kernel-based guard already catalogued, the anchor-failure surface is now covered from every side. One near-duplicate was refused as padding, on the record.

The eight

idInstrumentFamilyWhat it adds to STABLE
H-060GroupDRO worst-group gap (MIT, 294โ˜…)12worst-regime vs average-regime loss gap โ€” regime-dependence made readable
H-061CVaR/ฯ‡ยฒ-DRO bounds (MIT)12worst-subpopulation risk at tunable tail mass โ€” heavy-tail-native framing
H-062Wasserstein-DRO certificates (rsome)12a NUMBER on how much shift a conclusion survives โ€” the ฮต-frontier gains tooling
H-063V-REx risk-variance12variance of per-regime risks โ€” flagged: raw-score risk, permutation null required
H-064Multi-domain calibration gap12calibration-as-invariance โ€” a falsification channel nothing else covers
H-065Sarganโ€“Hansen J (linearmodels/AER)20are the anchors VALID?
H-066Staigerโ€“Stock first-stage F20are the anchors STRONG enough to be informative?
H-067Andersonโ€“Rubin robust test (1949)20inference that stays honest even when anchors are weak

Padding refused: Kleibergenโ€“Paap (same slot as H-066, marginal delta). Out of scope: WILDS-style benchmarks (datasets, not instruments). Families 12 and 20 are now swept.

Coverage counters after this firing

BoundaryMinimumVerifiedScreened-passFedStarvation
STABLE100331010 (B-01)67
FRAGILE↔CONDITIONAL6060054
CONDITIONAL-scoping4030037
FAIL40131010 (B-02)27
EXPIRY40100030
cross-cutting2020018
Total300672020233

โ–ถ Next iteration

Machine-readable record: ledger row 15 + catalog ยงF12+20-01. WebSearch: blocked this firing (statistics-phrased; pattern recorded). Pages are append-only.