Model Composition Resolution
Resolve and verify a bounded exact composition of model releases for one sovereign Dimension, preserving authority, provenance and explicit runtime readiness.
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.
- What exactly is the subject of this composition episode? definition
- Which issuer owns this plan identity and its predecessor? identity
- 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.
- Which edges are mandatory package dependencies? relationship
- Does the required graph contain a cycle or missing exact target? constraint
- 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.
- What exact model identifier and version are selected? identity
- Do changed bytes reuse a previously selected release version? quality
- 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.
- Do specification and AGENTS bytes match their digests and sizes? evidence
- Can a source or path escape the permitted package boundary? security
- 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.
- Which current owner policy authorizes this actor and purpose? authority
- Which model identifiers and assurance levels are allowed? access
- 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.
- At which valid time was this plan applicable? temporal
- What changed between planning and activation? event
- 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.
- Is this release semantic-only or explicitly native-bound? state
- Which runtime fact paths and units are actually declared? requirement
- 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.
- Which validator checks nested and cross-record meaning? validation
- Can an empty or permissive schema falsely promote readiness? constraint
- 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.
- Which action is reversible before the fresh target is activated? process
- Which exact receipt demonstrates a committed staging result? event
- 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.
- How is the startup minimum assembled without HR or ERP imports? composition
- Which control and record checks pass for the assembled Dimension? validation
- 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.
- Who masters release meaning, chosen pins and execution evidence? ownership
- Which parts of a real composition must remain private? privacy
- 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.
- Which change requires a new plan or explicit migration? lifecycle
- Which receipts and predecessor links must local retention preserve? retention
- 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
- JSON Schema Core 2020-12 - JSON Schema
- OCI Image Specification content descriptors - Open Container Initiative
- PROV-DM - World Wide Web Consortium
- Semantic Versioning - SemVer project
- npm package-lock.json - npm
- Go Modules Reference, Minimal Version Selection - Go project
- Vercy model agent protocol and owner kernel - Vercy
- Vercy native Dimension validator - Vercy
- ELMM profile at immutable source commit - Vercy
- 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