This is the record of an abcd-managed repository

abcdBetav0.16.2 · 2026-11-06

Development record

invariant 12 and spc-35 still withhold the SessionEnd no-network clause pending iss-2608210934566223, which resolved with a pinning test, so the register under-asserts a property the tree holds

issueresolvedminoriss-2608261133091022

invariant 12 and spc-35 still withhold the SessionEnd no-network clause pending iss-2608210934566223, which resolved with a pinning test, so the register under-asserts a property the tree holds

Frontmatter

idiss-2608261133091022
typeissue
lifecycleresolved
severityminor

mentions2