Module conformance 

Cross-adapter conformance checks for registry writers.

Call from an adapter’s tests to assert that registering a scanned module preserves its behavioral annotations. Approval and ACL gating key on requires_approval (and read destructive); a writer that drops annotations during registration silently disables that gate — no error, no warning. This helper turns that otherwise-invisible regression into a failing test.

Functions

assert_annotations_preserved

Register module via writer into registry and assert its governance annotations (requires_approval, destructive) survive get_definition.