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

# HCALC Verify — PROPERTY_MAP

Authoritative names: [`../spec/PROPERTIES.md`](../spec/PROPERTIES.md) **PROPERTY_MAP**.  
Log: `logs/run-20261007-093541.log` (PT).  
Production: [`../spec/PRODUCTION.md`](../spec/PRODUCTION.md). Core: `../j/hcalc.ijs`.

## Measured H-* properties

| id | check | status | harness id | evidence |
|----|-------|--------|------------|----------|
| H-A1 | A | **PASS** | `H-A1` | `#P64_foundry_=64`; first/last primes |
| H-A2 | B | **PASS** | `H-A2` | `q_of_tp = max|α|` on diag |
| H-A3 | B/C | **PASS** | `H-A3` | `soft_project_scale` state scale-or-id (≠ soft_project **43**) |
| H-A4 | C | **PASS** | `H-A4` | NestedFaithful `hcalc_step` ≠ `to_foundry_step_diagnostic` |
| H-A5 | A/E | **SKIP** | `H-A5` | PMAT unused in production ℝ path |
| H-A6 | B | **PASS** | `H-A6` | Spec q < 1 for production α |
| H-A7 | E | **PASS** | `H-A7` | Core verbs present (SpecDefined surface) |
| H-SHAPE | C | **PASS** | `H-SHAPE` | InstanceBridge ≠ rfl; diagnostic ≠ nested |
| H-L5 | E | **PASS** | `H-L5` | `hcalc_run` converged under NestedFaithful |
| H-NEST | C | **PASS** | `H-NEST` | residual shrink / converge |

## SKIP registry (stable names; mostly closed-doc)

| SKIP name | status | reason |
|-----------|--------|--------|
| SKIP-ShapeBridge | **SKIP** | closed — see H-SHAPE |
| SKIP-Λm-formula | **SKIP** | closed — see lam_m_from_bound |
| SKIP-C-instep | **SKIP** | closed — see H-A3 |
| SKIP-Tp-law | **SKIP** | closed — see H-A1/H-A2 |
| SKIP-Ξ-op | **SKIP** | closed — see hcalc_xi_apply |
| SKIP-OptObj | **SKIP** | closed — see H-NEST |
| SKIP-L5-proof | **SKIP** | closed — see H-L5 |
| SKIP-Goldilocks16 | **SKIP** | Foundry prop **16** FAIL — do not claim PASS lift |

## Measured summary (`logs/run-20261007-093541.log`)

| Status | Count |
|--------|------:|
| PASS | **9** |
| FAIL | **0** |
| SKIP | **9** (H-A5 + 8 registry) |
| BLOCKED | **0** |
| exit_code | **0** |

## Notes

1. Do not load Foundry to invent HCALC PASS (Core may cite-load for P64/spectral).
2. C is Spec state scale-or-id (`spec-adapt`); ≠ Foundry soft_project **43**.
3. InstanceBridge ≠ NestedFaithful ≡ prop **39**.