Skip to content
View Hardonian's full-sized avatar

Block or report Hardonian

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. 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
Hardonian/README.md
Hardonia production AI systems: observe, control, execute, prove, and reconcile

Focus: Applied AI & Platform Infrastructure Architecture: Postgres RLS & eBPF Role: Solutions Architect at McGraw Hill Connect with Scott Hardie on LinkedIn

Scott Hardie

Senior Applied AI / Platform Engineer · Distributed Systems · Enterprise Architecture

Toronto, Canada · LinkedIn · Email

I build the systems around foundation models that make them safe to operate: policy-gated tool execution, tenant-isolated data, measurable inference cost, observable workflows, and evidence you can replay.

Target roles: Senior/Staff Applied AI Engineer · AI Platform Engineer · Distributed Systems Engineer · Solutions Architect

Interested in: teams shipping high-assurance AI, developer platforms, agent infrastructure, and enterprise-scale systems.

APPLIED AI · DISTRIBUTED SYSTEMS · MCP · POSTGRESQL RLS · eBPF SANDBOXING · FORMAL VERIFICATION


Why I am a strong engineering hire

  • I bridge architecture and implementation. I can align stakeholders on a system boundary, then build the Go, Rust, TypeScript, Python, database, and CI pieces that make the boundary real.
  • I treat AI as a production systems problem. Models are useful; the surrounding controls determine whether a system is reliable, secure, affordable, and supportable.
  • I make claims inspectable. My public work includes specifications, benchmarks, negative security tests, formal models, conformance vectors, and CI quality gates—not just screenshots or demos.
  • I understand enterprise delivery. My work spans customer-facing architecture, identity and data integrations, institutional security, procurement conversations, and the operational constraints that decide whether a system ships.

What I build

Area How I approach it Public proof & releases
AI platform and agent infrastructure Keep the model unprivileged; put capability discovery, authorization, retries, budgets, and side effects behind explicit services. ReadyLayer · FORGE (v1.0.0) · agent-infra
ML infrastructure and compiler quality Turn numerical discrepancies into minimized, reproducible, portable evidence for JAX/OpenXLA investigations. XLAxiom
Secure multi-tenant & kernel systems Enforce tenant boundaries in the database kernel with PostgreSQL RLS and isolate untrusted execution with ZK-proved eBPF sandboxes. Settler (v1.8.0) · zerokernel (v1.0.0)
Inference economics and operations Measure tokens, latency, routing, and spend in sub-millisecond streams; use hard quotas and fallbacks to keep inference predictable. TokenGoblin · TokPulse (v3.0.0)
Reliable distributed execution Specify state transitions, backpressure, ordering, and capability rules; validate implementations against Quint formal models. veridag · ControlPlane
Formal methods and automated reasoning Combine exact computation, SAT solving, counterexample search, and Lean 4 kernel-checked witnesses. GRAPH-Lab · SAT-Frontier (v0.2.9)

Start here

If you are reviewing this profile for a role, these are the fastest paths to signal:

  • Flagship portfolio — systems spanning ML infrastructure, AI governance, LLM FinOps, distributed execution, enterprise data, and formal methods.
  • Architecture and technical writing — how I reason about production AI beyond model selection.
  • Working stack — the languages, data systems, inference tooling, and infrastructure I use.
  • About and contact — current role, enterprise background, and the best way to reach me.

Architecture at a glance

Production AI needs deterministic boundaries around probabilistic components. The model proposes; typed policy services decide what may happen; execution systems perform only authorized work; evidence makes the result inspectable.

Hardonian Control Plane Architecture

Intelligence can be probabilistic. Infrastructure cannot.

Engineering principles

  • Evidence over confidence: if a run cannot be inspected or replayed, it is not production-ready.
  • Determinism at the edges: keep probabilistic behavior inside explicit schemas, policies, state machines, and execution limits.
  • Security in the kernel: enforce tenant isolation and authorization where a missed application check cannot bypass them.
  • Boring reliability wins: idempotency, retries, observable queues, and clear failure paths beat hidden cleverness.
  • Cost is a correctness constraint: runaway inference spend is an operational failure, not merely a finance problem.
Production failure modes & kernel mitigations
Failure Mode Why Naïve Wrappers Fail Hardonia Kernel / Protocol Mitigation Public Proof
Prompt-injected cross-tenant read/write Application-layer WHERE tenant_id = ? filters can be omitted by generated queries or bypassed by tool bugs. Session-scoped JWT claims enforced directly in the PostgreSQL kernel via FORCE ROW LEVEL SECURITY and verified by automated negative tests. Settler · RLS Note
Unauthorized tool execution & privilege creep Giving the model direct API credentials lets an injected prompt invoke destructive side effects. Unprivileged planner emits typed intent; an external MCP policy gateway validates capability scope and mints single-use approval tokens. ReadyLayer · MCP Note
Runaway agent loops & unmeasured token spend Retries and multi-step tool loops compound latency and cost before billing alerts fire. Sub-millisecond token ingestion, tenant-level hard quota circuit breakers, and deterministic fallback model routing. TokenGoblin · TokPulse
Out-of-order distributed state mutation Concurrent workers and network retries violate causal ordering when state transitions are implicit. Quint state-machine specifications, capability-checked causal DAG transitions, and cross-language conformance test vectors. veridag · ControlPlane
Silent compiler numerical divergence Floating-point discrepancies inside large JAX/OpenXLA graphs are intractable to debug manually. Automated HLO graph delta-minimization that isolates minimal, portable numerical reproducers. XLAxiom
Unverified mathematical or algorithmic claims Heuristic search scripts can misreport extremal bounds without machine-checked proof obligations. Python counterexample search and SAT solving paired with Lean 4 kernel-verified proof witnesses (Zero Axioms). GRAPH-Lab · SAT-Frontier

Proof-backed systems

These four repositories are the most representative public evidence of how I work. The table is generated from a versioned manifest, checked against GitHub weekly, and separates released, beta, and research work.

Public project metadata last verified 2026-11-06 · source manifest · verification policy

Project Problem Public evidence
TokenGoblin · Go
Measure · beta
View TokenGoblin GitHub Actions CI workflow
LLM workloads need cost, usage, and routing data before teams can control inference spend. Public ingestion benchmarks, cost and routing tests, and a repository-level CI workflow.
Architecture · Evidence
ReadyLayer · TypeScript
Govern · beta
View ReadyLayer GitHub Actions CI workflow
AI-assisted delivery needs policy, review, and evidence before generated changes reach production. Public policy contracts, evidence export documentation, test suites, and CI quality gates.
Architecture · Evidence
veridag · Rust
Prove · research
View veridag GitHub Actions CI workflow
Distributed execution needs explicit ordering, capability security, and cross-language conformance. A public protocol specification, Quint formal models, test vectors, and dedicated conformance workflows.
Architecture · Evidence
Settler · TypeScript
Reconcile · stable
View Settler GitHub Actions CI workflow
Payment, banking, and operational records diverge unless matching and evidence rules are explicit. Multi-tenant reconciliation engine v1.8.0, 20+ CI gates, public benchmark suite, and cryptographically verified release artifacts.
Architecture · Evidence

View Profile evidence checks GitHub Actions workflow


Technical writing

I publish architecture notes that are grounded in the systems above:

  1. Building Safe Multi-Tenant AI Agents with Postgres RLS — why application-level filtering fails in autonomous workflows, and how to enforce tenant boundaries in PostgreSQL.
  2. Enterprise Tool Calling: Why Authorization Belongs Outside the Model — policy-gated MCP reverse proxies, unprivileged planners, and single-use approval tokens.
  3. From Prototype to Production: Architecture for Enterprise AI Agents — model abstraction, execution boundaries, CI evaluations, observability, and token-spend governance.
  4. Hardonia Architecture Playbook — system topology, bounded contexts, operating loops, and evidence verification.

Working stack

Languages & systems
Rust Go Python TypeScript


Data, security & observability
PostgreSQL RLS Supabase Redis OpenTelemetry


AI, agents & infrastructure
Model Context Protocol NVIDIA CUDA PyTorch Docker Kubernetes Linux

Local compute and inference lab

I run a private, owned testbed for local model routing, quantized inference, image/video workflows, and failure-mode testing. The hardware includes an AMD EPYC 7452 server, AMD Ryzen AI 9 HX370 NPU/GPU compute, NVIDIA V100/P40/RTX 3060 accelerators, Ollama-compatible routing, ComfyUI, containers, and Prometheus/Grafana-style observability.

Public implementation lives primarily in model-tools, autopilot, and api-tools.

Verify the profile locally
git clone https://github.com/Hardonian/Hardonian.git
cd Hardonian
uv run python -m unittest discover tests -v
uv run python scripts/profile-metadata.py --check --verify-remote
uv run python scripts/profile-link-audit.py

The checks reject stale project metadata, missing public evidence, broken local assets, and dead links.


About

I am a Solutions Architect at McGraw Hill and build Hardonia independently from Toronto. My work combines enterprise architecture and hands-on systems implementation: customer-facing technical strategy, distributed control planes, formal models, production TypeScript applications, and PostgreSQL isolation.

I also contribute part-time expertise to confidential frontier-AI evaluation and systems initiatives; client, model, dataset, and internal research details remain private.

Selected background:

  • Enterprise integrations across identity providers, message buses, LMS/SIS/ERP platforms, and legacy data exchanges.
  • Working knowledge of LTI 1.3 Advantage, OneRoster 1.2, OAuth 2.0, Keycloak OIDC, SCIM, MCP, and OpenTelemetry trace propagation.
  • Institutional security and compliance conversations, including FERPA and SOC 2 requirements.
  • President's Award for Sales Excellence, reflecting the ability to turn difficult technical work into customer and business outcomes.

Let’s talk

Hiring managers and recruiting teams: the best way to reach me is LinkedIn or email. I am especially interested in roles where I can help turn ambitious AI capabilities into reliable platform primitives and shipped products.

If you are evaluating the engineering work first, start with TokenGoblin, ReadyLayer, veridag, or Settler, then follow the architecture links in each project.

Connect with Scott Hardie on LinkedIn Send an email to Scott Hardie


Hardonia · local compute · deterministic control · verifiable outcomes

Pinned Loading

  1. XLAxiom XLAxiom Public

    Open-source differential testing, automated failure minimization, and reproducible regression analysis for JAX, OpenXLA, and ML compilers

    Python

  2. GRAPH-Lab GRAPH-Lab Public

    Graph-theoretic discovery and formal verification laboratory: an exact enumeration/counterexample engine (Rust), a Python control plane, and a Lean 4 / Mathlib proof pipeline with a kernel-checked …

    Rust

  3. UNIFORM UNIFORM Public

    UNIFORM Lab is an exact-arithmetic computational research platform, automated discovery engine, and formal machine-checked verification framework for finite multiplayer quitting games and small sto…

    Python

  4. Canada-Economic-Opportunity-Graph Canada-Economic-Opportunity-Graph Public

    Know what Canada is building before everyone else does. Follow Canadian capital before it becomes Canadian construction.

    Go

  5. WhatsForDinner WhatsForDinner Public

    A personalized meal planning and dinner recommendation app powered by AI that answers one simple daily question: “What’s for dinner tonight?” It learns user taste preferences, available ingredients…

    TypeScript

  6. Applied-Agentic-Runbooks Applied-Agentic-Runbooks Public

    Applied AI notebooks: OpenAI SDK, n8n, CrewAI, local automation, solution architecture.

    Python