# QA secrets (persona credentials - never commit)
qa/secrets/

# Dependencies
node_modules/
__pycache__/
*.pyc
.venv/
venv/

# Build outputs
dist/
build/
*.egg-info/

# IDE
.idea/
.vscode/
*.swp

# Environment
.env
.env.local

# OS
.DS_Store

# Artifacts (transient build outputs).
# Directory tracked so specific baselines (e.g. route-gate audit) can be
# committed for diff-based CI guards; generic artifacts are ignored via the
# per-entry pattern below.
artifacts/*
# Exception: route-gate audit baseline committed for diff-based CI guard (Phase 6).
# See scripts/audit_route_gates.py + docs/architecture/personas-and-surfaces.md.
!artifacts/route_gate_audit.csv

# Per-service transient artifacts (e.g. pytest failure dumps).
services/*/artifacts/

# TLA+ model checker state files (large, generated)
states/

# Coverage reports
.coverage
htmlcov/
coverage.xml

# pytest cache and output
.pytest_cache/
pytest_out.txt
pytest_output.txt
pytest-*.log

# Hypothesis property-based testing
.hypothesis/

# mypy cache
.mypy_cache/
docs-index.json

# Agentic QA artifacts
.work/
qa_bundle.zip
*.qa-result.json
.claude/worktrees/
.claude/*.lock
.claude/scheduled_tasks.lock

# AID-9xx investor-demo verification artifacts.
# Local-only Playwright walkthrough screenshots referenced by name in
# docs/strategy/aid-demo-dry-run-report-*.md. Captured by Claude
# sessions running the Playwright MCP against staging/production demo
# routes. Not for commit.
aid-demo-walkthrough/
.playwright-mcp/

# formal/lean local build artifacts.
# `lake build` writes its build output and resolved manifest into the
# Lean source tree. CI rebuilds both from source.
formal/lean/.lake/
formal/lean/lake-manifest.json
