nklzero / nukli-strat Star 0 Code Issues Pull requests Discussions Deterministic, verifiable type system and framework for reproducible, cross-language schemas and truth-preserving computation. verification idl schema-language reproducible-builds cross-language c-abi meta-architecture nukli deterministic-language Updated Nov 6, 2025