8 descendants of 41e39a41fcf37908
|
2026-10-20
| ||
| 18:39 | fix(manifest): match Fossil parent tag tokenization leaf check-in: 1b547f8cd6 user: [email protected] tags: fix/verify-leaf-rule, main, trunk | |
| 18:26 | test(verify): pin missing rows under either branch reading check-in: 9b5ad8d242 user: [email protected] tags: fix/verify-leaf-rule, main, trunk | |
| 18:20 | fix(verify): require independent leaf witnesses and surviving parent links check-in: 0cefd08b3f user: [email protected] tags: fix/verify-leaf-rule, main, trunk | |
| 18:14 | Merge main into fix/verify-leaf-rule check-in: bc196580e4 user: [email protected] tags: fix/verify-leaf-rule, main, trunk | |
| 03:11 | Merge branch 'main' into fix/verify-leaf-rule check-in: 0762218b66 user: [email protected] tags: fix/verify-leaf-rule, main, trunk | |
| 01:43 | docs(changelog): note Verify's two leaf readings and reparented plink check-in: ee2234ee3f user: [email protected] tags: fix/verify-leaf-rule, main, trunk | |
| 01:40 |
fix(verify): accept fossil's leaf tables and reparented plink
leaf.Audit reads same-branch both as the draft does (active branch rows, the main-branch setting) and as fossil 2.28's leaf_check does (any branch row, the literal trunk). A row is stale only when both read a child as same-branch, and missing only when neither does, so Verify accepts the tables fossil writes when main-branch is not trunk or a branch tag was cancelled, and a go-built table after main-branch changes. checkPlink no longer reports a P-card parent missing from plink when the check-in carries a parent tag, which replaces those rows in fossil. check-in: a6a1038b60 user: [email protected] tags: fix/verify-leaf-rule, main, trunk | |
| 01:31 | Merge remote-tracking branch 'origin/main' into fix/verify-leaf-rule check-in: 7c834d64ec user: [email protected] tags: fix/verify-leaf-rule, main, trunk | |
|
2026-10-19
| ||
| 21:17 |
fix(verify): report stray leaf rows and read every parent tag
Review follow-ups for the leaf audit: - leaf.Audit reports a row for a rid that no recheck reaches, that is a rid with no branch row in no plink row. A file artifact or a rid with no artifact used to pass. - Verify collects the parents named by every parent tag, as well as by P-cards, whose link plink no longer holds. A parent that an earlier, since replaced, reparent linked is then excused. repostate.7.3.reparent-twice-no-recheck covers that order. - The stale finding excuses a child carrying a parent tag row of any type, since a cancelled reparent leaves its link in place until a rebuild. - Every leaf-table case also runs Verify on the tables fossil(1) derives, per artifact and rebuilt, except where the case records fossil departing from the draft. Tracked in #433. check-in: 41e39a41fc user: [email protected] tags: fix/verify-leaf-rule, main, trunk | |