You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Qwen3.8: drafted-plan headroom omits the stage card's reserves #786
The single-card paths without expert tiers in PlanInputs::plan_mtp_with and plan_mtp_with_slots sum the target's terms without t.reserve_bytes, filter out CardOver violations, and derive MtpPlan::headroom_bytes from that incomplete sum. machine_for_experts adds an activation-forms reserve on integrated cards, so the returned headroom exceeds the actual headroom by those bytes. CardTotals::bytes already owns the complete sum. Use it plus the draft reserve in both paths. Correct the MTP gate's identity assertion, which currently adds t.reserve_bytes back and accepts the same error. Cover an integrated stage with a nonzero named reserve.
Fixed by #793. The single-card drafted plan now sums the stage card's totals with CardTotals::bytes, which carries the named reserves, plus the draft's reserve once, so MtpPlan::headroom_bytes no longer overstates the room on an integrated card. A sum past u64 is refused with CardBytesPastU64, and the MTP gate's identity now reads plan.headroom == t.headroom - R.
Activity
juliankang4 commentedon Oct 24, 2026
Fixed by #793. The single-card drafted plan now sums the stage card's totals with
CardTotals::bytes, which carries the named reserves, plus the draft's reserve once, soMtpPlan::headroom_bytesno longer overstates the room on an integrated card. A sum pastu64is refused withCardBytesPastU64, and the MTP gate's identity now readsplan.headroom == t.headroom - R.(AI 코딩 에이전트가 작성한 코멘트이며, 내용은 제가 확인했습니다.)