Reference implementation of the Neander v1 runtime: an embeddable, security-critical TypeScript/Node.js library that executes programs written by AI agents in Neander, a safe-by-construction language, within isolated worker threads under strict resource budgets.