Skip to content

Migrate manual and runnable tutorials to unreleased State 0.3.0 - #29

Merged
fruwe merged 12 commits into
mainfrom
fruwe/unreleased-v030-manual
Oct 5, 2026
Merged

fruwe merged 12 commits into
mainfrom
fruwe/unreleased-v030-manual

Conversation

@fruwe

@fruwe fruwe commented Oct 5, 2026 •

Copy link
Copy Markdown
Member

Updates the manual to synchronized unreleased 0.3.0 with sole version-1 artifacts and numeric machine format 1. Tutorials use public admission and processing APIs, exact immutable candidate dependencies, durable restart and replay, explicit migration and portable deferral. Adds explanations of optional provider boundaries and the current coverage inventory. The publication hold remains intact.

Validation at 4cd8d79: GitHub CI passed; make sources and exact Python VCS installation/provenance passed; complete make check passed, including 30 publication-hold tests, 124 specification sections, 99 core cases, seven checkpoint cases, 43 named example files, both-engine tutorial traces, SQLite checkpoint restart/replay, all 162 v1 and 142 durable-host vectors in both engines, and strict MkDocs build. Independent holistic review returned LGTM at the exact head.

The public-host/client implementation and independent applications are separate remaining work. Optional schemas are not represented as installed providers. No tags, package publication or site deployment. Closes #28.

@fruwe
fruwe marked this pull request as ready for review October 5, 2026 11:43
@fruwe
fruwe merged commit a7602cf into main Oct 5, 2026
1 check passed
@fruwe
fruwe deleted the fruwe/unreleased-v030-manual branch October 5, 2026 11:43
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.

Update the manual and runnable tutorials for unreleased State 0.3.0

1 participant