{
  "schema": "rustroad.tool-probe.v1",
  "status": "assessed",
  "tools": [
    {
      "id": "rustsys",
      "verification_status": "not_run",
      "path": "/mnt/data2/cgao/git/RustSys/target/release/rustsys",
      "sha256": "9c83124e7bcf1a9ced5675672f3587099afec796de3230679fbff638c0b09e50",
      "status": "completed",
      "exit_code": 0,
      "wall_seconds": 0.0013737879926338792,
      "output": "rustsys 0.1.0 (runtimes: cpu, cuda)\n",
      "max_output_bytes": 65536,
      "memory_limit_mib": 1024,
      "timeout_seconds": 3,
      "identity_stable": true,
      "availability": "available"
    },
    {
      "id": "rusteda",
      "verification_status": "not_run",
      "path": "/mnt/data2/cgao/git/RustSTA/target/release/rusteda",
      "sha256": "8fcf8e0eefa05e14c3b3d6ac367839f5ff95059f6d416e2e8fab0262667b2429",
      "status": "completed",
      "exit_code": 0,
      "wall_seconds": 0.0011673449771478772,
      "output": "rusteda 0.1.0\n",
      "max_output_bytes": 65536,
      "memory_limit_mib": 1024,
      "timeout_seconds": 3,
      "identity_stable": true,
      "availability": "available"
    },
    {
      "id": "ruststa",
      "verification_status": "not_run",
      "path": "/mnt/data2/cgao/git/RustSTA/target/release/ruststa",
      "sha256": "b1a8389c7684aaf8a8e05f89635fac5ed2ee15aa380c8f8d8c40b1780f08668d",
      "status": "completed",
      "exit_code": 0,
      "wall_seconds": 0.0013389680534601212,
      "output": "ruststa 0.1.0 (backends: cpu)\n",
      "max_output_bytes": 65536,
      "memory_limit_mib": 1024,
      "timeout_seconds": 3,
      "identity_stable": true,
      "availability": "available"
    },
    {
      "id": "yosys",
      "verification_status": "not_run",
      "path": "/mnt/data2/cgao/git/RustSys/.work/lec-verification/tools/yosys",
      "sha256": "acf8487fd4eb54a71043bf29c461a8f10511813155c2989e5eb1e045b874a6ad",
      "status": "completed",
      "exit_code": 0,
      "wall_seconds": 0.005006485967896879,
      "output": "Yosys 0.67 (git sha1 2d1509d1b, Release, GNU /usr/bin/c++ 13.3.0)\n",
      "max_output_bytes": 65536,
      "memory_limit_mib": 1024,
      "timeout_seconds": 3,
      "identity_stable": true,
      "availability": "available"
    },
    {
      "id": "opensta",
      "verification_status": "not_run",
      "path": "/home/cgao/.local/share/containers/storage/overlay/c2cc5a7e2baaa2c6bdac6951f759273edbb27a34c710ea4593e43ef22d00e4b8/diff/foss/tools/openroad/bin/sta",
      "sha256": "49ddbd40385e6b54152aed6d7435e4114e409e5f168884d8945374a42f00301b",
      "status": "completed",
      "exit_code": 0,
      "wall_seconds": 0.0015409099869430065,
      "output": "3.1.0\n",
      "max_output_bytes": 65536,
      "memory_limit_mib": 1024,
      "timeout_seconds": 3,
      "identity_stable": true,
      "availability": "available"
    },
    {
      "id": "verilator",
      "verification_status": "not_run",
      "path": "/usr/bin/verilator",
      "sha256": "672a1ccf3468902f66387049f001b04f254bbcece7d5e816e3861715889bf252",
      "status": "completed",
      "exit_code": 0,
      "wall_seconds": 0.02141162200132385,
      "output": "Verilator 5.032 2025-01-01 rev (Debian 5.032-1)\n",
      "max_output_bytes": 65536,
      "memory_limit_mib": 1024,
      "timeout_seconds": 3,
      "identity_stable": true,
      "availability": "available"
    },
    {
      "id": "klayout",
      "verification_status": "not_run",
      "path": "/usr/bin/klayout",
      "sha256": "32441e21747f7718500e6c36c028229f6f1ce2ffcfe5b11acf03305047639ee3",
      "status": "completed",
      "exit_code": 0,
      "wall_seconds": 0.07711349497549236,
      "output": "KLayout 0.30.0\n",
      "max_output_bytes": 65536,
      "memory_limit_mib": 1024,
      "timeout_seconds": 3,
      "identity_stable": true,
      "availability": "available"
    },
    {
      "id": "magic",
      "verification_status": "not_run",
      "path": "/usr/bin/magic",
      "sha256": "48b77b32097244c66c857ee28769d2a4f434de00e7c02193d0e00c3a94240b2f",
      "status": "completed",
      "exit_code": 0,
      "wall_seconds": 0.012167849985416979,
      "output": "8.3.105\n",
      "max_output_bytes": 65536,
      "memory_limit_mib": 1024,
      "timeout_seconds": 3,
      "identity_stable": true,
      "availability": "available"
    },
    {
      "id": "ngspice",
      "verification_status": "not_run",
      "path": "/usr/bin/ngspice",
      "sha256": "25b6a73fafd9b489b92347a6c55fe307db502c1638f53d7d0bf439b5f7c65e38",
      "status": "completed",
      "exit_code": 0,
      "wall_seconds": 0.0023587009636685252,
      "output": "******\n** ngspice-45.2 : Circuit level simulation program\n** Compiled with KLU Direct Linear Solver\n** The U. C. Berkeley CAD Group\n** Copyright 1985-1994, Regents of the University of California.\n** Copyright 2001-2025, The ngspice team.\n** Please get your ngspice manual from https://ngspice.sourceforge.io/docs.html\n** Please file your bug-reports at http://ngspice.sourceforge.net/bugrep.html\n** Creation Date: Fri Sep 12 11:58:13 UTC 2025\n******\n",
      "max_output_bytes": 65536,
      "memory_limit_mib": 1024,
      "timeout_seconds": 3,
      "identity_stable": true,
      "availability": "available"
    },
    {
      "id": "netgen",
      "verification_status": "not_run",
      "path": "/usr/lib/netgen/bin/netgen",
      "sha256": "ac52d4ed680ee955983c883be61968b6788fe5f96a5514d3f101f7ee71f908ce",
      "status": "completed",
      "exit_code": 0,
      "wall_seconds": 0.0027973270043730736,
      "output": "Netgen 1.5.133 compiled on Thu Dec  1 22:32:11 UTC 2022\nWarning: netgen command 'global' use fully-qualified name '::netgen::global'\n",
      "max_output_bytes": 65536,
      "memory_limit_mib": 1024,
      "timeout_seconds": 3,
      "identity_stable": true,
      "availability": "available"
    }
  ],
  "full_rtl_to_gds_status": "unverified",
  "analysis_scope": {
    "corner": null,
    "wire_model": null,
    "unconstrained_endpoints": null
  },
  "limitations": [
    "Version probe only; no EDA verification is performed.",
    "Hashes pin entrypoints, not shared libraries or wrapper descendants."
  ]
}