PROOFGRAPH

PROOFGRAPH is an interactive evidence router for Aaryan Patel's public engineering work. It does not add another unsupported portfolio claim. It connects selected claims to the attack that challenges them, the oracle that decides them, the measurement, the stated limitation, the exact source revision, and a downloadable signed failure receipt.

Each route opens its matching WITNESS capsule. WITNESS now exposes eight receipt-bound implementations across systems, ML, autonomy, quant, vector search, SAR imaging, VIO, and numerical differentiation.

Live: asp53826.github.io/proofgraph

Evidence contract

Each of the four hiring routes contains the same seven stages:

1. Claim — a narrow engineering statement.
2. Attack — a deterministic failure or adversarial input.
3. Oracle — the exact test or checker that decides the claim.
4. Measure — the observed, scoped result.
5. Boundary — the regime the result does not cover.
6. Source — the immutable implementation revision.
7. Receipt — a serialized artifact from COUNTEREXAMPLE v1.0.0.

The interface supports keyboard traversal, deep links, search, a guided trace, printable recruiter packets, and JSON route export.

Run locally

npm install
npm run dev

Verify the same path used by deployment:

npm run check

Evidence source

Receipts are published by asp53826/counterexample. The UI links directly to exact source commits and cited test lines. Measurements remain scoped to their documented simulators, fixtures, and environments.

Design notes

The interface uses a deterministic SVG/CSS evidence lattice instead of a graph dependency. Motion is limited to path traversal and respects prefers-reduced-motion. The print view produces a one-page role-specific packet without a server or account.

MIT