Struct AispConverter 

pub struct AispConverter;

AISP Converter

Provides deterministic prose ↔ AISP conversion using Rosetta Stone mappings.

Implementations

impl AispConverter

pub fn convert( prose: &str, options: Option<ConversionOptions>, ) -> ConversionResult

Convert prose to AISP with specified options

Example

use rosetta_aisp::{AispConverter, ConversionOptions, ConversionTier};

let result = AispConverter::convert("Define x as 5", None);
assert!(result.output.contains("≜"));

// Force a specific tier
let result = AispConverter::convert("Define x as 5", Some(ConversionOptions {
    tier: Some(ConversionTier::Standard),
    ..Default::default()
}));
assert!(result.output.contains("𝔸5.1"));

pub fn detect_tier(prose: &str) -> ConversionTier

Auto-detect appropriate tier based on prose complexity

Example

use rosetta_aisp::{AispConverter, ConversionTier};

assert_eq!(AispConverter::detect_tier("Define x as 5"), ConversionTier::Minimal);
assert_eq!(
    AispConverter::detect_tier("The user must authenticate to access the API"),
    ConversionTier::Standard
);

pub fn to_prose(aisp: &str) -> String

Convert AISP back to prose

Example

use rosetta_aisp::AispConverter;

let prose = AispConverter::to_prose("∀x∈S");
assert!(prose.contains("for all"));
assert!(prose.contains("in"));

pub fn validate(aisp: &str) -> ValidationResult

Validate AISP document using the aisp crate