Show HN: Pure State Compile – one requirement sentence to C, C++ or Ada source

A web service that deterministically turns a single English requirement sentence into typed source code across eleven targets (C, C++, Rust, Go, Python, TypeScript, Ada, SPARK, Structured Text, VHDL and SystemVerilog). A small fixed grammar (actor→action→object, optional via, conditions, sequences and mode switches) is parsed by a rule-based compiler that emits code where each action maps to a declared operation, each condition becomes an explicit guard, and every error return is checked. Each compile yields the generated source, a SHA‑256 of the exact bytes (reproducibility guarantee), and parse/flagging information when the sentence leaves gaps (for example an unnamed actor or an irreversible operation with no guard). The service asserts it never sends specs to external AI models and aims for typical compile latency under 100 ms.

Outputs are geared to auditability and safety certification workflows: a requirement-to-code traceability matrix, MISRA‑C screening, an ISO 26262 TCL‑1 classification, a DO‑178C tool‑qualification pack and ReqIF/CSV/HTML exports that integrate with DOORS/Polarion. Accounts add persistent workspaces, compile history, organization API keys, SSO and two‑factor controls, and plan limits only throttle usage not compiler behavior. The artifacts are presented as input for assessors rather than as a substitute for formal certification.