.akr archives, policy gates, runtime services, capture/proof output, and verification tests.
System shape
Main boundaries
Policy calls
Use the policy system according to intent:- Use
TryUsewhen behavior should count as feature use. - Use
CanUsewhen code only needs to decide whether a surface should render or be available. - Use the row’s feature kind for its classification tooltip and static policy display.