{
  "petri_net": {
    "places": 16,
    "transitions": 60,
    "admissible_markings": 4,
    "closure_bad": 0
  },
  "predictions": {
    "inductive_closure": {
      "predicted": "0 unsafe accepted successors",
      "observed": 0
    },
    "uniform_rejection": {
      "predicted": "P(reject)=1-k/n",
      "max_abs_error": 0.006799999999999973,
      "rows": [
        {
          "n": 2,
          "allowed": 1,
          "predicted": 0.5,
          "observed": 0.4964,
          "abs_error": 0.003599999999999992
        },
        {
          "n": 4,
          "allowed": 1,
          "predicted": 0.75,
          "observed": 0.74745,
          "abs_error": 0.0025500000000000522
        },
        {
          "n": 4,
          "allowed": 2,
          "predicted": 0.5,
          "observed": 0.50245,
          "abs_error": 0.002449999999999952
        },
        {
          "n": 4,
          "allowed": 3,
          "predicted": 0.25,
          "observed": 0.25295,
          "abs_error": 0.002950000000000008
        },
        {
          "n": 8,
          "allowed": 1,
          "predicted": 0.875,
          "observed": 0.8761,
          "abs_error": 0.0010999999999999899
        },
        {
          "n": 8,
          "allowed": 2,
          "predicted": 0.75,
          "observed": 0.75375,
          "abs_error": 0.003750000000000031
        },
        {
          "n": 8,
          "allowed": 3,
          "predicted": 0.625,
          "observed": 0.62425,
          "abs_error": 0.0007500000000000284
        },
        {
          "n": 8,
          "allowed": 4,
          "predicted": 0.5,
          "observed": 0.49975,
          "abs_error": 0.00024999999999997247
        },
        {
          "n": 8,
          "allowed": 5,
          "predicted": 0.375,
          "observed": 0.37775,
          "abs_error": 0.0027499999999999747
        },
        {
          "n": 8,
          "allowed": 6,
          "predicted": 0.25,
          "observed": 0.25135,
          "abs_error": 0.0013500000000000179
        },
        {
          "n": 8,
          "allowed": 7,
          "predicted": 0.125,
          "observed": 0.12475,
          "abs_error": 0.0002500000000000002
        },
        {
          "n": 16,
          "allowed": 1,
          "predicted": 0.9375,
          "observed": 0.9344,
          "abs_error": 0.0030999999999999917
        },
        {
          "n": 16,
          "allowed": 2,
          "predicted": 0.875,
          "observed": 0.8726,
          "abs_error": 0.0023999999999999577
        },
        {
          "n": 16,
          "allowed": 3,
          "predicted": 0.8125,
          "observed": 0.8155,
          "abs_error": 0.0030000000000000027
        },
        {
          "n": 16,
          "allowed": 4,
          "predicted": 0.75,
          "observed": 0.74825,
          "abs_error": 0.0017500000000000293
        },
        {
          "n": 16,
          "allowed": 5,
          "predicted": 0.6875,
          "observed": 0.6835,
          "abs_error": 0.0040000000000000036
        },
        {
          "n": 16,
          "allowed": 6,
          "predicted": 0.625,
          "observed": 0.6235,
          "abs_error": 0.0014999999999999458
        },
        {
          "n": 16,
          "allowed": 7,
          "predicted": 0.5625,
          "observed": 0.5659,
          "abs_error": 0.0033999999999999586
        },
        {
          "n": 16,
          "allowed": 8,
          "predicted": 0.5,
          "observed": 0.4932,
          "abs_error": 0.006799999999999973
        },
        {
          "n": 16,
          "allowed": 9,
          "predicted": 0.4375,
          "observed": 0.43635,
          "abs_error": 0.0011499999999999844
        },
        {
          "n": 16,
          "allowed": 10,
          "predicted": 0.375,
          "observed": 0.3708,
          "abs_error": 0.0041999999999999815
        },
        {
          "n": 16,
          "allowed": 11,
          "predicted": 0.3125,
          "observed": 0.3099,
          "abs_error": 0.002599999999999991
        },
        {
          "n": 16,
          "allowed": 12,
          "predicted": 0.25,
          "observed": 0.2485,
          "abs_error": 0.0015000000000000013
        },
        {
          "n": 16,
          "allowed": 13,
          "predicted": 0.1875,
          "observed": 0.18645,
          "abs_error": 0.0010499999999999954
        },
        {
          "n": 16,
          "allowed": 14,
          "predicted": 0.125,
          "observed": 0.12875,
          "abs_error": 0.0037500000000000033
        },
        {
          "n": 16,
          "allowed": 15,
          "predicted": 0.0625,
          "observed": 0.0604,
          "abs_error": 0.0020999999999999977
        }
      ]
    },
    "shield_violations": {
      "predicted": 0,
      "observed": 0
    }
  },
  "controller_comparison": {
    "baseline_unshielded": {
      "violations": 10000,
      "rejections": 0,
      "deadlocks": 0,
      "steps": 0,
      "successes": 0,
      "episodes": 10000
    },
    "idea_shielded": {
      "violations": 0,
      "rejections": 400000,
      "deadlocks": 0,
      "steps": 400000,
      "successes": 0,
      "episodes": 10000
    }
  }
}