Struct AuditLog 

pub struct AuditLog { /* private fields */ }

Append-only governance audit log.

Implementations

impl AuditLog

pub fn new() -> Self

pub fn record( &mut self, expression: &str, verdict: &Verdict, timestamp_ns: u64, correlation_id: Option<&str>, ) -> u64

Record a governance decision.

pub fn entries_since(&self, after_seq: u64) -> &[AuditEntry]

Returns all entries since after_seq (exclusive).

pub fn total_entries(&self) -> u64

Examples found in repository

examples/healthcare_consent.rs (line 70)

fn main() {
    println!("=== URGE Healthcare Consent Governance Demo ===\n");

    let mut gov = HealthcareGovernor::new();

    // ── Step 1: Patient admission triggers consent obligation ─────────────
    let _now_ns: u64 = 0; // t = 0
    let deadline_24h_ns: u64 = 86_400_000_000_000; // 24h in nanoseconds

    println!("[T+0] Patient P123 admitted. Registering consent obligation...");
    gov.require_consent("P123", "nurse_007", deadline_24h_ns);

    let stats = gov.stats();
    println!(
        "  Active obligations: {}, Violated: {}",
        stats.active_obligations, stats.violated_obligations
    );

    // ── Step 2: PHI access check at T+1h ─────────────────────────────────
    println!("\n[T+1h] nurse_007 requesting PHI access for P123...");
    let result = gov.check_phi_access(
        "nurse_007",
        "P123",
        true, // is_authorized
        true, // is_authenticated
        true, // audit_active
    );
    match result {
        Ok(_) => println!("  ✓ PHI access PERMITTED"),
        Err(e) => println!("  ✗ PHI access DENIED: {}", e),
    }

    // ── Step 3: Advance time past deadline without consent ────────────────
    let past_deadline_ns: u64 = deadline_24h_ns + 1_000_000_000; // 24h + 1s
    println!("\n[T+24h+1s] Advancing time past consent deadline...");
    let violations = gov.tick(past_deadline_ns);

    if violations.is_empty() {
        println!("  No violations detected.");
    } else {
        for v in &violations {
            println!("  ✗ VIOLATION: {:?}", v);
        }
    }

    let stats = gov.stats();
    println!(
        "  Active obligations: {}, Violated: {}",
        stats.active_obligations, stats.violated_obligations
    );

    // ── Step 4: Show audit log ────────────────────────────────────────────
    println!("\n--- Audit Log Summary ---");
    let log = gov.audit_log();
    println!(
        "  Total entries: {}, Permitted: {}, Denied: {}",
        log.total_entries(),
        log.permitted_count(),
        log.denied_count(),
    );

    println!("\n=== Demo complete ===");
    println!("\nThis trace is the compliance audit trail. Every decision is");
    println!("anchored to a formal logic evaluation with a full paradigm trace.");
    println!("See verdict.formal_notation and verdict.trace for full detail.");
}

pub fn permitted_count(&self) -> usize

Examples found in repository

examples/healthcare_consent.rs (line 71)

fn main() {
    println!("=== URGE Healthcare Consent Governance Demo ===\n");

    let mut gov = HealthcareGovernor::new();

    // ── Step 1: Patient admission triggers consent obligation ─────────────
    let _now_ns: u64 = 0; // t = 0
    let deadline_24h_ns: u64 = 86_400_000_000_000; // 24h in nanoseconds

    println!("[T+0] Patient P123 admitted. Registering consent obligation...");
    gov.require_consent("P123", "nurse_007", deadline_24h_ns);

    let stats = gov.stats();
    println!(
        "  Active obligations: {}, Violated: {}",
        stats.active_obligations, stats.violated_obligations
    );

    // ── Step 2: PHI access check at T+1h ─────────────────────────────────
    println!("\n[T+1h] nurse_007 requesting PHI access for P123...");
    let result = gov.check_phi_access(
        "nurse_007",
        "P123",
        true, // is_authorized
        true, // is_authenticated
        true, // audit_active
    );
    match result {
        Ok(_) => println!("  ✓ PHI access PERMITTED"),
        Err(e) => println!("  ✗ PHI access DENIED: {}", e),
    }

    // ── Step 3: Advance time past deadline without consent ────────────────
    let past_deadline_ns: u64 = deadline_24h_ns + 1_000_000_000; // 24h + 1s
    println!("\n[T+24h+1s] Advancing time past consent deadline...");
    let violations = gov.tick(past_deadline_ns);

    if violations.is_empty() {
        println!("  No violations detected.");
    } else {
        for v in &violations {
            println!("  ✗ VIOLATION: {:?}", v);
        }
    }

    let stats = gov.stats();
    println!(
        "  Active obligations: {}, Violated: {}",
        stats.active_obligations, stats.violated_obligations
    );

    // ── Step 4: Show audit log ────────────────────────────────────────────
    println!("\n--- Audit Log Summary ---");
    let log = gov.audit_log();
    println!(
        "  Total entries: {}, Permitted: {}, Denied: {}",
        log.total_entries(),
        log.permitted_count(),
        log.denied_count(),
    );

    println!("\n=== Demo complete ===");
    println!("\nThis trace is the compliance audit trail. Every decision is");
    println!("anchored to a formal logic evaluation with a full paradigm trace.");
    println!("See verdict.formal_notation and verdict.trace for full detail.");
}

pub fn denied_count(&self) -> usize

Examples found in repository

examples/healthcare_consent.rs (line 72)

fn main() {
    println!("=== URGE Healthcare Consent Governance Demo ===\n");

    let mut gov = HealthcareGovernor::new();

    // ── Step 1: Patient admission triggers consent obligation ─────────────
    let _now_ns: u64 = 0; // t = 0
    let deadline_24h_ns: u64 = 86_400_000_000_000; // 24h in nanoseconds

    println!("[T+0] Patient P123 admitted. Registering consent obligation...");
    gov.require_consent("P123", "nurse_007", deadline_24h_ns);

    let stats = gov.stats();
    println!(
        "  Active obligations: {}, Violated: {}",
        stats.active_obligations, stats.violated_obligations
    );

    // ── Step 2: PHI access check at T+1h ─────────────────────────────────
    println!("\n[T+1h] nurse_007 requesting PHI access for P123...");
    let result = gov.check_phi_access(
        "nurse_007",
        "P123",
        true, // is_authorized
        true, // is_authenticated
        true, // audit_active
    );
    match result {
        Ok(_) => println!("  ✓ PHI access PERMITTED"),
        Err(e) => println!("  ✗ PHI access DENIED: {}", e),
    }

    // ── Step 3: Advance time past deadline without consent ────────────────
    let past_deadline_ns: u64 = deadline_24h_ns + 1_000_000_000; // 24h + 1s
    println!("\n[T+24h+1s] Advancing time past consent deadline...");
    let violations = gov.tick(past_deadline_ns);

    if violations.is_empty() {
        println!("  No violations detected.");
    } else {
        for v in &violations {
            println!("  ✗ VIOLATION: {:?}", v);
        }
    }

    let stats = gov.stats();
    println!(
        "  Active obligations: {}, Violated: {}",
        stats.active_obligations, stats.violated_obligations
    );

    // ── Step 4: Show audit log ────────────────────────────────────────────
    println!("\n--- Audit Log Summary ---");
    let log = gov.audit_log();
    println!(
        "  Total entries: {}, Permitted: {}, Denied: {}",
        log.total_entries(),
        log.permitted_count(),
        log.denied_count(),
    );

    println!("\n=== Demo complete ===");
    println!("\nThis trace is the compliance audit trail. Every decision is");
    println!("anchored to a formal logic evaluation with a full paradigm trace.");
    println!("See verdict.formal_notation and verdict.trace for full detail.");
}

Trait Implementations

impl Default for AuditLog

fn default() -> Self

Returns the “default value” for a type.