Slice 010: core domain and persistence - #17

Merged

HackTuah merged 11 commits into

mainfrom

slice/010-core-domain-persistence

Sep 20, 2026

Commits on Sep 20, 2026

docs(s010): G1 plan, and the slice opens
HackTuah
committed
7b2fb39
feat(s010): plan_check rule 12 parses every workflow and Dependabot file
HackTuah
committed
17850ce
feat(s010): one-connection write pool, every pragma named, the receipts repo slot
HackTuah
committed
0b38a68
feat(s010): the Postgres branch: postgrex optional, test config, a CI job with a Postgres service
HackTuah
committed
5a9ec9b
feat(s010): the data-dir lock, before the Repo, refusing a held directory by pid and mode
HackTuah
committed
22937bf
refactor(s010): the lock's contention branch is its own function; credo --strict was red on nesting depth
HackTuah
committed
34842c0
fix(s010): Trinity exports Paths; the boundary refused the application's data-dir call
HackTuah
committed
a45db66
feat(s010): migrations, UUIDv7 ids, the Sessions context with gapless seq, the stress test
HackTuah
committed
45ba4f0
test(s010): the gate is green: coverage row, four sobelow skips with reasons, the boundary probe compiles forced
HackTuah
committed
32d745d
feat(s010): complete slice 010 (core domain and persistence)
HackTuah
committed
332e881
docs(s010): PROOF.md names the closing commit's sha
HackTuah
committed
7a01ba0