Product model verification checks

PolicyCenter groups verification checks into the following categories:

Category	Description
Product Model	Constraints on product model entities only, independent of any policies that may use them.
Policy	Constraints on policy entities only, independent of the product model.
Syntactic	Low-level dependencies between policies and the product model that must be enforced for all policies.
Semantic	Business-level constraints between policies and the product model.

Note: The verification checks are built into PolicyCenter. You cannot change or modify them.

`Product`, `Policy`, and `PolicyLine` verification

During product model verification, PolicyCenter runs the following checks on each Product, Policy, and PolicyLine in the active product model definition:

Verification category	Description
Product Model	The `PolicyLineSubtype` is defined on every `PolicyLinePattern`.
Product Model	No `Product` contains multiple `PolicyLinePattern` entities of the same type.
Syntactic	The type of each `PolicyLine` agrees with its pattern's `PolicyLineSubtype`.
Syntactic	No `PolicyPeriod` contains multiple lines of the same type.
Syntactic	Each `PolicyLinePattern` is part of the `Product` referenced by its `Policy`.

`Coverage` verification

During product model verification, PolicyCenter runs the following checks on each Coverage in the current product model definition:

Verification category	Description
Syntactic	All `Coverage` entities on a policy line map to `CoveragePattern` entities associated with the line's `PolicyLinePattern`.
Syntactic	Each `Coverable` has no two `Coverage` entities with the same `CoveragePattern`.
Product model	The `CoveragePattern.Subtype` field must name a coverage of the appropriate subtype for its owning entity.

`CoverageTerm` verification

During product model verification, PolicyCenter runs the following checks on each CoverageTerm in the current product model definition:

Verification category	Description
Semantic	The value of every `DirectCovTerm` is in bounds.
Product Model	Every `OptionCovTermPattern` has at least one `CovTermOpt`.
Product Model	Every `PackageCovTermPattern` has at least one `CovTermPack`.
Product Model	Every `CovTermPack` has at least one `PackageTerm`.
Semantic	The value of every required `OptionCovTerm` is non-null.
Semantic	The value of every required `PackageCovTerm` is non-null.
Semantic	The value of every required `DirectCovTerm` is non-null.

`Modifier` verification

During product model verification, PolicyCenter runs the following checks on each Modifier in the current product model definition:

Verification category	Description
Syntactic	All `Modifier` entities on a line are associated to a `ModifierPattern` in the line's `PolicyLinePattern`.
Semantic	`RateModifier` entities have a rate value at least that of the ModifierPattern entity’s specified lower bound, if any.
Semantic	`RateModifier` entities have a rate value at most that of the ModifierPattern entity's specified upper bound, if any.
Product Model	Only rate modifiers can be schedule rates.
Product Model	Only schedule rate modifier patterns have rate factor patterns.
Syntactic	Only schedule rates have rate factors.
Product Model	The `RateFactorPattern` entities for any given `ModifierPattern` all have distinct types.
Syntactic	All `RateFactor` entities on a schedule rate are instantiated from a `RateFactorPattern` associated with the `ModifierPattern`.
Semantic	`RateFactor` entities have a rate value at least that of the RateFactorPattern entity’s specified lower bound.
Semantic	`RateFactor` entities have a rate value at most that of the RateFactorPattern entity's specified upper bound.
Product Model	The `ModifierPattern` entities within any `PolicyLinePattern` all have unique `RefCode` values.
Syntactic	No `PolicyLine` contains two `Modifier` entities of the same type in the same jurisdiction with overlapping effective dates.
Product Model	Each `RateFactorPattern` contains at most one `RateFactorMinMaxLookup` for each jurisdiction.
Product Model	Every ModifierPattern entity's default minimum/maximum interval is non-empty
Product Model	Every ModifierMinMaxLookup entity's minimum/maximum interval is non-empty.
Product Model	Every RateFactorPattern entity's default minimum/maximum interval is non-empty.
Product Model	Every RateFactorMinMaxLookup entity's minimum/maximum interval is non-empty.

`CoverageSymbol` verification

During product model verification, PolicyCenter runs the following checks on each CoverageSymbol in the current product model definition:

Verification category	Description
Product Model	The `CoverageSymbolGroupPattern` referenced by a `CoveragePattern` must be contained in the same `PolicyLinePattern` as the `CoveragePattern`.
Product Model	The `CoverageSymbolPattern` entities in a `CoverageSymbolGroupPattern` have distinct symbol types.
Syntactic	All `CoverageSymbolGroup` entities in a given line are instantiated from `CoverageSymbolGroupPattern` entities in the line's `PolicyLinePattern`.
Syntactic	No two `CoverageSymbolGroup` entities in a given line are instantiated from the same pattern.
Syntactic	All `CoverageSymbol` entities in a given `CoverageSymbolGroup` are instantiated from `CoverageSymbolPattern` entities in the group's `CoverageSymbolGroupPattern`.
Syntactic	No two `CoverageSymbol` entities in a given `CoverageSymbolGroup` are instantiated from the same pattern.
Syntactic	The `Coverage.CoverageSymbolGroup` field is non-null if and only if the `CoveragePattern` has an associated `CoverageSymbolGroupPattern`.
Syntactic	The `CoverageSymbolGroup` referenced by a `Coverage` must be instantiated from the `CoverageSymbolGroupPattern` referenced by the Coverage entity's pattern.
Policy	The `CoverageSymbolGroup` referenced by a `Coverage` must be contained in the same `PolicyLine` as the coverage.
Policy	All `Coverage` entities of the same type in the same `PolicyLine` must reference the same `CoverageSymbolGroup`.

Product model verification checks

Product, Policy, and PolicyLine verification

Coverage verification

CoverageTerm verification

Modifier verification

CoverageSymbol verification

`Product`, `Policy`, and `PolicyLine` verification

`Coverage` verification

`CoverageTerm` verification

`Modifier` verification

`CoverageSymbol` verification