From 310d3bbbd321aae3c8dabbf389ac6d5a8c4cbce9 Mon Sep 17 00:00:00 2001 From: Kgothatso Ngako Date: Sun, 13 Sep 2026 15:56:26 +0200 Subject: [PATCH] docs: record Phase 5 of the profiles pull, which completes the ten 9bb34004, 88577bb5 and 29027f2b landed as 8edb52ff, 72b9d3d2 and ba5ef723, all clean -- including the two picks into docs/README.md, where the driver's UNION rule was armed and did not fire: git placed the fork's row between the npub and jvm-target rows and its reading-order sentence after the npub note's, beside the sentence this plan's own commit had added there. The ten are landed. Exactness at the tip is the dry run's: 135 residual files between Mantra and the rewritten fork, CreateProfileViewModel.kt the only file that left the residual since the base, and no other file's residual moved. Both compilers clean, jvmTest 864 -> 868, testDebugUnitTest 420, every audit budget met -- the dry run's numbers exactly, as a deterministic rewrite replayed onto an unchanged base should give. One review point, read: MultipleProfilesRoundTripJvmTest reaches the saved default through the app's getGlobalPrefs rather than building a GlobalPrefs of its own, and says why in a comment, so the per-process cache trap is written at the place a future test would copy from. Co-Authored-By: Claude Opus 5 --- docs/curated-to-mantra-profiles.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/docs/curated-to-mantra-profiles.md b/docs/curated-to-mantra-profiles.md index a6062dc1..c57504db 100644 --- a/docs/curated-to-mantra-profiles.md +++ b/docs/curated-to-mantra-profiles.md @@ -493,6 +493,19 @@ trap `00fc9969` recorded — and Mantra's own future tests inherit that rule. Exit: the full suite at the dry run's numbers or above; the audit green; the README's table has the new row between the npub note and the jvm-target note. +**Built 2026-09-13**, `8edb52ff`, `72b9d3d2`, `ba5ef723`, three clean picks — including +the two into `docs/README.md`, where the `UNION` rule stood ready and was not needed: +git placed the fork's row between the npub and jvm-target rows and its reading-order +sentence after the npub note's, beside this document's own. Exactness at the tip: 135 +residual files, `CreateProfileViewModel.kt` the only one gone since the base, nothing +moved. Both compilers clean; `jvmTest` 864 → 868 (`MultipleProfilesRoundTripJvmTest` and +`ReadOnlyEntrancesJvmTest`'s three); `testDebugUnitTest` 420; audit all budgets met — +exactly the dry run's numbers, which is what a deterministic rewrite replayed onto an +unchanged base ought to give. The round trip reads the saved default through the app's +`getGlobalPrefs` rather than building a `GlobalPrefs` of its own, with a comment saying +why, so the trap the phase warned of is documented at the place a copy-and-paste would +start from. + ### Phase 6 — close the loop Five things, none of them a merge.