Issues

• Formal: readability and change-cost plan for the Quint tree (glossary, kernel docs, naming, catalog prose, ledger churn)

  lan17/DialCache#220 · Filter by author lan17 opened on Sep 28, 2026
  2

• Add exact-key delete for one cached result (child of #217)

  lan17/DialCache#218 · Filter by author lan17 opened on Sep 27, 2026

• Add explicit cache get, put, and exact-key delete APIs

  lan17/DialCache#217 · Filter by author lan17 opened on Sep 27, 2026

• Docs: language-neutral behavior pages, generated per-language references, and executed examples

  lan17/DialCache#166 · Filter by author lan17 opened on Sep 12, 2026

• Formal: converge the Quint specification on one kernel model with profile instances

  lan17/DialCache#165 · Filter by author lan17 opened on Sep 12, 2026
  23

• Fail closed when shadow policy is enabled without shadow observability

  lan17/DialCache#151 · Filter by author lan17 opened on Aug 30, 2026

• Expose transport-agnostic process-local invalidation for application-owned coherence

  lan17/DialCache#150 · Filter by author lan17 opened on Aug 30, 2026

• Add model-based, property-based, mixed-version, and outage validation

  lan17/DialCache#149 · Filter by author lan17 opened on Aug 30, 2026

• Refactor internal execution around explicit invocation and subsystem boundaries

  lan17/DialCache#148 · Filter by author lan17 opened on Aug 30, 2026

• Classify cache misses with a bounded reason label

  enhancement
  lan17/DialCache#145 · Filter by author lan17 opened on Aug 29, 2026
  1

• Refactor cache config to group policy by layer

  lan17/DialCache#144 · Filter by author lan17 opened on Aug 29, 2026
  1

• Validate cache-key shapes before canonicalization

  lan17/DialCache#97 · Filter by author lan17 opened on Jul 26, 2026
  1

• Add a repeatable performance and scale benchmark suite

  lan17/DialCache#35 · Filter by author lan17 opened on Jul 13, 2026