/**
 * Nexus Prime — Phantom Proof Type Re-exports
 *
 * Convenience re-exports from the proof system for use within Phantom modules.
 */
export type { SelectionProof, WorkerProof, VerificationProof, MemoryPromotionProof, ApplyProof, ProofEnvelope, ProofType, ProofVerdict, } from '../../engines/proofs/types.js';
export type { RunTriState } from './execution.js';
