-
Notifications
You must be signed in to change notification settings - Fork 0
Evaluate composition invariants over the composed union in Java #89
Copy link
Copy link
Open
Labels
area: deployhomelab-deploy, deploy-v2, manifests, and rollout flow.homelab-deploy, deploy-v2, manifests, and rollout flow.component: testsUnit, integration, system, or contract test concern.Unit, integration, system, or contract test concern.priority: P2Medium; normal planned work.Medium; normal planned work.status: ready-for-agentFully specified; an agent may take it with nobody watching.Fully specified; an agent may take it with nobody watching.type: featureNew user-facing or operator-facing capability.New user-facing or operator-facing capability.
Description
Activity
Metadata
Metadata
Assignees
Labels
area: deployhomelab-deploy, deploy-v2, manifests, and rollout flow.homelab-deploy, deploy-v2, manifests, and rollout flow.component: testsUnit, integration, system, or contract test concern.Unit, integration, system, or contract test concern.priority: P2Medium; normal planned work.Medium; normal planned work.status: ready-for-agentFully specified; an agent may take it with nobody watching.Fully specified; an agent may take it with nobody watching.type: featureNew user-facing or operator-facing capability.New user-facing or operator-facing capability.
Parent
#78
What to build
The Java side of #46. Composition unions Intent Fragments as chapter 40 specifies: order-independent, every collision an error, nothing merged. The identity and reference invariants are Complete OCL whose context is the composed union. Each negative fixture directory's diagnostics oracle is compared for every order of its fragments.
Acceptance criteria
Blocked by