Stage 2 of 3
The compatibility matrix isolates the exact failed output-contract check.
Fixture output does not match the consumer contract
Expected column net_revenue_adjusted; received adjusted_net_revenue.
Syntax
The SQL parses as one bounded SELECT statement.
syntax-parse · passed
Statement safety
No mutation or unrestricted relation access is present.
statement-safety · passed
Schema references
The replacement field exists in the recorded schema.
source-fields · passed
Output contract
The patch emits adjusted_net_revenue, but finance_revenue_close still requires net_revenue_adjusted.
expected-outputs · failed
Type compatibility
The numeric source remains compatible with the required numeric output.
type-compatibility · passed
Nullability
The non-null requirement remains satisfied.
nullability · passed
Fixture execution
The checked-in finance fixture executes successfully.
fixture-execution · passed
Fixture output
Rows and output columns match the expected fixture.
fixture-output · passed
Semantic status
Fixture evidence supports the known cases; universal semantic equivalence is not claimed.
semantic-equivalence · review-required
Unproven guarantee
The replacement does not preserve the required output contract for finance_revenue_close.
Viewing Patch and fixture evidence. Completed steps are available in the stage navigation.