{
"contradictions": [
{
"A": "SPB-10",
"B": "SPB-9",
"FOUND": "2026-10-08T13:20:04Z",
"QUANTITY": "E_z",
"TEST": "M-M"
}
],
"d_tfk": "46db0af2a3f5fd6e86447bd1764cd5b934cf0f0be3c9f91d16fd47aa435afe5b",
"mark": 11,
"prefix": "SPB",
"pushes": 6,
"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-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"
}
