# Popper V2 rung-3 -- AUTONOMOUS validation, Haryana (machine-run)

**Date:** 2026-08-05. **Batch:** `r3-b1`. **Holdout state:** Haryana (NAMAMI `state_id`='13'). Decision floor: complete=True, reconciled=100.0%. Generated by `run_popper_validation` -- read-only, no writes, no git.

**30 of the registered conjectures carry a per-state `frozen_query`** and were run against this state. Skipped:

| ID | Reason |
|---|---|
| r3-b1-03 | no per-state clause (cross-source/whole-corpus comparator, or tail-UT-only) |
| r3-b1-04 | no per-state clause (cross-source/whole-corpus comparator, or tail-UT-only) |
| r3-b1-05 | no per-state clause (cross-source/whole-corpus comparator, or tail-UT-only) |
| r3-b1-06 | no per-state clause (cross-source/whole-corpus comparator, or tail-UT-only) |
| r3-b1-07 | no per-state clause (cross-source/whole-corpus comparator, or tail-UT-only) |
| r3-b1-09 | no per-state clause (cross-source/whole-corpus comparator, or tail-UT-only) |
| r3-b1-18 | no per-state clause (cross-source/whole-corpus comparator, or tail-UT-only) |
| r3-b1-28 | already holdout-killed (registration §7 Validation event 2 -- Assam (2026-08-05)); registration §7 events 1-2 |

---

## Machine verdicts

| Verdict | Count |
|---|---:|
| CONTEXT-ONLY | 1 |
| SURVIVES-LEG | 29 |

## Compact value table

| ID | Band | Measured | Distance | Relative | Near-threshold | Verdict |
|---|---|---|---:|---:|:---:|---|
| r3-b1-01 | ceiling: NAMAMI dated-fraction < 1% per state; direction: >=1 order of magnitude below every comparator | {"date_precision_breakdown": {"unknown": 63366}, "dated_fraction_pct": 0.0, "filtered_total_rows": 63366, "rows_excluded_by_amendment": 0} | 1.0 | 1.0 | False | SURVIVES-LEG |
| r3-b1-02 | ceiling 40% (NAMAMI states and clean comparators alike) | {"institution": "Jawar Lal Nehru Library", "n": 14739, "pct": 23.260107944323455} | 16.739892055676545 | 0.41849730139191366 | False | SURVIVES-LEG |
| r3-b1-08 | ceiling 1% per state (training) | {"populated": 0, "total": 63366, "pct": 0.0} | 1.0 | 1.0 | False | SURVIVES-LEG |
| r3-b1-10 | ceiling 92% | {"top12_cum_pct": 52.49818514660859} | 39.50181485339141 | 0.4293675527542544 | False | SURVIVES-LEG |
| r3-b1-11 | ceiling 40% | {"institution": null, "n": 14739, "pct": 23.260107944323455} | 16.739892055676545 | 0.41849730139191366 | False | SURVIVES-LEG |
| r3-b1-12 | ceiling 75% | {"top3_cum_pct": 31.155509263642962} | 43.84449073635704 | 0.5845932098180938 | False | SURVIVES-LEG |
| r3-b1-13 | ceiling 1500 | {"hhi12": 624.9790841165755} | 875.0209158834245 | 0.5833472772556164 | False | SURVIVES-LEG |
| r3-b1-14 | ceiling 20 | {"top1_top2_ratio": 5.7596717467760845} | 14.240328253223915 | 0.7120164126611958 | False | SURVIVES-LEG |
| r3-b1-15 | floor 50 | {"distinct_institutes": 194} | 144.0 | 2.88 | False | SURVIVES-LEG |
| r3-b1-16 | ceiling 103 per 1000 | {"n": 63366, "distinct_inst": 194, "density_per_1000": 3.0615787646371873} | 99.93842123536281 | 0.9702759343239108 | False | SURVIVES-LEG |
| r3-b1-17 | [-3.0, -0.3] | {"npoints": 194, "slope": -2.044912756720359, "se": 0.08004725107179832, "r2": 0.7726773595559602} | 0.9550872432796411 | 0.31836241442654706 | False | SURVIVES-LEG |
| r3-b1-19 | threshold 53,727 (frozen as minted) | {"top_tibetan_institution": "Kunjang  Choiling  Gompa", "top_tibetan_institution_count": 152, "state_total_tibetan_tradition_rows": 154} | 53575.0 | 0.997170882424107 | False | SURVIVES-LEG |
| r3-b1-20 | floor 6 | {"distinct_script_groups": 7} | 1.0 | 0.16666666666666666 | False | SURVIVES-LEG |
| r3-b1-21 | floor 20% | {"sanskrit_n": 61263, "total": 63366, "pct": 96.68118549379794} | 76.68118549379794 | 3.834059274689897 | False | SURVIVES-LEG |
| r3-b1-23 | ceiling 45% | {"unclassified_n": 1614, "total": 63366, "pct": 2.547107281507433} | 42.45289271849256 | 0.9433976159665014 | False | SURVIVES-LEG |
| r3-b1-24 | ceiling 35% | {"n": 401, "total": 63366, "pct": 0.6328314869172742} | 34.367168513082724 | 0.9819191003737922 | False | SURVIVES-LEG |
| r3-b1-25 | ceiling 15% | {"n": 1213, "total": 63366, "pct": 1.9142757945901587} | 13.085724205409841 | 0.8723816136939894 | False | SURVIVES-LEG |
| r3-b1-26 | ceiling 2% | {"n": 316, "total": 63366, "pct": 0.4986901492914181} | 1.5013098507085818 | 0.7506549253542909 | False | SURVIVES-LEG |
| r3-b1-27 | ceiling 0.1% | {"n": 0, "total": 63366, "pct": 0.0} | 0.1 | 1.0 | False | SURVIVES-LEG |
| r3-b1-29 | >75% in belt AND <15% outside belt | {"n": 2, "total": 63366, "pct": 0.0031562667676672033} | 14.996843733232334 | 0.9997895822154889 | False | SURVIVES-LEG |
| r3-b1-30 | >20% in belt AND <5% outside belt | {"n": 5, "total": 63366, "pct": 0.007890666919168008} | 4.992109333080832 | 0.9984218666161665 | False | SURVIVES-LEG |
| r3-b1-31 | exactly one exception (Odisha) among the 11 training states | {"sanskritic_n": 34076, "indo_aryan_n": 27089, "sanskritic_over_indo_aryan_ratio": 1.257927572077227} | 0.25792757207722694 | 0.25792757207722694 | False | SURVIVES-LEG |
| r3-b1-32 | floor 35% | {"basis": "language_facet_south_asian", "n": 60958, "total": 63366, "pct": 96.19985481172868} | 61.199854811728684 | 1.7485672803351053 | False | SURVIVES-LEG |
| r3-b1-33 | belt (Bihar/MP/Rajasthan) substantially and cleanly separated above non-belt (Karnataka/Kerala/Maharashtra/Odisha/TN/HP); contradiction (no clean separation) kills at compile | {"non_latin_holdings": 9386, "total_holdings": 63366, "holdings_weighted_non_latin_pct": 14.812359940662185, "non_latin_distinct": 32, "total_distinct": 194, "distinct_non_latin_pct": 16.49484536082474} | None | None | False | CONTEXT-ONLY |
| r3-b1-34 | exact zero (integrity check, not a statistical band) | {"bad_count": 0, "total": 63366, "bad_share_pct": 0.0} | 0 | None | n/a (exact-zero band; relative margin undefined, see distance) | SURVIVES-LEG |
| r3-b1-35 | exact zero (integrity check) | {"bad_count": 0, "filtered_total": 63366, "bad_share_pct": 0.0, "rows_excluded_by_amendment": 0} | 0 | None | n/a (exact-zero band; relative margin undefined, see distance) | SURVIVES-LEG |
| r3-b1-36 | [0.15%, 1.2%] | {"n": 63366, "distinct_subj": 654, "density_pct": 1.0320992330271754} | 0.16790076697282452 | 0.13991730581068712 | False | SURVIVES-LEG |
| r3-b1-37 | [30, 160] | {"distinct_language_count": 56} | 26.0 | 0.8666666666666667 | False | SURVIVES-LEG |
| r3-b1-38 | >10% in {UP, Bihar} AND <2% elsewhere | {"islamic_n": 333, "total": 63366, "pct": 0.5255184168165893} | 1.4744815831834108 | 0.7372407915917054 | False | SURVIVES-LEG |
| r3-b1-40 | ceiling 0.5% | {"populated": 0, "total": 63366, "pct": 0.0} | 0.5 | 1.0 | False | SURVIVES-LEG |

## Equivalence check (batched temp-table form vs. verbatim-standalone form)

**All identical: True** (5 entries checked: r3-b1-01, r3-b1-15, r3-b1-19, r3-b1-31, r3-b1-33).

No git commit made. This file and its `.json` twin are machine-generated values-only output; the corresponding `_draft_entry.md` carries the machine verdicts in registration §7 entry format, pending orchestrator countersign.
