AI for Science World Models Hack · Track C

TUBEPROOF

Verified robotic tube access for liquid handling. Open, observe, recover, present, reclose, and prove every transition.

Run it locallyOpen pitch slide
DexterityPhysical verificationFailure recoveryLiquid handling

See the physical proof

This static walkthrough mirrors the deterministic local demo. Built-in motion is simulated and the built-in camera cue is modeled.

OPEN VERIFIED · 98%
tube mouth visible + cap in parking pocket

One narrow capability, end to end

A successful arm command never promotes itself to physical truth. A separate observer earns each consequential transition.

Observeinitial cap state
Localizetube + cap pose
Uncaprotate + pitch lift
Verify opencamera evidence gate
Presentpipette access pose
Recapengage + torque
Verify closedcamera evidence gate

Built to survive reality

The demo shows what happens when the physical world disagrees with the command log.

Independent evidence

Cap observations carry state, confidence, provenance, and source evidence.

capped | uncapped | ambiguous

Visible recovery

Cap slip, rotation, partial release, and ambiguous closure stay in the trace.

observe > act > verify > recover

Physical constraint

A parametric split collar resists tube rotation and exposes the parked cap.

hardware/tube_nest.scad

Every run ends with evidence, not vibes.

The SHA-256 receipt binds motion, observation, retry, decision, and provenance. Receipt replay issues zero hardware commands.

github.com/di-omics/bay-hack
QR code for the bay-hack GitHub repository

The complete Track A TEM-1 inhibitor loop remains in the repository as a fallback. The primary demo is now Track C TubeProof.