▶ ENTER THE LAB  ·   BREAK A RAFT CLUSTER  ·   INSPECT THE SOURCE  ·   RÉSUMÉ  ·   EMAIL

I build systems that can show where—and why—they fail.

• What I build: systems in C++ and Python, including consensus, storage engines, query planners, LLM inference and GPU compilers. Each one ships with a test suite, a named baseline, and the regime where it breaks.
• Strongest evidence: raft-mvcc passes 598 assertions under seeded faults · vllm-lite reaches 2.9× throughput at 94% KV-cache use · track-fusion cuts localization error 47% in its published regime.
• Now: UGA computer science, graduating December 2026 · industrial data engineering at MP Equipment · open to full-time systems and ML infrastructure roles.

_{↑ Not a mockup. A GitHub Action opens the live site in a real browser, steers it, and re-films this window whenever the site changes.}

FAULTLINE: the real C++17 Raft + MVCC engine in WebAssembly. Isolate the leader, watch two leaders appear in different terms, then heal and verify repair.	SIGNALROOM: measured replays of the published tracking results, with truth, measurements and estimates kept separate, including the regime where the estimator loses.

SHORT GAMMA ▶: you inherit a short-volatility book with ten days to the close. Every Greek on screen comes off the aad-greeks reverse-mode tape, and one number is wrong on purpose.	ORDER BOOK ROYALE ▶: eight seats, one live order book, four minutes, last trader standing. It runs on the lob-market-making matching engine.

WITNESS verifies eight canonical receipts, runs each pinned C++/WebAssembly, TypeScript, or Python implementation inside the browser, compares the observed trace with its oracle, and emits a local run receipt. The local receipt is explicitly unattested; release provenance remains bound to COUNTEREXAMPLE.

Read the 23-page technical monograph · Inspect the GitHub edition · Download the Word edition

The publication formalizes WITNESS as an executable-evidence system through a threat model, eight capsule studies, eleven original diagrams, artifact-review readiness, explicit limitations, and a pinned identity register. It is independent technical documentation, not an awarded degree or peer-reviewed thesis.

Explore the results · Inspect the source · Read the modeling notes

An independent extension of Microsoft Vidur for proposal generation, target-model verification, accepted-token progress, and lookahead KV memory. The interactive page explores a 39-row simulator sweep where the verify-attention assumption can reverse whether speculation appears beneficial. These are predictions; real GPU validation is pending. The repository includes a matched-workload vLLM validation harness and 68 passing unit and fake-server tests; one additional end-to-end test requires a trained predictor cache.

Each route is a short, role-specific path through live systems, source, tests, measured evidence, and the regime where the result stops holding.

PROOFGRAPH is the interactive router across those routes: choose a hiring lens, then traverse one claim through its attack, oracle, measurement, boundary, exact source revision, and signed receipt.

Twelve losing regimes from eight public engines live in one constrained failure register. Each capsule binds the mechanism, attack, oracle, limitation, exact source revision, downloadable receipt, and GitHub-signed stable release.

Operate the register · Inspect the source · Verify the release · Submit a bounded counterexample

FaultGraph is a causal incident analysis workbench for operating on evidence rather than decorating a postmortem. It combines a FastAPI service, typed event contracts, checksum-addressed SQLite experiments, server-sent events, and a React/TypeScript forensic console.

The model is deliberately bounded: it ranks evidence and executes explicit interventions; it does not claim unrestricted causal discovery from arbitrary observational logs.

Inspect the workbench · Read the architecture · Audit the research protocol · Verify CI

git clone https://github.com/asp53826/raft-mvcc && cd raft-mvcc && make test
git clone https://github.com/asp53826/edgar-mcp && cd edgar-mcp && make test
git clone https://github.com/asp53826/track-fusion && cd track-fusion && python -m pip install -e '.[dev]' && python -m pytest -q

Build the mechanism. Attack the assumption. Measure against a named baseline. Publish the boundary. Bind the evidence to source.

The portfolio is organized as an engineering laboratory, not a gallery of screenshots. The interactive pages expose controls; the repositories expose implementation and tests; the evidence manifest records commands, units, and limitations.

Inspect source-backed telemetry and delivery

The daily workflow reads public source and counts test functions without a third-party stats card or page-load API call. Parametrized and looped suites execute more checks than the function count—for example, raft-mvcc alone executes 598 assertions.

Portfolio Ops maintains the public systems through eight auditable roles: repository verification, benchmark evidence, dependency care, documentation checks, demo monitoring, verified releases, achievement-state monitoring, and profile curation. Automation uses the GitHub Actions bot identity, retains raw evidence, and does not manufacture human contributions or interact with third-party repositories.

Patch dependency updates may auto-merge only after repository checks pass. Source changes, major upgrades, external contributions, benchmark claims, and account or legal decisions remain outside the autonomous boundary.

This block is regenerated only when GitHub's repository, release, or workflow data changes.

aaryansp26@gmail.com · Systems résumé · Systems Observatory · LinkedIn

Engineering OS · Proof tours · PROOFGRAPH · Evidence manifest

UGA computer science, December 2026. Industrial data engineering at MP Equipment. Every system above is MIT licensed: clone one, run the benchmark, and inspect the regime where it breaks.

_{All profile visuals are first-party SVGs generated in this repository; the play layer comes from scripts/arcade.py. Every animation is plain CSS and stops under prefers-reduced-motion. Psst: there is a secret level above the contact links.}