Praborrow Defense

English | Indonesia

Procedural macros for the "Garuda" invariant verification system. This crate generates runtime checks to enforce constitutional integrity on data structures.

Usage

Derive Constitution on your structs and use the #[invariant] attribute to define validation logic.

use praborrow_defense::Constitution;
use praborrow_core::CheckProtocol; // Trait definition

#[derive(Constitution)]
struct StateBudget {
    #[invariant(self.amount > 0)]
    amount: i32,
    
    #[invariant(self.year >= 2024)]
    year: i32,
}

fn main() {
    let budget = StateBudget { amount: 1000, year: 2025 };
    budget.enforce_law(); // Passes

    let corrupt = StateBudget { amount: -50, year: 2025 };
    // corrupt.enforce_law(); // Panics: "CONSTITUTIONAL CRISIS"
}

Protocol

The macro generates an implementation of the CheckProtocol trait. Note that CheckProtocol must be in scope.