# types/validation.types.ts

> 161 lines of code and 18 definitions.

Tree: GovLab Context
Language: typescript
Layer: infrastructure
Canonical: https://banes-lab.com/anatomy/context#file-context-types-validation-types-ts
Source text: https://banes-lab.com/source/context/types/validation.types.ts.txt

Listed in [types](https://banes-lab.com/api/source/context/types.md), after [types/reference.types.ts](https://banes-lab.com/source/context/types/reference.types.ts.md) and before [types/vocabulary.types.ts](https://banes-lab.com/source/context/types/vocabulary.types.ts.md).

## Definitions

- `MisspelledForce` (interface_declaration, line 6, exported)
- `CrossFaceIssues` (interface_declaration, line 12, exported)
- `UnresolvedEdge` (interface_declaration, line 18, exported)
- `RelationKindViolation` (interface_declaration, line 24, exported)
- `LexDefect` (interface_declaration, line 32, exported)
- `KindConsistencyViolation` (interface_declaration, line 37, exported)
- `ExemplarGap` (interface_declaration, line 44, exported)
- `EmptyRequiredField` (interface_declaration, line 49, exported)
- `InvalidSeverity` (interface_declaration, line 55, exported)
- `AsciiArrow` (interface_declaration, line 60, exported)
- `AdjacentPair` (interface_declaration, line 66, exported)
- `InvalidDistinct` (interface_declaration, line 73, exported)
- `AliasDefect` (interface_declaration, line 79, exported)
- `RepairDefect` (interface_declaration, line 85, exported)
- `AliasHolder` (interface_declaration, line 92, exported)
- `ReasonNativeIssues` (interface_declaration, line 100, exported)
- `IntegrityIssues` (interface_declaration, line 115, exported)
- `ResolutionIssues` (interface_declaration, line 125, exported)

## Contained in

- [types](https://banes-lab.com/anatomy/context/folder-context-types.md)

## Source

```typescript
import type { CheckDeclarationDefect, SecondCheckHome, UncheckedRecord, UnresolvedCheckRef } from "#types/check.types";
import type { UnresolvedConceptRef, VariantId } from "#types/concept.types";
import type { TensionGap } from "#types/layer.types";
import type { UnreadKey } from "#types/record.types";

export interface MisspelledForce {
    record: string;
    token: string;
    canonical: string;
}

export interface CrossFaceIssues {
    unknownForces: string[];
    misspelledForces: MisspelledForce[];
    danglingPrincipleRefs: string[];
}

export interface UnresolvedEdge {
    from: string;
    relation: string;
    target: string;
}

export interface RelationKindViolation {
    from: string;
    relation: string;
    target: string;
    kind: string;
    allowed: string[];
}

export interface LexDefect {
    id: string;
    reason: string;
}

export interface KindConsistencyViolation {
    id: string;
    declaredKind: string;
    signalsKind: string;
    opening: string;
}

export interface ExemplarGap {
    id: string;
    reason: string;
}

export interface EmptyRequiredField {
    collection: string;
    field: string;
    id: string;
}

export interface InvalidSeverity {
    id: string;
    reason: string;
}

export interface AsciiArrow {
    collection: string;
    field: string;
    id: string;
}

export interface AdjacentPair {
    a: string;
    b: string;
    kind: string;
    basis: string;
}

export interface InvalidDistinct {
    from: string;
    target: string;
    reason: string;
}

export interface AliasDefect {
    alias: string;
    reason: string;
    ref: string;
}

export interface RepairDefect {
    field: string;
    reason: string;
    ref: string;
    target: string;
}

export interface AliasHolder {
    readonly aliases: readonly string[];
    readonly collection: string;
    readonly distinct: ReadonlySet<string>;
    readonly names: readonly string[];
    readonly ref: string;
}

export interface ReasonNativeIssues {
    invalidStages: { id: string; stage: string }[];
    invalidAxes: { id: string; axis: string }[];
    invalidMathTypes: { id: string; mathType: string }[];
    stageAxisMismatches: { id: string; stage: string; axis: string; expected: string }[];
    yieldsShapeMismatches: { id: string; mathType: string; yields: string; allowed: string }[];
    derivationMapDefects: { id: string; reason: string }[];
    untypedRecords: string[];
    unstagedProcessRecords: string[];
    duplicateLoopGroundings: { domain: string; records: string[] }[];
    metaLoopGroundings: string[];
    metaKernelNaming: string[];
    subtotal: number;
}

export interface IntegrityIssues {
    intraGrammarDivergentSymbols: { name: string; grammar: string; definedIn: string[] }[];
    crossCatalogRedundancy: { a: string; b: string }[];
    invalidDistinctDeclarations: InvalidDistinct[];
    liveSymbolCount: number;
    indexedSymbolCount: number;
    symbolIndexStale: boolean;
    subtotal: number;
}

export interface ResolutionIssues {
    duplicateIds: string[];
    unresolvedArchEdges: UnresolvedEdge[];
    unresolvedAlgoComposes: { from: string; target: string }[];
    relationKindViolations: RelationKindViolation[];
    crossFaceIdCollisions: string[];
    ambiguousReasonRefs: { from: string; kinds: string[]; target: string }[];
    idShapedEdgeLabels: { from: string; label: string }[];
    lexDefects: LexDefect[];
    tagExampleDefects: LexDefect[];
    kindConsistencyViolations: KindConsistencyViolation[];
    exemplarGaps: ExemplarGap[];
    uncheckedRecords: UncheckedRecord[];
    unresolvedCheckRefs: UnresolvedCheckRef[];
    checkDeclarationDefects: CheckDeclarationDefect[];
    secondCheckHomes: SecondCheckHome[];
    uncoveredCollections: string[];
    emptyRequiredFields: EmptyRequiredField[];
    invalidSeverities: InvalidSeverity[];
    asciiArrows: AsciiArrow[];
    undeclaredAdjacentPairs: AdjacentPair[];
    invalidRecordDistincts: InvalidDistinct[];
    aliasDefects: AliasDefect[];
    repairDefects: RepairDefect[];
    unreachableAntiPatterns: string[];
    unresolvedTensions: TensionGap[];
    deadResolutionSeeds: TensionGap[];
    unresolvedReasonEdges: string[];
    unresolvedShapeInstances: { shape: string; instance: string }[];
    unresolvedLensDetectors: { lens: string; target: string }[];
    unresolvedGrammarGrounds: { from: string; target: string }[];
    unresolvedPagGrounds: { from: string; target: string }[];
    unresolvedExpressions: { from: string; target: string }[];
    ungroundedPagConstructs: string[];
    doctypeModelAxis: string[];
    ungroundedGates: string[];
    reasonOntologyDefects: string[];
    duplicateKeywordIds: string[];
    danglingTemplateSlots: { type: string; slot: string }[];
    docTypesWithoutVerb: string[];
    unknownTemplateTypes: string[];
    unrecognizedDocumentTypes: string[];
    unrecognizedDocumentVerbs: { type: string; verb: string }[];
    danglingNonterminals: { production: string; ref: string }[];
    unusedTerminals: string[];
    unknownRecordKeys: UnreadKey[];
    unresolvedConceptRefs: UnresolvedConceptRef[];
    variantIds: VariantId[];
    unknownForces: string[];
    misspelledForces: MisspelledForce[];
    danglingPrincipleRefs: string[];
    reasonNative: ReasonNativeIssues;
    integrity: IntegrityIssues;
    total: number;
}
```