m2papierz
diff --git a/‎changelog.d/16.changed.md‎
Lines changed: 1 addition & 0 deletions b/‎changelog.d/16.changed.md‎
Lines changed: 1 addition & 0 deletions
@@ -0,0 +1 @@
+UEC ExecutionEnvelope is now the single source of truth for diffs/verification: adapter runs must emit a schema-valid envelope; “non-strict” fallback/synthesis for adapter runs was removed. Manual/replay runs still synthesize a best-effort envelope. Program comparison now distinguishes structural vs parametric hashes and results are canonicalized across bit orders.
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+UEC ExecutionEnvelope is now the single source of truth for diffs/verification: adapter runs must emit a schema-valid envelope; “non-strict” fallback/synthesis for adapter runs was removed. Manual/replay runs still synthesize a best-effort envelope. Program comparison now distinguishes structural vs parametric hashes and results are canonicalized across bit orders.`