Skip to content

DefaultCoroutineScope, MainCoroutineScope: implement after pythonx-concurrent #94

Open

Description

@b-re-w

What

UI.ipynb cell 5 imports remember_saveable, DefaultCoroutineScope and MainCoroutineScope from pythonx.compose.runtime. Nothing provides them. #11 listed them in its scope, but they were never decided, and #11 closes on its declared-root and state criteria (python-multiplatform notebook E2E, #26).

Why

INTENT §4.1 and PROJECT §7.1 leave the coroutine scopes open, and SPEC §8 says keeping a value across recreation (remember_saveable) is not provided. The notebook E2E lists all three as gaps (ksp-fixtures/notebook-e2e/README.md, Gaps).

Waiting on

A maintainer decision: what each name means in Python, or that it is dropped. No work starts before that.

Done when

The decision is recorded in INTENT §5 and SPEC. Each kept name has a test here that fails without it, and the notebook E2E covers it.

Activity

  1. b-re-w commented on Oct 3, 2026

    @b-re-w
    MemberAuthor

    Decided 2026-10-04 (maintainer, relayed by the ecosystem lead), recorded in INTENT §5.9-5.11 via #103:

    Leaving this issue open for the coroutine scopes, which wait on pythonx-concurrent.

  2. changed the title [-]Notebook imports with no decided counterpart: DefaultCoroutineScope, MainCoroutineScope, remember_saveable[/-] [+]DefaultCoroutineScope, MainCoroutineScope: implement after pythonx-concurrent[/+] on Oct 17, 2026
  3. b-re-w commented on Oct 17, 2026

    @b-re-w
    MemberAuthor

    Status as of 2026-10-17, checked against UI.ipynb:

    So this is not decidable or implementable here today. It waits on pythonx-concurrent providing Scope and Dispatchers.Default/Main. Until then, from pythonx.compose.runtime import DefaultCoroutineScope fails as any unknown name does: with a host, an ImportError that says no Kotlin name matches; without one, the binder's not-installed RuntimeError.

    Done when: unchanged from above, except the decision part, which is met.

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