rosetta-aisp

Bidirectional prose ↔ AISP symbolic notation conversion based on the Rosetta Stone mappings.

Features

• 70+ Rosetta Stone mappings for quantifiers, logic, sets, types, and more
• 3-tier conversion: Minimal, Standard, and Full document levels
• Round-trip support: prose → AISP → prose with semantic preservation
• Anti-drift guarantees: Symbols maintain consistent meaning (Mean(s) ≡ Mean₀(s))
• Based on AISP 5.1 Σ_512 glossary specification

Quick Start

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

// Simple prose to AISP conversion
let (aisp, confidence, unmapped) = RosettaStone::convert("for all x in S");
assert!(aisp.contains("∀"));  // "for all" → ∀
assert!(aisp.contains("∈"));  // "in" → ∈

// Convert back to prose
let prose = RosettaStone::to_prose(&aisp);
assert!(prose.contains("for all"));

// Full document conversion with auto tier detection
let result = AispConverter::convert("Define a type User with id and name", None);
println!("Tier: {}", result.tier);
println!("Output:\n{}", result.output);

Conversion Tiers

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

// Force a specific tier
let result = AispConverter::convert(
    "Define x as 5",
    Some(ConversionOptions {
        tier: Some(ConversionTier::Full),
        ..Default::default()
    }),
);

Symbol Categories

Round-Trip Guarantees

The library ensures semantic preservation through multiple conversion cycles:

use rosetta_aisp::RosettaStone;

let original = "for all users, if admin then allow access";
let (aisp, _, _) = RosettaStone::convert(original);
let prose = RosettaStone::to_prose(&aisp);

// Check semantic similarity
let similarity = RosettaStone::semantic_similarity(original, &prose);
assert!(similarity > 0.4); // Maintains meaning

AISP Document Output Example

𝔸5.1.user@2026-01-31
γ≔user.definitions
ρ≔⟨user,types,rules⟩

⟦Ω:Meta⟧{
  domain≜user
  version≜1.0.0
  ∀D∈AISP:Ambig(D)<0.02
}

⟦Σ:Types⟧{
  User≜⟨id:ℕ,name:𝕊⟩
}

⟦Γ:Rules⟧{
  ∀u∈User:u.admin≡⊤⇒allow(u)
}

⟦Λ:Funcs⟧{
  ∀ users u, if u is admin⇒allow access.
}

⟦Ε⟧⟨δ≜0.82;φ≜100;τ≜◊⁺⁺;⊢valid;∎⟩

License

MIT