RYTT
A formal, lossless, reversible grammar mapping language to radial glyph chords and dual-plane native tokens.
The grammar stays here. 4Leibniz does not fork it. The open bridge is 4Leibniz issue 10: consume RYTT through 4leibniz_bridge.json.
The picture below is the contract. Text goes in. Glyph chords and a dual-plane token stream come out. Decode is required to return the same text. The Lean file checks the PUA round-trip of the chord constructors on bounded domains. The conformance vectors and the Rust tests check the compiler.
Live pages: playground and, in this repo, index.html, web/playground.html, renderers/glyph_atlas.html.
What is checked, and what is only a possible use
The checked claim is decode(encode(text)) == text for the vectors and the proofs named below. It is not, by itself, a result about whether a language model tells the truth.
A possible use, not a result in this repository:
- Token representation auditing: RYTT's dual-plane allocation (
U+E000 ground / U+E800 elevated) provides a formal, human-readable semiotic layer over LLM token vocabularies, enabling systematic comparison between model-internal and human-legible representations
- Lossless round-trip as a safety primitive:
decode(encode(text)) == text for every Unicode text. The two character classes the display stream reserves (U+00B7, the literal-space marker, and the RYTT PUA range U+E000–U+F8FF) are written behind a one-character escape, so they decode to themselves. The Lean proofs cover the PUA round-trip of the chord constructors on bounded domains; the full compiler is checked by the conformance vectors and tests
- Conformance, not a sycophancy study: the 9 vectors in
conformance/vectors.json check the grammar. The deductive sycophancy pilot is a different repository.
- Formal Lean 4 standalone proof (
proofs/RYTT_standalone.lean): No Mathlib dependency. It checks the PUA round-trip of the chord constructors on bounded domains. The full compiler is checked by the conformance vectors and the tests.
System Role & Authority
RYTT-Sovereign-Semiotics is the canonical owner and specification authority for the RYTT semiotic grammar, PUA allocation planes, and dual-plane token serialization.
- Standalone Grammar: Downstream projects (
4Leibniz, Res-Nova, MVPC-X, chyren-aeon) consume RYTT via versioned JSON interfaces and bridge contracts. They do not fork, duplicate, or alter the token vocabulary.
- Pure Reversibility: The core invariant is zero-discrepancy round-trip (
decode(encode(text)) == text) across all Unicode text. Source U+00B7 (the literal-space marker) and codepoints in the RYTT PUA range U+E000–U+F8FF are written behind the display escape (SPECIFICATION.md §3.4).
- Dual-Plane Allocation: Maps 52 genome bases and 46 ligatures across Private Use Areas:
- Ground Plane:
U+E000 (z = 0)
- Elevated Plane:
U+E800 (z = 25)
Cross-Repository Coordination
- 4Leibniz (Issue #10): Bound via
integration/4leibniz_bridge.json for symbolic notation and interchange of Lean theorem metadata.
- Res-Nova (Issue #48): Ingests select manuscript passages strictly as benchmark corpora to evaluate compression and token density.
- MVPC-X (Issue #7): an envelope-replay adapter was attempted and not merged. Its tests failed, including a fixture path that pointed at a local worktree. RYTT does not claim that audit is on MVPC-X main.
Specification & Conformance
- Specification:
src/rytt/data/rytt-spec-v0.1.0.json
- Conformance Suite: 9 test vectors in
conformance/vectors.json verifying:
- Empty string
- Mixed-case ASCII
- Chord-rich English
- Whitespace preservation
- Symbol preservation
- Unicode passthrough
- Comprehensive character sets
- Rust Engine: High-performance WASM and native core in
crates/rytt-core.
Verification
# Run pytest verification suite
pytest tests/
# Validate conformance vectors
python scripts/verify_conformance.py
# CLI (installed entry point `rytt`, module `rytt._cli`)
rytt encode "text"
rytt artifact-verify bundle.zip
How this was built
R.W. Yett directs the work. Much of the code and prose was written with AI coding assistants; those commits carry Co-Authored-By trailers. The round-trip claim rests on the Lean file, the conformance vectors, and the tests.
Part of the Chyren · Ψ/Φ constellation, built on the Psimodulo–Phimodus principle: one mind, invariant across substrates, operating as one integrated whole. Author: R.W. Yett · github.com/Mega-Therion.
