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