import type { DesignResourceDimension, DesignResourceEvidenceKind, DesignResourceVerificationMethod } from "./design-resource-handoff-types.js";
import type { DesignResourceOracleCapability } from "./design-resource-fact-manifest-types.js";
export declare const DESIGN_RESOURCE_FACT_INVARIANTS: Readonly<{
    readonly complete_observable_design_fact_delivery: true;
    readonly resource_fact_inventory_closure_required: true;
    readonly exact_target_visual_pixel_required: true;
    readonly exact_fact_set_conservation_required: true;
    readonly design_fact_expression_boundary: true;
    readonly unsupported_design_fact_blocks: true;
    readonly control_granularity_is_not_design_fact_granularity: true;
    readonly public_design_fact_guidance_required: true;
    readonly design_fact_values_stay_in_canonical_resources: true;
    readonly no_second_design_fact_authority: true;
    readonly fact_inventory_required: true;
    readonly contract_evidence_fact_binding_required: true;
    readonly authoring_obligation_universe_precedes_generation: true;
    readonly frozen_inspector_census_required: true;
    readonly first_class_condition_variation_property_axes_required: true;
    readonly atomic_fact_cell_identity_required: true;
    readonly expected_canonical_handoff_fact_universe_equality_required: true;
    readonly aggregate_state_or_condition_labels_forbidden: true;
    readonly complete_generation_without_sampling_or_truncation_required: true;
    readonly fact_identity_and_proof_method_obligation_separation_required: true;
    readonly property_required_methods_cannot_be_weakened: true;
    readonly design_system_effective_value_lineage_required: true;
    readonly dynamic_relation_and_asset_fact_closure_required: true;
    readonly per_fact_expected_comparison_authority_required: true;
    readonly per_fact_current_result_required: true;
    readonly protected_fact_observation_redaction_required: true;
    readonly selected_design_fact_antidegradation_required: true;
    readonly design_fact_distribution_context_cost: true;
    readonly forbidden_design_fact_shortcuts_absent: true;
    readonly preflight_is_not_production_conformance: true;
    readonly unsupported_facts_block: true;
    readonly control_relations_unchanged: true;
}>;
export declare const EXACT_TARGET_FULL_TARGET_METHODS: readonly ["layout_geometry", "visual_pixel"];
export declare function assertDesignResourceFactPolicyEnabled(): void;
export declare function designFactMethodIsCompatible(dimension: DesignResourceDimension, method: DesignResourceVerificationMethod): boolean;
export declare function designFactEvidenceIsCompatible(dimension: DesignResourceDimension, kind: DesignResourceEvidenceKind): boolean;
export declare function designFactEvidenceSupportsMethod(method: DesignResourceVerificationMethod, kind: DesignResourceEvidenceKind): boolean;
export declare function designFactComparatorSupportsMethod(method: DesignResourceVerificationMethod, comparator: string): boolean;
export declare function designFactOracleSupportsMethod(method: DesignResourceVerificationMethod, capabilities: readonly DesignResourceOracleCapability[]): boolean;