Commit ccc72f3
committed
V007 migration + 10-trigger correctness pass closes four V006 bugs
surfaced by the 2026-04-17 codex adversarial audit. Switch from
contentless to external-content FTS5 + universal joined-live-state
reinsert invariant makes fire-order irrelevant.
Phase commit log:
- feat(db): V007 FTS5 trigger correctness — bundled red + green (26af7e2)
- fix(db): v0.6.3 code-quality polish — test tokens + WHY comments + consts (265982b)
- test(db): v0.6.3 integration — multi-location + soft-delete + idempotence + combined-tx + tag-rename (b1ba1c8)
- test(db): proptest — FTS5 search invariant across tag churn (fa8a740)
- ci: drop release-plz-pr job (2d63597)
- build: move Tauri env to cargo/justfile (646d6c9)
Review-fix commits: 1 (265982b) addressing Opus code-quality findings;
Rule 3 satisfied.
Tests: 81 perima-db + 68 vitest green; full just ci green with no
env-export prefix (post 646d6c9).
Bundling: Tasks 1+2 bundled because pre-commit runs full just ci (red
commits blocked by no-no-verify rule). Audit trail in 26af7e2 body.
Hook split to fix this is tracked as GH issue #52 / task #63.
headless-tested: yes (cargo test + proptest 256 cases + just ci; no
Tauri runtime)
1 parent fa8a740 commit ccc72f3
3 files changed
Lines changed: 29 additions & 4 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
12 | 12 | | |
13 | 13 | | |
14 | 14 | | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
15 | 39 | | |
16 | 40 | | |
17 | 41 | | |
| |||
489 | 513 | | |
490 | 514 | | |
491 | 515 | | |
492 | | - | |
| 516 | + | |
| 517 | + | |
493 | 518 | | |
494 | 519 | | |
495 | 520 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
6 | | - | |
| 6 | + | |
7 | 7 | | |
8 | 8 | | |
9 | 9 | | |
| |||
30 | 30 | | |
31 | 31 | | |
32 | 32 | | |
33 | | - | |
| 33 | + | |
34 | 34 | | |
35 | 35 | | |
36 | 36 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
4 | | - | |
| 4 | + | |
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
| |||
0 commit comments