Proof Chain Explorer

cli-shared-exports

CLI shared exports — pure, fs-free published entry surfaceutils

requirements-contract

The requirements contract — validated upstream intake for the pipelinecommands

web-proof-provenance-attestation

Web proof page — Provenance & Session Attestationwebsite

proof-benchmark-harness

Empirical Proof Benchmark — the measuring instrument (ruler)engine

proof-context-intelligence

Proof-Context Intelligence — why this file exists and what moves with ittemplates1 rejection

public-surface-honesty

Public-surface honesty touch-upswebsite

attestation-emit-and-guard

Guard the anatrace-core load and emit the first real attestation recordsutils

verifier-verdict-honesty

Verifier Verdict Honesty (light) — the PASS/FAIL verdict stops grading itselfcommands

verifier-intent-coverage

Verifier Intent Coverage — mechanically guarantee the contract covers scope intentcommands

anatrace-pin-0-4-0

Bump anatrace-core 0.2.0 → 0.4.0 (pin, fail-closed emit, reason lock, real-engine CI)utils

anatrace-core-integration

anatrace-core integration (provenance swap + behavioral attestation)commands

health-dashboard-redesign

Health dashboard + proof list table adopt the shared render vocabulary; sparkline primitive added and adopted in the scan cardcommands

scan-card-redesign

Scan card redesign — shared render vocabulary + gated 'How your team writes' sectioncommands

proof-card-redesign

Proof card visual redesign on a shared render vocabularycommands1 rejection

proof-last-and-completion-hint

Surface the proof after work complete + ana proof --lastcommands

gitignore-merge-on-reinit

Merge (not clobber) managed .gitignore files on re-initcommands

remove-plan-phase-checkbox

Remove the non-authoritative plan.md phase checkboxtemplates

remove-processcapturestrict

Remove processCaptureStrict — provenance records-and-annotates, never blockscommands

rename-capturegate-testevidencegate

Rename captureGate → testEvidenceGate (clean rename, no back-compat)commands

enforcement-state-in-doctor

Move enforcement-gate state from ana work status to ana doctorcommands

cross-machine-provenance

Cross-machine process provenance (capture v2)commands

session-capture

session-capture — agent-session capture & provenance unlockcommands

simplify-seal-and-test-core

Simplify ana test to its load-bearing core (deterministic seal)templates

compact-capture-seal

Compact the capture seal + fix the counttemplates

retire-capture-self-arming

Retire Capture-Gate Self-Arming — Drive the Gate from a Committed Config Flagcommands1 rejection

captured-test-evidence

Captured Test Evidence — engine-captured, seal-gated test evidencecommands

template-propagation

Template Propagation — Lock-Stock Refresh of Machine-Owned Templates on Re-initcommands

fix-sql-table-counting-regex

Fix SQL table counting regexengine1 rejection

fix-non-product-over-exclusion

Fix non-product path over-exclusion at deep segmentsengine

fix-scan-display-accuracy

Fix scan display accuracy — env hygiene false positive and contributor labelcommands

fix-vite-framework-detection

Fix Vite Framework Detection and Service Detection Gapsengine

fix-non-product-code-pollution

Fix non-product code pollution in findings, hot files, schema counts, and deploy detectionengine

learn-codex-adaptation

Learn Agent Codex Adaptationtemplates

fix-work-complete-merge-strategy

Fix work complete merge strategycommands

fix-conditional-test-noops

Fix Conditional Test No-Opspipeline

rename-accept-to-acknowledge

Rename finding action accept to acknowledgetemplates

fix-multi-phase-timestamp-poisoning

Fix Multi-Phase Timestamp Poisoningcommands

docs-readme-platform-update

Docs, Website, and README Multi-Platform Updatewebsite

multi-phase-report-naming-guard

Multi-Phase Report Naming Guardcommands

codex-support

Codex Supporttemplates

platform-aware-cli

Platform-Aware CLIcommands

gitignore-disclosure-and-hardening

Gitignore disclosure at init time, commit hardening, and docscommands

gitignore-force-add

Force-add gitignored infrastructure in init commitcommands

readme-terminal-demo

README Terminal Demoengine

scan-polish

Scan Polish — Detection Gaps + AGENTS.md Qualitycommands

monorepo-dep-resolution

Monorepo Three-Tier Dependency Resolutionengine

qualify-validation-title

Qualify Validation Finding Titleengine

fix-false-positive-secrets

Fix False Positive Secret Detectioncommands

show-finding-details

Show Finding Details in CLI Outputcommands

fix-deploy-platform-detection

Fix deploy platform detection for monoreposengine

decompose-work-ts

Decompose work.tscommands

extract-artifact-validators

Extract Artifact Validatorscommands

extract-proof-handlers

Extract Proof Command Handlerscommands

fix-workspace-glob-fallback

Fix Workspace Glob Fallbackengine

fix-risk-findings

Fix Risk Findingscommands

decompose-proof-summary

Decompose proofSummary.tsutils

cli-polish

CLI Polishcommands

docs-scan-surfaces-concept

Scan & Surfaces Concept Page + Docs Gapswebsite

scan-display-refresh

Scan Display Refreshcommands

setup-verification-hints

Setup Verification Hintsengine

add-backend-surface-detection

Backend Service Surface Detectionengine

fix-docs-date-freshness

Fix AnaDocs date freshnesswebsite

fix-schema-glob-fallback

Filter non-product paths from schema glob fallbacksengine

fix-false-rejection-archive

Fix False Rejection Archives on Same-Session Re-Savescommands

scan-quality-polish

Scan Quality Polish (6 Additive Fixes)engine

fix-python-dep-separation

Separate Python production deps from dev depsengine

fix-python-pyproject-parser

Fix Python pyproject.toml parser — 3 bugsengine

fill-scan-detection-gaps

Fill Scan Detection Gapsengine

fix-typescript-language-detection

Fix TypeScript Language Detection for Monorepos and Multi-Directory Projectsengine

fix-primary-selection

Fix Primary Package Selection in Monoreposengine

scan-surface-display

Scan Surface Displaycommands

fix-shape-detection-priority

Fix Application Shape Detection Priority Chainengine

fix-false-surface-detection

Fix False Surface Detectioncommands

fix-polyglot-detection-hygiene

Polyglot detection hygieneengine

fix-sampler-budget-overflow

Fix sampler budget overflowengine

fix-surface-test-priority

Fix per-surface test command prioritycommands

command-duplication-cleanup

Command File Duplication Cleanupcommands

fix-test-behavioral-coverage

Fix test behavioral coverage gapsinfra

docs-comprehensive-update

Comprehensive Documentation Update for Surface Awarenesswebsite

proof-migration-cleanup

Pre-surface behavior cleanupcommands

website-test-suite

Website Test Suitewebsite

surface-awareness-bridge

Surface Awareness Bridgecommands

surface-awareness-schema

Surface Awareness Schema and Pipeline Integrationcommands

scan-surface-detection

Scan Surface Detectionengine

command-language-awareness

Command Detection Language Awarenessengine

stack-detection-gaps

Stack Detection Gaps (V2-Alpha Breadth Sweep)engine

fix-polyglot-rust-ts-ruby

Fix Polyglot Detection for Tauri+TS and Ruby+JS Projectsengine

fix-deep-tier-sampling

Fix Deep Tier Sampling & Finding Accuracyengine

add-doctor-command

ana doctor — unified project health diagnosticwebsite

reinit-field-refresh

Re-init mechanical field refreshcommands

waitlist-form

Team edition waitlist formwebsite

learn-session-memory

Learn Session Memorycommands

flip-monorepo-commands

Flip Monorepo Command Semanticspipeline

audit-matrix-orientation

Audit matrix orientationpipeline

rust-go-polyglot-detection

Rust/Go Polyglot Detectionengine

polyglot-language-detection

Polyglot Language Detectionengine

non-node-scan-enrichment

Non-Node Scan Enrichment (Application Shape + Python AI SDK)engine

fix-scanner-trust-output

Fix Scanner Trust Outputcommands

unified-staleness-awareness

Unified Staleness Awarenesscommands

ship-log-proof-links

Ship log proof linkingwebsite

dynamic-marketing-stats

Dynamic marketing stats — wire command count and version fallbackwebsite

fix-scan-branch-detection

Fix scan branch detection — remove local branches from shared intelligenceengine

monorepo-build-scoping

Monorepo build command scopingcommands

pipeline-concurrency-guards

Pipeline Concurrency Guardscommands1 rejection

remove-lesson-status

Remove lesson status from proof systemwebsite

fix-work-saves-compat

work.ts saves.json backward compat bug + worktree dedup + formattingcommands

upstream-finding-resolution

Upstream Finding Resolutioncommands

fix-prebuild-source-mutation

Fix prebuild source mutationwebsite

fix-gantt-bar-distortion

Fix Gantt Bar Distortion and Document Timingwebsite

bump-node-minimum-22

Bump Node Minimum to 22, Add Node 24 to CIwebsite

fix-ci-matrix-and-broken-tests

Fix CI Matrix and Broken Testspipeline

docs-links-init-setup

Documentation links in init and setupcommands

findings-expand-collapse

FindingsList expand/collapse for proof pageswebsite

work-ts-branch-coverage

work.ts untested branch coveragepipeline

worktree-guard-tests

Worktree Guard Integration Testsengine

init-commit

ana init commit — persist infrastructure to gitwebsite

fix-merge-json-pollution

Fix --merge stdout pollution in --json modecommands

worktree-build-step

Run build command during worktree creationcommands

commit-hygiene-checks

Commit hygiene checks at build-report savecommands

gantt-multi-phase

Multi-phase Gantt visualization for proof timelinewebsite

capture-think-time

Capture actual think time from Ana session startpipeline1 rejection

docs-search-polish

Docs Search + Polishwebsite

fix-timing-accuracy

Fix pipeline timing accuracy for multi-phase and rejection cyclescommands1 rejection

dynamic-pages

Dynamic Pages — Reference & Proof Chainwebsite

content-pages

Content Pages — 16 editorial docs pages with bug fixes and sidebar orderingwebsite

docs-shell

Docs Shell (Layout + Shared Components)website

docs-data-pipeline

Docs Data Pipelinewebsite

docs-infrastructure

Docs Infrastructure — Fumadocs MDX Pipelinewebsite

hygiene-debt-cleanup

Hygiene debt cleanuppipeline1 rejection

fix-worktree-branch-parsing

Fix worktree branch parsingcommands

worktree-freshness-detection

Worktree freshness detectioncommands

kind-aware-branch-prefixes

Kind-aware branch prefixescommands

add-milestone-kind

Add milestone kindwebsite

fix-cycle-stage-detection

Fix cycle stage detection breaks on multi-phase buildspipeline

configurability-improvements

Configurability Improvementscommands1 rejection

version-awareness

Version Awareness Notificationscommands

init-scan-quality

Init must surface scan quality and pipeline readinesscommands1 rejection

scoped-cli-commits

CLI commits scoped to intended pathswebsite

section4-system-bento

Section 4 — The System (replace Bento)website1 rejection

work-complete-merge

work complete --merge flag for structured PR mergingpipeline

commit-work-start-timestamps

Commit timestamps written by work startcommands

scope-validation-integrity

Scope Validation Integritypipeline

website-mobile-polish

Website Mobile Polish + Marquee Overhaulwebsite

ci-artifact-path-ignore

CI path filtering for artifact-only commitspipeline

worktree-artifact-cleanup

Worktree Artifact Path Mismatch — Prevention and Cleanuppipeline

website-nav-copy-polish

Website nav, scroll targets, compat icons, and copy accuracywebsite

test-suite-hygiene

Test Suite Hygienepipeline1 rejection

ship-log-polish

Ship Log Polishwebsite

website-direct-polish

Website Direct Polishwebsite

phase-timing-fix

Fix Pipeline Phase Timingpipeline

website-production-infra

Website Production Infrastructurewebsite

website-dead-links

Dead Links & Missing Pageswebsite

website-visual-fidelity

Website Visual Fidelitywebsite

agent-dashboard-p1

Agent Dashboard Phase 1commands

website-lift

Website Liftwebsite

worktrees-v2-timing-danger-prune

Worktrees V2 — Phase Timing + Danger Map + Prunecommands

rejection-artifact-preservation

Rejection Cycle Artifact Preservationpipeline

non-main-artifact-branch-tests

Non-Main Artifact Branch Testspipeline

worktree-isolation

Worktree Isolationcommands1 rejection

code-comment-cleanup

Code Comment Cleanupengine1 rejection

cli-ux-polish

CLI UX Polish — First 10 Minutescommands

proof-system-near-term

Proof System Near-Term — Learn Infrastructure Foundationpipeline

proof-intelligence-hardening

Proof Intelligence Hardeningcommands

security-hardening

Security Hardening — Command Injection Eliminationcommands

v1-release-prep

V1 Release Prepcommands

v1-code-changes

V1 Code Changescommands1 rejection

v1-documentation-overhaul

V1 Documentation Overhaulcommands1 rejection

learn-severity-triage

Learn Severity-Based Triagepipeline

fix-ci-failures

Fix CI Test Failuresengine1 rejection

learn-template-session-fixes

Learn Template Session Fixespipeline

audit-json-severity-summary

Audit JSON Severity Summarycommands

strengthen-weak-test-assertions

Strengthen Weak Test Assertionspipeline

proof-health-v2

Proof Health V2commands

fix-type-lies

Fix Type Liescommands1 rejection

sharpen-agent-templates

Sharpen Agent Templatespipeline

clean-proofsummary

Clean proofSummary.tscommands

health-display-polish

Health Display Polishcommands

learn-v3-cli-commands

Learn V3 — CLI Commands + Template Finalizationcommands

remove-tag-coverage

Remove Pre-Check Tag Coveragecommands

proof-command-ux

Proof Command UXcommands

harden-hot-files

Harden Hot Filescommands

delete-backward-compat

Delete backward-compatibility codecommands

ana-learn-v1

Ana Learn V1templates

proof-promote

Proof Promotecommands1 rejection

proof-health-v1

Proof Health V1commands1 rejection

work-complete-json-proof-card

Work Complete JSON + Proof Card Findingscommands1 rejection

diff-scoped-tag-search

Diff-Scoped Tag Searchcommands

finding-enrichment-schema

Finding Enrichment Schemacommands

harden-git-commit-calls

Harden git commit callscommands

close-the-loop

Close the Loopcommands1 rejection

clean-ground

Clean Ground for Foundation 3commands1 rejection

structured-findings-companion

Structured Findings Companionpipeline

fix-proof-chain-mechanical-accuracy

Fix Proof Chain Mechanical Accuracypipeline

fix-artifact-save-and-work-complete

Fix artifact save bypass, cwd bug, and work complete crash recoverycommands

findings-lifecycle-foundation

Findings Lifecycle Foundationpipeline

clear-the-deck-2

Clear the Deck Phase 2pipeline

clear-the-deck

Clear the Deck — foundation fixes from proof chain auditcommands

seal-hash-simplification

Seal hash simplificationcommands

proof-chain-health-signal

Proof chain health signalcommands

proof-chain-targeted-queries

Replace PROOF_CHAIN.md reads with targeted proof context queriestemplates

proof-context-query

Proof context file querycommands1 rejection

configurable-branch-prefix

Configurable branch prefixcommands

fix-drizzle-schema-detection

Fix Drizzle schema detectionengine

fix-prisma-schema-detection

Fix Prisma schema detection bugsengine

add-callout-file-field

Add file field to proof chain calloutspipeline

add-readme-extraction

Add README extraction to scanengine1 rejection

proof-chain-active-issues

Proof chain active issues indexengine

add-hook-detection

Add deep-tier hook/composable detection to patterns analyzerengine

find-project-root

findProjectRoot utility for subdirectory supportcommands1 rejection

monorepo-primary-agents-md

Monorepo Primary Package AGENTS.mdcommands

fix-skill-template-gaps

Fix skill template gaps — data-access security, coding-standards error ruletemplates

add-project-kind-detection

Project kind detectionengine

proof-list-view

Proof List Viewpipeline