/** Legacy proofs lack containment; new proofs must name the executor they used. */
export declare function validCommandContainment(containment: unknown, executorPath: unknown, shellPath: unknown): boolean;