Struct ContractEngine 

pub struct ContractEngine {
    pub file: ContractFile,
}

Core engine for contract operations.

Fields

file: ContractFile

In-memory contract file.

Implementations

impl ContractEngine

pub fn new() -> Self

Create a new engine with an empty contract file.

pub fn from_file(file: ContractFile) -> Self

Create from an existing contract file.

pub fn open(path: impl Into<PathBuf>) -> ContractResult<Self>

Open from path.

pub fn save(&self) -> ContractResult<()>

Save the contract file.

pub fn add_policy(&mut self, policy: Policy) -> ContractId

Add a policy.

pub fn check_policy( &self, action_type: &str, scope: PolicyScope, ) -> PolicyAction

Check if an action is allowed under current policies.

Returns the most restrictive applicable policy action.

pub fn list_policies(&self, scope: Option<PolicyScope>) -> Vec<&Policy>

List policies, optionally filtered by scope.

pub fn get_policy(&self, id: ContractId) -> ContractResult<&Policy>

Get a policy by ID.

pub fn add_risk_limit(&mut self, limit: RiskLimit) -> ContractId

Add a risk limit.

pub fn check_risk_limit( &self, label_pattern: &str, amount: f64, ) -> Option<&RiskLimit>

Check if an action would exceed any risk limits.

Returns the first limit that would be exceeded, or None if OK.

pub fn increment_risk_limit( &mut self, id: ContractId, amount: f64, ) -> ContractResult<()>

Increment a risk limit by label.

pub fn list_risk_limits(&self) -> &[RiskLimit]

List all risk limits.

pub fn add_approval_rule(&mut self, rule: ApprovalRule) -> ContractId

Add an approval rule.

pub fn request_approval( &mut self, rule_id: ContractId, action_description: impl Into<String>, requestor: impl Into<String>, ) -> ContractResult<ContractId>

Create an approval request.

pub fn decide_approval( &mut self, request_id: ContractId, decision: DecisionType, decider: impl Into<String>, reason: impl Into<String>, ) -> ContractResult<ContractId>

Decide on an approval request.

pub fn list_approval_requests( &self, status: Option<ApprovalStatus>, ) -> Vec<&ApprovalRequest>

List approval requests, optionally filtered by status.

pub fn add_condition(&mut self, condition: Condition) -> ContractId

Add a condition.

pub fn evaluate_condition( &self, id: ContractId, ) -> ContractResult<ConditionStatus>

Evaluate a condition (simplified: just check the status).

pub fn list_conditions(&self) -> &[Condition]

List all conditions.

pub fn add_obligation(&mut self, obligation: Obligation) -> ContractId

Add an obligation.

pub fn check_obligation( &self, id: ContractId, ) -> ContractResult<ObligationStatus>

Check obligation status.

pub fn fulfill_obligation(&mut self, id: ContractId) -> ContractResult<()>

Fulfill an obligation.

pub fn list_obligations( &self, status: Option<ObligationStatus>, ) -> Vec<&Obligation>

List obligations, optionally filtered by status.

pub fn report_violation(&mut self, violation: Violation) -> ContractId

Report a violation.

pub fn list_violations( &self, severity: Option<ViolationSeverity>, ) -> Vec<&Violation>

List violations, optionally filtered by severity.

pub fn policy_omniscience( &self, agent_id: &str, context: &str, ) -> PolicyOmniscience

Get complete visibility into all applicable policies for an agent.

pub fn risk_prophecy( &self, agent_id: &str, forecast_window_secs: i64, ) -> RiskProphecy

Predict future risk budget usage.

pub fn approval_telepathy(&self, action: &str) -> ApprovalTelepathy

Predict approval likelihood for an action.

pub fn obligation_clairvoyance( &self, agent_id: &str, window_secs: i64, ) -> ObligationClairvoyance

Forecast upcoming obligations and identify scheduling conflicts.

pub fn violation_precognition( &self, planned_action: &str, ) -> ViolationPrecognition

Detect potential violations before they occur.

pub fn crystallize_contract(&self, intent: &str) -> CrystallizedContract

Generate contract policies from a high-level intent description.

pub fn extract_policy_dna( &self, policy_id: ContractId, ) -> ContractResult<PolicyDna>

Extract the genetic representation of a policy.

pub fn evaluate_trust_gradient( &self, agent_id: &str, action: &str, ) -> TrustGradient

Evaluate an action with trust-weighted policy assessment.

pub fn create_collective_contract( &self, parties: Vec<(&str, &str)>, arbitration_method: ArbitrationMethod, ) -> CollectiveContract

Create a multi-party collective governance contract.

pub fn create_temporal_contract( &self, label: &str, initial_level: GovernanceLevel, ) -> TemporalContract

Create a time-evolving contract with governance transitions.

pub fn create_contract_inheritance( &self, parent_id: ContractId, child_id: ContractId, propagate: bool, ) -> ContractResult<ContractInheritance>

Create a hierarchical parent-child contract relationship.

pub fn smart_escalate(&self, description: &str, urgency: f64) -> SmartEscalation

Route an approval request to the optimal approver.

pub fn violation_archaeology( &self, agent_id: &str, window_secs: i64, ) -> ViolationArchaeology

Analyze violation patterns to identify root causes.

pub fn simulate_contract(&self, scenario_count: u32) -> ContractSimulation

Simulate contract behavior across multiple scenarios.

pub fn create_federated_governance( &self, name: &str, members: Vec<(&str, &str)>, transparency: TransparencyLevel, ) -> FederatedGovernance

Create cross-organizational federated governance.

pub fn create_self_healing_contract( &self, base_contract_id: ContractId, ) -> ContractResult<SelfHealingContract>

Create a contract that automatically adapts to violations.

pub fn stats(&self) -> ContractStats

Get summary statistics.

Trait Implementations

impl Default for ContractEngine

fn default() -> Self

Returns the “default value” for a type.