Skip to content

Fix minimize --mode validation; add replay contract tests and docs updates for #17 - #18

Closed
utsab345 wants to merge 13 commits into
mainfrom
export-claim-drawn-battery
Closed

utsab345 wants to merge 13 commits into
mainfrom
export-claim-drawn-battery

Conversation

@utsab345

Copy link
Copy Markdown
Owner

Implements fixes for #17: validate minimize --mode upfront (exit 2 for invalid modes like hybrid/bogus), guard engine, add regression tests (minimize mode validation, replay contract tests covering changed args/extra/missing calls), document frozen-replay contract, and update CLI/README/docs for 0.2.0. Tests: 584 passed; ruff/mypy clean (minor style note only).

@utsab345
utsab345 force-pushed the export-claim-drawn-battery branch from 037aee7 to bbac456 Compare October 18, 2026 16:54
@utsab345 utsab345 closed this Oct 18, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants