Documentation System
September 15, 2026 · View on GitHub
ripr uses Diataxis so docs answer the reader's immediate problem instead of
mixing tutorials, references, and design arguments in one place.
Front-door catalog: LIBRARY.md organizes accumulated knowledge into three shelves — agentic learnings, repo domain learnings, and repo learnings over time — with annotated links to canonical docs and a timeline of major learning milestones. Start there when orienting to the codebase.
Tutorials
Tutorials help a new user succeed once.
Current and planned tutorial docs:
- Quickstart - first-hour paths for VS Code, CI, CLI, and agent or reviewer handoff
- First successful PR workflow - one Rust PR, one repairable gap, one focused proof, one receipt
- First successful PR demo - fixture-backed boundary, output-contract, no-action, and blocked start-here cases
- Editor install to first PR - VS Code install/open through setup diagnosis, repair, receipt, and first-pr packet
- Editor actionable gap queue - VS Code current repair queue, repair packet, repo gap map, and no-action states
- Editor first run to first receipt - install/open, diagnose setup, repair one Rust gap, verify, receipt, refresh
- Editor first-pr bridge workflow -
local handoff from receipt and refresh to first-pr
start-herepacket - RIPR swarm human workflow - one bounded actionable-gap repair attempt from packet to receipt and outcome
- Start-here surface convergence proposal - cross-surface plan for making editor, CLI, PR/CI, receipts, and preview promotion use the same safe next-action unit
- Editor adoption assurance proposal - Lane 3 plan for compatibility, active root, multi-root, and fail-closed first-use diagnosis
- Editor actionable gap queue proposal -
Lane 3 plan for projecting existing
actionable-gapsartifacts as a read-only editor repair queue - README quick start
- future first-extension-install walkthrough
- future first-fixture walkthrough
How-To Guides
How-to guides solve concrete tasks.
Current how-to docs:
- Contributing
- Testing
- CI strategy
- Proof routing
- Source-of-truth control plane
- Sibling-tool interop and learning ledger
- Security policy
- Repository settings
- Swarm development
- Fix CI shape failures
- Triage a finding
- Run Codex Goals
- PR automation
- Merge freshness and watcher policy
- Generated evidence discipline
- Roll out Factory Droid review
- Dogfooding
- Bun UB TypeScript preview runbook
- Targeted test workflow
- RIPR swarm human workflow
- Language adapter preview workflow
- Python repair routing proposal
- Static limits
- Targeted test boundary-gap case study
- Agent operating model
- Agent workflows
- LSP-first repair/receipt workflow for agents
- LSP transport bounds
- LLM operator guide
- Recommendation calibration
- Calibrated gate policy
- RIPR blocking readiness
- Baseline ledger workflow
- RIPR Zero reporting workflow
- PR evidence ledger workflow
- Policy operations workflow
- Test-oracle assistant workflow
- Test-oracle assistant proof report
- First useful action workflow
- Assistant loop health workflow
- Assistant loop health proposal
- PR review front panel workflow
- PR review front panel proposal
- Report packet index workflow
- Report packet index proposal
- PR inline comment publisher workflow
- PR inline comment publisher proposal
- Lane tracker source-of-truth model
- Lane 1 evidence spine tracker
- Lane 1 evidence accuracy tracker
- Lane 1 evidence quality leadership tracker
- Lane 1 user-visible output evidence tracker
- Lane 1 finding alignment burn-down tracker
- Lane 1 finding alignment burn-down closeout
- Lane 1 value resolution audit fixes tracker
- Lane 1 evidence-to-repair closeout audit
- Lane 1 TypeScript preview completion tracker
- TypeScript enablement lane
- TypeScript preview completion closeout
- Bun UB TypeScript preview closeout
- 0.8.1 TypeScript/Bun preview patch proof
- Post-0.8.1 TypeScript/Bun support decision
- Lane 1 language-aware placement navigation closeout
- Lane 1 large-repo runtime completeness closeout
- Python repair routing usable-alpha closeout
- Lane 2 policy readiness tracker
- Lane 2 policy operations tracker
- Preview promotion criteria
- Lane 3 editor/LSP tracker
- Lane 4 PR / CI review cockpit tracker
- Release
- Live-history release transaction runbook - exact two-repository release lifecycle, J/K transport, receipts, and stop rules
- Source-promotion preflight
- Back-sync verifier
- Installation verification
- Windows packaged qualification - exact candidate Windows CLI and VSIX rehearsal with Actions-only receipts
- Source-promotion runbook
- Source-promotion verification contract
- Source-promotion CI contract
- First successful PR workflow
- First successful PR demo
- Start-here convergence receipts
- Start-here convergence closeout
- Publishing
- Editor extension
- Editor install to first PR
- Editor first run to first receipt
- Editor actionable gap queue
- Editor first-pr bridge workflow
- RIPR swarm human workflow
- Editor gap cockpit workflow
- Editor evidence workflow
- Editor evidence UX
- Server provisioning
- Server binary release
- Marketplace release
- Open VSX
Reference
Reference docs define stable commands, schemas, config, and enum meanings.
Current reference docs:
- Output schema
- Static exposure model
- Configuration
- Support tiers
- Repo tracking model
- Context system
- Language adapter preview workflow
- Bun UB TypeScript preview runbook
- Cross-language evidence router UX spec
- Python repair routing proposal
- Static limits
- Badge policy
- Badge adoption
- Generated evidence discipline
- Verification
- Verification contracts
- Defaults-first adoption
- Spec-test-code traceability
- Spec format
- Spec maintenance inventory
- Fixture contracts
- Defaults-first example corpus
- Calibration corpus index
- Recommendation calibration
- Calibrated gate policy
- RIPR blocking readiness
- Baseline ledger workflow
- RIPR Zero reporting workflow
- PR evidence ledger workflow
- Policy operations workflow
- Test-oracle assistant workflow
- Test-oracle assistant proof report
- First useful action workflow
- Assistant loop health workflow
- Assistant loop health proposal
- PR review front panel workflow
- PR review front panel proposal
- Report packet index workflow
- Report packet index proposal
- PR inline comment publisher workflow
- PR inline comment publisher proposal
- Test taxonomy
- Engineering rules
- File policy
- No-panic policy
- Policy allowlists
- Preview promotion criteria
- Changelog policy
- Capability matrix
- Presentation text evidence
- Finding-to-gap alignment
- No-panic semantic allowlist
- Droid rollout checklist
- CI verification ladder
- CI current state
- CI upstream tool substrate
- CI LEM budgeting
- CI labels
- CI cost and verification policy
- ripr PR lane
- MSRV 1.95 rollout plan
- Rust 1.95 compatibility audit
- Rust 1.95 / 0.6.0 release shaping
- Test evidence lanes
- ripr / mutation boundary
- Rust 1.95 consistency audit
Planned reference docs:
- SARIF output reference
- LSP diagnostic code reference
Templates:
Explanation
Explanation docs record why the product and architecture are shaped this way.
Current explanation docs:
- Charter
- Architecture
- Roadmap
- Repo tracking model
- Repo context system
- Implementation plans index
- Implementation plan
- Implementation campaigns
- Campaign 27 plans
- Proposals
- Python repair routing proposal
- Python repair routing plan
- Python repair routing usable-alpha closeout
- TypeScript preview completion plan
- Cross-language evidence router UX plan
- Use-case spec layer plan
- TypeScript enablement lane
- TypeScript preview completion closeout
- Bun UB TypeScript preview closeout
- 0.8.1 TypeScript/Bun preview patch proof
- Post-0.8.1 TypeScript/Bun support decision
- Lane 1 language-aware placement navigation closeout
- User-visible output evidence proposal
- Lane 1 finding alignment burn-down plan
- Lane 1 value resolution audit fixes plan
- Lane 1 evidence-to-repair closeout audit
- Adoption integration cleanup plan
- closed historical cleanup rail
- Editor first-pr bridge proposal
- Start-here surface convergence proposal
- Start-here surface convergence plan
- Editor adoption assurance proposal
- Editor adoption assurance plan
- Editor actionable gap queue
- Editor actionable gap queue proposal
- Editor actionable gap queue plan
- Source-of-truth control plane proposal
- Source-of-truth stack spec
- Source-of-truth control plane closeout
- Codex Goals
- Scoped PR contract
- PR automation
- Merge freshness and watcher policy
- Metrics
- Capability matrix
- Support tiers
- Learnings
- Friction log
- Deferred decisions
- Agent handoff protocol
- Handoff ledger
- ADRs
- Specs
- Agent operating model
- Agent workflows
- LSP-first repair/receipt workflow for agents
- RIPR swarm human workflow
- First successful PR workflow
- Agent dispatch workflow
- Editor agent integration
- Editor gap cockpit workflow
- Editor evidence workflow
- Editor evidence UX
- Editor first-pr bridge plan
- Editor adoption assurance plan
- Adoption integration cleanup rails
- closed historical cleanup rail
- LLM operator guide
- Recommendation calibration
- Calibrated gate policy
- RIPR blocking readiness
- Baseline ledger workflow
- RIPR Zero reporting workflow
- PR evidence ledger workflow
- Policy operations workflow
- Test-oracle assistant proof report
- First useful action workflow
- Assistant loop health workflow
- Assistant loop health proposal
- PR review front panel workflow
- PR review front panel proposal
- Report packet index workflow
- Report packet index proposal
- PR inline comment publisher workflow
- PR inline comment publisher proposal
- Lane tracker source-of-truth model
- Lane 1 evidence spine tracker
- Lane 1 evidence accuracy tracker
- Lane 1 evidence quality leadership tracker
- Lane 1 user-visible output evidence tracker
- Lane 1 TypeScript preview completion tracker
- TypeScript enablement lane
- Lane 2 policy readiness tracker
- Lane 3 editor/LSP tracker
- Lane 4 PR / CI review cockpit tracker
README Rule
The README is the front door. It should stay problem-first and include:
- what
ripris - what question it answers
- where it fits against coverage and mutation testing
- quick start
- current capability state
- important metrics and engineering status
- links to the deeper docs
Avoid turning the README into the full roadmap or full schema reference.
Index Check
Run:
cargo xtask check-doc-index
The check verifies that spec and ADR indexes list current files and that README and this documentation map still point at the active planning, metrics, spec, ADR, and PR automation docs.