Reflective Rust & Semantic Systems
Provenance-aware runtime semantic projection and operational semantic graphs in Rust.
Reference implementation and language proposal for compile-time semantic preservation and safe, zero-cost runtime reflection in systems languages.
Theoretical Substrate
Reflective Rust explores how high-level semantic knowledge (provenance, intent, constraints, and relationships) can survive the compilation pipeline into runtime execution.
Provides a reference workspace implementing an Operational Semantic Graph (OSG), metaobject protocols, and runtime semantic descriptors without compromising Rust safety invariants.
Language and compiler proposals in the repository are versioned independently of workspace runtime crates.
Primary Research Questions
- How can semantic descriptors be projected into compiled binaries without incurring runtime heap allocations or dynamic dispatch overhead?
- What metaobject protocol allows autonomous agents to safely inspect and slice program semantics?
- How does provenance tracking through compiler semantic graphs protect against hallucinated or unverifiable agent modifications?
Primary Claims & Invariants
Formal language RFC proposing procedural reflection and compile-time semantic preservation in Rust.
Operational Semantic Graph (OSG) specification for addressable symbol and call boundaries.
Dual-licensed reference workspace tested across modern stable and nightly toolchains.
Blender companion server (blender-mcp-rs) verifying reflective dispatch in spatial computing.
Papers & Working Manuscripts
Semantic Graph Agent Slicing in Systems Languages
Presents a method for autonomous agents to inspect, slice, and reason over typed program subgraphs without accessing complete source trees, preserving safety invariants.
Software, Substrates & Datasets
Reflective Rust Workspace
Multi-crate Cargo workspace providing runtime descriptors, macros, and metaobjects.
blender-mcp-rs
Rust MCP server and Blender add-on with reflective tool dispatch and spatial streaming.