コンテンツにスキップ

Research & Survey Notes

経験的な作業ノート — ライブラリ調査、カバレッジ監査、リグレッションスイープ、実プロジェクトのトリアージ、外部研究の考察です。何が観測されたか(いつ観測されたか)、それが促した分析、そして着地したフォローアップを記録します。

これらのノートは非規範的であり、執筆時点を日付として刻まれています — 内部で示されたRigorのバージョンに対して、書かれた時点で真であった内容を反映します。多くはStatus:行を持ちます。調査/エッセイレビューのノートは明示的に「research note, no design commitments.」です。ノートはADR設計ノート・エンジン作業の材料になることがあります — ただし拘束力を持つのは仕様とADRであり、ノートではありません。記載されたファイル・メソッド・フラグが今も存在するか、それに基づいて行動する前に確認してください。

ファイル名はYYYYMMDD-<slug>.mdで、執筆日を日付とします。

ライブラリ・エコシステム調査

Section titled “ライブラリ・エコシステム調査”
DateNote
2026-05-15Macro / DSL Expansion — Per-Library Survey
2026-05-15Real-world Rails project survey
2026-05-1922-library OSS survey — recurring false-positive clusters + BigDecimal-coerce fix
2026-05-25FFI library usage survey — feeding rigor-ffi design
2026-05-30Mangrove (Result / Option / Enum) — library survey + rigor-mangrove shape
2026-05-30Real Sorbet/Tapioca app survey — strap + dependabot-core
2026-05-31TypeProf internals survey — inference logic + internal type representation
2026-06-03PHPStan内部の型演算(TypeCombinator / TypeUtils / 二項演算評価)とRigorの比較
DateNote
2026-05-22Hash method coverage — ShapeDispatch & block-fold audit
2026-05-22Rational / Complex / Range / Set — ConstantFoldingカバレッジ監査
2026-05-22標準ライブラリ決定論的モジュール関数カバレッジ
2026-05-22標準ライブラリ非決定論的・除外対象モジュール カバレッジ
2026-05-22型別メソッドカバレッジ — ConstantFolding / ShapeDispatch / ExpressionTyper監査
2026-05-23Date / Time / DateTime method coverage audit
2026-05-23Struct / Encoding coverage audit
2026-06-01textbringer type-coverage survey — invalid bundled sig/, namespace-synthesis fix

リグレッションスイープ・実プロジェクトトリアージ

Section titled “リグレッションスイープ・実プロジェクトトリアージ”
DateNote
2026-05-03Steep 2.0 cross-check triage
2026-05-21Mastodon survey — Cluster 4 (flow-folding warnings) triage
2026-05-21Mastodon v4.5.x regression sweep — baseline-drift over a release line
2026-05-21Redmine 6.x regression sweep — baseline-drift over a release line
2026-05-21Redmine per-commit detection probe — does Rigor catch real bugs?
2026-05-23Mastodon regression sweeps — re-run on Rigor v0.1.9
2026-05-29ADR-35 override-rules — Mastodon false-positive verification
2026-05-29rigor-survey project-init baseline sweep
DateNote
2026-05-18Matsumoto & Minamide 2008(多相レコード型Ruby型推論) — Rigor観点考察
2026-05-18Matsumoto & Minamide 2010 (Ruby CFA) — Rigor観点考察
2026-06-01「漸進的型付け言語の時代に必要なもの」(mizchi) — Rigor / TypeScript観点考察
2026-06-01「Revenge of the Types」(Armin Ronacher) — ランタイム × 型チェッカー横断考察
2026-06-01「型システムポエム」(myuon) — Rigor観点考察
DateNote
2026-05-20Ractor worker pool crash — CRuby concurrent-Ractor use-after-free
2026-05-28Upstream ruby/rbs PR — Resolv::DNS typeclass-narrowed return
2026-06-03プラグインファイルをPlugin::Base契約に対して型付けする — スパイク調査の所見
2026-06-03セッションレポート — プラグイン契約を型付けする(6コミットの着地)
  1. 執筆日を使ってファイルをYYYYMMDD-<slug>.mdと名付けます。
  2. Status:行(例: 「research note, no design commitments.」)で始め、観測がどのRigorバージョンに対して行われたかを示します。
  3. 上記の該当セクションに行を追加します(または新しいセクションを起こします)。

© 2026 TypedDuck. Licensed under CC BY-SA 4.0.