| Cache Layer — `Rigor::Cache` | 内部仕様 | 2026-06-04 |
| 推論エンジン | 内部仕様 | 2026-06-04 |
| Internal Type API | 内部仕様 | 2026-06-04 |
| Structural code repetition audit (non-catalog, non-plugin) — 2026-06-04 | 開発ノート | 2026-06-04 |
| Built-in method typing — boilerplate / pain-point audit — 2026-06-03 | 開発ノート | 2026-06-04 |
| Rigorハンドブック | ハンドブック | 2026-06-04 |
| Appendix — Protocols, interfaces, and structural typing | ハンドブック | 2026-06-04 |
| Session report — typing the plugin contract (2026-06-03) | 開発ノート | 2026-06-04 |
| Dead code / coverage sweep — 2026-06-03 | 開発ノート | 2026-06-03 |
| Current Work — Resume Bookmark | current-work | 2026-06-03 |
| Rigor Roadmap | roadmap | 2026-06-03 |
| 付録 — mypy / Pyrightから来た場合 | ハンドブック | 2026-06-03 |
| Plugin Registration / Loading (slice 1) | 内部仕様 | 2026-06-03 |
| Research & Survey Notes | 開発ノート | 2026-06-03 |
| アーキテクチャ決定記録 | 設計判断 | 2026-06-03 |
| ADR-43 — RBS-complete ancestor resolution (allow-list inherited-method dispatch) | 設計判断 | 2026-06-03 |
| Typing plugin files against the `Plugin::Base` contract — spike findings | 開発ノート | 2026-06-03 |
| PHPStan 内部型演算（TypeCombinator / TypeUtils / 二項演算評価）と Rigor の比較 | 開発ノート | 2026-06-03 |
| ADR-42 — Plugin-contributed binary-operator return types (coerce-direction) | 設計判断 | 2026-06-03 |
| ADR-41 — Inference budget design (wiring, on-hit policy, measurement-gated defaults) | 設計判断 | 2026-06-03 |
| Inference budgets: spec vs. wired reality, and a scale/time survey | 開発ノート | 2026-06-03 |
| 設定 | manual | 2026-06-03 |
| 推論バジェットとユーザー提供の境界 | 型仕様 | 2026-06-03 |
| How other type checkers bound inference — prior art for Rigor's budgets | 開発ノート | 2026-06-03 |
| Rigor内部仕様 | 内部仕様 | 2026-06-03 |
| Baseline Key Derivation | 内部仕様 | 2026-06-03 |
| `Rigor::Analysis::Diagnostic` shape | 内部仕様 | 2026-06-03 |
| Worker Session Protocol | 内部仕様 | 2026-06-03 |
| Plugin-side Cache Producers (slice 6) | 内部仕様 | 2026-06-03 |
| 診断ポリシー | 型仕様 | 2026-06-03 |
| Macro / DSL Expansion Substrate | 内部仕様 | 2026-06-03 |
| Public API Stability Boundary | 内部仕様 | 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) | 開発ノート | 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 |
| プラグイン | ハンドブック | 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 |
| Rigorユーザーマニュアル | manual | 2026-06-03 |
| Rigor型システム — クイックガイド | types | 2026-06-03 |
| Rigor MCPサーバー — AIエージェント統合 | manual | 2026-06-03 |
| Rails向けRigor — miseを使ったステップバイステップセットアップ | manual | 2026-06-03 |
| CLIコマンドリファレンス | manual | 2026-06-03 |
| Rigor LSP — エディタ統合 | manual | 2026-06-03 |
| Rigorのインストール | manual | 2026-06-03 |
| 診断 | manual | 2026-06-03 |
| トラブルシューティング | manual | 2026-06-03 |
| はじめに | ハンドブック | 2026-06-03 |
| ナローイング | ハンドブック | 2026-06-03 |
| タプルとハッシュシェイプ | ハンドブック | 2026-06-03 |
| メソッドとブロック | ハンドブック | 2026-06-03 |
| クラス | ハンドブック | 2026-06-03 |
| エラーの読み方 | ハンドブック | 2026-06-03 |
| 軽量HKT（`JSON.parse`とその仲間たち） | ハンドブック | 2026-06-03 |
| Appendix — The Liskov Substitution Principle | ハンドブック | 2026-06-03 |
| 付録 — 型理論との接続 | ハンドブック | 2026-06-03 |
| 付録 — TypeScriptから来た場合 | ハンドブック | 2026-06-03 |
| キャッシング | manual | 2026-06-03 |
| 付録 — TypeProfから来た場合 | ハンドブック | 2026-06-02 |
| 付録 — Steepから来た場合 | ハンドブック | 2026-06-02 |
| 付録 — PHPStanから来た場合 | ハンドブック | 2026-06-02 |
| RBSと`RBS::Extended` | ハンドブック | 2026-06-02 |
| Sorbetとの共存 | ハンドブック | 2026-06-02 |
| `rigor sig-gen`でRBSを生成する | ハンドブック | 2026-06-02 |
| 日常的に出会う型 | ハンドブック | 2026-06-02 |
| Rails Ecosystem Plugins — Roadmap | 設計ノート | 2026-06-02 |
| ADR-40 — `config_schema` declared defaults (`{kind:, default:}`) | 設計判断 | 2026-06-02 |
| バグ報告ドラフト — `prepare_callable_method_entry`での`Ruby::Box` SIGSEGV | 開発ノート | 2026-06-02 |
| ADR-39 — Plugins may invoke their target library's safe methods directly | 設計判断 | 2026-06-02 |
| ADR-2: 拡張API戦略 | 設計判断 | 2026-06-02 |
| Plugin boilerplate reduction — phased plan | 設計ノート | 2026-06-02 |
| ADR-37 — Plugin interface segregation (narrow extension protocols) | 設計判断 | 2026-06-02 |
| ADR-38 — Plugin-declared additional initializers | 設計判断 | 2026-06-02 |
| Design Notes | 設計ノート | 2026-06-02 |
| プラグイン機構 1.0 前最終レビュー — 過不足・ペインポイント・ボイラープレート | 設計ノート | 2026-06-01 |
| ADR-0: Rigorの基盤とコアアーキテクチャ | 設計判断 | 2026-06-01 |
| ADR-1: 型モデルとRBSスーパーセット戦略 | 設計判断 | 2026-06-01 |
| ADR-10 — オプトイン依存関係ソース推論 | 設計判断 | 2026-06-01 |
| ADR-11 — プラグインアダプタとしてのSorbet入力 | 設計判断 | 2026-06-01 |
| ADR-12 — dry-rbプラグインパッケージング | 設計判断 | 2026-06-01 |
| ADR-13 — `TypeNode`リゾルバプラグインフック + TypeScriptユーティリティ型アダプタ | 設計判断 | 2026-06-01 |
| ADR-14 — 推論からのRBSシグネチャ生成と拡張 | 設計判断 | 2026-06-01 |
| ADR-15 — アナライザーのRactorベース並行性モデル | 設計判断 | 2026-06-01 |
| ADR-16 — マクロ / DSL展開基板 | 設計判断 | 2026-06-01 |
| ADR-17 — プロジェクト側monkey-patchの事前評価 | 設計判断 | 2026-06-01 |
| ADR-18 — 基板の呼び出しサイトごとの戻り型DSL | 設計判断 | 2026-06-01 |
| ADR-19 — 言語サーバーのパッケージング | 設計判断 | 2026-06-01 |
| ADR-20: 軽量高階多相性（Lightweight HKT） | 設計判断 | 2026-06-01 |
| ADR-21 — Rubydex評価（基礎、バックエンド、ツール？） | 設計判断 | 2026-06-01 |
| ADR-22 — ベースラインメカニズム + プロジェクトオンボーディングSKILL | 設計判断 | 2026-06-01 |
| ADR-23 — 診断トリアージコマンド（`rigor triage`） | 設計判断 | 2026-06-01 |
| ADR-24 — implicit-selfメソッド呼び出し解決 | 設計判断 | 2026-06-01 |
| ADR-25 — プラグインが提供するRBSシグネチャ | 設計判断 | 2026-06-01 |
| ADR-26 — ActiveRecord relationの型付け | 設計判断 | 2026-06-01 |
| ADR-27 — ツール配布・インストールモデル | 設計判断 | 2026-06-01 |
| ADR-28 — パススコープのメソッドプロトコル契約 | 設計判断 | 2026-06-01 |
| ADR-29 — ブラウザプレイグラウンド | 設計判断 | 2026-06-01 |
| ADR-3: 内部型表現 | 設計判断 | 2026-06-01 |
| ADR-30 — `rigor-ffi`プラグインの形状 | 設計判断 | 2026-06-01 |
| ADR-31 — 貢献およびサプライチェーンポリシー | 設計判断 | 2026-06-01 |
| ADR-32 — オプトインプラグインとしてのインラインRBSコメント取り込み | 設計判断 | 2026-06-01 |
| ADR-33 — MCPサーバーパッケージング | 設計判断 | 2026-06-01 |
| ADR-34 — トップレベルのunresolved implicit-self呼び出しはデフォルトで警告する | 設計判断 | 2026-06-01 |
| ADR-35 — Override signature compatibility (Liskov signature rule) | 設計判断 | 2026-06-01 |
| ADR-36 — Macro-substrate nested-class emission tier (Mangrove `Enum`) | 設計判断 | 2026-06-01 |
| ADR-4: 型推論エンジンと`Scope#type_of`クエリ | 設計判断 | 2026-06-01 |
| ADR-5: Rigor型のロバストネス原則 | 設計判断 | 2026-06-01 |
| ADR-6: キャッシュ永続化バックエンド | 設計判断 | 2026-06-01 |
| ADR-7: v0.1.0 スライス4〜6 作業上の決定 | 設計判断 | 2026-06-01 |
| ADR-8: Steepに着想を得た改善 | 設計判断 | 2026-06-01 |
| ADR-9 — クロスプラグインAPI | 設計判断 | 2026-06-01 |
| マクロ／DSL展開 — ライブラリ別調査 | 開発ノート | 2026-06-01 |
| Matsumoto & Minamide 2008 (多相レコード型 Ruby 型推論) — Rigor 観点考察 | 開発ノート | 2026-06-01 |
| Matsumoto & Minamide 2010 (Ruby CFA) — Rigor 観点考察 | 開発ノート | 2026-06-01 |
| FFIライブラリ使用状況調査 — `rigor-ffi`設計の基礎（2026-05-25） | 開発ノート | 2026-06-01 |
| Mangrove（Result / Option / Enum）— ライブラリ調査 + `rigor-mangrove`の形状 | 開発ノート | 2026-06-01 |
| 実アプリでのSorbet/Tapioca調査 — strap + dependabot-core | 開発ノート | 2026-06-01 |
| 「漸進的型付け言語の時代に必要なもの」(mizchi) — Rigor / TypeScript 観点考察 | 開発ノート | 2026-06-01 |
| 「Revenge of the Types」(Armin Ronacher) — ランタイム × 型チェッカー横断考察 | 開発ノート | 2026-06-01 |
| 「型システムポエム」(myuon) — Rigor 観点考察 | 開発ノート | 2026-06-01 |
| textbringerの型カバレッジ調査 — 不正な同梱`sig/`と、名前空間合成による修正 | 開発ノート | 2026-06-01 |
| TypeProf内部調査 — 推論ロジック + 内部型表現 | 開発ノート | 2026-06-01 |
| オプトイン依存関係ソース推論 | 内部仕様 | 2026-05-29 |
| Flow Contribution Bundle — `Rigor::FlowContribution` | 内部仕様 | 2026-05-29 |
| Plugin Trust and I/O Policy (slice 2) | 内部仕様 | 2026-05-29 |
| Reflection Facade — `Rigor::Reflection` | 内部仕様 | 2026-05-29 |
| 提供スキル | manual | 2026-05-29 |
| CIでのRigor実行 | manual | 2026-05-29 |
| Rigor型仕様 | 型仕様 | 2026-05-29 |
| 制御フロー解析 | 型仕様 | 2026-05-29 |
| インポートされた組み込み型 | 型仕様 | 2026-05-29 |
| 概要 | 型仕様 | 2026-05-29 |
| RBS::Extendedアノテーション | 型仕様 | 2026-05-29 |
| Rigor拡張 | 型仕様 | 2026-05-29 |
| ロバストネス原則（型のためのPostelの法則） | 型仕様 | 2026-05-29 |
| rigor-survey project-init baseline sweep — 2026-05-29 | 開発ノート | 2026-05-29 |
| ADR-35 override-rules — Mastodon false-positive verification | 開発ノート | 2026-05-29 |
| Rigorのインストール — AIエージェント向け手順 | install | 2026-05-29 |
| upstream `ruby/rbs` PR — `Resolv::DNS`のタイプクラスによる戻り値型の絞り込み | 開発ノート | 2026-05-28 |
| プラグインの使用 | manual | 2026-05-27 |
| VSCode extension — first-party marketplace client for `rigor lsp` | 設計ノート | 2026-05-23 |
| 推論型の確認 | manual | 2026-05-23 |
| ベースライン | manual | 2026-05-23 |
| Mastodonリグレッションスイープ — Rigor v0.1.9での再実行 | 開発ノート | 2026-05-23 |
| Struct / Encoding coverage audit | 開発ノート | 2026-05-23 |
| Date / Time / DateTime method coverage audit | 開発ノート | 2026-05-23 |
| Hash method coverage — ShapeDispatch & block-fold audit | 開発ノート | 2026-05-23 |
| 標準ライブラリ決定論的モジュール関数カバレッジ | 開発ノート | 2026-05-23 |
| 型別メソッドカバレッジ — ConstantFolding / ShapeDispatch / ExpressionTyper 監査 | 開発ノート | 2026-05-23 |
| Rational / Complex / Range / Set — ConstantFolding カバレッジ監査 | 開発ノート | 2026-05-22 |
| 標準ライブラリ非決定論的・除外対象モジュール カバレッジ | 開発ノート | 2026-05-22 |
| Redmine per-commit detection probe — does Rigor catch real bugs? | 開発ノート | 2026-05-21 |
| Redmine 6.x regression sweep — baseline-drift over a release line | 開発ノート | 2026-05-21 |
| Mastodon v4.5.x regression sweep — baseline-drift over a release line | 開発ノート | 2026-05-21 |
| Mastodonサーベイ — クラスタ4（フローフォールディング警告）トリアージ | 開発ノート | 2026-05-21 |
| Ractorワーカープールクラッシュ — CRubyの並列Ractor use-after-freeに根本原因を特定 | 開発ノート | 2026-05-20 |
| `rigor-tapioca`? — Tapioca DSL-RBI Coverage Investigation | 設計ノート | 2026-05-19 |
| Real-world Rails project survey (2026-05-15) | 開発ノート | 2026-05-19 |
| 22ライブラリOSSサーベイ — 繰り返される偽陽性クラスタ + 着地したBigDecimal-coerce修正 | 開発ノート | 2026-05-19 |
| CLIエディタモード — ディスクバック`ProjectScan`スナップショットキャッシュ | 設計ノート | 2026-05-18 |
| `rigor-dry-validation` — スライシング決定 | 設計ノート | 2026-05-18 |
| エディタモード — 単一ファイル高速応答解析 | 設計ノート | 2026-05-17 |
| LSP v2 — 型を意識したhover + completionの設計 | 設計ノート | 2026-05-17 |
| Language Server — Rigor向けインプロセスRuby LSP | 設計ノート | 2026-05-17 |
| Cache slice taxonomy — pre-v0.1.0 design notes | 設計ノート | 2026-05-15 |
| v0.1.0 readiness — pre-plugin design notes | 設計ノート | 2026-05-15 |
| dry-rb Ecosystem Plugins — Survey | 設計ノート | 2026-05-15 |
| Steep 2.0 cross-check triage (2026-05-03) | 開発ノート | 2026-05-15 |
| Ractor移行 — 段階化されたプラン | 設計ノート | 2026-05-15 |
| 型演算子 | 型仕様 | 2026-05-11 |
| 特殊型 | 型仕様 | 2026-05-09 |
| Rigor and Tapioca — Comparison and Strategy | 設計ノート | 2026-05-09 |
| Changelog — 0.0.x archive | changelog-00x | 2026-05-08 |
| Flow Contribution Merger (slice 3) | 内部仕様 | 2026-05-06 |
| Implementation Expectations | 内部仕様 | 2026-04-28 |
| RBS互換型 | 型仕様 | 2026-04-28 |
| 構造的インターフェースとオブジェクトシェイプ | 型仕様 | 2026-04-28 |
| 値束（Value Lattice） | 型仕様 | 2026-04-28 |
| 正規化 | 型仕様 | 2026-04-28 |
| RBS消去 | 型仕様 | 2026-04-28 |
| 関係と確実性 | 型仕様 | 2026-04-28 |
© 2026 TypedDuck. Licensed under CC BY-SA 4.0.