Backlog: O2 done fd16934c920c
- Author
- Andy McCall @andymccall <[email protected]>
- When
- · 2026-09-27 23:27 UTC
- Signature
- ✔ signed by Andy McCall
- Hash
fd16934c920c4b98b69f27d575273f644b24886525e16799a9a8ae85f84248b3- Depends on
- 123ba31b83f2 5140e604192e 75036530b621
- Depended on by
- cc9ba05a0a58 b38ece2cb6b5
- 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
| … | 40 unchanged lines |
||
| 41 | 41 | ## oxy: stability and maturity |
|
| 42 | 42 | ||
| 43 | 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 | - | - [ ] O2 `oxy fsck`: verify every object's hash, every change's references and signatures, the op log chain, and report precisely. |
|
| 44 | + | - [x] 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. |
|
| 47 | 47 | - [ ] O5 Concurrency: two processes committing, snapshotting and pushing on one repository; locks hold, nothing is lost. |
|
| … | 7 unchanged lines |
||
| 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 | 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). |
|
| 57 | 57 | - 2026-09-28 H2 done: empty repositories show a quickstart (remote named after the host, e.g. `earth`; CA download and `remote.X.ca` when self-signed; token placeholder; push; start from nothing; `oxy git import`); readers get a plain notice. Tests: `empty_repository_shows_a_quickstart` and a remote-naming unit test; hub spec §6 row updated; deployed. |
|
| 58 | + | - 2026-09-28 O2 done: `oxy fsck [--json]` (objects, op log through all parents, references and change closure with identities/blobs/chunks/signatures, bookmark states, checkpoints re-derived, ref and tag attestations verified); spec Draft 0.8h §21.1, guide updated. Test `fsck_passes_a_sound_repository_and_names_each_fault` (corrupt object, missing change, missing blob, broken op head). Clean on oxygen, oxygenhub, oxygen-vscode, oxygenhub-vscode, hellooxy. Release binary rebuilt. |