Proof documentation

Docs

Start with the current proof packet and evidence framework. Deep implementation docs remain available in the repository; public claims route through labeled artifacts, context, and caveats.

Evidence Labels

Definitions for LIVE_MEASURED, HARDWARE_VALIDATED, SOFTWARE_VALIDATED, FORMAL_PROOF, SYNTHESIS_VALIDATED, PROJECTED, CONCEPTUAL, and ROADMAP.

Current Proof Packet

Public proof story, evidence labels, artifact interpretations, and current claim boundaries.

Hardware Validation

Separation of live hardware proof, hardware validation, synthesis output, and roadmap hardware work.

Roadmap

Live today, near-term evaluation path, and roadmap concepts with explicit proof boundaries.

Design Partners

Proof-review reservation, technical-evaluation scoping, qualification questions, and expected deliverables.

Claims Registry

Current source of truth for public claim labels, artifact paths, and publication status.

Historical articles and technical notes may include exploratory examples, synthesis figures, or modeled comparisons. Treat performance, power, savings, customer, production, and deployment claims as public-safe only when they are linked to measured artifacts or explicit evidence labels. Start with the current docs or evidence-label definitions.

Hardware Proof