75 workspace crates. 398 specification files.
- Apr Cli Qa Spec
- Aprender Monorepo Consolidation
- Aprender Readme Book Rewrite
- Aprender Spec
- CRUX Competitive Research UX Workflows — 250 user stories across 7 competitors, contract-backed, pmat-work tracked
- Cuda Parity Spec
- Aprender Monorepo Consolidation
- Cgp Compute Gpu Profile
- Compute Block Tui Cbtop
- Cuda Tile Behavior
- Explain Ptx Simd Wgpu
- Gpu Monitoring Tracing Using Trueno Viz Renacer Probar
- Initial Three Target Simd Gpu Wasm Spec
- Ml Tuner Bricks
- Pending Work Tracker
- Ptx Debugger
- Pytorch Learnings
- Pytorch Numpy Replacement Spec
- Quality Updates Apr Runner Support
- Ruchy Support Spec
- Shatter To 95
- Simulation Testing Spec
- Solidify Quality Spec
- Backends
- Blis
- Brick
- Contracts
- Cuda
- Deep Integration
- Gpu Gemm Bridge Plan
- Layout
- Profiling
- Quality
- Simd
- Wgpu
- Tiling Compute Blocks
- Trueno Cuda Edge
- Trueno Gpu Spec
- Trueno Spec
- Tui Compute Mode Flow Cpu Memory
- Ublk Batched Gpu Compression
- Wasm Optimization Spec
- Pv Spec
- Asset Contracts
- Bidirectional Coverage
- Cli
- Commit Level Entity Enforcement
- Contract Gaps
- Contract Trait Enforcement
- Correctness Completeness
- Deep Integration
- Diagnostics
- Eiffel Dbc Domains 2
- Eiffel Dbc Domains
- Eiffel Dbc Enforcement 2
- Eiffel Dbc Enforcement
- Eiffel Dbc Explain
- Eiffel Dbc References
- Eiffel Dbc Type Invariants
- Eiffel Dbc
- Escape Proof Enforcement
- Forjar Heavy Types Contracts 2
- Forjar Heavy Types Contracts
- Full Enforcement
- Gradual Enforcement
- Integration
- Kaizen Fleet Enforcement
- Lean Kani Composition
- Library
- Lint 2
- Lint
- Model Layout Provability
- Pipeline
- Pmat Infrastructure Contracts 2
- Pmat Infrastructure Contracts
- Proc Macro
- Pvscore
- Pytorch Extraction
- Query
- Real Contract Enforcement
- References
- Registry
- Schema
- Scoring
- Sovereign Stack Audit
- Systems Contract Patterns 2
- Systems Contract Patterns
- The One Way
- Two Tier Architecture
- Ux Speech Probar
- Verification Extensions
- Verification Ladder
- Vision
- 100 Cargo Run Examples Spec
- Alimentar Spec V1
- Cli Repl Quality
- Data Quality Tooling Improvement Spec
- Dataset Format Spec
- Missing Sharing Capabilities Spec
- Tui Wasm Viewer
- Wasm Serve Spec
- Core 001 Arrow Storage
- Phase4 Completion Summary
- Phase4 Wasm Toc
- Db Spec V1
- Http Range Parquet Spec
- Sovereign Ai Capability Spec
- Complete Cuda Runtime Specification
- E2E Visual Test Probar
- Fix Stubbed Kernel Loops Enhanced Monitoring Pixel Level Gpu Stress Testing Probar
- Batuta Spec
- Agent And Playbook
- Apr Code Feasibility Falsification
- Apr Code Tui Testing
- Apr Code
- Banco Contracts
- Banco Cross Cutting
- Banco Falsification Report
- Banco Infra
- Banco Phase1
- Banco Phase2
- Banco Phase3
- Banco Phase4
- Banco Spec
- Banco Testing
- Banco Ux Falsification
- Banco Ux
- External Integrations
- Falsification Report
- Multi Provider Api
- Oracle And Rag
- Presentar Probar Integration
- Quality And Testing
- Sovereign Ai Architecture
- Stack Management
- Transpilation Pipeline
- Examples Catalog
- Framework Architecture
- Ptop Analyzers
- Ptop Falsification
- Ptop Panels
- Quality Gates
- Scene Format
- Showcase Demos
- Testing Philosophy
- Tui Rendering
- Presentar Spec
- Hpu Ml Dl Profiling Spec
- Toyota Way Review Response
- Apr Runtime Model Tracing Support
- Core Metrics Alerts Viz
- Deep Strace Rust Wasm Binary Spec
- Enhance Renacer Ml Dl Spec
- Golden Thread Open Telemetry Spec
- Gpu Kernel Tracing Cuda Spec
- Gpu Kernel Tracing Spec
- Gpu Memory Transfer Tracking Spec
- Integration 001 Spec
- Integration Tests Sprint32 33 Spec
- Llm Inference Profiling Spec
- Performance Optimization Sprint36 Spec
- Pmat Improvements Analysis
- Ptop Presentar Tracing Support
- Real Time Tracing Visualization Spec
- Red Team Profile
- Ruchy Tracing Support
- Semantic Equiv 001 Spec
- Single Shot Compile Tooling Spec
- Span Context Propagation Spec
- Time Weight 001 Spec
- Trueno Integration Spec
- Trueno Tracing Integration Spec
- Unified Tracing Sovereign Ai Spec
- Unwrap Audit 001 Spec
- Unwrap Audit Report
- Unwrap Critical 001 Spec
- Using Rust Tracing In Development Spec
- 95 Coverage Fast Pmat Comply
- Apr Hosting Moe Ab Testing Spec
- Benchmark Model Runners Spec
- Benchmarking With Common Models Common Serving Spec
- Decoder Throughput Specification Llama Mistral Phi Qwen
- Deterministic Reproducible Cargo Bench
- Enhanced Model Serving Apr Gguf Safetensor Full
- Gpu Performance Spec
- Llama Cpp Style Performance Spec
- Local Global Slm Apr Llm Single Story Spec
- Model Fixture Setup Teardown
- Model Serialization Request Spec Aprender
- Performance Parity Ollama Llamacpp Gpu Inference Llms
- Pmat Comply Spec
- Pure Rust Ml Library Research Spec
- Qwen Performance Improve
- Qwen Showcase Throughput Improve
- Rust Project Score Roadmap
- Rust Project Score V1.1 Spec
- Serve Deploy Apr
- Simd Optimization Spec
- Trueno Gpu Spec
- Edd Equation Driven Development Spec
- Edd Spec Unified
- Cov 001 Spec
- Demo Architecture V2
- Simple Or Example
- Simular Orbit Demo Project Spec
- Unified Rewrite Demos Jugar Probar First
- Unified Simulation Engine Spec
- Probar Spec 007 Runtime Validation
- Probar Spec 008 Performance Benchmarking
- Advanced Features Probar
- Advanced Probador Testing Concepts
- Brick Architecture
- Enhanced Serving Debugging
- Gui Playbook Testing Spec
- Load Testing Visualization
- Missing Features In Pure Rust
- Pixel 001 Spec
- Presentar Yaml Support
- Probar Docker Wasm Spec
- Probar Wasm Coverage Tooling
- Probar Wasm Testing Spec
- Showcase 100 Percent Test Calculator Example
- Wasm Pixel Gui Demo
- Wasm Threaded Testing Mock Runtime
- Auto Tune
- Causal Attention Mask Spec
- Citl Generalization Spec
- Comprehensive Cargo Run Examples Demos All Features With Toyota Way Style Qa Process
- Comprehensive Qa Falsification
- Enhancements Dec 2025 Mlops Spec
- Ent Gguf Export Spec
- Entrenar Spec
- Experiment Tracking Spec
- Fine Tune Rust Test Gen
- Gpu Sharing Spec
- Hugging Face Distill Learn Pipeline Spec
- Llama Ideas Inclusion Spec
- Model Eval Framework Spec
- Paiml Sai Vision Sync
- Real Time Audit Log Explainability Apr Format Models
- Real Time Terminal Monitoring Visualization Spec
- Ship Two Models
- Simplify Entrenar
- Sub Crate Demos Spec
- Training Monitoring Spec Realtime And Diagnostics
- Weight Initialization Spec
- World Class Mlops Survey
- Yaml Mode Train
- Automl Synthetic Data Codex Spec
- Codex Multi Tech Python To Rust Spec
- Verificar 041 Spec
- Verificar Synth To Domain Specific Codex
- Brick Testing
- Contract Enforcement
- Migration Plan
- Panel Architecture
- Rendering Backend
- Full Simd Collectors Queue
- Real Time Gpu Demo Spec
- Trueno Viz Spec
- Ttop Demo
- Ttop Improve
- Ttop V2 Spec
- Tui Monitoring Spec
- 071 Spec
- 073 Spec
- 238 Spec
- 243 Spec
- 246 Spec
- Apr Spec
- Bug Gguf 001 Five Whys Analysis
- Gh 280 Capability Gate
- Advanced Pruning
- Apr Checkpoints
- Apr Loading Inspection Diff Debugging Bundling Data Tooling Improve
- Apr Online Learning Dynamic Retraining Spec
- Apr Spec
- Apr Whisper And Cookbook Support Eoy 2025
- Aprender Shell Harden Plan
- Aprender Spec V1
- Automl Specification
- Automl With Synthetic Data
- Bundle Mmap Spec
- Chat Template Improvement Spec
- Collab Filter Spec
- Compiler Enforced Model Types Model Oracle
- Complete Graph Methods Statistics Spec
- Comprehensive Bayesian Probability Spec
- Comprehensive Optimization Spec
- Deep Learning Pytorch Capable Spec
- Distributed Training Spec
- Enforce Provable Dbc
- Fine Tune Provable Design By Contract
- Gpu Compute Architecture
- Graph Traditional Descriptive Statistics Spec
- Hf Hub Upload Spec
- Homomorphic Encryption Spec
- Implement Gpu Safetensors
- Include Latest Trueno Features
- Initial Book Spec
- Integration Latest Paiml Org Ideas Batuta Trueno Entrenar Spec
- Metaheuristics Spec
- Ml Algorithms Review Summary
- Model Bundling Memory Paging
- Model Format Spec V1
- Model Format Spec
- Model Format Verification Import Conversion Cargo Run Example
- Monte Carlo Simulations Finance Stock Market Real World Events
- More Learning Specs
- Nlp Models Techniques Spec
- Noise Generator Apr Wasm Spec
- Pipeline Verification Visualization
- Pmat Comply Spec
- Qa Serve Protocol
- Qa Showcase Methodology
- Readme
- Appendices B Through G
- Appendix Epistemological
- Appendix Historical Bugs
- Appendix Toyota Tps
- Certification And Issues
- Checklist 300 Point
- Cli Surface Verification
- Critical Failures Resolved
- Mvp Qualification
- Ollama Parity Protocol
- Performance Protocol
- Pmat Tickets Detailed
- Popperian Advanced Protocols
- Protocol Evolution Rounds 5 13
- Quality Philosophy
- Realizar Architecture
- Rosetta Conversion
- Rosetta Diagnostics
- Round 12 Popperian Audit
- Rounds 14 24
- Rounds 35 45
- Rounds 44 53 Recent
- Self Falsification Rounds
- T Series Falsification
- Trueno Compute Layer
- V9 1.5B Results
- Qwen2.5 Coder Showcase Demo
- Qwen3 Perf Parity
- Qwen3.5 Fine Tune
- Apr Online Learning Review Toyota Way
- Apr Tooling Review Toyota Way V2
- Apr Tooling Review Toyota Way
- Automl With Synthetic Data Review
- Supporting Compiler In The Loop Paradigm Review
- Rosetta Testing Qa Report
- Rosetta Testing
- Streaming Quantize Safetensors Q4K
- Supporting Compiler In The Loop Paradigm
- Toyota Way Code Review Spec
- Toyota Way Review Summary
- Tsp Solver Sub Crate
- Unified Contract By Design
- Unified Tensor Formats