Review a person’s record-view history: Capability Test Specification
Coverage
The category map distinguishes authored scenarios from unresolved proof obligations. A bound scenario names an existing executable suite; its recorded result remains unrun.
Interactions With Related Capabilities
Retain history after its target disappears. The visit remains in raw history even when the target cannot appear in a current record list.
Evidence and Boundaries
Pinned assertion sources support the listed executable bindings. Proposed cases retain the proof required beyond those boundaries. Structured obligations name incomplete object, transition and permission trace; row-level concurrency proof does not establish complete workflow serialization.