Skip to content

docs(program): close SYNC-01 ledger state #649

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
boburning merged 1 commit into from
Aug 31, 2026
Merged

docs(program): close SYNC-01 ledger state #649

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 4 additions & 3 deletions docs/program/BloomOS_Work_Program_v3.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2068,7 +2068,7 @@
"id": "SYNC-01",
"track": "Sync",
"title": "Save-bundle identity, authenticity, lineage, conflict contract",
"status": "in_progress",
"status": "merged",
"dependencies": [
"META-01",
"CORE-06"
Expand All @@ -2077,10 +2077,11 @@
"risk_tier": 3,
"deployment_tier": "host",
"device_gate_required": false,
"last_audited_main": "a79d953416cd177d1927a2dd1172f3b184f5b425",
"last_audited_main": "7cf81bc308fdb440c28be0a944a4d3e11b035bc1",
"evidence": [
"issue #647 tracks the transport-independent SYNC-01 authority: a closed bounded bundle envelope, RFC 8785 canonical manifest identity, Ed25519 authentication, separate device/key/lineage identity, ordered hash-and-lineage conflict outcomes, and explicit no-transport/no-live-save scope",
"PR #648 publishes the reviewed SYNC-01 contract from exact main a79d953416cd177d1927a2dd1172f3b184f5b425; focused 9/9, native 595/595, ASan 595/595, shell 830/830, deterministic UI 10/10, bounded static analysis, and pinned-toolchain validator gates pass; clean Linux CI owns the full ARM gate"
"PR #648 publishes the reviewed SYNC-01 contract from exact main a79d953416cd177d1927a2dd1172f3b184f5b425; focused 9/9, native 595/595, ASan 595/595, shell 830/830, deterministic UI 10/10, bounded static analysis, and pinned-toolchain validator gates pass",
"PR #648 required checks passed, including the clean Linux ARM build and an exact 830-test shell retry after one unrelated developer-SSH concurrency flake; it merged as 7cf81bc308fdb440c28be0a944a4d3e11b035bc1 and closed issue #647 without a device deployment gate"
]
},
{
Expand Down