[
 {"assertion_id":"A001","description":"Dense reference is stable","expected":"reference uses 16384 parameter samples"},
 {"assertion_id":"A002","description":"Sampling converges","expected":"drift decreases toward higher sample counts"},
 {"assertion_id":"A003","description":"Threshold is observable","expected":"at least one density reaches relative drift <= 1e-4"},
 {"assertion_id":"A004","description":"No canonical tolerance mutation","expected":"canonical_change_required = NO"}
]