Crate rosetta_aisp 

rosetta-aisp

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

This crate provides deterministic, lossless conversion between natural language prose and AISP (AI Symbolic Programming) notation based on the AISP 5.1 Σ_512 glossary specification.

Features

• Rosetta Stone mappings: 70+ symbol mappings for quantifiers, logic, sets, types, and more
• 3-tier conversion: Minimal, Standard, and Full conversion levels
• Round-trip support: Convert prose → AISP → prose with semantic preservation
• Anti-drift guarantees: Symbols maintain consistent meaning through conversions

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("∀"));
assert!(aisp.contains("∈"));

// 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: {}", result.output);

Conversion Tiers

• Minimal: Direct symbol substitution only (0.5-1x tokens)
• Standard: Adds header, metadata, and evidence blocks (1.5-2x tokens)
• Full: Complete AISP document with types, rules, and proofs (4-8x tokens)

Re-exports

pub use rosetta::ROSETTA_COMPILED;

pub use rosetta::ROSETTA_SORTED;

Modules

prelude

Prelude for convenient imports

Structs

AispConverter

AISP Converter

CompiledRosettaEntry

Pre-compiled Rosetta entry

ConversionOptions

Conversion options

ConversionResult

Conversion result

ROSETTA_COMPILED

Compiled Rosetta entries for efficient matching

ROSETTA_SORTED

Rosetta entries sorted by longest pattern first (greedy matching)

RosettaEntry

Rosetta Stone mapping entry

RosettaStone

Rosetta Stone converter

TokenStats

Token statistics

Enums

ConversionTier

Conversion tier

Statics

ROSETTA

Complete Rosetta Stone mappings (AISP 5.1 Σ_512) Ported from aisp-converter npm package

Functions

get_all_categories

Get all categories

get_mapping_count

Count total mappings

prose_to_symbol

Find symbol for a prose pattern

symbol_to_prose

Find primary prose pattern for a symbol

symbols_by_category

Get all symbols in a category