ferrumdeck-policy 0.7.16

FerrumDeck enforcement engine: deny-by-default tool allowlists, Airlock RASP, the R1-R3 reversibility ladder, budgets, and an EU AI Act Art.50 transparency rule
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78

//! FerrumDeck Policy Engine
//!
//! Enforces governance rules for agent runs:
//! - Tool allowlists (deny-by-default)
//! - Budget limits (tokens, tool calls, wall time)
//! - Approval gates for sensitive actions
//! - **Airlock**: Runtime security inspection (Agent RASP)

pub mod airlock;
pub mod ap2;
pub mod bench_audit;
pub mod budget;
pub mod colorado_sb26_189;
pub mod decision;
pub mod engine;
pub mod forecast;
pub mod harness;
pub mod lease;
pub mod precedence;
pub mod promotion;
pub mod reversibility;
pub mod routing;
pub mod rules;
pub mod trace;
pub mod transparency_art50;
pub mod x402;

pub use ap2::{
    evaluate_ap2_payment, Ap2CartMandate, Ap2CostEvent, Ap2DenyKind, Ap2GateOutcome,
    Ap2IntentMandate, Ap2Keyring, Ap2Money, Ap2Scope, AP2_ANCHOR,
};
pub use bench_audit::{BenchAuditPolicy, BenchGatedClaim, BenchTrustSummary, BENCH_AUDIT_ANCHOR};
pub use colorado_sb26_189::{
    check as check_colorado_admt, enforce as enforce_colorado_admt,
    response_level as colorado_admt_response_level, AdmtDecisionContext, AutomationRole,
    ColoradoAdmtConfig, ColoradoAdmtRecord, ColoradoAdmtStatus, ConsequentialDomain,
    COLORADO_SB26_189_ANCHOR, RETENTION_FLOOR_YEARS,
};
pub use decision::{PolicyDecision, PolicyDecisionKind};
pub use engine::PolicyEngine;
pub use harness::{
    fold_status, HarnessSuggestion, SuggestionEvidence, SuggestionKind, SuggestionStatus,
    HARNESS_ANCHOR,
};
pub use lease::{BudgetLease, LeaseError, SharedBudget, LEASE_ANCHOR};
pub use precedence::{
    precedence_rank, resolve_conflicts, OverrideRecord, PolicyVerdict, ResolvedDecision,
    VerdictKind, PRECEDENCE_LABEL,
};
pub use promotion::{
    MetricEvidence, MetricThreshold, PromotionDecision, PromotionGate, PromotionGateConfig,
    PromotionStatus, PROMOTION_ANCHOR,
};
pub use reversibility::{
    combine as combine_response, graduated_response, ResponseLevel, Reversibility,
    RESPONSE_LADDER_ANCHOR,
};
pub use routing::{
    RoutingCandidate, RoutingChoice, RoutingDecision, RoutingReason, RoutingReasonCode,
    ROUTING_ANCHOR,
};
pub use rules::{ToolAllowlist, ToolAllowlistResult, ToolRiskLevel};
pub use trace::DecisionTrace;
pub use transparency_art50::{
    check as check_art50, enforce as enforce_art50, response_level as art50_response_level,
    Art50Config, Art50Status, EU_AI_ACT_ART50_ANCHOR,
};
pub use x402::{
    evaluate_x402_payment, X402Challenge, X402CostEvent, X402GateOutcome, X402_ANCHOR,
    X402_PAYMENT_REQUIRED_STATUS,
};

// Re-export Airlock types for convenience
pub use airlock::{
    AirlockConfig, AirlockInspector, AirlockMode, AirlockResult, AirlockViolation,
    BlockingCategory, CoherenceConfig, CoherenceMonitor, CoherenceSpan, InspectionContext,
    RiskLevel, TrajectoryEvent, ViolationType, COHERENCE_ANCHOR,
};