Proof Chain Explorer

163 verified3,384 assertions928 findingsall pass
StageSurfaceFindingsCyclesshowing 163 of 163
ProofSurfaceAssertionsFindingsDurationShipped
decompose-work-ts
Decompose work.tscommands
cli20/21518h 55mMay 26, 2026pass
extract-artifact-validators
Extract Artifact Validatorscommands
cli15/15319h 48mMay 25, 2026pass
extract-proof-handlers
Extract Proof Command Handlerscommands
cli24/24319h 55mMay 25, 2026pass
fix-workspace-glob-fallback
Fix Workspace Glob Fallbackengine
cli14/14419h 1mMay 25, 2026pass
fix-risk-findings
Fix Risk Findingscommands
12/12519h 2mMay 25, 2026pass
decompose-proof-summary
Decompose proofSummary.tsutils
cli24/24558mMay 24, 2026pass
cli-polish
CLI Polishcommands
22/22111h 59mMay 24, 2026pass
docs-scan-surfaces-concept
Scan & Surfaces Concept Page + Docs Gapswebsite
website19/19428mMay 24, 2026pass
scan-display-refresh
Scan Display Refreshcommands
15/1542h 18mMay 23, 2026pass
setup-verification-hints
Setup Verification Hintsengine
cli23/2365h 57mMay 23, 2026pass
add-backend-surface-detection
Backend Service Surface Detectionengine
cli16/1651h 11mMay 23, 2026pass
fix-docs-date-freshness
Fix AnaDocs date freshnesswebsite
website15/15536mMay 22, 2026pass
fix-schema-glob-fallback
Filter non-product paths from schema glob fallbacksengine
cli8/839h 21mMay 22, 2026pass
fix-false-rejection-archive
Fix False Rejection Archives on Same-Session Re-Savescommands
cli18/1859h 45mMay 22, 2026pass
scan-quality-polish
Scan Quality Polish (6 Additive Fixes)engine
cli11/11730mMay 22, 2026pass
fix-python-dep-separation
Separate Python production deps from dev depsengine
cli19/19541mMay 22, 2026pass
fix-python-pyproject-parser
Fix Python pyproject.toml parser — 3 bugsengine
cli15/15522mMay 22, 2026pass
fill-scan-detection-gaps
Fill Scan Detection Gapsengine
cli24/24444mMay 22, 2026pass
fix-typescript-language-detection
Fix TypeScript Language Detection for Monorepos and Multi-Directory Projectsengine
cli8/8438mMay 22, 2026pass
fix-primary-selection
Fix Primary Package Selection in Monoreposengine
cli27/2761h 24mMay 22, 2026pass
scan-surface-display
Scan Surface Displaycommands
cli20/2043h 54mMay 22, 2026pass
fix-shape-detection-priority
Fix Application Shape Detection Priority Chainengine
cli18/1841h 33mMay 22, 2026pass
fix-false-surface-detection
Fix False Surface Detectioncommands
cli24/2452h 6mMay 22, 2026pass
fix-polyglot-detection-hygiene
Polyglot detection hygieneengine
cli9/9431mMay 21, 2026pass
fix-sampler-budget-overflow
Fix sampler budget overflowengine
cli8/8423mMay 21, 2026pass
fix-surface-test-priority
Fix per-surface test command prioritycommands
cli10/10638mMay 21, 2026pass
command-duplication-cleanup
Command File Duplication Cleanupcommands
cli15/15532mMay 21, 2026pass
fix-test-behavioral-coverage
Fix test behavioral coverage gapsinfra
cli10/10428mMay 21, 2026pass
docs-comprehensive-update
Comprehensive Documentation Update for Surface Awarenesswebsite
website25/2541h 11mMay 21, 2026pass
proof-migration-cleanup
Pre-surface behavior cleanupcommands
cli14/1561h 6mMay 21, 2026pass
website-test-suite
Website Test Suitewebsite
website36/3651h 2mMay 21, 2026pass
surface-awareness-bridge
Surface Awareness Bridgecommands
cli25/2571h 3mMay 21, 2026pass
surface-awareness-schema
Surface Awareness Schema and Pipeline Integrationcommands
31/3181h 44mMay 20, 2026pass
scan-surface-detection
Scan Surface Detectionengine
cli28/28732mMay 20, 2026pass
command-language-awareness
Command Detection Language Awarenessengine
cli28/2871h 23mMay 20, 2026pass
stack-detection-gaps
Stack Detection Gaps (V2-Alpha Breadth Sweep)engine
cli25/2541h 22mMay 20, 2026pass
fix-polyglot-rust-ts-ruby
Fix Polyglot Detection for Tauri+TS and Ruby+JS Projectsengine
cli19/1971h 11mMay 20, 2026pass
fix-deep-tier-sampling
Fix Deep Tier Sampling & Finding Accuracyengine
cli21/2161h 21mMay 20, 2026pass
add-doctor-command
ana doctor — unified project health diagnosticwebsite
37/37611h 4mMay 19, 2026pass
reinit-field-refresh
Re-init mechanical field refreshcommands
cli13/13311h 17mMay 18, 2026pass
waitlist-form
Team edition waitlist formwebsite
website23/2371h 43mMay 18, 2026pass
learn-session-memory
Learn Session Memorycommands
29/2965h 49mMay 18, 2026pass
flip-monorepo-commands
Flip Monorepo Command Semanticspipeline
23/2361h 8mMay 18, 2026pass
audit-matrix-orientation
Audit matrix orientationpipeline
cli29/2972h 11mMay 17, 2026pass
rust-go-polyglot-detection
Rust/Go Polyglot Detectionengine
cli18/1869h 7mMay 17, 2026pass
polyglot-language-detection
Polyglot Language Detectionengine
cli19/19456mMay 17, 2026pass
non-node-scan-enrichment
Non-Node Scan Enrichment (Application Shape + Python AI SDK)engine
cli18/18434mMay 17, 2026pass
fix-scanner-trust-output
Fix Scanner Trust Outputcommands
cli12/1232h 12mMay 17, 2026pass
unified-staleness-awareness
Unified Staleness Awarenesscommands
cli20/2041h 15mMay 17, 2026pass
ship-log-proof-links
Ship log proof linkingwebsite
website14/14435mMay 16, 2026pass
dynamic-marketing-stats
Dynamic marketing stats — wire command count and version fallbackwebsite
website12/1272h 11mMay 16, 2026pass
fix-scan-branch-detection
Fix scan branch detection — remove local branches from shared intelligenceengine
cli11/1131h 6mMay 16, 2026pass
monorepo-build-scoping
Monorepo build command scopingcommands
cli12/12526mMay 16, 2026pass
pipeline-concurrency-guards
Pipeline Concurrency Guardscommands1 rejection
cli20/2271h 44mMay 15, 2026pass
remove-lesson-status
Remove lesson status from proof systemwebsite
28/28314h 31mMay 15, 2026pass
fix-work-saves-compat
work.ts saves.json backward compat bug + worktree dedup + formattingcommands
cli10/1061h 40mMay 15, 2026pass
upstream-finding-resolution
Upstream Finding Resolutioncommands
cli22/2251h 15mMay 15, 2026pass
fix-prebuild-source-mutation
Fix prebuild source mutationwebsite
website16/1671h 10mMay 15, 2026pass
fix-gantt-bar-distortion
Fix Gantt Bar Distortion and Document Timingwebsite
website15/15424mMay 15, 2026pass
bump-node-minimum-22
Bump Node Minimum to 22, Add Node 24 to CIwebsite
22/2242h 17mMay 15, 2026pass
fix-ci-matrix-and-broken-tests
Fix CI Matrix and Broken Testspipeline
cli20/2061h 44mMay 15, 2026pass
docs-links-init-setup
Documentation links in init and setupcommands
11/1136h 9mMay 15, 2026pass
findings-expand-collapse
FindingsList expand/collapse for proof pageswebsite
website8/852h 9mMay 15, 2026pass
work-ts-branch-coverage
work.ts untested branch coveragepipeline
cli8/8529mMay 15, 2026pass
worktree-guard-tests
Worktree Guard Integration Testsengine
cli10/10328mMay 15, 2026pass
init-commit
ana init commit — persist infrastructure to gitwebsite
24/2463h 20mMay 15, 2026pass
fix-merge-json-pollution
Fix --merge stdout pollution in --json modecommands
cli10/1042h 27mMay 15, 2026pass
worktree-build-step
Run build command during worktree creationcommands
cli11/1271h 7mMay 14, 2026pass
commit-hygiene-checks
Commit hygiene checks at build-report savecommands
cli24/2483h 8mMay 14, 2026pass
gantt-multi-phase
Multi-phase Gantt visualization for proof timelinewebsite
22/2295h 8mMay 14, 2026pass
capture-think-time
Capture actual think time from Ana session startpipeline1 rejection
cli15/1762h 17mMay 14, 2026pass
docs-search-polish
Docs Search + Polishwebsite
website31/32101h 18mMay 14, 2026pass
fix-timing-accuracy
Fix pipeline timing accuracy for multi-phase and rejection cyclescommands1 rejection
cli19/1952h 37mMay 14, 2026pass
dynamic-pages
Dynamic Pages — Reference & Proof Chainwebsite
website59/59121h 40mMay 14, 2026pass
content-pages
Content Pages — 16 editorial docs pages with bug fixes and sidebar orderingwebsite
website32/32191h 54mMay 13, 2026pass
docs-shell
Docs Shell (Layout + Shared Components)website
website31/311040mMay 12, 2026pass
docs-data-pipeline
Docs Data Pipelinewebsite
website32/3261h 8mMay 12, 2026pass
docs-infrastructure
Docs Infrastructure — Fumadocs MDX Pipelinewebsite
website18/18648mMay 12, 2026pass
hygiene-debt-cleanup
Hygiene debt cleanuppipeline1 rejection
cli14/14511h 57mMay 12, 2026pass
fix-worktree-branch-parsing
Fix worktree branch parsingcommands
cli9/9543mMay 12, 2026pass
worktree-freshness-detection
Worktree freshness detectioncommands
cli15/1778h 13mMay 12, 2026pass
kind-aware-branch-prefixes
Kind-aware branch prefixescommands
cli23/2489h 49mMay 12, 2026pass
add-milestone-kind
Add milestone kindwebsite
18/1863h 7mMay 12, 2026pass
fix-cycle-stage-detection
Fix cycle stage detection breaks on multi-phase buildspipeline
cli19/1961h 26mMay 12, 2026pass
configurability-improvements
Configurability Improvementscommands1 rejection
cli23/24112h 51mMay 12, 2026pass
version-awareness
Version Awareness Notificationscommands
cli25/2561h 18mMay 10, 2026pass
init-scan-quality
Init must surface scan quality and pipeline readinesscommands1 rejection
cli22/22723h 35mMay 10, 2026pass
scoped-cli-commits
CLI commits scoped to intended pathswebsite
14/14521h 59mMay 10, 2026pass
section4-system-bento
Section 4 — The System (replace Bento)website1 rejection
website31/3171h 6mMay 9, 2026pass
work-complete-merge
work complete --merge flag for structured PR mergingpipeline
cli25/25719h 10mMay 9, 2026pass
commit-work-start-timestamps
Commit timestamps written by work startcommands
cli14/1452h 17mMay 9, 2026pass
scope-validation-integrity
Scope Validation Integritypipeline
cli24/2451h 11mMay 8, 2026pass
website-mobile-polish
Website Mobile Polish + Marquee Overhaulwebsite
website22/2261h 23mMay 8, 2026pass
ci-artifact-path-ignore
CI path filtering for artifact-only commitspipeline
8/8346mMay 8, 2026pass
worktree-artifact-cleanup
Worktree Artifact Path Mismatch — Prevention and Cleanuppipeline
cli16/1661h 15mMay 8, 2026pass
website-nav-copy-polish
Website nav, scroll targets, compat icons, and copy accuracywebsite
website22/2261h 7mMay 8, 2026pass
test-suite-hygiene
Test Suite Hygienepipeline1 rejection
cli30/3055h 57mMay 8, 2026pass
ship-log-polish
Ship Log Polishwebsite
24/2472h 54mMay 8, 2026pass
website-direct-polish
Website Direct Polishwebsite
website28/28537mMay 7, 2026pass
phase-timing-fix
Fix Pipeline Phase Timingpipeline
cli17/1761h 2mMay 7, 2026pass
website-production-infra
Website Production Infrastructurewebsite
website27/2781h 40mMay 7, 2026pass
website-dead-links
Dead Links & Missing Pageswebsite
website31/31658mMay 7, 2026pass
website-visual-fidelity
Website Visual Fidelitywebsite
website31/31655mMay 7, 2026pass
agent-dashboard-p1
Agent Dashboard Phase 1commands
cli24/2451h 44mMay 7, 2026pass
website-lift
Website Liftwebsite
27/2762h 34mMay 7, 2026pass
worktrees-v2-timing-danger-prune
Worktrees V2 — Phase Timing + Danger Map + Prunecommands
cli21/2371h 25mMay 6, 2026pass
rejection-artifact-preservation
Rejection Cycle Artifact Preservationpipeline
16/16552mMay 6, 2026pass
non-main-artifact-branch-tests
Non-Main Artifact Branch Testspipeline
10/10459mMay 6, 2026pass
worktree-isolation
Worktree Isolationcommands1 rejection
cli45/4591h 39mMay 6, 2026pass
code-comment-cleanup
Code Comment Cleanupengine1 rejection
cli24/2432h 57mMay 6, 2026pass
cli-ux-polish
CLI UX Polish — First 10 Minutescommands
cli19/1941h 25mMay 5, 2026pass
proof-system-near-term
Proof System Near-Term — Learn Infrastructure Foundationpipeline
cli27/2781h 22mMay 5, 2026pass
proof-intelligence-hardening
Proof Intelligence Hardeningcommands
cli29/29171h 42mMay 5, 2026pass
security-hardening
Security Hardening — Command Injection Eliminationcommands
cli27/27101h 14mMay 4, 2026pass
v1-release-prep
V1 Release Prepcommands
cli33/3341h 36mMay 3, 2026pass
v1-code-changes
V1 Code Changescommands1 rejection
cli20/2042h 17mMay 3, 2026pass
v1-documentation-overhaul
V1 Documentation Overhaulcommands1 rejection
cli33/3481h 31mMay 3, 2026pass
learn-severity-triage
Learn Severity-Based Triagepipeline
cli23/23438mMay 3, 2026pass
fix-ci-failures
Fix CI Test Failuresengine1 rejection
cli15/15534mMay 2, 2026pass
learn-template-session-fixes
Learn Template Session Fixespipeline
cli13/1333h 1mMay 2, 2026pass
audit-json-severity-summary
Audit JSON Severity Summarycommands
cli18/1853h 7mMay 2, 2026pass
strengthen-weak-test-assertions
Strengthen Weak Test Assertionspipeline
cli16/18736mMay 2, 2026pass
proof-health-v2
Proof Health V2commands
cli31/31142h 43mMay 2, 2026pass
fix-type-lies
Fix Type Liescommands1 rejection
cli14/1744h 10mMay 2, 2026pass
sharpen-agent-templates
Sharpen Agent Templatespipeline
cli20/2054h 6mMay 2, 2026pass
clean-proofsummary
Clean proofSummary.tscommands
cli15/1553h 44mMay 2, 2026pass
health-display-polish
Health Display Polishcommands
cli29/29550mMay 1, 2026pass
learn-v3-cli-commands
Learn V3 — CLI Commands + Template Finalizationcommands
cli33/331712h 54mMay 1, 2026pass
remove-tag-coverage
Remove Pre-Check Tag Coveragecommands
cli16/21443mApr 30, 2026pass
proof-command-ux
Proof Command UXcommands
cli20/2052h 30mApr 30, 2026pass
harden-hot-files
Harden Hot Filescommands
cli12/1251h 20mApr 30, 2026pass
delete-backward-compat
Delete backward-compatibility codecommands
cli20/21457mApr 30, 2026pass
ana-learn-v1
Ana Learn V1templates
cli23/2443h 8mApr 30, 2026pass
proof-promote
Proof Promotecommands1 rejection
cli30/3052h 54mApr 30, 2026pass
proof-health-v1
Proof Health V1commands1 rejection
cli40/40551mApr 30, 2026pass
work-complete-json-proof-card
Work Complete JSON + Proof Card Findingscommands1 rejection
cli27/27510h 11mApr 29, 2026pass
diff-scoped-tag-search
Diff-Scoped Tag Searchcommands
cli17/17521mApr 29, 2026pass
finding-enrichment-schema
Finding Enrichment Schemacommands
cli34/34107h 42mApr 29, 2026pass
harden-git-commit-calls
Harden git commit callscommands
cli15/15439mApr 29, 2026pass
close-the-loop
Close the Loopcommands1 rejection
cli29/2941h 9mApr 29, 2026pass
clean-ground
Clean Ground for Foundation 3commands1 rejection
cli12/12446mApr 28, 2026pass
structured-findings-companion
Structured Findings Companionpipeline
cli29/37653mApr 28, 2026pass
fix-proof-chain-mechanical-accuracy
Fix Proof Chain Mechanical Accuracypipeline
cli20/20632mApr 28, 2026pass
fix-artifact-save-and-work-complete
Fix artifact save bypass, cwd bug, and work complete crash recoverycommands
cli20/20536mApr 27, 2026pass
findings-lifecycle-foundation
Findings Lifecycle Foundationpipeline
31/3161h 8mApr 27, 2026pass
clear-the-deck-2
Clear the Deck Phase 2pipeline
cli21/21531mApr 27, 2026pass
clear-the-deck
Clear the Deck — foundation fixes from proof chain auditcommands
cli28/28652mApr 27, 2026pass
seal-hash-simplification
Seal hash simplificationcommands
cli13/13429mApr 26, 2026pass
proof-chain-health-signal
Proof chain health signalcommands
cli9/957h 6mApr 26, 2026pass
proof-chain-targeted-queries
Replace PROOF_CHAIN.md reads with targeted proof context queriestemplates
cli8/8439mApr 25, 2026pass
proof-context-query
Proof context file querycommands1 rejection
cli24/24945mApr 25, 2026pass
configurable-branch-prefix
Configurable branch prefixcommands
cli0/22051mApr 24, 2026pass
fix-drizzle-schema-detection
Fix Drizzle schema detectionengine
cli20/2061h 13mApr 24, 2026pass
fix-prisma-schema-detection
Fix Prisma schema detection bugsengine
cli13/13528mApr 24, 2026pass
add-callout-file-field
Add file field to proof chain calloutspipeline
cli14/14442mApr 24, 2026pass
add-readme-extraction
Add README extraction to scanengine1 rejection
29/29541mApr 17, 2026pass
proof-chain-active-issues
Proof chain active issues indexengine
16/1661h 1mApr 17, 2026pass
add-hook-detection
Add deep-tier hook/composable detection to patterns analyzerengine
35/35346mApr 16, 2026pass
find-project-root
findProjectRoot utility for subdirectory supportcommands1 rejection
9/955h 16mApr 16, 2026pass
monorepo-primary-agents-md
Monorepo Primary Package AGENTS.mdcommands
13/1351h 21mApr 16, 2026pass
fix-skill-template-gaps
Fix skill template gaps — data-access security, coding-standards error ruletemplates
8/831h 48mApr 16, 2026pass
add-project-kind-detection
Project kind detectionengine
16/1671h 30mApr 16, 2026pass
proof-list-view
Proof List Viewpipeline
19/19036mApr 6, 2026pass
163 of 163 proofs