Skip to content
View garyld1962's full-sized avatar

Highlights

  • Pro

Block or report garyld1962

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
garyld1962/README.md

Gary Davidson

Repeatable, verifiable AI-assisted software engineering. I build software with AI agents under engineering discipline — specs before code, gates that can refuse, review layers that catch what the previous layer missed — and I publish the receipts so the claims can be checked rather than taken on faith. Every repo below runs its own tests in CI; the numbers in each README are the numbers the badge proves.

How I work

  1. Verification, not trust. A completion claim carries evidence or it isn't a completion claim — commit SHA if code changed, test command and exit code if tests ran. Schemas enforce it, because prose drifts, schemas don't.
  2. Claims corroborated by commits. Execution reports are assembled from the run journal and git log; nothing is asserted without a commit to point at.
  3. Test against your own confirmation bias. Hand-authored expectations are written by the same person who wrote the code, so they get checked by differential tests against independent implementations and property-based invariants. That layering surfaces real bugs.
  4. Gates that can refuse. Plan validation returns FAIL and execution stops; only an explicit human override proceeds, and the override goes in the report. AI is a force multiplier for engineering judgment, not a substitute for it.
  5. Regenerate over patch. When a codebase is bad enough, capture its behavior in tests, then rebuild clean-room from that specification instead of patching around the defects.

Published work

Verifiable delivery · opening-dojo — a chess opening trainer built end-to-end by a multi-agent pipeline, with the PRD, plan, parallel agent lanes, five review passes, traceability matrix, and postmortem all committed. 86 tests in CI.

Regenerate-don't-patch · gorules → rustrules — a 2016 Go rules engine audited by four AI specialists (37 findings), test-rehabbed 29→124 to pin down real behavior, then regenerated clean-room in Rust: 12+ bugs fixed, 15 operators added. 124 and 121 tests in CI.

Applications · the-strand — a Go literary-analysis engine with a provenance-linked pipeline, deterministic replay providers, and release gates · tonewise — a native iOS ear trainer teaching relative pitch numerically, 93 tests over the domain engines.

More publishing as it clears review — MCP servers, evaluation harnesses, and the methodology skill library behind the workflow above.

Lab

Work runs on a five-machine homelab: a Ryzen 9950X3D / RTX 5090 workstation for local inference and agent runs, an Apple Silicon node for always-on inference, and an Ubuntu server for reverse proxy, monitoring, and storage — with local LLM serving, vector search, and speech-to-text self-hosted.

📍 Boone, NC · savviety.ai

Popular repositories Loading

  1. gorules gorules Public

    Go business-rules engine (2016) — the 'before' half of a regenerate-don't-patch case study: AI multi-specialist audit (37 findings), test rehab 29→124, then clean-room regeneration as rustrules

    Go 9 3

  2. the-strand the-strand Public

    Go literary-analysis engine for detective fiction — provenance-linked structural pipeline over the Sherlock Holmes canon, with deterministic replay providers and release gates

    Go 1

  3. rustrules rustrules Public

    Rust business-rules engine with a custom DSL — clean-room regeneration of gorules: 12+ audited bugs fixed, 15 operators added, 121 tests

    Rust

  4. resolve resolve Public

    AI-native strategic decision log companion to Linear

    TypeScript

  5. tonewise tonewise Public

    Native iOS ear trainer that teaches relative pitch numerically — scale degrees and patterns against a movable tonic, 93 tests over the domain engines

    Swift

  6. savviety-instinct savviety-instinct Public

    Local-first static-analysis CLI that measures what linters miss: cognitive opacity and ravioli fragmentation. tree-sitter parsing, SQLite trend store, 461 tests / 91% coverage

    Python