From b5ae5c60ed970326515c1b9e15e62b283053d4d7 Mon Sep 17 00:00:00 2001 From: boburning Date: Sun, 30 Aug 2026 23:16:49 -0400 Subject: [PATCH] docs(program): complete DISP-04 integration --- docs/program/BloomOS_Work_Program_v3.json | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/docs/program/BloomOS_Work_Program_v3.json b/docs/program/BloomOS_Work_Program_v3.json index 9aa43ec89..65ee090ca 100644 --- a/docs/program/BloomOS_Work_Program_v3.json +++ b/docs/program/BloomOS_Work_Program_v3.json @@ -1256,16 +1256,23 @@ "id": "DISP-04", "track": "Display", "title": "Built-in reviewed device/system/core profiles", - "status": "planned", + "status": "complete", "dependencies": [ "DISP-03" ], - "github_prs": [], + "github_prs": [ + 610 + ], "risk_tier": 2, "deployment_tier": "warm", "device_gate_required": true, - "last_audited_main": "3a7e78290285806e1ce3eb0c126887644ff665f2", - "evidence": [] + "last_audited_main": "c4870992422fea34c21db7f758e4d8a1156571df", + "evidence": [ + "PR #610 added one schema-1 source-reviewed built-in profile authority for exact Mini Plus device, system, and default-core tuples: GB/GBC plus Gambatte use reviewed 160x144 and 10:9 geometry with LCD3x_light, while GBA plus gpSP uses reviewed 240x160 and 3:2 geometry with LCD2x; Auto remains unchanged and every other device, system, alternate core, CRT effect, bezel, or custom identity remains explicitly unavailable", + "the policy pins canonical core-selection, DISP-01 Auto, filter-contract, and GPL-3.0 authorities plus exact descriptor and implementation paths, byte sizes, and SHA-256 values; the private session composer validates geometry and fixed paths, verifies both filter files before use, and fails closed for stale authority, unsafe path, unknown selector, duplicate profile, unsupported default, or partial identity without touching global RetroArch configuration", + "runtime commit b36e2eb660a306e03e9e869a07c67f8dbc51bebc passed 8 focused native tests, the 799-test optimized eight-shard local Shell gate with a 94-second slowest shard, focused display/provenance/manifest/dependency/CI-scope validation, focused cppcheck, format, and an exact signed ARM build; workflow 33350464921 produced a 199861824-byte archive at SHA-256 d957635c14d781d2101110b0fcb58fde6232e1b3167c96fb47887ff31b3ee3f8 with a verified Ed25519 signature, and final PR CI passed 801 Shell tests in 2m12s, static analysis in 4m05s, Check build in 4m10s, native tests, ASan, and formatting", + "a hash-differential 12-file Warm Mini Plus candidate selected plus-gb-gambatte-lcd3x-v1, generated the reviewed 480x432 viewport at 80,24, verified the exact LCD3x descriptor and implementation on-device, and reached canonical RetroArch RUNNING with Gambatte; Wi-Fi stayed enabled and associated, global retroarch.cfg and canonical settings retained their exact pre-test hashes, the installed update stayed known_good, aggregate health finished green, the candidate rolled back, and task fixtures were removed; Auto and profile comparisons both required forced kill and the running framebuffer capture was black, so clean stop, save flush, visible filter output, physical controls/LCD/audio/gameplay, GBC/GBA hardware, original Mini, and Flip remain explicitly uncertified; candidate-only evidence is recorded at docs/validation/display/plus-disp04-built-in-profiles-20260831.json, and PR #610 squash-merged as c4870992422fea34c21db7f758e4d8a1156571df" + ] }, { "id": "DISP-05",