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 995673e7cf
commit 25e35bacaf
No known key found for this signature in database
GPG key ID: 5BCDAAE0123E9FE2
8 changed files with 462 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.wolf/memory.md
View file

@ -2556,3 +2556,4 @@
| 07:46 | ASAN build+full testsuite verified for repl_break.c/sim.c session-count changes | src/scheduler/src/repl_break.c, src/scheduler/src/sim.c, src/scheduler/testsuite/test_repl_breakpoints_inspection.c | 42/43 Ok, only known bug-1560 admin_request symlink failure; new+changed tests all PASS | ~55k |
| 00:48 | Created ../../../../../../tmp/claude-1000/-home-rshen-projects-xce-worktrees-scheduler-framework/0334ebbe-8d9c-4931-871d-87c678f83a79/scratchpad/log_bug_1602.py | — | ~1054 |
| 08:31 | Added event time/session echo (session_count+1, events precede their own BEGIN_ROUND marker) and replay-file session-count pre-scan (ftell/fseek, shape-only) | src/scheduler/src/repl_break.c, src/scheduler/src/sim.c, src/scheduler/testsuite/test_repl_breakpoints_inspection.c, .wolf/buglog.json | GREEN, 42/43 Ok, only pre-existing bug-1560 remains | ~110000 |
| 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 |