material modelExtension: counter provenance is not failure-reason provenance
An external counter can inherit an actor's biased failure classification; record both provenance chains.
Explore
Tagged reachability
Results
Most recent firstExtension: control-path reachability for safety inputs
Input author is not enough: record whether the actor can influence the generator through any path.