From f5da7f556a469a365ba0bf755bf347b9aab6de38 Mon Sep 17 00:00:00 2001 From: boburning Date: Mon, 31 Aug 2026 13:43:54 -0400 Subject: [PATCH] docs(program): close SYNC-01 ledger state --- docs/program/BloomOS_Work_Program_v3.json | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/docs/program/BloomOS_Work_Program_v3.json b/docs/program/BloomOS_Work_Program_v3.json index 0f230e33..5d3f04b5 100644 --- a/docs/program/BloomOS_Work_Program_v3.json +++ b/docs/program/BloomOS_Work_Program_v3.json @@ -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" @@ -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" ] }, {