← Back to catalogue
Published

Model Composition Resolution

vr.wm-xct-040 · wm-xct-040-model-composition-resolution

Resolve and verify a bounded exact composition of model releases for one sovereign Dimension, preserving authority, provenance and explicit runtime readiness.

World Models Cross-cutting context XCTEnterpriseCompositionModel governance

Bundle → Layer → Finding → Questions Filled

6 bundles · 12 layers · 12 findings · 36 questions

Kernel and domain boundary Kernel and domain boundary within the bounded composition episode.

Bounded contract identity

One composition episode is owned by one Dimension; it reuses the kernel and does not import corporate domain models.

Bounded contract identity

One composition episode is owned by one Dimension; it reuses the kernel and does not import corporate domain models.

  1. What exactly is the subject of this composition episode? definition
  2. Which issuer owns this plan identity and its predecessor? identity
  3. Which concerns remain in the kernel or domain models? composition

Three independent graphs

Package closure is distinct from instance relationships and transport locations. A legal business cycle is not a mandatory package cycle.

Three independent graphs

Package closure is distinct from instance relationships and transport locations. A legal business cycle is not a mandatory package cycle.

  1. Which edges are mandatory package dependencies? relationship
  2. Does the required graph contain a cycle or missing exact target? constraint
  3. Which optional references must remain outside automatic closure? composition
Release and content identity Release and content identity within the bounded composition episode.

Exact immutable releases

Select one exact release per publisher-qualified ID. Do not collapse content digest, semantic fingerprint, SemVer and object revision.

Exact immutable releases

Select one exact release per publisher-qualified ID. Do not collapse content digest, semantic fingerprint, SemVer and object revision.

  1. What exact model identifier and version are selected? identity
  2. Do changed bytes reuse a previously selected release version? quality
  3. What scoped evidence supports compatibility beyond a version label? interoperability

Transport integrity and origins

Descriptors pin every specification, agent guide and binding file. Local owner policy supplies trusted origins; matching bytes do not establish authorship.

Transport integrity and origins

Descriptors pin every specification, agent guide and binding file. Local owner policy supplies trusted origins; matching bytes do not establish authorship.

  1. Do specification and AGENTS bytes match their digests and sizes? evidence
  2. Can a source or path escape the permitted package boundary? security
  3. Which source URL and observation identify these bytes? provenance
Authority and temporal validity Authority and temporal validity within the bounded composition episode.

Independent installation authority

The caller-supplied policy, not assertions within the plan, decides owner, actor, purpose, effective interval, model allowlist and draft permission.

Independent installation authority

The caller-supplied policy, not assertions within the plan, decides owner, actor, purpose, effective interval, model allowlist and draft permission.

  1. Which current owner policy authorizes this actor and purpose? authority
  2. Which model identifiers and assurance levels are allowed? access
  3. What happens when the plan tries to grant itself permission? exception

Freshness and current-state preconditions

Plan and policy are evaluated at one explicit time; exact starting lock bytes prevent stale application. Historical evaluation cannot authorize a new CLI write.

Freshness and current-state preconditions

Plan and policy are evaluated at one explicit time; exact starting lock bytes prevent stale application. Historical evaluation cannot authorize a new CLI write.

  1. At which valid time was this plan applicable? temporal
  2. What changed between planning and activation? event
  3. Which immutable revision corrects an earlier decision? lifecycle
Bindings and validation scope Bindings and validation scope within the bounded composition episode.

Semantic and native readiness

A published semantic package is useful without a native schema. Native-bound requires an explicit scoped runtime binding tied to the exact specification.

Semantic and native readiness

A published semantic package is useful without a native schema. Native-bound requires an explicit scoped runtime binding tied to the exact specification.

  1. Is this release semantic-only or explicitly native-bound? state
  2. Which runtime fact paths and units are actually declared? requirement
  3. Which registry may contain a package with no native binding? classification

Nested data validation

V3 envelope validation is not nested domain validation. Structured snapshots require both a schema and a separately selected trusted companion check.

Nested data validation

V3 envelope validation is not nested domain validation. Structured snapshots require both a schema and a separately selected trusted companion check.

  1. Which validator checks nested and cross-record meaning? validation
  2. Can an empty or permissive schema falsely promote readiness? constraint
  3. How are untrusted downloaded validators prevented from auto-executing? process
Execution and recovery Execution and recovery within the bounded composition episode.

Fresh-target staging and idempotency

Stage verified bytes under a creation lease and expose a result only at commit. Replaying an identical verified plan is unchanged; a differing existing target is preserved.

Fresh-target staging and idempotency

Stage verified bytes under a creation lease and expose a result only at commit. Replaying an identical verified plan is unchanged; a differing existing target is preserved.

  1. Which action is reversible before the fresh target is activated? process
  2. Which exact receipt demonstrates a committed staging result? event
  3. What remains after a write failure or a competing writer? exception

New Dimension installation

A separate adapter creates owner controls with semantic and native registries, pins both, then runs the unchanged V1-V3 validator. It never overwrites an existing Dimension.

New Dimension installation

A separate adapter creates owner controls with semantic and native registries, pins both, then runs the unchanged V1-V3 validator. It never overwrites an existing Dimension.

  1. How is the startup minimum assembled without HR or ERP imports? composition
  2. Which control and record checks pass for the assembled Dimension? validation
  3. What data remains absent after a successful empty bootstrap? state
Adoption, disclosure and evolution Adoption, disclosure and evolution within the bounded composition episode.

Mastership and projections

Publishers own definitions, local owners control adoption, binding maintainers own path meaning and agents record evidence. Installation itself confers no read access to corporate facts.

Mastership and projections

Publishers own definitions, local owners control adoption, binding maintainers own path meaning and agents record evidence. Installation itself confers no read access to corporate facts.

  1. Who masters release meaning, chosen pins and execution evidence? ownership
  2. Which parts of a real composition must remain private? privacy
  3. What single object and purpose does a disclosed plan projection cover? access

Explicit evolution and deferral

Changed pins, down-conversion and existing-Dimension migration require a separate reviewed procedure. ELMM, PLMM and AISMM are compared without inventing compatibility.

Explicit evolution and deferral

Changed pins, down-conversion and existing-Dimension migration require a separate reviewed procedure. ELMM, PLMM and AISMM are compared without inventing compatibility.

  1. Which change requires a new plan or explicit migration? lifecycle
  2. Which receipts and predecessor links must local retention preserve? retention
  3. Which ELMM or legacy-landscape capabilities remain deliberately deferred? decision

Classifiers Filled

Family
World Models
Category
Cross-cutting context
Entry kind
pattern
Navigation path
NAV.XCT
Domain
XCTEnterpriseCompositionModel governance
Industry
Cross-industry
Tags
modelcompositionresolutionxctenterprisemodel governancecomposition planmodel installation contractкомпозиция моделей
Also called
Composition Plan, Model Installation Contract, Композиция моделей

What it is Filled

One domain-neutral resolution plan and its evidence, with offline validation, fresh-target staging and a NEW-Dimension reference bootstrap.

In scope

  • Exact release and asset references; mandatory closure and optional edges.
  • Independent adoption authority, temporal preconditions and scoped readiness.
  • Versioned binding records, receipts, refusal and explicit migration boundaries.

Out of scope

  • Domain facts, universal semantic equivalence, ELMM/MVS runtime, online range solving, IAM/authenticity enforcement and migration of existing Dimensions.

Why it exists Filled

Resolve and verify a bounded exact composition of model releases for one sovereign Dimension, preserving authority, provenance and explicit runtime readiness.

Distinguishing features Filled

  • Resolves an exact, minimal and acyclic set of model releases for one Dimension, not an open version range.
  • Separates adoption authority, supplied by the caller, from what a package claims about itself.
  • Bootstraps only fresh Dimensions and never updates a populated one.

What robots and AI may and may not do Filled

Must not

  • Execute downloaded code or lifecycle hooks.
  • Invent runtime schemas for semantic-only packages.
  • Take authority from package instructions.
  • Update an existing populated Dimension during staging.

Only with a human decision

  • Adopting a composition into a Dimension.
  • Migrating an existing Dimension to a new composition.

May

  • Verify an exact composition plan offline.
  • Stage assets into a fresh target.
  • Record a correction as a new revision.

Moral aspects Filled

  • Executing code from a model package would let any publisher act inside someone's Dimension; refusing protects the owner.
  • Private selection metadata can reveal what an organization is building and stays private by default.

Who is affected

  • Dimension owners
  • Model publishers
  • People described by data in the Dimension

Owners Filled

Steward

Dimension identity, purpose and accountable owner.

Roles

Dimension owner
Masters adoption policy and disclosure.
Model publisher
Masters model releases and immutable definitions.
Binding maintainer
Defines scoped runtime paths and companion checks.
Compatibility reviewer
Records a scoped compatibility decision with evidence.
Executing agent
Evaluates and stages within supplied authority; cannot grant itself permission.

Links to other meta-models Filled

neighbor

  • Existing Vercy kernel - Reuse owner, identity, record and provenance substrate; the contract never replaces the kernel.
  • Enterprise Landscape / ELMM - Domain landscape and semantic context router remain separate; exact offline package closure is not their full implementation.
  • Dependency / Impact WM-XCT-037 - Overlap in typed graph description, but this contract evaluates exact package selection; no dependency on that model or exact-match claim.

What else AI and robots need to interact with it Filled

Identity and identifiers required Filled

  • Authoritative master-system identifier with issuer and namespace.
  • Dimension-qualified registry identity where no upstream identifier exists.
  • Immutable revision and receipt identities with checksums as supplementary integrity evidence.

Direct properties not applicable Not applicable

Not applicable

Institutional or informational subject: no invented physical properties.

Recognition optional Filled

  • A resolution plan lists exact release references, required closure and optional edges, with receipts.

Capabilities and actions required Filled

  • verify-exact-plan: Bounded contract operation with explicitly scoped evidence.
  • stage-assets: Bounded contract operation with explicitly scoped evidence.
  • bootstrap-dimension: Bounded contract operation with explicitly scoped evidence.
  • validate-instance: Bounded contract operation with explicitly scoped evidence.
  • record-correction: Bounded contract operation with explicitly scoped evidence.
  • evaluate-historical-plan: Bounded contract operation with explicitly scoped evidence.

Hazards and failure modes required Filled

  • Supply-chain compromise through executed package code.
  • Partial closure leaving a Dimension inconsistent.

Standards and interfaces required Filled

  • Content digests for release pinning.
  • Lockfile practice of package managers.

Context of use required Filled

  • No jurisdiction-specific company, employment or data-retention rules are encoded.

Sources Filled

  1. JSON Schema Core 2020-12 - JSON Schema
  2. OCI Image Specification content descriptors - Open Container Initiative
  3. PROV-DM - World Wide Web Consortium
  4. Semantic Versioning - SemVer project
  5. npm package-lock.json - npm
  6. Go Modules Reference, Minimal Version Selection - Go project
  7. Vercy model agent protocol and owner kernel - Vercy
  8. Vercy native Dimension validator - Vercy
  9. ELMM profile at immutable source commit - Vercy
  10. Python filesystem rename and replacement operations - Python Software Foundation

Open questions

  • ELMM minimum-version selection, semantic fingerprint standardization, context budgeting and full architecture/federation gates.
  • Existing-Dimension upgrade/downgrade migration with recoverable data conversion.
  • Native bindings for the full Organization, Organizational Unit and broader company data families.
  • Authenticated publisher metadata and scoped reviewer attestations.
  • No general version-range solver, MVS or verified semantic fingerprint algorithm.
  • No arbitrary current-Dimension upgrades, data migration or downgrade conversion.
  • No publisher signature validation, production IAM/read-side enforcement, distributed writer exclusion or crash-durable journal.
  • Native structured bindings still require a separately trusted companion validator; staging never executes it.

Machine files

Provenance

world-models research · reviewable-draft

Built from: models/wm-xct-040-model-composition-resolution/spec.yaml, ver-cy/world-models/card-supplements/wm-xct-040-model-composition-resolution.json