What's Changed
- fix(sync): order entry-link versions so edits and removals stick by @matthiasn in #4467
- docs(readme): formal verification now covers the agent runtime by @matthiasn in #4466
- test(agents): a replay of a deleted checklist batch stays empty by @matthiasn in #4463
- fix(sync): name the written id on a create's vector-clock reservation by @matthiasn in #4464
- fix(sync): a new host's first write dominates the version it extends by @matthiasn in #4470
- docs(specs): keep a ledger of the TLA+ work and what it caught by @matthiasn in #4472
- fix(goals,habits): verify success decisions and fix what the proofs found by @matthiasn in #4471
- fix(agents): model-check evolution sessions and agent links (ADR 0081) by @matthiasn in #4473
- fix(db): confirm an unreadable verdict under locking before restoring by @matthiasn in #4469
- ci(tla): pack the TLC configurations into eight shards by @matthiasn in #4474
- fix(agents): scheduled wakes due by instant; conformance traces for lease, goal chat and version heads by @matthiasn in #4476
- ci(tla): rebalance the TLC shards on measured per-configuration times by @matthiasn in #4477
- fix(sync): link removals sync as tombstones and relinking revives them by @matthiasn in #4478
- fix(goals): model-check Phase A and fix the holes TLC found by @matthiasn in #4479
- fix(agents): agent entity removals stick on every device by @matthiasn in #4480
- chore(release): 1.1.26+4408 by @matthiasn in #4481
Full Changelog: 1.1.26+4407...1.1.26+4408