Protocol surface
The reviewable shape of a protocol: contracts, actors, permissions, dependencies, value movement, assumptions, and evidence.
Concepts
ArkheionX is built around a simple idea: security review needs reproducible context before it needs conclusions. These concepts define the context the tool is meant to preserve.
The reviewable shape of a protocol: contracts, actors, permissions, dependencies, value movement, assumptions, and evidence.
An actor or authority that can affect protocol behavior, such as owner, admin, keeper, user, oracle, governance, or emergency role.
A route where assets, shares, rewards, collateral, or accounting value can move through the system.
A condition the protocol appears to rely on, such as oracle freshness, access control correctness, accounting invariants, or timing behavior.
A review-relevant behavior that appears important but is not clearly covered by tests or deterministic fixture checks.
A reference that connects review context back to source files, fixtures, snapshots, or generated artifacts.
A structured set of artifacts that helps humans inspect what was reviewed, what changed, and what still needs judgment.
A change between expected deterministic output and newly generated output.
A deterministic identifier that helps track the source inputs used to generate artifacts.
Important
A role, assumption, value path, or test gap is review context. It is not automatically a vulnerability. Human validation is required before any security conclusion.
Read safety model