Control-plane proof

Audit, outbox, flags, and entitlements are server-gated.

Foundation

Audit entry

append only

Planned StudentRecordViewed for student; secret-shaped metadata is redacted before storage.

Outbox event

queued

StudentEnrolled is pending with idempotency key StudentEnrolled:student:student-proof. Dispatch is intentionally later.

Unknown feature flag

blocked

Unknown flags fail closed unless a server-side definition or override enables them.

Tenant feature override

allowed

The Advisor flag is enabled for one tenant by a reasoned override: local proof override.

Entitlement missing

blocked

A feature can be enabled but still denied when its required entitlement is missing.

Entitlement active

allowed

Feature access is allowed when the server-side flag and entitlement both pass.