Expand description
Waivers + the decision log (spec §15 Phase 5; integration doc §7).
pushkin/waivers.toml is an append-only human-plane record: signed,
scoped, expiring. The gate consults it to suppress matching denials;
doctor lints it for stale entries (expired, superseded) and surfaces
contradiction links. Agents cannot write it — pushkin/ is built-in
gate surface (pipeline).
Structs§
- Grant
Request - What a grant needs from the human plane;
Waiver::grantadds identity and timestamps. - Waiver
- One signed waiver record. Externally deserialized — unknown fields are rejected loudly (AGENTS.md serde rule).
- Waiver
Set - The loaded waiver set: gate-side matching + doctor-side lint.
Enums§
Functions§
- parse_
ttl - Parses
<number><s|m|h|d>into a duration.