SEMAPRAX is an Apache-2.0 experimental research language for agent-assisted systems programming. Its Rust compiler combines persistent declaration identities, a deterministic semantic graph, bounded context and impact analysis, replayable evidence-gated semantic patches, and explicit capabilities, effects, and ownership. Human-readable .spx source remains the canonical Git projection while the graph provides a checked compiler-produced interface for tools and coding agents. Current output lanes target native C11/Clang and WebAssembly Core. Version 0.2 is pre-alpha and not production-ready.
Coding agents can generate large edits quickly, but ordinary text patches bind changes to unstable line positions and often hide semantic impact. Wavect started SEMAPRAX to explore a stricter systems-language workflow: declarations keep persistent identities, meaning is projected as a deterministic graph, and proposed semantic changes can be independently replayed before the compiler-owned mutation authority applies them. Coding agents have been used extensively as development assistants; Wavect GmbH retains human responsibility for the design and its executable evidence gates.