Geometry3D CLI wrapper

This module keeps the runnable camera-box3d-cert entrypoint next to the reusable verifier.

External example artifacts are generated by scripts/verification/geometry3d/*. The default path here is a deterministic sample certificate so the CLI can be exercised without network access, GPU access, or model downloads.

def NN.Verification.Geometry3D.CLI.defaultCertPath : String

Default sample certificate used when no path is passed to scripts/lake.sh exe verify.

def NN.Verification.Geometry3D.CLI.verifyCert (path : String := defaultCertPath) : IO Unit

Check an exported JSON camera-box certificate artifact.

def NN.Verification.Geometry3D.CLI.main (args : List String) : IO Unit

CLI entrypoint used by the unified verification dispatcher.