epistemic-engineering

Lean governance for AI-assisted development: requirements tracking, test enforcement, epistemic context compression, auditable evidence, Grace local REPL, and coding-agent integrations.

Certified log-concavity of the Riemann-Jacobi kernel with Arb/FLINT ball-arithmetic certificates. Source-critical audit of the Polya-type real-zero criterion. No unconditional RH claim.

Single-page reference card: eight failure modes of AI-augmented knowledge work, each with countermeasure. Share it, print it, or load it into an agent's context.

Archival repository for the Zenodo paper The Asymmetric Burden of Proof.

Archival repository for the Zenodo paper A Taxonomy of Epistemic Failure Modes in Large Language Models.

Self-governing orchestration framework with 8 phases, 4 human review gates, BLAKE3 audit chain, and ethical axiom enforcement

Measurement validity, construct validity, and unsupported claims derived from AI agent telemetry.

Applied hermeneutics, linguistic attractors, and the limits of model self-report in language-model systems.

Research and DOI publications hub for Hermes Labs: a Zenodo-canonical, DOI-anchored index of papers on epistemic and hermeneutic failure modes in large language models — null-result asymmetry, source-status bias, silent instruction relaxation. Each entry links its DOI, summary, and the tools that operationalize the findings.

AI reliability engineering for production AI agents and LLM applications. Open-source tools and research that find silent failures in prompts, tools, retrieval, memory, policies, runtime controls, agent evaluation, and evidence.

Build spec-driven AI development with constraints, traceable decisions, and a ledger that records every change