ferrumdeck-policy 0.7.4

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

//! 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 bench_audit;
pub mod budget;
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 use bench_audit::{BenchAuditPolicy, BenchGatedClaim, BenchTrustSummary, BENCH_AUDIT_ANCHOR};
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,
};

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