@memoarchitect/tools 0.7.2 → 0.8.7

package/packages/tools/src/grammar/memo-sysml.langium

@@ -40,6 +40,7 @@ NamespaceMember:
     | AliasDeclaration
     | DefinitionMember
     | UseCaseDeclaration
+    | Dependency
     | DocComment;
 
 // ─── Package ─────────────────────────────────────────────────────────────────
@@ -72,11 +73,27 @@ PackageMember:
     | UseCaseDeclaration
     | FlowConnectionUsage
     | SuccessionUsage
+    | AbstractConnectionUsage
     | ConnectionUsage
-    | AllocateUsage
+    | SatisfyRequirementUsage
+    // Contributes AllocateUsage along with the thirteen other native
+    // mechanisms. MEMO declares its actors, stakeholders and concerns as
+    // PACKAGE members (`part usrClinician : User;`), so their native spellings
+    // have to be legal in the same place or the migration could not be a
+    // spelling change.
+    | ArcadiaMember
+    | Dependency
     | MetadataApplication
+    | BindingUsage
     | DocComment;
 
+// `bind a = b;` — the native spelling of port delegation, where an enclosing
+// port and a nested part's port are the same feature. MEMO wrote these as
+// flows, which SysIDE rejects: a flow's source must be an output, and a
+// delegation runs `in` to `in`.
+BindingUsage:
+    'bind' source=ReferenceName '=' target=ReferenceName ';';
+
 // Namespace indirection used by the canonical memo::* facade. Each source file
 // owns a unique package for reliable SysIDE indexing; aliases reconstruct the
 // user-facing hierarchy without reopening packages across documents.
@@ -110,6 +127,8 @@ DefinitionMember:
     | PortDefinition
     | InterfaceDefinition
     | ConnectionDefinition
+    | AllocationDefinition
+    | ConcernDefinition
     | AttributeDefinition
     | ConstraintDefinition
     | EnumDefinition
@@ -119,17 +138,49 @@ DefinitionMember:
 
 // SysML v2 semantic-metadata definition — the standard, portable mechanism for
 // extending the ontology with domain semantics. Applied to elements via `@Name`.
+// The optional `<shortName>` is SysML v2's Identification short name, and for a
+// SemanticMetadata it is the KEYWORD the metadata introduces — `<derive>` in the
+// OMG's own `metadata def <derive> DerivedRequirementMetadata :> SemanticMetadata`
+// (Domain Libraries/Requirement Derivation/RequirementDerivation.sysml). Without
+// it a metadata def cannot say which word it defines, which is most of the point.
+//
+// The short name is lexed as ONE token rather than as `'<' ID '>'`, because the
+// word it introduces is almost always already a keyword — `<allocate>` and
+// `<derive>` both fail an ID match. A keyword is exactly what a metadata def
+// exists to introduce, so the production must not be restricted to non-keywords.
 MetadataDefinition:
-    'metadata' 'def' name=ID specialization=Specialization?
+    'metadata' 'def' shortName=SHORT_NAME? name=ID specialization=Specialization?
     ('{' body+=DefinitionBodyMember* '}' | ';');
 
 // Metadata application: `@AnnotationType;` or `@AnnotationType { redefinitions }`
 // applies a metadata def to the enclosing element (standard SysML v2 `@` annotation).
 MetadataApplication:
-    '@' type=QualifiedName ('{' body+=UsageBodyMember* '}' | ';');
-
+    '@' type=QualifiedName ('{' body+=MetadataBodyMember* '}' | ';');
+
+// Inside a metadata body the `attribute` keyword is NOT accepted — SysIDE's
+// own expected-token list at that position offers `:>>` and `redefines` but
+// not `attribute`, because the members of a metadata usage are already
+// features of its definition. So the bare redefinition is the conforming
+// spelling here and `attribute :>> x = …` is the error, the reverse of every
+// other body in this grammar. Measured against `syside check`, which is the
+// compiler of record.
+MetadataBodyMember:
+    MetadataFeatureMember | UsageBodyMember;
+
+MetadataFeatureMember:
+    redefines?=('redefines' | ':>>') name=MemberName '=' value=AttributeValue ';';
+
+// `isVariation` is the second half of the normative `BasicDefinitionPrefix`
+// (`isAbstract ?= 'abstract' | isVariation ?= 'variation'`,
+// SysML-textual-bnf.kebnf:224). A variation definition is a CHOICE POINT: its
+// `variant` members are the alternatives, exactly one of which a configuration
+// picks. That is the construct ARCADIA configurations and situations need, and
+// the one AADL mode-conditioned configuration needs (plan §C4); MEMO could not
+// express either. It is declared on part / attribute / item, which is where a
+// choice point can occur in MEMO's content — not on every definition, because a
+// production nobody can reach is not coverage.
 PartDefinition:
-    isAbstract?='abstract'? 'part' 'def' name=ID specialization=Specialization? (',' additionalSpecializations+=QualifiedName)*
+    isAbstract?='abstract'? isVariation?='variation'? 'part' 'def' name=ID specialization=Specialization? (',' additionalSpecializations+=QualifiedName)*
     ('{' body+=DefinitionBodyMember* '}' | ';');
 
 RequirementDefinition:
@@ -153,7 +204,7 @@ ActionDefinition:
     ('{' body+=ActionDefBodyMember* '}' | ';');
 
 ItemDefinition:
-    isAbstract?='abstract'? 'item' 'def' name=ID specialization=Specialization? (',' additionalSpecializations+=QualifiedName)*
+    isAbstract?='abstract'? isVariation?='variation'? 'item' 'def' name=ID specialization=Specialization? (',' additionalSpecializations+=QualifiedName)*
     ('{' body+=DefinitionBodyMember* '}' | ';');
 
 PortDefinition:
@@ -170,17 +221,43 @@ ConnectionDefinition:
     isAbstract?='abstract'? 'connection' 'def' name=ID specialization=Specialization? (',' additionalSpecializations+=QualifiedName)*
     ('{' body+=ConnectionBodyMember* '}' | ';');
 
+// SysML v2 allocation definition (`AllocationDefinition = OccurrenceDefinitionPrefix
+// 'allocation' 'def' Definition`, SysML-textual-bnf.kebnf:792). An allocation IS a
+// connection — `Allocations::Allocation :> BinaryConnection` — so it takes the same
+// body as a connection def, and `allocation def X :> Allocations::Allocation` is
+// what lets MEMO's AllocatedTo / DeploysTo / BuildsInto root on the standard's
+// allocation base instead of standing beside it (plan B2).
+AllocationDefinition:
+    isAbstract?='abstract'? 'allocation' 'def' name=ID specialization=Specialization? (',' additionalSpecializations+=QualifiedName)*
+    ('{' body+=ConnectionBodyMember* '}' | ';');
+
+// SysML v2 concern definition (`ConcernDefinition = OccurrenceDefinitionPrefix
+// 'concern' 'def' DefinitionDeclaration RequirementBody`, :1493). ISO 42010's
+// concern, which MEMO spells `part def Concern`. Its body is a requirement body,
+// so it may carry `subject`, `stakeholder`, and `frame` members. Those reach it
+// through DefinitionBodyMember rather than through a concern-only body rule —
+// the same choice the grammar already makes for `verify`, and for the same
+// reason: SysIDE is the compiler of record for where a member is legal, and a
+// per-construct body rule here would only duplicate that judgement less well.
+ConcernDefinition:
+    isAbstract?='abstract'? 'concern' 'def' name=ID specialization=Specialization? (',' additionalSpecializations+=QualifiedName)*
+    ('{' body+=DefinitionBodyMember* '}' | ';');
+
 AttributeDefinition:
-    isAbstract?='abstract'? 'attribute' 'def' name=ID specialization=Specialization? (',' additionalSpecializations+=QualifiedName)*
+    isAbstract?='abstract'? isVariation?='variation'? 'attribute' 'def' name=ID specialization=Specialization? (',' additionalSpecializations+=QualifiedName)*
     ('{' body+=DefinitionBodyMember* '}' | ';');
 
 ConstraintDefinition:
     isAbstract?='abstract'? 'constraint' 'def' name=ID specialization=Specialization? (',' additionalSpecializations+=QualifiedName)*
     ('{' body+=DefinitionBodyMember* '}' | ';');
 
+// An enum body may carry doc comments between its literals. SysIDE accepts
+// them and MEMO did not, so a documented enumeration — which is the only place
+// the meaning of a literal can be written down — failed to parse. `literals`
+// keeps its name and its contents so every existing consumer is unaffected.
 EnumDefinition:
     'enum' 'def' name=ID '{'
-        literals+=EnumLiteral*
+        (literals+=EnumLiteral | docs+=DocComment)*
     '}';
 
 ViewpointDefinition:
@@ -194,10 +271,15 @@ ViewDefinition:
 // ─── Connection definition body ─────────────────────────────────────────────
 
 ConnectionBodyMember:
-    EndDeclaration | DefinitionBodyMember;
+    EndDeclaration | FlowConnectionUsage | DefinitionBodyMember;
 
+// An end may redefine the inherited end of its supertype — in MEMO every
+// relation binds its two ends to Connections::BinaryConnection::source and
+// ::target, so the ends of a MEMO relation are readable as ordinary SysML
+// connection ends by any conforming tool.
 EndDeclaration:
-    'end' name=FeatureName (':' isConjugated?='~'? type=QualifiedName)? multiplicity=Multiplicity? ';';
+    'end' name=FeatureName (':' isConjugated?='~'? type=QualifiedName)? multiplicity=Multiplicity?
+    (redefines?=(':>>' | 'redefines') redefinedEnd=QualifiedName)? ';';
 
 Multiplicity:
     '[' lower=INT '..' (upper=INT | unbounded?='*') ']'
@@ -214,12 +296,14 @@ EnumLiteralName returns string:
     | 'in' | 'out' | 'inout' | 'part' | 'requirement' | 'action' | 'item' | 'port'
     | 'interface' | 'connection' | 'attribute' | 'constraint' | 'enum' | 'view' | 'viewpoint'
     | 'ref' | 'import' | 'package' | 'flow' | 'first' | 'allocate' | 'library' | 'private' | 'public' | 'state' | 'verification'
+    | 'satisfy' | 'verify'
     | 'use' | 'fork' | 'join';
 
 // ─── Usages (instances) ─────────────────────────────────────────────────────
 
 UsageMember:
     PartUsage
+    | MessageUsage
     | RequirementUsage
     | VerificationUsage
     | StateUsage
@@ -229,7 +313,11 @@ UsageMember:
     | ViewUsage;
 
 PartUsage:
-    'part' name=ID (':' type=QualifiedName)?
+    isVariation?='variation'? 'part' name=ID (':' type=QualifiedName multiplicity=Multiplicity?)?
+    ('{' body+=UsageBodyMember* '}' | ';');
+
+MessageUsage:
+    'message' name=ID? 'of' itemType=QualifiedName 'from' source=FlowEnd 'to' target=FlowEnd
     ('{' body+=UsageBodyMember* '}' | ';');
 
 // SysML v2 `use case def` / `use case` share a single leading `use case` token
@@ -265,10 +353,14 @@ StateUsage:
     'state' name=ID ':' type=QualifiedName
     ('{' body+=UsageBodyMember* '}' | ';');
 
-// SysML v2 interface usage: `interface siData : Interface { … }`.
+// SysML v2 interface usage, including the normative typed-connect form:
+// `interface fuel : FuelInterface connect tank.port to engine.port { … }`.
 InterfaceUsage:
-    'interface' name=ID ':' type=QualifiedName
-    ('{' body+=UsageBodyMember* '}' | ';');
+    'interface' name=ID (':' type=QualifiedName)?
+    (   'connect' source=ReferenceName 'to' target=ReferenceName
+        ('{' body+=UsageBodyMember* '}' | ';')
+      | ('{' body+=UsageBodyMember* '}' | ';')
+    );
 
 // ActionUsage supports both typed (action name : Type;) and composite
 // (action name { nested-actions, flows, successions }) forms.
@@ -336,6 +428,17 @@ ConnectionUsage:
 ConnectionEnd:
     endName=FeatureName '::>' ref=ReferenceName;
 
+// The BASE FEATURE of a connection definition — `abstract connection derivations
+// : Derivation[*];` in the OMG's DerivationConnections. It is not a link; it is
+// the feature every usage of that definition subsets, and it is what a
+// SemanticMetadata's `baseType` has to point at. Without one, `baseType` has
+// nothing to name.
+//
+// The leading `abstract` is what keeps this out of ConnectionUsage's way: that
+// rule always continues to `connect` or `{`, this one always ends at `;`.
+AbstractConnectionUsage:
+    isAbstract?='abstract' 'connection' name=ID ':' type=QualifiedName multiplicity=Multiplicity? ';';
+
 // ─── Behavior: Action definition body ───────────────────────────────────────
 // Action defs can have in/out/inout parameters plus regular body members
 
@@ -369,8 +472,37 @@ ControlNodeUsage:
 // ─── Behavior: Flow connection usage ────────────────────────────────────────
 // Syntax: flow of ItemType from source.port to target.port ;
 
+// A flow usage may carry a NAME and a BODY, both of which this production used
+// to drop. The normative grammar is
+// `FlowUsage = OccurrenceUsagePrefix 'flow' FlowDeclaration DefinitionBody`
+// with `FlowDeclaration : UsageDeclaration ValuePart? ('of' …)`
+// (SysML-textual-bnf.kebnf:829, :837) — so a conforming flow takes a name from
+// its UsageDeclaration and owns attributes in its body like any other usage.
+//
+// Dropping them was a MEMO divergence, not a language limit, and it was
+// load-bearing: an anonymous, attribute-less flow can carry no `id`, hold no
+// latency budget, and be referred to by nothing, which is irreconcilable with
+// the identification core every MEMO element rests on. That is the whole reason
+// FunctionalExchange and ComponentExchange exist as part defs beside the flows
+// they stand in for.
+// `of <itemType>` is OPTIONAL, because it is optional in SysML v2. The pinned
+// corpus writes untyped flows throughout — `flow from focus.image to
+// shoot.image;` — and `syside check`, the compiler of record, accepts them
+// (measured 2026-08-12). Requiring the item type here did not reject such a
+// model: it failed to match the production, so the flow parsed to nothing and
+// was dropped without a diagnostic. A relationship that silently does not
+// exist is worse than one that fails loudly.
+// The two-end shorthand — `flow supplierPort.fuelSupply to
+// consumerPort.fuelSupply;` — drops `from` as well. The corpus uses it for
+// port-to-port wiring, where naming the ends twice adds nothing. It takes no
+// name and no item type: those forms all spell `from`, which is what keeps the
+// two branches distinguishable.
 FlowConnectionUsage:
-    'flow' 'of' itemType=QualifiedName 'from' source=FlowEnd 'to' target=FlowEnd ';';
+    'flow' (
+        name=ID? ('of' itemType=QualifiedName)? 'from' source=FlowEnd
+        | source=FlowEnd
+    ) 'to' target=FlowEnd
+    ('{' body+=UsageBodyMember* '}' | ';');
 
 FlowEnd:
     ref=DottedName;
@@ -396,9 +528,206 @@ SuccessionRef returns string:
 
 // ─── Behavior: Allocate usage ───────────────────────────────────────────────
 // Syntax: allocate actionUsage to partUsage ;
-
+//
+// The `allocation` prefix is the TYPED form — `AllocationUsage = 'allocation'
+// UsageDeclaration UsageBody` (SysML-textual-bnf.kebnf:794), written in the
+// corpus as
+//
+//   allocation torqueGenAlloc : LogicalToPhysical allocate torqueGenerator to powerTrain;
+//
+// It is the same statement as bare `allocate` plus a name and an `allocation
+// def` to type it, which is what carries MEMO's per-allocation distinctions
+// (function allocation vs. deployment vs. build) without a private connection
+// def per case. Folded into this rule rather than added as a sibling, because
+// both forms end in the same `allocate … to …` and splitting them would make
+// the alternatives ambiguous.
 AllocateUsage:
-    'allocate' source=ReferenceName 'to' target=ReferenceName ';';
+    ('allocation' name=ID? (':' type=QualifiedName)?)?
+    'allocate' source=ReferenceName 'to' target=ReferenceName
+    ('{' body+=UsageBodyMember* '}' | ';');
+
+// ─── Requirements: native satisfaction and verification ─────────────────────
+//
+// The two relations SysML v2 already provides for requirement traceability.
+// MEMO spells them today as the `SatisfiedBy` / `VerifiedBy` connection defs;
+// the language spells them as usages, and every conforming tool reads the
+// language spelling. Both parse, and the model builder projects both onto the
+// same trace edge, so a model may use either while the migration runs.
+//
+// `SatisfyRequirementUsage` (SysML-textual-bnf.kebnf:1470) declares the
+// assertion prefix as `'assert' ('not')?`. The normative training files write
+// the bare form — `satisfy vehicleSpecification by vehicle_design;`
+// ("32. Requirements/Requirement Satisfaction.sysml") — so the prefix is
+// optional here and `isNegated` records a negative satisfaction claim, which
+// is the property a `connection def` cannot express at all.
+//
+// The `by` part is optional in the normative grammar: inside a requirement
+// body the satisfying subject is inherited rather than restated.
+SatisfyRequirementUsage:
+    (isAsserted?='assert' isNegated?='not'?)? 'satisfy' requirement=ReferenceName
+    ('by' satisfyingFeature=ReferenceName)?
+    ('{' body+=UsageBodyMember* '}' | ';');
+
+// `RequirementVerificationMember` (SysML-textual-bnf.kebnf:1551) is a member of
+// a requirement body — in practice the `objective` of a verification case:
+//
+//   verification def VehicleMassTest {
+//       objective { verify vehicleMassRequirement; }
+//   }
+//
+// The verifying case is the enclosing element, not a written end, so the
+// builder takes it from the containment.
+RequirementVerificationMember:
+    'verify' requirement=ReferenceName
+    ('{' body+=UsageBodyMember* '}' | ';');
+
+// ─── ARCADIA mechanisms the language already spells ─────────────────────────
+//
+// Fourteen keywords MEMO had no production for, each one a mechanism MEMO
+// spells privately as a `connection def` or a `part def` (plan §4). Every form
+// below is taken from the normative BNF and checked against the training files
+// that use it; none is a MEMO extension. Each has a builder path projecting the
+// native usage onto the SAME trace edge MEMO's connection produces, so both
+// spellings mean one thing while the migration runs.
+
+// `PerformActionUsage = OccurrenceUsagePrefix 'perform' PerformActionUsageDeclaration
+// ActionBody` (:948). One end is written, the other is the owner — the same
+// shape as `verify`, with the ends swapped: `verify` names its source and owns
+// its target, `perform` owns its source (the performer) and names its target.
+//
+//   part actorPrescriber { perform oaPrescribe; }
+//   part camera { perform action takePhoto references takePicture; }
+PerformActionUsage:
+    'perform' (isAction?='action' name=ID (':' type=QualifiedName)? ('references' performed=ReferenceName)?
+              | performed=ReferenceName)
+    ('{' body+=UsageBodyMember* '}' | ';');
+
+// `IncludeUseCaseUsage = OccurrenceUsagePrefix 'include' …` (:1572). A use case
+// includes a sub-case; MEMO spells it `IncludesStep` / `Includes`.
+IncludeUseCaseUsage:
+    'include' (isUseCase?='use' 'case' name=ID (':' type=QualifiedName)?
+              | included=ReferenceName)
+    ('{' body+=UsageBodyMember* '}' | ';');
+
+// `ExhibitStateUsage = OccurrenceUsagePrefix 'exhibit' …` (:1272). A component
+// exhibits a state or mode; MEMO spells it `ExhibitsMode`.
+ExhibitStateUsage:
+    'exhibit' (isState?='state' name=ID (':' type=QualifiedName)?
+              | exhibited=ReferenceName)
+    ('{' body+=UsageBodyMember* '}' | ';');
+
+// `SubjectUsage : ReferenceUsage = 'subject' UsageExtensionKeyword* Usage`
+// (:1423) and `ObjectiveMember … 'objective' ObjectiveRequirementUsage` (:1523).
+//
+// The pair is what the standard uses instead of a verification link to a
+// non-requirement: the verified thing becomes the case's SUBJECT and the
+// requirement its OBJECTIVE, as in "34. Verification":
+//
+//   verification def VehicleMassTest {
+//       subject testVehicle : Vehicle;
+//       objective { verify vehicleMassRequirement; }
+//   }
+//
+// That is what memo-native-requirement-relations decision 1 remodels 61 of 99
+// VerifiedBy links onto, and it is also what makes that training file parse.
+SubjectMember:
+    'subject' name=MemberName (':' type=QualifiedName multiplicity=Multiplicity?)?
+    (bindingOp=('=' | ':>' | ':>>')
+        ('(' boundRefs+=ReferenceName (',' boundRefs+=ReferenceName)* ')'
+        | boundRefs+=ReferenceName))?
+    ('{' body+=UsageBodyMember* '}' | ';');
+
+ObjectiveMember:
+    'objective' name=ID? (':' type=QualifiedName)?
+    ('{' body+=UsageBodyMember* '}' | ';');
+
+// `ActorUsage : PartUsage = 'actor' UsageExtensionKeyword* Usage` (:1454) and
+// `StakeholderUsage : PartUsage = 'stakeholder' …` (:1460). ARCADIA operational
+// analysis and ISO 42010; MEMO spells them `part def User` / `Actor` and
+// `part def Stakeholder`.
+ActorMember:
+    'actor' name=MemberName (':' type=QualifiedName multiplicity=Multiplicity?)?
+    (bindingOp=('=' | ':>' | ':>>') boundRef=ReferenceName)?
+    ('{' body+=UsageBodyMember* '}' | ';');
+
+StakeholderMember:
+    'stakeholder' name=MemberName (':' type=QualifiedName multiplicity=Multiplicity?)?
+    (bindingOp=('=' | ':>' | ':>>') boundRef=ReferenceName)?
+    ('{' body+=UsageBodyMember* '}' | ';');
+
+// `ConcernUsage = OccurrenceUsagePrefix 'concern' ConstraintUsageDeclaration
+// RequirementBody` (:1497) and `FramedConcernMember … 'frame' FramedConcernUsage`
+// (:1441). A viewpoint FRAMES a concern; MEMO spells that `FramesConcern` and
+// `HasConcern`.
+ConcernUsage:
+    'concern' name=ID (':' type=QualifiedName)?
+    ('{' body+=UsageBodyMember* '}' | ';');
+
+FramedConcernMember:
+    'frame' (isConcern?='concern' name=ID (':' type=QualifiedName)?
+            | framed=ReferenceName)
+    ('{' body+=UsageBodyMember* '}' | ';');
+
+// `Dependency = ( PrefixMetadataAnnotation )* 'dependency' DependencyDeclaration
+// RelationshipBody` (:51), with `DependencyDeclaration = ( Identification 'from' )?
+// client ( ',' client )* 'to' supplier ( ',' supplier )*` (:56).
+//
+// THIS ONE CHANGES METACLASS. A dependency is a Relationship, not a Connection:
+// it has no ends to redefine, it takes n clients and n suppliers rather than a
+// source and a target, and it is annotated by a PREFIX metadata (`#refinement`)
+// rather than by a connection def's `metadata def`. So `Realizes` does not
+// become an allocation-shaped row — it becomes `#refinement dependency a to b;`,
+// and the registry and serializer both have to treat it differently.
+//
+// `Identification` may be empty, which is why `dependency from a to b;` and
+// `dependency Named from a to b;` are both the same alternative, and
+// `dependency a to b;` is the one without it.
+Dependency:
+    (prefixMetadata+=PrefixMetadataAnnotation)*
+    'dependency' (name=ID? 'from')?
+    clients+=ReferenceName (',' clients+=ReferenceName)*
+    'to' suppliers+=ReferenceName (',' suppliers+=ReferenceName)*
+    ('{' body+=DocComment* '}' | ';');
+
+// `#Name` — the standard's prefix form of a metadata application, distinct from
+// the `@Name` postfix form MetadataApplication already covers. A dependency can
+// only be annotated this way, and `#refinement` (ModelingMetadata.sysml:132) is
+// the annotation that makes a dependency a refinement.
+PrefixMetadataAnnotation:
+    '#' type=QualifiedName;
+
+// `TransitionUsage = 'transition' ( UsageDeclaration 'first' )? FeatureChainMember
+// … 'then' TransitionSuccessionMember ActionBody` (:1281). MEMO models this as
+// `part def Transition` with String pseudo-references; the language puts it
+// inside a `state def`, where source and target really are the states.
+//
+// The name is only writable with `first`, which is what disambiguates
+// `transition initial then off;` (no name, `initial` is the source) from
+// `transition off_to_starting first off … then starting;`.
+// The optional type comes from `UsageDeclaration = Identification
+// FeatureSpecializationPart?`, so `transition tStart : Transition first …` is
+// the normative spelling of a transition classified by a definition. MEMO needs
+// it: the builder resolves an element's kind from its written type and from
+// nothing else, so an untyped transition would have to be given the kind
+// `Transition` by a hardcoded name in TypeScript — which is the thing
+// [memo-tools-interprets-ontology-drives] forbids.
+TransitionUsage:
+    'transition' (name=ID (':' type=QualifiedName)? 'first')? source=ReferenceName
+    ('accept' trigger=ReferenceName)?
+    ('if' guard=OrExpr)?
+    ('do' effect=ReferenceName)?
+    'then' target=ReferenceName
+    ('{' body+=UsageBodyMember* '}' | ';');
+
+// `VariantUsageMember : VariantMembership = MemberPrefix 'variant'
+// VariantUsageElement` (:254). One alternative of a `variation` choice point —
+// either a nested usage (`variant part transmissionManual : TransmissionManual;`)
+// or a reference to an existing one (`variant manualTransmission;`).
+VariantMember:
+    'variant' (usageKind=('part' | 'attribute' | 'item' | 'action' | 'port' | 'ref'))? name=MemberName
+    (':' type=QualifiedName multiplicity=Multiplicity?)?
+    ('=' value=AttributeValue)?
+    ('{' body+=UsageBodyMember* '}' | ';');
 
 // Element references may be package-qualified (`a::b`) or feature-qualified
 // (`action.step`). Both forms occur in standard SysML relationship ends.
@@ -408,7 +737,23 @@ ReferenceName returns string:
 // ─── Body members ────────────────────────────────────────────────────────────
 
 DefinitionBodyMember:
-    AttributeMember | PartMember | PortUsage | ItemUsage | ViewUsage | RefMember | RequireConstraintMember | MetadataApplication | DocComment;
+    AttributeMember | PartMember | PortUsage | ItemUsage | ViewUsage | RefMember | FeatureMembershipMember | RequireConstraintMember | RequirementVerificationMember | ArcadiaMember | MetadataApplication | DocComment;
+
+// The fourteen native mechanisms, gathered once so both body rules stay
+// readable and neither can drift out of step with the other.
+ArcadiaMember:
+    PerformActionUsage
+    | IncludeUseCaseUsage
+    | ExhibitStateUsage
+    | SubjectMember
+    | ObjectiveMember
+    | ActorMember
+    | StakeholderMember
+    | ConcernUsage
+    | FramedConcernMember
+    | TransitionUsage
+    | VariantMember
+    | AllocateUsage;
 
 // ─── Constraint expression (KerML boolean subset — ADR-1-18) ─────────────────
 // Authored inside constraint def / requirement def bodies as:
@@ -451,8 +796,14 @@ PrimaryExpr infers ConstraintExpr:
 // Standard SysML v2 requires a redefinition operator (`redefines` / `:>>`) to bind a
 // value — the bare `name = value;` shorthand is non-standard and is not accepted.
 // Use `attribute redefines name = value;` (the form the serializer emits).
+// StateUsage is a body member because a SysML v2 state machine OWNS its
+// substates — nesting is the containment. MEMO could not parse a nested state
+// while transitions were a part def wired to flat states by Composes edges;
+// it landed when that reinvention was retired. TransitionUsage is NOT listed
+// here: it already arrives through ArcadiaMember, and naming it twice makes
+// the alternation ambiguous.
 UsageBodyMember:
-    AttributeMember | PartMember | PortUsage | ItemUsage | RefMember | ViewUsage | FlowConnectionUsage | SuccessionUsage | ConnectionUsage | MetadataApplication | DocComment;
+    AttributeMember | PartMember | PortUsage | ItemUsage | RefMember | ViewUsage | FlowConnectionUsage | MessageUsage | SuccessionUsage | ConnectionUsage | SatisfyRequirementUsage | RequirementVerificationMember | ArcadiaMember | Dependency | MetadataApplication | StateUsage | DocComment;
 
 // ─── Attribute member ────────────────────────────────────────────────────────
 // Three forms:
@@ -475,11 +826,17 @@ UsageBodyMember:
 // theoretical once rules and policies started declaring typed attributes with
 // defaults. SysIDE is the compiler of record, so the grammar follows it.
 
+// A fifth form is `default`, which supplies an overridable initial value where
+// a bare `=` BINDS one. The difference is not cosmetic: a bound value cannot be
+// redefined by a usage, so `= x` in a definition forbids every specialization
+// from disagreeing. Any attribute a subtype may legitimately override has to be
+// spelled `default`.
 AttributeMember:
-    'attribute' redefines?=('redefines' | ':>>')? name=MemberName
+    isVariation?='variation'? 'attribute' redefines?=('redefines' | ':>>')? name=MemberName
     (':' type=QualifiedName multiplicity=Multiplicity?
-        ('=' value=AttributeValue ';' | '{' body+=UsageBodyMember* '}' | ';')
-    | '=' value=AttributeValue ';'
+        (isDefault?='default'? '=' value=AttributeValue ';' | isDefault?='default' value=AttributeValue ';' | '{' body+=UsageBodyMember* '}' | ';')
+    | isDefault?='default'? '=' value=AttributeValue ';'
+    | isDefault?='default' value=AttributeValue ';'
     | '{' body+=UsageBodyMember* '}');
 
 AttributeValue:
@@ -506,9 +863,19 @@ SetLiteral:
 SetElement:
     value=QualifiedName | stringValue=STRING;
 
-// Enum literal reference: e.g. SeverityLevel::Catastrophic
+// Enum literal reference (e.g. SeverityLevel::Catastrophic), or a metaclass
+// cast. `x meta SysML::Usage` is the standard's MetadataAccessExpression: it
+// yields the metaobject of `x` as an instance of the named metaclass, and it is
+// how a SemanticMetadata binds its required `baseType`
+// (`:>> baseType = derivations meta SysML::Usage`). Folded into this rule
+// rather than added as a sibling alternative, because both start with a
+// QualifiedName and only the trailing `meta` tells them apart.
+// Also the bare feature-reference value (`ref :>> activeMode = a.b.c;`). A
+// nested state is reached by a dotted path, so a value that names one needs
+// the `.` tail; `::` alone only reaches package members, which is all MEMO
+// needed while every state sat flat in a package.
 EnumValue:
-    enumRef=QualifiedName;
+    enumRef=QualifiedName ('.' tail+=ID)* ('meta' metaclass=QualifiedName)?;
 
 // ─── Nested part member ──────────────────────────────────────────────────────
 // Four forms:
@@ -532,7 +899,7 @@ EnumValue:
 // feature, so every existing `:>` consumer is unaffected.
 
 PartMember:
-    'part'
+    isVariation?='variation'? 'part'
     (bindingOp=':>>' name=MemberName ('=' boundRef=QualifiedName)?
     | name=MemberName
       (':' type=QualifiedName multiplicity=Multiplicity?)?
@@ -552,6 +919,25 @@ RefMember:
     ('=' value=AttributeValue)?
     ';';
 
+// ─── Bare feature-membership member ──────────────────────────────────────────
+// SysML v2 lets a definition body subset or redefine an inherited feature
+// without restating its metaclass keyword. The standard library's own metadata
+// defs are written that way and cannot be written any other way:
+//
+//   :> annotatedElement : SysML::ConnectionDefinition;
+//   :>> baseType = derivations meta SysML::Usage;
+//
+// MEMO accepted only `attribute :>> name = value`, which covers redefinition of
+// an attribute and nothing else — not subsetting, and not a non-attribute
+// feature. `:>` is the form that matters here: `annotatedElement` is declared
+// once per accepted metaclass, so it must SUBSET rather than redefine, or the
+// second declaration would shadow the first.
+
+FeatureMembershipMember:
+    (isRedefinition?=':>>' | ':>') feature=QualifiedName
+    (':' type=QualifiedName)? multiplicity=Multiplicity?
+    ('=' value=AttributeValue)? ';';
+
 // ─── Doc comment ─────────────────────────────────────────────────────────────
 // Captured as a single terminal to prevent hidden ML_COMMENT from consuming it
 
@@ -611,6 +997,10 @@ hidden terminal ML_COMMENT: /\/\*[\s\S]*?\*\//;
 // preventing conflict with ML_COMMENT for standalone /* ... */ comments.
 terminal DOC_COMMENT: /doc\s+\/\*[\s\S]*?\*\//;
 
+// A bracketed short name, e.g. `<derive>`. Whole-token so the inner word may be
+// a keyword. Cannot collide with the comparison operators: `<=` does not match
+// (a letter must follow `<`), and `a<b>c` is not valid MEMO in any position.
+terminal SHORT_NAME: /<[a-zA-Z_][a-zA-Z0-9_]*>/;
 terminal ID: /[a-zA-Z_][a-zA-Z0-9_]*/;
 // SysML v2 unrestricted name: any text in single quotes, used when a name would
 // otherwise collide with a reserved word (e.g. enum 'verification';).