Skip to content

assurance: enforce closed-world operational causal contracts - #26

Merged
attractor-set merged 1 commit into
mainfrom
assurance/closed-world-operational-causal-contracts
Aug 17, 2026
Merged

assurance: enforce closed-world operational causal contracts#26
attractor-set merged 1 commit into
mainfrom
assurance/closed-world-operational-causal-contracts

Conversation

@attractor-set

Copy link
Copy Markdown
Owner

Closes operational/causal assurance gaps without changing Network semantics.

Verified:

  • 41/41 Python tests PASS
  • operational stack contracts 21/21 PASS
  • causal closed-world contracts 21/21 PASS
  • Federation operational/causal result-code binding 6/6 PASS
  • all-subject triangulation 446/446 PASS
  • core TLAPS 12 obligations PASS
  • profile TLAPS 60 obligations PASS
  • Alpha4 Network gate PASS
  • semantic delta NONE

@attractor-set
attractor-set merged commit 4eb0996 into main Aug 17, 2026
2 checks passed
@attractor-set
attractor-set deleted the assurance/closed-world-operational-causal-contracts branch August 17, 2026 18:31
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