import type { Edge } from '../types';
import { type SemanticEdgeConfidence, type SemanticEdgeFamily } from './edge-contract';
export declare const ARKUI_CORE_GRAPHS: readonly ["app_topology", "render_ownership", "state_dependency", "interaction_intent", "validation"];
export type ArkuiCoreGraph = (typeof ARKUI_CORE_GRAPHS)[number];
export declare const ARKUI_CANONICAL_FACT_CLASSES: readonly ["topology_boundary", "platform_constraint", "render_owner", "render_shell", "state_source", "state_write", "state_read", "state_boundary", "interaction_entry", "route_contract", "validation_target", "bridge_contract", "mixed_paradigm", "uncertainty_hotspot"];
export type ArkuiCanonicalFactClass = (typeof ARKUI_CANONICAL_FACT_CLASSES)[number];
export declare const SEMANTIC_EVIDENCE_CLASSES: readonly ["syntax-direct", "framework-recovered", "heuristic-inferred"];
export type SemanticEvidenceClass = (typeof SEMANTIC_EVIDENCE_CLASSES)[number];
export declare const SEMANTIC_EDGE_STRENGTHS: readonly ["strong", "weak"];
export type SemanticEdgeStrength = (typeof SEMANTIC_EDGE_STRENGTHS)[number];
export declare const DEGRADED_SEMANTIC_REASONS: readonly ["missing-render-owner", "partial-state-closure", "mixed-paradigm-boundary", "dynamic-dispatch-boundary", "route-contract-partial", "bridge-contract-partial", "budget-capped", "low-confidence-anchor"];
export type DegradedSemanticReason = (typeof DEGRADED_SEMANTIC_REASONS)[number];
export interface CanonicalSemanticFact {
    graph: ArkuiCoreGraph;
    factClass: ArkuiCanonicalFactClass;
    label: string;
    value?: string;
    evidence: string[];
    evidenceClass: SemanticEvidenceClass;
    confidence: SemanticEdgeConfidence;
}
export interface DegradedSemanticPath {
    graph: ArkuiCoreGraph;
    reason: DegradedSemanticReason;
    breakpoint: string;
    evidenceClass: SemanticEvidenceClass;
    confidence: SemanticEdgeConfidence;
    evidence: string[];
}
export interface SemanticContractSummary {
    graphs: readonly ArkuiCoreGraph[];
    factClasses: readonly ArkuiCanonicalFactClass[];
    evidenceClasses: readonly SemanticEvidenceClass[];
    edgeStrengths: readonly SemanticEdgeStrength[];
    degradedReasons: readonly DegradedSemanticReason[];
    semanticFamilies: readonly SemanticEdgeFamily[];
}
export declare const DEFAULT_ARKUI_SEMANTIC_CONTRACT: SemanticContractSummary;
export declare function inferSemanticEvidenceClass(edge: Pick<Edge, 'provenance' | 'metadata'>): SemanticEvidenceClass;
export declare function inferSemanticEdgeStrength(edge: Pick<Edge, 'provenance' | 'metadata'>): SemanticEdgeStrength;
export declare function createCanonicalSemanticFact(fact: CanonicalSemanticFact): CanonicalSemanticFact;
export declare function createDegradedSemanticPath(path: DegradedSemanticPath): DegradedSemanticPath;
//# sourceMappingURL=arkui-contract.d.ts.map