# QUINCUNX EDH corrected-interval diagnostic

**Registered by:** `docs/DESIGN_QUINCUNX_EDH_CORRECTED_INTERVAL_DIAGNOSTIC_20260811.md`  
**Status:** corrected-instrument diagnostic (registration Sec.4) -- the current-best measurement of the sixteen Block B interval statements under the minimally entailed two-sample fix. **Not** a new blind confirmation and does **not** certify the corrected method (this holdout selected which defect was repaired). The blind score of record remains **9/16** and is not superseded.

## Result

**Corrected coverage: 11 of 15 scored targets** (1 of the 16 registered targets abstained -- B2, no mechanically entailed correction -- and is excluded from this denominator; counted neither as covered nor as a miss). For comparison, this diagnostic's own recomputation of alpha-interval coverage over the same 15 scored targets is 8/15.

## Per-target table

| Target | Alpha interval (registered) | Corrected interval | Landed value | Covered (alpha) | Covered (corrected) |
|---|---|---|---|---|---|
| B1_top1_share -- Top-1 province share of 32-holdout total | [11.97, 26.91]% | [7.80, 29.61]% | 11.87% | no | YES |
| B1_top5_share -- Top-5 provinces' share of 32-holdout total | [50.64, 78.09]% | [45.09, 84.73]% | 48.77% | no | YES |
| B1_count_provinces_ge_1000 -- Count of holdout provinces with >=1,000 records | [6.0, 12.0] | [3.9, 13.9] | 15.00 | no | no |
| B1_count_provinces_lt_300 -- Count of holdout provinces with <300 records | [11.0, 20.0] | [10.0, 23.0] | 12.00 | YES | YES |
| B2_century_share_vector -- Century-bucket share vector (TV-distance ceiling) | ceiling 0.119612 | n/a (abstained) | TV=0.070257 | YES | n/a |
| B3_nonlatin_share_aggregate -- Non-Latin share, whole holdout | [1.29, 4.59]% | [0.22, 5.02]% | 2.42% | YES | YES |
| B3_nonlatin_share_latin_west_stratum -- Non-Latin share, Latin-West stratum | [0.39, 0.90]% | [0.27, 0.98]% | 0.84% | YES | YES |
| B3_nonlatin_share_greek_east_stratum -- Non-Latin share, Greek-East stratum | [17.71, 38.60]% | [9.41, 39.96]% | 19.03% | YES | YES |
| B4_epitaph_share -- Epitaph share of typed rows | [27.07, 54.68]% | [22.47, 59.14]% | 47.93% | YES | YES |
| B4_votive_share -- Votive-inscription share of typed rows | [16.84, 30.71]% | [14.28, 32.67]% | 19.80% | YES | YES |
| B5_dated_share -- Dated share of all rows | [64.43, 91.22]% | [62.59, 100.60]% | 66.40% | YES | YES |
| B5_range_precision_share_of_dated -- Range-precision share of dated rows | [93.37, 96.64]% | [93.27, 97.77]% | 92.92% | no | no |
| B6_bracket_density -- Bracket ('[') density | [62.41, 68.47]% | [61.11, 69.38]% | 61.54% | no | YES |
| B6_no_image_rate -- No-image rate | [12.96, 30.72]% | [10.85, 34.51]% | 14.95% | YES | YES |
| B7_marmor_share_mediterranean_stratum -- Marble share, Mediterranean stratum | [31.57, 40.89]% | [31.11, 43.69]% | 22.55% | no | no |
| B7_marmor_share_continental_stratum -- Marble share, Continental stratum | [0.65, 1.32]% | [0.44, 1.45]% | 12.85% | no | no |

## Notes

- **Verdict flips.** 3 target(s) flip miss-to-cover under the correction (B1_top1_share, B1_top5_share, B6_bracket_density); 0 flip cover-to-miss (none). The remaining scored targets keep the same alpha-side verdict, just with a wider (never narrower) band around it.
- **Unclipped bounds.** target(s) with a corrected bound outside [0, 100]%: B5_dated_share. This is a mechanical, expected consequence of the additive point +/- percentile(v2-v1) construction (registration Sec.1-2, replicated from measure_interval_defect.py verbatim) near a boundary -- it is reported as-is, not clipped, since clipping would itself be a discretionary modelling choice outside the minimally entailed correction this diagnostic is registered to compute.
- **Widths.** Every corrected interval is wider than its alpha counterpart (never narrower or equal) -- the two-sample construction only adds variance, it never removes any, consistent with Var(diff) = Var(v1) + Var(v2) >= Var(v1) alone.

## Abstention

**B2_century_share_vector.** TV-distance ceiling is a one-sided bound against a FIXED anchor vector, not a signed scalar with a point +/- width structure; neither measure_interval_defect.py (scoped to 'the eight whole-population ratio constructions' only, per its own docstring) nor the defect note (Sec.4: 'An exact decomposition for EDH's real targets requires the redesigned split audit and is not claimed here') supplies a worked two-sample scheme for a vector/TV-ceiling target. Replacing the fixed anchor with a second independently-resampled vector is a plausible generalization but a NEW modelling choice, not a mechanical replication of either frozen source -- parked per the registration's abstention rule (Sec.2: 'no invented constructions; park, not tune').

## Construction blindness -- evidence, not assertion

- Script A (`ops/popper/edh_corrected_interval/construct_corrected_intervals.py`) started at `2026-08-11T09:44:00.085629+00:00` and finished at `2026-08-11T09:44:07.228905+00:00` (UTC), producing `docs/generated/quincunx_edh_corrected_intervals_construction_20260811.json`, whose own metadata field `scoring_values_file_read` is `False`.
- That construction file's on-disk modification time is `2026-08-11T09:44:07.233820+00:00` (UTC) -- i.e. script A's output existed on disk before this scoring step ran.
- Script B (this script) opened the landed-values file (`docs/generated/popper_r2_edh_scoring_values_20260806.json`) for the first and only time at `2026-08-11T09:46:54.158922+00:00` (UTC), strictly after the construction file's mtime above.
- Script A's own source contains no reference to the landed-values filename anywhere in the module (verified by inspection -- the banned path appears only as a string constant it never opens, for self-documentation).

## Reproduction

```
docker exec inferopedia-web-1 mkdir -p /app/ops/popper/edh_corrected_interval
docker cp ops/popper/edh_corrected_interval/construct_corrected_intervals.py \
    inferopedia-web-1:/app/ops/popper/edh_corrected_interval/construct_corrected_intervals.py
docker exec -w /app inferopedia-web-1 \
    python ops/popper/edh_corrected_interval/construct_corrected_intervals.py \
    > docs/generated/quincunx_edh_corrected_intervals_construction_20260811.json
python3 ops/popper/edh_corrected_interval/score_corrected_intervals.py
```

Seed: SHA-256("QUINCUNX-EDH-CID-20260811") as a big-endian integer, `numpy.random.Generator(PCG64DXSM)`. Resamples per bootstrap draw: 1000 (measure_interval_defect.py's own N_RESAMPLES, per registration Sec.3 -- not the alpha script's 10,000). Fixed group order 1..5 against one shared Generator instance, so a rerun with the same seed reproduces byte-identical output.

