Flight recorder + gradable export: any framework's trace → verifiable ledger → witnessed RL data#13

Merged

HarperZ9 merged 7 commits into

mainfrom

feat/flight-recorder

Jul 17, 2026

Commits on Jul 7, 2026

feat: forum flight recorder — any framework's trace -> verifiable ledger

Zain Dana Harper
and
claude
committed
style: ruff-clean the flight recorder falsifiers (sorted imports, drop unused merkle_root import and seqs local)

HarperZ9
and
claude
committed
fix: type the flight-recorder entry list so the merkle input is list[str] (mypy)

HarperZ9
and
claude
committed
feat: export runs as witnessed gradable-trajectory data (forum -> flywheel bridge)

HarperZ9
and
claude
committed

Commits on Jul 9, 2026

Add ledger deep-verify benchmark
HarperZ9
committed

Commits on Jul 14, 2026