lei.chen/myxce
1
0
Fork 1
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

docs(scheduler): document driver-equivalence invariant, scope decision-parity fix spec

Browse source 
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 <noreply@anthropic.com>
This commit is contained in:
Rongsong Shen 2026-08-22 02:52:00 +00:00
parent 5d25925a01
commit 5f7e1e98be
No known key found for this signature in database
GPG key ID: 5BCDAAE0123E9FE2
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.wolf/memory.md
View file

@ -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 |