PROOF LEDGER

More exhibits.

A proof log of real sessions. Real diffs, reproducible commands, agent-verified outcomes.

BENCHMARKS Β· SCALE TARGETS

Loctree on production-grade trees.

One cold local run is recorded below; it is not a cross-machine speed guarantee. Other entries are future scan targets, not measurements.

Measurement receipt Β· source, tool, method, limits β†’

SCAN TARGETSLoctree Β· 3678b992Go stdlibRust compilerCPythonNode.jsTauriTypeScript compiler

Loctree Β· 3678b992

FILES
887
SCAN
3.93s
SURFACES
1,219 imports

loct 0.14.5 Β· 2026-10-14 Β· macOS arm64 Β· one cold run

Go stdlib

FILES
not measured
SCAN
preview
SURFACES
β€”

Pure Go, deeply nested packages. Scan target.

Rust compiler

FILES
not measured
SCAN
preview
SURFACES
β€”

rustc tree β€” large workspace stress test.

CPython

FILES
preview
SCAN
preview
SURFACES
β€”

Python interpreter sources + stdlib.

Node.js

FILES
preview
SCAN
preview
SURFACES
β€”

Mixed JS + C++ β€” multi-language sensor exercise.

Tauri

FILES
preview
SCAN
preview
SURFACES
β€”

Rust ↔ TS bridge. Command graph validation.

TypeScript compiler

FILES
preview
SCAN
preview
SURFACES
β€”

Self-hosting compiler tree, deep TS-only graph.

CONTRIBUTE

Open a PR. Submit a case. Add a benchmark.

Evidence works because it's reproducible. Bring yours.