https://rigor.typedduck.fail/https://rigor.typedduck.fail/ja/https://rigor.typedduck.fail/ja/recently-updated/https://rigor.typedduck.fail/ja/reference/https://rigor.typedduck.fail/ja/reference/adr/https://rigor.typedduck.fail/ja/reference/adr/0-concept/https://rigor.typedduck.fail/ja/reference/adr/1-types/https://rigor.typedduck.fail/ja/reference/adr/2-extension-api/https://rigor.typedduck.fail/ja/reference/adr/3-type-representation/https://rigor.typedduck.fail/ja/reference/adr/4-type-inference-engine/https://rigor.typedduck.fail/ja/reference/adr/5-robustness-principle/https://rigor.typedduck.fail/ja/reference/adr/6-cache-persistence-backend/https://rigor.typedduck.fail/ja/reference/adr/7-v010-slice-decisions/https://rigor.typedduck.fail/ja/reference/adr/8-steep-inspired-improvements/https://rigor.typedduck.fail/ja/reference/adr/9-cross-plugin-api/https://rigor.typedduck.fail/ja/reference/adr/10-dependency-source-inference/https://rigor.typedduck.fail/ja/reference/adr/11-sorbet-input-adapter/https://rigor.typedduck.fail/ja/reference/adr/12-dry-rb-packaging/https://rigor.typedduck.fail/ja/reference/adr/13-typenode-resolver-plugin/https://rigor.typedduck.fail/ja/reference/adr/14-rbs-sig-generation/https://rigor.typedduck.fail/ja/reference/adr/15-ractor-concurrency/https://rigor.typedduck.fail/ja/reference/adr/16-macro-expansion/https://rigor.typedduck.fail/ja/reference/adr/17-monkey-patch-pre-evaluation/https://rigor.typedduck.fail/ja/reference/adr/18-substrate-per-call-site-return-type/https://rigor.typedduck.fail/ja/reference/adr/19-language-server-packaging/https://rigor.typedduck.fail/ja/reference/adr/20-lightweight-hkt/https://rigor.typedduck.fail/ja/reference/adr/21-rubydex-evaluation/https://rigor.typedduck.fail/ja/reference/adr/22-baseline-and-project-onboarding/https://rigor.typedduck.fail/ja/reference/adr/23-diagnostic-triage-command/https://rigor.typedduck.fail/ja/reference/adr/24-self-method-call-resolution/https://rigor.typedduck.fail/ja/reference/adr/25-plugin-contributed-rbs/https://rigor.typedduck.fail/ja/reference/adr/26-activerecord-relation-typing/https://rigor.typedduck.fail/ja/reference/adr/27-tool-distribution-model/https://rigor.typedduck.fail/ja/reference/adr/28-path-scoped-protocol-contracts/https://rigor.typedduck.fail/ja/reference/adr/29-browser-playground/https://rigor.typedduck.fail/ja/reference/adr/30-rigor-ffi-plugin-shape/https://rigor.typedduck.fail/ja/reference/adr/31-contribution-and-supply-chain-policy/https://rigor.typedduck.fail/ja/reference/adr/32-rbs-inline-comment-ingestion/https://rigor.typedduck.fail/ja/reference/adr/33-mcp-server/https://rigor.typedduck.fail/ja/reference/adr/34-toplevel-unresolved-self-call-default/https://rigor.typedduck.fail/ja/reference/adr/35-override-signature-compatibility/https://rigor.typedduck.fail/ja/reference/adr/36-mangrove-enum-nested-class-emission/https://rigor.typedduck.fail/ja/reference/adr/37-plugin-interface-segregation/https://rigor.typedduck.fail/ja/reference/adr/38-additional-initializers/https://rigor.typedduck.fail/ja/reference/adr/39-plugin-target-library-invocation/https://rigor.typedduck.fail/ja/reference/adr/40-config-schema-defaults/https://rigor.typedduck.fail/ja/reference/adr/41-inference-budget-design/https://rigor.typedduck.fail/ja/reference/adr/42-plugin-binary-operator-return-types/https://rigor.typedduck.fail/ja/reference/adr/43-rbs-complete-ancestor-resolution/https://rigor.typedduck.fail/ja/reference/changelog-00x/https://rigor.typedduck.fail/ja/reference/current-work/https://rigor.typedduck.fail/ja/reference/design/https://rigor.typedduck.fail/ja/reference/design/20260505-cache-slice-taxonomy/https://rigor.typedduck.fail/ja/reference/design/20260505-v010-readiness/https://rigor.typedduck.fail/ja/reference/design/20260508-rails-plugins-roadmap/https://rigor.typedduck.fail/ja/reference/design/20260509-dry-plugins-roadmap/https://rigor.typedduck.fail/ja/reference/design/20260509-rigor-tapioca-comparison/https://rigor.typedduck.fail/ja/reference/design/20260509-rigor-tapioca-investigation/https://rigor.typedduck.fail/ja/reference/design/20260514-ractor-migration/https://rigor.typedduck.fail/ja/reference/design/20260516-editor-mode/https://rigor.typedduck.fail/ja/reference/design/20260517-dry-validation-slicing/https://rigor.typedduck.fail/ja/reference/design/20260517-language-server/https://rigor.typedduck.fail/ja/reference/design/20260517-lsp-hover-completion/https://rigor.typedduck.fail/ja/reference/design/20260518-cli-disk-snapshot-cache/https://rigor.typedduck.fail/ja/reference/design/20260522-vscode-extension/https://rigor.typedduck.fail/ja/reference/design/20260601-plugin-mechanism-pre-10-review/https://rigor.typedduck.fail/ja/reference/design/20260602-plugin-boilerplate-reduction-plan/https://rigor.typedduck.fail/ja/reference/handbook/https://rigor.typedduck.fail/ja/reference/handbook/01-getting-started/https://rigor.typedduck.fail/ja/reference/handbook/02-everyday-types/https://rigor.typedduck.fail/ja/reference/handbook/03-narrowing/https://rigor.typedduck.fail/ja/reference/handbook/04-tuples-and-shapes/https://rigor.typedduck.fail/ja/reference/handbook/05-methods-and-blocks/https://rigor.typedduck.fail/ja/reference/handbook/06-classes/https://rigor.typedduck.fail/ja/reference/handbook/07-rbs-and-extended/https://rigor.typedduck.fail/ja/reference/handbook/08-understanding-errors/https://rigor.typedduck.fail/ja/reference/handbook/09-plugins/https://rigor.typedduck.fail/ja/reference/handbook/10-sorbet/https://rigor.typedduck.fail/ja/reference/handbook/11-sig-gen/https://rigor.typedduck.fail/ja/reference/handbook/12-lightweight-hkt/https://rigor.typedduck.fail/ja/reference/handbook/appendix-liskov/https://rigor.typedduck.fail/ja/reference/handbook/appendix-mypy/https://rigor.typedduck.fail/ja/reference/handbook/appendix-phpstan/https://rigor.typedduck.fail/ja/reference/handbook/appendix-protocols-and-structural-typing/https://rigor.typedduck.fail/ja/reference/handbook/appendix-steep/https://rigor.typedduck.fail/ja/reference/handbook/appendix-type-theory/https://rigor.typedduck.fail/ja/reference/handbook/appendix-typeprof/https://rigor.typedduck.fail/ja/reference/handbook/appendix-typescript/https://rigor.typedduck.fail/ja/reference/install/https://rigor.typedduck.fail/ja/reference/internal-spec/https://rigor.typedduck.fail/ja/reference/internal-spec/baseline/https://rigor.typedduck.fail/ja/reference/internal-spec/cache/https://rigor.typedduck.fail/ja/reference/internal-spec/dependency-source-inference/https://rigor.typedduck.fail/ja/reference/internal-spec/diagnostic-shape/https://rigor.typedduck.fail/ja/reference/internal-spec/flow-contribution-merger/https://rigor.typedduck.fail/ja/reference/internal-spec/flow-contribution/https://rigor.typedduck.fail/ja/reference/internal-spec/implementation-expectations/https://rigor.typedduck.fail/ja/reference/internal-spec/inference-engine/https://rigor.typedduck.fail/ja/reference/internal-spec/internal-type-api/https://rigor.typedduck.fail/ja/reference/internal-spec/macro-substrate/https://rigor.typedduck.fail/ja/reference/internal-spec/plugin-cache-producers/https://rigor.typedduck.fail/ja/reference/internal-spec/plugin-trust/https://rigor.typedduck.fail/ja/reference/internal-spec/plugin/https://rigor.typedduck.fail/ja/reference/internal-spec/public-api/https://rigor.typedduck.fail/ja/reference/internal-spec/reflection/https://rigor.typedduck.fail/ja/reference/internal-spec/worker-session/https://rigor.typedduck.fail/ja/reference/manual/https://rigor.typedduck.fail/ja/reference/manual/01-installation/https://rigor.typedduck.fail/ja/reference/manual/02-cli-reference/https://rigor.typedduck.fail/ja/reference/manual/03-configuration/https://rigor.typedduck.fail/ja/reference/manual/04-diagnostics/https://rigor.typedduck.fail/ja/reference/manual/05-inspecting-types/https://rigor.typedduck.fail/ja/reference/manual/06-baseline/https://rigor.typedduck.fail/ja/reference/manual/07-plugins/https://rigor.typedduck.fail/ja/reference/manual/08-skills/https://rigor.typedduck.fail/ja/reference/manual/09-editor-integration/https://rigor.typedduck.fail/ja/reference/manual/10-mcp-server/https://rigor.typedduck.fail/ja/reference/manual/11-ci/https://rigor.typedduck.fail/ja/reference/manual/12-caching/https://rigor.typedduck.fail/ja/reference/manual/13-troubleshooting/https://rigor.typedduck.fail/ja/reference/manual/14-rails-quickstart/https://rigor.typedduck.fail/ja/reference/manual/plugins/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-actioncable/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-actionmailer/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-actionpack/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-activejob/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-activerecord/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-activestorage/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-activesupport-core-ext/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-devise/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-dry-schema/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-dry-struct/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-dry-types/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-dry-validation/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-factorybot/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-graphql/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-hanami/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-mangrove/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-minitest/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-pundit/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-rails-i18n/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-rails-routes/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-rails/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-rbs-inline/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-rspec-rails/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-rspec/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-shoulda-matchers/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-sidekiq/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-sinatra/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-sorbet/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-statesman/https://rigor.typedduck.fail/ja/reference/manual/plugins/rigor-typescript-utility-types/https://rigor.typedduck.fail/ja/reference/notes/https://rigor.typedduck.fail/ja/reference/notes/20260503-steep-cross-check-triage/https://rigor.typedduck.fail/ja/reference/notes/20260515-macro-expansion-library-survey/https://rigor.typedduck.fail/ja/reference/notes/20260515-real-world-rails-survey/https://rigor.typedduck.fail/ja/reference/notes/20260518-matsumoto-2008-poly-records-rigor-review/https://rigor.typedduck.fail/ja/reference/notes/20260518-matsumoto-2010-cfa-rigor-review/https://rigor.typedduck.fail/ja/reference/notes/20260519-oss-library-survey/https://rigor.typedduck.fail/ja/reference/notes/20260520-ractor-pool-cruby-uaf/https://rigor.typedduck.fail/ja/reference/notes/20260521-mastodon-cluster4-flow-folding-triage/https://rigor.typedduck.fail/ja/reference/notes/20260521-mastodon-v45-regression-sweep/https://rigor.typedduck.fail/ja/reference/notes/20260521-redmine-6x-regression-sweep/https://rigor.typedduck.fail/ja/reference/notes/20260521-redmine-per-commit-detection-probe/https://rigor.typedduck.fail/ja/reference/notes/20260522-hash-method-coverage/https://rigor.typedduck.fail/ja/reference/notes/20260522-rational-complex-range-set-method-coverage/https://rigor.typedduck.fail/ja/reference/notes/20260522-stdlib-deterministic-module-coverage/https://rigor.typedduck.fail/ja/reference/notes/20260522-stdlib-nondeterministic-module-coverage/https://rigor.typedduck.fail/ja/reference/notes/20260522-type-method-coverage/https://rigor.typedduck.fail/ja/reference/notes/20260523-date-time-method-coverage/https://rigor.typedduck.fail/ja/reference/notes/20260523-mastodon-v45-regression-sweep-v019/https://rigor.typedduck.fail/ja/reference/notes/20260523-struct-encoding-coverage/https://rigor.typedduck.fail/ja/reference/notes/20260525-ffi-library-survey/https://rigor.typedduck.fail/ja/reference/notes/20260528-rbs-upstream-pr-resolv-typeclass/https://rigor.typedduck.fail/ja/reference/notes/20260529-adr35-mastodon-fp-verification/https://rigor.typedduck.fail/ja/reference/notes/20260529-rigor-survey-project-init-baseline/https://rigor.typedduck.fail/ja/reference/notes/20260530-mangrove-library-survey/https://rigor.typedduck.fail/ja/reference/notes/20260530-sorbet-real-app-survey/https://rigor.typedduck.fail/ja/reference/notes/20260531-typeprof-internals-survey/https://rigor.typedduck.fail/ja/reference/notes/20260601-gradual-typing-era-mizchi-rigor-ts-review/https://rigor.typedduck.fail/ja/reference/notes/20260601-revenge-of-the-types-runtime-checker-survey/https://rigor.typedduck.fail/ja/reference/notes/20260601-textbringer-coverage-survey/https://rigor.typedduck.fail/ja/reference/notes/20260601-type-system-poem-rigor-review/https://rigor.typedduck.fail/ja/reference/notes/20260602-ruby-box-segfault-bug-report/https://rigor.typedduck.fail/ja/reference/notes/20260603-builtin-typing-boilerplate-audit/https://rigor.typedduck.fail/ja/reference/notes/20260603-dead-code-coverage-sweep/https://rigor.typedduck.fail/ja/reference/notes/20260603-inference-budget-reality-survey/https://rigor.typedduck.fail/ja/reference/notes/20260603-inference-cutoff-prior-art/https://rigor.typedduck.fail/ja/reference/notes/20260603-phpstan-type-algebra-comparison/https://rigor.typedduck.fail/ja/reference/notes/20260603-plugin-contract-self-typing-spike/https://rigor.typedduck.fail/ja/reference/notes/20260603-plugin-contract-typing-session-report/https://rigor.typedduck.fail/ja/reference/notes/20260603-plugin-doc-migration-playbook/https://rigor.typedduck.fail/ja/reference/notes/20260604-structural-repetition-audit/https://rigor.typedduck.fail/ja/reference/roadmap/https://rigor.typedduck.fail/ja/reference/type-specification/https://rigor.typedduck.fail/ja/reference/type-specification/control-flow-analysis/https://rigor.typedduck.fail/ja/reference/type-specification/diagnostic-policy/https://rigor.typedduck.fail/ja/reference/type-specification/imported-built-in-types/https://rigor.typedduck.fail/ja/reference/type-specification/inference-budgets/https://rigor.typedduck.fail/ja/reference/type-specification/normalization/https://rigor.typedduck.fail/ja/reference/type-specification/overview/https://rigor.typedduck.fail/ja/reference/type-specification/rbs-compatible-types/https://rigor.typedduck.fail/ja/reference/type-specification/rbs-erasure/https://rigor.typedduck.fail/ja/reference/type-specification/rbs-extended/https://rigor.typedduck.fail/ja/reference/type-specification/relations-and-certainty/https://rigor.typedduck.fail/ja/reference/type-specification/rigor-extensions/https://rigor.typedduck.fail/ja/reference/type-specification/robustness-principle/https://rigor.typedduck.fail/ja/reference/type-specification/special-types/https://rigor.typedduck.fail/ja/reference/type-specification/structural-interfaces-and-object-shapes/https://rigor.typedduck.fail/ja/reference/type-specification/type-operators/https://rigor.typedduck.fail/ja/reference/type-specification/value-lattice/https://rigor.typedduck.fail/ja/reference/types/https://rigor.typedduck.fail/recently-updated/https://rigor.typedduck.fail/reference/https://rigor.typedduck.fail/reference/adr/https://rigor.typedduck.fail/reference/adr/0-concept/https://rigor.typedduck.fail/reference/adr/1-types/https://rigor.typedduck.fail/reference/adr/2-extension-api/https://rigor.typedduck.fail/reference/adr/3-type-representation/https://rigor.typedduck.fail/reference/adr/4-type-inference-engine/https://rigor.typedduck.fail/reference/adr/5-robustness-principle/https://rigor.typedduck.fail/reference/adr/6-cache-persistence-backend/https://rigor.typedduck.fail/reference/adr/7-v010-slice-decisions/https://rigor.typedduck.fail/reference/adr/8-steep-inspired-improvements/https://rigor.typedduck.fail/reference/adr/9-cross-plugin-api/https://rigor.typedduck.fail/reference/adr/10-dependency-source-inference/https://rigor.typedduck.fail/reference/adr/11-sorbet-input-adapter/https://rigor.typedduck.fail/reference/adr/12-dry-rb-packaging/https://rigor.typedduck.fail/reference/adr/13-typenode-resolver-plugin/https://rigor.typedduck.fail/reference/adr/14-rbs-sig-generation/https://rigor.typedduck.fail/reference/adr/15-ractor-concurrency/https://rigor.typedduck.fail/reference/adr/16-macro-expansion/https://rigor.typedduck.fail/reference/adr/17-monkey-patch-pre-evaluation/https://rigor.typedduck.fail/reference/adr/18-substrate-per-call-site-return-type/https://rigor.typedduck.fail/reference/adr/19-language-server-packaging/https://rigor.typedduck.fail/reference/adr/20-lightweight-hkt/https://rigor.typedduck.fail/reference/adr/21-rubydex-evaluation/https://rigor.typedduck.fail/reference/adr/22-baseline-and-project-onboarding/https://rigor.typedduck.fail/reference/adr/23-diagnostic-triage-command/https://rigor.typedduck.fail/reference/adr/24-self-method-call-resolution/https://rigor.typedduck.fail/reference/adr/25-plugin-contributed-rbs/https://rigor.typedduck.fail/reference/adr/26-activerecord-relation-typing/https://rigor.typedduck.fail/reference/adr/27-tool-distribution-model/https://rigor.typedduck.fail/reference/adr/28-path-scoped-protocol-contracts/https://rigor.typedduck.fail/reference/adr/29-browser-playground/https://rigor.typedduck.fail/reference/adr/30-rigor-ffi-plugin-shape/https://rigor.typedduck.fail/reference/adr/31-contribution-and-supply-chain-policy/https://rigor.typedduck.fail/reference/adr/32-rbs-inline-comment-ingestion/https://rigor.typedduck.fail/reference/adr/33-mcp-server/https://rigor.typedduck.fail/reference/adr/34-toplevel-unresolved-self-call-default/https://rigor.typedduck.fail/reference/adr/35-override-signature-compatibility/https://rigor.typedduck.fail/reference/adr/36-mangrove-enum-nested-class-emission/https://rigor.typedduck.fail/reference/adr/37-plugin-interface-segregation/https://rigor.typedduck.fail/reference/adr/38-additional-initializers/https://rigor.typedduck.fail/reference/adr/39-plugin-target-library-invocation/https://rigor.typedduck.fail/reference/adr/40-config-schema-defaults/https://rigor.typedduck.fail/reference/adr/41-inference-budget-design/https://rigor.typedduck.fail/reference/adr/42-plugin-binary-operator-return-types/https://rigor.typedduck.fail/reference/adr/43-rbs-complete-ancestor-resolution/https://rigor.typedduck.fail/reference/changelog-00x/https://rigor.typedduck.fail/reference/current-work/https://rigor.typedduck.fail/reference/design/https://rigor.typedduck.fail/reference/design/20260505-cache-slice-taxonomy/https://rigor.typedduck.fail/reference/design/20260505-v010-readiness/https://rigor.typedduck.fail/reference/design/20260508-rails-plugins-roadmap/https://rigor.typedduck.fail/reference/design/20260509-dry-plugins-roadmap/https://rigor.typedduck.fail/reference/design/20260509-rigor-tapioca-comparison/https://rigor.typedduck.fail/reference/design/20260509-rigor-tapioca-investigation/https://rigor.typedduck.fail/reference/design/20260514-ractor-migration/https://rigor.typedduck.fail/reference/design/20260516-editor-mode/https://rigor.typedduck.fail/reference/design/20260517-dry-validation-slicing/https://rigor.typedduck.fail/reference/design/20260517-language-server/https://rigor.typedduck.fail/reference/design/20260517-lsp-hover-completion/https://rigor.typedduck.fail/reference/design/20260518-cli-disk-snapshot-cache/https://rigor.typedduck.fail/reference/design/20260522-vscode-extension/https://rigor.typedduck.fail/reference/design/20260601-plugin-mechanism-pre-10-review/https://rigor.typedduck.fail/reference/design/20260602-plugin-boilerplate-reduction-plan/https://rigor.typedduck.fail/reference/handbook/https://rigor.typedduck.fail/reference/handbook/01-getting-started/https://rigor.typedduck.fail/reference/handbook/02-everyday-types/https://rigor.typedduck.fail/reference/handbook/03-narrowing/https://rigor.typedduck.fail/reference/handbook/04-tuples-and-shapes/https://rigor.typedduck.fail/reference/handbook/05-methods-and-blocks/https://rigor.typedduck.fail/reference/handbook/06-classes/https://rigor.typedduck.fail/reference/handbook/07-rbs-and-extended/https://rigor.typedduck.fail/reference/handbook/08-understanding-errors/https://rigor.typedduck.fail/reference/handbook/09-plugins/https://rigor.typedduck.fail/reference/handbook/10-sorbet/https://rigor.typedduck.fail/reference/handbook/11-sig-gen/https://rigor.typedduck.fail/reference/handbook/12-lightweight-hkt/https://rigor.typedduck.fail/reference/handbook/appendix-liskov/https://rigor.typedduck.fail/reference/handbook/appendix-mypy/https://rigor.typedduck.fail/reference/handbook/appendix-phpstan/https://rigor.typedduck.fail/reference/handbook/appendix-protocols-and-structural-typing/https://rigor.typedduck.fail/reference/handbook/appendix-steep/https://rigor.typedduck.fail/reference/handbook/appendix-type-theory/https://rigor.typedduck.fail/reference/handbook/appendix-typeprof/https://rigor.typedduck.fail/reference/handbook/appendix-typescript/https://rigor.typedduck.fail/reference/install/https://rigor.typedduck.fail/reference/internal-spec/https://rigor.typedduck.fail/reference/internal-spec/baseline/https://rigor.typedduck.fail/reference/internal-spec/cache/https://rigor.typedduck.fail/reference/internal-spec/dependency-source-inference/https://rigor.typedduck.fail/reference/internal-spec/diagnostic-shape/https://rigor.typedduck.fail/reference/internal-spec/flow-contribution-merger/https://rigor.typedduck.fail/reference/internal-spec/flow-contribution/https://rigor.typedduck.fail/reference/internal-spec/implementation-expectations/https://rigor.typedduck.fail/reference/internal-spec/inference-engine/https://rigor.typedduck.fail/reference/internal-spec/internal-type-api/https://rigor.typedduck.fail/reference/internal-spec/macro-substrate/https://rigor.typedduck.fail/reference/internal-spec/plugin-cache-producers/https://rigor.typedduck.fail/reference/internal-spec/plugin-trust/https://rigor.typedduck.fail/reference/internal-spec/plugin/https://rigor.typedduck.fail/reference/internal-spec/public-api/https://rigor.typedduck.fail/reference/internal-spec/reflection/https://rigor.typedduck.fail/reference/internal-spec/worker-session/https://rigor.typedduck.fail/reference/manual/https://rigor.typedduck.fail/reference/manual/01-installation/https://rigor.typedduck.fail/reference/manual/02-cli-reference/https://rigor.typedduck.fail/reference/manual/03-configuration/https://rigor.typedduck.fail/reference/manual/04-diagnostics/https://rigor.typedduck.fail/reference/manual/05-inspecting-types/https://rigor.typedduck.fail/reference/manual/06-baseline/https://rigor.typedduck.fail/reference/manual/07-plugins/https://rigor.typedduck.fail/reference/manual/08-skills/https://rigor.typedduck.fail/reference/manual/09-editor-integration/https://rigor.typedduck.fail/reference/manual/10-mcp-server/https://rigor.typedduck.fail/reference/manual/11-ci/https://rigor.typedduck.fail/reference/manual/12-caching/https://rigor.typedduck.fail/reference/manual/13-troubleshooting/https://rigor.typedduck.fail/reference/manual/14-rails-quickstart/https://rigor.typedduck.fail/reference/manual/plugins/https://rigor.typedduck.fail/reference/manual/plugins/rigor-actioncable/https://rigor.typedduck.fail/reference/manual/plugins/rigor-actionmailer/https://rigor.typedduck.fail/reference/manual/plugins/rigor-actionpack/https://rigor.typedduck.fail/reference/manual/plugins/rigor-activejob/https://rigor.typedduck.fail/reference/manual/plugins/rigor-activerecord/https://rigor.typedduck.fail/reference/manual/plugins/rigor-activestorage/https://rigor.typedduck.fail/reference/manual/plugins/rigor-activesupport-core-ext/https://rigor.typedduck.fail/reference/manual/plugins/rigor-devise/https://rigor.typedduck.fail/reference/manual/plugins/rigor-dry-schema/https://rigor.typedduck.fail/reference/manual/plugins/rigor-dry-struct/https://rigor.typedduck.fail/reference/manual/plugins/rigor-dry-types/https://rigor.typedduck.fail/reference/manual/plugins/rigor-dry-validation/https://rigor.typedduck.fail/reference/manual/plugins/rigor-factorybot/https://rigor.typedduck.fail/reference/manual/plugins/rigor-graphql/https://rigor.typedduck.fail/reference/manual/plugins/rigor-hanami/https://rigor.typedduck.fail/reference/manual/plugins/rigor-mangrove/https://rigor.typedduck.fail/reference/manual/plugins/rigor-minitest/https://rigor.typedduck.fail/reference/manual/plugins/rigor-pundit/https://rigor.typedduck.fail/reference/manual/plugins/rigor-rails-i18n/https://rigor.typedduck.fail/reference/manual/plugins/rigor-rails-routes/https://rigor.typedduck.fail/reference/manual/plugins/rigor-rails/https://rigor.typedduck.fail/reference/manual/plugins/rigor-rbs-inline/https://rigor.typedduck.fail/reference/manual/plugins/rigor-rspec-rails/https://rigor.typedduck.fail/reference/manual/plugins/rigor-rspec/https://rigor.typedduck.fail/reference/manual/plugins/rigor-shoulda-matchers/https://rigor.typedduck.fail/reference/manual/plugins/rigor-sidekiq/https://rigor.typedduck.fail/reference/manual/plugins/rigor-sinatra/https://rigor.typedduck.fail/reference/manual/plugins/rigor-sorbet/https://rigor.typedduck.fail/reference/manual/plugins/rigor-statesman/https://rigor.typedduck.fail/reference/manual/plugins/rigor-typescript-utility-types/https://rigor.typedduck.fail/reference/notes/https://rigor.typedduck.fail/reference/notes/20260503-steep-cross-check-triage/https://rigor.typedduck.fail/reference/notes/20260515-macro-expansion-library-survey/https://rigor.typedduck.fail/reference/notes/20260515-real-world-rails-survey/https://rigor.typedduck.fail/reference/notes/20260518-matsumoto-2008-poly-records-rigor-review/https://rigor.typedduck.fail/reference/notes/20260518-matsumoto-2010-cfa-rigor-review/https://rigor.typedduck.fail/reference/notes/20260519-oss-library-survey/https://rigor.typedduck.fail/reference/notes/20260520-ractor-pool-cruby-uaf/https://rigor.typedduck.fail/reference/notes/20260521-mastodon-cluster4-flow-folding-triage/https://rigor.typedduck.fail/reference/notes/20260521-mastodon-v45-regression-sweep/https://rigor.typedduck.fail/reference/notes/20260521-redmine-6x-regression-sweep/https://rigor.typedduck.fail/reference/notes/20260521-redmine-per-commit-detection-probe/https://rigor.typedduck.fail/reference/notes/20260522-hash-method-coverage/https://rigor.typedduck.fail/reference/notes/20260522-rational-complex-range-set-method-coverage/https://rigor.typedduck.fail/reference/notes/20260522-stdlib-deterministic-module-coverage/https://rigor.typedduck.fail/reference/notes/20260522-stdlib-nondeterministic-module-coverage/https://rigor.typedduck.fail/reference/notes/20260522-type-method-coverage/https://rigor.typedduck.fail/reference/notes/20260523-date-time-method-coverage/https://rigor.typedduck.fail/reference/notes/20260523-mastodon-v45-regression-sweep-v019/https://rigor.typedduck.fail/reference/notes/20260523-struct-encoding-coverage/https://rigor.typedduck.fail/reference/notes/20260525-ffi-library-survey/https://rigor.typedduck.fail/reference/notes/20260528-rbs-upstream-pr-resolv-typeclass/https://rigor.typedduck.fail/reference/notes/20260529-adr35-mastodon-fp-verification/https://rigor.typedduck.fail/reference/notes/20260529-rigor-survey-project-init-baseline/https://rigor.typedduck.fail/reference/notes/20260530-mangrove-library-survey/https://rigor.typedduck.fail/reference/notes/20260530-sorbet-real-app-survey/https://rigor.typedduck.fail/reference/notes/20260531-typeprof-internals-survey/https://rigor.typedduck.fail/reference/notes/20260601-gradual-typing-era-mizchi-rigor-ts-review/https://rigor.typedduck.fail/reference/notes/20260601-revenge-of-the-types-runtime-checker-survey/https://rigor.typedduck.fail/reference/notes/20260601-textbringer-coverage-survey/https://rigor.typedduck.fail/reference/notes/20260601-type-system-poem-rigor-review/https://rigor.typedduck.fail/reference/notes/20260602-ruby-box-segfault-bug-report/https://rigor.typedduck.fail/reference/notes/20260603-builtin-typing-boilerplate-audit/https://rigor.typedduck.fail/reference/notes/20260603-dead-code-coverage-sweep/https://rigor.typedduck.fail/reference/notes/20260603-inference-budget-reality-survey/https://rigor.typedduck.fail/reference/notes/20260603-inference-cutoff-prior-art/https://rigor.typedduck.fail/reference/notes/20260603-phpstan-type-algebra-comparison/https://rigor.typedduck.fail/reference/notes/20260603-plugin-contract-self-typing-spike/https://rigor.typedduck.fail/reference/notes/20260603-plugin-contract-typing-session-report/https://rigor.typedduck.fail/reference/notes/20260603-plugin-doc-migration-playbook/https://rigor.typedduck.fail/reference/notes/20260604-structural-repetition-audit/https://rigor.typedduck.fail/reference/roadmap/https://rigor.typedduck.fail/reference/type-specification/https://rigor.typedduck.fail/reference/type-specification/control-flow-analysis/https://rigor.typedduck.fail/reference/type-specification/diagnostic-policy/https://rigor.typedduck.fail/reference/type-specification/imported-built-in-types/https://rigor.typedduck.fail/reference/type-specification/inference-budgets/https://rigor.typedduck.fail/reference/type-specification/normalization/https://rigor.typedduck.fail/reference/type-specification/overview/https://rigor.typedduck.fail/reference/type-specification/rbs-compatible-types/https://rigor.typedduck.fail/reference/type-specification/rbs-erasure/https://rigor.typedduck.fail/reference/type-specification/rbs-extended/https://rigor.typedduck.fail/reference/type-specification/relations-and-certainty/https://rigor.typedduck.fail/reference/type-specification/rigor-extensions/https://rigor.typedduck.fail/reference/type-specification/robustness-principle/https://rigor.typedduck.fail/reference/type-specification/special-types/https://rigor.typedduck.fail/reference/type-specification/structural-interfaces-and-object-shapes/https://rigor.typedduck.fail/reference/type-specification/type-operators/https://rigor.typedduck.fail/reference/type-specification/value-lattice/https://rigor.typedduck.fail/reference/types/