--- title: "Semaprax: Agent-Native Systems Programming Language" canonical: https://wavect.io/semaprax/ language: en description: "Explore Semaprax v0.8.0: source laws, Rust integration, compiler-assisted agents, token reports and checked hot reload. Install the beta and read the handbook." image: "https://wavect.io/img/general/bak/open_graph_preview.jpg" --- V0.8.0 BETA · APACHE-2.0 # The systems language built for coding agents, and readable by humans. Readable source. Queryable meaning. Checked changes. Give coding agents the types, contracts and relationships behind your code. Semaprax 0.8.0 brings source laws and proof tools, richer Rust integration, a development harness, checked hot reload and task-level token reporting into one beta toolchain. Start with a small program, then connect the parts your project needs. semaprax://v0.8.0 beta ``` revision sha256: query app.main --depth 1 context typed · bounded · stable-id patch expected_revision == current verify fail_closed target native | browser/wasm ``` // STATUS ## Repository status at the audited snapshot | Repository snapshot | [`615e501`](https://github.com/wavect/semaprax/commit/615e501612895a52b3fdd72a03baf875a8f0df1b) · 2026-10-06. The v0.8.0 tag resolves to the pinned source commit. Its exact-tag CI completed successfully. This does not establish blanket production or security assurance. | | --- | --- | | Full product status | 55 Partial · 0 Implemented · 0 Missing | | Graph and project contract | Canonical source, stable IDs and checked compiler representations connect laws, semantic queries, edits and execution. Feature-selected graph and Project schemas preserve their own admission, compatibility and host-authority contracts. | | Published beta release | [`v0.8.0`](https://github.com/wavect/semaprax/releases/tag/v0.8.0) · Published 6 October 2026 at 07:37 UTC. All 82 exact-tag jobs succeeded. Three toolchain archives, SHA256SUMS, per-archive attestations and signed aggregate provenance were published. The release job independently verified the signed set before publication. The archives are not notarized or claimed reproducible; offline verification does not establish current revocation state. [Exact-tag CI](https://github.com/wavect/semaprax/actions/runs/37403651320). | | Package and API previews | The release includes useful language, law, harness and host-integration profiles. Generated Rust/npm packages, public generic ABIs and broader platform support retain separate publication and support decisions. | ## What is Semaprax? Semaprax is an open-source, agent-native systems programming language in beta. Readable.spx source stays in Git while coding agents query typed program meaning, check source laws and propose revision-bound changes. Version 0.8.0 also includes typed runtime Agents, a compiler-connected development harness and bounded Rust, native and WebAssembly integrations. // v0.8.0 ## What changed in v0.8.0 Six practical advances in the 0.8.0 source and published beta toolchain. ### Laws beside the source Declare stable laws, select the proof inventory and replay supported Lean/Z3 obligations. Repair implementation bodies while protecting the intended requirement. [Evidence](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-LAW-DECLARATIONS-V1.md) ### Richer Rust integration Selected Rust APIs, generated owner and callback adapters, and real Regex/Url, Serde/iterator and Tokio/reqwest applications extend the bridge beyond scalar demos. [Evidence](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-RICH-INTEROP-V1.md) ### A compiler-connected harness Combine semantic context with project-selected providers, Graft/Graphify, RTK views, official Ponytail/Caveman skills and explicit model-routing policies. [Evidence](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/HARNESS-PROVIDER-V1.md) ### Checked development reload The dev command and VS Code controls validate candidates, wait for a safe activation boundary and retain the active program after an invalid edit. [Evidence](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/HOT-RELOAD-WATCHER-V1.md) ### Token and task-cost reports Compare exact context payloads, inspect session regressions and reductions, and distinguish provider receipts from reservations and estimated cost. [Evidence](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/handbook/practices/context-performance.md) ### A verified release asset set All 82 exact-tag jobs passed. Three prebuilt archives ship with checksums, build attestations and independently verified signed provenance. [Evidence](https://github.com/wavect/semaprax/actions/runs/37403651320/job/112160853027) // v0.8.0 ## Prefer a prebuilt command-line tool? Version 0.8.0 publishes archives for Apple Silicon macOS, Linux x86-64 GNU and Windows x86-64 MSVC. There is no graphical installer in this release. Each archive includes the full toolchain under the name semaprax, plus semapraxd and a smoke example. Source installation keeps the full build separately named semaprax-full. ### macOS · Apple Silicon `aarch64-apple-darwin` [Download archive](https://github.com/wavect/semaprax/releases/download/v0.8.0/semaprax-v0.8.0-aarch64-apple-darwin.tar.gz) ### Linux · x86-64 (GNU) `x86_64-unknown-linux-gnu` [Download archive](https://github.com/wavect/semaprax/releases/download/v0.8.0/semaprax-v0.8.0-x86_64-unknown-linux-gnu.tar.gz) ### Windows · x86-64 (MSVC) `x86_64-pc-windows-msvc` [Download archive](https://github.com/wavect/semaprax/releases/download/v0.8.0/semaprax-v0.8.0-x86_64-pc-windows-msvc.zip) 1. Choose the archive that matches your operating system and CPU. The GitHub Source code downloads are repository snapshots, not prebuilt executables. 2. Check SHA256SUMS before extracting your platform archive. Add its extracted directory to PATH or invoke semaprax by its full path. 3. Run `semaprax --version`, then check and run the included `smoke/meaning.spx` from the extracted directory. It returns 42. Clang is needed for native builds; the web examples use Node.js 22+. 4. For signed provenance verification, collect all three archives and the signed metadata in one directory, then follow the linked instructions for `semaprax release verify `. Require the cryptographically verified offline result; a successful unsigned verification does not validate a signature. [SHA256SUMS](https://github.com/wavect/semaprax/releases/download/v0.8.0/SHA256SUMS) · [Checksums and signed provenance](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/RELEASE-SIGNING-POLICY-V1.md#the-one-documented-command) · [Release manifest](https://github.com/wavect/semaprax/releases/download/v0.8.0/release-manifest.json) · [Release record](https://github.com/wavect/semaprax/releases/tag/v0.8.0) // CLI ## Run your first checked program Source route, pinned to the reviewed commit. Requires Git and Rust/Cargo 1.88+. The first Cargo run may fetch dependencies. These check/run commands need neither Clang, Node.js nor an AI provider; the program returns 42. ``` git clone https://github.com/wavect/semaprax.git cd semaprax git checkout --detach 615e501612895a52b3fdd72a03baf875a8f0df1b cargo run --locked -p semaprax -- check examples/meaning.spx cargo run --locked -p semaprax -- run examples/meaning.spx ``` [Handbook installation and prerequisites](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/handbook/getting-started/install.md) // PROJECT ## Install once, then create a project Continue in the same pinned repository checkout. Cargo installs the standalone CLI; the PATH line below applies to Bash and Zsh. The generated calculator includes source, a manifest, tests and AGENTS.md. Choose a fresh destination; new uses bundled files and does not initialize Git or contact a package registry. ``` cargo install --locked --path . --bin semaprax export PATH="$HOME/.cargo/bin:$PATH" semaprax --version semaprax new first-semaprax semaprax check first-semaprax/semaprax.toml semaprax test first-semaprax/semaprax.toml semaprax run first-semaprax/semaprax.toml ``` // AGENT ## Give your coding agent a precise starting point From the repository root, inspect the same program by stable identity. Graph, context and installed language help are read-only starting points. A later semantic edit needs its current revision, supported operation and explicit application step. ``` semaprax graph examples/meaning.spx semaprax context examples/meaning.spx app.main --depth 1 --max-bytes 65536 --max-nodes 256 semaprax context examples/meaning.spx math.add --depth 1 --filters contracts semaprax help language semaprax help diagnostic SPX-T208 ``` // 01 ## One program, three connected surfaces People edit readable source, tools query checked meaning, and supported targets execute the admitted program. Each target and integration states which language features it accepts. 1. **Readable source** Canonical.spx files, stable declaration IDs, contracts, laws and explicit ownership. Ordinary check and run commands need no model account. 2. **Checked meaning for tools** Compiler-derived context, impact, candidate review and proof obligations. The harness can add selected retrieval, skills and model providers around that semantic core. 3. **Controlled execution** Interpreter, admitted C11/Clang and Core Wasm profiles, plus typed runtime Agents whose model proposals pass deterministic authorization before effects. [Semaprax semantic program graph](/semaprax/architecture/): Semaprax checks readable.spx source and resolves it into HIR, its typed compiler representation. Source and semantic identities bind queries, law obligations, candidate changes and execution to the program that was inspected. Coding agents can use the harness around this core; runtime Agents separately decode proposals, authorize effects and reduce state under explicitly supplied host capabilities. // 02 ## Make every proposed change easier to check Stable identities let an agent target a declaration. Bounded context explains its role. Contracts and separately selected laws constrain the implementation, while candidate review and replay check the change before application. The harness records actual usage and task outcomes so efficiency claims can be tested against evidence. **MEASURE THE OUTCOME** Less repair ambiguity, with task cost and correctness checked separately // 03 ## Follow the question you need to answer Use the handbook for practical steps, architecture for the programming model, evidence for implemented profiles, benchmarks for measurements and interoperability for the boundary with your existing stack. ### [Architecture](/semaprax/architecture/) Source laws, semantic graphs, Agents and harness ### [Evidence](/semaprax/evidence/) What v0.8.0 implements and where it stops ### [Benchmarks](/semaprax/benchmarks/) Measured tokens, task cost and performance ### [Interoperability](/semaprax/interoperability/) Target and ecosystem evidence matrix ### [Roadmap](/semaprax/roadmap/) Milestones, objectives, and open gaps // 04 ## Capability evidence ledger | Current status | Evidence state | Scope | Evidence | | --- | --- | --- | --- | | **Canonical source and stable identity** | Partial | Readable `.spx` remains the canonical Git representation. Explicit `@id` values identify declarations independently of supported display-name changes. The revision binds canonical source and the compiler-owned implicit prelude, not incidental source spans or a graph wire format. | [GitHub repository](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/src/graph.rs) | | **Bounded context and compact projections** | Partial | Select exact graph or task context with depth, direction, node and byte bounds. Model-text v2 reduces tokens on selected large inputs and grows on small ones; reports preserve the tokenizer and comparison boundary. | [GitHub repository](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPACT-SEMANTIC-PROJECTION-V2.md) | | **Semantic edits, not arbitrary rewrites** | Partial | Inspect context, derive a candidate, preview impact, review, replay checks, then explicitly authorize application. The operation families now extend beyond renames to bounded expression replacement, structural changes and specified rebase/merge composition. Each protocol keeps its own revision, identity and operation limits. | [GitHub repository](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/ARCHITECTURE.md) | | **Managed publication is a separate boundary** | Partial | Managed workspace generations, candidate evidence, Project revision storage and MCP workflows retain explicit write and publication authority. Validation of multiple files is not an atomic update to arbitrary raw paths, Git or editors. The Rust embedding API supplies capped inputs, cancellation and opaque sessions, not unrestricted host access. | [GitHub repository](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/ARCHITECTURE.md) | | **Replayable semantic evidence** | Partial | Evidence binds checked facts and candidate changes to source and revisions. A receipt can support review or rejection; it does not grant execution, mutation or publication authority. | [GitHub repository](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md) | | **Multi-module projects and offline scaffolding** | Partial | Manifests define declared source, entries, tests and exports. Bundled calculator, library and service templates have their own profiles. new creates a fresh project from compiled-in files; source checking, interpreted tests and target builds follow the selected manifest contract. | [GitHub repository](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PROJECT-MANIFEST-V1.md) | // DOCS ## Open the Semaprax handbook The online handbook is the English guide published from main and may cover changes after 0.8.0. Use the pinned snapshot when reproducing this release. ### [Live handbook](https://wavect.github.io/semaprax/) The current English learning path, published from main. ### [0.8.0 handbook snapshot](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/handbook/README.md) The handbook files at the exact reviewed release commit. ### [Build your first project](https://wavect.github.io/semaprax/getting-started/first-project.html) Current English guide to the calculator manifest, checks, tests and builds. ### [Learn the language essentials](https://wavect.github.io/semaprax/language/essentials.html) Current English introduction to values, functions and source structure. ### [Work with a coding agent](https://wavect.github.io/semaprax/practices/agents.html) Current English guide to semantic context and safe change workflows. ### [CLI reference for 0.8.0](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/CLI-GUIDE.md) Pinned command forms and the standalone/full-toolchain boundary. ### [VS Code extension](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/editors/vscode/README.md) Pinned setup, semantic navigation, review and development controls. ### [Runnable examples](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/examples/README.md) Pinned examples for the language, projects, laws, Agents and host integrations. // REF ## Primary sources for this page Reviewed against the v0.8.0 tag and its pinned source commit. Versioned specifications define admission and authority; older release headings in the matrix and roadmap are historical. 1. [v0.8.0 release and platform downloads](https://github.com/wavect/semaprax/releases/tag/v0.8.0) 2. [Exact-tag CI and release evidence](https://github.com/wavect/semaprax/actions/runs/37403651320) 3. [Handbook snapshot for the reviewed source](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/handbook/README.md) 4. [Source law declarations](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-LAW-DECLARATIONS-V1.md) 5. [Rich native Rust integration](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-RICH-INTEROP-V1.md) 6. [Development harness providers and model receipts](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/HARNESS-PROVIDER-V1.md) 7. [Checked hot-reload workflow](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/HOT-RELOAD-WATCHER-V1.md) 8. [Token reporting and checked-work reuse](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/handbook/practices/context-performance.md) 9. [Full-goal completion matrix and remaining boundaries](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md) 10. [Signed provenance and independent verification](https://github.com/wavect/semaprax/actions/runs/37403651320/job/112160853027) // FAQ ## Questions and practical answers ### Is Semaprax production-ready? Version 0.8.0 is an Apache-2.0 beta released on 6 October 2026. You can install it, run programs and explore the implemented profiles. A successful exact-tag release does not establish production support; the full-goal matrix still records 55 Partial requirements. ### Is Semaprax only for AI agents? You can write, check and run ordinary.spx programs without an AI model or account. Coding agents use semantic context and supported changes through the tooling; source-defined runtime Agents are a separate typed programming abstraction. The English handbook walks through both. Need this level of evidence-first engineering in your AI product? Created by Wavect as an open-source systems research project. [GitHub repository](https://github.com/wavect/semaprax). Reviewed against the v0.8.0 tag and its pinned source commit. Versioned specifications define admission and authority; older release headings in the matrix and roadmap are historical. ## Structured Data ```json { "@context": "https://schema.org", "@graph": [ { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ], "employee": [ { "@id": "https://wavect.io/team/kevin-riedl/#person", "@type": "Person", "jobTitle": "Managing Director", "name": "Kevin Riedl", "url": "https://wavect.io/team/kevin-riedl/", "worksFor": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] } }, { "@id": "https://wavect.io/team/christof-jori/#person", "@type": "Person", "jobTitle": "Managing Director", "name": "Christof Jori", "url": "https://wavect.io/team/christof-jori/", "worksFor": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] } } ], "founder": [ { "@id": "https://wavect.io/team/kevin-riedl/#person", "@type": "Person", "jobTitle": "Managing Director", "name": "Kevin Riedl", "url": "https://wavect.io/team/kevin-riedl/", "worksFor": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] } }, { "@id": "https://wavect.io/team/christof-jori/#person", "@type": "Person", "jobTitle": "Managing Director", "name": "Christof Jori", "url": "https://wavect.io/team/christof-jori/", "worksFor": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] } } ], "legalRepresentative": [ { "@id": "https://wavect.io/team/kevin-riedl/#person", "@type": "Person", "jobTitle": "Managing Director", "name": "Kevin Riedl", "url": "https://wavect.io/team/kevin-riedl/", "worksFor": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] } }, { "@id": "https://wavect.io/team/christof-jori/#person", "@type": "Person", "jobTitle": "Managing Director", "name": "Christof Jori", "url": "https://wavect.io/team/christof-jori/", "worksFor": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] } } ], "name": "Wavect GmbH", "subjectOf": { "@id": "https://wavect.io/verified-claims.json#dataset", "@type": "Dataset", "creator": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] }, "description": "A machine-readable registry of quantitative and qualitative claims published by Wavect, with review dates, localized page appearances and public third-party citations where available.", "inLanguage": "en", "isAccessibleForFree": true, "license": "https://creativecommons.org/licenses/by/4.0/", "name": "Wavect verified publication claims", "url": "https://wavect.io/verified-claims.json" }, "url": "https://wavect.io/" }, { "@id": "https://wavect.io/team/kevin-riedl/#person", "@type": "Person", "jobTitle": "Managing Director", "name": "Kevin Riedl", "sameAs": [ "https://www.wikidata.org/wiki/Q139796365", "https://www.linkedin.com/in/wsdt", "https://github.com/wsdt" ], "url": "https://wavect.io/team/kevin-riedl/", "worksFor": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] } }, { "@id": "https://wavect.io/team/christof-jori/#person", "@type": "Person", "jobTitle": "Managing Director", "name": "Christof Jori", "sameAs": [ "https://www.wikidata.org/wiki/Q139796367", "https://www.linkedin.com/in/jocr77/", "https://github.com/jo-chris" ], "url": "https://wavect.io/team/christof-jori/", "worksFor": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] } }, { "@id": "https://wavect.io/#website", "@type": "WebSite", "inLanguage": [ "en", "de", "es", "zh" ], "name": "Wavect", "potentialAction": { "@type": "SearchAction", "query-input": "required name=search_term_string", "target": { "@type": "EntryPoint", "urlTemplate": "https://wavect.io/search/?q={search_term_string}" } }, "publisher": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] }, "url": "https://wavect.io/" }, { "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches", "@type": "Claim", "appearance": { "@id": "https://wavect.io/semaprax/#webpage", "@type": "WebPage", "inLanguage": "en", "url": "https://wavect.io/semaprax/" }, "author": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] }, "citation": { "@type": "WebPage", "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/ARCHITECTURE.md" }, "dateModified": "2026-10-06", "identifier": "semaprax-v02-semantic-graph-patches", "inLanguage": "en", "text": "Semaprax v0.8.0 retains canonical .spx source and validated semantic identities, bounded context queries and revision-bound semantic changes. The exact-tag workflow succeeded; admitted edit families and public support remain separately scoped." }, { "@id": "https://wavect.io/verified-claims.json#semaprax-v02-native-wasm-subsets", "@type": "Claim", "appearance": { "@id": "https://wavect.io/semaprax/#webpage", "@type": "WebPage", "inLanguage": "en", "url": "https://wavect.io/semaprax/" }, "author": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] }, "citation": { "@type": "WebPage", "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md" }, "dateModified": "2026-10-06", "identifier": "semaprax-v02-native-wasm-subsets", "inLanguage": "en", "text": "Semaprax v0.8.0 provides bounded interpreter, C11/Clang and Core-Wasm language execution profiles and three published toolchain archives. Source Agents use interpreter-first routes with explicit native/Wasm library profiles and local parity evidence; target support remains specific to each profile." }, { "@id": "https://wavect.io/verified-claims.json#semaprax-v060-signed-release", "@type": "Claim", "appearance": { "@id": "https://wavect.io/semaprax/#webpage", "@type": "WebPage", "inLanguage": "en", "url": "https://wavect.io/semaprax/" }, "author": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] }, "citation": { "@type": "WebPage", "url": "https://github.com/wavect/semaprax/actions/runs/37403651320/job/112160853027" }, "dateModified": "2026-10-06", "identifier": "semaprax-v060-signed-release", "inLanguage": "en", "text": "Semaprax v0.8.0 published three toolchain archives and signed aggregate provenance after all 82 exact-tag jobs passed and the publication job independently verified the signed set. This does not establish notarization or reproducible builds." }, { "@id": "https://wavect.io/verified-claims.json#semaprax-v060-generic-provider-boundary", "@type": "Claim", "appearance": { "@id": "https://wavect.io/semaprax/#webpage", "@type": "WebPage", "inLanguage": "en", "url": "https://wavect.io/semaprax/" }, "author": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] }, "citation": { "@type": "WebPage", "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PUBLIC-GENERIC-WASM-PROVIDER-TARGET-V1.md" }, "dateModified": "2026-10-06", "identifier": "semaprax-v060-generic-provider-boundary", "inLanguage": "en", "text": "Semaprax v0.8.0 has a compiler-owned generic Core Wasm provider and a canonical TypeScript carrier for a bounded endpoint; the public generic ABI remains unsupported." } ] } ``` ```json { "@context": "https://schema.org", "@graph": [ { "@id": "https://wavect.io/semaprax/#webpage", "@type": "WebPage", "citation": [ { "@type": "CreativeWork", "name": "v0.8.0 release and platform downloads", "url": "https://github.com/wavect/semaprax/releases/tag/v0.8.0" }, { "@type": "CreativeWork", "name": "Exact-tag CI and release evidence", "url": "https://github.com/wavect/semaprax/actions/runs/37403651320" }, { "@type": "CreativeWork", "name": "Handbook snapshot for the reviewed source", "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/handbook/README.md" }, { "@type": "CreativeWork", "name": "Source law declarations", "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-LAW-DECLARATIONS-V1.md" }, { "@type": "CreativeWork", "name": "Rich native Rust integration", "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-RICH-INTEROP-V1.md" }, { "@type": "CreativeWork", "name": "Development harness providers and model receipts", "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/HARNESS-PROVIDER-V1.md" }, { "@type": "CreativeWork", "name": "Checked hot-reload workflow", "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/HOT-RELOAD-WATCHER-V1.md" }, { "@type": "CreativeWork", "name": "Token reporting and checked-work reuse", "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/handbook/practices/context-performance.md" }, { "@type": "CreativeWork", "name": "Full-goal completion matrix and remaining boundaries", "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md" }, { "@type": "CreativeWork", "name": "Signed provenance and independent verification", "url": "https://github.com/wavect/semaprax/actions/runs/37403651320/job/112160853027" } ], "creator": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] }, "dateModified": "2026-10-06", "description": "Explore Semaprax v0.8.0: source laws, Rust integration, compiler-assisted agents, token reports and checked hot reload. Install the beta and read the handbook.", "inLanguage": "en", "mainEntity": { "@id": "https://wavect.io/semaprax/#software", "@type": "SoftwareSourceCode" }, "name": "Semaprax: Agent-Native Systems Programming Language | Wavect", "url": "https://wavect.io/semaprax/" }, { "@id": "https://wavect.io/semaprax/#software", "@type": "SoftwareSourceCode", "codeRepository": "https://github.com/wavect/semaprax", "creator": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] }, "description": "Semaprax is an open-source, agent-native systems programming language in beta. Readable .spx source stays in Git while coding agents query typed program meaning, check source laws and propose revision-bound changes. Version 0.8.0 also includes typed runtime Agents, a compiler-connected development harness and bounded Rust, native and WebAssembly integrations.", "license": "https://www.apache.org/licenses/LICENSE-2.0", "name": "Semaprax", "programmingLanguage": "Semaprax", "softwareVersion": "v0.8.0" }, { "@id": "https://wavect.io/semaprax/#faq", "@type": "FAQPage", "inLanguage": "en", "mainEntity": [ { "@type": "Question", "acceptedAnswer": { "@type": "Answer", "text": "Version 0.8.0 is an Apache-2.0 beta released on 6 October 2026. You can install it, run programs and explore the implemented profiles. A successful exact-tag release does not establish production support; the full-goal matrix still records 55 Partial requirements." }, "name": "Is Semaprax production-ready?" }, { "@type": "Question", "acceptedAnswer": { "@type": "Answer", "text": "You can write, check and run ordinary .spx programs without an AI model or account. Coding agents use semantic context and supported changes through the tooling; source-defined runtime Agents are a separate typed programming abstraction. The English handbook walks through both." }, "name": "Is Semaprax only for AI agents?" } ], "url": "https://wavect.io/semaprax/" }, { "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches", "@type": "Claim", "appearance": { "@id": "https://wavect.io/semaprax/#webpage", "@type": "WebPage", "inLanguage": "en", "url": "https://wavect.io/semaprax/" }, "author": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] }, "citation": { "@type": "WebPage", "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/ARCHITECTURE.md" }, "dateModified": "2026-10-06", "identifier": "semaprax-v02-semantic-graph-patches", "inLanguage": "en", "text": "Semaprax v0.8.0 retains canonical .spx source and validated semantic identities, bounded context queries and revision-bound semantic changes. The exact-tag workflow succeeded; admitted edit families and public support remain separately scoped." }, { "@id": "https://wavect.io/verified-claims.json#semaprax-v02-native-wasm-subsets", "@type": "Claim", "appearance": { "@id": "https://wavect.io/semaprax/#webpage", "@type": "WebPage", "inLanguage": "en", "url": "https://wavect.io/semaprax/" }, "author": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] }, "citation": { "@type": "WebPage", "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md" }, "dateModified": "2026-10-06", "identifier": "semaprax-v02-native-wasm-subsets", "inLanguage": "en", "text": "Semaprax v0.8.0 provides bounded interpreter, C11/Clang and Core-Wasm language execution profiles and three published toolchain archives. Source Agents use interpreter-first routes with explicit native/Wasm library profiles and local parity evidence; target support remains specific to each profile." }, { "@id": "https://wavect.io/verified-claims.json#semaprax-v060-signed-release", "@type": "Claim", "appearance": { "@id": "https://wavect.io/semaprax/#webpage", "@type": "WebPage", "inLanguage": "en", "url": "https://wavect.io/semaprax/" }, "author": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] }, "citation": { "@type": "WebPage", "url": "https://github.com/wavect/semaprax/actions/runs/37403651320/job/112160853027" }, "dateModified": "2026-10-06", "identifier": "semaprax-v060-signed-release", "inLanguage": "en", "text": "Semaprax v0.8.0 published three toolchain archives and signed aggregate provenance after all 82 exact-tag jobs passed and the publication job independently verified the signed set. This does not establish notarization or reproducible builds." }, { "@id": "https://wavect.io/verified-claims.json#semaprax-v060-generic-provider-boundary", "@type": "Claim", "appearance": { "@id": "https://wavect.io/semaprax/#webpage", "@type": "WebPage", "inLanguage": "en", "url": "https://wavect.io/semaprax/" }, "author": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] }, "citation": { "@type": "WebPage", "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PUBLIC-GENERIC-WASM-PROVIDER-TARGET-V1.md" }, "dateModified": "2026-10-06", "identifier": "semaprax-v060-generic-provider-boundary", "inLanguage": "en", "text": "Semaprax v0.8.0 has a compiler-owned generic Core Wasm provider and a canonical TypeScript carrier for a bounded endpoint; the public generic ABI remains unsupported." } ] } ``` ```json { "@context": "https://schema.org", "@type": "BreadcrumbList", "itemListElement": [ { "@type": "ListItem", "item": "https://wavect.io/", "name": "Home", "position": 1 }, { "@type": "ListItem", "item": "https://wavect.io/semaprax/", "name": "Semaprax", "position": 2 } ] } ```