ENTER COUNTEREXAMPLE  ·   RUN WITNESS  ·   READ MONOGRAPH  ·   OPEN PROOFGRAPH  ·   OPEN ENGINEERING OS  ·   TAKE A PROOF TOUR  ·   RÉSUMÉ  ·   EVIDENCE MANIFEST

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.

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

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. Motion is limited to signal flow and respects prefers-reduced-motion.}