Skip to content

Arkheionx v7.5.0 — Protocol Lens Packs

Choose a tag to compare

View all tags
@Yudis-bit Yudis-bit released this 13 Jun 04:23
· 27 commits to main since this release
v7.5.0
fdb01be

v7.5.0 — Protocol Lens Packs (Morpho Midnight)

Ships in the v7.5.0 package. The package version is 7.5.0; the protocol-lens
layer additionally carries its own lens schema version for its JSON artifacts. Nothing in
the v4 review-map workflow or the v5/v6/v7 commands changes. Local/static and
heuristic: no RPC, no live-chain calls, no transaction execution, no private keys,
no exploit automation, no external AI API calls, no severity, and no vulnerability
claims.

V5 shows where to look. V6 shows what is proven, unresolved, and still uncovered.
V7 turns audit scope into review lanes, tasks, evidence requirements, and report
filters. V7.5 adds protocol lenses, which model a specific protocol family so
the lanes, tasks, and evidence requirements are protocol-aware.

Added

  • A reusable protocol-lens architecture under arkheionx/protocol_lens/: typed
    models, a ProtocolLens base class, a registry, an extractor, builders for
    lanes/tasks/evidence/blind-spots/report-filter, pure-Python renderers, and a
    pack writer.
  • The first lens, Morpho Midnight (morpho-midnight): a fixed-maturity credit
    market modeled with 14 behavior promises (PROMISE-MM-01..14), 12 economic
    invariants (INV-MM-01..12), 10 review lanes (LANE-01..10), four temporal windows,
    and five extraction groups.
  • New commands: lens-list, lens-map, lens-lanes, lens-tasks, lens-pack,
    lens-evidence, lens-report-filter. Each accepts --lens (default
    morpho-midnight), --scope-file, --out, --top, --json, --no-write.
  • lens-pack generates a 16-file local pack (00-run-context .. 13-report-filter,
    agent-input.md, and a machine-readable lens-pack.json).
  • Nine evidence statuses, an A-F evidence rubric with six decisions, a transparent
    blind-spot score, and a 15-point report-filter checklist with six outcomes.
  • A synthetic toy fixture, tests/fixtures/morpho_midnight_toy/ (invented
    contracts, not Morpho source), and tests for the registry, lens model, scope
    parser, pack generation, lanes, tasks, evidence map, report filter, and the
    private-scope leak guard.
  • Docs: docs/V7_5_PROTOCOL_LENS.md and
    docs/MORPHO_MIDNIGHT_LENS.md, plus a website
    page.

Boundaries

A lens is not a finding. A review lane is not a vulnerability. An evidence score is
not vulnerability validity. A candidate with evidence is not confirmed. Lane and
task priority are not severity. The report filter never says "submit now". Human
review is required for every conclusion. No protocol source is modified.

Assets 4
Loading