Skip to content

fix: reject immutable causal receipt conflicts terminally - #4361

Merged
EHotwagner merged 1 commit into
mainfrom
routine/learn-causal-terminal-receipt-repair
Oct 10, 2026
Merged

EHotwagner merged 1 commit into
mainfrom
routine/learn-causal-terminal-receipt-repair

Conversation

@EHotwagner

Copy link
Copy Markdown
Contributor

A changed execution-causal-admission/1 fact already fails the schema-14 immutable guard, but the receipt drain previously classified that exact failure as storage unavailable and left an accepted receipt pending. The scoped drain now classifies the immutable error as terminal semantic-conflict. A fresh changed receipt becomes rejected, exact replay returns the same rejection, and the original canonical declaration and accepted receipt remain unchanged. Unknown kinds still fail parsing before a durable receipt exists.

The focused CLI regression covers the receipt path and preserves the receiver plan's distinction between source-built, generic local evidence and packed or installed qualification. The first focused run restored and built successfully but its test host aborted before executing tests because roll-forward was disabled for the installed .NET patch. A fresh test-only run against the same pinned build passed both named causal CLI tests (2/2); it performed no restore or rebuild. The original aborted result remains retained.

This source repair does not install a receiver, enable producer emission, or establish native collector provenance.

@EHotwagner
EHotwagner merged commit dff23c2 into main Oct 10, 2026
51 checks passed
@EHotwagner
EHotwagner deleted the routine/learn-causal-terminal-receipt-repair branch October 10, 2026 01:51
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.

1 participant