<!--
  Copyright (C) 2026 HCALC contributors
  SPDX-License-Identifier: AGPL-3.0-only
-->

# HCALC Verify

**Owner:** Verify. **License:** AGPL-3.0-only.  
**Map:** [`PROPERTY_MAP.md`](PROPERTY_MAP.md) ← [`../spec/PROPERTIES.md`](../spec/PROPERTIES.md) + [`../spec/PRODUCTION.md`](../spec/PRODUCTION.md).  
**Core:** `../j/hcalc.ijs`.

## Run

```bash
./run.sh   # jconsole; writes logs/run-*.log
```

Latest measured: `logs/run-20261007-093541.log` — **PASS=9 FAIL=0 SKIP=9 BLOCKED=0**.

## Policy

Measured PASS only. No fake PASS. SKIP-Goldilocks16 remains (Foundry prop 16). Registry SKIP rows document closure pointing at H-* PASS.