Reference on Sekura https://sekura.world/categories/reference/ Recent content in Reference on Sekura Hugo -- 0.147.7 en-us Sun, 27 Sep 2026 00:00:00 +0500 Compatibility and Versioning https://sekura.world/sekura-js/compatibility-versioning/ Sun, 27 Sep 2026 00:00:00 +0500 https://sekura.world/sekura-js/compatibility-versioning/ Version markers, artifact compatibility, release platforms, and documentation version policy for Sekura JS. Diagnostics and Exit Codes https://sekura.world/sekura-js/diagnostics-and-exit-codes/ Sun, 27 Sep 2026 00:00:00 +0500 https://sekura.world/sekura-js/diagnostics-and-exit-codes/ Versioned reference for diagnostics, output streams, and process exit codes in sekura-js and sekura-sjv. Known Limitations https://sekura.world/sekura-js/known-limitations/ Sun, 27 Sep 2026 00:00:00 +0500 https://sekura.world/sekura-js/known-limitations/ Versioned list of known user-facing limitations in the Sekura JS compiler, SJV verifier, SystemVerilog profile, and artifact formats. Licensing https://sekura.world/sekura-js/licensing/ Sun, 27 Sep 2026 00:00:00 +0500 https://sekura.world/sekura-js/licensing/ Public summary of Sekura JS proprietary licensing, binary use and redistribution, third-party components, and user-created SJP artifacts. Releases and Changelog https://sekura.world/sekura-js/releases-changelog/ Sun, 27 Sep 2026 00:00:00 +0500 https://sekura.world/sekura-js/releases-changelog/ Development history and release-note policy for Sekura JS, SJV, SJP, and compatibility changes. Sekura JS Generated Artifacts https://sekura.world/sekura-js/generated-artifacts/ Sun, 27 Sep 2026 00:00:00 +0500 https://sekura.world/sekura-js/generated-artifacts/ Files written by sekura-js and sekura-sjv, and how the compiler outputs fit together. sekura-js Command-Line Reference https://sekura.world/sekura-js/sekura-js-cli/ Sun, 27 Sep 2026 00:00:00 +0500 https://sekura.world/sekura-js/sekura-js-cli/ Implemented commands, options, inputs, outputs, and exit statuses for sekura-js. sekura-sjv Command-Line Reference https://sekura.world/sekura-js/sekura-sjv-cli/ Sun, 27 Sep 2026 00:00:00 +0500 https://sekura.world/sekura-js/sekura-sjv-cli/ Implemented SJV verification, SJP generation and replay, SystemVerilog options, and signing commands. System Requirements https://sekura.world/sekura-js/system-requirements/ Sun, 27 Sep 2026 00:00:00 +0500 https://sekura.world/sekura-js/system-requirements/ Target platforms, source-build prerequisites, and runtime tools for sekura-js and sekura-sjv. Third-Party Notices https://sekura.world/sekura-js/third-party-notices/ Sun, 27 Sep 2026 00:00:00 +0500 https://sekura.world/sekura-js/third-party-notices/ Third-party libraries, solvers, extension test dependencies, and implementation provenance recorded for Sekura JS.