Append-only JSONL run-event log (a projection-friendly evidence ledger).

Hash-chained evidence ledger recording what each ADLC gate verified — agentic provenance with optional HMAC signing (C11).

Infra: the wicked evidence ledger — verdict/run/scenario DomainStore + oracle queries + additive SQLite migrations. Shared by QE writers and gate readers.

Evidence-First marketing planning protocol for Claude Code, Gemini CLI, Google Antigravity and Codex: engagement triage, SOSTAC workflow, evidence ledger, mechanical validator and optional devPNT integration.

MCP server exposing the agent-grounding stack (grounding-wrapper, evidence-ledger, claim-gate, hypothesis-tracker) to long-running Claude Code sessions

Cross-pillar shared infrastructure for ForGrit's three repos (Software Foundry, Software Orchestrator, Workforce): a hash-chained evidence ledger and resilience primitives (retry, circuit breaker, rate limiter).

Claim-gate consumer for PR-review subagents, enforces a merge_approval policy backed by evidence-ledger evidence

Praxis — a conceptual linter and knowledge compiler: README specs enforced by LLM reviewers, an append-only evidence ledger, and compiled SME agent profiles

Verifiable research-report engine for DeepSeek Harness: a content-addressed evidence ledger (claim — snapshot binding, tamper-evident) plus versioned sealed reports where every claim carries a verification verdict and the manifest hash seals the directory

Deterministic guardrails, evidence ledger, and budget hard-caps for AI coding agents. Installs into Claude Code hooks in one command. Containment and evidence — not a firewall.

Passive-first local evidence ledger and precision risk observer for coding-agent work.

Local-first Codex orchestration skills with a runnable evidence ledger, verification gates, and privacy-safe handoffs.

MCP stdio server for Lore Context memory, Evidence Ledger traces, evals, and governance tools.

Structured evidence tracking for agent debugging sessions

SINT Gate — Append-only tamper-evident Evidence Ledger

Attested evidence ledger for agent actions

append-only causal evidence ledger — WHY engine for DecisionGraph Core

Declarative multi-agent pipeline executor for DeepSeek Harness (dsh): runs a manifest of confined role dispatches with mechanical gates and a machine-written evidence ledger. dsh 声明式多角色流水线执行器：按 manifest 派发受限子代理、机械门禁、机器写证据账本。

Run lifecycle, lease, approval, evidence ledger and independent completion verifier

The local-first evidence ledger for agent-built software: what ran, what it cost, what changed, and what proves it correct.