From 07153d93649869c205386c82f531e4c7b1dd611d Mon Sep 17 00:00:00 2001 From: sol Date: Tue, 3 Nov 2026 13:46:16 +0000 Subject: [PATCH] sol: refresh sol-profile-triage-2026-11-03 (drop volatile size check) --- wizard-work/sol/sol-profile-triage-2026-11-03.json | 4 ++-- wizard-work/sol/verify_sol-profile-triage-2026-11-03.py | 8 ++++++-- 2 files changed, 8 insertions(+), 4 deletions(-) diff --git a/wizard-work/sol/sol-profile-triage-2026-11-03.json b/wizard-work/sol/sol-profile-triage-2026-11-03.json index 240d7bb..b1c338a 100644 --- a/wizard-work/sol/sol-profile-triage-2026-11-03.json +++ b/wizard-work/sol/sol-profile-triage-2026-11-03.json @@ -1,6 +1,6 @@ { "source": "/root/.hermes/profiles/sol", - "generated_at": "2026-11-03T13:39:39.424988+00:00", + "generated_at": "2026-11-03T13:45:42.204003+00:00", "total": 69, "by_category": { "config": 13, @@ -361,7 +361,7 @@ "rel": "state.db", "category": "data", "type": "file", - "size": 195096576 + "size": 195325952 }, { "rel": "state.db-shm", diff --git a/wizard-work/sol/verify_sol-profile-triage-2026-11-03.py b/wizard-work/sol/verify_sol-profile-triage-2026-11-03.py index 0f6e715..ff043cc 100644 --- a/wizard-work/sol/verify_sol-profile-triage-2026-11-03.py +++ b/wizard-work/sol/verify_sol-profile-triage-2026-11-03.py @@ -117,6 +117,12 @@ def main(): problems.append(f"rel set mismatch: only-on-disk={sorted(expected_rels - committed_rels)} " f"only-in-manifest={sorted(committed_rels - expected_rels)}") + # NOTE: a file's on-disk byte size is a volatile snapshot in this live + # profile dir (state.db and its WAL/journal files are written by the + # background daemon between generation and verification). The invariant a + # committed manifest must re-derive is the CLASSIFICATION (category and + # kind/type), not a moving byte count, so size is recorded for reference but + # is deliberately NOT compared here. for e in expected["entries"]: c = committed_by_rel.get(e["rel"]) if c is None: @@ -125,8 +131,6 @@ def main(): problems.append(f"{e['rel']}: category {c.get('category')!r} != {e['category']!r}") if c.get("type") != e["type"]: problems.append(f"{e['rel']}: type {c.get('type')!r} != {e['type']!r}") - if c.get("size") != e["size"]: - problems.append(f"{e['rel']}: size {c.get('size')!r} != {e['size']!r}") if problems: print("FAIL")