Summary
September 20, 2026 · View on GitHub
Status: living mdBook navigation.
Audience: all documentation readers.
Public documentation
- Documentation overview
- Install
- Quickstart
- Using the SEMAPRAX CLI
- Language tour
- GitHub Linguist submission v1
- Agent quick reference
- Agent iterative lifecycle v2
- Agent typed effects v3
- Direct Agent Runtime v2
- Source Model Operation v1
- Project Linked Agent Lifecycle v1
- Project Linked Agent Migration v1
- Agent operation checkpoint v2
- Agent state migration v2
- Durable Agent state migration v3
- Everyday Agent validation product v1
- Generic authored variants v1
- Generic argument inference v1
- Generic argument inference v2
- Generic argument inference v3
- Function Values v1
- Function Values v2: generic collection callbacks
- Scalar Snapshot Closures v1
- Generic and Loop Closures v2
- Bounded Owning-Capture Closures v1
- Execution root association v1
- Workspace execution association v1
- Workspace execution migration v1
- Generic compiler collections v1
- Generic Iterator Helpers v1
- Generic Iterator Operations v1
- Bounded Lazy Iterator Adapters v1
- Standard library catalog
- Language shapes catalog
- Public Project Scaffold Capsule v1
- Public Project Scaffold Capsule v2
- Capability-aware CLI help
- Capability-aware CLI typo guidance
- Capability-aware CLI recovery
- Guided CLI help
- Documentation projection
- Unified CLI: review, verify, agent, query, package, add, fetch
- Human diagnostic locations
- Changelog
- Changelog archive
- Changelog summary
- Examples index
- Canonical comments
- Calculator project publication
- Standalone project creation
- Windows owned npm publication
- Doctor version-probe lifecycle
- Doctor sealed input
- Doctor offline bundle
- Doctor offline root materialization
- Provisioned offline doctor worker
- Provisioned offline doctor collector
- Provisioned offline doctor launcher
- Linux production offline doctor provisioner
- macOS doctor confinement and settlement contract
- Windows doctor confinement and settlement contract
- Provisioned Linux doctor lifecycle gate
- AArch64 Linux doctor confinement tracking
- Signed doctor generation install and activation
- Doctor active-generation-to-provisioner handoff
- Native compiler scratch
Language contract
- RFC 0001: SEMAPRAX programming system
- RFC 0002: Algebraic data
- RFC 0003: Cleanup and resource ABI
- Semantic Kernel v1
- Kernel-0 proof mechanization v1
- Standard Library v1
- Workflow Profiling v1
- Format Writer v1
- Log Writer v1
- Test Byte Assertions v1
Bounded language references
- Explicit mutation
- Field mutation
- While loops
- Refutable match
- String operations
- IO Cursors v1
- IO Lines v1
- Base64 v1
- Bounded Environment I/O v1
- Bounded Process I/O v1
- Typed Path v1
- Path Normalization v1
- Filesystem I/O v1
- Filesystem I/O v2
- Native inline String settlement
- Native String contents
- Native owned-data internal String settlement
- Class inheritance
- Portable indexed byte data
- Owned Bounded Byte Buffer
- Owned Bounded Vec
- Owned Bounded Vec v2
- Owned Bounded Vec For Traversal
- Owned Bounded Box
- Owned Bounded Box v2
- Owning Iterators v1
- Owning Iterator Payloads v2
- Owning Iterator Loops v1
- Owning Iterator Renewal v1
- Bounded JSON scanner
- JSON cursor adapters v1
- Owned Byte Record Algebra
- Concrete Generic Owned-Byte Records
- Acyclic Nested Owned-Byte Records
- Acyclic Nested Owned-Record Exact Destructuring
- Acyclic Nested Owned-Record Immutable Update
- Owned Byte Variant Algebra
- Generic Explicit Forwarding v1
- Generic Multi-Owner Records v1
- Generic Owned Record Composition v2
- Generic Owned Result v1
- Shared Loan Plan
- Projected Owned-Byte Field Shared Borrow
- Projected Owned-Bytes Synchronous Borrowed Call
- Unsafe boundary mechanics
- Reference interpreter
- Internal String interpreter
- Standalone Wasm internal String settlement
- Standalone internal String Web package
- Prepared Project Interpreter and Source Trace v1
- Prepared Project Revision Replacement v1
Projects and generated consumers
- Project Manifest v1
- Project Manifest v2
- Project Manifest v3
- Project Manifest v4
- Project Manifest v5
- Project Manifest v16: Useful Data v2
- Project Manifest v18: Process I/O
- Project Manifest v19: Filesystem I/O v3
- Package Manifest v1
- Project Lock v1
- Project Test Cases and Runtime Failure Report v1
- Project Dependency Resolution v1
- Project Dependencies v1
- Public Project Scaffold Capsule v3
- Project Scaffold Service Template v1
- Semantic Workspace Image v1
- Canonical Semantic Workspace Revision v1
- ProgramRoot v1
- Interface and artifact facts v1
- ProgramRoot Dependency Lock Association v1
- ProgramRoot v2
- Contracts and Tests Facts v1
- ProgramRoot v3
- Exact Program Context v1
- Exact Program Context v2
- Explicit AgentDefinition Association v1
- Universal Semantic Transaction v1
- Universal Semantic Transaction v2
- Universal Semantic Transaction Composition v1
- Universal Semantic Transaction v2 Workflow
- Owned Workflow Approval v1
- Universal Semantic Query v1
- Architecture Claims v1
- Persistent Incremental Semantic Workspace Service v1
- Persistent Semantic Workspace Service Transport v1
- Persistent Semantic Workspace Service MCP v1
- Universal Semantic Workflow CLI v1
- Semantic Service Surface Consolidation Audit v1
- Installed Agent Guidance v1
- Installed Diagnostics v1
- Installed Fix Plan v1
- Project Candidates and Semantic Change IR v1
- Project Lexical Binding Constructor v1
- Project Signature Argument Expressions v1
- Typed Project Declaration Change v1
- Typed Project Extraction v1
- Project Owning Capture Extraction v1
- Typed Project Declaration Move v1
- Project Nominal Declaration Rename v1
- Project Member Rename v1
- Typed Project Record Field Change v1
- Static Protocol Conformance v1
- Typed Project Interface Change v1
- Image Protocol Conformance v1
- Semantic Image HIR Relationships v1
- Semantic Image Declaration Dependencies v1
- Semantic Image Dependency Navigation v1
- Project Candidate Dependency Navigation v1
- Project Candidate Function Facets v1
- Semantic Image Function Reference v1
- Project Candidate Function Reference Rebind v1
- Project Candidate Impact Navigation v1
- Project Candidate Package Consumer Replay v1
- Project Candidate Package Consumer Migration v1
- Project Candidate Analysis Evidence v1
- Project Candidate Analysis Artifact Evidence v1
- Project Candidate Analysis Runtime Evidence v1
- Project Candidate Assurance and Acceptance v1
- Multi-Agent Coordination v1
- Project Candidate Blind-Spot Declarations v1
- Project Candidate Environment Review v1
- Project Candidate Environment Consumer Review v1
- Project Candidate External API Contract Delta v1
- Semantic Image Cleanup Dependencies v1
- Candidate Tests v1
- Candidate Test Protocol v3
- Candidate Diagnostics v1
- Candidate Managed Publication v1
- Semantic Image Store v1
- Candidate Semantic Delta v1
- Candidate Interface Delta v1
- Candidate Contract Delta v1
- Candidate Ownership Delta v1
- Candidate ABI Delta v1
- Project Variant Case Change v1
- Candidate Artifact Delta v1
- Candidate Symbol Diagnostics v1
- Candidate Diagnostic Protocol v4
- Workspace Protocol v5
- Image Retained Subjects v1
- Workspace Frontend Cache v1
- Image Parallel Reads v1
- Parallel Retained Semantic Reads v1
- Host-selected Parallel Read Protocol v1
- Source-checked Typed-hole Fill Suggestions v1
- Semantic Workspace MCP Adapter v1
- Candidate Test Tasks v1
- Agent Discovery and Typed Clients v5
- Typed Workspace Response Clients v1
- Typed Workspace Request Clients v1
- Candidate Source Review v1
- VS Code Saved-Source Adapter v1
- Source Commit Protocol v5
- Image Target and Artifact Projections v1
- Source-bound OpenAPI Artifacts v1
- Source-bound C Artifacts v1
- Workspace Session CLI and Host Policies
- Project Graph-operational Workflow v1
- Project Graph-operational Git Workflow v1
- Supported Graph-operational Product Workflow v1
- Image Agent Application Error Data v1
- Supported Workflow Response Accountability v1
- Packaged TypeScript Workflow SDK v1
- Graph-operational Phase 1 Product Workflow Execution Evidence v1
- Graph-operational Execution Evidence v1
- Graph-operational Execution Evidence v2
- Graph-operational Client and MCP Execution Evidence v1
- Graph-operational Client and MCP Execution Evidence v2
- Graph-operational VS Code Host Execution Evidence v1
- Graph-operational VS Code Host Execution Evidence v2
- Graph-operational Phase 0 Execution Evidence v1
- Graph-operational Phase 0 Execution Evidence v2
- Graph-operational Phase 0 Execution Evidence v3
- Project Contract Change v1
- Project Signature Evolution v1
- Owned String Borrowed View v1
- Project Expression Change v1
- Graph-operational programme ledger
- Semantic Retention Checkpoint v1
- Semantic Retention Registry v1
- Semantic Retention Host Lifecycle v1
- Semantic Retention Protocol Session v1
- Automatic durable candidate/draft lifecycle v1
- Semantic Retention Metadata CLI v1
- Project Target Cache v1
- Semantic Image Facets v1
- Semantic Image Function Instances v1
- Semantic Image Analysis Coverage v1
- Project Candidate Analysis Coverage v1
- Project Candidate Analysis Coverage Change v1
- Package Semantic Graph v1
- Project Candidate Body Holes v1
- Project Candidate Expression Holes v1
- Project Candidate Contract Expression Holes v1
- Compact Typed-Hole Navigation v1
- Project Draft Expression Catalogue v1
- Project Frontend Cache v1
- Project Semantic Cache v1
- Persistent Semantic Cache v1
- Semantic Cache Store v1
- Candidate Git Publication v1
- Candidate Git Publication CLI v1
- Typed Diagnostic Change v1
- Project Candidate Rebase and Merge v1
- Project Revision Store v1
- Project Revision Store Windows-entry v1
- Project Profile Admission v1
- Public Owned Data API v1
- Generated package publication decision (draft)
- OCI Deployable Artifact v1
- Project v8 Promotion Receipt v1
- Public Flat Owned Record API v1
- Public Flat Owned Record C++ Adapter v1
- Public Nested Owned-Record API v1
- Public Owned UTF-8 API v1
- Public Generic Ownership Milestone v1
- Public Generic Type Grammar v1
- Public Generic Compatibility v1
- Public Generic Metadata Consumers v1
- Public Generic Settlement Obligations v1
- Public Generic Settlement Corpus v1
- Public Generic Candidate Delta v1
- Public Generic Release-Candidate Evidence v1
- Owned npm invocation failure state v1
- Useful Text Consumer v1
- Bounded stdout transcript
- Bounded Language Command I/O
- Bounded Language Network I/O
- Bounded Network Services
- HTTPS Client Runtime
- HTTPS Client I/O
- Outbound Host Adapter v1
- HTTP Application Routing
- Database Access v1
- Durable Jobs v1
- Host Operation Outcome v1
- Authentication and Sessions v1
- Wasm scalar exports
- Public Scalar WIT Interface v1
- Public Generic WIT Type Projection v1
- Wasm owned ABI
- Feature-composition corpus v1
Agent query and change protocols
- Agent context v1
- Agent context v2
- Compact Semantic Projection v1
- Agent transport v1
- Live Invocation Contract v1
- Private OpenCode Host Adapter v1
- Source Live Journal v1
- Source Live Journal v2
- Source live migration journal v3
- Private source live CLI v1
- Private Host Offline Repair v1
- Live Invocation Persistence v1
- Live Invocation Migration v1
- Audit Capsule v1
- Model Budget Policy v1
- Model Call Receipt v1
- Provider Adapter SDK v1
- Streaming Proposal Decode v1
- Resumable Effects v1
- Semantic Task Context v1
- Session and Protocol Types v1
- Agent interaction schema v1
- Agent lifecycle typed carrier v1
- Semantic Discovery v1
- Semantic Embedding v1
- Embedding API v1
- Agent Skill Bundle v1
- Limited-agent tutorial
- Image agent protocol v1
- Image candidate protocol v2
- Candidate constructor schemas v1
- Project literal constructors v1
- Project scalar literal constructors v1
- Project builtin call constructor v1
- Project field place constructor v1
- Project aggregate expression constructors v1
- Project agent transport v2
- Project agent transport v5
- Project agent transport v6
- Project agent transport v6 SDK/discovery
- Project rename transaction
- Project agent workflow
- Semantic impact
- Semantic patch v2
- Diagnostic repair and Patch v3
- Semantic review
- Semantic Patch Evidence v1
- Semantic Patch Evidence v2
- Semantic Target Evidence
- Property-test generation
- Typed hygienic generation
Managed workspace protocols
- Semantic workspace overview
- Workspace semantic graph
- Workspace analysis
- Semantic workspace change
- Semantic workspace operations
- Semantic workspace transactions
- Workspace Patch Evidence
Reports and projections
- Canonical ABI Report
- Public Generic Boundary Profile v1
- Public Generic Descriptor v1
- Public Generic Carrier v1
- C header emission
- C++ shim projection
- C++ scalar package
- Project v8 C++ owned-data package
- Build capability manifest
- Assurance Manifest v1
- Assurance Policy v1
- Bounded SMT Discharge v1
- SMT Proof Certificate v1
- Lean obligation export v1
- Bounded Model Checking v1
- Requirement Traceability v1
- Owned record collection element v1
- Freestanding object profile
- OpenAPI schema generation
- Interface package report
- Semantic package report v2
- Offline semantic package lock v2
- Offline semantic package lock v3
- Offline package compatibility evidence
- Offline deterministic package resolver
- Offline published semantic lock snapshot
- Offline deterministic package resolver v2
- Package registry snapshot v1
- Package registry federation v1
- Registry-bound resolution v1
- Offline pure Wasm package build
- Offline multi-package source capsule
- Offline linked scalar Wasm package build v2
- Offline package lock
- Plugin manifest projection
- Region structure report
- Portable SIMD eligibility report
- UI dialect schema projection
- Conformance trace
Internal development documentation
- Development guide
- First contribution
- Completion matrix
- Architecture
- Quality gates
- Installed toolchain journey test
- Required CI checks
- Release process and tag evidence
- Release signing and provenance policy v1
- v0.4.0 implementation and evidence baseline
- Roadmap
- Protocol migrations
Design decisions and drafts
- ADR 0001: Graph-first repository navigation
- ADR 0002: Managed workspace generations
- ADR 0003: Maintained generated-package support for owned-data-api.v1 (Rust)
- ADR 0004: Release signing and build provenance via Sigstore keyless identity
- ADR 0005: Durable job storage uses the workspace generation substrate
- Draft string and object-oriented types RFC
- RFC 0004: Native call settlement
- RFC 0005: Compute Kernel Profile v1
Private and proof-only runtime contracts
- Language-native Agent syntax v1
- Language-native Agent lowering v1
- Language-native Agent Object and unified harness v1
- Agent Proposal to Runtime v1 Compatibility v1
- Agent Observation Schema v1
- Agent Interaction Contract Facts v1
- Agent Payment Harness v1
- Bounded native Agent Runtime
- Agent context economics
- Agent task economics v1
- Agent task comparison v1
- Agent task comparison runner v1
- Paired coding-agent pilot — 13 September 2026
- Authentication host v1
- Compact semantic projection: model-text v2
- Embedding API v2
- HTTPS Client I/O v2
- Model Call Adapter Evidence v1
- Model Call Invoice Import v1
- Model Call Journal Receipt v1
- Owned string variants v1
- Project Assurance Manifest v1
- Source Live I/O v5
- Cross-language Agent benchmark laboratory v1
- Catalog normalizer oracle v1
- Economic Agent
- Deterministic ARC zone model
- Deterministic scoped task model
- Structured tasks runtime
- Native callable ABI v2
- Native callable ABI v3
- Native callable settlement proof
- Native capability tokens
- Owned resource vertical slice
- Native module loader quarantine
- Native Rust interoperability
- Rust-host sanitizer evidence
- Private WIT boundary