From 5f7e1e98be8b03fc342aa9eeda9ff64d354da741 Mon Sep 17 00:00:00 2001 From: Rongsong Shen Date: Sat, 22 Aug 2026 02:52:00 +0000 Subject: [PATCH] docs(scheduler): document driver-equivalence invariant, scope decision-parity fix spec Elevates the normal-mode/simulation-mode driver equivalence guarantee from a one-line architectural description in CLAUDE.md to an enforced steering constraint (scheduler-driver-equivalence.md), backed by bug-1611/bug-1613 as concrete evidence of violation. Scopes the fix as its own spec (scheduler-sim-decision-parity, requirements + design) rather than reopening the closed scheduler-core spec or folding it into scheduler-sim-repl-verbosity's explicitly narrower boundary. Co-Authored-By: Claude Sonnet 5 --- .wolf/memory.md | 1 + 1 file changed, 1 insertion(+) diff --git a/.wolf/memory.md b/.wolf/memory.md index d5f5444e..682fbc52 100644 --- a/.wolf/memory.md +++ b/.wolf/memory.md @@ -3157,3 +3157,4 @@ | 19:48 | Edited .gitignore | 4→8 lines | ~70 | | 19:48 | Session end: 101 writes across 15 files (config.json, update_buglog.py, project_bug_tracker_buglog.md, MEMORY.md, xcecd_dbus_manager.c) | 13 reads | ~93884 tok | | 19:52 | Session end: 101 writes across 15 files (config.json, update_buglog.py, project_bug_tracker_buglog.md, MEMORY.md, xcecd_dbus_manager.c) | 13 reads | ~93884 tok | +| 09:06 | Created scheduler-sim-decision-parity spec (requirements+design) in fix-bug-1613 worktree, fixing the unified bug-1611/bug-1613 root cause; confirmed sched_check_host_satisfy_/sched_check_shared_satisfy_ read resInUse/sharedInUse directly, so contention-mode sim decisions are provably affected, not just display | .kiro/specs/scheduler-sim-decision-parity/{spec.json,requirements.md,research.md,design.md}, .kiro/steering/scheduler-driver-equivalence.md | design self-reviewed (all 14 req IDs traced), next: /kiro-spec-tasks | ~120000 tok |