v0.4.1

Fixed

• Strict budget enforcement at call time — sequential executor now checks step's estimated cost against remaining budget before making the LLM call; steps that would exceed budget are skipped
• Ledger store summary — removed redundant load(limit=0) call; summary() now uses _load_all() directly