4 Commits
Author SHA1 Message Date
TakeshiandClaude Opus 5.5 8c36c100b2 P14-03: Record Runner formal completion; P14 package complete, units 22/88
Cite the real Runner receipts (submitted a5d2491, integrated/final b7f6168,
9/9 conditions, low findings preserved) in a new ACCEPTANCE record. Keep the
x1 budget miss, x3/stall/render/Windows, the unused staff service shaft and
the four low findings as separate unmet items. Pinned p06-01/p14-02
acceptance JSON unchanged; the 46-suite supplement lives in the new record.
Sync P28-01 summary and gaps to the r02 measurements; next unit P28-01.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-20 19:56:15 +09:00
TakeshiandClaude Opus 5.5 e8b3dbe7a4 P14-03: Record review PASS awaiting Runner gate; sync current status
- P14-03 on 83b170a: formal 192/192 (22,198 checks), Root pairs 5/5,
  representative perf r02 (collection/functional comparison established;
  x1 ~827 ms exceeds the 4 ms budget in both versions), independent Opus
  whole-unit review PASS. Per the skill contract it stays uncounted (21/88)
  until Runner's own validate/review/integration/final; the registration
  proposal and evidence-binding verifier are under artifacts/.../p14-03-runner-gate-r01.
- Correction notes on P06-01/P06-03/P14-02/P06-02: their regressions missed 46
  roster-only suites; the defects found there are fixed in 83b170a and the
  formal 192-suite run covers them. Completions and approvals are preserved.
- IMPLEMENTATION_PLAN header and progress_snapshot next pointers now show 21
  units, P14-03 at the Runner gate and P28-01 next; history kept.
- Evidence matrix: 50% slowdown attributed to test_runtime_path_traffic,
  injected trips and budget/scope wording per the review.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-20 19:18:54 +09:00
TakeshiandClaude Opus 5.5 a8edd3c3a1 P14-03: Versioned shaft-wait saves, keep riders aboard, real-actor proof
- ElevatorService snapshot v2 carries the shaft-wide wait; v1 saves (written
  with every elevator dynamic_cost 0) migrate by deriving it on load, and any
  v2 mismatch, including all zeros, is rejected atomically. A genuine save
  from 50ceca0 is kept as tests/fixtures/p14-03/legacy_rush_v1.
- A guest aboard a cabin no longer decides, leaves or despawns until the
  elevator sets it down at a real landing; previously a rider told to leave
  vanished from a moving cabin.
- test_route_wait_choice now proves the rush detour and route loss with a
  worker who actually walks, every shared rider's arrival cell, service
  elevator and stair congestion, legacy migration and a new-PID restart.
- Register completion markers for the seven suites added this session and
  bring the P14 ledger in line with P14-02's completion.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-20 16:51:41 +09:00
TakeshiandClaude Opus 5.5 62d1dcecad P14-03: Add evidence matrix (regression and review pending)
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-20 16:10:56 +09:00