Sekura JS Documentation on Sekura https://sekura.world/sekura-js/ Recent content in Sekura JS Documentation 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. Getting Started with Sekura JS https://sekura.world/sekura-js/getting-started/ Sun, 27 Sep 2026 00:00:00 +0500 https://sekura.world/sekura-js/getting-started/ Build Sekura JS from a licensed source checkout, compile an SJS module, and run a verified SystemVerilog-to-SJP example. 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 and SJV Examples https://sekura.world/sekura-js/examples/ Sun, 27 Sep 2026 00:00:00 +0500 https://sekura.world/sekura-js/examples/ Versioned examples for compiling Sekura JS, proving a supported SystemVerilog contract, and creating and checking a signed SJP. 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. SJP Package Format (Current Implementation) https://sekura.world/sekura-js/sjp-format/ Sun, 27 Sep 2026 00:00:00 +0500 https://sekura.world/sekura-js/sjp-format/ The SJP v2 ZIP package currently written and replayed by sekura-sjv. SJP Signatures and Verification https://sekura.world/sekura-js/sjp-signatures/ Sun, 27 Sep 2026 00:00:00 +0500 https://sekura.world/sekura-js/sjp-signatures/ Implemented Ed25519 signing, explicit public-key matching, and SJP replay behavior. SJV SystemVerilog Subset Reference https://sekura.world/sekura-js/sjv-sv-systemverilog/ Sun, 27 Sep 2026 00:00:00 +0500 https://sekura.world/sekura-js/sjv-sv-systemverilog/ Version 1.0 reference for SystemVerilog currently accepted and verifiable by sekura-sjv. SJV Verification Language Reference https://sekura.world/sekura-js/sjv-language-reference/ Sun, 27 Sep 2026 00:00:00 +0500 https://sekura.world/sekura-js/sjv-language-reference/ Version 1.0 reference for the SJV verification specification format. 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. Sekura JS Language Reference https://sekura.world/sekura-js/language-reference/ Sat, 26 Sep 2026 00:00:00 +0500 https://sekura.world/sekura-js/language-reference/ Reference for the Sekura JS source language as implemented by the Sekura JS compiler.