Assurance Sekura JS establishes an initial, inspectable evidence base for selected properties of compiled programs. This article explains the source-to-object-to-contract chain, the current evidence across five language areas, optimization profiles O0–O4, restricted preconditions, and why test results, formal proofs, signatures, and SMT replay must not be conflated.
Current CLI, SJP, SOBJ, and proof-semantics version markers, with compatibility behavior tied to the implementation snapshot.
Current CLI status behavior for compiler, verifier, SJP generation and replay, with guidance for shell scripts and CI.
A first-use walkthrough for building sekura-js and sekura-sjv, compiling Sekura JS, checking a contract, signing an SJP, and replaying it.
Important boundaries and unsupported cases confirmed in the current source snapshot.
A plain-language guide to the license terms for Sekura JS and related artifacts.
Current unreleased source snapshot and a consistent structure for future versioned product releases.
Copyable examples verified against the current SekuraJS implementation, with the known SJS/SOBJ proof limitation called out.
Implemented artifact reference for SJS compilation, assembly, module metadata, SJP packages, and Ed25519 key files.
Full Sekura JS proprietary software license.