Skip to content

Optimistic store truth-flight should own its transaction rather than rely on ambient adoption #3146

Closed

Description

@ryansolid

Follow-up (2) from #3141 / #3145.

The generator store's authoritative flight (initial run, per-yield landings, post-await draft writes) has no transaction of its own: each landing's settle path asks resolveTransition and otherwise joins whatever is ambient (initTransition(null)). #3145 closed the window in which a stranger transaction could be ambient at landing time, but the underlying shape remains: the flight's relationship to transactions is circumstantial (whatever is ambient or stamped at each landing) rather than declared.

Giving the truth-flight a dedicated transaction would make the semantics explicit:

Needs design attention on: per-yield commit timing (each yield should still reveal on arrival per A18(1) — one flight-transaction must not batch all yields to flight end), and interaction with refresh()-initiated flights which already carry the refresh transaction.

Activity

  1. ryansolid commented on Sep 1, 2026

    @ryansolid
    MemberAuthor

    Fixed in fb5061c on next — the optimistic store truth-flight now owns a declared transaction rather than relying on ambient adoption. Ships in the next RC.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions