Expand description
Compile, validate, sign, and load deterministic Treetop policy bundles.
Structs§
- Archive
Limits - Default and configured archive limits.
- Bundle
Archive - An in-memory gzip-compressed Treetop bundle archive.
- Bundle
Builder - Compiler entry point for an organization bundle manifest.
- Bundle
Manifest - A validated organization-level source manifest.
- Bundle
Signature - Detached signature metadata stored in
signature.json. - Diagnostic
- A stable, serializable compiler diagnostic.
- Label
Pattern - A validated regular-expression label mapping.
- Label
Rule - A validated label rule.
- Label
Set - A validated set of label rules.
- Module
Manifest - A validated project-level source manifest.
- Module
Selection - A module selected by a bundle manifest.
- Policy
Check - Result of checking a standalone Cedar policy document.
- Signing
Key - An Ed25519 private signing key loaded from PKCS#8 PEM.
- Trust
Store - Trusted public keys indexed by their content-derived key IDs.
- Trusted
Key - A trusted Ed25519 public key loaded from SPKI PEM.
- Validated
Bundle - A decoded bundle whose signatures, hashes, Cedar, schema, and labels are valid.
- Verified
Signature - Signature verification details for a validated bundle.
Enums§
- Bundle
Error - Errors produced while compiling or decoding a bundle.
- Diagnostic
Severity - Severity of a bundle diagnostic.
- Module
Role - Module policy scope selected by the organization bundle manifest.
- Prepared
Engine - A prepared engine retaining the bundle’s schema validation capability.
- Prepared
Evaluation Session - One frozen authorization generation, retaining its schema mode.
- Signature
Policy - Signature requirements applied while opening an archive.
Constants§
- CEDAR_
VERSION - The exact Cedar version used to compile bundles.
- FORMAT_
VERSION - The archive format emitted and accepted by this crate.
- TREETOP_
CORE_ VERSION - The exact Treetop core version used to prepare policy engines.
Functions§
- check_
module - Check one module in isolation. Declared imports are accepted but need not be present.
- check_
policy - Check policy syntax and optionally validate it against a complete schema and labels.