aisp

AISP 5.1 document validation library — AI Symbolic Protocol with <2% ambiguity.

Overview

AISP (AI Symbolic Protocol) is a formal specification language designed for high-density, low-ambiguity AI-to-AI communication. This crate provides:

• Validation: Validate AISP documents with semantic density scoring
• Streaming: Process large documents with streaming validation
• Quality Tiers: Automatic tier classification (⊘, ◊⁻, ◊, ◊⁺, ◊⁺⁺)
• No-std Support: Works without std (disable default features)

Quick Start

use aisp::{validate, Tier};

let doc = r#"
𝔸1.0.example@2026-01-16
γ≔test

⟦Ω:Meta⟧{ ∀D:Ambig(D)<0.02 }
⟦Σ:Types⟧{ T≜ℕ }
⟦Γ:Rules⟧{ ∀x:T:x≥0 }
⟦Λ:Funcs⟧{ f≜λx.x }
⟦Ε⟧⟨δ≜0.75;φ≜100;τ≜◊⁺⁺⟩
"#;

let result = validate(doc);
assert!(result.valid);
assert!(result.tier >= Tier::Silver);
println!("Tier: {} (δ={:.2})", result.tier.symbol(), result.delta);

Features

# Enable streaming
[dependencies]
aisp = { version = "0.1", features = ["streaming"] }

# Minimal no-std
[dependencies]
aisp = { version = "0.1", default-features = false }

Streaming Validation

For documents larger than available memory:

use aisp::streaming::StreamValidator;

let mut validator = StreamValidator::new();

// Feed chunks as they arrive
validator.feed("𝔸1.0.test@2026-01-16\n")?;
validator.feed("⟦Ω:Meta⟧{ ... }\n")?;
// ... more chunks

let result = validator.finish();

Quality Tiers

API Reference

Core Functions

// Full validation with metrics
let result = aisp::validate(source);

// Quick boolean check
let is_valid = aisp::is_valid(source);

// Get tier only
let tier = aisp::get_tier(source);

// Get density only
let delta = aisp::get_density(source);

Symbol Operations

use aisp::{is_aisp_char, count_symbols, lookup_symbol};

// Check if character is AISP symbol
assert!(is_aisp_char('∀'));
assert!(!is_aisp_char('x'));

// Count AISP symbols in text
let count = count_symbols("∀x∈S:P(x)");

// Look up symbol by glyph
let id = lookup_symbol("λ").unwrap();

Required Blocks

Valid AISP documents must contain these 5 blocks:

Supported Extensions

• .aisp - Primary AISP format
• .md - Markdown with embedded AISP
• .txt - Plain text AISP
• .spec - Specification files
• .aisp5 - AISP 5.x format

Size Limits

Author

Bradley Ross — GitHub @bar181

License

Dual licensed under MIT OR Apache-2.0.

Links

• Repository: https://github.com/bar181/aisp-open-core
• Documentation: https://docs.rs/aisp
• AISP Specification: See AI_GUIDE.md in repository