OXYGENHUB

Backlog: O1 done 123ba31b83f2

Author
Andy McCall @andymccall <[email protected]>
When
· 2026-09-27 23:09 UTC
Signature
✔ signed by Andy McCall
Hash
123ba31b83f26a7f78b3eb6ac4f225d8c60da0ea240ed3db375b8d27a029ca9e
Depends on
75036530b621 c8f92cc5f89e
Depended on by
fd16934c920c 5140e604192e
In bookmarks
agents-in-readme bare-hashes carried-not-removed carry-identical doctor-trust identical-sides keyless-tags main merge-remote-bookmark only-help-103 paths-for-resolutions-and-amend push-notes show-stat subrepo-pin-state switch-says
In tags
v0.1.0 v0.10.0 v0.11.0 v0.2.0 v0.3.0 v0.3.1 v0.4.0 v0.4.1 v0.4.2 v0.4.3 v0.4.4 v0.4.5 v0.4.6 v0.5.0 v0.5.1 v0.6.0 v0.7.0 v0.8.0 v0.9.0
Edits
3 atoms, 0 tree operations, 1 file

Browse the tree at this change

modified docs/backlog-overnight-2.md +2 −1
…
39 unchanged lines
40 40
41 41
## oxy: stability and maturity
42 42
43 -
- [ ] O1 Property tests (proptest) that applying the same changes in any order gives the same state, over random edit sequences on several files.
43 +
- [x] O1 Property tests (proptest) that applying the same changes in any order gives the same state, over random edit sequences on several files.
44 44
- [ ] O2 `oxy fsck`: verify every object's hash, every change's references and signatures, the op log chain, and report precisely.
45 45
- [ ] O3 Crash safety audit: every write goes through write_atomic or the store's batch; a test that interrupts commit and push at each step and proves the repository still opens and fscks.
46 46
- [ ] O4 Benchmarks with thresholds: 10 000 files, 5 000 changes; status, commit, log, blame, push, clone; record numbers in docs.
…
6 unchanged lines
53 53
## Log
54 54
55 55
- 2026-09-28 H1 done: signed-in dashboard at `/` (review queue, own proposals, assigned issues, repositories, activity feed filtered to visible repositories); test `dashboard_shows_what_needs_the_viewer`; deployed to Earth.
56 +
- 2026-09-28 O1 done: `crates/oxy-core/tests/commutativity.rs` (proptest, 32 cases): diverging clones with random edits, rebuilt in shuffled and random dependency orders, checkpoint round trip, and push in random order to a fresh clone; all give identical checkpoints, heads and trees. About 80% of generated cases conflict. No defects found. Workspace tests all green (oxy-core 129 + new).