Skip to content

Evaluate composition invariants over the composed union in Java #89

Description

@ExtraToast

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

  • Every negative fixture directory yields its committed diagnostics set, for every fragment order.
  • The composed union is identical under every fragment order.

Blocked by

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    area: deployhomelab-deploy, deploy-v2, manifests, and rollout flow.component: testsUnit, integration, system, or contract test concern.priority: P2Medium; normal planned work.status: ready-for-agentFully specified; an agent may take it with nobody watching.type: featureNew user-facing or operator-facing capability.

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions