Logbook June 2026

Logbook — June 2026

Week of Jun 1 — MPF.Insertion.buildComposeFromList is now exported, unblocking downstream consumers that build batch insertion pipelines over the MPF write path.

Thursday 4th

MPF.Insertion export (PV)

• Merged feat: export buildComposeFromList from MPF.Insertion #161

Week of Jun 8 — Repair and release week. Fixed a completeness proof step-ordering bug (steps were being emitted leaf-to-root rather than subtree-to-root), then tackled the broken release pipeline end-to-end: cabal version ownership, artifact upload, manifest mode, and drift guard, shipping v1.0.1. Finished with a full docs overhaul to align the README and docs site with current code.

Tuesday 9th

Completeness proof step order fix (PV)

• Merged fix(csmt): emit completeness inclusion steps in subtree-to-root order #162

Wednesday 10th

Release pipeline repair + v1.0.1 (PV)

• Merged feat(mpf-test-lib): build on pure mpf-write so it cross-compiles to wasm #160
• Merged fix(release): repair the release pipeline (cabal version ownership, gh upload, drift guard) #163
• Merged fix(release): run release-please in manifest mode so extra-files apply #166
• Merged fix(release): close cabal version block with x-release-please-end #165
• Merged chore(main): release 1.0.1 #164

Friday 12th

Docs overhaul (PV)

• Merged docs: align README, docs site, and agent layer with current code #167

Week of Jun 22 — CI token plumbing: the release-please token now mints from the org GitHub App instead of a personal deploy key, aligning with the org-wide auth standard adopted this month across all Lambda Sistemi repos.

Monday 22nd

Release token from org App (PV)

• Merged ci(release): mint release-please token from the org App #168