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].
- Getting startedThe intended workflow and current status.
- How it worksThe six-stage pipeline, in order, in detail.
- Protection passesAll twelve passes: mechanism, scope, threat model, verification.
- Exclusions & configurationEvery exclusion profile, keep rules, trial mode, CLI flags.
- CompatibilityJDK range, platforms, frameworks, build integration.
- Security modelAdversary tiers and non-goals.
- Known limitationsEvery unsupported bytecode shape, and how it fails.
- LicensingHow a licence maps to a project.