| Cache Layer — `Rigor::Cache` | Internal Specification | 2026-06-04 |
| Inference Engine | Internal Specification | 2026-06-04 |
| Internal Type API | Internal Specification | 2026-06-04 |
| Structural code repetition audit (non-catalog, non-plugin) — 2026-06-04 | Development Notes | 2026-06-04 |
| Built-in method typing — boilerplate / pain-point audit — 2026-06-03 | Development Notes | 2026-06-04 |
| The Rigor Handbook | Handbook | 2026-06-04 |
| Appendix — Protocols, interfaces, and structural typing | Handbook | 2026-06-04 |
| Session report — typing the plugin contract (2026-06-03) | Development Notes | 2026-06-04 |
| Dead code / coverage sweep — 2026-06-03 | Development Notes | 2026-06-03 |
| Current Work — Resume Bookmark | current-work | 2026-06-03 |
| Rigor Roadmap | roadmap | 2026-06-03 |
| Appendix — Coming from mypy / Pyright | Handbook | 2026-06-03 |
| Plugin Registration / Loading (slice 1) | Internal Specification | 2026-06-03 |
| Research & Survey Notes | Development Notes | 2026-06-03 |
| Architecture Decision Records | Architecture Decisions | 2026-06-03 |
| ADR-43 — RBS-complete ancestor resolution (allow-list inherited-method dispatch) | Architecture Decisions | 2026-06-03 |
| Typing plugin files against the `Plugin::Base` contract — spike findings | Development Notes | 2026-06-03 |
| PHPStan internal type algebra (TypeCombinator / TypeUtils / binary-operator evaluation) vs Rigor | Development Notes | 2026-06-03 |
| ADR-42 — Plugin-contributed binary-operator return types (coerce-direction) | Architecture Decisions | 2026-06-03 |
| ADR-41 — Inference budget design (wiring, on-hit policy, measurement-gated defaults) | Architecture Decisions | 2026-06-03 |
| Inference budgets: spec vs. wired reality, and a scale/time survey | Development Notes | 2026-06-03 |
| Configuration | manual | 2026-06-03 |
| Inference Budgets and User-Supplied Boundaries | Type Specification | 2026-06-03 |
| How other type checkers bound inference — prior art for Rigor's budgets | Development Notes | 2026-06-03 |
| Rigor Internal Specification | Internal Specification | 2026-06-03 |
| Baseline Key Derivation | Internal Specification | 2026-06-03 |
| `Rigor::Analysis::Diagnostic` shape | Internal Specification | 2026-06-03 |
| Worker Session Protocol | Internal Specification | 2026-06-03 |
| Plugin-side Cache Producers (slice 6) | Internal Specification | 2026-06-03 |
| Diagnostic Policy | Type Specification | 2026-06-03 |
| Macro / DSL Expansion Substrate | Internal Specification | 2026-06-03 |
| Public API Stability Boundary | Internal Specification | 2026-06-03 |
| rigor-dry-validation | manual | 2026-06-03 |
| rigor-shoulda-matchers | manual | 2026-06-03 |
| Plugin reference | manual | 2026-06-03 |
| Plugin doc migration playbook (the "(ii)" split) | Development Notes | 2026-06-03 |
| rigor-activesupport-core-ext | manual | 2026-06-03 |
| rigor-hanami | manual | 2026-06-03 |
| rigor-rbs-inline | manual | 2026-06-03 |
| rigor-rspec-rails | manual | 2026-06-03 |
| rigor-typescript-utility-types | manual | 2026-06-03 |
| rigor-actioncable | manual | 2026-06-03 |
| rigor-graphql | manual | 2026-06-03 |
| rigor-minitest | manual | 2026-06-03 |
| rigor-sidekiq | manual | 2026-06-03 |
| Plugins | Handbook | 2026-06-03 |
| rigor-devise | manual | 2026-06-03 |
| rigor-mangrove | manual | 2026-06-03 |
| rigor-pundit | manual | 2026-06-03 |
| rigor-statesman | manual | 2026-06-03 |
| rigor-sinatra | manual | 2026-06-03 |
| rigor-dry-schema | manual | 2026-06-03 |
| rigor-dry-struct | manual | 2026-06-03 |
| rigor-actionmailer | manual | 2026-06-03 |
| rigor-dry-types | manual | 2026-06-03 |
| rigor-factorybot | manual | 2026-06-03 |
| rigor-rails | manual | 2026-06-03 |
| rigor-activejob | manual | 2026-06-03 |
| rigor-activestorage | manual | 2026-06-03 |
| rigor-actionpack | manual | 2026-06-03 |
| rigor-rails-i18n | manual | 2026-06-03 |
| rigor-rails-routes | manual | 2026-06-03 |
| rigor-activerecord | manual | 2026-06-03 |
| rigor-sorbet | manual | 2026-06-03 |
| rigor-rspec | manual | 2026-06-03 |
| The Rigor User Manual | manual | 2026-06-03 |
| Rigor Type System — Quick Guide | types | 2026-06-03 |
| Rigor MCP Server — AI Agent Integration | manual | 2026-06-03 |
| Rigor for Rails — step-by-step setup with mise | manual | 2026-06-03 |
| CLI command reference | manual | 2026-06-03 |
| Rigor LSP — Editor Integration | manual | 2026-06-03 |
| Installing Rigor | manual | 2026-06-03 |
| Diagnostics | manual | 2026-06-03 |
| Troubleshooting | manual | 2026-06-03 |
| Getting started | Handbook | 2026-06-03 |
| Narrowing | Handbook | 2026-06-03 |
| Tuples and hash shapes | Handbook | 2026-06-03 |
| Methods and blocks | Handbook | 2026-06-03 |
| Classes | Handbook | 2026-06-03 |
| Understanding errors | Handbook | 2026-06-03 |
| Lightweight HKT (JSON.parse and friends) | Handbook | 2026-06-03 |
| Appendix — The Liskov Substitution Principle | Handbook | 2026-06-03 |
| Appendix — Connections to Type Theory | Handbook | 2026-06-03 |
| Appendix — Coming from TypeScript | Handbook | 2026-06-03 |
| Caching | manual | 2026-06-03 |
| Appendix — Coming from TypeProf | Handbook | 2026-06-02 |
| Appendix — Coming from Steep | Handbook | 2026-06-02 |
| Appendix — Coming from PHPStan | Handbook | 2026-06-02 |
| RBS and RBS::Extended | Handbook | 2026-06-02 |
| Coexisting with Sorbet | Handbook | 2026-06-02 |
| Generating RBS with rigor sig-gen | Handbook | 2026-06-02 |
| Everyday types | Handbook | 2026-06-02 |
| Rails Ecosystem Plugins — Roadmap | Design Notes | 2026-06-02 |
| ADR-40 — `config_schema` declared defaults (`{kind:, default:}`) | Architecture Decisions | 2026-06-02 |
| Bug report draft — `Ruby::Box` SIGSEGV in `prepare_callable_method_entry` | Development Notes | 2026-06-02 |
| ADR-39 — Plugins may invoke their target library's safe methods directly | Architecture Decisions | 2026-06-02 |
| ADR-2: Extension API Strategy | Architecture Decisions | 2026-06-02 |
| Plugin boilerplate reduction — phased plan | Design Notes | 2026-06-02 |
| ADR-37 — Plugin interface segregation (narrow extension protocols) | Architecture Decisions | 2026-06-02 |
| ADR-38 — Plugin-declared additional initializers | Architecture Decisions | 2026-06-02 |
| Design Notes | Design Notes | 2026-06-02 |
| Plugin mechanism — final pre-1.0 review (over/under-coverage, pain points, boilerplate) | Design Notes | 2026-06-01 |
| ADR-0: Foundation and Core Architecture of Rigor | Architecture Decisions | 2026-06-01 |
| ADR-1: Type Model and RBS Superset Strategy | Architecture Decisions | 2026-06-01 |
| ADR-10 — Opt-in dependency-source inference | Architecture Decisions | 2026-06-01 |
| ADR-11 — Sorbet input as a plugin adapter | Architecture Decisions | 2026-06-01 |
| ADR-12 — dry-rb plugin packaging | Architecture Decisions | 2026-06-01 |
| ADR-13 — `TypeNode` resolver plugin hook + TypeScript-utility-type adapter | Architecture Decisions | 2026-06-01 |
| ADR-14 — RBS signature generation and augmentation from inference | Architecture Decisions | 2026-06-01 |
| ADR-15 — Ractor-based concurrency model for the analyzer | Architecture Decisions | 2026-06-01 |
| ADR-16 — Macro / DSL expansion substrate | Architecture Decisions | 2026-06-01 |
| ADR-17 — Project-side monkey-patch pre-evaluation | Architecture Decisions | 2026-06-01 |
| ADR-18 — Substrate per-call-site return-type DSL | Architecture Decisions | 2026-06-01 |
| ADR-19 — Language Server packaging | Architecture Decisions | 2026-06-01 |
| ADR-20: Lightweight Higher-Kinded Polymorphism (Lightweight HKT) | Architecture Decisions | 2026-06-01 |
| ADR-21 — Rubydex evaluation (foundation, backend, or tool?) | Architecture Decisions | 2026-06-01 |
| ADR-22 — Baseline mechanism + project-onboarding SKILLs | Architecture Decisions | 2026-06-01 |
| ADR-23 — Diagnostic triage command (`rigor triage`) | Architecture Decisions | 2026-06-01 |
| ADR-24 — Implicit-self method-call resolution | Architecture Decisions | 2026-06-01 |
| ADR-25 — Plugin-contributed RBS signatures | Architecture Decisions | 2026-06-01 |
| ADR-26 — ActiveRecord relation typing | Architecture Decisions | 2026-06-01 |
| ADR-27 — Tool distribution and installation model | Architecture Decisions | 2026-06-01 |
| ADR-28 — Path-scoped method-protocol contracts | Architecture Decisions | 2026-06-01 |
| ADR-29 — Browser playground | Architecture Decisions | 2026-06-01 |
| ADR-3: Internal Type Representation | Architecture Decisions | 2026-06-01 |
| ADR-30 — `rigor-ffi` plugin shape | Architecture Decisions | 2026-06-01 |
| ADR-31 — Contribution and supply-chain policy | Architecture Decisions | 2026-06-01 |
| ADR-32 — Inline-RBS comment ingestion as an opt-in plugin | Architecture Decisions | 2026-06-01 |
| ADR-33 — MCP Server packaging | Architecture Decisions | 2026-06-01 |
| ADR-34 — Toplevel unresolved implicit-self calls warn by default | Architecture Decisions | 2026-06-01 |
| ADR-35 — Override signature compatibility (Liskov signature rule) | Architecture Decisions | 2026-06-01 |
| ADR-36 — Macro-substrate nested-class emission tier (Mangrove `Enum`) | Architecture Decisions | 2026-06-01 |
| ADR-4: Type Inference Engine and the `Scope#type_of` Query | Architecture Decisions | 2026-06-01 |
| ADR-5: Robustness Principle for Rigor Types | Architecture Decisions | 2026-06-01 |
| ADR-6: Cache Persistence Backend | Architecture Decisions | 2026-06-01 |
| ADR-7: v0.1.0 Slice 4 – 6 Working Decisions | Architecture Decisions | 2026-06-01 |
| ADR-8: Steep-inspired Improvements | Architecture Decisions | 2026-06-01 |
| ADR-9 — Cross-plugin API | Architecture Decisions | 2026-06-01 |
| Macro / DSL Expansion — Per-Library Survey | Development Notes | 2026-06-01 |
| Matsumoto & Minamide 2008 (polymorphic-record Ruby type inference) — Rigor perspective review | Development Notes | 2026-06-01 |
| Matsumoto & Minamide 2010 (Ruby CFA) — Rigor perspective review | Development Notes | 2026-06-01 |
| FFI library usage survey — feeding `rigor-ffi` design (2026-05-25) | Development Notes | 2026-06-01 |
| Mangrove (Result / Option / Enum) — library survey + `rigor-mangrove` shape | Development Notes | 2026-06-01 |
| Real Sorbet/Tapioca app survey — strap + dependabot-core | Development Notes | 2026-06-01 |
| "What the Era of Gradual Typing Languages Needs" (mizchi) — Rigor / TypeScript perspective review | Development Notes | 2026-06-01 |
| "Revenge of the Types" (Armin Ronacher) — runtime × type-checker cross-cut review | Development Notes | 2026-06-01 |
| "Type System Poem" (myuon) — Rigor perspective review | Development Notes | 2026-06-01 |
| textbringer type-coverage survey — invalid bundled `sig/`, and the namespace-synthesis fix | Development Notes | 2026-06-01 |
| TypeProf internals survey — inference logic + internal type representation | Development Notes | 2026-06-01 |
| Opt-in Dependency-Source Inference | Internal Specification | 2026-05-29 |
| Flow Contribution Bundle — `Rigor::FlowContribution` | Internal Specification | 2026-05-29 |
| Plugin Trust and I/O Policy (slice 2) | Internal Specification | 2026-05-29 |
| Reflection Facade — `Rigor::Reflection` | Internal Specification | 2026-05-29 |
| Provided skills | manual | 2026-05-29 |
| Running Rigor in CI | manual | 2026-05-29 |
| Rigor Type Specification | Type Specification | 2026-05-29 |
| Control-Flow Analysis | Type Specification | 2026-05-29 |
| Imported Built-In Types | Type Specification | 2026-05-29 |
| Overview | Type Specification | 2026-05-29 |
| RBS::Extended Annotations | Type Specification | 2026-05-29 |
| Rigor Extensions | Type Specification | 2026-05-29 |
| Robustness Principle (Postel's Law for Types) | Type Specification | 2026-05-29 |
| rigor-survey project-init baseline sweep — 2026-05-29 | Development Notes | 2026-05-29 |
| ADR-35 override-rules — Mastodon false-positive verification | Development Notes | 2026-05-29 |
| Install Rigor — instructions for an AI agent | install | 2026-05-29 |
| Upstream `ruby/rbs` PR — `Resolv::DNS` typeclass-narrowed return | Development Notes | 2026-05-28 |
| Using plugins | manual | 2026-05-27 |
| VSCode extension — first-party marketplace client for `rigor lsp` | Design Notes | 2026-05-23 |
| Inspecting inferred types | manual | 2026-05-23 |
| Baselines | manual | 2026-05-23 |
| Mastodon regression sweeps — re-run on Rigor v0.1.9 | Development Notes | 2026-05-23 |
| Struct / Encoding coverage audit | Development Notes | 2026-05-23 |
| Date / Time / DateTime method coverage audit | Development Notes | 2026-05-23 |
| Hash method coverage — ShapeDispatch & block-fold audit | Development Notes | 2026-05-23 |
| 標準ライブラリ決定論的モジュール関数カバレッジ | Development Notes | 2026-05-23 |
| 型別メソッドカバレッジ — ConstantFolding / ShapeDispatch / ExpressionTyper 監査 | Development Notes | 2026-05-23 |
| Rational / Complex / Range / Set — ConstantFolding カバレッジ監査 | Development Notes | 2026-05-22 |
| Standard library nondeterministic / excluded module coverage | Development Notes | 2026-05-22 |
| Redmine per-commit detection probe — does Rigor catch real bugs? | Development Notes | 2026-05-21 |
| Redmine 6.x regression sweep — baseline-drift over a release line | Development Notes | 2026-05-21 |
| Mastodon v4.5.x regression sweep — baseline-drift over a release line | Development Notes | 2026-05-21 |
| Mastodon survey — Cluster 4 (flow-folding warnings) triage | Development Notes | 2026-05-21 |
| Ractor worker pool crash — root-caused to a CRuby concurrent-Ractor use-after-free | Development Notes | 2026-05-20 |
| `rigor-tapioca`? — Tapioca DSL-RBI Coverage Investigation | Design Notes | 2026-05-19 |
| Real-world Rails project survey (2026-05-15) | Development Notes | 2026-05-19 |
| 22-library OSS survey — recurring false-positive clusters + landed BigDecimal-coerce fix | Development Notes | 2026-05-19 |
| CLI editor mode — disk-backed `ProjectScan` snapshot cache | Design Notes | 2026-05-18 |
| `rigor-dry-validation` — slicing decision | Design Notes | 2026-05-18 |
| Editor mode — single-file fast-response analysis | Design Notes | 2026-05-17 |
| LSP v2 — type-aware hover + completion | Design Notes | 2026-05-17 |
| Language Server — in-process Ruby LSP for Rigor | Design Notes | 2026-05-17 |
| Cache slice taxonomy — pre-v0.1.0 design notes | Design Notes | 2026-05-15 |
| v0.1.0 readiness — pre-plugin design notes | Design Notes | 2026-05-15 |
| dry-rb Ecosystem Plugins — Survey | Design Notes | 2026-05-15 |
| Steep 2.0 cross-check triage (2026-05-03) | Development Notes | 2026-05-15 |
| Ractor migration — staged plan | Design Notes | 2026-05-15 |
| Type Operators | Type Specification | 2026-05-11 |
| Special Types | Type Specification | 2026-05-09 |
| Rigor and Tapioca — Comparison and Strategy | Design Notes | 2026-05-09 |
| Changelog — 0.0.x archive | changelog-00x | 2026-05-08 |
| Flow Contribution Merger (slice 3) | Internal Specification | 2026-05-06 |
| Implementation Expectations | Internal Specification | 2026-04-28 |
| RBS-Compatible Types | Type Specification | 2026-04-28 |
| Structural Interfaces and Object Shapes | Type Specification | 2026-04-28 |
| Value Lattice | Type Specification | 2026-04-28 |
| Normalization | Type Specification | 2026-04-28 |
| RBS Erasure | Type Specification | 2026-04-28 |
| Relations and Certainty | Type Specification | 2026-04-28 |
© 2026 TypedDuck. Licensed under CC BY-SA 4.0.