Alex Tavor

Building reliable, observable systems, explaining the how

This is the page of my Proof-Driven-Development work - projects made with a tightly gated and constrained AI. This is an evolving, experimental methodology, and the page is often updated with new projects and findings.

GitHub ยท LinkedIn

PDD

  • Explorer An interactive map of the method: every rule, how they reinforce each other, and where each gate fires. The PDD Explorer, taxonomy view
  • Plan The build plan as a live gantt: the method's own self-application, by phase, dependency, and critical path. The PDD Plan gantt
  • Gallery The method run across real codebases, with the MAP findings per project. The PDD Gallery, analysis results
  • Discipline The method's portable core as a reference: 23 stack-independent engineering skills in full, grouped by theme. The Engineering Discipline reference, skills grouped by theme with provenance links

Code

  • chdr The orchestrator, with a post-mortem.
  • cave-public A browser-based simulation game on a custom data-driven engine.
  • rapport Local-only analysis and graphing of relationships from text chat dumps.
  • dod A dashboard of dashboards: one supervisor that launches and frames every local dashboard in one admin UI.

Writing