meerkat_runtime/auth_machine/mod.rs
1//! AuthMachine runtime surface.
2//!
3//! Per-binding auth-lease lifecycle machine. Each typed `LeaseKey`
4//! (`realm`, `binding`, optional `profile`) has its own `AuthMachine`
5//! instance, managed by the lease-key registry in
6//! `meerkat-runtime/src/handles/auth_lease.rs`.
7//!
8//! See `dsl.rs` for the machine definition. See
9//! `meerkat-machine-schema/src/catalog/dsl/auth_machine.rs` for the
10//! schema-catalog mirror (the two must stay structurally identical;
11//! the xtask drift-check enforces this).
12
13#[allow(
14 dead_code,
15 clippy::assign_op_pattern,
16 clippy::cmp_owned,
17 clippy::unused_self,
18 clippy::unnecessary_map_on_constructor
19)]
20pub mod dsl;