Analyzer used for old version

Analyzer used for new version

Comparator script invoked

Workflow order correct

Report has summary field

Report has differences field

Report has recommendations field

Differences include type field

Modified intervals detected

Summary counts present

Negative index flagged critical

Overflow risk flagged critical

Negative value implication present

Overflow implication present

Critical testing priority assigned

Critical recommendation present

Change type widened labeled

Both scripts used

Severity field on all differences

Risk summary references critical findings

Analyzer invoked for both versions

Comparator invoked

Tests target old upper boundary

Tests target new upper boundary

Tests include values in the gap

Tests organized by interval

Comments link tests to interval changes

Tests exceed old boundary by 1

Valid Python test file

Report-driven test values