Vocabulary and synthetic labels¶
The reference profile uses neutral names for explicit roles, values and procedures. Start with Meet the reference profile for the two-seat context. A label selects the equations and structured data in this release; it does not supply an unstated rule.
Core terms¶
Term |
Meaning in this profile |
|---|---|
|
a separate explicit absent-reference/control tag; it stays distinct from NoValue |
|
a finite turn resource consumed only by the relevant admitted operation |
|
an object protecting a target site and exposing ordered barrier instructions |
|
an ordered instruction on a barrier; execution and suppression are separate guarded procedures |
|
a distinct admitted input tag normalized by the harm contracts; it is not the persistent-loss counter |
|
the distinct SideB objective-claim operation |
|
an inner implementation helper when used as a suffix; harm-class and capacity-loss names are explicit |
|
place an eligible item into the profile-defined active location under the operation guards |
|
a synthetic metadata-only item-name example; its declaration is explicit in TypeContracts |
|
a distinct synthetic metadata-only item-name example |
|
the first nonpersistent hand-loss harm class in this profile |
|
the second distinct nonpersistent hand-loss harm class |
|
an explicit finite absent-value tag where selected by a contract; it is not the empty string |
|
the SideA objective-completion operation, with its own admission, payment and completion boundary |
|
a harm class that also affects persistent hand capacity |
|
the accumulated persistent capacity-loss counter |
|
a quantity used by objective-progress and threshold contracts |
|
a fungible balance unit used by explicit cost/payment contracts |
|
the first seat of this asymmetric two-seat reference profile |
|
the SideA objective-holding zone label; membership is separate from the completion transition |
|
the second seat of this asymmetric two-seat reference profile |
|
the SideB objective-holding zone label; membership is separate from the claim transition |
|
synchronization of activity/window state where retained |
|
a location selected by a traversal or inspection procedure |
|
an explicitly staged interaction with a target site, with position, timing and termination state |
|
a shared resource reservoir with explicit accounting |
|
the ordinary TLA+ empty string is preserved unchanged; it retains its standard empty value semantics |
|
a charge-counter kind, distinct from the fungible payment balance |
|
a generic local numeric/auxiliary binding where retained; objective operations and locations have explicit names |
|
the finite sample space of an explicitly uniform sampler |
|
a sequence of caller/window frames with last-in-first-out use; private draw piles have a distinct name |
|
a generic discriminated-record field; exposure markers have a distinct name |
|
a generic execution history or auxiliary observation witness; the resource contest has its own descriptive name |
Label namespaces¶
Prefix |
Role |
|---|---|
|
a synthetic example namespace joining related definitions and checks; it does not add an implicit rule |
|
a synthetic value used by a bounded example or metadata adapter |
|
a synthetic physical-copy identifier, separate from current object identifiers and definition keys |
|
an atomic control/instruction label in the selected procedure profile |
|
a finite metadata, layout or control label; the linked equations define its use and comparisons |
|
a finite symbolic identifier in a schema/example namespace |
|
a synthetic item-definition key; it selects the explicit structured properties in the reference source |
|
a synthetic subtype identifier; effective membership is determined by the subtype-count contracts |
|
an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling |
Source and interpretation boundaries¶
The structured item facts are a finite reference-profile input adapter. A sourceSHA field is an opaque equality/provenance token inherited with those inputs; it does not certify a new item catalogue, expose a source document, or supply executable instructions.
Item names, physical-copy identifiers, current object identities, counters and source-reference tags are separate carriers even when their labels are strings.
String atoms are relabelled as whole labels. Arbitrary character-level Len/SubSeq, unchecked computed labels and arbitrary renderer reflection are outside the correspondence claim.
Numeric values, Boolean values, empty strings and the registered punctuation/decimal glyph primitives retain their ordinary TLA+ meaning.
A synthetic family label groups explicit examples. Readers must use the defining predicates and supplied structured data rather than infer a rule from the family number.
A synthetic item-definition key, physical-copy identifier and live object identifier are separate carriers. These labels do not describe a new authored item catalogue. Executable behavior comes from the explicit definitions and supplied structured fixtures.
Download the complete neutral codebook, including every recorded source location. The compact table below links representative defining contexts. Exact source files are available from their module pages.
Synthetic labels¶
| Label | Semantic role | Source contexts |
| — | — |
| ExampleFamily001 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ConditionalOptionalUseChecks96; AbilityChecksMC · ConditionalExampleFamily001ExampleFamily012Scenario96; AbilityChecksMC · ConditionalExampleFamily001ExampleFamily012Checks96 |
| ExampleFamily002 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · PersistentExampleFamily002DefinitionFixture912; AbilityChecksMC · PersistentBirthFixture912; PersistentChecksMC · PersistentExampleFamily002DefinitionFixture912 |
| ExampleFamily003 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · Specimen0015DeployFixture911 |
| ExampleFamily004 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AdditionalChecksMC · DamagePacketChecks104 |
| ExampleFamily005 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · GeneralAbilityChecks9 |
| ExampleFamily006 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ExampleFamily006ReplacementFixture98; AbilityChecksMC · ExampleFamily006ReplacedFixture98; AbilityChecksMC · BarrierInstructionExampleFamily006Checks98 |
| ExampleFamily007 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · GeneralAbilityChecks9; AbilityChecksMC · ObservationItemInspectionStipulationChecks96 |
| ExampleFamily008 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ValueWholePreventionChecks99 |
| ExampleFamily009 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · SimultaneousChoiceRowsFixture912; AbilityChecksMC · SimultaneousChoiceFixture912; AbilityChecksMC · SimultaneousExampleFamily009ExampleFamily067Checks912 |
| ExampleFamily010 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ValueSpecificationChecks94; AbilityChecksMC · ValueSpecimen0147Checks99 |
| ExampleFamily011 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AdditionalChecksMC · ExampleFamily011PermissionFixture105; AdditionalChecksMC · ExposureMarkerModifierAndSourceChecks105; AdditionalContracts · ExampleFamily011ExposureMarkerPermission105 |
| ExampleFamily012 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ConditionalOptionalUseChecks96; AbilityChecksMC · ConditionalExampleFamily001ExampleFamily012Scenario96; AbilityChecksMC · ConditionalExampleFamily001ExampleFamily012Checks96 |
| ExampleFamily013 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · SearchSpecimen0075Fixture911; AbilityChecksMC · SearchSpecimen0075ProtocolValid911; AbilityChecksMC · SearchExampleFamily041Fixture911 |
| ExampleFamily014 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ValueSpecimen0039AndSpecimen0091Checks99 |
| ExampleFamily015 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ValueWholePreventionChecks99 |
| ExampleFamily016 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · MustExampleFamily016Fixture912; AbilityChecksMC · MustExampleFamily016SuccessiveChecks912; AbilityChecksMC · MustExampleFamily016MatrixChecks912 |
| ExampleFamily017 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · WouldExampleFamily068HistoryChecks99 |
| ExampleFamily018 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · CancellationPriorityChecks92; AbilityChecksMC · FlagChecks93; AbilityChecksMC · ExampleFamily018ChoicesChecks910 |
| ExampleFamily019 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AdditionalChecksMC · BidPlainWorld1014; AdditionalChecksMC · BidGrant1014; AdditionalContracts · BidWalletFresh1014 |
| ExampleFamily020 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ValueSpecimen0039AndSpecimen0091Checks99 |
| ExampleFamily021 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ExampleFamily021ExposureMarkerDefinition99; AbilityChecksMC · ExampleFamily021NoExampleFamily026Definition99; AbilityChecksMC · ExampleFamily021Specimen0070Definition99 |
| ExampleFamily022 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AdditionalChecksMC · BidExampleFamily022Checks1014; AdditionalChecksMC · Block10Assertions; AdditionalContracts · BidExampleFamily022Ids1014 |
| ExampleFamily023 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AdditionalChecksMC · DividendWorld1013; AdditionalChecksMC · DividendCaptureChecks1013; AdditionalChecksMC · DividendBodyChecks1013 |
| ExampleFamily025 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ValueExampleFamily025AndPositiveObservationChecks99; AbilityChecksMC · LexicalExampleFamily025ObserverFixture99; AbilityChecksMC · LexicalNamedClassChecks99 |
| ExampleFamily026 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ExampleFamily021NoExampleFamily026Definition99; AbilityChecksMC · ExampleFamily021Definitions99; AbilityChecksMC · ExampleFamily021FreshNoExampleFamily026Checks99 |
| ExampleFamily027 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · QuantityXFixture912; AbilityChecksMC · QuantitySpecimen0232LostAndUnavailableChecks912 |
| ExampleFamily028 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AdditionalChecksMC · ExtraWorldFixture105 |
| ExampleFamily029 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ExampleFamily092SelectedChecks96 |
| ExampleFamily030 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · SimultaneousNamedFixture912; AbilityChecksMC · SimultaneousExampleFamily030DependenciesChecks912; AbilityChecksMC · SimultaneousExampleFamily030Specimen0112Checks912 |
| ExampleFamily031 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · MustExampleFamily031MethodsChecks912; AbilityChecksMC · MustExampleFamily031LegalityMatrixChecks912; AbilityChecksMC · OtherRulesChecks912 |
| ExampleFamily032 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · GeneralAbilityChecks9 |
| ExampleFamily033 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · QuantityExampleFamily033Fixture912; AbilityChecksMC · QuantityExampleFamily033TwoGainsChecks912; AbilityChecksMC · QuantityForcedAllPointAndRuleGainChecks912 |
| ExampleFamily034 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · MustItemInspectionFixture912; AbilityChecksMC · MustExampleFamily034MeansChecks912; AbilityChecksMC · OtherRulesChecks912 |
| ExampleFamily035 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ObservationLateExampleFamily035Checks96; AbilityChecksMC · ConditionalAbilityChecks9 |
| ExampleFamily036 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AdditionalChecksMC · DamageSequentialChecks104 |
| ExampleFamily037 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ExampleFamily037CardFixture97; AbilityChecksMC · ExampleFamily037SourceTextFixture97; AbilityChecksMC · ExampleFamily037StartFixture97 |
| ExampleFamily039 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ExampleFamily039CardFixture97; AbilityChecksMC · ExampleFamily039SourceTextFixture97; AbilityChecksMC · ExampleFamily039StartFixture97 |
| ExampleFamily040 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · PaidExampleFamily040Checks95; AbilityChecksMC · PaidAbilityChecks9; AbilityContracts · ExampleFamily040Deploy95 |
| ExampleFamily041 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · SearchExampleFamily041Fixture911; AbilityChecksMC · SearchExampleFamily041SelectionValid911; AbilityChecksMC · SearchRecognitionChecks911 |
| ExampleFamily042 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ValueExampleFamily025AndPositiveObservationChecks99 |
| ExampleFamily043 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · QuantityExampleFamily043OneDamageChecks912; AbilityChecksMC · OtherRulesChecks912 |
| ExampleFamily044 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AdditionalChecksMC · DamagePacketChecks104 |
| ExampleFamily045 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AdditionalChecksMC · EscalatingResourceContestWorld108; AdditionalChecksMC · EscalatingResourceContestScenario108 |
| ExampleFamily046 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · NormalizationRemainingNamedChecks911; AbilityChecksMC · NormalizationExampleFamily046ChoiceFixture911; AbilityChecksMC · NormalizationSpecimen0068ChooserChecks911 |
| ExampleFamily047 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ExampleFamily047DefinitionFixture97; AbilityChecksMC · ExampleFamily047SnapshotFixture97; AbilityChecksMC · ExampleFamily047EmptyCheckpointFixture97 |
| ExampleFamily048 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · PaidExampleFamily048Checks95; AbilityChecksMC · PaidAbilityChecks9; AbilityContracts · ExampleFamily048Move95 |
| ExampleFamily049 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AdditionalChecksMC · ExampleFamily049ChargeFixture1010; AdditionalChecksMC · ChargeExampleFamily049Checks1010; AdditionalChecksMC · Block10Assertions |
| ExampleFamily050 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AdditionalChecksMC · BidGrant1014; AdditionalContracts · BidExampleFamily050Lock1014; AdditionalContracts · BidPaymentPlans1014 |
| ExampleFamily051 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AdditionalChecksMC · MarkSuccessDefinitions1011 |
| ExampleFamily052 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AdditionalChecksMC · DividendWorld1013; AdditionalChecksMC · DividendBoundaryChecks1013; AdditionalContracts · ReadDividendExampleFamily052Requirement1013 |
| ExampleFamily053 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AdditionalChecksMC · LiabilityMarkerObjects106; AdditionalChecksMC · LiabilityMarkerWorld106; AdditionalChecksMC · LiabilityMarkerPaymentChecks106 |
| ExampleFamily054 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · MustItemInspectionFixture912 |
| ExampleFamily055 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ReplacementInspectionFixture99; AbilityChecksMC · ReplacementInspectionChecks99; AbilityChecksMC · LexicalExampleFamily055Fixture99 |
| ExampleFamily056 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · MustABRFixture912 |
| ExampleFamily057 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · NormalizationExampleFamily057Fixture911; AbilityChecksMC · NormalizationNamedBaseChecks911; AbilityChecksMC · NormalizationExampleFamily057EarlyEndProbe911 |
| ExampleFamily058 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ReplacementInspectionFixture99; AbilityChecksMC · ReplacementInspectionChecks99; InspectionContracts · DeckCandidate7 |
| ExampleFamily059 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ReplacementInspectionFixture99; AbilityChecksMC · ReplacementInspectionChecks99 |
| ExampleFamily061 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · OrderSpecimen0134Checks98 |
| ExampleFamily062 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · SubDeclarationFixture98; AbilityChecksMC · SubCurrentOrderFixture98; AbilityChecksMC · SubStartFixture98 |
| ExampleFamily063 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ObservationInstructionConditionChecks96 |
| ExampleFamily064 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | InspectionChecksMC · ItemInspectionConceptChecks7; InspectionChecksMC · InspectionConceptChecks7; InspectionChecksMC · CandidateChecks7 |
| ExampleFamily065 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AdditionalChecksMC · EscalatingResourceContestWorld108; AdditionalChecksMC · EscalatingResourceContestScenario108; AdditionalChecksMC · EscalatingResourceContestPhaseChecks108 |
| ExampleFamily066 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ExtensionOtherSourceDurationChecks910 |
| ExampleFamily067 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · SimultaneousExampleFamily009ExampleFamily067Checks912; AbilityChecksMC · OtherRulesChecks912 |
| ExampleFamily068 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ReplacementExampleFamily068Checks99; AbilityChecksMC · ExampleFamily068CriterionFixture99; AbilityChecksMC · WouldExampleFamily068HistoryChecks99 |
| ExampleFamily069 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ObservationExampleFamily069Checks96; AbilityChecksMC · ConditionalAbilityChecks9 |
| ExampleFamily070 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · QuantitySpecimen0094Specimen0251Checks912 |
| ExampleFamily071 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ObservationInstructionConditionChecks96 |
| ExampleFamily072 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · QuantityRealSourceQueriesChecks912; AbilityChecksMC · QuantityInterruptValid912; AbilityContracts · ExampleFamily072DamageQuantity912 |
| ExampleFamily073 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ReplacementExampleFamily073Checks99; AbilityChecksMC · ReplacementLineageChecks99; AbilityChecksMC · InterruptReplacementChecks9 |
| ExampleFamily074 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · OrderSpecimen0134Checks98; AbilityChecksMC · SimultaneousExampleFamily030Specimen0112Checks912 |
| ExampleFamily075 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · QuantitySpecimen0219Fixture912; AbilityChecksMC · QuantityExampleFamily075TargetSiteAndHoldChecks912; AbilityChecksMC · OtherRulesChecks912 |
| ExampleFamily076 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · GeneralAbilityChecks9 |
| ExampleFamily077 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · PaidTimingChecks95 |
| ExampleFamily078 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ExampleFamily078UsageChecks93; AbilityChecksMC · TextInterpretationChecks9 |
| ExampleFamily079 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · QuantityXFixture912; AbilityChecksMC · QuantitySpecimen0232InactiveChecks912 |
| ExampleFamily091 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ValueExampleFamily091Checks99; AbilityChecksMC · OperandReturnIntrinsicChecks99; AbilityChecksMC · OperandReturnChangedOwnInstructionChecks99 |
| ExampleFamily092 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AbilityChecksMC · ExampleFamily092ReceiptFixture96; AbilityChecksMC · ExampleFamily092EventFixture96; AbilityChecksMC · ExampleFamily092SelectedChecks96 |
| ExampleFamily094 | a synthetic example namespace joining related definitions and checks; it does not add an implicit rule | AdditionalChecksMC · ExampleFamily094WorldFixture105; AdditionalChecksMC · ExposureMarkerModifierAndSourceChecks105; AdditionalContracts · ExampleFamily094ExposureMarkerCostShape105 |
| NeutralValue00001 | a synthetic value used by a bounded example or metadata adapter | AbilityChecksMC · TurnFixture92; AbilityChecksMC · TimingSiteChecks92; AbilityChecksMC · PriorityReceptionChecks92 |
| NeutralValue00002 | a synthetic value used by a bounded example or metadata adapter | AbilityChecksMC · ReplacementInspectionFixture99; AbilityChecksMC · ReplacementInspectionChecks99; AbilityChecksMC · MustABRFixture912 |
| NeutralValue00003 | a synthetic value used by a bounded example or metadata adapter | AbilityChecksMC · SuppressInstructionHookExampleChecks98; AbilityContracts · NewSuppressInstructionSelection98; AbilityContracts · SuppressInstructionSelectionMatches98 |
| NeutralValue00004 | a synthetic value used by a bounded example or metadata adapter | AbilityChecksMC · StaticBeginningChecks96; AbilityChecksMC · StaticNoModifierExpectedChecks96; AbilityChecksMC · StaticNoEffectThrottleChecks96 |
| NeutralValue00005 | a synthetic value used by a bounded example or metadata adapter | AbilityChecksMC · ObservationExampleFamily069Checks96; SpecimenFactsA · CardFacts9 |
| NeutralValue00006 | a synthetic value used by a bounded example or metadata adapter | AdditionalChecksMC · Obj101; AdditionalChecksMC · GeneralChecks101; AdditionalChecksMC · SimultaneousActivationChecks101 |
| NeutralValue00007 | a synthetic value used by a bounded example or metadata adapter | AdditionalChecksMC · CheckpointCleanupChecks103; AdditionalChecksMC · CheckpointHistoryChecks103; AdditionalChecksMC · CheckpointMarksChecks103 |
| NeutralValue00008 | a synthetic value used by a bounded example or metadata adapter | AbilityChecksMC · ValueSpecificationChecks94; AbilityChecksMC · ValueSpecimen0039AndSpecimen0091Checks99; SpecimenFactsA · CardFacts9 |
| NeutralValue00009 | a synthetic value used by a bounded example or metadata adapter | AbilityChecksMC · RelevanceSpecimen0105Definition99; AbilityChecksMC · RelevanceLexemes99; AbilityChecksMC · RelevanceObjects99 |
| NeutralValue00010 | a synthetic value used by a bounded example or metadata adapter | SpecimenFactsB · CardFacts10 |
| NeutralValue00011 | a synthetic value used by a bounded example or metadata adapter | AbilityChecksMC · SimultaneousPrintedFixture912; AbilityChecksMC · SimultaneousNamedFixture912; AbilityChecksMC · SimultaneousResidualCycleChecks912 |
| NeutralValue00012 | a synthetic value used by a bounded example or metadata adapter | AbilityChecksMC · OrderGrantFixture98; AbilityChecksMC · OrderSpecimen0139Specimen0037Checks98; AbilityChecksMC · OrderOriginBindingChecks98 |
| NeutralValue00013 | a synthetic value used by a bounded example or metadata adapter | ActivityChecksMC · AOperations; ActivityChecksMC · AInitial; ActivityChecksMC · AInit |
| NeutralValue00014 | a synthetic value used by a bounded example or metadata adapter | AbilityChecksMC · MustEvaluationFixture912; AbilityChecksMC · MustItemInspectionFixture912; AbilityChecksMC · MustExampleFamily016Fixture912 |
| NeutralValue00015 | a synthetic value used by a bounded example or metadata adapter | AbilityChecksMC · ConditionalMultiplicityChecks96; AbilityChecksMC · QuantitySpecimen0219Fixture912; AbilityContracts · Specimen0219RetireSet912 |
| NeutralValue00016 | a synthetic value used by a bounded example or metadata adapter | AbilityChecksMC · PaidPriorityChecks92; AbilityChecksMC · CancellationPriorityChecks92; AbilityChecksMC · ConditionalStaticRestrictionChecks94 |
| PhysicalItem0001 | a synthetic physical-copy identifier, separate from current object identifiers and definition keys | AdditionalChecksMC · LinkWorld107 |
| PhysicalItem0002 | a synthetic physical-copy identifier, separate from current object identifiers and definition keys | AdditionalChecksMC · DamageCoreChecks104 |
| PhysicalItem0003 | a synthetic physical-copy identifier, separate from current object identifiers and definition keys | AdditionalChecksMC · LinkWorld107 |
| PhysicalItem0004 | a synthetic physical-copy identifier, separate from current object identifiers and definition keys | AdditionalChecksMC · LinkFreshnessChecks107; AdditionalChecksMC · EscalatingResourceContestContextAndOrderChecks108 |
| PhysicalItem0005 | a synthetic physical-copy identifier, separate from current object identifiers and definition keys | AdditionalChecksMC · LinkWorld107 |
| PhysicalItem0006 | a synthetic physical-copy identifier, separate from current object identifiers and definition keys | AdditionalChecksMC · DamageObjectsFixture104; AdditionalChecksMC · DamageOwnersFixture104 |
| PhysicalItem0007 | a synthetic physical-copy identifier, separate from current object identifiers and definition keys | AdditionalChecksMC · LinkWorld107 |
| PhysicalItem0008 | a synthetic physical-copy identifier, separate from current object identifiers and definition keys | AdditionalChecksMC · LinkWorld107 |
| PhysicalItem0009 | a synthetic physical-copy identifier, separate from current object identifiers and definition keys | AdditionalChecksMC · DividendMissingSourceChecks1013 |
| PhysicalItem0010 | a synthetic physical-copy identifier, separate from current object identifiers and definition keys | AdditionalChecksMC · LinkWorld107 |
| PhysicalItem0011 | a synthetic physical-copy identifier, separate from current object identifiers and definition keys | AdditionalChecksMC · LinkWorld107 |
| PhysicalItem0012 | a synthetic physical-copy identifier, separate from current object identifiers and definition keys | AdditionalChecksMC · LinkProfileAndUseChecks107 |
| PhysicalItem0013 | a synthetic physical-copy identifier, separate from current object identifiers and definition keys | AdditionalChecksMC · DamageObjectsFixture104; AdditionalChecksMC · DamageOwnersFixture104 |
| PhysicalItem0014 | a synthetic physical-copy identifier, separate from current object identifiers and definition keys | AdditionalChecksMC · DamageObjectsFixture104; AdditionalChecksMC · DamageOwnersFixture104 |
| PhysicalItem0015 | a synthetic physical-copy identifier, separate from current object identifiers and definition keys | AdditionalChecksMC · DamageObjectsFixture104; AdditionalChecksMC · DamageOwnersFixture104 |
| ProcedureCode000048c944c1 | an atomic control/instruction label in the selected procedure profile | AdditionalContracts · EscalatingResourceContestBoostRule108 |
| ProcedureCode00dc1c832c18 | an atomic control/instruction label in the selected procedure profile | OperationContracts · MovementRuleBlock8 |
| ProcedureCode01037eaa1fce | an atomic control/instruction label in the selected procedure profile | OperationContracts · MovementRuleBlock8 |
| ProcedureCode03de9212dc90 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · PlayNormalCleanupChecks97; AbilityChecksMC · PlayEmptyCohortChecks97; AbilityChecksMC · PlayOriginalConditionalBindingChecks97 |
| ProcedureCode042aa78ff256 | an atomic control/instruction label in the selected procedure profile | SchedulerChecksMC · PreparedSideAT11; SchedulerChecksMC · SideAEffectAndBarrierChecksT11; SchedulerOracle · SideAOracleSteps11 |
| ProcedureCode05cf6afdedfb | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · PauseDrawActualStepChecks911 |
| ProcedureCode078e7fe03133 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideAOracleVisible11 |
| ProcedureCode0811ebc5f40e | an atomic control/instruction label in the selected procedure profile | ActionCompositionMC · ACheckpointWork; AdditionalContracts · CheckpointStages103; AdditionalContracts · CheckpointReturnDiscardCounters103 |
| ProcedureCode083016920358 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · PauseResumeBindingChecks911; AbilityChecksMC · PauseTraceTimingOwnershipChecks911; AdditionalChecksMC · EscalatingResourceContestChoose108 |
| ProcedureCode0cb35cf3f8e6 | an atomic control/instruction label in the selected procedure profile | AdditionalChecksMC · EscalatingResourceContestDetermined108; AdditionalContracts · DetermineEscalatingResourceContest108 |
| ProcedureCode0e20572a4bab | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · TimingSiteChecks92; AbilityChecksMC · ActionPriorityChecks92; AbilityChecksMC · PaidWindowFixture95 |
| ProcedureCode0e9bcffb309b | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideAOracleVisible11 |
| ProcedureCode0f076861472c | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · ExampleFamily037StartFixture97; AbilityChecksMC · ExampleFamily039StartFixture97; AbilityChecksMC · ExampleFamily047ExampleFamily037StartFixture97 |
| ProcedureCode0f2147529655 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideBOracleVisible11 |
| ProcedureCode0f76bcc2eb00 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · ObservationInstructionConditionChecks96; AbilityChecksMC · ExampleFamily021DeployFixture99; AbilityChecksMC · Specimen0015DeployFixture911 |
| ProcedureCode12371046a2e5 | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · ITraversalWorkT11; SchedulerOracle · TraversalOracleEntry11 |
| ProcedureCode13c5f7239eb2 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · TimingSiteChecks92; AbilityChecksMC · PaidPriorityChecks92; SchedulerChecksMC · SideBEffectAndBarrierChecksT11 |
| ProcedureCode1404a82ab3ee | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · IInspectionWorkT11; ConnectedTimingMC · IInspectionAdvanceT11 |
| ProcedureCode163c820d9576 | an atomic control/instruction label in the selected procedure profile | OperationContracts · MovementRuleBlock8 |
| ProcedureCode1644d39e61c4 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideAOracleVisible11 |
| ProcedureCode17f2a65162fb | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · PersistentBirthForSourceFixture912; AbilityChecksMC · PersistentPassFixture912; AbilityChecksMC · PersistentNoReactionExpiryChecks912 |
| ProcedureCode1dd0e8f05be2 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · MidItemInspectionPriorityChecks92; AbilityChecksMC · FlagChecks93; AbilityChecksMC · PaidMidItemInspectionChecks95 |
| ProcedureCode1e9a46bbcc9d | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · SearchSpecimen0075Fixture911; AbilityChecksMC · NormalizationSpecimen0075Fixture911; AbilityContracts · InstructionGroupValid911 |
| ProcedureCode1ff52d705816 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · ExampleFamily021DeployFixture99; AbilityChecksMC · Specimen0015DeployFixture911; OperationChecksMC · DeployChecks8 |
| ProcedureCode29d8b155ecb6 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideBOracleVisible11 |
| ProcedureCode29f759d7ea55 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · OccurrenceAdoptionFromContextFixture912; AbilityContracts · ReturnMidItemInspectionOccurrence912 |
| ProcedureCode2cd618a9e624 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · TimingSiteChecks92; AbilityChecksMC · PaidPriorityChecks92; CompositionOracle · IntegrationOracleTrace11 |
| ProcedureCode2d6279f9d639 | an atomic control/instruction label in the selected procedure profile | ActionCompositionMC · ACheckpointWork; AdditionalContracts · CheckpointStages103; AdditionalContracts · CheckpointPositionCleanup103 |
| ProcedureCode2d73b20aa788 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · PersistentTraversalCutoffChecks912; AbilityChecksMC · PersistentNoReactionExpiryChecks912; ActionCompositionMC · ACheckpointWork |
| ProcedureCode2de9f41a4eab | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideAOracleVisible11 |
| ProcedureCode2ff1a3a9a1ca | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideBOracleVisible11 |
| ProcedureCode306f617c02aa | an atomic control/instruction label in the selected procedure profile | AdditionalContracts · EscalatingResourceContestBoostRule108 |
| ProcedureCode347de0bdd6b4 | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · ITraversalWorkT11; SchedulerOracle · TraversalOracleSteps11 |
| ProcedureCode3557d050aec7 | an atomic control/instruction label in the selected procedure profile | SchedulerChecksMC · SideAEffectAndBarrierChecksT11; SchedulerOracle · SideAOracleEntry11; SchedulerOracle · SideAOracleSteps11 |
| ProcedureCode36065334a34a | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · TimingSiteChecks92; AbilityChecksMC · PaidPriorityChecks92; SchedulerOracle · SideAOracleSteps11 |
| ProcedureCode360e93d5f99b | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideBOracleVisible11 |
| ProcedureCode383141df25e9 | an atomic control/instruction label in the selected procedure profile | AdditionalContracts · ExposureMarkerActionRule105 |
| ProcedureCode3a5790c241a3 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · NormalizationExampleFamily057Fixture911; AbilityChecksMC · NormalizationPerCardSchemaFixture911; AbilityChecksMC · NormalizationPartitionCoverageChecks911 |
| ProcedureCode3a6daf593ad4 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · TimingSiteChecks92; AbilityChecksMC · PaidPriorityChecks92; AbilityChecksMC · PaidTimingChecks95 |
| ProcedureCode3afb356a2b9f | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideAOracleVisible11 |
| ProcedureCode3b2e1996810a | an atomic control/instruction label in the selected procedure profile | AdditionalContracts · BidNestedCost1014 |
| ProcedureCode3d7a51acc5cb | an atomic control/instruction label in the selected procedure profile | OperationChecksMC · MovementChecks8; OperationContracts · MovementRuleBlock8 |
| ProcedureCode3d7f756d78f7 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · GeneralAbilityChecks9; AbilityChecksMC · ExampleFamily037StartFixture97; AbilityChecksMC · LoopExampleFamily037InterruptChecks97 |
| ProcedureCode3e1a7b34ac07 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideAOracleVisible11 |
| ProcedureCode3e4c72d9b154 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideAOracleVisible11 |
| ProcedureCode42d1fb0bb9d2 | an atomic control/instruction label in the selected procedure profile | AdditionalChecksMC · EscalatingResourceContestEstablished108; AdditionalContracts · EstablishEscalatingResourceContestStrength108 |
| ProcedureCode438597bede05 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · TimingSiteChecks92; AbilityChecksMC · PaidPriorityChecks92; SchedulerChecksMC · SideAEffectAndBarrierChecksT11 |
| ProcedureCode453e949a114f | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · StaticSelectionFixture96; AbilityChecksMC · StaticNoEffectThrottleChecks96; SchedulerOracle · TraversalOracleSteps11 |
| ProcedureCode4585e6a51427 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · ObservationInstructionConditionChecks96; AbilityChecksMC · ExampleFamily021DeployFixture99; AbilityChecksMC · Specimen0015DeployFixture911 |
| ProcedureCode484be3e50aa9 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · TimingSiteChecks92; AbilityChecksMC · PriorityReceptionChecks92; AbilityChecksMC · PaidPriorityChecks92 |
| ProcedureCode49c3ccade13b | an atomic control/instruction label in the selected procedure profile | SchedulerChecksMC · PreparedSideBT11; SchedulerChecksMC · SideBEffectAndBarrierChecksT11; SchedulerOracle · SideBOracleSteps11 |
| ProcedureCode4cb5f79f70e8 | an atomic control/instruction label in the selected procedure profile | OperationContracts · MovementRuleBlock8 |
| ProcedureCode4d474d346807 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · PaidRetainedApproachChecks95; SchedulerOracle · TraversalOracleSteps11; SchedulerOracle · TraversalOracleStepSet11 |
| ProcedureCode4d6bd06d2c9f | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · TraversalPeriodFrameFixture99; AbilityChecksMC · ExtensionNaArithmeticChecks910; AdditionalChecksMC · LiabilityMarkerLifecycleChecks106 |
| ProcedureCode4e363e6bb7cf | an atomic control/instruction label in the selected procedure profile | SchedulerChecksMC · SideAEffectAndBarrierChecksT11; SchedulerOracle · SideAOracleSteps11; SchedulerOracle · SideAOracleStepSet11 |
| ProcedureCode4f18e257f95d | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideBOracleVisible11 |
| ProcedureCode4f60245a1dde | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · TimingSiteChecks92; AbilityChecksMC · PaidPriorityChecks92; AbilityChecksMC · QuantitySpecimen0219BoundaryChecks912 |
| ProcedureCode51c5eb4c9e6c | an atomic control/instruction label in the selected procedure profile | AdditionalChecksMC · LiabilityMarkerPaymentChecks106; AdditionalContracts · LiabilityMarkerSpendSources106 |
| ProcedureCode546db7cc4546 | an atomic control/instruction label in the selected procedure profile | CommitmentProbesMC · PaidProbeMovementChecksT11; CommittedCompositionMC · PExpectedTrace; CompositionOracle · IntegrationOracleTrace11 |
| ProcedureCode5493d8f29679 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideBOracleVisible11 |
| ProcedureCode59141ee1a13b | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · InstructionInterpretationChecks93; AbilityChecksMC · TypedInstructionInterruptChecks93; AbilityChecksMC · ConditionalInterruptRecognitionChecks96 |
| ProcedureCode593c4a6fb4f5 | an atomic control/instruction label in the selected procedure profile | SchedulerChecksMC · SideBEffectAndBarrierChecksT11; SchedulerOracle · SideBOracleSteps11; SchedulerOracle · SideBOracleStepSet11 |
| ProcedureCode599a3c2d7264 | an atomic control/instruction label in the selected procedure profile | SchedulerChecksMC · SideAEffectAndBarrierChecksT11; SchedulerOracle · SideAOracleSteps11; SchedulerOracle · SideAOracleStepSet11 |
| ProcedureCode5da712559aad | an atomic control/instruction label in the selected procedure profile | AdditionalChecksMC · LiabilityMarkerLifecycleChecks106; AdditionalContracts · GrantLiabilityMarkerFund106 |
| ProcedureCode5e397645e65c | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · ITraversalWorkT11; SchedulerOracle · TraversalOracleSteps11 |
| ProcedureCode61973f2a75d8 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · ExampleFamily021DeployFixture99; AbilityChecksMC · Specimen0015DeployFixture911; OperationChecksMC · DeployChecks8 |
| ProcedureCode64426e2f70d2 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideAOracleVisible11 |
| ProcedureCode662478499367 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · EndingContextChecks92; CommittedCompositionMC · PExpectedTrace; CompositionOracle · IntegrationOracleTrace11 |
| ProcedureCode687f72772ab1 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · BarrierInstructionNormalChecks98; AbilityChecksMC · BarrierInstructionPreventionChecks98; AbilityChecksMC · BarrierInstructionExampleFamily006Checks98 |
| ProcedureCode6c5d14f545f7 | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · ITraversalWorkT11; SchedulerOracle · TraversalOracleSteps11 |
| ProcedureCode6dc50a2fd3ef | an atomic control/instruction label in the selected procedure profile | OperationContracts · MovementRuleBlock8 |
| ProcedureCode6ea937bb44ac | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · ITraversalWorkT11; SchedulerOracle · TraversalOracleSteps11 |
| ProcedureCode6eba7e0bfa75 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · ExampleFamily021DeployFixture99; AbilityChecksMC · Specimen0015DeployFixture911; OperationChecksMC · DeployChecks8 |
| ProcedureCode714dfe070fed | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · ITraversalWorkT11; SchedulerOracle · TraversalOracleSteps11 |
| ProcedureCode71e36c9e8e04 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · TimingSiteChecks92; AbilityChecksMC · PaidPriorityChecks92; CompositionOracle · IntegrationOracleTrace11 |
| ProcedureCode72a65676fb11 | an atomic control/instruction label in the selected procedure profile | SchedulerChecksMC · PreparedSideAT11; SchedulerChecksMC · SideAEffectAndBarrierChecksT11; SchedulerOracle · SideAOracleSteps11 |
| ProcedureCode7647b901fcb1 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · ExampleFamily037StartFixture97; AbilityChecksMC · ExampleFamily039StartFixture97; AbilityChecksMC · ExampleFamily047ExampleFamily037StartFixture97 |
| ProcedureCode76ca53ad9dd0 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · PaidSpecimen0090Checks95; AbilityChecksMC · PaidForfeitChecks95; AbilityContracts · PaidHeldProvenance95 |
| ProcedureCode785a8b2e5de4 | an atomic control/instruction label in the selected procedure profile | AdditionalChecksMC · EscalatingResourceContestChoose108; AdditionalChecksMC · EscalatingResourceContestEstablished108; AdditionalContracts · DrainEscalatingResourceContestCheckpoint108 |
| ProcedureCode79efdf0ee977 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideAOracleSteps11; SchedulerOracle · SideAOracleStepSet11; SchedulerOracle · SideAOraclePhases11 |
| ProcedureCode7e3f7e5033c8 | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · ITraversalWorkT11; SchedulerOracle · TraversalOracleSteps11 |
| ProcedureCode7e82ab2b38b7 | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · ITraversalWorkT11; SchedulerOracle · TraversalOracleSteps11 |
| ProcedureCode7f181ce21011 | an atomic control/instruction label in the selected procedure profile | ActionCompositionMC · ACheckpointWork; AdditionalContracts · CheckpointStages103; AdditionalContracts · CheckpointRootAdmissions103 |
| ProcedureCode81ed7b3ac00d | an atomic control/instruction label in the selected procedure profile | SchedulerChecksMC · SideBEffectAndBarrierChecksT11; SchedulerOracle · SideBOracleEntry11; SchedulerOracle · SideBOracleSteps11 |
| ProcedureCode824821d07be7 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · InstructionInterpretationChecks93; AbilityChecksMC · TypedInstructionInterruptChecks93; AbilityChecksMC · ConditionalInterruptRecognitionChecks96 |
| ProcedureCode839b301bad95 | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · IInspectionWorkT11; InspectionContracts · OpenInspection7 |
| ProcedureCode84dea7dc8ecc | an atomic control/instruction label in the selected procedure profile | AdditionalChecksMC · LiabilityMarkerEnd106; CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · ITraversalWorkT11 |
| ProcedureCode8719c8b9d63c | an atomic control/instruction label in the selected procedure profile | OperationContracts · MovementRuleBlock8 |
| ProcedureCode88eda145024f | an atomic control/instruction label in the selected procedure profile | AbilityContracts · LingeringCheckpointFrame910; ActionCompositionMC · ACheckpointWork; ActionCompositionMC · AWork |
| ProcedureCode8b3260c0010f | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · TimingSiteChecks92; AbilityChecksMC · PaidPriorityChecks92; AbilityChecksMC · CancellationPriorityChecks92 |
| ProcedureCode8b36a14c1569 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · Specimen0015TextFixture911; AbilityChecksMC · Specimen0015VisibilityProcedureChecks911; AbilityChecksMC · Specimen0015TechniqueProposalFixture911 |
| ProcedureCode8be6d2dd1e98 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · PausePointFixture911; AbilityChecksMC · PauseDrawActualStepChecks911; AbilityContracts · InstructionPausePoint911 |
| ProcedureCode8c612115d469 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · EndingContextChecks92; CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · IInspectionWorkT11 |
| ProcedureCode8f113080e47f | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · EndingContextChecks92; AbilityChecksMC · ConditionalSpecimen0150LifecycleChecks96; AbilityChecksMC · DelayedNextResolutionChecks96 |
| ProcedureCode90b6ad8029ae | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideAOracleVisible11 |
| ProcedureCode91f3ee0da236 | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · IInspectionWorkT11; InspectionChecksMC · InspectionConceptChecks7 |
| ProcedureCode93af477f9d95 | an atomic control/instruction label in the selected procedure profile | SchedulerChecksMC · SideAEffectAndBarrierChecksT11; SchedulerOracle · SideAOracleSteps11; SchedulerOracle · SideAOracleStepSet11 |
| ProcedureCode93faa6387f58 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideAOracleVisible11 |
| ProcedureCode9606a4cd52b4 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · EndingContextChecks92; AbilityChecksMC · TraversalPeriodFrameFixture99; AbilityChecksMC · ExtensionNaEndFixture910 |
| ProcedureCode96bfa1b6a970 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · PaidSpecimen0090Checks95; AbilityChecksMC · PaidExampleFamily040Checks95; AbilityChecksMC · PaidExampleFamily048Checks95 |
| ProcedureCode989abc27e0c6 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · TimingSiteChecks92; AbilityChecksMC · ActionPriorityChecks92; AbilityChecksMC · CleanupScopeChecks92 |
| ProcedureCode9bca3a096549 | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · ITraversalWorkT11; SchedulerOracle · TraversalOracleSteps11 |
| ProcedureCodea107cee5c079 | an atomic control/instruction label in the selected procedure profile | SchedulerChecksMC · PreparedSideAT11; SchedulerChecksMC · SideAEffectAndBarrierChecksT11; SchedulerOracle · SideAOracleSteps11 |
| ProcedureCodea156bef21f7a | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideBOracleVisible11 |
| ProcedureCodea439ce381bba | an atomic control/instruction label in the selected procedure profile | ActionAdapters · AStepName; ActionCompositionMC · AOpenStep; ActionCompositionMC · AAdvanceStep |
| ProcedureCodea488e1ba6ca3 | an atomic control/instruction label in the selected procedure profile | ActionCompositionMC · ACheckpointWork; AdditionalChecksMC · CheckpointEnvironmentChecks103; AdditionalContracts · CheckpointStages103 |
| ProcedureCodea732fbc12ae0 | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · ITraversalWorkT11; SchedulerOracle · TraversalOracleSteps11 |
| ProcedureCodea8d255c3d31b | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideAOracleVisible11 |
| ProcedureCodea93d4fa2a792 | an atomic control/instruction label in the selected procedure profile | OperationChecksMC · MovementChecks8; OperationContracts · MovementRuleBlock8 |
| ProcedureCodeaa0828fbf852 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · BarrierInstructionNormalChecks98; AbilityContracts · AdvanceBarrierInstructionStep98; SchedulerOracle · TraversalOracleSteps11 |
| ProcedureCodeacc82dbcc545 | an atomic control/instruction label in the selected procedure profile | AdditionalChecksMC · LiabilityMarkerInit106; CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · ITraversalWorkT11 |
| ProcedureCodeb1fbc90c4ab0 | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · IInspectionWorkT11; InspectionChecksMC · InspectionProcedureChecks7 |
| ProcedureCodeb6035cb98279 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideAOracleSteps11; SchedulerOracle · SideAOracleStepSet11; SchedulerOracle · SideAOraclePhases11 |
| ProcedureCodeb6067693902e | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · IInspectionWorkT11; InspectionChecksMC · InspectionConceptChecks7 |
| ProcedureCodeb681cc249a04 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · CleanupFixture910; AbilityChecksMC · CleanupCheckpointChecks910; AbilityChecksMC · DelayedLifetimeResolutionFixture910 |
| ProcedureCodeb6952d25a4da | an atomic control/instruction label in the selected procedure profile | SchedulerChecksMC · PreparedSideBT11; SchedulerChecksMC · SideBEffectAndBarrierChecksT11; SchedulerOracle · SideBOracleSteps11 |
| ProcedureCodeb74d673a0fc6 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · PersistentNoReactionExpiryChecks912; AbilityContracts · PersistentCheckpointCompletion912; AbilityContracts · PersistentExpirationRegistry912 |
| ProcedureCodebb587f61a951 | an atomic control/instruction label in the selected procedure profile | SchedulerChecksMC · PreparedSideBT11; SchedulerChecksMC · SideBEffectAndBarrierChecksT11; SchedulerOracle · SideBOracleSteps11 |
| ProcedureCodebbb14496b09b | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · DelayedTraversalScopeChecks96; AbilityChecksMC · QuantitySpecimen0219Fixture912; AdditionalChecksMC · MarkOccurrence1011 |
| ProcedureCodebddd9a1a600b | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · ExampleFamily037StartFixture97; AbilityChecksMC · ExampleFamily039StartFixture97; AbilityChecksMC · ExampleFamily047ExampleFamily037StartFixture97 |
| ProcedureCodebfd1895de2c0 | an atomic control/instruction label in the selected procedure profile | OperationContracts · OpenPlay8; OperationContracts · BeginPlay8; OperationProceduresMC · WorkPlayT8 |
| ProcedureCodec4ba55e330f8 | an atomic control/instruction label in the selected procedure profile | OperationContracts · DeploySteps8; OperationContracts · OpenDeploy8; OperationContracts · DeployStagingRow8 |
| ProcedureCodec610fc738935 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · PlayNormalCleanupChecks97; AbilityChecksMC · PlayEmptyCohortChecks97; AbilityChecksMC · PlayOriginalConditionalBindingChecks97 |
| ProcedureCodec7b41615d673 | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · ITraversalWorkT11; SchedulerOracle · TraversalOracleSteps11 |
| ProcedureCodec8b34947e6a4 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideBOracleVisible11 |
| ProcedureCodecbf6b11f0ae0 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · ExampleFamily037StartFixture97; AbilityChecksMC · ExampleFamily039StartFixture97; AbilityChecksMC · ExampleFamily047ExampleFamily037StartFixture97 |
| ProcedureCodecc6f2aa507f6 | an atomic control/instruction label in the selected procedure profile | OperationContracts · MovementRuleBlock8 |
| ProcedureCodecd2caa81fb72 | an atomic control/instruction label in the selected procedure profile | AdditionalChecksMC · CheckpointEnvironmentChecks103 |
| ProcedureCodecd915bfaf472 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideBOracleVisible11 |
| ProcedureCodecf8f4f1b0e17 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideAOracleVisible11 |
| ProcedureCoded05d55b14bf9 | an atomic control/instruction label in the selected procedure profile | SchedulerChecksMC · SideBEffectAndBarrierChecksT11; SchedulerOracle · SideBOracleSteps11; SchedulerOracle · SideBOracleStepSet11 |
| ProcedureCoded0cd74215226 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · Specimen0015LegacyCRFixture911; AbilityChecksMC · Specimen0015VisibilityProcedureChecks911; AbilityChecksMC · NormalizationLegacySpecimen0015Fixture911 |
| ProcedureCoded1e36ce96789 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · PausePointFixture911; AbilityChecksMC · PauseChildFixture911; AbilityContracts · InstructionPausePoint911 |
| ProcedureCoded3a7d2154f9f | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · NormalizationSpecimen0243Fixture911; AbilityContracts · InstructionGroupValid911 |
| ProcedureCoded3bf6d016bb1 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideBOracleSteps11; SchedulerOracle · SideBOracleStepSet11; SchedulerOracle · SideBOraclePhases11 |
| ProcedureCoded4ddeafb5f2f | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · ITraversalWorkT11; SchedulerOracle · TraversalOracleSteps11 |
| ProcedureCoded6fbcb09dd4f | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · TimingSiteChecks92; AbilityChecksMC · PaidPriorityChecks92; AbilityChecksMC · PaidWindowFixture95 |
| ProcedureCoded75d879e00ff | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · PaidMidItemInspectionChecks95; AbilityChecksMC · DelayedTraversalScopeChecks96; AbilityChecksMC · ReplacementAtomFixture99 |
| ProcedureCoded9954050183f | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · NormalizationBranchSchemaFixture911; AbilityContracts · InstructionGroupValid911; AbilityContracts · InstructionGroupContinuation911 |
| ProcedureCodeda7bff1d9270 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · ReactionPriorityChecks92; AbilityChecksMC · CancellationPriorityChecks92; AbilityChecksMC · CleanupScopeChecks92 |
| ProcedureCodeda83a77a1f12 | an atomic control/instruction label in the selected procedure profile | ActionCompositionMC · ACheckpointWork; AdditionalContracts · CheckpointStages103; AdditionalContracts · CheckpointRestoreDiscard103 |
| ProcedureCodedab8b83ddbcc | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideAOracleSteps11; SchedulerOracle · SideAOracleStepSet11; SchedulerOracle · SideAOraclePhases11 |
| ProcedureCodede325c329e93 | an atomic control/instruction label in the selected procedure profile | SchedulerChecksMC · SideBEffectAndBarrierChecksT11; SchedulerOracle · SideBOracleSteps11; SchedulerOracle · SideBOracleStepSet11 |
| ProcedureCodee085dc6e3123 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · NormalizationStaticOmissionFixture911; AbilityChecksMC · NormalizationOmissionMatrixChecks911; AbilityChecksMC · NormalizationPartitionSchemaFixture911 |
| ProcedureCodee35e7c8fc57b | an atomic control/instruction label in the selected procedure profile | CompositionOracle · IntegrationOracleTrace11; ConnectedTimingMC · IInspectionWorkT11; ConnectedTimingMC · IInspectionAdvanceT11 |
| ProcedureCodee605a78f5d5e | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · ConditionalCheckpointFixture96; AbilityChecksMC · ConditionalMultiplicityChecks96; AbilityChecksMC · ConditionalDepartureScenario96 |
| ProcedureCodee75462e2fc51 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · ValueSpecificationChecks94 |
| ProcedureCodee977e478b45b | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · GeneralAbilityChecks9; AbilityChecksMC · PlayExampleFamily037SequenceChecks97; AbilityChecksMC · PlayThreatSkipChecks97 |
| ProcedureCodeedc4dd74a3d5 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideBOracleVisible11 |
| ProcedureCodeee27ca2a7851 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideBOracleVisible11 |
| ProcedureCodeef666cf169ed | an atomic control/instruction label in the selected procedure profile | AdditionalContracts · ExposureMarkerActionRule105 |
| ProcedureCodef1914978bb8e | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · InterruptPriorityChecks92; AbilityChecksMC · FlagChecks93; AbilityChecksMC · SubControlFixture98 |
| ProcedureCodef53fc09e15ad | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · TimingSiteChecks92; AbilityChecksMC · PaidPriorityChecks92; AbilityChecksMC · ConditionalUseScenario96 |
| ProcedureCodef6fc0286cf28 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · NormalizationSpecimen0068Fixture911; AbilityChecksMC · NormalizationBranchSchemaFixture911; AbilityChecksMC · ConditionalGraphTechniqueFixture911 |
| ProcedureCodef919777c4648 | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideBOracleVisible11 |
| ProcedureCodefabf14494c15 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · NormalizationSpecimen0054Fixture911; AbilityContracts · InstructionGroupValid911 |
| ProcedureCodefac3d3b8276d | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideBOracleVisible11 |
| ProcedureCodefd809276d53b | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideAOracleVisible11 |
| ProcedureCodefd91bef8bbd3 | an atomic control/instruction label in the selected procedure profile | AbilityChecksMC · MidItemInspectionPriorityChecks92; AbilityChecksMC · FlagChecks93; AbilityChecksMC · TypedInstructionInterruptChecks93 |
| ProcedureCodefe50c31480ea | an atomic control/instruction label in the selected procedure profile | ActionCompositionMC · ACheckpointWork; AdditionalChecksMC · GeneralChecks101; AdditionalChecksMC · SimultaneousActivationChecks101 |
| ProcedureCodeff1e0990492d | an atomic control/instruction label in the selected procedure profile | SchedulerOracle · SideAOracleVisible11 |
| SchemaAtom001 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · SubtypeChecks; SchemaContracts · IntrinsicSubtypeRule |
| SchemaAtom002 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · SubtypeChecks; SchemaContracts · IntrinsicSubtypeRule |
| SchemaAtom003 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · SubtypeChecks; SchemaContracts · IntrinsicSubtypeRule |
| SchemaAtom004 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TextBoxChecks |
| SchemaAtom005 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TextBoxChecks |
| SchemaAtom006 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · SuppressInstructionContextFixture98; SchemaContracts · SubtypesByPrintedType |
| SchemaAtom007 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom008 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TextBoxChecks |
| SchemaAtom009 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom010 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · AffiliationChecks; SchemaContracts · MiniSideBAffiliations2 |
| SchemaAtom011 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom012 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · SubtypeChecks; SchemaContracts · SubtypeLayout |
| SchemaAtom013 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · SubtypeChecks; SchemaContracts · SubtypesByPrintedType; SchemaContracts · SubtypeFlagsConsistent |
| SchemaAtom014 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AdditionalChecksMC · GeneralChecks101; SchemaChecksMC · SubtypeChecks; SchemaContracts · SubtypesByPrintedType |
| SchemaAtom015 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · AffiliationChecks; SchemaContracts · MajorSideBAffiliations2 |
| SchemaAtom016 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · ConditionalMultiplicityChecks96; AbilityChecksMC · ConditionalDepartureScenario96; AbilityChecksMC · ConditionalEpochChecks96 |
| SchemaAtom017 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · AffiliationChecks; SchemaContracts · MiniSideBAffiliations2 |
| SchemaAtom018 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AdditionalChecksMC · MarkSampler1011; AdditionalChecksMC · MarkProvenanceChecks1011; AdditionalContracts · SabotagePublicSummary1012 |
| SchemaAtom019 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom021 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom022 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · UniqueChecks; SchemaContracts · UniqueSymbolPlacement |
| SchemaAtom023 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · NameChecks; SchemaContracts · NamePlacement |
| SchemaAtom024 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · PaidTimingChecks95; AbilityChecksMC · PaidRetainedApproachChecks95; AbilityChecksMC · SuppressInstructionContextFixture98 |
| SchemaAtom025 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom026 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · ImportCostChecks; SchemaContracts · ImportCostBarLayout |
| SchemaAtom027 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · StrengthChecks; SchemaContracts · StrengthLayout; SchemaContracts · AffiliationLogoCorners |
| SchemaAtom028 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · AffiliationLogoCorners |
| SchemaAtom029 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom030 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · SubtypeChecks; SchemaContracts · SubtypesByPrintedType |
| SchemaAtom031 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · CardTypeChecks; SchemaContracts · CardTypeLayout |
| SchemaAtom032 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · PointChecks; SchemaContracts · ObjectivePointLayout |
| SchemaAtom033 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · RelevanceObjects99; AbilityChecksMC · ExtensionNaWorldFixture910; AbilityChecksMC · Specimen0015DeployFixture911 |
| SchemaAtom034 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · SimultaneousPrintedFixture912; SchemaContracts · SubtypesByPrintedType |
| SchemaAtom035 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom036 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · UniqueChecks |
| SchemaAtom037 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom038 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom039 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom040 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · PaidClassificationChecks95; AbilityChecksMC · PaidTimingChecks95; AbilityChecksMC · PaidEndedPaidSiteChecks95 |
| SchemaAtom041 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom042 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TargetSiteIndicatorChecks; SchemaContracts · TargetSiteIndicatorIcons2; SchemaContracts · IndicatorTargetSiteHint |
| SchemaAtom043 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · GeneralAbilityChecks9; AbilityChecksMC · CostFixture93; AbilityChecksMC · TriggerFixture93 |
| SchemaAtom044 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AdditionalChecksMC · ExtraWorldFixture105; AdditionalContracts · ResourceKnownCostSources105; AdditionalContracts · ResourceAdditionalCosts105 |
| SchemaAtom045 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · SubtypeChecks; SchemaContracts · SubtypesByPrintedType; SchemaContracts · IntrinsicSubtypeRule |
| SchemaAtom046 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom047 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom048 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · ExampleFamily039CardFixture97; SchemaContracts · SubtypesByPrintedType; TypeChecksMC · OperationChecks3 |
| SchemaAtom049 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · SimultaneousPrintedFixture912; SchemaContracts · SubtypesByPrintedType |
| SchemaAtom050 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom051 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom052 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · StrengthChecks; SchemaContracts · StrengthLayout; TypeChecksMC · TechniqueChecks3 |
| SchemaAtom053 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · ImportCostChecks; SchemaContracts · ImportCostPartForContext |
| SchemaAtom054 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · PaidTimingChecks95; AbilityChecksMC · PaidEndedPaidSiteChecks95; SchemaContracts · SubtypesByPrintedType |
| SchemaAtom055 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom056 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom057 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom058 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · SimultaneousPrintedFixture912; SchemaContracts · SubtypesByPrintedType |
| SchemaAtom059 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom060 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · UniqueChecks; SchemaContracts · UniquePrefix; SchemaContracts · UniqueMetadataValid |
| SchemaAtom061 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom062 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · SimultaneousPrintedFixture912; SchemaContracts · SubtypesByPrintedType |
| SchemaAtom063 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom064 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom065 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom066 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom067 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom068 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom069 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · AffiliationPresentation |
| SchemaAtom070 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · InstructionInterpretationChecks93; AbilityChecksMC · SubGenericFixture98; AbilityChecksMC · BarrierInstructionContinuationChecks98 |
| SchemaAtom071 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · CardTypeChecks; SchemaContracts · CardTypeLayout |
| SchemaAtom072 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TextBoxChecks; SchemaContracts · TextRoles2; SchemaContracts · TextSegmentValid |
| SchemaAtom073 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · SubtypeChecks; SchemaContracts · SubtypesByPrintedType; TypeChecksMC · TechniqueChecks3 |
| SchemaAtom074 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom075 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TextBoxChecks |
| SchemaAtom076 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · ImportCostChecks; TypeChecksMC · ProfileChecks3 |
| SchemaAtom077 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom078 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom079 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom080 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom081 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · ExampleFamily037CardFixture97; SchemaContracts · SubtypesByPrintedType |
| SchemaAtom082 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · TraversalFixture92; AbilityChecksMC · MidItemInspectionPriorityChecks92; AbilityChecksMC · EndingContextChecks92 |
| SchemaAtom083 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · AffiliationChecks; SchemaContracts · SideAAffiliations2 |
| SchemaAtom084 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom085 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom086 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · FlagChecks93; AbilityChecksMC · PaidTimingChecks95; AbilityChecksMC · PaidEndedPaidSiteChecks95 |
| SchemaAtom087 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · SubtypeChecks |
| SchemaAtom088 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom089 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom090 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · AffiliationChecks; SchemaChecksMC · ImportCostChecks; SchemaContracts · SideAAffiliations2 |
| SchemaAtom091 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom092 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · FlagChecks93; AbilityChecksMC · SearchSpecimen0075Fixture911; SchemaContracts · SubtypesByPrintedType |
| SchemaAtom093 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TargetSiteIndicatorChecks; SchemaContracts · TargetSiteIndicatorIcons2; SchemaContracts · IndicatorTargetSiteHint |
| SchemaAtom094 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · CostChecks; SchemaContracts · CostPartLayout |
| SchemaAtom095 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · StrengthChecks; SchemaContracts · StrengthLayout |
| SchemaAtom096 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · CardTypeChecks; SchemaContracts · CardTypeLayout |
| SchemaAtom097 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · SubtypeChecks; SchemaContracts · SubtypesByPrintedType |
| SchemaAtom098 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom099 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType; TypeChecksMC · OperationChecks3; TypeContracts · OperationRetentionAfterEvent |
| SchemaAtom100 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · SimultaneousNumericChecks912; AbilityChecksMC · SimultaneousNumericOrderChecks912; AbilityContracts · NumericFinal912 |
| SchemaAtom101 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · MinimumChecks; SchemaChecksMC · ImportCostLimitChecks; SchemaContracts · MinimumDeckLayout |
| SchemaAtom102 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · RetireCostChecks; SchemaChecksMC · MinimumChecks; SchemaChecksMC · ImportCostLimitChecks |
| SchemaAtom103 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · CapacityPartChecks; SchemaChecksMC · StartingCapacityUnitsChecks; SchemaContracts · CapacityCostLayout |
| SchemaAtom104 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · AffiliationChecks; SchemaContracts · AffiliationGroup |
| SchemaAtom105 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom106 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom107 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · AffiliationChecks; SchemaContracts · AffiliationGroup |
| SchemaAtom108 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom109 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom110 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · SimultaneousPrintedFixture912; AbilityChecksMC · SimultaneousExampleFamily030Specimen0112Checks912; SchemaContracts · SubtypesByPrintedType |
| SchemaAtom111 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TargetSiteIndicatorChecks |
| SchemaAtom112 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · AffiliationChecks; SchemaChecksMC · ImportCostChecks; SchemaContracts · SideAAffiliations2 |
| SchemaAtom113 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom114 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom115 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · ImportCostChecks; SchemaContracts · ImportCostBarLayout |
| SchemaAtom116 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TargetSiteIndicatorChecks; SchemaContracts · TargetSiteIndicatorLayout |
| SchemaAtom118 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom119 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom120 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TargetSiteIndicatorChecks; SchemaContracts · TargetSiteIndicatorIcons2; SchemaContracts · IndicatorTargetSiteHint |
| SchemaAtom121 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom122 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · NameTechnique; SchemaChecksMC · NameChecks |
| SchemaAtom123 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · NameCard; SchemaChecksMC · NameChecks |
| SchemaAtom124 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · SubtypeChecks; SchemaContracts · SubtypesByPrintedType |
| SchemaAtom125 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom126 | a finite metadata, layout or control label; the linked equations define its use and comparisons | ActionCompositionMC · AOpenCheckpoint; ActionCompositionMC · AProtocolWork; AdditionalChecksMC · CheckpointEnvironmentChecks103 |
| SchemaAtom127 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AdditionalChecksMC · BidContext1014; AdditionalContracts · BidPacket1014; SchemaContracts · SubtypesByPrintedType |
| SchemaAtom128 | a finite metadata, layout or control label; the linked equations define its use and comparisons | LocationChecksMC · ZoneGeneralChecks4; LocationContracts · ZoneClass4; LocationContracts · DefaultZoneLook4 |
| SchemaAtom129 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · ConditionalStaticRestrictionChecks94; AbilityChecksMC · DelayedTraversalScopeChecks96; AbilityChecksMC · ReplacementExampleFamily068Checks99 |
| SchemaAtom130 | a finite metadata, layout or control label; the linked equations define its use and comparisons | OperationChecksMC · DeployChecks8; OperationContracts · DeployRequiredRootRetire8; SchemaChecksMC · SubtypeChecks |
| SchemaAtom131 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TextBoxChecks; SchemaContracts · TextRoles2; SchemaContracts · TextSegmentValid |
| SchemaAtom132 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · ObservationExampleFamily069Checks96; AbilityChecksMC · Specimen0015DeployFixture911; AbilityChecksMC · QuantityXFixture912 |
| SchemaAtom133 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom135 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · CapacityPartChecks; SchemaContracts · CapacityCostLayout |
| SchemaAtom136 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom137 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TextBoxChecks; SchemaChecksMC · TargetSiteIndicatorChecks; SchemaContracts · TextRoles2 |
| SchemaAtom138 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · GeneralAbilityChecks9; AbilityChecksMC · TimingSiteChecks92; AbilityChecksMC · CancellationPriorityChecks92 |
| SchemaAtom139 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · MustABRFixture912; AbilityChecksMC · MustABRCurrentTraversalEventChecks912; AdditionalChecksMC · SabotageWorld1012 |
| SchemaAtom140 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · InstructionInterpretationChecks93; AbilityChecksMC · SubGenericFixture98; AbilityChecksMC · BarrierInstructionContinuationChecks98 |
| SchemaAtom141 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TextBoxChecks |
| SchemaAtom142 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom143 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · SubtypeChecks; SchemaContracts · SubtypesByPrintedType |
| SchemaAtom144 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom145 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom147 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · ProgressChecks; SchemaContracts · ProgressLayout |
| SchemaAtom148 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · CostChecks; SchemaContracts · CostPartLayout |
| SchemaAtom149 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · ConditionalDepartureScenario96; AbilityChecksMC · ConditionalOnceUseChecks96; AbilityChecksMC · ObservationItemInspectionStipulationChecks96 |
| SchemaAtom150 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom151 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TextBoxChecks |
| SchemaAtom152 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TextBoxChecks |
| SchemaAtom153 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom155 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TextBoxChecks |
| SchemaAtom156 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TextBoxChecks |
| SchemaAtom157 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · AffiliationChecks; SchemaContracts · MiniSideBAffiliations2 |
| SchemaAtom158 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TargetSiteIndicatorChecks |
| SchemaAtom159 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom160 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · ExampleFamily037CardFixture97; AdditionalChecksMC · CheckpointCleanupChecks103; AdditionalContracts · CheckpointVictory103 |
| SchemaAtom161 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · PointChecks; SchemaContracts · ObjectivePointLayout |
| SchemaAtom162 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · NameTechnique; SchemaChecksMC · NameChecks |
| SchemaAtom163 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · ReplacementInspectionFixture99; SchemaChecksMC · NameChecks; SchemaContracts · NamePlacement |
| SchemaAtom164 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · LinkChecks; SchemaChecksMC · StartingCapacityUnitsChecks; SchemaContracts · CostPartLayout |
| SchemaAtom165 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · ProgressChecks; SchemaContracts · ProgressLayout; SchemaContracts · AffiliationLogoCorners |
| SchemaAtom166 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom167 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · ExampleFamily039CardFixture97; SchemaContracts · SubtypesByPrintedType |
| SchemaAtom168 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom169 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · MustItemInspectionFixture912; SchemaChecksMC · RetireCostChecks; SchemaContracts · RetireCostLayout |
| SchemaAtom170 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom171 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · SimultaneousPrintedFixture912; SchemaContracts · SubtypesByPrintedType |
| SchemaAtom172 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · AffiliationChecks; SchemaChecksMC · SubtypeChecks |
| SchemaAtom173 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom174 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom175 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · MinimumChecks; SchemaContracts · MinimumDeckLayout |
| SchemaAtom176 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TargetSiteIndicatorChecks |
| SchemaAtom177 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TargetSiteIndicatorChecks |
| SchemaAtom178 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom179 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom180 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · PaidSpecimen0090Checks95; AbilityChecksMC · PaidMidItemInspectionChecks95; AbilityChecksMC · FullPublicMidItemInspectionChecks99 |
| SchemaAtom181 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TargetSiteIndicatorChecks; SchemaContracts · TargetSiteIndicatorLayout |
| SchemaAtom182 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaContracts · SubtypesByPrintedType |
| SchemaAtom183 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · AffiliationChecks; SchemaContracts · SideAAffiliations2 |
| SchemaAtom184 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · AffiliationChecks; SchemaContracts · AffiliationPresentation |
| SchemaAtom185 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · TextBoxChecks |
| SchemaAtom187 | a finite metadata, layout or control label; the linked equations define its use and comparisons | AbilityChecksMC · GeneralAbilityChecks9; AbilityChecksMC · ObservationLateExampleFamily035Checks96; AbilityChecksMC · ObservationExampleFamily069Checks96 |
| SchemaAtom188 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · NameChecks |
| SchemaAtom189 | a finite metadata, layout or control label; the linked equations define its use and comparisons | SchemaChecksMC · NameCard |
| SchemaSymbol001 | a finite symbolic identifier in a schema/example namespace | AbilityChecksMC · PaidTimingChecks95; AbilityChecksMC · PaidRetainedApproachChecks95; AbilityChecksMC · SuppressInstructionContextFixture98 |
| SchemaSymbol002 | a finite symbolic identifier in a schema/example namespace | SchemaChecksMC · AffiliationChecks; SchemaContracts · SchemaSymbol002; SchemaContracts · Affiliations2 |
| Specimen0001 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ExampleFamily092SelectedChecks96; SpecimenFactsA · CardFacts9 |
| Specimen0002 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · PaidClassificationChecks95; AbilityChecksMC · PaidTimingChecks95; AbilityChecksMC · PaidInterruptTimingChecks95 |
| Specimen0003 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · LinkWorld107; ConnectionFacts · LinkSymbolFacts107; SpecimenFactsB · CardFacts10 |
| Specimen0004 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | TraversalChecksMC · SuccessChecks6 |
| Specimen0005 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · PaidClassificationChecks95; SpecimenFactsA · CardFacts9 |
| Specimen0006 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · BidMatrixChecks1014; AdditionalChecksMC · BidSecretChecks1014; AdditionalChecksMC · BidGrantChecks1014 |
| Specimen0007 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ConditionalOptionalUseChecks96; AbilityChecksMC · ConditionalOnceUseChecks96; AbilityChecksMC · ConditionalPassClosureChecks96 |
| Specimen0008 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · BidObserverChecks1014; AdditionalChecksMC · BidBindingChecks1014; SpecimenFactsB · CardFacts10 |
| Specimen0009 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · MustABRFixture912; SpecimenFactsA · CardFacts9 |
| Specimen0010 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · PersistentExampleFamily002DefinitionFixture912; AbilityChecksMC · PersistentBirthFixture912; AbilityChecksMC · PersistentThreatDefinition912 |
| Specimen0011 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ValueExampleFamily025AndPositiveObservationChecks99; SpecimenFactsA · CardFacts9 |
| Specimen0012 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · SimultaneousPrintedFixture912; AbilityChecksMC · SimultaneousNamedFixture912; SpecimenFactsA · CardFacts9 |
| Specimen0013 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · GeneralAbilityChecks9; AbilityChecksMC · ConditionalStaticRestrictionChecks94; AbilityChecksMC · ExtensionNaWorldFixture910 |
| Specimen0014 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · MustSpecimen0086Fixture912; AbilityChecksMC · MustSpecimen0086OptionsChecks912; AbilityChecksMC · MustSpecimen0086ActualActivationChecks912 |
| Specimen0015 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · StaticNoEffectThrottleChecks96; AbilityChecksMC · Specimen0015PinnedSentencesFixture911; AbilityChecksMC · Specimen0015TextFixture911 |
| Specimen0016 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ObservationExampleFamily069Checks96 |
| Specimen0017 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · DamagePacketChecks104; SpecimenFactsB · CardFacts10 |
| Specimen0018 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsA · CardFacts9 |
| Specimen0019 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · PaidTimingChecks95; AbilityChecksMC · PaidLifecycleChecks95; SpecimenFactsA · CardFacts9 |
| Specimen0020 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · OrderSpecimen0020ProfileChecks98; AbilityChecksMC · OrderSelfBeforeSchemaChecks98; AbilityChecksMC · OrderMixedStaticCopyChecks98 |
| Specimen0021 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · GeneralAbilityChecks9; SpecimenFactsA · CardFacts9 |
| Specimen0022 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ExampleFamily092SelectedChecks96; SpecimenFactsA · CardFacts9 |
| Specimen0023 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · FlagChecks93; AbilityChecksMC · ConditionalStaticRestrictionChecks94; SpecimenFactsA · CardFacts9 |
| Specimen0024 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · SabotageWorld1012; AdditionalChecksMC · SabotageObserverDefinitions1012; AdditionalChecksMC · SabotageObserverChecks1012 |
| Specimen0025 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalContracts · SabotageSources1012; SpecimenFactsB · CardFacts10 |
| Specimen0026 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · MarkBase1011; AdditionalChecksMC · MarkRelationChecks1011; AdditionalContracts · MarkRole1011 |
| Specimen0027 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0028 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0029 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · GeneralAbilityChecks9; AbilityChecksMC · PaidPriorityChecks92; AbilityChecksMC · TextInterpretationChecks93 |
| Specimen0030 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · DividendReplayFixture1013; SpecimenFactsB · CardFacts10 |
| Specimen0031 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ValueExampleFamily091Checks99; SpecimenFactsA · CardFacts9 |
| Specimen0032 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ValueSpecimen0147Checks99; AbilityChecksMC · Specimen0015TypedCallerFixture911; SpecimenFactsA · CardFacts9 |
| Specimen0033 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ObservationSpecimen0033Checks96; AbilityChecksMC · StaticTriggerSiblingControlChecks96; AbilityChecksMC · ConditionalAbilityChecks9 |
| Specimen0034 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · BarrierInstructionExampleFamily006Checks98; SpecimenFactsA · CardFacts9 |
| Specimen0035 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · DamagePacketChecks104; AdditionalChecksMC · DamageBatchChecks104; SpecimenFactsB · CardFacts10 |
| Specimen0036 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · GeneralChecks101; AdditionalChecksMC · SimultaneousActivationChecks101; AdditionalChecksMC · CheckpointCleanupChecks103 |
| Specimen0037 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · OrderSpecimen0139Specimen0037Checks98; AbilityChecksMC · OrderOriginBindingChecks98; AbilityChecksMC · BarrierInstructionChecks9 |
| Specimen0038 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · InformationChecks102; AdditionalChecksMC · CheckpointCleanupChecks103; AdditionalChecksMC · CheckpointHistoryChecks103 |
| Specimen0039 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ValueSpecimen0039AndSpecimen0091Checks99; AbilityChecksMC · InterruptReplacementChecks9; SpecimenFactsA · CardFacts9 |
| Specimen0040 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0041 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · SabotageWorld1012; AdditionalChecksMC · SabotageSourceChecks1012; AdditionalChecksMC · SabotageObserverDefinitions1012 |
| Specimen0042 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsA · CardFacts9 |
| Specimen0043 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · BidContext1014; AdditionalChecksMC · BidMatrixChecks1014; SpecimenFactsB · CardFacts10 |
| Specimen0044 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · ChargeChosenChecks1010; SpecimenFactsB · CardFacts10 |
| Specimen0045 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · MarkBase1011; AdditionalChecksMC · MarkCreator1011; AdditionalChecksMC · MarkCreateDetails1011 |
| Specimen0046 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · GeneralAbilityChecks9; AbilityChecksMC · PaidConvertedCounterChecks95; AbilityChecksMC · ObservationItemInspectionStipulationChecks96 |
| Specimen0047 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0048 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · SabotageAllocationChecks1012; AdditionalChecksMC · SabotageSourceChecks1012; AdditionalChecksMC · SabotageNegativeChecks1012 |
| Specimen0049 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · Specimen0049HostLegal103; AdditionalChecksMC · CheckpointEnvironmentChecks103; AdditionalChecksMC · CheckpointMarksChecks103 |
| Specimen0050 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ValueWholePreventionChecks99; SpecimenFactsA · CardFacts9 |
| Specimen0051 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · SimultaneousChoiceRowsFixture912; AbilityChecksMC · SimultaneousChoiceFixture912; AdditionalChecksMC · DamageObjectsFixture104 |
| Specimen0052 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · EscalatingResourceContestSideBSourceChecks108; SpecimenFactsB · CardFacts10 |
| Specimen0053 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · BidContext1014; SpecimenFactsB · CardFacts10 |
| Specimen0054 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · NormalizationSpecimen0054Fixture911; AbilityChecksMC · NormalizationRemainingNamedChecks911; AbilityChecksMC · NormalizationBranchMatrixChecks911 |
| Specimen0055 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsA · CardFacts9 |
| Specimen0056 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · EscalatingResourceContestWorld108; AdditionalContracts · EscalatingResourceContestRecurringPermission108; SpecimenFactsB · CardFacts10 |
| Specimen0057 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · LiabilityMarkerObjects106; AdditionalChecksMC · LiabilityMarkerDeclarations106; SpecimenFactsB · CardFacts10 |
| Specimen0058 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · ExposureMarkerObjectsFixture105; AdditionalChecksMC · ExampleFamily011PermissionFixture105; AdditionalContracts · ExampleFamily011ExposureMarkerPermission105 |
| Specimen0059 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · PaidPriorityChecks92; AbilityChecksMC · Specimen0015TypedCallerFixture911; AbilityChecksMC · MustItemInspectionFixture912 |
| Specimen0060 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · LoadAndEmptyChecks109; AdditionalChecksMC · UnloadedTypeChecks109; AdditionalChecksMC · LoadFreshnessChecks109 |
| Specimen0061 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · GeneralChecks101; SpecimenFactsB · CardFacts10 |
| Specimen0062 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0063 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsA · CardFacts9 |
| Specimen0064 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · ChargeChosenChecks1010; SpecimenFactsB · CardFacts10 |
| Specimen0065 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · SuppressInstructionDefinitionFixture98; AbilityChecksMC · SuppressInstructionAttemptAtWindowFixture98; AbilityChecksMC · SuppressInstructionAllAndOrdinaryChecks98 |
| Specimen0066 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · TypedInstructionInterruptChecks93; AbilityChecksMC · ConditionalInterruptRecognitionChecks96; SpecimenFactsA · CardFacts9 |
| Specimen0067 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · LoadAndEmptyChecks109; SpecimenFactsB · CardFacts10 |
| Specimen0068 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · NormalizationSpecimen0068Fixture911; AbilityChecksMC · NormalizationRemainingNamedChecks911; AbilityChecksMC · NormalizationExampleFamily046ChoiceFixture911 |
| Specimen0069 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · SearchSpecimen0075Fixture911; AbilityChecksMC · SearchSpecimen0075ProtocolValid911; AbilityChecksMC · SearchProtocolChecks911 |
| Specimen0070 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · GeneralAbilityChecks9; AbilityChecksMC · FlagChecks93; AbilityChecksMC · PaidExampleFamily040Checks95 |
| Specimen0071 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · DividendReplayFixture1013; SpecimenFactsB · CardFacts10 |
| Specimen0072 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · SabotageWorld1012; AdditionalChecksMC · SabotageObserverDefinitions1012; AdditionalContracts · SabotageObserverRole1012 |
| Specimen0073 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsA · CardFacts9 |
| Specimen0074 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsA · CardFacts9 |
| Specimen0075 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · SearchSpecimen0075Fixture911; AbilityChecksMC · SearchSpecimen0075ProtocolValid911; AbilityChecksMC · SearchExampleFamily041Fixture911 |
| Specimen0076 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · EndingContextChecks92; AbilityChecksMC · PersistentDoppelDefinitionFixture912; AbilityChecksMC · PersistentBirthForSourceFixture912 |
| Specimen007691 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · EndingContextChecks92 |
| Specimen0077 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0078 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ConditionalOptionalUseChecks96; AbilityChecksMC · ConditionalPassClosureChecks96; AbilityChecksMC · ConditionalExampleFamily001ExampleFamily012Scenario96 |
| Specimen0079 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ObservationInstructionConditionChecks96; AbilityChecksMC · DelayedRecognitionFixture96; AbilityChecksMC · DelayedExplicitDurationChecks96 |
| Specimen0080 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · GeneralAbilityChecks9; SpecimenFactsA · CardFacts9 |
| Specimen0081 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · LiabilityMarkerLifecycleChecks106; AdditionalChecksMC · LiabilityMarkerPaymentChecks106; SpecimenFactsB · CardFacts10 |
| Specimen0082 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · DividendCaptureChecks1013; AdditionalChecksMC · DividendBodyChecks1013; AdditionalChecksMC · DividendMissingSourceChecks1013 |
| Specimen0083 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · SabotageAllocationChecks1012; AdditionalChecksMC · SabotageSourceChecks1012; AdditionalChecksMC · SabotagePrivacyChecks1012 |
| Specimen0084 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · MustExampleFamily016Fixture912; SpecimenFactsA · CardFacts9 |
| Specimen0085 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0086 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · MustSpecimen0086Fixture912; AbilityChecksMC · MustSpecimen0086OptionsChecks912; AbilityChecksMC · MustSpecimen0086ActualActivationChecks912 |
| Specimen0087 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · WouldExampleFamily068HistoryChecks99; SpecimenFactsA · CardFacts9 |
| Specimen0088 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · CancellationPriorityChecks92; AbilityChecksMC · FlagChecks93; AbilityChecksMC · ExampleFamily092SelectedChecks96 |
| Specimen0089 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · BidPlainWorld1014; AdditionalChecksMC · BidGrant1014; AdditionalContracts · BidHostedPermission1014 |
| Specimen0090 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · PaidClassificationChecks95; AbilityChecksMC · PaidSpecimen0090Checks95; AbilityChecksMC · PaidAbilityChecks9 |
| Specimen0091 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ValueSpecificationChecks94; AbilityChecksMC · ValueSpecimen0039AndSpecimen0091Checks99; AbilityChecksMC · InterruptReplacementChecks9 |
| Specimen0092 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · ChargeChosenChecks1010; SpecimenFactsB · CardFacts10 |
| Specimen0093 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · LinkWorld107; ConnectionFacts · LinkSymbolFacts107; SpecimenFactsB · CardFacts10 |
| Specimen0094 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · QuantitySpecimen0094Specimen0251Checks912; AbilityChecksMC · OtherRulesChecks912; AbilityContracts · Specimen0094FullySuppressInstructionMatch912 |
| Specimen0095 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsA · CardFacts9 |
| Specimen0096 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · BidMatrixChecks1014; AdditionalChecksMC · BidDetachedChecks1014; AdditionalChecksMC · BidObserverChecks1014 |
| Specimen0097 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · BidMatrixChecks1014; AdditionalChecksMC · BidSecretChecks1014; AdditionalChecksMC · BidGrantChecks1014 |
| Specimen0098 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · CheckpointEnvironmentChecks103; SpecimenFactsB · CardFacts10 |
| Specimen0099 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · OrderSpecimen0020ProfileChecks98; AbilityChecksMC · SuppressInstructionAllAndOrdinaryChecks98; AbilityChecksMC · SuppressInstructionSpecimen0020StatusChecks98 |
| Specimen0100 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · StaticGeneralChecks94; AbilityChecksMC · Specimen0189Specimen0100Checks94; AbilityChecksMC · StaticAbilityChecks9 |
| Specimen0101 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · EscalatingResourceContestSpecimen0101Associations108; AdditionalChecksMC · EscalatingResourceContestWorld108; AdditionalChecksMC · EscalatingResourceContestAtom108 |
| Specimen0102 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · BidPlainWorld1014; AdditionalChecksMC · BidExampleFamily022Checks1014; AdditionalContracts · BidExampleFamily022Ids1014 |
| Specimen0103 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · SuppressInstructionHookExampleChecks98; AbilityChecksMC · SuppressInstructionEndedAndProfileChecks98; SpecimenFactsA · CardFacts9 |
| Specimen0104 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ValueExampleFamily025AndPositiveObservationChecks99; AbilityChecksMC · LexicalExampleFamily025ObserverFixture99; AbilityChecksMC · LexicalNamedObjects99 |
| Specimen0105 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · RelevanceSpecimen0105Definition99; AbilityChecksMC · RelevanceDefinitions99; AbilityChecksMC · RelevanceOpeningFixture99 |
| Specimen0106 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · ExposureMarkerQuantityAndStatusChecks105; AdditionalChecksMC · ExtraWorldFixture105; SpecimenFactsB · CardFacts10 |
| Specimen0107 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · PaidTimingChecks95; AbilityChecksMC · PaidRetainedApproachChecks95; AbilityChecksMC · SuppressInstructionHookExampleChecks98 |
| Specimen0108 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · OrderSpecimen0108TLDRChecks98; AbilityChecksMC · BarrierInstructionChecks9; SpecimenFactsA · CardFacts9 |
| Specimen0109 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0110 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · GeneralAbilityChecks9; AbilityChecksMC · ConditionalMultiplicityChecks96; AbilityChecksMC · ConditionalDepartureChecks96 |
| Specimen0111 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · DamagePacketChecks104; AdditionalChecksMC · LiabilityMarkerPacketChecks106; AdditionalChecksMC · LiabilityMarkerLifecycleChecks106 |
| Specimen0112 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · SimultaneousPrintedFixture912; AbilityChecksMC · SimultaneousNamedFixture912; AbilityChecksMC · SimultaneousExampleFamily030DependenciesChecks912 |
| Specimen0113 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · BidObserverChecks1014; AdditionalContracts · BidObserverRule1014; SpecimenFactsB · CardFacts10 |
| Specimen0114 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · ExampleFamily049ChargeFixture1010; AdditionalChecksMC · ChargeExampleFamily049Checks1010; SpecimenFactsB · CardFacts10 |
| Specimen0115 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · FlagChecks93; AbilityChecksMC · PaidClassificationChecks95; AbilityChecksMC · PaidMidItemInspectionChecks95 |
| Specimen0116 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0117 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · DelayedScenarioFixture96; AbilityChecksMC · DelayedExplicitDurationChecks96; AbilityChecksMC · DelayedTraversalScopeChecks96 |
| Specimen0118 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · InformationChecks102; SpecimenFactsB · CardFacts10 |
| Specimen0119 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · MarkBase1011; AdditionalChecksMC · MarkSpecimen0119Checks1011; AdditionalChecksMC · Block10Assertions |
| Specimen0120 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · ChargeAbility1010; AdditionalChecksMC · ChargeChosenChecks1010; SpecimenFactsB · CardFacts10 |
| Specimen0121 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · LiabilityMarkerPacketChecks106; SpecimenFactsB · CardFacts10 |
| Specimen0122 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · GeneralAbilityChecks9; AdditionalChecksMC · DamageObjectsFixture104; SpecimenFactsA · CardFacts9 |
| Specimen0123 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0124 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0125 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0126 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · DelayedScenarioFixture96; AbilityChecksMC · DelayedNextResolutionChecks96; AbilityChecksMC · DelayedLifetimeCreationChecks910 |
| Specimen0127 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · LinkFreshnessChecks107; AdditionalChecksMC · LinkProfileAndUseChecks107; ConnectionFacts · LinkProfileFacts107 |
| Specimen0128 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · NamedModalTechniqueFixture912; AbilityChecksMC · NamedModalControlFixture912; AbilityChecksMC · OccurrencePinnedKPIModeChecks912 |
| Specimen0129 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · GeneralChecks101 |
| Specimen0130 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · OrderSubtypeClass080ManualChecks98; AbilityChecksMC · OrderLaterManualCopyChecks98; SpecimenFactsA · CardFacts9 |
| Specimen0131 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0132 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · BarrierInstructionNormalChecks98; AbilityChecksMC · BarrierInstructionExampleFamily062Checks98; AbilityChecksMC · BarrierInstructionOpeningProfileChecks98 |
| Specimen0133 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ProcessSpecimen0133ObservationFixture99; AbilityChecksMC · ProcessSpecimen0133ObservationBound99; AbilityChecksMC · ProcessSpecimen0133Active99 |
| Specimen0134 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · OrderInstructionFixture98; AbilityChecksMC · OrderSpecimen0134Checks98; AbilityChecksMC · BarrierInstructionChecks9 |
| Specimen0135 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · SimultaneousNamedFixture912; AbilityChecksMC · SimultaneousSpecimen0135CycleChecks912; AbilityChecksMC · SimultaneousHostedOnlyInCycleChecks912 |
| Specimen0136 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · ExtraWorldFixture105; AdditionalChecksMC · ExposureMarkerAdditionalCostChecks105; AdditionalContracts · ResourceKnownCostSources105 |
| Specimen0137 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · BidContext1014; AdditionalChecksMC · BidDetachedChecks1014; SpecimenFactsB · CardFacts10 |
| Specimen0138 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · SabotageWorld1012; SpecimenFactsB · CardFacts10 |
| Specimen0139 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · OrderSpecimen0139Specimen0037Checks98; AbilityChecksMC · BarrierInstructionChecks9; AbilityChecksMC · ReplacementSiblingAncestryChecks99 |
| Specimen0140 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ExampleFamily092SelectedChecks96; SpecimenFactsA · CardFacts9 |
| Specimen0141 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · SabotageWorld1012; AdditionalContracts · SabotageSources1012; SpecimenFactsB · CardFacts10 |
| Specimen0142 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · GeneralAbilityChecks9; AbilityChecksMC · PaidExampleFamily040Checks95; AbilityChecksMC · DelayedScenarioFixture96 |
| Specimen0143 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · OrderSubtypeClass080ManualChecks98; SpecimenFactsA · CardFacts9 |
| Specimen0144 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0145 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ExtensionNaWorldFixture910; AbilityChecksMC · LifetimeImplicitOtherTargetChecks910; AbilityChecksMC · SearchSpecimen0075Fixture911 |
| Specimen0146 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · SimultaneousPrintedFixture912; AbilityChecksMC · SimultaneousNamedFixture912; AbilityChecksMC · SimultaneousResidualCycleChecks912 |
| Specimen0147 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ValueSpecimen0147Checks99; AbilityChecksMC · InterruptReplacementChecks9; SpecimenFactsA · CardFacts9 |
| Specimen0148 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · PaidMidItemInspectionChecks95; AbilityChecksMC · ConditionalMultiplicityChecks96; AbilityChecksMC · ConditionalDepartureScenario96 |
| Specimen0149 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ExtensionNaWorldFixture910; AbilityChecksMC · ExtensionNaArithmeticChecks910; AbilityChecksMC · ExtensionAbsentEncounterChecks910 |
| Specimen0150 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · GeneralAbilityChecks9; AbilityChecksMC · ConditionalSpecimen0150LifecycleChecks96; AbilityChecksMC · ExampleFamily092SelectedChecks96 |
| Specimen0151 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · GeneralAbilityChecks9; AbilityChecksMC · TextInterpretationChecks93; AbilityChecksMC · PaidExampleFamily048Checks95 |
| Specimen0152 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · QuantityExampleFamily033Fixture912; SpecimenFactsA · CardFacts9 |
| Specimen0153 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ExampleFamily047DefinitionFixture97; AbilityChecksMC · ExampleFamily047ExampleFamily037StartFixture97; AbilityChecksMC · ExampleFamily047PlayReactionDrainChecks97 |
| Specimen0154 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · LinkWorld107; AdditionalChecksMC · EscalatingResourceContestAt108; AdditionalChecksMC · EscalatingResourceContestReactionProjectionChecks108 |
| Specimen0155 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ValueWholePreventionChecks99; SpecimenFactsA · CardFacts9 |
| Specimen0156 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0157 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · MustItemInspectionFixture912; SpecimenFactsA · CardFacts9 |
| Specimen0158 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · GeneralChecks101; AdditionalChecksMC · CheckpointMarksChecks103; SpecimenFactsB · CardFacts10 |
| Specimen0159 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · SabotageSourceChecks1012; AdditionalChecksMC · SabotageObserverChecks1012; AdditionalContracts · SabotageSources1012 |
| Specimen0160 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ConditionalMixedDepartureChecks96; AbilityChecksMC · ObservationSpecimen0033Checks96; AbilityChecksMC · ObservationLateExampleFamily035Checks96 |
| Specimen0161 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · BidGeneralChecks1014; AdditionalChecksMC · BidObserverChecks1014; AdditionalChecksMC · BidRepairWorld1014 |
| Specimen0162 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ExampleFamily021NoExampleFamily026Definition99; AbilityChecksMC · ExampleFamily021Definitions99; AbilityChecksMC · ExampleFamily021Lexemes99 |
| Specimen0163 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · LinkProfileAndUseChecks107; AdditionalChecksMC · EscalatingResourceContestPhaseChecks108; AdditionalChecksMC · EscalatingResourceContestPacketChecks108 |
| Specimen0164 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0165 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · MarkBase1011; AdditionalChecksMC · MarkSuccessDefinitions1011; AdditionalContracts · MarkRole1011 |
| Specimen0166 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ObservationLateExampleFamily035Checks96; SpecimenFactsA · CardFacts9 |
| Specimen0167 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · DamageSequentialChecks104; SpecimenFactsB · CardFacts10 |
| Specimen0168 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SettlementFacts · DividendPrintedFacts1013; SpecimenFactsB · CardFacts10 |
| Specimen0169 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ExampleFamily037CardFixture97; AbilityChecksMC · ExampleFamily037SourceTextFixture97; AbilityChecksMC · LoopGenericLifecycleChecks97 |
| Specimen0170 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · ChargeChosenChecks1010; SpecimenFactsB · CardFacts10 |
| Specimen0171 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0172 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · OrderSpecimen0020ProfileChecks98; AbilityChecksMC · SuppressInstructionSpecimen0020StatusChecks98; SpecimenFactsA · CardFacts9 |
| Specimen0173 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · ExposureMarkerObjectsFixture105; AdditionalChecksMC · ExposureMarkerWorldFixture105; AdditionalChecksMC · ExposureMarkerDeclarationsFixture105 |
| Specimen0174 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · StaticSelectionFixture96; AbilityChecksMC · StaticBeginningChecks96; AdditionalChecksMC · GeneralChecks101 |
| Specimen0175 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsA · CardFacts9 |
| Specimen0176 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ExampleFamily039CardFixture97; AbilityChecksMC · ExampleFamily039SourceTextFixture97; AbilityChecksMC · PlayEmptyCohortChecks97 |
| Specimen0177 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ExtensionSpecimen0177Fixture910; AbilityChecksMC · ExtensionSpecimen0177FollowChecks910; AbilityChecksMC · ExtensionChecks910 |
| Specimen0178 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0179 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · BarrierInstructionExampleFamily006Checks98; SpecimenFactsA · CardFacts9 |
| Specimen0180 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · RootBranchObjects911; AbilityChecksMC · RootBranchTechnique911; AbilityChecksMC · SearchSpecimen0075Fixture911 |
| Specimen0181 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ValueExampleFamily025AndPositiveObservationChecks99; AdditionalChecksMC · LoadAndEmptyChecks109; AdditionalChecksMC · LoadEffectiveCountChecks109 |
| Specimen0182 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · EscalatingResourceContestWorld108; AdditionalChecksMC · EscalatingResourceContestInitiationReactionChecks108; SpecimenFactsB · CardFacts10 |
| Specimen0183 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · QuantityExampleFamily043OneDamageChecks912; SpecimenFactsA · CardFacts9 |
| Specimen0184 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · EscalatingResourceContestWorld108; AdditionalContracts · EscalatingResourceContestRecurringPermission108; SpecimenFactsB · CardFacts10 |
| Specimen0185 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ProcessCardFixture99; AbilityChecksMC · ProcessSourceTextFixture99; AbilityChecksMC · ProcessStartFixture99 |
| Specimen0186 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · DividendCaptureChecks1013; AdditionalChecksMC · DividendBodyChecks1013; AdditionalChecksMC · DividendBoundaryChecks1013 |
| Specimen0187 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ReplacementExampleFamily073Checks99; AbilityChecksMC · ReplacementLineageChecks99; SpecimenFactsA · CardFacts9 |
| Specimen0188 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · PaidTimingChecks95; AbilityChecksMC · PaidForfeitChecks95; AbilityChecksMC · PaidRetainedApproachChecks95 |
| Specimen0189 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · Specimen0189Specimen0100Checks94; AbilityChecksMC · StaticAbilityChecks9; AbilityChecksMC · ContinuousGebrFixture99 |
| Specimen0190 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · DamagePacketChecks104; SpecimenFactsB · CardFacts10 |
| Specimen0191 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · BidGeneralChecks1014; AdditionalChecksMC · BidObserverChecks1014; AdditionalContracts · RevealBids1014 |
| Specimen0192 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ObservationItemInspectionStipulationChecks96; SpecimenFactsA · CardFacts9 |
| Specimen0193 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · LinkWorld107; ConnectionFacts · LinkSymbolFacts107; SpecimenFactsB · CardFacts10 |
| Specimen0194 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsA · CardFacts9 |
| Specimen0195 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · QuantitySpecimen0195Fixture912; AbilityChecksMC · QuantityMixedSpecimen0195Checks912; AbilityChecksMC · QuantityNonaggregatedZeroChecks912 |
| Specimen0196 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ConditionalMultiplicityChecks96; AbilityChecksMC · ConditionalMixedDepartureChecks96; AbilityChecksMC · ObservationLateExampleFamily035Checks96 |
| Specimen0197 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · PaidExampleFamily048Checks95; SpecimenFactsA · CardFacts9 |
| Specimen0198 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · FlagChecks93; AbilityChecksMC · PersistentSpecimen0198DefinitionFixture912; AbilityChecksMC · PersistentStaticSourceChecks912 |
| Specimen0199 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · LoadAndEmptyChecks109; AdditionalChecksMC · LoadIncarnationChecks109; AdditionalChecksMC · ChargeWorld1010 |
| Specimen0200 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · BidContext1014; AdditionalChecksMC · BidGeneralChecks1014; AdditionalContracts · RevealBids1014 |
| Specimen0201 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · ChargeAbility1010; AdditionalChecksMC · ChargeParticularChecks1010; AdditionalChecksMC · ChargeBindingChecks1010 |
| Specimen0202 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · QuantityStructuralFixture912; AbilityChecksMC · QuantitySpecimen0202Checks912; AbilityChecksMC · QuantityRealSourceQueriesChecks912 |
| Specimen0203 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ConditionalStaticRestrictionChecks94; AbilityContracts · Specimen0203HostedOnBarrier94; AbilityContracts · Specimen0203AdditionalMoveConstraint94 |
| Specimen0204 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · FlagChecks93; AbilityChecksMC · ConditionalStaticRestrictionChecks94; AbilityChecksMC · ExtensionNaWorldFixture910 |
| Specimen0205 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · BidPlainWorld1014; AdditionalChecksMC · BidGrant1014; AdditionalContracts · BidExampleFamily050Lock1014 |
| Specimen0206 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · RelevanceConstructDefinition99; AbilityChecksMC · RelevanceLexemes99; AbilityChecksMC · RelevanceObjects99 |
| Specimen0207 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · EndingContextChecks92; SpecimenFactsA · CardFacts9 |
| Specimen0208 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · DividendWorld1013; AdditionalChecksMC · DividendBoundaryChecks1013; AdditionalContracts · ReadDividendExampleFamily052Requirement1013 |
| Specimen0209 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ObservationSpecimen0033Checks96; SpecimenFactsA · CardFacts9 |
| Specimen0210 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · NamedModalTechniqueFixture912; AbilityChecksMC · NamedModalControlFixture912; AbilityChecksMC · OccurrencePinnedModalChoosersChecks912 |
| Specimen0211 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · MustResourcesFixture912; AbilityChecksMC · MustItemInspectionFixture912; AbilityChecksMC · MustExampleFamily031LegalityMatrixChecks912 |
| Specimen0212 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · ExposureMarkerObjectsFixture105; AdditionalContracts · ResourceKnownCostSources105; AdditionalContracts · ResourceKnownCostInventory105 |
| Specimen0213 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · LinkWorld107; AdditionalChecksMC · EscalatingResourceContestSideBSourceChecks108; ConnectionFacts · LinkSymbolFacts107 |
| Specimen0214 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ReplacementInspectionFixture99; AbilityChecksMC · ReplacementInspectionChecks99; AbilityChecksMC · LexicalExampleFamily055Fixture99 |
| Specimen0215 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SettlementFacts · DividendPrintedFacts1013; SpecimenFactsB · CardFacts10 |
| Specimen0216 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · MustABRFixture912; AbilityChecksMC · MustSpecimen0216DeclineChecks912; AbilityChecksMC · OtherRulesChecks912 |
| Specimen02161 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · MustABRFixture912; AbilityChecksMC · MustSpecimen0216DeclineChecks912; AbilityChecksMC · MustABRCurrentTraversalEventChecks912 |
| Specimen0217 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · NormalizationExampleFamily057Fixture911; AbilityChecksMC · NormalizationNamedBaseChecks911; AbilityChecksMC · NormalizationRepairRegressionChecks911 |
| Specimen0218 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ReplacementInspectionFixture99; AbilityChecksMC · ReplacementInspectionChecks99; SpecimenFactsA · CardFacts9 |
| Specimen0219 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · QuantitySpecimen0219Fixture912; AbilityChecksMC · QuantitySpecimen0219Valid912; AbilityChecksMC · QuantitySpecimen0219SimultaneousChecks912 |
| Specimen0220 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsA · CardFacts9 |
| Specimen0221 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · GeneralAbilityChecks9; AbilityChecksMC · PaidPriorityChecks92; AbilityChecksMC · MidItemInspectionPriorityChecks92 |
| Specimen0222 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsA · CardFacts9 |
| Specimen0223 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · OrderSpecimen0134Checks98; SpecimenFactsA · CardFacts9 |
| Specimen0224 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0225 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · ChargeAbility1010; AdditionalChecksMC · ChargeChosenChecks1010; AdditionalChecksMC · ChargeCurrentLegalityChecks1010 |
| Specimen0226 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · SubStartFixture98; AbilityContracts · ExampleFamily062SourcesValid98; SpecimenFactsA · CardFacts9 |
| Specimen0227 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · PaidExampleFamily040Checks95; AbilityChecksMC · PaidConvertedCounterChecks95; AdditionalChecksMC · InformationChecks102 |
| Specimen0228 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · OrderSubtypeClass080ManualChecks98; AbilityChecksMC · OrderLaterManualCopyChecks98; AbilityChecksMC · OrderSelfBeforeSchemaChecks98 |
| Specimen0229 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · GeneralAbilityChecks9; AdditionalChecksMC · LinkWorld107; AdditionalChecksMC · LinkValueChecks107 |
| Specimen0230 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · LoadAndEmptyChecks109; SpecimenFactsB · CardFacts10 |
| Specimen0231 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · EscalatingResourceContestWorld108; AdditionalChecksMC · EscalatingResourceContestAt108; AdditionalContracts · EscalatingResourceContestOrder108 |
| Specimen0232 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · QuantityXFixture912; AbilityChecksMC · QuantitySpecimen0232ActiveChecks912; AbilityChecksMC · QuantitySpecimen0232InactiveChecks912 |
| Specimen0233 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · ExposureMarkerObjectsFixture105; AdditionalChecksMC · ExampleFamily094WorldFixture105; AdditionalContracts · ExampleFamily094ExposureMarkerCostShape105 |
| Specimen0234 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ExtensionOtherSourceDurationChecks910; SpecimenFactsA · CardFacts9 |
| Specimen0235 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · CheckpointHistoryChecks103; SpecimenFactsB · CardFacts10 |
| Specimen0236 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · EndingContextChecks92; AbilityChecksMC · ConditionalSpecimen0150LifecycleChecks96; SpecimenFactsA · CardFacts9 |
| Specimen0237 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · LexicalExampleFamily092Fixture99; AbilityChecksMC · LexicalNamedObjects99; AbilityChecksMC · LexicalNamedClassChecks99 |
| Specimen0238 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ValueSpecificationChecks94; AbilityChecksMC · ValueSpecimen0147Checks99; AdditionalChecksMC · DamagePacketChecks104 |
| Specimen0239 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0240 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ObservationInstructionConditionChecks96; SpecimenFactsA · CardFacts9 |
| Specimen0241 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · LexicalSyntheticConditional99; AbilityChecksMC · LexicalExposureMarkerFixture99; AbilityChecksMC · LexicalNamedObjects99 |
| Specimen0242 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · SabotageSourceChecks1012; AdditionalChecksMC · SabotageDepartedSource1012; AdditionalChecksMC · SabotageDepartureChecks1012 |
| Specimen0243 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · SearchSpecimen0075Fixture911; AbilityChecksMC · SearchReactionDrainChecks911; AbilityChecksMC · NormalizationSpecimen0243Fixture911 |
| Specimen0244 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · SimultaneousPrintedFixture912; AbilityChecksMC · SimultaneousChoiceRowsFixture912; AbilityChecksMC · SimultaneousChoiceFixture912 |
| Specimen0245 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · OrderSpecimen0134Checks98; AbilityChecksMC · BarrierInstructionProfileChecks98; AbilityChecksMC · BarrierInstructionForcedChecks98 |
| Specimen0246 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0247 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · OrderGrantFixture98; AbilityChecksMC · OrderSpecimen0108TLDRChecks98; AbilityChecksMC · OrderLaterManualCopyChecks98 |
| Specimen0248 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | OperationChecksMC · DrawChecks8; TraversalChecksMC · TraversalEndsChecks6 |
| Specimen0249 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ReplacementExampleFamily068Checks99; AbilityChecksMC · WouldExampleFamily068HistoryChecks99; AbilityChecksMC · RelevanceExampleFamily068Definition99 |
| Specimen0250 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ObservationExampleFamily069Checks96; SpecimenFactsA · CardFacts9 |
| Specimen0251 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · QuantitySpecimen0094Specimen0251Checks912; AbilityChecksMC · OtherRulesChecks912; SpecimenFactsA · CardFacts9 |
| Specimen0252 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ExampleFamily006ReplacementFixture98; AbilityContracts · ReplaceBarrierInstructionPayload98; SpecimenFactsA · CardFacts9 |
| Specimen0253 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · MarkBase1011; SpecimenFactsB · CardFacts10 |
| Specimen0254 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ObservationInstructionConditionChecks96; SpecimenFactsA · CardFacts9; SpecimenFactsB · CardFacts10 |
| Specimen0255 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · QuantityRealSourceQueriesChecks912; AbilityChecksMC · QuantityInterruptFixture912; AbilityContracts · ExampleFamily072DamageQuantity912 |
| Specimen0256 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · OrderSpecimen0020ProfileChecks98; AbilityChecksMC · SuppressInstructionSpecimen0020StatusChecks98; SpecimenFactsA · CardFacts9 |
| Specimen0257 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | ConnectionFacts · LinkProfileFacts107; SpecimenFactsB · CardFacts10 |
| Specimen0258 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · GeneralAbilityChecks9; AbilityChecksMC · MustSpecimen0086Fixture912; SpecimenFactsA · CardFacts9 |
| Specimen0259 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AdditionalChecksMC · MarkBase1011; AdditionalChecksMC · MarkSuccessDefinitions1011; AdditionalChecksMC · MarkSuccessHistoryChecks1011 |
| Specimen0260 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | SpecimenFactsB · CardFacts10 |
| Specimen0261 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · Specimen0261StableQuotaFixture912; AbilityChecksMC · OccurrencePinnedSpecimen0261StableQuotaChecks912; AbilityChecksMC · OtherRulesChecks912 |
| Specimen0262 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · OrderSpecimen0134Checks98; AbilityChecksMC · OrderSelfBeforeSchemaChecks98; AbilityChecksMC · SimultaneousPrintedFixture912 |
| Specimen0263 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · QuantitySpecimen0219Fixture912; SpecimenFactsA · CardFacts9 |
| Specimen0264 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · PaidMidItemInspectionChecks95; SpecimenFactsA · CardFacts9 |
| Specimen0265 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ObservationHistoricalAdvanceChecks96; AbilityChecksMC · WouldExampleFamily068HistoryChecks99; SpecimenFactsA · CardFacts9 |
| Specimen0266 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · OccurrencePinnedModalChoosersChecks912; SpecimenFactsA · CardFacts9 |
| Specimen0267 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · BarrierInstructionNestedChecks98; AbilityChecksMC · CallerNestedFixture911; AdditionalChecksMC · GeneralChecks101 |
| Specimen0268 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · ExampleFamily078UsageChecks93; SpecimenFactsA · CardFacts9 |
| Specimen0269 | a synthetic item-definition key; it selects the explicit structured properties in the reference source | AbilityChecksMC · QuantityXFixture912; AbilityChecksMC · QuantitySpecimen0232InactiveChecks912; SpecimenFactsA · CardFacts9 |
| SubtypeClass024 | a synthetic subtype identifier; effective membership is determined by the subtype-count contracts | AbilityContracts · EnterInstructionBarrierInstruction98 |
| SubtypeClass080 | a synthetic subtype identifier; effective membership is determined by the subtype-count contracts | AbilityChecksMC · OrderSubtypeClass080ManualChecks98; AbilityChecksMC · OrderLaterManualCopyChecks98; AbilityChecksMC · BarrierInstructionChecks9 |
| SyntheticText01c2fca3232f | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · NormalizationSpecimen0068Fixture911 |
| SyntheticText0c2913e6daf8 | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · NormalizationSpecimen0054Fixture911 |
| SyntheticText1328c2095018 | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · ProcessStartFixture99; AbilityChecksMC · SourceProcessPlayAdoptionFixture911 |
| SyntheticText197ed56fc493 | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · LexicalSyntheticText99 |
| SyntheticText1ecabfd5b50c | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · NormalizationExampleFamily057Fixture911 |
| SyntheticText41063c3c8886 | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · NormalizationSpecimen0054Fixture911 |
| SyntheticText47b7ea5c9468 | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · NormalizationSpecimen0075Fixture911 |
| SyntheticText5b16ab2410a2 | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · Specimen0015PinnedSentencesFixture911; AbilityChecksMC · NormalizationSpecimen0015Fixture911 |
| SyntheticText608e0f7db8a7 | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · OccurrenceRepeatText912 |
| SyntheticText640e46b6a9db | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · OccurrenceSchemaText912 |
| SyntheticText6dc25f72a12e | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · Specimen0015PinnedSentencesFixture911; AbilityChecksMC · NormalizationSpecimen0015Fixture911 |
| SyntheticText7fe7ecd09576 | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · Specimen0015TextFixture911; AbilityChecksMC · NormalizationStaticOmissionFixture911 |
| SyntheticText866cc72ae988 | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · NormalizationSpecimen0054Fixture911 |
| SyntheticText8adf464e5286 | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · NormalizationSpecimen0243Fixture911 |
| SyntheticText99 | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · LexicalSyntheticText99 |
| SyntheticTextab2ff0b760f3 | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · OccurrenceCommittedText912 |
| SyntheticTextbedff52c140b | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · LoopGenericSource97 |
| SyntheticTextca95582896be | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · NormalizationSpecimen0075Fixture911 |
| SyntheticTextf0fe00572328 | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · RootBranchText911 |
| SyntheticTextffd3e9496ac4 | an uninterpreted synthetic text/data atom; executable behavior comes from structured rules and equations rather than this spelling | AbilityChecksMC · NormalizationSpecimen0243Fixture911 |