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). |