v0.1.20

What's Changed

• sock: probe the off-thread compile by holding it, not by timing it by @JimmFly in #172
• control: RelayStatus reports whether each home relay is connected by @JimmFly in #171

New Contributors

• @JimmFly made their first contribution in #172

Full Changelog: v0.1.19...v0.1.20

v0.1.19

What's Changed

• tests: cargo test --workspace in 145 s (was 747 s); faster test rebuilds by @losfair in #168
• cli: --root-retention sets how long old roots and unnamed content stay by @zzj3720 in #169
• dns: fall back to https://one.one.one.one when https://1.1.1.1 is unreachable by @zzj3720 in #170

Full Changelog: v0.1.18...v0.1.19

v0.1.18

What's Changed

• locks: best-effort cluster locks without consensus, via synch CLI and synch-s3 by @losfair in #166
• sock: carry socket invocations over opt-in direct TCP by @losfair in #167
• direct runs: keep both ends and the control socket busy at once by @zzj3720 in #165

Full Changelog: v0.1.17...v0.1.18

v0.1.17

What's Changed

• blob: stream large transient reads over opt-in direct TCP by @losfair in #164

Full Changelog: v0.1.16...v0.1.17

v0.1.16

What's Changed

• transient reads: pipeline windows and verify slices as they stream by @losfair in #160
• net: stop asking peers for a 5 ms acknowledgement delay by @zzj3720 in #162
• blob: stream a transient read's run on one request by @zzj3720 in #163

Full Changelog: v0.1.15...v0.1.16

v0.1.15

Full Changelog: v0.1.14...v0.1.15

v0.1.13

What's Changed

• ci: Update MinIO MC image to use quay.io registry by @losfair in #155
• fix: pause source sync without blocking explicit uploads by @akinazuki in #156

Full Changelog: v0.1.12...v0.1.13

v0.1.12

What's Changed

• Expose managed socket discovery and duplex streams through CP by @zzj3720 in #150
• fix(scanner): skip special files without aborting space scans by @losfair in #152
• delegation: grant spaces read-only by @losfair in #154
• git: special-case git directories in scan, selection, checkout and adoption by @losfair in #153

Full Changelog: v0.1.11...v0.1.12

v0.1.10

What's Changed

• fix(daemon): report startup recovery and contact peers concurrently by @losfair in #138
• Refactor pending head fetch to prevent race condition by @losfair in #139
• Migrate head reconciliation and materialization to Lean by @losfair in #140
• fix(control-plane): link existing accounts during trusted Cue provisioning by @zzj3720 in #142
• fix(control-plane): enable cloud features for Cue provisioning by @zzj3720 in #143
• lean: prove atomic ready-view promotion for M4 by @losfair in #141
• sockets: a socket is a name bound to a program, apart from spaces by @losfair in #144
• mptsync: prove eventual production convergence by @losfair in #145

New Contributors

• @zzj3720 made their first contribution in #142

Full Changelog: v0.1.9...v0.1.10

v0.1.9

What's Changed

• publisher: align BlobAd ownership with the Lean CAS model by @losfair in #123
• test(dp): use distinct write request IDs by @losfair in #124
• cli: add synch put and synch delete for checkout-free writes by @losfair in #125
• Move core operations into a mandatory verified Lean library by @losfair in #127
• ci: check out the generated Lean codecs with LF on Windows by @losfair in #131
• control-plane: send Content-Length on file downloads by @losfair in #133
• cas: prove storage promises with a shared simulated host by @losfair in #132
• Move core operations, authorization and cloud restoration to Lean by @losfair in #134
• Reorder CI workflow: publish images before smoke test by @losfair in #136
• verified: generate command and suspension glue by @losfair in #135

Full Changelog: v0.1.8...v0.1.9