Skip to content

Research & Survey Notes

Empirical working notes — library surveys, coverage audits, regression sweeps, real-project triage, and considerations of outside research. They record what was observed (and when), the analysis it prompted, and any follow-up that landed.

These notes are non-normative and time-stamped to authorship — they reflect what was true when written, against the Rigor version named inside. Most carry a Status: line; survey / essay-review notes are explicitly “research note, no design commitments.” A note may feed an ADR, a design note, or engine work — but the spec and ADRs bind, not the note. Verify any named file / method / flag still exists before acting on it.

Filenames are YYYYMMDD-<slug>.md, dated to authorship.

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
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-03Typing plugin files against the Plugin::Base contract — spike findings
2026-06-03Session report — typing the plugin contract (the 6-commit landing)
  1. Name the file YYYYMMDD-<slug>.md using the authorship date.
  2. Open with a Status: line (e.g. “research note, no design commitments.”) and name the Rigor version the observations were taken against.
  3. Add a row to the matching section above (or start a new section).

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