# AERL Evidence Appendix: 2025-07-20 HC

Generated at: `2026-05-23T11:39:58Z`
Release ID: `2026-04-30-v049`
Scope: `2025-07-20 HC`

This appendix strengthens the public AERL checklist with reproducible machine checks. It does not certify official results, prove truth, edit canonical facts, or promote later local views into this release.

## Machine Check Summary

| Check | Value |
|---|---:|
| `component_count` | 94 |
| `release_file_count` | 380 |
| `manifest_hash_errors` | 0 |
| `current_pointers_to_release` | 94 |
| `current_pointer_hash_errors` | 0 |
| `latest_release_hash_errors` | 0 |
| `candidate_rows_total` | 47879 |
| `candidate_components_with_missing_markers` | 0 |
| `candidate_missing_marker_rows` | 0 |
| `stats_rows_total` | 3788 |
| `stats_components_with_missing_markers` | 0 |
| `stats_rows_with_missing_markers` | 0 |
| `source_register_rows` | 195 |
| `source_register_components` | 96 |

## Boundary

- Current AERL: `R4`.
- Gate-style decision: `conditional_pass`.
- Residual note: Progress summaries are supporting evidence; cite the fixed release boundary.
- Public use must cite the fixed release ID and keep AERL separate from truth, official authority, and legal certification claims.

## Component Inventory

Machine-readable component inventory: `aerl-20250720-hc-evidence-appendix.csv`

| Component | Candidate rows | Stats rows | Candidate missing rows | Stats missing rows | Finding |
|---|---:|---:|---:|---:|---|
| `20250720_hc_multi_01` | 2268 | 189 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_02` | 200 | 40 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_03` | 132 | 33 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_04` | 273 | 39 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_05` | 100 | 25 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_06` | 175 | 35 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_07` | 295 | 59 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_08` | 352 | 44 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_09` | 150 | 25 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_10` | 245 | 35 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_11` | 1080 | 72 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_12` | 944 | 59 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_13` | 1984 | 62 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_14` | 928 | 58 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_15` | 148 | 37 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_16` | 75 | 15 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_17` | 95 | 19 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_18` | 119 | 17 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_19` | 135 | 27 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_20` | 385 | 77 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_21` | 252 | 42 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_22` | 273 | 39 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_23` | 966 | 69 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_24` | 116 | 29 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_25` | 133 | 19 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_26` | 324 | 36 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_27` | 1368 | 72 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_28` | 637 | 49 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_29` | 272 | 39 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_30` | 209 | 30 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_31` | 95 | 19 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_32` | 95 | 19 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_33` | 120 | 30 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_34` | 300 | 30 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_35` | 95 | 19 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_36` | 96 | 24 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_37` | 102 | 17 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_38` | 100 | 20 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_39` | 136 | 34 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_40` | 936 | 72 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_41` | 80 | 20 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_42` | 126 | 21 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_43` | 196 | 49 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_44` | 90 | 18 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_45` | 104 | 26 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_46` | 176 | 44 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_multi_47` | 205 | 41 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_01` | 3024 | 189 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_02` | 634 | 40 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_03` | 523 | 33 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_04` | 624 | 39 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_05` | 397 | 25 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_06` | 556 | 35 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_07` | 944 | 59 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_08` | 704 | 44 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_09` | 400 | 25 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_10` | 560 | 35 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_11` | 1152 | 72 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_12` | 944 | 59 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_13` | 992 | 62 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_14` | 928 | 58 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_15` | 589 | 37 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_16` | 239 | 15 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_17` | 303 | 19 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_18` | 272 | 17 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_19` | 432 | 27 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_20` | 1209 | 77 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_21` | 671 | 42 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_22` | 624 | 39 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_23` | 1104 | 69 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_24` | 463 | 29 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_25` | 304 | 19 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_26` | 576 | 36 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_27` | 1152 | 72 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_28` | 784 | 49 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_29` | 609 | 39 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_30` | 472 | 30 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_31` | 299 | 19 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_32` | 304 | 19 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_33` | 477 | 30 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_34` | 480 | 30 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_35` | 304 | 19 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_36` | 384 | 24 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_37` | 272 | 17 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_38` | 320 | 20 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_39` | 544 | 34 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_40` | 1152 | 72 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_41` | 319 | 20 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_42` | 334 | 21 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_43` | 784 | 49 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_44` | 286 | 18 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_45` | 410 | 26 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_46` | 704 | 44 | 0 | 0 | candidate and stats release-bound |
| `20250720_hc_pr_47` | 636 | 41 | 0 | 0 | candidate and stats release-bound |