Skip to content

Docs: Record the milestones and the reasoning behind each date - #15

Merged
b-re-w merged 1 commit into
developfrom
work/milestones
Oct 2, 2026
Merged

b-re-w merged 1 commit into
developfrom
work/milestones

Conversation

@b-re-w

@b-re-w b-re-w commented Oct 2, 2026

Copy link
Copy Markdown
Member

Closes #14

Adds a milestone table to PROJECT.md matching the GitHub milestones (M1 2026-10-16, M2 2026-11-13, M3 2026-11-27, issues #7–#13), with one line of reasoning per date.

Documentation corrected: PROJECT.md. Tests are unchanged: 40 passed, 37 skipped without a PythonMultiplatform checkout.

The maintainer asked for a completion date per milestone. M1 (real package and
rule-based re-export) is 2026-10-16: the binder contract landed and what is
left is pure Python. M2 (notebook widgets) is 2026-11-13: it needs JVM render
proofs, a broken Gradle cache link, the TextFieldState check and three INTENT
questions decided. M3 (wheel with stubs and manifest) is 2026-11-27: stubs
need only M1, but final names settle in M2.

documentation corrected: PROJECT.md gains the milestone table.
Tests unchanged: 40 passed, 37 skipped without a PythonMultiplatform checkout.

Refs #14
@b-re-w
b-re-w merged commit 6b15709 into develop Oct 2, 2026
@b-re-w
b-re-w deleted the work/milestones branch October 3, 2026 10:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant