# AERL Audit Checklist: 2025-07-20 HC

Version: `0.1.0-public`
Assessment date: `2026-05-23`
Release ID: `2026-04-30-v049`
Election scope: `2025-07-20 HC`

This public checklist explains which AERL audit criteria the release aligns with and which criteria it does not satisfy. AERL is evidence-readiness and claim-boundary review. It is not official certification, legal judgment, administrative authority, or proof of truth.

HTML table version: `aerl-20250720-hc-audit-checklist.html`

## Result

| Artifact group | Public AERL result | Public decision |
|---|---|---|
| Release boundary and manifest | `R4-ready boundary evidence` | `pass` |
| Candidate vote facts | `R4 / conditional_pass` | `pass for report-grade use` |
| District stats facts | `R4 release facts` | `pass` |
| Public summaries and workbooks | `derived / human-facing` | `not fact authority by themselves` |

Gate-style decision: `conditional_pass`.

## Evidence Appendix

This checklist is backed by a machine-check appendix:

- `aerl-20250720-hc-evidence-appendix.md`
- `aerl-20250720-hc-evidence-appendix.csv`
- `aerl-20250720-hc-evidence-appendix.json`

The appendix strengthens the evidence basis for release boundary, hashes, current/latest consistency, source-register coverage, and residual inventory. It does not change the release boundary, certify official results, prove truth, or promote later local views into this release.

## Criteria Checklist

| Criterion | Candidate vote facts | District stats facts | Overall public status | Public evidence | Required disclosure |
|---|---|---|---|---|---|
| Fixed release ID | `meets` | `meets` | `meets` | Release 2026-04-30-v049 is fixed. Evidence appendix: aerl-20250720-hc-evidence-appendix.md. | Cite the release ID, not a mutable latest route alone. |
| Public manifest or file list | `meets` | `meets` | `meets` | Release manifest resolves 94 components and 380 files. Evidence appendix: aerl-20250720-hc-evidence-appendix.md. | File role must be read with the manifest. |
| Stable core fact roles | `meets` | `meets` | `meets` | fact_candidate_votes.csv and fact_district_stats.csv are core fact roles. | A core file role is not the same as official certification. |
| File identity and hashes | `meets` | `meets` | `meets` | Manifest hash errors: 0; current pointer hash errors: 0; latest hash differences: 0. Evidence appendix: aerl-20250720-hc-evidence-appendix.md. | Use fixed release files when current/latest differs from the release. |
| Public-safe source basis | `meets` | `meets` | `meets` | Source register rows for this scope: 195. Evidence appendix: aerl-20250720-hc-evidence-appendix.md. | Source basis supports traceability; it does not make the dataset official. |
| Structural validity | `meets` | `meets` | `meets` | Files follow expected CSV roles and row structure. | Row structure is not the same as complete or legally certified values. |
| Semantic validity | `meets_with_warnings` | `meets` | `meets` | Candidate missing rows: 0; stats missing rows: 0. Evidence appendix: aerl-20250720-hc-evidence-appendix.md. | Missing markers and residual notes must remain visible. |
| Numerical consistency | `meets_for_report_grade` | `meets` | `meets` | Candidate rows: 47879; stats rows: 3788. Evidence appendix: aerl-20250720-hc-evidence-appendix.md. | Do not extend candidate-vote readiness to unsupported stat-value claims. |
| Provenance support | `meets` | `meets` | `conditional` | Release metadata and source register support traceability. | Public provenance does not make the dataset official. |
| Reproducibility | `meets` | `meets` | `meets` | Release ID, manifest, file roles, and hashes fix the comparison boundary. Evidence appendix: aerl-20250720-hc-evidence-appendix.md. | Reproduction must use the stated release boundary. |
| Residual disclosure | `meets` | `meets` | `meets` | Progress summaries are supporting evidence; cite the fixed release boundary. Evidence appendix: aerl-20250720-hc-evidence-appendix.md. | Carry this residual note into public/front use. |
| Public boundary | `meets` | `meets` | `meets` | Public docs use release IDs, public keys, and public-safe source fields. | Internal logs are not required for normal public citation. |
| Claim boundary | `meets` | `meets` | `meets` | Allowed and forbidden claims are explicitly separated. Evidence appendix: aerl-20250720-hc-evidence-appendix.md. | Block official-certification, legal-authority, truth-proof, and unsupported completeness claims. |
| Human review for R5+ | `not_met` | `not_met` | `not_met_for_R5_or_higher` | This checklist is not a completed human hearing/legal review package. | Do not use this release as R5, R6, or R7 evidence without further review. |

## Claims Supported

- Release `2026-04-30-v049` is a fixed public release for `20250720_hc`.
- The release contains 94 components.
- Candidate vote facts meet public R4 criteria for report-grade review, with the stated caveats.
- District stats may be used only within the status disclosed in this checklist.

## Claims Not Supported

- AERL proves the numbers are true.
- The project release is official election authority, legal certification, or an administrative record.
- Public summaries, workbooks, viewer pages, or this checklist are fact authority by themselves.
- Unsupported municipality-stat completeness claims.

## Required Public Warning

```text
2025 HC release 2026-04-30-v049 is suitable for report-grade public review within the fixed release boundary. It is project-canonical, not official certification, legal authority, or proof of truth.
```