dart-verify-sim
GitHub用于验证DART 3D场景和物理仿真的正确性。通过文本指标(能量、碰撞等)为主,渲染图像为辅的方式,检测动力学缺陷、几何穿透等问题,支持无GUI环境下的调试与基准测试。
Trigger Scenarios
Install
npx skills add dartsim/dart --skill dart-verify-sim -g -y
SKILL.md
Frontmatter
{
"name": "dart-verify-sim",
"description": "DART Verify Sim: text-first and visual checks for 3D scenes and physics (metrics, scene dump, trajectories, headless render, image verdict\/golden)"
}
DART Simulation Verification
Load this skill when verifying that a DART 3D scene or physics simulation is correct — implementing, debugging, benchmarking, or reviewing dynamics, collision, contact, or GUI output. DART's domains need 3D understanding that language models lack natively; this tooling makes it checkable without a GUI.
Lead with text, corroborate with images. Measured A/B evidence: per-step metrics and trajectories detect nearly all seeded physics defects; a rendered image alone misses static geometry defects (penetration, interpenetration). Decide correctness from text; use images for scene comprehension and gross dynamic failures.
Full documentation
docs/onboarding/agent-sim-verification.md
— the durable guide. docs/ai/verification.md owns the gate policy;
docs/onboarding/profiling.md owns text-first profiling.
Quick commands
Text (primary):
world.compute_step_metrics()— energy/momentum/penetration/contacts/residualdartpy.dump_scene_json(world)/dump_scene_text(world)— "what is in this world?" (glTF/USD-flavored hierarchy + flat index)pixi run scene-diff— structural JSON verdict for intended-vs-actual scene dumpspixi run trajectory-record/pixi run trajectory-compare— per-body TSV + contact JSONL; bit-exact or tolerance diff with first-divergence
Visual (corroboration):
dart.gui.render(world, camera=None, size=(w, h))→ headless image;.png_bytes()for notebooks;dart.gui.orbit_camera(...)/look_at(...)- viewer camera flags:
--view {three-quarter|front|side|top},--camera-azimuth/-elevation/-distance/-target,--turntable N,--fit pixi run py-demo-capture— headless PNG/MP4 capture from Pythonpixi run image-verdict/image-golden/image-sheet— JSON verdict, golden diff, contact sheet (contrast is report-only;--require-contrastto gate)pixi run image-ab-study— blind-judge detection deltas for single-view, multi-view, turntable, and annotated capturespixi run image-ab-round2— prepare a blinded round-2 packet and score completed judge observations
Opt-in:
pixi run render-golden-gate— opt-in golden gate (backend-specific golden, curated locally with-- --update; not default CI)pixi run rerun-trajectory— rerun.io inspection (opt-in; graceful whenrerun-sdkis absent)pixi run verification-bundle— package text evidence plus still/grid images for a provider-neutral VLM or reviewer call
Default capture for agent review: one ~1280 px frame, UI hidden, 3/4 view; add a 9-frame grid for motion. Keep images as corroboration, never the sole oracle for static geometry.
DART 6 (release-6.20)
Equivalent capture over OpenSceneGraph: dart::gui::osg::setUpOffscreenViewer
/ captureOffscreen + dartpy bindings, pixi run capture (needs a real X
server or Xvfb), the ported image tooling, and pixi run bm-boxes-headless for
rendering-free determinism checksums.
Version History
- 51b2d25 Current 2026-07-11 18:27


