import type { DesignResourcePropertyDefinitionV1 } from "./design-resource-fact-types.js";
import type { DesignResource } from "./design-resource-handoff-file-primitives.js";
import type { DesignResourceObservableRuleManifestV2, DesignResourceSymbolicHandoffTargetV2 } from "./design-resource-symbolic-fact-types.js";
type Rule = DesignResourceObservableRuleManifestV2["fact_rules"][number];
type Obligation = DesignResourceObservableRuleManifestV2["semantic_proof_obligations"][number];
type Oracle = DesignResourceObservableRuleManifestV2["oracles"][number];
type Environment = DesignResourceObservableRuleManifestV2["environments"][number];
export declare function validateSymbolicProofAuthorities(manifest: DesignResourceObservableRuleManifestV2, target: DesignResourceSymbolicHandoffTargetV2, resources: Map<string, DesignResource>, contents: Map<string, Buffer>): void;
export declare function validateSymbolicObligationPolicy(obligation: Obligation, rule: Rule, property: DesignResourcePropertyDefinitionV1, oracle: Oracle, environment: Environment, target: DesignResourceSymbolicHandoffTargetV2, resources: Map<string, DesignResource>, contents: Map<string, Buffer>): void;
export {};