SpecPilot v1.0.0
Deterministic collaboration cockpit enforcing constitutional boundaries, invariant axioms, and zero-body AST contract verification.
Zero-Body AST Slicing
Sentinel Roslyn parser strips implementation bodies and feeds lean contract signatures directly to local coding agents, eliminating 80%+ of prompt token bloat.
Project Constitution & Axioms
Workspace laws compiled into dna.json permanently constrain agent drift. Universal architectural rules and negative patterns are auto-injected into every task brief.
Deterministic Codebase Fingerprinting
Cold-start analysis scans language distribution, struct-to-class ratios, and anchor types in under 15ms with zero external runtime AI overhead.
Strict Payload Ingot Exchange
Bidirectional clipboard orchestration uses structured specpilot-manifest, specpilot-verify, and specpilot-dna ingots with zero API keys or network sockets.
Operator Deck UI
Tactical dark-slate control cockpit engineered with WinUI 3, Cascadia Code typography, and high-density telemetry dashboards built for focused systems development.
Zero Telemetry & Offline Core
Pure C# 14 and .NET 10 desktop application with zero background analytics, zero foreign telemetry, and zero unhandled network dependencies.
Architecture Profile — SpecPilot Engine Invariants
| Component | Runtime Invariant |
|---|---|
| Contract Extraction | Zero-body Roslyn AST visitor (class, struct, record, interface signatures) |
| Ingestion Pipeline | Atomic JSON block parsers with strict status rollbacks |
| Identity Storage | Local .specpilot/dna.json persistent state with cold-start heuristics |
| Desktop Surface | WinUI 3 native desktop layout, zero ContentDialog popups |
| Network Policy | 100% offline execution; zero cloud API calls or runtime LLM dependencies |