FAT v2: establish DataSet-driven verification domain - #232

Closed

masarray wants to merge 11 commits into

mainfrom

feat/fat-dataset-verification-v1

Commits on Aug 31, 2026

FAT v2: add dataset-driven verification domain contract
masarray
committed
ffb1551
FAT v2: project every ARIEC static DataSet member
masarray
committed
c3b9eb3
FAT v2: lock inclusion and evidence preservation invariants
masarray
committed
164230c
FAT v2: regress digital and analog DataSet projection
masarray
committed
4cbd5d9
FAT v2: add generic live value observation
masarray
committed
0eba1d5
FAT v2: add operator snapshot capture for analog values
masarray
committed
f2de792
FAT v2: regress analog Value 1 and Value 2 capture
masarray
committed
23596a0
FAT v2: fix digital manual-capture regression fixture
masarray
committed
f2d3694
FAT v2: add deterministic multi-SCL workspace aggregation
masarray
committed
45997d7
FAT v2: regress multi-SCL aggregation and conflict policy
masarray
committed
b3281a3
docs: lock FAT v2 phased implementation and regression gates
masarray
committed
8493001