import type { EdgeRef, EdgeRelation } from "#types/link.types";
import type { ReasonView } from "#types/reason.types";

export interface ExemplarView {
    readonly after: string;
    readonly before: string;
    readonly lang: string;
    readonly medium: string;
}

export interface PrincipleView {
    readonly aliases: readonly string[];
    readonly category: EdgeRef;
    readonly contracts: readonly EdgeRef[];
    readonly detectedBy: readonly EdgeRef[];
    readonly edges: Readonly<Record<EdgeRelation, readonly EdgeRef[]>>;
    readonly enforcedBy: readonly EdgeRef[];
    readonly exemplar: ExemplarView | null;
    readonly id: string;
    readonly kind: EdgeRef;
    readonly layer: EdgeRef | null;
    readonly measuredBy: readonly EdgeRef[];
    readonly name: string;
    readonly refactoredBy: readonly EdgeRef[];
    readonly referencedBy: readonly EdgeRef[];
    readonly scope: readonly EdgeRef[];
    readonly severity: string;
    readonly tensions: readonly EdgeRef[];
    readonly term: EdgeRef | null;
    readonly violatedBy: readonly EdgeRef[];
}

export interface PrincipleCategoryView {
    readonly category: string;
    readonly id: string;
    readonly principles: readonly PrincipleView[];
}

export interface TermView {
    readonly aliases: readonly string[];
    readonly category: EdgeRef;
    readonly contract: EdgeRef | null;
    readonly definition: string;
    readonly id: string;
    readonly kind: EdgeRef;
    readonly layer: EdgeRef | null;
    readonly name: string;
    readonly principle: EdgeRef | null;
    readonly referencedBy: readonly EdgeRef[];
}

export interface TermCategoryView {
    readonly category: string;
    readonly id: string;
    readonly terms: readonly TermView[];
}

export interface ProductionView {
    readonly lhs: string;
    readonly rhs: string;
}

export interface DerivationStepView {
    readonly record: EdgeRef;
    readonly stage: EdgeRef;
}

export interface ContractView {
    readonly axis: EdgeRef | null;
    readonly composedBy: readonly EdgeRef[];
    readonly composes: readonly EdgeRef[];
    readonly derivationMap: readonly DerivationStepView[];
    readonly derivedBy: readonly EdgeRef[];
    readonly detects: readonly EdgeRef[];
    readonly domain: EdgeRef;
    readonly exemplar: ExemplarView | null;
    readonly flow: readonly string[];
    readonly force: readonly EdgeRef[];
    readonly groundedBy: readonly EdgeRef[];
    readonly grounds: readonly EdgeRef[];
    readonly id: string;
    readonly intent: string;
    readonly invariant: string;
    readonly layer: EdgeRef | null;
    readonly mathType: EdgeRef | null;
    readonly meta: boolean;
    readonly principle: EdgeRef | null;
    readonly productions: readonly ProductionView[];
    readonly stage: EdgeRef | null;
    readonly title: string;
    readonly yields: string | null;
}

export interface ContractDomainView {
    readonly contracts: readonly ContractView[];
    readonly domain: string;
    readonly id: string;
}

export interface LayerNodeView {
    readonly contract: EdgeRef;
    readonly id: string;
    readonly label: string;
    readonly members: readonly EdgeRef[];
}

export interface LayerEdgeView {
    readonly from: EdgeRef;
    readonly kind: string;
    readonly to: EdgeRef;
}

export interface MembershipView {
    readonly category: EdgeRef;
    readonly layer: EdgeRef | null;
}

export interface TensionView {
    readonly a: EdgeRef;
    readonly b: EdgeRef;
    readonly explicit: boolean;
    readonly id: string;
    readonly mechanism: string;
    readonly rule: string;
    readonly scopeA: EdgeRef;
    readonly scopeB: EdgeRef;
}

export interface LayerView {
    readonly membership: readonly MembershipView[];
    readonly nodes: readonly LayerNodeView[];
    readonly resolutions: readonly TensionView[];
    readonly topology: readonly LayerEdgeView[];
}

export interface KindView {
    readonly definitionSignatures: readonly string[];
    readonly discriminator: string;
    readonly distinguishesFrom: string;
    readonly kind: string;
    readonly principles: number;
    readonly terms: number;
}

export interface RelationRangeView {
    readonly kinds: readonly EdgeRef[];
    readonly relation: string;
}

export interface ForceView {
    readonly concerns: readonly string[];
    readonly contracts: readonly EdgeRef[];
    readonly force: string;
    readonly id: string;
    readonly principles: readonly EdgeRef[];
}

export interface KeywordView {
    readonly example: string;
    readonly grounds: readonly string[];
    readonly meaning: string;
    readonly name: string;
}

export interface KeywordCategoryView {
    readonly category: string;
    readonly keywords: readonly KeywordView[];
}

export interface GrammarProductionView {
    readonly grounds: readonly string[];
    readonly lhs: string;
    readonly rhs: string;
}

export interface ProductionGroupView {
    readonly group: string;
    readonly productions: readonly GrammarProductionView[];
}

export interface DocumentTypeView {
    readonly defaultVerb: string;
    readonly purpose: string;
    readonly type: string;
    readonly verbs: readonly string[];
}

export interface TemplateView {
    readonly body: string;
    readonly constraints: readonly string[];
    readonly title: string;
    readonly type: string;
}

export interface GrammarView {
    readonly categories: readonly KeywordCategoryView[];
    readonly documentTypes: readonly DocumentTypeView[];
    readonly groups: readonly ProductionGroupView[];
    readonly templates: readonly TemplateView[];
}

export interface OntologySnapshot {
    readonly contracts: readonly ContractDomainView[];
    readonly forces: readonly ForceView[];
    readonly grammar: GrammarView;
    readonly kinds: readonly KindView[];
    readonly layers: LayerView;
    readonly principles: readonly PrincipleCategoryView[];
    readonly ranges: readonly RelationRangeView[];
    readonly reason: ReasonView;
    readonly resolves: boolean;
    readonly terms: readonly TermCategoryView[];
}