Protocol model
Behavior promises the protocol family appears to rely on.
Protocol-aware review
Make the review protocol-aware.
A protocol lens models a protocol family — its value flows, behavior promises, economic invariants, and temporal windows — so the review lanes, tasks, and evidence requirements become protocol-aware. The engine stays generic; a lens adds context, not target-specific knowledge.
Run it
Add a lens to the review.
arkheionx lens-list
arkheionx review . --scope-file scope.md --lens fixed-credit-market --out .arkheionx/reviewEconomic invariants
Conditions that should hold for the family to stay solvent.
Temporal windows
Time-based behavior such as maturity or settlement.
Lens review lanes
Review lanes tuned to the protocol family.
Lens evidence tasks
Evidence tasks tuned to the protocol family.
What it does not mean
A lens is a model, not a finding.
A lens encodes no line numbers and no specific known bug. It does not confirm
vulnerabilities, assign final severity, or replace an audit, and it never runs against a
live chain. The first lens is the generic Fixed Credit Market family. Human review is
required. See docs/PROTOCOL_LENS_PACKS.md.