# K1 Access Groups conformance
This test-only library verifies the Groups-dependent authority, editor, viewer, filtering, replacement, revocation, and discovery contract through the public K1 Access and Groups APIs.
## Public API
```rust
pub fn verify() -> Result<(), String>;
```
`verify` creates one fresh deterministic temporary stack and checks the Access 0.5.0 group-authority contract, two-sided user and model visibility, concealed filtering, policy replacement, revocation, and monotonic discovery. It returns the first labeled dependency or assertion failure and is not yet benchmarked.