arkheionx lens-list
List the implemented (and planned) protocol lenses. The first implemented lens is Fixed Credit Market.
Protocol Lens Packs
Protocol-aware deep dives, not generic review.
Protocol Lens Packs turn a general Solidity repo review into a protocol-aware research workflow. The Fixed Credit Market lens models fixed maturity, credit/debt units, offer settlement, group exposure, collateral safety, bad debt, gates, fees, and periphery bundles as review lanes and evidence requirements. A lens is a model of a protocol, not a finding, and it never runs against a live chain.
Workflow
Pick a lens, map the protocol, generate tasks, judge evidence, filter candidates.
arkheionx lens-map . --lens fixed-credit-market --scope-file scope.md
arkheionx lens-pack . --lens fixed-credit-market --scope-file scope.md --out .arkheionx/lens-pack
arkheionx lens-evidence . --lens fixed-credit-market --scope-file scope.md
arkheionx lens-report-filter . --lens fixed-credit-market --scope-file scope.mdarkheionx lens-map
Build a protocol-aware map: the extracted protocol model, the scope map, behavior promises, and economic invariants.
arkheionx lens-lanes
Generate protocol-aware review lanes from the lens plus repository surfaces and scope. Lane priority is review order, not severity.
arkheionx lens-tasks
Turn lens review lanes into precise, bounded, evidence-oriented tasks. A task is a research instruction, not an exploit instruction.
arkheionx lens-pack
Bundle a complete local lens pack: run context, scope map, protocol model, value-flow map, behavior promises, economic invariants, temporal windows, periphery bundle map, evidence map, review lanes, scope tasks, blind-spot ranking, evidence rubric, report filter, and agent input.
arkheionx lens-evidence
Classify each economic invariant's local-test coverage into one of nine evidence statuses. Evidence quality is not vulnerability validity.
arkheionx lens-report-filter
Classify report candidates against the scope before submission, with a pre-submission checklist. Not final triage; it never says 'submit now'.
First lens: Fixed Credit Market
The Fixed Credit Market lens ships 14 behavior promises, 12 economic invariants, 10 review lanes, and four temporal windows. It encodes no line numbers and no specific known bug — it is a model of expected behavior.
Planning, not verdicts
Evidence quality is not vulnerability validity. Human review required.
Private scope stays local
Private scope notes live only in local, gitignored files under .arkheionx/private/. A leak guard keeps target names out of public files, and writing a pack to a public path warns you.
Boundary
Arkheionx protocol lenses help structure research.
They do not confirm vulnerabilities. They do not replace audits. They do not run on live
chains. They do not auto-submit reports. Read the full guide in the repository's
docs/V7_5_PROTOCOL_LENS.md and docs/FIXED_CREDIT_MARKET_LENS.md.