import type { DesignResourceObservableRuleManifestV2, DesignResourceSymbolicDependencyEdgeV2, DesignResourceSymbolicFactRuleV2, DesignResourceSymbolicNoninterferenceCertificateV2 } from "./design-resource-symbolic-fact-types.js";
export declare function designResourceSymbolicRuleKey(rule: Omit<DesignResourceSymbolicFactRuleV2, "key" | "semantic_obligation_refs">, regionSha256: string): string;
export declare function designResourceSymbolicObligationKey(obligation: Omit<DesignResourceObservableRuleManifestV2["semantic_proof_obligations"][number], "key">): string;
export declare function designResourceSymbolicDependencyEdge(axisRef: string, factRuleRef: string): DesignResourceSymbolicDependencyEdgeV2;
export declare function designResourceSymbolicCertificateKey(certificate: Omit<DesignResourceSymbolicNoninterferenceCertificateV2, "key">): string;
export declare function designResourceSymbolicNoninterferenceProofDigest(proof: DesignResourceSymbolicNoninterferenceCertificateV2["source_noninterference_proof"]): string | null;
export declare function designResourceSymbolicCombinedRuleDigest(ruleProjections: Array<{
    rule: {
        key: string;
    };
    compiled_region: {
        canonical_sha256: string;
    };
}>): string;
export declare function omitRuleIdentityFields(rule: DesignResourceSymbolicFactRuleV2): Omit<DesignResourceSymbolicFactRuleV2, "key" | "semantic_obligation_refs">;
export declare function omitKey<T extends {
    key: string;
}>(value: T): Omit<T, "key">;
export declare function requireExactRefs<T>(refs: string[], values: Map<string, T>, code: string): void;
export declare function requireKnownRefs(refs: string[], values: ReadonlyMap<string, unknown> | ReadonlySet<string>, code: string): void;
export declare function unique(values: string[], code: string): void;
export declare function assertSameSet(actual: string[], expected: string[], code: string, detail: string): void;
export declare function assertCanonicalSet<T extends {
    key: string;
}>(actual: T[], expected: T[], code: string): void;
export declare function stableJson(value: unknown): string;
export declare function sha256(value: string): string;
export declare function compareText(left: string, right: string): number;
export declare function invalid(code: string, detail: string): never;