Robots · gymnasium · ring 1

pairlab/leibnizgym

pairlab/leibnizgym: complete environment for robot arm manipulation (robotics track). OpenMHS plan: direct-driver with GymnasiumDriver, wave 6. Catalog role: task environment. Declared backend: Isaac

Tier ARing 1Contract CheckedAdapter: runnableBSD-3-Clause

Capability surface

Classes this package can plausibly bind, derived from its catalogue role, interfaces and bounded static scan. A binding is not a claim that the capability is implemented or conformance-tested.

Interfaces detected

Python SDKIsaac GymGymnasiumIsaac Sim

Languages

Python

Integration plan

Next action

Maintain MHS/drivers/robots/pairlab__leibnizgym: its RESULT.json passed the gate (contract_checked); re-run `python3 -m mhs.driver check MHS/drivers/r

  1. Read the family recipe. gymnasium recipe shows the bridge, launch shape, unit handling and typical mapping for this family.
  2. Pin the native entry point. Record module/class/function or process invocation; do not rely on undocumented internals. If you must, set stability: fragile.
  3. Write the adapter manifest. Validate mhs-adapter.json against adapter.schema.json; declare units, safety, mode and fidelity gaps honestly.
  4. Run the bridge and the suite. Start an endpoint, reach CL0, then run the conformance suite for the declared profile and level.
  5. Publish evidence. Attach the report digest to a registry claim. Until then, the record stays contract checked.

Blockers

No catalog blocker recorded. That is not a guarantee that integration is easy.

Registry recipe path: families/gymnasium.md · Profile target: MHS-Sim · Effort: E2

Adapter mapping

Generated sketch

No attested mhs-adapter.json is present in this build. The sketch below is generated from the registry fields to show the shape of the mapping; it is not a manifest, not validated, and must not be treated as one.

declared mapping sketch
{
  "mhs_adapter": "1.0",
  "adapter_id": "registry.gh.pairlab/leibnizgym",
  "family": "gymnasium",
  "source": {
    "repo": "https://github.com/pairlab/leibnizgym",
    "license": "BSD-3-Clause"
  },
  "runtime": {
    "kind": "python",
    "entry": "record the native module, class or launch command before promoting this adapter"
  },
  "devices": [
    {
      "device_id": "mhs://localhost/gymnasium-leibnizgym",
      "mode": "simulated",
      "capabilities": [
        "cap.world.reset.v1",
        "cap.world.step.v1",
        "cap.world.seed.v1"
      ],
      "fidelity": {
        "engine": "custom",
        "fidelity_level": "F0",
        "determinism": {
          "kind": "seeded"
        },
        "timestep_ms": 1.0,
        "realtime_factor": 0.0,
        "reset": "full",
        "snapshot_restore": false,
        "gaps": [
          "declare the deployed model's known gaps before claiming F2 or above"
        ]
      }
    }
  ],
  "conformance_target": {
    "profile": "MHS-Sim",
    "level": "CL0"
  },
  "evidence": {
    "state": "contract_checked",
    "source": "generated from registry record; not an attested manifest"
  }
}

Evidence and trust

Evidence state
Contract Checked
Read by
contract_checked
Files read
—
Manifest detected
no
Trust
unsigned
Generated
2026-10-20

No evidence note recorded.

Provenance references

No provenance references recorded.