Measurement + ResourceContract: values carry their provenance, limits carry evidence they refuse - #226

Merged

mdheller merged 2 commits into

mainfrom

feat/measurement-provenance

Jul 30, 2026

Commits on Jul 30, 2026

Measurement: a value carries how it was obtained, and eligibility is derived
mdheller
committed
ResourceContract: a limit must carry evidence it can refuse
mdheller
committed