Audit log: a permanent, tamper-evident record of admin actions

What administrators and the server itself do to the control plane is now
recorded, from inbuxa-drafts/specs/audit-hold-lock.md (AU-1 to AU-12):
settings, accounts, domains, roles and every other registry change, with
each field's before and after (secrets only as "changed"); the fork's own
settings objects; administrator sign-ins (and failed ones to administrator
accounts), master-user and recovery-admin sign-ins, once an hour per
account, method and address; access to another account's data through
impersonation or FetchAnyBlob, once an hour; exports and tamper checks;
and registry writes the server makes on its own, named by subsystem
(system:AcmeRenewal, system:auto-ban, system:directory-sync, ...), with a
spam rules update as one summary record.

No change without its record (AU-3): before a set method changes anything,
a pending record per requested create, update and destroy is written; if
that fails, the method is refused with serverFail. Its outcome follows as
a later entry. A change interrupted by a crash stays "unfinished".

Records live in the fork's subspace under L, as one SHA-256 hash chain per
node. The chain's head is stored, never cached, and every append asserts
it, so two writers can't take the same place. Nothing can edit or delete
a record; the daily purge removes the oldest past the retention (default
730 days, minimum 90) and records where the chain now starts, so
verification still passes. security.audit-recorded (647) copies each
record to webhooks, OpenTelemetry and the log; security.audit-write-failed
(648) reports a failed write.

New JMAP objects under urn:inbuxa:jmap: inbuxa:AuditEvent/get and /query
(filters: time, actor, action, target, account, tenant, outcome, address,
text), inbuxa:AuditSettings, inbuxa:AuditExport (CSV or JSON Lines built
on the server, each line with its chain hash, ending in a manifest; the
created object names the blob and its SHA-256) and
inbuxa:AuditVerification. New permissions sysAuditGet, sysAuditExport and
sysAuditSettingsUpdate: the Administrator role gets all three, the Tenant
Administrator role gets read and export, once, on existing installs too.
A tenant administrator sees records whose actor or target is in its
tenant, including a server administrator's changes there.

Sign-in method on the session: access tokens now remember how they signed
in (password, app password, API key, OAuth client, directory, master user,
recovery admin), including across the HTTP credential cache. New OAuth
access tokens carry their client id in the sealed claims; older ones show
as client "unknown" until they expire.

The schema gains the permissions, the two events and a Management >
Compliance > Audit Log link.

Stack: the request layer boxes every inner future where it's made. Without
that, a debug build overflowed the default 2 MB worker stack on a registry
set; measured with the same request, the branch and main now overflow at
the same stack size (between 1856 and 1920 KiB, debug), so the layer adds
nothing measurable.

Tests: unit tests in inbuxa-features and jmap; system::audit::audit_log_tests
(run with --ignored) passes on RocksDB, SQLite, PostgreSQL, PostgreSQL with a
read replica, MySQL, MySQL with a replica and FoundationDB. The system, JMAP
and SCIM suites pass. authorization.rs skipped fork permissions that guard
no registry object; the audit suite checks a plain user is refused instead.

crates/features/Cargo.toml

@@ -17,6 +17,9 @@ serde = { version = "1.0", features = ["derive"] }
 serde_json = "1.0"
 xxhash-rust = { version = "0.8.18", features = ["xxh3"] }
 base64 = "0.23"
+sha2 = "0.11"
+flate2 = "1.1"
+tokio = { version = "1.53", features = ["sync", "rt"] }
 
 [dev-dependencies]
 tokio = { version = "1.53", features = ["macros", "rt"] }

crates/features/src/ai/explain/schema.rs

@@ -9,11 +9,27 @@
 //! it holds a secret anywhere inside it.
 
 use serde_json::Value;
-use std::collections::HashSet;
+use std::{collections::HashSet, io::Read, sync::OnceLock};
 
 /// The registry schema, as the console downloads it.
 pub struct Schema(Value);
 
+/// The schema built into the server, read once. Also used by the audit log,
+/// to know which properties hold secrets (AU-4).
+pub fn embedded() -> Option<&'static Schema> {
+    static SCHEMA: OnceLock<Option<Schema>> = OnceLock::new();
+    static SCHEMA_JSON: &[u8] = include_bytes!("../../../../../resources/schema/schema.json.gz");
+    SCHEMA
+        .get_or_init(|| {
+            let mut json = Vec::new();
+            flate2::read::GzDecoder::new(SCHEMA_JSON)
+                .read_to_end(&mut json)
+                .ok()?;
+            serde_json::from_slice(&json).ok().map(Schema::new)
+        })
+        .as_ref()
+}
+
 /// What the schema says about one property of one object.
 #[derive(Debug, Clone, PartialEq)]
 pub struct PropertyInfo {

crates/features/src/audit/diff.rs

@@ -0,0 +1,215 @@
+/*
+ * SPDX-FileCopyrightText: 2026 Coffey Labs
+ *
+ * SPDX-License-Identifier: AGPL-3.0-only
+ */
+
+//! What changed in an object, as audit changes (AU-4). Objects are compared
+//! as their JMAP JSON, one top-level property at a time. A property that is
+//! a secret, or holds one anywhere inside it, is recorded as changed and
+//! never with its value: the registry schema says which those are, and a few
+//! names are treated as secret whatever it says.
+
+use crate::{ai::explain::schema, audit::record::Change};
+use serde_json::{Map, Value};
+use std::str::FromStr;
+use types::id::Id;
+
+/// Properties never recorded with a value, even if the schema lacks them.
+const ALWAYS_SECRET: &[&str] = &[
+    "secret",
+    "password",
+    "credentials",
+    "apiKey",
+    "token",
+    "privateKey",
+    "otpAuth",
+];
+
+/// Whether `property` of `object` (`x:AiModel`, `apiKey`) holds a secret.
+pub fn is_secret(object: &str, property: &str) -> bool {
+    let lower = property.to_ascii_lowercase();
+    ALWAYS_SECRET
+        .iter()
+        .any(|name| lower == name.to_ascii_lowercase())
+        || lower.ends_with("secret")
+        || lower.ends_with("password")
+        || schema::embedded()
+            .and_then(|schema| schema.property(object, property))
+            .is_some_and(|info| info.secret)
+}
+
+/// The changes between two versions of an object; `None` for a side that
+/// doesn't exist (a create or a destroy).
+pub fn diff(object: &str, before: Option<&Value>, after: Option<&Value>) -> Vec<Change> {
+    let empty = Map::new();
+    let before = before.and_then(Value::as_object).unwrap_or(&empty);
+    let after = after.and_then(Value::as_object).unwrap_or(&empty);
+    let mut fields = before.keys().chain(after.keys()).collect::<Vec<_>>();
+    fields.sort();
+    fields.dedup();
+
+    let mut changes = Vec::new();
+    for field in fields {
+        if field == "id" {
+            continue;
+        }
+        let old = before.get(field).filter(|v| !v.is_null());
+        let new = after.get(field).filter(|v| !v.is_null());
+        if old == new {
+            continue;
+        }
+        changes.push(if is_secret(object, field) {
+            Change::redacted(field.as_str())
+        } else {
+            Change::new(field.as_str(), old.cloned(), new.cloned())
+        });
+    }
+    changes
+}
+
+/// The changes a JMAP patch asks for, with what each place held before when
+/// the old object is known. Patch keys are properties or JSON pointers
+/// (`sections/0/enabled`); the property is the pointer's first part.
+pub fn patch(object: &str, before: Option<&Value>, patch: &Map<String, Value>) -> Vec<Change> {
+    let mut changes = Vec::new();
+    for (pointer, value) in patch {
+        let property = pointer.split('/').next().unwrap_or(pointer);
+        if property == "id" {
+            continue;
+        }
+        if is_secret(object, property) {
+            changes.push(Change::redacted(pointer.as_str()));
+            continue;
+        }
+        let old = before
+            .and_then(|before| before.pointer(&format!("/{pointer}")))
+            .filter(|v| !v.is_null())
+            .cloned();
+        let new = Some(value.clone()).filter(|v| !v.is_null());
+        if old == new {
+            continue;
+        }
+        changes.push(Change::new(pointer.as_str(), old, new));
+    }
+    changes
+}
+
+/// What an object is called, and whose it is, for an audit target.
+#[derive(Debug, Default, PartialEq, Eq)]
+pub struct Described {
+    pub name: Option<String>,
+    pub account_id: Option<u32>,
+    pub tenant_id: Option<u32>,
+}
+
+/// Reads a target's name and owners from its JSON.
+pub fn describe(value: &Value) -> Described {
+    let name = [
+        "name",
+        "email",
+        "address",
+        "hostname",
+        "domain",
+        "description",
+    ]
+    .iter()
+    .find_map(|key| value.get(key)?.as_str())
+    .map(|name| name.chars().take(200).collect());
+    let id = |key: &str| {
+        value
+            .get(key)?
+            .as_str()
+            .and_then(|id| Id::from_str(id).ok())
+            .map(|id| id.document_id())
+    };
+    Described {
+        name,
+        account_id: id("accountId"),
+        tenant_id: id("memberTenantId"),
+    }
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+    use serde_json::json;
+
+    #[test]
+    fn diffs_by_property() {
+        let before = json!({"id": "a", "name": "x", "enabled": true, "gone": 1});
+        let after = json!({"id": "b", "name": "y", "enabled": true, "added": [1]});
+        let changes = diff("x:Thing", Some(&before), Some(&after));
+        assert_eq!(
+            changes,
+            vec![
+                Change::new("added", None, Some(json!([1]))),
+                Change::new("gone", Some(json!(1)), None),
+                Change::new("name", Some(json!("x")), Some(json!("y"))),
+            ]
+        );
+        // A create lists everything that is set
+        assert_eq!(diff("x:Thing", None, Some(&after)).len(), 3);
+    }
+
+    #[test]
+    fn secrets_are_never_kept() {
+        let before = json!({"apiKey": "old-key", "userPassword": "a", "name": "m"});
+        let after = json!({"apiKey": "new-key", "userPassword": "b", "name": "m"});
+        let changes = diff("x:AiModel", Some(&before), Some(&after));
+        assert_eq!(
+            changes,
+            vec![Change::redacted("apiKey"), Change::redacted("userPassword")]
+        );
+        let text = serde_json::to_string(&changes).unwrap();
+        assert!(!text.contains("new-key"));
+        assert!(!text.contains("old-key"));
+        // Unchanged secrets aren't mentioned at all
+        assert!(diff("x:AiModel", Some(&before), Some(&before)).is_empty());
+    }
+
+    #[test]
+    fn secrets_the_schema_knows() {
+        // x:AiModel's httpAuth holds a secret inside one of its variants
+        if schema::embedded().is_some() {
+            assert!(is_secret("x:AiModel", "httpAuth"));
+            assert!(!is_secret("x:AiModel", "name"));
+        }
+    }
+
+    #[test]
+    fn patches_with_their_old_values() {
+        let before = json!({"name": "a", "list": [{"on": false}], "secret": "s"});
+        let patch_value = json!({"name": "b", "list/0/on": true, "secret": "t", "new": 3});
+        let changes = patch("x:Thing", Some(&before), patch_value.as_object().unwrap());
+        assert!(changes.contains(&Change::new("name", Some(json!("a")), Some(json!("b")))));
+        assert!(changes.contains(&Change::new(
+            "list/0/on",
+            Some(json!(false)),
+            Some(json!(true))
+        )));
+        assert!(changes.contains(&Change::redacted("secret")));
+        assert!(changes.contains(&Change::new("new", None, Some(json!(3)))));
+        // Nothing to nothing isn't a change
+        let nulls = json!({"description": null});
+        assert!(patch("x:Thing", None, nulls.as_object().unwrap()).is_empty());
+    }
+
+    #[test]
+    fn describes_targets() {
+        let d = describe(&json!({
+            "name": "example.com",
+            "memberTenantId": Id::from(5u32).to_string(),
+            "accountId": Id::from(9u32).to_string(),
+        }));
+        assert_eq!(
+            d,
+            Described {
+                name: Some("example.com".into()),
+                account_id: Some(9),
+                tenant_id: Some(5)
+            }
+        );
+        assert_eq!(describe(&json!({"n": 1})), Described::default());
+    }
+}

crates/features/src/audit/log.rs

@@ -0,0 +1,984 @@
+/*
+ * SPDX-FileCopyrightText: 2026 Coffey Labs
+ *
+ * SPDX-License-Identifier: AGPL-3.0-only
+ */
+
+//! The audit log's storage (AU-2, AU-3, AU-6, AU-7), in the fork's own
+//! subspace (`store::SUBSPACE_INBUXA`). Every key starts with `L`, then one
+//! byte for the kind:
+//!
+//! - `e` + node + seq: one entry of that node's chain, as JSON. An entry is
+//!   an event, or the outcome of an event written before its change was
+//!   tried. Each holds the SHA-256 of the entry before it on the same node.
+//! - `t` + time + node + seq: the time index of events, for queries.
+//! - `o` + node + seq: the seq of an event's outcome entry.
+//! - `h` + node: the chain's head: that entry's hash, then its seq as the
+//!   last eight bytes, which each append asserts, so two writers can never
+//!   both add the same seq.
+//! - `f` + node: where the chain starts after purging, and the hash the
+//!   first kept entry names.
+//! - `s`: the settings (`keepFor`).
+//!
+//! Numbers are big-endian, so keys sort in time and chain order. Each node
+//! writes only its own chain, so nodes never contend for a key; nothing about
+//! a chain is kept in memory, so a node restarted or rebuilt carries on
+//! from what is stored.
+
+use crate::audit::record::{Action, Outcome, Record};
+use ahash::AHashMap;
+use serde::{Deserialize as SerdeDeserialize, Serialize as SerdeSerialize};
+use sha2::{Digest, Sha256};
+use std::{fmt, net::IpAddr, str::FromStr};
+use store::{
+    Deserialize, IterateParams, SUBSPACE_INBUXA, Serialize, Store, ValueKey,
+    write::{AnyClass, BatchBuilder, ValueClass, assert::AssertValue},
+};
+use tokio::sync::Mutex;
+use trc::AddContext;
+
+const FEATURE: u8 = b'L';
+const KIND_ENTRY: u8 = b'e';
+const KIND_TIME: u8 = b't';
+const KIND_OUTCOME: u8 = b'o';
+const KIND_HEAD: u8 = b'h';
+const KIND_FLOOR: u8 = b'f';
+const KIND_SETTINGS: u8 = b's';
+
+/// How long entries are kept unless set otherwise: two years (AU-7).
+pub const DEFAULT_KEEP_FOR_SECS: u64 = 730 * 86_400;
+/// The shortest period an administrator may set (AU-7).
+pub const MIN_KEEP_FOR_SECS: u64 = 90 * 86_400;
+/// Most results one query page returns.
+pub const MAX_QUERY_LIMIT: usize = 500;
+/// Keys cleared per purge batch.
+const PURGE_BATCH: usize = 500;
+
+/// Where one entry sits: its node's chain and its place in it.
+#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, PartialOrd, Ord)]
+pub struct EntryId {
+    pub node: u64,
+    pub seq: u64,
+}
+
+impl EntryId {
+    /// As one number, for JMAP ids: the node in the top 16 bits, the seq in
+    /// the rest. Node ids are 16 bits; a chain reaches 2^48 entries never.
+    pub fn to_u64(&self) -> u64 {
+        (self.node << 48) | (self.seq & ((1 << 48) - 1))
+    }
+
+    pub fn from_u64(id: u64) -> Self {
+        EntryId {
+            node: id >> 48,
+            seq: id & ((1 << 48) - 1),
+        }
+    }
+}
+
+impl fmt::Display for EntryId {
+    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
+        write!(f, "{}-{}", self.node, self.seq)
+    }
+}
+
+impl FromStr for EntryId {
+    type Err = ();
+
+    fn from_str(s: &str) -> Result<Self, Self::Err> {
+        let (node, seq) = s.split_once('-').ok_or(())?;
+        Ok(EntryId {
+            node: node.parse().map_err(|_| ())?,
+            seq: seq.parse().map_err(|_| ())?,
+        })
+    }
+}
+
+/// What is kept for one chain entry. The hash of these exact bytes is what
+/// the next entry names as `prev`.
+#[derive(Debug, Clone, SerdeSerialize, SerdeDeserialize)]
+#[serde(rename_all = "camelCase")]
+struct Stored {
+    seq: u64,
+    prev: String,
+    #[serde(flatten)]
+    entry: Entry,
+}
+
+#[derive(Debug, Clone, SerdeSerialize, SerdeDeserialize)]
+#[serde(tag = "entry", rename_all = "camelCase")]
+enum Entry {
+    Event { record: Record },
+    Outcome { of: u64, at: u64, outcome: Outcome },
+}
+
+impl Entry {
+    fn at(&self) -> u64 {
+        match self {
+            Entry::Event { record } => record.at,
+            Entry::Outcome { at, .. } => *at,
+        }
+    }
+}
+
+#[derive(Debug, Clone, Default, PartialEq)]
+struct Head {
+    seq: u64,
+    hash: String,
+}
+
+impl Head {
+    fn to_bytes(&self) -> Vec<u8> {
+        let mut bytes = self.hash.as_bytes().to_vec();
+        bytes.extend_from_slice(&self.seq.to_be_bytes());
+        bytes
+    }
+}
+
+impl Deserialize for Head {
+    fn deserialize(bytes: &[u8]) -> trc::Result<Self> {
+        let split = bytes.len().checked_sub(8).ok_or_else(|| {
+            trc::StoreEvent::DataCorruption
+                .into_err()
+                .details("Invalid audit chain head")
+        })?;
+        Ok(Head {
+            seq: u64::from_be_bytes(bytes[split..].try_into().unwrap()),
+            hash: String::from_utf8_lossy(&bytes[..split]).into_owned(),
+        })
+    }
+}
+
+async fn head(data: &Store, node: u64) -> trc::Result<Option<Head>> {
+    data.get_value::<Head>(key(KIND_HEAD, &[node]))
+        .await
+        .caused_by(trc::location!())
+}
+
+/// Attempts at an append that another writer beat to the same seq.
+const APPEND_ATTEMPTS: usize = 5;
+
+#[derive(Debug, Clone, Default, PartialEq, SerdeSerialize, SerdeDeserialize)]
+struct Floor {
+    seq: u64,
+    prev: String,
+}
+
+/// The audit log's settings (`inbuxa:AuditSettings`).
+#[derive(Debug, Clone, PartialEq, SerdeSerialize, SerdeDeserialize)]
+#[serde(rename_all = "camelCase")]
+pub struct Settings {
+    pub keep_for_secs: u64,
+}
+
+impl Default for Settings {
+    fn default() -> Self {
+        Settings {
+            keep_for_secs: DEFAULT_KEEP_FOR_SECS,
+        }
+    }
+}
+
+/// A value stored as JSON.
+struct Json<T>(T);
+
+impl<T: SerdeSerialize> Serialize for Json<T> {
+    fn serialize(&self) -> trc::Result<Vec<u8>> {
+        serde_json::to_vec(&self.0).map_err(|err| {
+            trc::StoreEvent::UnexpectedError
+                .into_err()
+                .details("Failed to serialize audit entry")
+                .reason(err)
+        })
+    }
+}
+
+impl<T: serde::de::DeserializeOwned + Sync + Send> Deserialize for Json<T> {
+    fn deserialize(bytes: &[u8]) -> trc::Result<Self> {
+        serde_json::from_slice(bytes).map(Json).map_err(|err| {
+            trc::StoreEvent::DataCorruption
+                .into_err()
+                .details("Invalid audit entry")
+                .reason(err)
+        })
+    }
+}
+
+/// Raw bytes, for entries whose hash is checked.
+struct Raw(Vec<u8>);
+
+impl Deserialize for Raw {
+    fn deserialize(bytes: &[u8]) -> trc::Result<Self> {
+        Ok(Raw(bytes.to_vec()))
+    }
+}
+
+struct U64(u64);
+
+impl Deserialize for U64 {
+    fn deserialize(bytes: &[u8]) -> trc::Result<Self> {
+        bytes
+            .try_into()
+            .map(|bytes| U64(u64::from_be_bytes(bytes)))
+            .map_err(|_| {
+                trc::StoreEvent::DataCorruption
+                    .into_err()
+                    .details("Invalid audit outcome pointer")
+            })
+    }
+}
+
+fn class(kind: u8, parts: &[u64]) -> ValueClass {
+    let mut key = Vec::with_capacity(2 + parts.len() * 8);
+    key.push(FEATURE);
+    key.push(kind);
+    for part in parts {
+        key.extend_from_slice(&part.to_be_bytes());
+    }
+    ValueClass::Any(AnyClass {
+        subspace: SUBSPACE_INBUXA,
+        key,
+    })
+}
+
+fn key(kind: u8, parts: &[u64]) -> ValueKey<ValueClass> {
+    ValueKey::from(class(kind, parts))
+}
+
+/// Where an entry is kept, for tests and tools that check tampering is
+/// caught.
+pub fn entry_key(id: EntryId) -> ValueKey<ValueClass> {
+    key(KIND_ENTRY, &[id.node, id.seq])
+}
+
+/// Where a node's chain head is kept, for the same.
+pub fn head_key(node: u64) -> ValueKey<ValueClass> {
+    key(KIND_HEAD, &[node])
+}
+
+/// The numbers after the kind byte, read from the key's tail: the iterator
+/// may or may not hand back the subspace byte.
+fn parse_key(key: &[u8], kind: u8, parts: usize) -> Option<Vec<u64>> {
+    let len = 2 + parts * 8;
+    let tail = key.get(key.len().checked_sub(len)?..)?;
+    (tail[0] == FEATURE && tail[1] == kind).then_some(())?;
+    Some(
+        tail[2..]
+            .chunks_exact(8)
+            .map(|chunk| u64::from_be_bytes(chunk.try_into().unwrap()))
+            .collect(),
+    )
+}
+
+fn hash(bytes: &[u8]) -> String {
+    Sha256::digest(bytes)
+        .iter()
+        .map(|b| format!("{b:02x}"))
+        .collect()
+}
+
+/// Lines up this process's appends, so they rarely race for a head; the
+/// store's assert settles any that still do.
+static APPENDING: Mutex<()> = Mutex::const_new(());
+
+/// What a node keeps in memory: which accesses it has recorded lately
+/// (AU-1.6).
+#[derive(Default)]
+pub struct AuditLog {
+    recent_access: std::sync::Mutex<AHashMap<(u32, u32, u8), u64>>,
+}
+
+/// A query over events (AU-9), newest first.
+#[derive(Debug, Clone, Default)]
+pub struct Filter {
+    /// From this time on, in ms.
+    pub after: Option<u64>,
+    /// Before this time, in ms.
+    pub before: Option<u64>,
+    pub actor_id: Option<u32>,
+    pub action: Option<Action>,
+    pub target_kind: Option<String>,
+    pub target_id: Option<String>,
+    pub account_id: Option<u32>,
+    /// Records whose actor or target is in this tenant.
+    pub tenant_id: Option<u32>,
+    pub outcome: Option<String>,
+    pub remote_ip: Option<IpAddr>,
+    /// Words that must all appear in the actor's or target's name, the
+    /// target kind, or the details, ignoring case.
+    pub text: Option<String>,
+}
+
+impl Filter {
+    pub fn matches(&self, record: &Record) -> bool {
+        self.after.is_none_or(|after| record.at >= after)
+            && self.before.is_none_or(|before| record.at < before)
+            && self
+                .actor_id
+                .is_none_or(|actor| record.actor.account_id == Some(actor))
+            && self.action.is_none_or(|action| record.action == action)
+            && self
+                .target_kind
+                .as_ref()
+                .is_none_or(|kind| record.target.kind.eq_ignore_ascii_case(kind))
+            && self
+                .target_id
+                .as_ref()
+                .is_none_or(|target| record.target.id.as_ref() == Some(target))
+            && self.account_id.is_none_or(|account| {
+                record.target.account_id == Some(account)
+                    || record.actor.account_id == Some(account)
+                    || (record.target.kind == "x:Account"
+                        && record.target.id.as_deref()
+                            == Some(types::id::Id::from(account).to_string().as_str()))
+            })
+            && self
+                .tenant_id
+                .is_none_or(|tenant| in_tenant(record, tenant))
+            && self
+                .outcome
+                .as_ref()
+                .is_none_or(|outcome| record.outcome.as_str() == outcome)
+            && self.remote_ip.is_none_or(|ip| record.remote_ip == Some(ip))
+            && self.text.as_ref().is_none_or(|text| {
+                let haystack = format!(
+                    "{} {} {} {} {}",
+                    record.actor.name,
+                    record.target.kind,
+                    record.target.name.as_deref().unwrap_or_default(),
+                    record.details.as_deref().unwrap_or_default(),
+                    record.reason.as_deref().unwrap_or_default()
+                )
+                .to_lowercase();
+                text.to_lowercase()
+                    .split_whitespace()
+                    .all(|word| haystack.contains(word))
+            })
+    }
+}
+
+/// Whether a tenant administrator may see a record: its actor or its
+/// target is in the tenant (AU-9).
+pub fn in_tenant(record: &Record, tenant_id: u32) -> bool {
+    record.actor.tenant_id == Some(tenant_id) || record.target.tenant_id == Some(tenant_id)
+}
+
+/// One node's chain, as `verify` found it.
+#[derive(Debug, Clone, PartialEq, SerdeSerialize)]
+#[serde(rename_all = "camelCase")]
+pub struct ChainReport {
+    pub node: u64,
+    pub entries: u64,
+    pub first_seq: u64,
+    pub last_seq: u64,
+    /// The first entry that doesn't follow from the one before it, or the
+    /// head that doesn't match the last entry.
+    #[serde(skip_serializing_if = "Option::is_none")]
+    pub broken_at: Option<String>,
+    #[serde(skip_serializing_if = "Option::is_none")]
+    pub reason: Option<String>,
+    /// Events written before their change whose outcome never followed.
+    pub unfinished: u64,
+}
+
+impl AuditLog {
+    pub fn new() -> Self {
+        Self::default()
+    }
+
+    /// Appends an event to this node's chain. An error means nothing was
+    /// written, and the caller must not go ahead with the change (AU-3).
+    pub async fn append(&self, data: &Store, node: u64, record: &Record) -> trc::Result<EntryId> {
+        self.append_entry(
+            data,
+            node,
+            Entry::Event {
+                record: record.clone(),
+            },
+        )
+        .await
+    }
+
+    /// Appends the outcome of an event written as pending.
+    pub async fn finish(
+        &self,
+        data: &Store,
+        node: u64,
+        of: EntryId,
+        at: u64,
+        outcome: Outcome,
+    ) -> trc::Result<EntryId> {
+        self.append_entry(
+            data,
+            node,
+            Entry::Outcome {
+                of: of.seq,
+                at,
+                outcome,
+            },
+        )
+        .await
+    }
+
+    async fn append_entry(&self, data: &Store, node: u64, entry: Entry) -> trc::Result<EntryId> {
+        let _appending = APPENDING.lock().await;
+        let at = entry.at();
+        let event_of = match &entry {
+            Entry::Outcome { of, .. } => Some(*of),
+            Entry::Event { .. } => None,
+        };
+        let mut stored = Stored {
+            seq: 0,
+            prev: String::new(),
+            entry,
+        };
+        let mut attempt = 0;
+        loop {
+            attempt += 1;
+            let current = head(data, node).await?;
+            let (seq, prev) = current
+                .as_ref()
+                .map_or((1, String::new()), |head| (head.seq + 1, head.hash.clone()));
+            stored.seq = seq;
+            stored.prev = prev;
+            let bytes = Json(&stored).serialize()?;
+            let new_head = Head {
+                seq,
+                hash: hash(&bytes),
+            };
+
+            let mut batch = BatchBuilder::new();
+            batch.assert_value(
+                class(KIND_HEAD, &[node]),
+                current.map_or(AssertValue::None, |head| AssertValue::U64(head.seq)),
+            );
+            batch.set(class(KIND_ENTRY, &[node, seq]), bytes);
+            match event_of {
+                None => {
+                    batch.set(class(KIND_TIME, &[at, node, seq]), vec![]);
+                }
+                Some(of) => {
+                    batch.set(class(KIND_OUTCOME, &[node, of]), seq.to_be_bytes().to_vec());
+                }
+            }
+            batch.set(class(KIND_HEAD, &[node]), new_head.to_bytes());
+            match data.write(batch.build_all()).await {
+                Ok(_) => return Ok(EntryId { node, seq }),
+                Err(err)
+                    if attempt < APPEND_ATTEMPTS
+                        && matches!(
+                            err.as_ref(),
+                            trc::EventType::Store(trc::StoreEvent::AssertValueFailed)
+                        ) =>
+                {
+                    continue;
+                }
+                Err(err) => return Err(err.caused_by(trc::location!())),
+            }
+        }
+    }
+
+    /// Whether an access of `target` by `actor` (kind 0: account, 1: blob)
+    /// is the first this hour on this node, and so should be recorded
+    /// (AU-1.6). Marks it recorded.
+    pub fn first_access_this_hour(&self, actor: u32, target: u32, kind: u8, now_secs: u64) -> bool {
+        let hour = now_secs / 3600;
+        let mut recent = self.recent_access.lock().unwrap_or_else(|e| e.into_inner());
+        if recent.len() > 10_000 {
+            recent.retain(|_, seen| *seen == hour);
+        }
+        recent.insert((actor, target, kind), hour) != Some(hour)
+    }
+
+    /// Forgets which accesses were recorded, so the next is recorded again
+    /// (after a write failed).
+    pub fn forget_access(&self, actor: u32, target: u32, kind: u8) {
+        self.recent_access
+            .lock()
+            .unwrap_or_else(|e| e.into_inner())
+            .remove(&(actor, target, kind));
+    }
+}
+
+/// One event with its outcome, when that was written separately.
+pub async fn get(data: &Store, id: EntryId) -> trc::Result<Option<Record>> {
+    let Some(Json(stored)) = data
+        .get_value::<Json<Stored>>(key(KIND_ENTRY, &[id.node, id.seq]))
+        .await
+        .caused_by(trc::location!())?
+    else {
+        return Ok(None);
+    };
+    let Entry::Event { mut record } = stored.entry else {
+        return Ok(None);
+    };
+    if record.outcome == Outcome::Pending
+        && let Some(U64(outcome_seq)) = data
+            .get_value::<U64>(key(KIND_OUTCOME, &[id.node, id.seq]))
+            .await
+            .caused_by(trc::location!())?
+        && let Some(Json(Stored {
+            entry: Entry::Outcome { outcome, .. },
+            ..
+        })) = data
+            .get_value::<Json<Stored>>(key(KIND_ENTRY, &[id.node, outcome_seq]))
+            .await
+            .caused_by(trc::location!())?
+    {
+        record.outcome = outcome;
+    }
+    Ok(Some(record))
+}
+
+/// One event with its outcome, and the hash of its entry and the hash that
+/// entry follows: what an export carries so a recipient can match it
+/// against a later verification (AU-11).
+pub async fn get_with_hash(
+    data: &Store,
+    id: EntryId,
+) -> trc::Result<Option<(Record, String, String)>> {
+    let Some(Raw(bytes)) = data
+        .get_value::<Raw>(key(KIND_ENTRY, &[id.node, id.seq]))
+        .await
+        .caused_by(trc::location!())?
+    else {
+        return Ok(None);
+    };
+    let Json(stored) = Json::<Stored>::deserialize(&bytes)?;
+    if !matches!(stored.entry, Entry::Event { .. }) {
+        return Ok(None);
+    }
+    let entry_hash = hash(&bytes);
+    Ok(get(data, id)
+        .await?
+        .map(|record| (record, entry_hash, stored.prev)))
+}
+
+/// Every event matching `filter`, newest first, up to `max`: for exports.
+pub async fn query_all(data: &Store, filter: &Filter, max: usize) -> trc::Result<Vec<EntryId>> {
+    query_inner(data, filter, 0, max, false)
+        .await
+        .map(|(ids, _)| ids)
+}
+
+/// Events matching `filter`, newest first: the ids from `position`, at most
+/// `limit` of them, and how many match in all when `count_all` is set.
+pub async fn query(
+    data: &Store,
+    filter: &Filter,
+    position: usize,
+    limit: usize,
+    count_all: bool,
+) -> trc::Result<(Vec<EntryId>, usize)> {
+    query_inner(
+        data,
+        filter,
+        position,
+        limit.min(MAX_QUERY_LIMIT),
+        count_all,
+    )
+    .await
+}
+
+async fn query_inner(
+    data: &Store,
+    filter: &Filter,
+    position: usize,
+    limit: usize,
+    count_all: bool,
+) -> trc::Result<(Vec<EntryId>, usize)> {
+    let from = filter.after.unwrap_or(0);
+    let to = filter
+        .before
+        .map_or(u64::MAX, |before| before.saturating_sub(1));
+    if from > to {
+        return Ok((Vec::new(), 0));
+    }
+
+    // Walk the time index newest first, collecting candidates
+    let mut candidates = Vec::new();
+    data.iterate(
+        IterateParams::new(
+            key(KIND_TIME, &[from, 0, 0]),
+            key(KIND_TIME, &[to, u64::MAX, u64::MAX]),
+        )
+        .descending()
+        .no_values(),
+        |key, _| {
+            if let Some(parts) = parse_key(key, KIND_TIME, 3) {
+                candidates.push(EntryId {
+                    node: parts[1],
+                    seq: parts[2],
+                });
+            }
+            Ok(true)
+        },
+    )
+    .await
+    .caused_by(trc::location!())?;
+
+    let mut ids = Vec::with_capacity(limit);
+    let mut matched = 0;
+    for id in candidates {
+        if !count_all && ids.len() >= limit {
+            break;
+        }
+        let Some(record) = get(data, id).await? else {
+            continue;
+        };
+        if filter.matches(&record) {
+            if matched >= position && ids.len() < limit {
+                ids.push(id);
+            }
+            matched += 1;
+        }
+    }
+    Ok((ids, matched))
+}
+
+pub async fn settings(data: &Store) -> trc::Result<Settings> {
+    Ok(data
+        .get_value::<Json<Settings>>(key(KIND_SETTINGS, &[]))
+        .await
+        .caused_by(trc::location!())?
+        .map(|Json(settings)| settings)
+        .unwrap_or_default())
+}
+
+pub async fn set_settings(data: &Store, settings: &Settings) -> trc::Result<()> {
+    let mut batch = BatchBuilder::new();
+    batch.set(class(KIND_SETTINGS, &[]), Json(settings).serialize()?);
+    data.write(batch.build_all())
+        .await
+        .caused_by(trc::location!())
+        .map(|_| ())
+}
+
+/// The nodes that have a chain.
+async fn nodes(data: &Store) -> trc::Result<Vec<u64>> {
+    let mut nodes = Vec::new();
+    data.iterate(
+        IterateParams::new(key(KIND_HEAD, &[0]), key(KIND_HEAD, &[u64::MAX])).no_values(),
+        |key, _| {
+            if let Some(parts) = parse_key(key, KIND_HEAD, 1) {
+                nodes.push(parts[0]);
+            }
+            Ok(true)
+        },
+    )
+    .await
+    .caused_by(trc::location!())?;
+    Ok(nodes)
+}
+
+async fn floor(data: &Store, node: u64) -> trc::Result<Floor> {
+    Ok(data
+        .get_value::<Json<Floor>>(key(KIND_FLOOR, &[node]))
+        .await
+        .caused_by(trc::location!())?
+        .map(|Json(floor)| floor)
+        .unwrap_or(Floor {
+            seq: 1,
+            prev: String::new(),
+        }))
+}
+
+/// Removes, from the start of every node's chain, the entries older than
+/// `cutoff` (ms), stopping at the first one that is newer or that `keep`
+/// holds on to (AU-7, LH-6). The chain stays verifiable: its new start and
+/// the hash that start names are recorded. Returns how many were removed.
+pub async fn purge(
+    data: &Store,
+    cutoff: u64,
+    keep: impl Fn(&Record) -> bool + Sync + Send,
+) -> trc::Result<usize> {
+    let mut removed = 0;
+    for node in nodes(data).await? {
+        let start = floor(data, node).await?;
+        let mut doomed: Vec<(u64, Stored)> = Vec::new();
+        let mut new_floor = None;
+        data.iterate(
+            IterateParams::new(
+                key(KIND_ENTRY, &[node, start.seq]),
+                key(KIND_ENTRY, &[node, u64::MAX]),
+            )
+            .ascending(),
+            |key, value| {
+                let Some(parts) = parse_key(key, KIND_ENTRY, 2) else {
+                    return Ok(true);
+                };
+                let Json(stored) = Json::<Stored>::deserialize(value)?;
+                let held = matches!(&stored.entry, Entry::Event { record } if keep(record));
+                if stored.entry.at() >= cutoff || held || doomed.len() >= 100_000 {
+                    new_floor = Some(Floor {
+                        seq: parts[1],
+                        prev: stored.prev,
+                    });
+                    return Ok(false);
+                }
+                doomed.push((parts[1], stored));
+                Ok(true)
+            },
+        )
+        .await
+        .caused_by(trc::location!())?;
+
+        if doomed.is_empty() {
+            continue;
+        }
+        // With nothing newer, the chain continues from its head
+        let new_floor = match new_floor {
+            Some(floor) => floor,
+            None => {
+                let head = head(data, node).await?.unwrap_or_default();
+                Floor {
+                    seq: head.seq + 1,
+                    prev: head.hash,
+                }
+            }
+        };
+
+        // The floor moves first: a purge cut short leaves entries before it,
+        // which the next run clears, never a chain that looks broken
+        let mut batch = BatchBuilder::new();
+        batch.set(class(KIND_FLOOR, &[node]), Json(&new_floor).serialize()?);
+        data.write(batch.build_all())
+            .await
+            .caused_by(trc::location!())?;
+
+        for chunk in doomed.chunks(PURGE_BATCH / 3) {
+            let mut batch = BatchBuilder::new();
+            for (seq, stored) in chunk {
+                batch.clear(class(KIND_ENTRY, &[node, *seq]));
+                match &stored.entry {
+                    Entry::Event { record } => {
+                        batch
+                            .clear(class(KIND_TIME, &[record.at, node, *seq]))
+                            .clear(class(KIND_OUTCOME, &[node, *seq]));
+                    }
+                    Entry::Outcome { .. } => {}
+                }
+            }
+            data.write(batch.build_all())
+                .await
+                .caused_by(trc::location!())?;
+            removed += chunk.len();
+        }
+    }
+    Ok(removed)
+}
+
+/// Rechecks every node's chain (AU-6): each entry must name the hash of the
+/// one before it, seqs must run without gaps from the chain's start, and the
+/// head must match the last entry.
+pub async fn verify(data: &Store) -> trc::Result<Vec<ChainReport>> {
+    let mut reports = Vec::new();
+    for node in nodes(data).await? {
+        let start = floor(data, node).await?;
+        let head = head(data, node).await?.unwrap_or_default();
+        let mut report = ChainReport {
+            node,
+            entries: 0,
+            first_seq: start.seq,
+            last_seq: start.seq.saturating_sub(1),
+            broken_at: None,
+            reason: None,
+            unfinished: 0,
+        };
+        let mut expected_seq = start.seq;
+        let mut expected_prev = start.prev.clone();
+        let mut pending: ahash::AHashSet<u64> = Default::default();
+
+        data.iterate(
+            IterateParams::new(
+                key(KIND_ENTRY, &[node, start.seq]),
+                key(KIND_ENTRY, &[node, u64::MAX]),
+            )
+            .ascending(),
+            |key, value| {
+                let Some(parts) = parse_key(key, KIND_ENTRY, 2) else {
+                    return Ok(true);
+                };
+                let seq = parts[1];
+                let broken = |report: &mut ChainReport, reason: String| {
+                    report.broken_at = Some(EntryId { node, seq }.to_string());
+                    report.reason = Some(reason);
+                };
+                let Raw(bytes) = Raw::deserialize(value)?;
+                let Ok(Json(stored)) = Json::<Stored>::deserialize(&bytes) else {
+                    broken(&mut report, "The entry can't be read.".into());
+                    return Ok(false);
+                };
+                if seq != expected_seq || stored.seq != seq {
+                    broken(
+                        &mut report,
+                        format!("Entry {expected_seq} is missing; the next one found is {seq}."),
+                    );
+                    return Ok(false);
+                }
+                if stored.prev != expected_prev {
+                    broken(
+                        &mut report,
+                        "The entry doesn't follow from the one before it: one of them was changed."
+                            .into(),
+                    );
+                    return Ok(false);
+                }
+                match &stored.entry {
+                    Entry::Event { record } if record.outcome == Outcome::Pending => {
+                        pending.insert(seq);
+                    }
+                    Entry::Outcome { of, .. } => {
+                        pending.remove(of);
+                    }
+                    Entry::Event { .. } => {}
+                }
+                expected_prev = hash(&bytes);
+                expected_seq = seq + 1;
+                report.entries += 1;
+                report.last_seq = seq;
+                Ok(true)
+            },
+        )
+        .await
+        .caused_by(trc::location!())?;
+
+        if report.broken_at.is_none() {
+            if head.seq != report.last_seq || (report.entries > 0 && head.hash != expected_prev) {
+                report.broken_at = Some(
+                    EntryId {
+                        node,
+                        seq: report.last_seq,
+                    }
+                    .to_string(),
+                );
+                report.reason = Some(
+                    "The chain's recorded end doesn't match its last entry: entries were \
+                     removed or changed at the end."
+                        .into(),
+                );
+            }
+        }
+        report.unfinished = pending.len() as u64;
+        reports.push(report);
+    }
+    Ok(reports)
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    #[test]
+    fn keys_read_back() {
+        let ValueClass::Any(any) = class(KIND_TIME, &[5, 3, 9]) else {
+            panic!()
+        };
+        assert_eq!(parse_key(&any.key, KIND_TIME, 3), Some(vec![5, 3, 9]));
+        let mut with_subspace = vec![SUBSPACE_INBUXA];
+        with_subspace.extend_from_slice(&any.key);
+        assert_eq!(parse_key(&with_subspace, KIND_TIME, 3), Some(vec![5, 3, 9]));
+        assert_eq!(parse_key(&any.key, KIND_ENTRY, 3), None);
+    }
+
+    #[test]
+    fn ids_read_back() {
+        let id = EntryId { node: 2, seq: 1042 };
+        assert_eq!(id.to_string(), "2-1042");
+        assert_eq!("2-1042".parse::<EntryId>(), Ok(id));
+        assert!("2".parse::<EntryId>().is_err());
+        assert!("a-1".parse::<EntryId>().is_err());
+        assert_eq!(EntryId::from_u64(id.to_u64()), id);
+        let big = EntryId {
+            node: 65535,
+            seq: (1 << 48) - 1,
+        };
+        assert_eq!(EntryId::from_u64(big.to_u64()), big);
+    }
+
+    #[test]
+    fn filters() {
+        use crate::audit::record::{Actor, Target};
+        let record = Record {
+            at: 1000,
+            actor: Actor::account(7, "[email protected]", Some(4)),
+            via: None,
+            remote_ip: None,
+            action: Action::Update,
+            target: Target {
+                kind: "x:Domain".into(),
+                id: Some("d".into()),
+                name: Some("example.org".into()),
+                tenant_id: Some(9),
+                ..Default::default()
+            },
+            changes: vec![],
+            details: None,
+            reason: None,
+            outcome: Outcome::success(),
+        };
+        let yes = |filter: Filter| assert!(filter.matches(&record), "{filter:?}");
+        let no = |filter: Filter| assert!(!filter.matches(&record), "{filter:?}");
+        yes(Filter::default());
+        yes(Filter {
+            after: Some(1000),
+            before: Some(1001),
+            ..Default::default()
+        });
+        no(Filter {
+            before: Some(1000),
+            ..Default::default()
+        });
+        yes(Filter {
+            tenant_id: Some(4),
+            ..Default::default()
+        });
+        yes(Filter {
+            tenant_id: Some(9),
+            ..Default::default()
+        });
+        no(Filter {
+            tenant_id: Some(5),
+            ..Default::default()
+        });
+        yes(Filter {
+            text: Some("admin EXAMPLE.ORG".into()),
+            ..Default::default()
+        });
+        no(Filter {
+            text: Some("admin other".into()),
+            ..Default::default()
+        });
+        yes(Filter {
+            outcome: Some("success".into()),
+            action: Some(Action::Update),
+            target_kind: Some("x:domain".into()),
+            ..Default::default()
+        });
+        no(Filter {
+            actor_id: Some(8),
+            ..Default::default()
+        });
+    }
+
+    #[test]
+    fn heads_read_back() {
+        let head = Head {
+            seq: 77,
+            hash: hash(b"x"),
+        };
+        let bytes = head.to_bytes();
+        assert!(AssertValue::U64(77).matches(&bytes));
+        assert!(!AssertValue::U64(76).matches(&bytes));
+        assert_eq!(Head::deserialize(&bytes).unwrap(), head);
+        assert!(Head::deserialize(b"short").is_err());
+    }
+
+    #[test]
+    fn hashes_are_sha256_hex() {
+        assert_eq!(
+            hash(b""),
+            "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
+        );
+    }
+}

crates/features/src/audit/mod.rs

@@ -0,0 +1,23 @@
+/*
+ * SPDX-FileCopyrightText: 2026 Coffey Labs
+ *
+ * SPDX-License-Identifier: AGPL-3.0-only
+ */
+
+//! The audit log (audit-hold-lock spec, AU-1 to AU-11): a permanent record
+//! of what administrators and the server itself did to the control plane,
+//! kept in the fork's own subspace as one hash chain per node.
+//!
+//! - `record`: what one entry says.
+//! - `log`: appending to the chain, reading, querying, purging, verifying.
+//! - `scope`: who is acting, carried with the task, so a registry write the
+//!   server makes on its own is told apart from one a request made.
+//! - `diff`: what changed in a registry object, with secrets redacted.
+
+pub mod diff;
+pub mod log;
+pub mod record;
+pub mod scope;
+
+pub use log::{AuditLog, EntryId};
+pub use record::{Action, Actor, Change, Outcome, Record, Target, Via};

crates/features/src/audit/record.rs

@@ -0,0 +1,349 @@
+/*
+ * SPDX-FileCopyrightText: 2026 Coffey Labs
+ *
+ * SPDX-License-Identifier: AGPL-3.0-only
+ */
+
+//! What an audit entry holds (AU-4). Stored as JSON, so entries written by
+//! one version of the fork read back in the next.
+
+use serde::{Deserialize, Serialize};
+use serde_json::Value;
+use std::net::IpAddr;
+
+/// Longest value kept for one side of a change; longer ones are cut, with
+/// their original length noted.
+pub const MAX_VALUE_LEN: usize = 2048;
+
+/// One thing that happened.
+#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
+#[serde(rename_all = "camelCase")]
+pub struct Record {
+    /// Milliseconds since the epoch.
+    pub at: u64,
+    pub actor: Actor,
+    #[serde(default, skip_serializing_if = "Option::is_none")]
+    pub via: Option<Via>,
+    #[serde(default, skip_serializing_if = "Option::is_none")]
+    pub remote_ip: Option<IpAddr>,
+    pub action: Action,
+    pub target: Target,
+    #[serde(default, skip_serializing_if = "Vec::is_empty")]
+    pub changes: Vec<Change>,
+    #[serde(default, skip_serializing_if = "Option::is_none")]
+    pub details: Option<String>,
+    /// Why, as the actor gave it: required for holds, locks and exports,
+    /// optional for everything else.
+    #[serde(default, skip_serializing_if = "Option::is_none")]
+    pub reason: Option<String>,
+    pub outcome: Outcome,
+}
+
+/// Who acted: an account, named as it was then, or the server itself.
+#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
+#[serde(rename_all = "camelCase")]
+pub struct Actor {
+    #[serde(default, skip_serializing_if = "Option::is_none")]
+    pub account_id: Option<u32>,
+    /// The account's name, or `system:<subsystem>`.
+    pub name: String,
+    #[serde(default, skip_serializing_if = "Option::is_none")]
+    pub tenant_id: Option<u32>,
+}
+
+impl Actor {
+    pub fn account(account_id: u32, name: impl Into<String>, tenant_id: Option<u32>) -> Self {
+        Actor {
+            account_id: Some(account_id),
+            name: name.into(),
+            tenant_id,
+        }
+    }
+
+    pub fn system(subsystem: &str) -> Self {
+        Actor {
+            account_id: None,
+            name: format!("system:{subsystem}"),
+            tenant_id: None,
+        }
+    }
+
+    pub fn is_system(&self) -> bool {
+        self.account_id.is_none()
+    }
+}
+
+/// How the actor signed in (AU-5).
+#[derive(Debug, Clone, PartialEq, Eq, Hash, Serialize, Deserialize)]
+#[serde(tag = "kind", rename_all = "camelCase")]
+pub enum Via {
+    Password,
+    AppPassword {
+        id: u32,
+    },
+    ApiKey {
+        id: u32,
+    },
+    #[serde(rename = "oauth")]
+    OAuth {
+        client: String,
+    },
+    /// A token from an external directory (OIDC).
+    Directory,
+    /// Signed in as someone else with a master user's password.
+    #[serde(rename_all = "camelCase")]
+    Master {
+        #[serde(default, skip_serializing_if = "Option::is_none")]
+        account_id: Option<u32>,
+        name: String,
+    },
+    /// The recovery administrator from the server's own configuration.
+    Recovery,
+}
+
+/// What kind of thing happened.
+#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, Serialize, Deserialize)]
+#[serde(rename_all = "camelCase")]
+pub enum Action {
+    Create,
+    Update,
+    Destroy,
+    SignIn,
+    SignInFailed,
+    /// JMAP access to another account through `Impersonate`.
+    AccountAccess,
+    /// A blob of another account read through `FetchAnyBlob`.
+    BlobAccess,
+    Export,
+    Verify,
+}
+
+impl Action {
+    pub fn as_str(&self) -> &'static str {
+        match self {
+            Action::Create => "create",
+            Action::Update => "update",
+            Action::Destroy => "destroy",
+            Action::SignIn => "signIn",
+            Action::SignInFailed => "signInFailed",
+            Action::AccountAccess => "accountAccess",
+            Action::BlobAccess => "blobAccess",
+            Action::Export => "export",
+            Action::Verify => "verify",
+        }
+    }
+
+    pub fn parse(value: &str) -> Option<Self> {
+        Some(match value {
+            "create" => Action::Create,
+            "update" => Action::Update,
+            "destroy" => Action::Destroy,
+            "signIn" => Action::SignIn,
+            "signInFailed" => Action::SignInFailed,
+            "accountAccess" => Action::AccountAccess,
+            "blobAccess" => Action::BlobAccess,
+            "export" => Action::Export,
+            "verify" => Action::Verify,
+            _ => return None,
+        })
+    }
+}
+
+/// What it happened to.
+#[derive(Debug, Clone, PartialEq, Eq, Default, Serialize, Deserialize)]
+#[serde(rename_all = "camelCase")]
+pub struct Target {
+    /// An object type (`x:Domain`, `inbuxa:ProtocolPolicy`), or `account`
+    /// for sign-ins and access.
+    pub kind: String,
+    #[serde(default, skip_serializing_if = "Option::is_none")]
+    pub id: Option<String>,
+    #[serde(default, skip_serializing_if = "Option::is_none")]
+    pub name: Option<String>,
+    /// The account the object belongs to, when it belongs to one.
+    #[serde(default, skip_serializing_if = "Option::is_none")]
+    pub account_id: Option<u32>,
+    #[serde(default, skip_serializing_if = "Option::is_none")]
+    pub tenant_id: Option<u32>,
+}
+
+/// One property's change. A secret is never stored: `redacted` says it
+/// changed, and both sides are left out (AU-4).
+#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
+#[serde(rename_all = "camelCase")]
+pub struct Change {
+    pub field: String,
+    #[serde(default, skip_serializing_if = "Option::is_none")]
+    pub before: Option<Value>,
+    #[serde(default, skip_serializing_if = "Option::is_none")]
+    pub after: Option<Value>,
+    #[serde(default, skip_serializing_if = "std::ops::Not::not")]
+    pub redacted: bool,
+}
+
+impl Change {
+    pub fn new(field: impl Into<String>, before: Option<Value>, after: Option<Value>) -> Self {
+        Change {
+            field: field.into(),
+            before: before.map(shorten),
+            after: after.map(shorten),
+            redacted: false,
+        }
+    }
+
+    pub fn redacted(field: impl Into<String>) -> Self {
+        Change {
+            field: field.into(),
+            before: None,
+            after: None,
+            redacted: true,
+        }
+    }
+}
+
+/// How it ended.
+#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
+#[serde(
+    tag = "status",
+    rename_all = "camelCase",
+    rename_all_fields = "camelCase"
+)]
+pub enum Outcome {
+    Success {
+        /// The id a create was given.
+        #[serde(default, skip_serializing_if = "Option::is_none")]
+        created_id: Option<String>,
+    },
+    Refused {
+        /// The JMAP error type (`forbidden`, `invalidProperties`, …).
+        error: String,
+        #[serde(default, skip_serializing_if = "Option::is_none")]
+        description: Option<String>,
+    },
+    /// Written before the change was tried; its outcome follows in a later
+    /// entry, or never if the server stopped in between (AU-3).
+    Pending,
+}
+
+impl Outcome {
+    pub fn success() -> Self {
+        Outcome::Success { created_id: None }
+    }
+
+    pub fn refused(error: impl Into<String>, description: Option<String>) -> Self {
+        Outcome::Refused {
+            error: error.into(),
+            description: description.map(|d| shorten_str(d, 500)),
+        }
+    }
+
+    pub fn as_str(&self) -> &'static str {
+        match self {
+            Outcome::Success { .. } => "success",
+            Outcome::Refused { .. } => "refused",
+            Outcome::Pending => "pending",
+        }
+    }
+}
+
+/// Cuts a long value, keeping it valid JSON.
+pub fn shorten(value: Value) -> Value {
+    match value {
+        Value::String(s) if s.len() > MAX_VALUE_LEN => Value::String(shorten_str(s, MAX_VALUE_LEN)),
+        Value::String(_) | Value::Null | Value::Bool(_) | Value::Number(_) => value,
+        other => {
+            let text = other.to_string();
+            if text.len() > MAX_VALUE_LEN {
+                Value::String(shorten_str(text, MAX_VALUE_LEN))
+            } else {
+                other
+            }
+        }
+    }
+}
+
+fn shorten_str(s: String, max: usize) -> String {
+    if s.len() <= max {
+        return s;
+    }
+    let mut end = max;
+    while !s.is_char_boundary(end) {
+        end -= 1;
+    }
+    format!("{}… ({} bytes in all)", &s[..end], s.len())
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    #[test]
+    fn reads_back_as_written() {
+        let record = Record {
+            at: 1_800_000_000_000,
+            actor: Actor::account(3, "[email protected]", None),
+            via: Some(Via::OAuth {
+                client: "inbuxa-admin".into(),
+            }),
+            remote_ip: Some("192.0.2.1".parse().unwrap()),
+            action: Action::Update,
+            target: Target {
+                kind: "x:Domain".into(),
+                id: Some("b".into()),
+                name: Some("example.com".into()),
+                ..Default::default()
+            },
+            changes: vec![
+                Change::new("isEnabled", Some(true.into()), Some(false.into())),
+                Change::redacted("secret"),
+            ],
+            details: None,
+            reason: Some("Ticket 42".into()),
+            outcome: Outcome::Pending,
+        };
+        let json = serde_json::to_string(&record).unwrap();
+        assert!(json.contains("\"kind\":\"oauth\""));
+        let created = serde_json::to_string(&Outcome::Success {
+            created_id: Some("c".into()),
+        })
+        .unwrap();
+        assert_eq!(created, r#"{"status":"success","createdId":"c"}"#);
+        assert!(json.contains("\"redacted\":true"));
+        assert!(!json.contains("\"details\""));
+        assert_eq!(serde_json::from_str::<Record>(&json).unwrap(), record);
+    }
+
+    #[test]
+    fn long_values_are_cut() {
+        let long = "é".repeat(MAX_VALUE_LEN);
+        let Value::String(cut) = shorten(Value::String(long.clone())) else {
+            panic!()
+        };
+        assert!(cut.len() < long.len());
+        assert!(cut.ends_with(&format!("({} bytes in all)", long.len())));
+        let array = Value::Array((0..2000).map(Value::from).collect());
+        assert!(shorten(array).is_string());
+        assert_eq!(shorten(Value::from(5)), Value::from(5));
+    }
+
+    #[test]
+    fn actions_round_trip() {
+        for action in [
+            Action::Create,
+            Action::Update,
+            Action::Destroy,
+            Action::SignIn,
+            Action::SignInFailed,
+            Action::AccountAccess,
+            Action::BlobAccess,
+            Action::Export,
+            Action::Verify,
+        ] {
+            assert_eq!(Action::parse(action.as_str()), Some(action));
+            assert_eq!(
+                serde_json::to_value(action).unwrap(),
+                Value::String(action.as_str().into())
+            );
+        }
+    }
+}

crates/features/src/audit/scope.rs

@@ -0,0 +1,70 @@
+/*
+ * SPDX-FileCopyrightText: 2026 Coffey Labs
+ *
+ * SPDX-License-Identifier: AGPL-3.0-only
+ */
+
+//! Who a registry write is for, carried with the task that makes it.
+//!
+//! A JMAP request records its own changes, with the actor and what was
+//! asked (AU-1.1), so the registry's write hook stays quiet inside one. A
+//! write outside any request is the server acting on its own (AU-1.10) and
+//! is recorded by the hook, under the subsystem named here or as
+//! `system:server` when none is.
+
+use std::future::Future;
+
+#[derive(Debug, Clone, Copy, PartialEq, Eq)]
+pub enum Scope {
+    /// A request that records its own changes.
+    Request,
+    /// The server acting on its own, in the named subsystem.
+    System(&'static str),
+    /// Writes counted, not recorded one by one: a bulk update records one
+    /// summary itself (spam rules from an update, for one).
+    Quiet,
+}
+
+tokio::task_local! {
+    static SCOPE: Scope;
+}
+
+/// Runs `f` as a request that records its own changes.
+pub async fn request<F: Future>(f: F) -> F::Output {
+    SCOPE.scope(Scope::Request, f).await
+}
+
+/// Runs `f` as the server's own `subsystem`.
+pub async fn system<F: Future>(subsystem: &'static str, f: F) -> F::Output {
+    SCOPE.scope(Scope::System(subsystem), f).await
+}
+
+/// Runs `f` without recording its registry writes one by one.
+pub async fn quiet<F: Future>(f: F) -> F::Output {
+    SCOPE.scope(Scope::Quiet, f).await
+}
+
+/// The scope the current task runs in, if any.
+pub fn current() -> Option<Scope> {
+    SCOPE.try_with(|scope| *scope).ok()
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    #[tokio::test]
+    async fn nested_scopes() {
+        assert_eq!(current(), None);
+        system("acme", async {
+            assert_eq!(current(), Some(Scope::System("acme")));
+            request(async {
+                assert_eq!(current(), Some(Scope::Request));
+            })
+            .await;
+            assert_eq!(current(), Some(Scope::System("acme")));
+        })
+        .await;
+        assert_eq!(current(), None);
+    }
+}

crates/features/src/lib.rs

@@ -19,6 +19,7 @@
 //! `common::Server`.
 
 pub mod ai;
+pub mod audit;
 pub mod branding;
 pub mod masked_email;
 pub mod security;