The Principia Machina/UWC/SPB/Control panel/Meta

{
  "contradictions": [
    {
      "A": "SPB-10",
      "B": "SPB-9",
      "FOUND": "2026-10-08T13:20:04Z",
      "QUANTITY": "E_z",
      "TEST": "M-M"
    }
  ],
  "d_tfk": "46db0af2a3f5fd6e86447bd1764cd5b934cf0f0be3c9f91d16fd47aa435afe5b",
  "mark": 13,
  "prefix": "SPB",
  "pushes": 8,
  "records": {
    "SPB-1": {
      "block": "INSTANTIATION",
      "push": 0
    },
    "SPB-10": {
      "block": "B1-STRIKE",
      "landed": "2026-10-08T13:20:04Z",
      "model": "none: tpx_b1_test.py 0.1.0, the operator's script",
      "push": 5,
      "vendor": "none (the operator's script; records written by the builder)"
    },
    "SPB-1000001": {
      "block": "B1-L1-A",
      "landed": "2026-10-08T13:18:03Z",
      "push": 1
    },
    "SPB-1000002": {
      "block": "B1-STRIKE",
      "landed": "2026-10-08T13:20:04Z",
      "push": 5
    },
    "SPB-1000003": {
      "block": "B1-STRIKE",
      "landed": "2026-10-08T13:20:04Z",
      "push": 5
    },
    "SPB-11": {
      "block": "B1-SETTLE",
      "landed": "2026-10-08T13:21:21Z",
      "model": "none: tpx_b1_test.py 0.1.0, the operator's script",
      "push": 6,
      "vendor": "none (the operator's script; records written by the builder)"
    },
    "SPB-12": {
      "block": "B1-FS1",
      "landed": "2026-10-08T13:21:26Z",
      "model": "none: tpx_b1_test.py 0.1.0, the operator's script",
      "push": 7,
      "vendor": "none (the operator's script; records written by the builder)"
    },
    "SPB-13": {
      "block": "B1-FS5",
      "landed": "2026-10-08T13:21:31Z",
      "model": "none: tpx_b1_test.py 0.1.0, the operator's script",
      "push": 8,
      "vendor": "none (the operator's script; records written by the builder)"
    },
    "SPB-2": {
      "block": "B1-L1-A",
      "landed": "2026-10-08T13:18:03Z",
      "model": "none: tpx_b1_test.py 0.1.0, the operator's script",
      "push": 1,
      "vendor": "none (the operator's script; records written by the builder)"
    },
    "SPB-3": {
      "block": "B1-L1-A",
      "landed": "2026-10-08T13:18:03Z",
      "model": "none: tpx_b1_test.py 0.1.0, the operator's script",
      "push": 1,
      "vendor": "none (the operator's script; records written by the builder)"
    },
    "SPB-4": {
      "block": "B1-L1-A",
      "landed": "2026-10-08T13:18:03Z",
      "model": "none: tpx_b1_test.py 0.1.0, the operator's script",
      "push": 1,
      "vendor": "none (the operator's script; records written by the builder)"
    },
    "SPB-5": {
      "block": "B1-L1-A",
      "landed": "2026-10-08T13:18:05Z",
      "model": "none: tpx_b1_test.py 0.1.0, the operator's script",
      "push": 2,
      "vendor": "none (the operator's script; records written by the builder)"
    },
    "SPB-6": {
      "block": "B1-L2-R",
      "landed": "2026-10-08T13:18:12Z",
      "model": "none: tpx_b1_test.py 0.1.0, the operator's script",
      "push": 3,
      "vendor": "none (the operator's script; records written by the builder)"
    },
    "SPB-7": {
      "block": "B1-R07",
      "landed": "2026-10-08T13:19:38Z",
      "model": "none: tpx_b1_test.py 0.1.0, the operator's script",
      "push": 4,
      "vendor": "none (the operator's script; records written by the builder)"
    },
    "SPB-8": {
      "block": "B1-STRIKE",
      "landed": "2026-10-08T13:20:04Z",
      "model": "none: tpx_b1_test.py 0.1.0, the operator's script",
      "push": 5,
      "vendor": "none (the operator's script; records written by the builder)"
    },
    "SPB-9": {
      "block": "B1-STRIKE",
      "landed": "2026-10-08T13:20:04Z",
      "model": "none: tpx_b1_test.py 0.1.0, the operator's script",
      "push": 5,
      "vendor": "none (the operator's script; records written by the builder)"
    }
  },
  "reproductions": [
    {
      "AUDIT": null,
      "BLOCK": "B1-L2-R",
      "COMPARISON": "L|MATCH|D(v,t)=-k_s/m*x|D(v,t)=-k_s/m*x",
      "CORROBORATION": "SPB-6",
      "DERIVATION": {
        "ASSUMPTIONS": [],
        "CITES": [],
        "CLASS": "RESULT",
        "DERIVATION": {
          "STEPS": 1,
          "TEXT": "From EOM_X, divide by m."
        },
        "EQUATION": "D(v,t) = -k_s/m*x",
        "FALSIFIER": "As the original.",
        "FALSIFIER_CLASS": "F3",
        "ID": "SPB-6",
        "REFS": [
          "v",
          "t",
          "k_s",
          "m",
          "x"
        ],
        "REGIME": "L",
        "STATEMENT": "An independent derivation: dv/dt = -(k_s/m) x."
      },
      "DERIVATION_SHA256": "beec1991e59f5f23d824986cc5c5a4b4ca2c7cedf0a89ec785c5e9c1f4d6fed5",
      "FINDING": [
        "L",
        "EQUATION",
        "D(v,t)=-k_s/m*x"
      ],
      "INDEPENDENCE": {
        "ACCOUNT": "CH7 AZ",
        "IMPLEMENTATION": "PRB 0.1.1 7d77e83e4a8fe6df407931501600f04be48f35161d0481c0ba29979e676374a4",
        "NOT_SERVED_BEFORE": true,
        "ORIGIN": "REPRODUCTION BLOCK",
        "SAME_MODEL": true,
        "SAME_SPONSOR": false,
        "SNAPSHOT": "none: tpx_b1_test.py 0.1.0, the operator's script",
        "VENDOR": "none (the operator's script; records written by the builder)"
      },
      "NC": null,
      "OUTCOME": "MATCH",
      "PUSH": 3,
      "REPRODUCER": "CH7 AZ",
      "STAMPED": "2026-10-08T13:18:12Z",
      "TARGET": "SPB-3",
      "TARGET_AUTHOR": "DeltaS Zero"
    }
  ],
  "setting": "OFF",
  "tpx_ranges": [
    [
      1000001,
      1001000,
      1000004
    ]
  ],
  "uuid": "d9dcb9b5-7f6f-42eb-9a57-4f5e98dde964"
}