Context
Issue #25 will allow a local entity to use subtypeOf: scope.Entity for an imported entity. The initial implementation deliberately resolves only the imported entity identity. It does not traverse the imported hierarchy, detect cross-model subtype cycles, or treat imported invariants as satisfying the local subtype’s completeness obligations.
Open question
Should a future version propagate inherited invariants across that boundary? Doing so would make a local lint result depend on imported model semantics and would need clear rules for traversal, cycles, diagnostics, and ownership.
This is intentionally speculative. We do not yet know whether the added semantic coupling is desirable; no implementation is proposed by this issue.
Context
Issue #25 will allow a local entity to use
subtypeOf: scope.Entityfor an imported entity. The initial implementation deliberately resolves only the imported entity identity. It does not traverse the imported hierarchy, detect cross-model subtype cycles, or treat imported invariants as satisfying the local subtype’s completeness obligations.Open question
Should a future version propagate inherited invariants across that boundary? Doing so would make a local lint result depend on imported model semantics and would need clear rules for traversal, cycles, diagnostics, and ownership.
This is intentionally speculative. We do not yet know whether the added semantic coupling is desirable; no implementation is proposed by this issue.