Variable ViolationSchemaConst

ViolationSchema: TObject<
    {
        argumentId: TOptional<TString>;
        claimId: TOptional<TString>;
        code: TUnion<
            [
                TLiteral<"S-1">,
                TLiteral<"S-2">,
                TLiteral<"S-3">,
                TLiteral<"S-4">,
                TLiteral<"S-5">,
                TLiteral<"S-6">,
                TLiteral<"S-7">,
                TLiteral<"S-8">,
            ],
        >;
        expressionId: TOptional<TString>;
        message: TString;
        premiseId: TOptional<TString>;
        tier: TUnion<
            [
                TLiteral<"structural">,
                TLiteral<"evaluable">,
                TLiteral<"derivable">,
                TLiteral<"presentable">,
            ],
        >;
        variableId: TOptional<TString>;
    },
> = ...