Issues

• Add extensible static operations with separate Effect interpreters, Layers, and algebraic laws

  doeixd/foldkit-plus#185 · Filter by author doeixd opened on Oct 16, 2026

• Extend Guard enforcement with portable business invariants and transition rules

  doeixd/foldkit-plus#184 · Filter by author doeixd opened on Oct 16, 2026

• Integrate static Expr predicates with Schema validation and entity invariants

  doeixd/foldkit-plus#183 · Filter by author doeixd opened on Oct 16, 2026

• Extend declared mutations with Expr assignments and preconditions; enforce guards atomically

  doeixd/foldkit-plus#182 · Filter by author doeixd opened on Oct 16, 2026

• Follow-ups from the SurfaceSource review: proto-keyed reads, duplicate parent rows in SSR coverage

  doeixd/foldkit-plus#177 · Filter by author doeixd opened on Oct 6, 2026

• Use GPUI as the first native renderer proof for platform-independent Foldkit

  doeixd/foldkit-plus#149 · Filter by author doeixd opened on Oct 3, 2026

• Explore a platform-independent Foldkit view/application layer for Web, iOS, Android, and desktop

  doeixd/foldkit-plus#148 · Filter by author doeixd opened on Oct 3, 2026
  1

• Design and implement a Foldkit-native DataGrid

  doeixd/foldkit-plus#144 · Filter by author doeixd opened on Oct 3, 2026
  1

• Requirement algebra: tag requirements once a second interpreter exists

  doeixd/foldkit-plus#64 · Filter by author doeixd opened on Sep 12, 2026
  1