9 descendants of c6db63319e2d22c2
|
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 | |
| 20:12 |
fix(verify): check the leaf table by the same-branch rule
verify.Verify expected a leaf for every check-in with no child at all, so it reported merged branch tips and branch points whose children are on other branches, and the arrival-order states repo-state Section 7.3 allows. Verify no longer recomputes one expected table. leaf.Audit, which applies the Section 7.2 test leaf.Check uses, reports a row whose same-branch child carries a branch row written once it was linked, and a check-in carrying a branch row with no same-branch child and no row, excusing the parents checkPlink finds a reparent took a child from. Every conformance case comparing the leaf table now also runs Verify on it, and repostate.7.2.verify-leaf-table checks that Verify reports a dropped and a planted row. Tracked in #433. check-in: c6db63319e user: [email protected] tags: fix/verify-leaf-rule, main, trunk | |