Repository navigation

feat(households): every user has a household (spec 090, #380) - #426

Merged

plainprogrammer merged 45 commits into

mainfrom

090-every-user-has-a-household

Nov 14, 2026

Merged

feat(households): every user has a household (spec 090, #380)#426
plainprogrammer merged 45 commits into
mainfrom
090-every-user-has-a-household

Commits on Nov 14, 2026
- docs(specs): draft spec 090, every user has a household (#380)
  
  plainprogrammer
  and
  claude
  committed
  039ac0d
- docs(adr): 0030, a household is a group of accounts (#380)
  
  plainprogrammer
  and
  claude
  committed
  ffd5bb2
- docs(specs): spec 090 v0.2.0, rulings and review round 1 (#380)
  
  plainprogrammer
  and
  claude
  committed
  360ecec
- docs(specs): spec 090 v0.3.0, review round 2 (#380)
  
  plainprogrammer
  and
  claude
  committed
  dde4166
- docs(specs): spec 090 v0.3.2, the maintainer rules migration (c) (#380)
  
  plainprogrammer
  and
  claude
  committed
  df8c097
- docs(specs): plan for spec 090, every user has a household (#380)
  
  plainprogrammer
  and
  claude
  committed
  d8bac52
- docs(specs): plan 090, plan review round 1 fixes (#380)
  
  plainprogrammer
  and
  claude
  committed
  8580458
- docs(specs): record Gate B for plan 090 and the condition on phase 6 (#380)
  
  plainprogrammer
  and
  claude
  committed
  4ffe332
- feat(db): households, memberships and the account's household and kind (spec 090 phase 1)
  
  plainprogrammer
  and
  claude
  committed
  3c01b6a
- docs(specs): plan 090, phase 6 review fixes (#380)
  
  plainprogrammer
  and
  claude
  committed
  f822679
- docs(specs): plan 090, no released path leaves an account with no user (#380)
  
  plainprogrammer
  and
  claude
  committed
  f001fc7
- feat(models): household and membership, an account's household and kind (spec 090 phase 2)
  
  plainprogrammer
  and
  claude
  committed
  4203d90
- feat(auth): every way of making a user makes a household of one (spec 090 phase 2)
  
  plainprogrammer
  and
  claude
  committed
  b4505ca
- docs(specs): plan 090, phase 6 reads and writes main.sqlite_sequence (#380)
  
  plainprogrammer
  and
  claude
  committed
  0204408
- feat(db): backfill a household of one for every existing user (spec 090 phase 3)
  
  plainprogrammer
  and
  claude
  committed
  327983a
- test(households): nothing looks different, the format's coverage and the round trip (spec 090 phase 4)
  
  plainprogrammer
  and
  claude
  committed
  3300ae7
- test(upgrade): the proof checks every user's household on the upgraded, restored and next snapshots (spec 090 phase 5)
  
  plainprogrammer
  and
  claude
  committed
  3c145da
- feat(db): accounts.household_id is NOT NULL, by a copy that loses no row (spec 090 phase 6)
  
  plainprogrammer
  and
  claude
  committed
  45bf33b
- test(db): the earlier households specs follow the final shape (spec 090 phase 6)
  
  plainprogrammer
  and
  claude
  committed
  40f3553
- docs(architecture): tenancy and accounts gains the household (spec 090)
  
  plainprogrammer
  and
  claude
  committed
  cc696ca
- docs(rules): households and memberships are instance-level (spec 090)
  
  plainprogrammer
  and
  claude
  committed
  da7aab2
- docs(architecture): the upgrade proof checks households in two tiers (spec 090)
  
  plainprogrammer
  and
  claude
  committed
  bdd8ec1
- docs(releasing): the upgrade note for the household migrations (spec 090)
  
  plainprogrammer
  and
  claude
  committed
  0f00e86
- docs(claude): every user belongs to a household (spec 090)
  
  plainprogrammer
  and
  claude
  committed
  a1d0e7d
- docs(adr): ADR 0030 is accepted with spec 090
  
  plainprogrammer
  and
  claude
  committed
  fc68460
- docs(specs): spec 090 is approved and supersedes spec 004 FR-3 in part (index)
  
  plainprogrammer
  and
  claude
  committed
  dd4e551
- fix(migrations): guard the households migration's down like the third, and prove it with rows in every referencing table (spec 090)
  
  plainprogrammer
  and
  claude
  committed
  7187f2f
- test(households): check the invariants after an apply and the new tables' queries on every invisible page (spec 090)
  
  plainprogrammer
  and
  claude
  committed
  051d55e
- docs(households): say which specs hold the household name equal, and drop a history phrase (spec 090)
  
  plainprogrammer
  and
  claude
  committed
  26f210a
- docs(households): the upgrade note, the export format and the ADR say exactly what holds (spec 090)
  
  plainprogrammer
  and
  claude
  committed
  2c251ca
- test(migrations): compare accounts by named columns, as a schema-loaded table orders them differently (spec 090)
  
  plainprogrammer
  and
  claude
  committed
  30c1949
- Merge origin/main into 090-every-user-has-a-household
  plainprogrammer
  committed
  b13fb16
- docs(specs): verification of spec 090 with the implementation review (#380)
  
  plainprogrammer
  and
  claude
  committed
  62a437c
- docs(adr): ADR 0030 stays Proposed; the maintainer accepts it (#380)
  
  plainprogrammer
  and
  claude
  committed
  90379d9
- chore(memory): capture session learnings (spec 090)
  
  plainprogrammer
  and
  claude
  committed
  77bb2dc
- docs(architecture): distil spec 090 into tenancy and accounts, release and deploy and data portability
  
  plainprogrammer
  and
  claude
  committed
  3dc5765
- docs(specs): mark spec 090 frozen by the tenancy, release and data portability area docs (spec 027 D4)
  
  plainprogrammer
  and
  claude
  committed
  469449d
- docs(specs): record the distillation of spec 090 in its verification
  
  plainprogrammer
  and
  claude
  committed
  1363ae2
- Merge origin/main into 090-every-user-has-a-household
  plainprogrammer
  committed
  0a09808
- docs(specs): record the upgrade smoke from v0.3.0 for spec 090 (#380)
  
  plainprogrammer
  and
  claude
  committed
  25c6e94
- Merge origin/main into 090-every-user-has-a-household
  plainprogrammer
  committed
  60951ee
- docs(architecture): name the pull request of spec 090 in the distillation logs
  
  plainprogrammer
  and
  claude
  committed
  aaf84e6
- docs(specs): record the second upgrade smoke on the merged commit (spec 090)
  
  plainprogrammer
  and
  claude
  committed
  2ad3f42
- Merge origin/main into 090-every-user-has-a-household
  plainprogrammer
  committed
  386b994
- docs(specs): record that the third merge was docs only, so no smoke re-run (spec 090)
  
  plainprogrammer
  and
  claude
  committed
  64c75d1

Commits

Commits on Nov 14, 2026