Browse documentation
Documentation

Documentation

A reference for RJNI's verified behaviour. Each page below covers one concept: what it does, its scope, where it fits in the pipeline, and what has been checked against unmodified third-party code.

Status. RJNI has not yet shipped a packaged, publicly installable build. This documentation describes the tool's verified pipeline and its intended external interface. There is no binary to download yet. See Getting started. To discuss early access, contact [email protected].
  1. Getting startedThe intended workflow and current status.
  2. How it worksThe six-stage pipeline, in order, in detail.
  3. Protection passesAll twelve passes: mechanism, scope, threat model, verification.
  4. Exclusions & configurationEvery exclusion profile, keep rules, trial mode, CLI flags.
  5. CompatibilityJDK range, platforms, frameworks, build integration.
  6. Security modelAdversary tiers and non-goals.
  7. Known limitationsEvery unsupported bytecode shape, and how it fails.
  8. LicensingHow a licence maps to a project.