"ENVIRONMENT_QUANTITY": "velocity"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "transverse_position"
}
],
"SIGNATURE": [
{
"FORM": "D(x, t) = v",
"IMAGE": "d/dt maps position to velocity",
"IMAGE_FORM": "D(position, time) = velocity",
"NAME": "time_derivative",
"OVER": [
"x",
"v",
"t"
]
}
],
"TRANSFORMATIONS": [
{
"NAME": "time_translation",
"STATEMENT": "t -> t + t0"
}
]
}
}
},
"words": {
"RR-2": "PROVISIONAL",
"RR-20": "PROVISIONAL",
"RR-21": "ESTABLISHED",
"RR-22": "HELD"
}
},
"expected": "[\"OK\",{\"ENTRY\":\"E_t\",\"ENTRY_STATUS\":null,\"GAPS\":[],\"RECORDS\":[],\"VERIFICATIONS\":[]}]",
"fn": "entry_view",
"name": "EV02 the entry view of E_t: nothing"
},
{
"args": {
"entry": "E_x",
"records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ENTRY_STATUS",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRY": "E_x",
"GRADE": "NOT GRADED",
"ID": "RR-9",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"NOTE": "first",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ENTRY_STATUS",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRY": "E_x",
"GRADE": "NOT GRADED",
"ID": "RR-10",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"NOTE": "second",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
}
],
"tfk": {
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
},
"TPK": {
"ASSUMPTION": [
{
"NAME": "A_kpos",
"PROPOSITION": "k_s is positive",
"REFS": [
"k_s"
]
},
{
"NAME": "A_mpos",
"PROPOSITION": "m is positive",
"REFS": [
"m"
]
}
],
"BOUNDARY": [
{
"CONDITION": "abs(x) < x_max",
"NAME": "B_small",
"PREDICATE": "|x| < x_max",
"REFS": [
"x",
"x_max"
]
}
],
"CONSTANT": [
{
"DIMENSION": "M1",
"NAME": "m"
},
{
"DIMENSION": "M1 T-2",
"NAME": "k_s"
},
{
"DIMENSION": "L1",
"NAME": "x_max",
"UNCERTAINTY": "0.001",
"UNIT": "m",
"VALUE": "0.05"
}
],
"CONSTRAINT": [
{
"ACTION": "FIX",
"NAME": "C_NOZ",
"STATEMENT": "only motion on the spring axis is described: z = 0",
"TARGET": "z",
"UNIT": "m",
"VALUE": "0"
}
],
"DOF": [
{
"DIMENSION": "T1",
"NAME": "t"
},
{
"DIMENSION": "L1",
"NAME": "x"
},
{
"DIMENSION": "L1 T-1",
"NAME": "v"
},
{
"DIMENSION": "L1",
"NAME": "z"
}
],
"LAW": [
{
"EQUATION": "m * D(v, t) = -k_s * x",
"NAME": "EOM_X",
"REFS": [
"m",
"v",
"k_s",
"x",
"t"
],
"ROLE": "EOM(v)",
"STATEMENT": "m dv/dt = -k_s x"
},
{
"EQUATION": "D(x, t) = v",
"NAME": "KIN",
"REFS": [
"x",
"v",
"t"
],
"ROLE": "EOM(x)",
"STATEMENT": "dx/dt = v"
},
{
"EQUATION": "m * D(z, t, 2) = 0",
"NAME": "EOM_Z",
"REFS": [
"m",
"z",
"t"
],
"ROLE": "CONSTRAINT",
"STATEMENT": "m d2z/dt2 = 0"
}
]
},
"TrM": {
"ENTRIES": [
{
"BEARS": [],
"DIMENSION": "T1",
"DOF": "t",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "time",
"FALSIFIER": "a second clock whose readings differ from t by more than a constant offset beyond the stated uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "t is the reading of a laboratory clock from an arbitrary origin",
"NAME": "E_t"
},
{
"BEARS": [
"EOM_X",
"KIN"
],
"DIMENSION": "L1",
"DOF": "x",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "position",
"FALSIFIER": "a measured spring force not proportional to x inside the domain",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "x is the displacement of the mass along the spring axis from the point where the spring exerts no force",
"NAME": "E_x"
},
{
"BEARS": [
"KIN"
],
"DIMENSION": "L1 T-1",
"DOF": "v",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "velocity",
"FALSIFIER": "a measured velocity that differs from the rate of change of the measured x beyond uncertainty",
"FALSIFIER_CLASS": "F2",
"IDENTIFICATION": "v is the rate of change of x with t",
"NAME": "E_v"
},
{
"BEARS": [
"EOM_Z",
"C_NOZ"
],
"DIMENSION": "L1",
"DOF": "z",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "transverse_position",
"FALSIFIER": "a measured z different from 0 beyond its uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "z is the displacement of the mass perpendicular to the spring axis",
"NAME": "E_z"
}
],
"HEADER": {
"ENVIRONMENT_INVENTORY": [
{
"DIMENSION": "T1",
"ENVIRONMENT_QUANTITY": "time"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "position"
},
{
"DIMENSION": "L1 T-1",
"ENVIRONMENT_QUANTITY": "velocity"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "transverse_position"
}
],
"SIGNATURE": [
{
"FORM": "D(x, t) = v",
"IMAGE": "d/dt maps position to velocity",
"IMAGE_FORM": "D(position, time) = velocity",
"NAME": "time_derivative",
"OVER": [
"x",
"v",
"t"
]
}
],
"TRANSFORMATIONS": [
{
"NAME": "time_translation",
"STATEMENT": "t -> t + t0"
}
]
}
}
},
"words": {}
},
"expected": "[\"OK\",{\"ENTRY\":\"E_x\",\"ENTRY_STATUS\":\"RR-9\",\"GAPS\":[],\"RECORDS\":[],\"VERIFICATIONS\":[]}]",
"fn": "entry_view",
"name": "EV03 ENTRY_STATUS by (LANDED, ID): a tie on LANDED goes to the greater ID"
},
{
"args": {
"entry": "E_q",
"records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ASSUMPTION",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"PROPOSITION": "The pivot does not move.",
"REFS": [],
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 1,
"TEXT": "t"
},
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F2",
"GRADE": "PROVISIONAL",
"ID": "RR-20",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x"
],
"REGIME": "L",
"STATEMENT": "s",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"AUTHOR": "agent-b",
"BLOCK": "B-9",
"BUDGET": [
{
"BASIS": "Ten repeated timings.",
"EVALUATION": "A",
"NAME": "timing",
"U": "0.0010",
"UNIT": "s"
},
{
"BASIS": "Tape resolution, rectangular.",
"EVALUATION": "B",
"NAME": "length",
"U": "0.66",
"UNIT": "ms"
}
],
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 3,
"TEXT": "Ten swings timed; the mean taken; the budget below."
},
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "A period outside the stated interval at the same length.",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "RR-21",
"LANDED": "2026-09-28T12:05:00Z",
"LANDED_BY": "agent-a",
"QUANTITY": "E_x",
"REGIME": "M",
"STATEMENT": "The measured period of the pendulum at the stated length.",
"STATUS": "UNMARKED",
"TPS": "0.4.0",
"UNIT": "s",
"U_C": "0.0012",
"VALUE": "2.0070",
"VETTED_IN": "B-10"
},
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 1,
"TEXT": "t"
},
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F2",
"GRADE": "PROVISIONAL",
"ID": "RR-22",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REGIME": "L",
"STATEMENT": "s",
"STATUS": "HELD",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ENTRY_STATUS",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRY": "E_x",
"GRADE": "NOT GRADED",
"ID": "RR-40",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"NOTE": "first",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ENTRY_STATUS",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRY": "E_x",
"GRADE": "NOT GRADED",
"ID": "RR-41",
"LANDED": "2026-09-28T13:00:00Z",
"LANDED_BY": "agent-a",
"NOTE": "second",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ENTRY_STATUS",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRY": "E_v",
"GRADE": "NOT GRADED",
"ID": "RR-39",
"LANDED": "2026-09-28T14:00:00Z",
"LANDED_BY": "agent-a",
"NOTE": "other",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "VERIFICATION",
"DIFFERENCE": {
"U": "13e-4",
"VALUE": "6e-4",
"ZETA": "461538461538e-12"
},
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"EXTERNAL": {
"QUANTITY": "E_x",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
"GRADE": "PROVISIONAL",
"ID": "RR-50",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REGIME": "M",
"SOURCE": "Handbook, table 3.",
"STATUS": "UNMARKED",
"TARGET": "RR-21",
"TPS": "0.4.0"
},
{
"AGAINST": [
"x"
],
"CLASS": "NAMED_GAP",
"DIGEST": "8f26a78ce448005e845df84e929660c28948a64b7398bb2c56fd02eb4124a7d9",
"GRADE": "NOT GRADED",
"ID": "RR-5",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "TPX",
"SOURCE": "IC2",
"STATE": "OPEN",
"STATEMENT": "The DOF x is tied by no TrM entry (IC2).",
"TPS": "0.4.0",
"TRIGGER": "DECLARATIONS Volume 1, line 7"
},
{
"AGAINST": [
"x"
],
"CLASS": "NAMED_GAP",
"DIGEST": "8f26a78ce448005e845df84e929660c28948a64b7398bb2c56fd02eb4124a7d9",
"GRADE": "NOT GRADED",
"ID": "RR-6",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "TPX",
"SOURCE": "IC2",
"STATE": "SETTLED 2026-09-28 BY RR-21",
"STATEMENT": "The DOF x is tied by no TrM entry (IC2).",
"TPS": "0.4.0",
"TRIGGER": "DECLARATIONS Volume 1, line 7"
}
],
"tfk": {
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
},
"TPK": {
"ASSUMPTION": [
{
"NAME": "A_kpos",
"PROPOSITION": "k_s is positive",
"REFS": [
"k_s"
]
},
{
"NAME": "A_mpos",
"PROPOSITION": "m is positive",
"REFS": [
"m"
]
}
],
"BOUNDARY": [
{
"CONDITION": "abs(x) < x_max",
"NAME": "B_small",
"PREDICATE": "|x| < x_max",
"REFS": [
"x",
"x_max"
]
}
],
"CONSTANT": [
{
"DIMENSION": "M1",
"NAME": "m"
},
{
"DIMENSION": "M1 T-2",
"NAME": "k_s"
},
{
"DIMENSION": "L1",
"NAME": "x_max",
"UNCERTAINTY": "0.001",
"UNIT": "m",
"VALUE": "0.05"
}
],
"CONSTRAINT": [
{
"ACTION": "FIX",
"NAME": "C_NOZ",
"STATEMENT": "only motion on the spring axis is described: z = 0",
"TARGET": "z",
"UNIT": "m",
"VALUE": "0"
}
],
"DOF": [
{
"DIMENSION": "T1",
"NAME": "t"
},
{
"DIMENSION": "L1",
"NAME": "x"
},
{
"DIMENSION": "L1 T-1",
"NAME": "v"
},
{
"DIMENSION": "L1",
"NAME": "z"
}
],
"LAW": [
{
"EQUATION": "m * D(v, t) = -k_s * x",
"NAME": "EOM_X",
"REFS": [
"m",
"v",
"k_s",
"x",
"t"
],
"ROLE": "EOM(v)",
"STATEMENT": "m dv/dt = -k_s x"
},
{
"EQUATION": "D(x, t) = v",
"NAME": "KIN",
"REFS": [
"x",
"v",
"t"
],
"ROLE": "EOM(x)",
"STATEMENT": "dx/dt = v"
},
{
"EQUATION": "m * D(z, t, 2) = 0",
"NAME": "EOM_Z",
"REFS": [
"m",
"z",
"t"
],
"ROLE": "CONSTRAINT",
"STATEMENT": "m d2z/dt2 = 0"
}
]
},
"TrM": {
"ENTRIES": [
{
"BEARS": [],
"DIMENSION": "T1",
"DOF": "t",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "time",
"FALSIFIER": "a second clock whose readings differ from t by more than a constant offset beyond the stated uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "t is the reading of a laboratory clock from an arbitrary origin",
"NAME": "E_t"
},
{
"BEARS": [
"EOM_X",
"KIN"
],
"DIMENSION": "L1",
"DOF": "x",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "position",
"FALSIFIER": "a measured spring force not proportional to x inside the domain",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "x is the displacement of the mass along the spring axis from the point where the spring exerts no force",
"NAME": "E_x"
},
{
"BEARS": [
"KIN"
],
"DIMENSION": "L1 T-1",
"DOF": "v",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "velocity",
"FALSIFIER": "a measured velocity that differs from the rate of change of the measured x beyond uncertainty",
"FALSIFIER_CLASS": "F2",
"IDENTIFICATION": "v is the rate of change of x with t",
"NAME": "E_v"
},
{
"BEARS": [
"EOM_Z",
"C_NOZ"
],
"DIMENSION": "L1",
"DOF": "z",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "transverse_position",
"FALSIFIER": "a measured z different from 0 beyond its uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "z is the displacement of the mass perpendicular to the spring axis",
"NAME": "E_z"
}
],
"HEADER": {
"ENVIRONMENT_INVENTORY": [
{
"DIMENSION": "T1",
"ENVIRONMENT_QUANTITY": "time"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "position"
},
{
"DIMENSION": "L1 T-1",
"ENVIRONMENT_QUANTITY": "velocity"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "transverse_position"
}
],
"SIGNATURE": [
{
"FORM": "D(x, t) = v",
"IMAGE": "d/dt maps position to velocity",
"IMAGE_FORM": "D(position, time) = velocity",
"NAME": "time_derivative",
"OVER": [
"x",
"v",
"t"
]
}
],
"TRANSFORMATIONS": [
{
"NAME": "time_translation",
"STATEMENT": "t -> t + t0"
}
]
}
}
},
"words": {
"RR-2": "PROVISIONAL",
"RR-20": "PROVISIONAL",
"RR-21": "ESTABLISHED",
"RR-22": "HELD"
}
},
"expected": "[\"REFUSED\",[[\"REC-74\",\"-\",\"quantity E_q is not an entry of the TrM\"]]]",
"fn": "entry_view",
"name": "EV04 REC-74 not an entry of the TrM"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"OK\",[]]",
"fn": "reaudit_scope",
"name": "RA01 an identical TFK: nothing re-run"
},
{
"args": {
"dst": {
"D_TPK": "0000000000000000000000000000000000000000000000000000000000000000",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"OK\",[\"ALL\"]]",
"fn": "reaudit_scope",
"name": "RA02 D(TPK) moved: ALL"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "0000000000000000000000000000000000000000000000000000000000000000",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"OK\",[\"ALL\"]]",
"fn": "reaudit_scope",
"name": "RA03 D(TrM) moved: ALL"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "3",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"OK\",[\"SR3\",\"SR8\"]]",
"fn": "reaudit_scope",
"name": "RA04 K only"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2.0",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"OK\",[]]",
"fn": "reaudit_scope",
"name": "RA05 K in another spelling of the same value"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 3,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"OK\",[\"SR6\"]]",
"fn": "reaudit_scope",
"name": "RA06 N_X"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one line is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"OK\",[\"SR4\",\"SR5\"]]",
"fn": "reaudit_scope",
"name": "RA07 STEP_CONVENTION"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"OK\",[]]",
"fn": "reaudit_scope",
"name": "RA08 STEP_CONVENTION restated equal"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"PROMOTION_FLOOR": "F3",
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"OK\",[\"PROMOTION\"]]",
"fn": "reaudit_scope",
"name": "RA09 PROMOTION_FLOOR raised"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"PROMOTION_FLOOR": "F2",
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"OK\",[]]",
"fn": "reaudit_scope",
"name": "RA10 PROMOTION_FLOOR F2 declared equals absent"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"STRUCTURE_CHECK": "OFF",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"OK\",[\"EOM-0\",\"STRUCTURE\"]]",
"fn": "reaudit_scope",
"name": "RA11 STRUCTURE_CHECK OFF"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 12
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"OK\",[\"T3\"]]",
"fn": "reaudit_scope",
"name": "RA12 S_MAX"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"IC2_POLICY": "REJECT",
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"OK\",[\"IC2\"]]",
"fn": "reaudit_scope",
"name": "RA13 IC2_POLICY REJECT"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"OK\",[\"SR4\",\"SR5\"]]",
"fn": "reaudit_scope",
"name": "RA14 YARDSTICKS only"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.25"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"OK\",[\"SR4\",\"SR5\"]]",
"fn": "reaudit_scope",
"name": "RA15 a CONSTANT only (RD-RS-40)"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_a",
"VALUE": "1"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"OK\",[]]",
"fn": "reaudit_scope",
"name": "RA16 CONSTANTS reordered: the zone serialization sorts them"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "3",
"N_X": 4,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 11
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"OK\",[\"SR3\",\"SR6\",\"SR8\",\"T3\"]]",
"fn": "reaudit_scope",
"name": "RA17 several at once, sorted and distinct"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9"
}
},
"expected": "[\"REFUSED\",[[\"REC-50\",\"-\",\"src {\\\"D_TPK\\\":\\\"ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088\\\",\\\"D_TRM\\\":\\\"f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9\\\"} is not an object with D_TPK, D_TRM and TMS\"]]]",
"fn": "reaudit_scope",
"name": "RA18 REC-50 src without TMS"
},
{
"args": {
"dst": [],
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
}
},
"expected": "[\"REFUSED\",[[\"REC-50\",\"-\",\"dst [] is not an object with D_TPK, D_TRM and TMS\"]]]",
"fn": "reaudit_scope",
"name": "RA19 REC-50 dst not an object"
},
{
"args": {
"dst": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "3",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
}
},
"src": {
"D_TPK": "ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088",
"D_TRM": "f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9",
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1"
],
"LIMITING": [],
"NAME": 0
}
]
}
}
},
"expected": "[\"REFUSED\",[[\"REC-50\",\"-\",\"src {\\\"D_TPK\\\":\\\"ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088\\\",\\\"D_TRM\\\":\\\"f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9\\\",\\\"TMS\\\":{\\\"CONSTANTS\\\":[{\\\"NAME\\\":\\\"w_a\\\",\\\"VALUE\\\":\\\"1\\\"},{\\\"NAME\\\":\\\"w_s\\\",\\\"VALUE\\\":\\\"0.5\\\"}],\\\"PARAMETERS\\\":{\\\"K\\\":\\\"2\\\",\\\"N_X\\\":2,\\\"STEP_CONVENTION\\\":\\\"one application of an inference rule or algebraic identity is one step\\\",\\\"S_MAX\\\":10},\\\"YARDSTICKS\\\":[{\\\"KEY\\\":[\\\"SR1\\\"],\\\"LIMITING\\\":[],\\\"NAME\\\":0}]}} is not an object with D_TPK, D_TRM and TMS\"]]]",
"fn": "reaudit_scope",
"name": "RA20 REC-50 a TMS the zone check refuses (a yardstick NAME not a string; RD-TQ-41)"
},
{
"args": {
"dst_records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ASSUMPTION",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"GRADE": "PROVISIONAL",
"ID": "QQ-2",
"INHERITS": "RR-2",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"PROPOSITION": "The pivot does not move.",
"REFS": [],
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"QQ-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "QQ-30",
"INHERITS": "RR-30",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"QQ-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [
"QQ-30"
],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "QQ-31",
"INHERITS": "RR-31",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
}
],
"dst_words": {
"QQ-2": "PROVISIONAL",
"QQ-30": "PROVISIONAL",
"QQ-31": "PROVISIONAL"
},
"open_audits": [],
"src_records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ASSUMPTION",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"PROPOSITION": "The pivot does not move.",
"REFS": [],
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "RR-30",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [
"RR-30"
],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "RR-31",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
}
],
"src_words": {
"RR-2": "PROVISIONAL",
"RR-30": "ESTABLISHED",
"RR-31": "ESTABLISHED"
},
"tfk": {
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
},
"TPK": {
"ASSUMPTION": [
{
"NAME": "A_kpos",
"PROPOSITION": "k_s is positive",
"REFS": [
"k_s"
]
},
{
"NAME": "A_mpos",
"PROPOSITION": "m is positive",
"REFS": [
"m"
]
}
],
"BOUNDARY": [
{
"CONDITION": "abs(x) < x_max",
"NAME": "B_small",
"PREDICATE": "|x| < x_max",
"REFS": [
"x",
"x_max"
]
}
],
"CONSTANT": [
{
"DIMENSION": "M1",
"NAME": "m"
},
{
"DIMENSION": "M1 T-2",
"NAME": "k_s"
},
{
"DIMENSION": "L1",
"NAME": "x_max",
"UNCERTAINTY": "0.001",
"UNIT": "m",
"VALUE": "0.05"
}
],
"CONSTRAINT": [
{
"ACTION": "FIX",
"NAME": "C_NOZ",
"STATEMENT": "only motion on the spring axis is described: z = 0",
"TARGET": "z",
"UNIT": "m",
"VALUE": "0"
}
],
"DOF": [
{
"DIMENSION": "T1",
"NAME": "t"
},
{
"DIMENSION": "L1",
"NAME": "x"
},
{
"DIMENSION": "L1 T-1",
"NAME": "v"
},
{
"DIMENSION": "L1",
"NAME": "z"
}
],
"LAW": [
{
"EQUATION": "m * D(v, t) = -k_s * x",
"NAME": "EOM_X",
"REFS": [
"m",
"v",
"k_s",
"x",
"t"
],
"ROLE": "EOM(v)",
"STATEMENT": "m dv/dt = -k_s x"
},
{
"EQUATION": "D(x, t) = v",
"NAME": "KIN",
"REFS": [
"x",
"v",
"t"
],
"ROLE": "EOM(x)",
"STATEMENT": "dx/dt = v"
},
{
"EQUATION": "m * D(z, t, 2) = 0",
"NAME": "EOM_Z",
"REFS": [
"m",
"z",
"t"
],
"ROLE": "CONSTRAINT",
"STATEMENT": "m d2z/dt2 = 0"
}
]
},
"TrM": {
"ENTRIES": [
{
"BEARS": [],
"DIMENSION": "T1",
"DOF": "t",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "time",
"FALSIFIER": "a second clock whose readings differ from t by more than a constant offset beyond the stated uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "t is the reading of a laboratory clock from an arbitrary origin",
"NAME": "E_t"
},
{
"BEARS": [
"EOM_X",
"KIN"
],
"DIMENSION": "L1",
"DOF": "x",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "position",
"FALSIFIER": "a measured spring force not proportional to x inside the domain",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "x is the displacement of the mass along the spring axis from the point where the spring exerts no force",
"NAME": "E_x"
},
{
"BEARS": [
"KIN"
],
"DIMENSION": "L1 T-1",
"DOF": "v",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "velocity",
"FALSIFIER": "a measured velocity that differs from the rate of change of the measured x beyond uncertainty",
"FALSIFIER_CLASS": "F2",
"IDENTIFICATION": "v is the rate of change of x with t",
"NAME": "E_v"
},
{
"BEARS": [
"EOM_Z",
"C_NOZ"
],
"DIMENSION": "L1",
"DOF": "z",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "transverse_position",
"FALSIFIER": "a measured z different from 0 beyond its uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "z is the displacement of the mass perpendicular to the spring axis",
"NAME": "E_z"
}
],
"HEADER": {
"ENVIRONMENT_INVENTORY": [
{
"DIMENSION": "T1",
"ENVIRONMENT_QUANTITY": "time"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "position"
},
{
"DIMENSION": "L1 T-1",
"ENVIRONMENT_QUANTITY": "velocity"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "transverse_position"
}
],
"SIGNATURE": [
{
"FORM": "D(x, t) = v",
"IMAGE": "d/dt maps position to velocity",
"IMAGE_FORM": "D(position, time) = velocity",
"NAME": "time_derivative",
"OVER": [
"x",
"v",
"t"
]
}
],
"TRANSFORMATIONS": [
{
"NAME": "time_translation",
"STATEMENT": "t -> t + t0"
}
]
}
}
}
},
"expected": "[\"OK\",[[\"QQ-30\",\"F3\",\"F2\"],[\"QQ-31\",\"F3\",\"F2\"]]]",
"fn": "repromote_batch",
"name": "RB01 an identical TFK: the ESTABLISHED re-promoted bottom-up"
},
{
"args": {
"dst_records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ASSUMPTION",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"GRADE": "PROVISIONAL",
"ID": "QQ-2",
"INHERITS": "RR-2",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"PROPOSITION": "The pivot does not move.",
"REFS": [],
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"QQ-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "QQ-30",
"INHERITS": "RR-30",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"QQ-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [
"QQ-30"
],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F2",
"GRADE": "PROVISIONAL",
"ID": "QQ-31",
"INHERITS": "RR-31",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
}
],
"dst_words": {
"QQ-2": "PROVISIONAL",
"QQ-30": "PROVISIONAL",
"QQ-31": "PROVISIONAL"
},
"open_audits": [],
"src_records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ASSUMPTION",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"PROPOSITION": "The pivot does not move.",
"REFS": [],
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "RR-30",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [
"RR-30"
],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "RR-31",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
}
],
"src_words": {
"RR-2": "PROVISIONAL",
"RR-30": "ESTABLISHED",
"RR-31": "ESTABLISHED"
},
"tfk": {
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"PROMOTION_FLOOR": "F3",
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
},
"TPK": {
"ASSUMPTION": [
{
"NAME": "A_kpos",
"PROPOSITION": "k_s is positive",
"REFS": [
"k_s"
]
},
{
"NAME": "A_mpos",
"PROPOSITION": "m is positive",
"REFS": [
"m"
]
}
],
"BOUNDARY": [
{
"CONDITION": "abs(x) < x_max",
"NAME": "B_small",
"PREDICATE": "|x| < x_max",
"REFS": [
"x",
"x_max"
]
}
],
"CONSTANT": [
{
"DIMENSION": "M1",
"NAME": "m"
},
{
"DIMENSION": "M1 T-2",
"NAME": "k_s"
},
{
"DIMENSION": "L1",
"NAME": "x_max",
"UNCERTAINTY": "0.001",
"UNIT": "m",
"VALUE": "0.05"
}
],
"CONSTRAINT": [
{
"ACTION": "FIX",
"NAME": "C_NOZ",
"STATEMENT": "only motion on the spring axis is described: z = 0",
"TARGET": "z",
"UNIT": "m",
"VALUE": "0"
}
],
"DOF": [
{
"DIMENSION": "T1",
"NAME": "t"
},
{
"DIMENSION": "L1",
"NAME": "x"
},
{
"DIMENSION": "L1 T-1",
"NAME": "v"
},
{
"DIMENSION": "L1",
"NAME": "z"
}
],
"LAW": [
{
"EQUATION": "m * D(v, t) = -k_s * x",
"NAME": "EOM_X",
"REFS": [
"m",
"v",
"k_s",
"x",
"t"
],
"ROLE": "EOM(v)",
"STATEMENT": "m dv/dt = -k_s x"
},
{
"EQUATION": "D(x, t) = v",
"NAME": "KIN",
"REFS": [
"x",
"v",
"t"
],
"ROLE": "EOM(x)",
"STATEMENT": "dx/dt = v"
},
{
"EQUATION": "m * D(z, t, 2) = 0",
"NAME": "EOM_Z",
"REFS": [
"m",
"z",
"t"
],
"ROLE": "CONSTRAINT",
"STATEMENT": "m d2z/dt2 = 0"
}
]
},
"TrM": {
"ENTRIES": [
{
"BEARS": [],
"DIMENSION": "T1",
"DOF": "t",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "time",
"FALSIFIER": "a second clock whose readings differ from t by more than a constant offset beyond the stated uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "t is the reading of a laboratory clock from an arbitrary origin",
"NAME": "E_t"
},
{
"BEARS": [
"EOM_X",
"KIN"
],
"DIMENSION": "L1",
"DOF": "x",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "position",
"FALSIFIER": "a measured spring force not proportional to x inside the domain",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "x is the displacement of the mass along the spring axis from the point where the spring exerts no force",
"NAME": "E_x"
},
{
"BEARS": [
"KIN"
],
"DIMENSION": "L1 T-1",
"DOF": "v",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "velocity",
"FALSIFIER": "a measured velocity that differs from the rate of change of the measured x beyond uncertainty",
"FALSIFIER_CLASS": "F2",
"IDENTIFICATION": "v is the rate of change of x with t",
"NAME": "E_v"
},
{
"BEARS": [
"EOM_Z",
"C_NOZ"
],
"DIMENSION": "L1",
"DOF": "z",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "transverse_position",
"FALSIFIER": "a measured z different from 0 beyond its uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "z is the displacement of the mass perpendicular to the spring axis",
"NAME": "E_z"
}
],
"HEADER": {
"ENVIRONMENT_INVENTORY": [
{
"DIMENSION": "T1",
"ENVIRONMENT_QUANTITY": "time"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "position"
},
{
"DIMENSION": "L1 T-1",
"ENVIRONMENT_QUANTITY": "velocity"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "transverse_position"
}
],
"SIGNATURE": [
{
"FORM": "D(x, t) = v",
"IMAGE": "d/dt maps position to velocity",
"IMAGE_FORM": "D(position, time) = velocity",
"NAME": "time_derivative",
"OVER": [
"x",
"v",
"t"
]
}
],
"TRANSFORMATIONS": [
{
"NAME": "time_translation",
"STATEMENT": "t -> t + t0"
}
]
}
}
}
},
"expected": "[\"OK\",[[\"QQ-30\",\"F3\",\"F3\"]]]",
"fn": "repromote_batch",
"name": "RB02 the floor raised: fewer re-promoted"
},
{
"args": {
"dst_records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ASSUMPTION",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"GRADE": "PROVISIONAL",
"ID": "QQ-2",
"INHERITS": "RR-2",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"PROPOSITION": "The pivot does not move.",
"REFS": [],
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"QQ-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "QQ-30",
"INHERITS": "RR-30",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"QQ-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [
"QQ-30"
],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "QQ-31",
"INHERITS": "RR-31",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
}
],
"dst_words": {
"QQ-2": "PROVISIONAL",
"QQ-30": "PROVISIONAL",
"QQ-31": "PROVISIONAL"
},
"open_audits": [],
"src_records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ASSUMPTION",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"PROPOSITION": "The pivot does not move.",
"REFS": [],
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "RR-30",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [
"RR-30"
],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "RR-31",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
}
],
"src_words": {
"RR-2": "PROVISIONAL",
"RR-30": "HELD",
"RR-31": "ESTABLISHED"
},
"tfk": {
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
},
"TPK": {
"ASSUMPTION": [
{
"NAME": "A_kpos",
"PROPOSITION": "k_s is positive",
"REFS": [
"k_s"
]
},
{
"NAME": "A_mpos",
"PROPOSITION": "m is positive",
"REFS": [
"m"
]
}
],
"BOUNDARY": [
{
"CONDITION": "abs(x) < x_max",
"NAME": "B_small",
"PREDICATE": "|x| < x_max",
"REFS": [
"x",
"x_max"
]
}
],
"CONSTANT": [
{
"DIMENSION": "M1",
"NAME": "m"
},
{
"DIMENSION": "M1 T-2",
"NAME": "k_s"
},
{
"DIMENSION": "L1",
"NAME": "x_max",
"UNCERTAINTY": "0.001",
"UNIT": "m",
"VALUE": "0.05"
}
],
"CONSTRAINT": [
{
"ACTION": "FIX",
"NAME": "C_NOZ",
"STATEMENT": "only motion on the spring axis is described: z = 0",
"TARGET": "z",
"UNIT": "m",
"VALUE": "0"
}
],
"DOF": [
{
"DIMENSION": "T1",
"NAME": "t"
},
{
"DIMENSION": "L1",
"NAME": "x"
},
{
"DIMENSION": "L1 T-1",
"NAME": "v"
},
{
"DIMENSION": "L1",
"NAME": "z"
}
],
"LAW": [
{
"EQUATION": "m * D(v, t) = -k_s * x",
"NAME": "EOM_X",
"REFS": [
"m",
"v",
"k_s",
"x",
"t"
],
"ROLE": "EOM(v)",
"STATEMENT": "m dv/dt = -k_s x"
},
{
"EQUATION": "D(x, t) = v",
"NAME": "KIN",
"REFS": [
"x",
"v",
"t"
],
"ROLE": "EOM(x)",
"STATEMENT": "dx/dt = v"
},
{
"EQUATION": "m * D(z, t, 2) = 0",
"NAME": "EOM_Z",
"REFS": [
"m",
"z",
"t"
],
"ROLE": "CONSTRAINT",
"STATEMENT": "m d2z/dt2 = 0"
}
]
},
"TrM": {
"ENTRIES": [
{
"BEARS": [],
"DIMENSION": "T1",
"DOF": "t",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "time",
"FALSIFIER": "a second clock whose readings differ from t by more than a constant offset beyond the stated uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "t is the reading of a laboratory clock from an arbitrary origin",
"NAME": "E_t"
},
{
"BEARS": [
"EOM_X",
"KIN"
],
"DIMENSION": "L1",
"DOF": "x",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "position",
"FALSIFIER": "a measured spring force not proportional to x inside the domain",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "x is the displacement of the mass along the spring axis from the point where the spring exerts no force",
"NAME": "E_x"
},
{
"BEARS": [
"KIN"
],
"DIMENSION": "L1 T-1",
"DOF": "v",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "velocity",
"FALSIFIER": "a measured velocity that differs from the rate of change of the measured x beyond uncertainty",
"FALSIFIER_CLASS": "F2",
"IDENTIFICATION": "v is the rate of change of x with t",
"NAME": "E_v"
},
{
"BEARS": [
"EOM_Z",
"C_NOZ"
],
"DIMENSION": "L1",
"DOF": "z",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "transverse_position",
"FALSIFIER": "a measured z different from 0 beyond its uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "z is the displacement of the mass perpendicular to the spring axis",
"NAME": "E_z"
}
],
"HEADER": {
"ENVIRONMENT_INVENTORY": [
{
"DIMENSION": "T1",
"ENVIRONMENT_QUANTITY": "time"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "position"
},
{
"DIMENSION": "L1 T-1",
"ENVIRONMENT_QUANTITY": "velocity"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "transverse_position"
}
],
"SIGNATURE": [
{
"FORM": "D(x, t) = v",
"IMAGE": "d/dt maps position to velocity",
"IMAGE_FORM": "D(position, time) = velocity",
"NAME": "time_derivative",
"OVER": [
"x",
"v",
"t"
]
}
],
"TRANSFORMATIONS": [
{
"NAME": "time_translation",
"STATEMENT": "t -> t + t0"
}
]
}
}
}
},
"expected": "[\"OK\",[]]",
"fn": "repromote_batch",
"name": "RB03 a source record HELD at the copy: not re-promoted, nor its dependent"
},
{
"args": {
"dst_records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ASSUMPTION",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"GRADE": "PROVISIONAL",
"ID": "QQ-2",
"INHERITS": "RR-2",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"PROPOSITION": "The pivot does not move.",
"REFS": [],
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"QQ-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "QQ-30",
"INHERITS": "RR-30",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"QQ-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [
"QQ-30"
],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "QQ-31",
"INHERITS": "RR-31",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
}
],
"dst_words": {
"QQ-2": "PROVISIONAL",
"QQ-30": "PROVISIONAL",
"QQ-31": "PROVISIONAL"
},
"open_audits": [],
"src_records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ASSUMPTION",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"PROPOSITION": "The pivot does not move.",
"REFS": [],
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "RR-30",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [
"RR-30"
],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "RR-31",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
}
],
"src_words": {
"RR-2": "PROVISIONAL",
"RR-30": "PROVISIONAL",
"RR-31": "ESTABLISHED"
},
"tfk": {
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
},
"TPK": {
"ASSUMPTION": [
{
"NAME": "A_kpos",
"PROPOSITION": "k_s is positive",
"REFS": [
"k_s"
]
},
{
"NAME": "A_mpos",
"PROPOSITION": "m is positive",
"REFS": [
"m"
]
}
],
"BOUNDARY": [
{
"CONDITION": "abs(x) < x_max",
"NAME": "B_small",
"PREDICATE": "|x| < x_max",
"REFS": [
"x",
"x_max"
]
}
],
"CONSTANT": [
{
"DIMENSION": "M1",
"NAME": "m"
},
{
"DIMENSION": "M1 T-2",
"NAME": "k_s"
},
{
"DIMENSION": "L1",
"NAME": "x_max",
"UNCERTAINTY": "0.001",
"UNIT": "m",
"VALUE": "0.05"
}
],
"CONSTRAINT": [
{
"ACTION": "FIX",
"NAME": "C_NOZ",
"STATEMENT": "only motion on the spring axis is described: z = 0",
"TARGET": "z",
"UNIT": "m",
"VALUE": "0"
}
],
"DOF": [
{
"DIMENSION": "T1",
"NAME": "t"
},
{
"DIMENSION": "L1",
"NAME": "x"
},
{
"DIMENSION": "L1 T-1",
"NAME": "v"
},
{
"DIMENSION": "L1",
"NAME": "z"
}
],
"LAW": [
{
"EQUATION": "m * D(v, t) = -k_s * x",
"NAME": "EOM_X",
"REFS": [
"m",
"v",
"k_s",
"x",
"t"
],
"ROLE": "EOM(v)",
"STATEMENT": "m dv/dt = -k_s x"
},
{
"EQUATION": "D(x, t) = v",
"NAME": "KIN",
"REFS": [
"x",
"v",
"t"
],
"ROLE": "EOM(x)",
"STATEMENT": "dx/dt = v"
},
{
"EQUATION": "m * D(z, t, 2) = 0",
"NAME": "EOM_Z",
"REFS": [
"m",
"z",
"t"
],
"ROLE": "CONSTRAINT",
"STATEMENT": "m d2z/dt2 = 0"
}
]
},
"TrM": {
"ENTRIES": [
{
"BEARS": [],
"DIMENSION": "T1",
"DOF": "t",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "time",
"FALSIFIER": "a second clock whose readings differ from t by more than a constant offset beyond the stated uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "t is the reading of a laboratory clock from an arbitrary origin",
"NAME": "E_t"
},
{
"BEARS": [
"EOM_X",
"KIN"
],
"DIMENSION": "L1",
"DOF": "x",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "position",
"FALSIFIER": "a measured spring force not proportional to x inside the domain",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "x is the displacement of the mass along the spring axis from the point where the spring exerts no force",
"NAME": "E_x"
},
{
"BEARS": [
"KIN"
],
"DIMENSION": "L1 T-1",
"DOF": "v",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "velocity",
"FALSIFIER": "a measured velocity that differs from the rate of change of the measured x beyond uncertainty",
"FALSIFIER_CLASS": "F2",
"IDENTIFICATION": "v is the rate of change of x with t",
"NAME": "E_v"
},
{
"BEARS": [
"EOM_Z",
"C_NOZ"
],
"DIMENSION": "L1",
"DOF": "z",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "transverse_position",
"FALSIFIER": "a measured z different from 0 beyond its uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "z is the displacement of the mass perpendicular to the spring axis",
"NAME": "E_z"
}
],
"HEADER": {
"ENVIRONMENT_INVENTORY": [
{
"DIMENSION": "T1",
"ENVIRONMENT_QUANTITY": "time"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "position"
},
{
"DIMENSION": "L1 T-1",
"ENVIRONMENT_QUANTITY": "velocity"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "transverse_position"
}
],
"SIGNATURE": [
{
"FORM": "D(x, t) = v",
"IMAGE": "d/dt maps position to velocity",
"IMAGE_FORM": "D(position, time) = velocity",
"NAME": "time_derivative",
"OVER": [
"x",
"v",
"t"
]
}
],
"TRANSFORMATIONS": [
{
"NAME": "time_translation",
"STATEMENT": "t -> t + t0"
}
]
}
}
}
},
"expected": "[\"OK\",[]]",
"fn": "repromote_batch",
"name": "RB04 a source record PROVISIONAL: not a candidate; its dependent waits"
},
{
"args": {
"dst_records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ASSUMPTION",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"GRADE": "PROVISIONAL",
"ID": "QQ-2",
"INHERITS": "RR-2",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"PROPOSITION": "The pivot does not move.",
"REFS": [],
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"QQ-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "QQ-30",
"INHERITS": "RR-30",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"QQ-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [
"QQ-30"
],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "QQ-31",
"INHERITS": "RR-31",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
[
"QQ-995",
"WITHDRAWAL",
"INHERITED",
"QQ-30",
"RR-30",
"WITHDRAWN",
"PROVISIONAL",
"",
"",
[],
[],
"0.4.0",
"7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"014741bc77ea4b167e908dd2b13991dcd63459e7248964bef8f65dc686df4e25"
]
],
"dst_words": {
"QQ-2": "PROVISIONAL",
"QQ-30": "WITHDRAWN",
"QQ-31": "PROVISIONAL"
},
"open_audits": [],
"src_records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ASSUMPTION",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"PROPOSITION": "The pivot does not move.",
"REFS": [],
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "RR-30",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [
"RR-30"
],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "RR-31",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
}
],
"src_words": {
"RR-2": "PROVISIONAL",
"RR-30": "WITHDRAWN",
"RR-31": "ESTABLISHED"
},
"tfk": {
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
},
"TPK": {
"ASSUMPTION": [
{
"NAME": "A_kpos",
"PROPOSITION": "k_s is positive",
"REFS": [
"k_s"
]
},
{
"NAME": "A_mpos",
"PROPOSITION": "m is positive",
"REFS": [
"m"
]
}
],
"BOUNDARY": [
{
"CONDITION": "abs(x) < x_max",
"NAME": "B_small",
"PREDICATE": "|x| < x_max",
"REFS": [
"x",
"x_max"
]
}
],
"CONSTANT": [
{
"DIMENSION": "M1",
"NAME": "m"
},
{
"DIMENSION": "M1 T-2",
"NAME": "k_s"
},
{
"DIMENSION": "L1",
"NAME": "x_max",
"UNCERTAINTY": "0.001",
"UNIT": "m",
"VALUE": "0.05"
}
],
"CONSTRAINT": [
{
"ACTION": "FIX",
"NAME": "C_NOZ",
"STATEMENT": "only motion on the spring axis is described: z = 0",
"TARGET": "z",
"UNIT": "m",
"VALUE": "0"
}
],
"DOF": [
{
"DIMENSION": "T1",
"NAME": "t"
},
{
"DIMENSION": "L1",
"NAME": "x"
},
{
"DIMENSION": "L1 T-1",
"NAME": "v"
},
{
"DIMENSION": "L1",
"NAME": "z"
}
],
"LAW": [
{
"EQUATION": "m * D(v, t) = -k_s * x",
"NAME": "EOM_X",
"REFS": [
"m",
"v",
"k_s",
"x",
"t"
],
"ROLE": "EOM(v)",
"STATEMENT": "m dv/dt = -k_s x"
},
{
"EQUATION": "D(x, t) = v",
"NAME": "KIN",
"REFS": [
"x",
"v",
"t"
],
"ROLE": "EOM(x)",
"STATEMENT": "dx/dt = v"
},
{
"EQUATION": "m * D(z, t, 2) = 0",
"NAME": "EOM_Z",
"REFS": [
"m",
"z",
"t"
],
"ROLE": "CONSTRAINT",
"STATEMENT": "m d2z/dt2 = 0"
}
]
},
"TrM": {
"ENTRIES": [
{
"BEARS": [],
"DIMENSION": "T1",
"DOF": "t",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "time",
"FALSIFIER": "a second clock whose readings differ from t by more than a constant offset beyond the stated uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "t is the reading of a laboratory clock from an arbitrary origin",
"NAME": "E_t"
},
{
"BEARS": [
"EOM_X",
"KIN"
],
"DIMENSION": "L1",
"DOF": "x",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "position",
"FALSIFIER": "a measured spring force not proportional to x inside the domain",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "x is the displacement of the mass along the spring axis from the point where the spring exerts no force",
"NAME": "E_x"
},
{
"BEARS": [
"KIN"
],
"DIMENSION": "L1 T-1",
"DOF": "v",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "velocity",
"FALSIFIER": "a measured velocity that differs from the rate of change of the measured x beyond uncertainty",
"FALSIFIER_CLASS": "F2",
"IDENTIFICATION": "v is the rate of change of x with t",
"NAME": "E_v"
},
{
"BEARS": [
"EOM_Z",
"C_NOZ"
],
"DIMENSION": "L1",
"DOF": "z",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "transverse_position",
"FALSIFIER": "a measured z different from 0 beyond its uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "z is the displacement of the mass perpendicular to the spring axis",
"NAME": "E_z"
}
],
"HEADER": {
"ENVIRONMENT_INVENTORY": [
{
"DIMENSION": "T1",
"ENVIRONMENT_QUANTITY": "time"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "position"
},
{
"DIMENSION": "L1 T-1",
"ENVIRONMENT_QUANTITY": "velocity"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "transverse_position"
}
],
"SIGNATURE": [
{
"FORM": "D(x, t) = v",
"IMAGE": "d/dt maps position to velocity",
"IMAGE_FORM": "D(position, time) = velocity",
"NAME": "time_derivative",
"OVER": [
"x",
"v",
"t"
]
}
],
"TRANSFORMATIONS": [
{
"NAME": "time_translation",
"STATEMENT": "t -> t + t0"
}
]
}
}
}
},
"expected": "[\"OK\",[]]",
"fn": "repromote_batch",
"name": "RB05 an inherited premise the copy withdrew (WITHDRAWN): not a candidate, its dependent not re-promoted"
},
{
"args": {
"dst_records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ASSUMPTION",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"GRADE": "PROVISIONAL",
"ID": "QQ-2",
"INHERITS": "RR-2",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"PROPOSITION": "The pivot does not move.",
"REFS": [],
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"QQ-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "QQ-30",
"INHERITS": "RR-30",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "REFUTED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"QQ-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [
"QQ-30"
],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "QQ-31",
"INHERITS": "RR-31",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
[
"QQ-995",
"WITHDRAWAL",
"INHERITED",
"QQ-30",
"RR-30",
"REFUTED",
"PROVISIONAL",
"",
"",
[],
[],
"0.4.0",
"7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"b145e3765e835755721441a6cfb16c95e30382a0ce5318ef25d91333ec0523f2"
]
],
"dst_words": {
"QQ-2": "PROVISIONAL",
"QQ-30": "REFUTED",
"QQ-31": "PROVISIONAL"
},
"open_audits": [],
"src_records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ASSUMPTION",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"PROPOSITION": "The pivot does not move.",
"REFS": [],
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "RR-30",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [
"RR-30"
],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "RR-31",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
}
],
"src_words": {
"RR-2": "PROVISIONAL",
"RR-30": "REFUTED",
"RR-31": "ESTABLISHED"
},
"tfk": {
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
},
"TPK": {
"ASSUMPTION": [
{
"NAME": "A_kpos",
"PROPOSITION": "k_s is positive",
"REFS": [
"k_s"
]
},
{
"NAME": "A_mpos",
"PROPOSITION": "m is positive",
"REFS": [
"m"
]
}
],
"BOUNDARY": [
{
"CONDITION": "abs(x) < x_max",
"NAME": "B_small",
"PREDICATE": "|x| < x_max",
"REFS": [
"x",
"x_max"
]
}
],
"CONSTANT": [
{
"DIMENSION": "M1",
"NAME": "m"
},
{
"DIMENSION": "M1 T-2",
"NAME": "k_s"
},
{
"DIMENSION": "L1",
"NAME": "x_max",
"UNCERTAINTY": "0.001",
"UNIT": "m",
"VALUE": "0.05"
}
],
"CONSTRAINT": [
{
"ACTION": "FIX",
"NAME": "C_NOZ",
"STATEMENT": "only motion on the spring axis is described: z = 0",
"TARGET": "z",
"UNIT": "m",
"VALUE": "0"
}
],
"DOF": [
{
"DIMENSION": "T1",
"NAME": "t"
},
{
"DIMENSION": "L1",
"NAME": "x"
},
{
"DIMENSION": "L1 T-1",
"NAME": "v"
},
{
"DIMENSION": "L1",
"NAME": "z"
}
],
"LAW": [
{
"EQUATION": "m * D(v, t) = -k_s * x",
"NAME": "EOM_X",
"REFS": [
"m",
"v",
"k_s",
"x",
"t"
],
"ROLE": "EOM(v)",
"STATEMENT": "m dv/dt = -k_s x"
},
{
"EQUATION": "D(x, t) = v",
"NAME": "KIN",
"REFS": [
"x",
"v",
"t"
],
"ROLE": "EOM(x)",
"STATEMENT": "dx/dt = v"
},
{
"EQUATION": "m * D(z, t, 2) = 0",
"NAME": "EOM_Z",
"REFS": [
"m",
"z",
"t"
],
"ROLE": "CONSTRAINT",
"STATEMENT": "m d2z/dt2 = 0"
}
]
},
"TrM": {
"ENTRIES": [
{
"BEARS": [],
"DIMENSION": "T1",
"DOF": "t",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "time",
"FALSIFIER": "a second clock whose readings differ from t by more than a constant offset beyond the stated uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "t is the reading of a laboratory clock from an arbitrary origin",
"NAME": "E_t"
},
{
"BEARS": [
"EOM_X",
"KIN"
],
"DIMENSION": "L1",
"DOF": "x",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "position",
"FALSIFIER": "a measured spring force not proportional to x inside the domain",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "x is the displacement of the mass along the spring axis from the point where the spring exerts no force",
"NAME": "E_x"
},
{
"BEARS": [
"KIN"
],
"DIMENSION": "L1 T-1",
"DOF": "v",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "velocity",
"FALSIFIER": "a measured velocity that differs from the rate of change of the measured x beyond uncertainty",
"FALSIFIER_CLASS": "F2",
"IDENTIFICATION": "v is the rate of change of x with t",
"NAME": "E_v"
},
{
"BEARS": [
"EOM_Z",
"C_NOZ"
],
"DIMENSION": "L1",
"DOF": "z",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "transverse_position",
"FALSIFIER": "a measured z different from 0 beyond its uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "z is the displacement of the mass perpendicular to the spring axis",
"NAME": "E_z"
}
],
"HEADER": {
"ENVIRONMENT_INVENTORY": [
{
"DIMENSION": "T1",
"ENVIRONMENT_QUANTITY": "time"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "position"
},
{
"DIMENSION": "L1 T-1",
"ENVIRONMENT_QUANTITY": "velocity"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "transverse_position"
}
],
"SIGNATURE": [
{
"FORM": "D(x, t) = v",
"IMAGE": "d/dt maps position to velocity",
"IMAGE_FORM": "D(position, time) = velocity",
"NAME": "time_derivative",
"OVER": [
"x",
"v",
"t"
]
}
],
"TRANSFORMATIONS": [
{
"NAME": "time_translation",
"STATEMENT": "t -> t + t0"
}
]
}
}
}
},
"expected": "[\"OK\",[]]",
"fn": "repromote_batch",
"name": "RB08 an inherited premise the copy withdrew (REFUTED, STATUS REFUTED): its dependent not re-promoted"
},
{
"args": {
"dst_records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ASSUMPTION",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"GRADE": "PROVISIONAL",
"ID": "QQ-2",
"INHERITS": "RR-2",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"PROPOSITION": "The pivot does not move.",
"REFS": [],
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"QQ-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "QQ-30",
"INHERITS": "RR-30",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"QQ-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [
"QQ-30"
],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "QQ-31",
"INHERITS": "RR-31",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
}
],
"dst_words": {
"QQ-2": "PROVISIONAL",
"QQ-30": "PROVISIONAL",
"QQ-31": "PROVISIONAL"
},
"open_audits": [
"QQ-31"
],
"src_records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ASSUMPTION",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"PROPOSITION": "The pivot does not move.",
"REFS": [],
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "RR-30",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [
"RR-30"
],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "RR-31",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
}
],
"src_words": {
"RR-2": "PROVISIONAL",
"RR-30": "ESTABLISHED",
"RR-31": "ESTABLISHED"
},
"tfk": {
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
},
"TPK": {
"ASSUMPTION": [
{
"NAME": "A_kpos",
"PROPOSITION": "k_s is positive",
"REFS": [
"k_s"
]
},
{
"NAME": "A_mpos",
"PROPOSITION": "m is positive",
"REFS": [
"m"
]
}
],
"BOUNDARY": [
{
"CONDITION": "abs(x) < x_max",
"NAME": "B_small",
"PREDICATE": "|x| < x_max",
"REFS": [
"x",
"x_max"
]
}
],
"CONSTANT": [
{
"DIMENSION": "M1",
"NAME": "m"
},
{
"DIMENSION": "M1 T-2",
"NAME": "k_s"
},
{
"DIMENSION": "L1",
"NAME": "x_max",
"UNCERTAINTY": "0.001",
"UNIT": "m",
"VALUE": "0.05"
}
],
"CONSTRAINT": [
{
"ACTION": "FIX",
"NAME": "C_NOZ",
"STATEMENT": "only motion on the spring axis is described: z = 0",
"TARGET": "z",
"UNIT": "m",
"VALUE": "0"
}
],
"DOF": [
{
"DIMENSION": "T1",
"NAME": "t"
},
{
"DIMENSION": "L1",
"NAME": "x"
},
{
"DIMENSION": "L1 T-1",
"NAME": "v"
},
{
"DIMENSION": "L1",
"NAME": "z"
}
],
"LAW": [
{
"EQUATION": "m * D(v, t) = -k_s * x",
"NAME": "EOM_X",
"REFS": [
"m",
"v",
"k_s",
"x",
"t"
],
"ROLE": "EOM(v)",
"STATEMENT": "m dv/dt = -k_s x"
},
{
"EQUATION": "D(x, t) = v",
"NAME": "KIN",
"REFS": [
"x",
"v",
"t"
],
"ROLE": "EOM(x)",
"STATEMENT": "dx/dt = v"
},
{
"EQUATION": "m * D(z, t, 2) = 0",
"NAME": "EOM_Z",
"REFS": [
"m",
"z",
"t"
],
"ROLE": "CONSTRAINT",
"STATEMENT": "m d2z/dt2 = 0"
}
]
},
"TrM": {
"ENTRIES": [
{
"BEARS": [],
"DIMENSION": "T1",
"DOF": "t",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "time",
"FALSIFIER": "a second clock whose readings differ from t by more than a constant offset beyond the stated uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "t is the reading of a laboratory clock from an arbitrary origin",
"NAME": "E_t"
},
{
"BEARS": [
"EOM_X",
"KIN"
],
"DIMENSION": "L1",
"DOF": "x",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "position",
"FALSIFIER": "a measured spring force not proportional to x inside the domain",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "x is the displacement of the mass along the spring axis from the point where the spring exerts no force",
"NAME": "E_x"
},
{
"BEARS": [
"KIN"
],
"DIMENSION": "L1 T-1",
"DOF": "v",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "velocity",
"FALSIFIER": "a measured velocity that differs from the rate of change of the measured x beyond uncertainty",
"FALSIFIER_CLASS": "F2",
"IDENTIFICATION": "v is the rate of change of x with t",
"NAME": "E_v"
},
{
"BEARS": [
"EOM_Z",
"C_NOZ"
],
"DIMENSION": "L1",
"DOF": "z",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "transverse_position",
"FALSIFIER": "a measured z different from 0 beyond its uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "z is the displacement of the mass perpendicular to the spring axis",
"NAME": "E_z"
}
],
"HEADER": {
"ENVIRONMENT_INVENTORY": [
{
"DIMENSION": "T1",
"ENVIRONMENT_QUANTITY": "time"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "position"
},
{
"DIMENSION": "L1 T-1",
"ENVIRONMENT_QUANTITY": "velocity"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "transverse_position"
}
],
"SIGNATURE": [
{
"FORM": "D(x, t) = v",
"IMAGE": "d/dt maps position to velocity",
"IMAGE_FORM": "D(position, time) = velocity",
"NAME": "time_derivative",
"OVER": [
"x",
"v",
"t"
]
}
],
"TRANSFORMATIONS": [
{
"NAME": "time_translation",
"STATEMENT": "t -> t + t0"
}
]
}
}
}
},
"expected": "[\"OK\",[[\"QQ-30\",\"F3\",\"F2\"]]]",
"fn": "repromote_batch",
"name": "RB06 an open audit in the successor"
},
{
"args": {
"dst_records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ASSUMPTION",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"GRADE": "PROVISIONAL",
"ID": "QQ-2",
"INHERITS": "RR-2",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"PROPOSITION": "The pivot does not move.",
"REFS": [],
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"QQ-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "QQ-30",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"QQ-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [
"QQ-30"
],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "QQ-31",
"INHERITS": "RR-31",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
}
],
"dst_words": {
"QQ-2": "PROVISIONAL",
"QQ-30": "PROVISIONAL",
"QQ-31": "PROVISIONAL"
},
"open_audits": [],
"src_records": [
{
"ASSUMPTIONS": [],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "ASSUMPTION",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"PROPOSITION": "The pivot does not move.",
"REFS": [],
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "RR-30",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AUTHOR": "agent-a",
"BLOCK": "B-1",
"CITES": [
"RR-30"
],
"CLASS": "RESULT",
"DERIVATION": {
"STEPS": 2,
"TEXT": "t"
},
"DOMAIN": "small x",
"DOMAIN_CONDITION": "abs(x) < x_max",
"D_IS": "7f1e6c0d2b9a4e3f8c5d1a0b6e2f4c9d3a8b7e1f0c6d5a4b3e2f1d0c9b8a7e6f",
"ENTRIES": [
"E_x"
],
"FALSIFIER": "f",
"FALSIFIER_CLASS": "F3",
"GRADE": "PROVISIONAL",
"ID": "RR-31",
"LANDED": "2026-09-28T12:00:00Z",
"LANDED_BY": "agent-a",
"REFS": [
"x",
"x_max"
],
"REGIME": "L",
"STATEMENT": "The amplitude stays below x_max.",
"STATUS": "UNMARKED",
"TPS": "0.4.0"
}
],
"src_words": {
"RR-2": "PROVISIONAL",
"RR-30": "ESTABLISHED",
"RR-31": "ESTABLISHED"
},
"tfk": {
"TMS": {
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"PARAMETERS": {
"K": "2",
"N_X": 2,
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"S_MAX": 10
},
"YARDSTICKS": [
{
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": [],
"NAME": "combined_distance"
}
]
},
"TPK": {
"ASSUMPTION": [
{
"NAME": "A_kpos",
"PROPOSITION": "k_s is positive",
"REFS": [
"k_s"
]
},
{
"NAME": "A_mpos",
"PROPOSITION": "m is positive",
"REFS": [
"m"
]
}
],
"BOUNDARY": [
{
"CONDITION": "abs(x) < x_max",
"NAME": "B_small",
"PREDICATE": "|x| < x_max",
"REFS": [
"x",
"x_max"
]
}
],
"CONSTANT": [
{
"DIMENSION": "M1",
"NAME": "m"
},
{
"DIMENSION": "M1 T-2",
"NAME": "k_s"
},
{
"DIMENSION": "L1",
"NAME": "x_max",
"UNCERTAINTY": "0.001",
"UNIT": "m",
"VALUE": "0.05"
}
],
"CONSTRAINT": [
{
"ACTION": "FIX",
"NAME": "C_NOZ",
"STATEMENT": "only motion on the spring axis is described: z = 0",
"TARGET": "z",
"UNIT": "m",
"VALUE": "0"
}
],
"DOF": [
{
"DIMENSION": "T1",
"NAME": "t"
},
{
"DIMENSION": "L1",
"NAME": "x"
},
{
"DIMENSION": "L1 T-1",
"NAME": "v"
},
{
"DIMENSION": "L1",
"NAME": "z"
}
],
"LAW": [
{
"EQUATION": "m * D(v, t) = -k_s * x",
"NAME": "EOM_X",
"REFS": [
"m",
"v",
"k_s",
"x",
"t"
],
"ROLE": "EOM(v)",
"STATEMENT": "m dv/dt = -k_s x"
},
{
"EQUATION": "D(x, t) = v",
"NAME": "KIN",
"REFS": [
"x",
"v",
"t"
],
"ROLE": "EOM(x)",
"STATEMENT": "dx/dt = v"
},
{
"EQUATION": "m * D(z, t, 2) = 0",
"NAME": "EOM_Z",
"REFS": [
"m",
"z",
"t"
],
"ROLE": "CONSTRAINT",
"STATEMENT": "m d2z/dt2 = 0"
}
]
},
"TrM": {
"ENTRIES": [
{
"BEARS": [],
"DIMENSION": "T1",
"DOF": "t",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "time",
"FALSIFIER": "a second clock whose readings differ from t by more than a constant offset beyond the stated uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "t is the reading of a laboratory clock from an arbitrary origin",
"NAME": "E_t"
},
{
"BEARS": [
"EOM_X",
"KIN"
],
"DIMENSION": "L1",
"DOF": "x",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "position",
"FALSIFIER": "a measured spring force not proportional to x inside the domain",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "x is the displacement of the mass along the spring axis from the point where the spring exerts no force",
"NAME": "E_x"
},
{
"BEARS": [
"KIN"
],
"DIMENSION": "L1 T-1",
"DOF": "v",
"DOMAIN": "|x| < x_max",
"ENVIRONMENT_QUANTITY": "velocity",
"FALSIFIER": "a measured velocity that differs from the rate of change of the measured x beyond uncertainty",
"FALSIFIER_CLASS": "F2",
"IDENTIFICATION": "v is the rate of change of x with t",
"NAME": "E_v"
},
{
"BEARS": [
"EOM_Z",
"C_NOZ"
],
"DIMENSION": "L1",
"DOF": "z",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "transverse_position",
"FALSIFIER": "a measured z different from 0 beyond its uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "z is the displacement of the mass perpendicular to the spring axis",
"NAME": "E_z"
}
],
"HEADER": {
"ENVIRONMENT_INVENTORY": [
{
"DIMENSION": "T1",
"ENVIRONMENT_QUANTITY": "time"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "position"
},
{
"DIMENSION": "L1 T-1",
"ENVIRONMENT_QUANTITY": "velocity"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "transverse_position"
}
],
"SIGNATURE": [
{
"FORM": "D(x, t) = v",
"IMAGE": "d/dt maps position to velocity",
"IMAGE_FORM": "D(position, time) = velocity",
"NAME": "time_derivative",
"OVER": [
"x",
"v",
"t"
]
}
],
"TRANSFORMATIONS": [
{
"NAME": "time_translation",
"STATEMENT": "t -> t + t0"
}
]
}
}
}
},
"expected": "[\"OK\",[]]",
"fn": "repromote_batch",
"name": "RB07 a successor record without INHERITS is not a candidate"
},
{
"args": {},
"expected": "[\"OK\",\"{\\\"$defs\\\":{\\\"COMPONENT\\\":{\\\"additionalProperties\\\":false,\\\"properties\\\":{\\\"BASIS\\\":{\\\"description\\\":\\\"TEXT (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"string\\\"},\\\"EVALUATION\\\":{\\\"description\\\":\\\"ENUM (ONE), written by AUTHOR.\\\",\\\"enum\\\":[\\\"A\\\",\\\"B\\\"]},\\\"NAME\\\":{\\\"description\\\":\\\"IDENT (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"string\\\"},\\\"U\\\":{\\\"description\\\":\\\"DECIMAL (ONE), written by AUTHOR; checked by TPC tpc_zone canon_decimal.\\\",\\\"type\\\":\\\"string\\\"},\\\"UNIT\\\":{\\\"description\\\":\\\"UNIT (ONE), written by AUTHOR; checked by TPC tpc_units unit_parse.\\\",\\\"type\\\":\\\"string\\\"}},\\\"required\\\":[\\\"NAME\\\",\\\"U\\\",\\\"UNIT\\\",\\\"EVALUATION\\\",\\\"BASIS\\\"],\\\"type\\\":\\\"object\\\"},\\\"DERIVATION\\\":{\\\"additionalProperties\\\":false,\\\"properties\\\":{\\\"STEPS\\\":{\\\"description\\\":\\\"INT (ONE), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"maximum\\\":1000000,\\\"minimum\\\":1,\\\"type\\\":\\\"integer\\\"},\\\"TEXT\\\":{\\\"description\\\":\\\"TEXT (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"string\\\"}},\\\"required\\\":[\\\"STEPS\\\",\\\"TEXT\\\"],\\\"type\\\":\\\"object\\\"},\\\"DIFFERENCE\\\":{\\\"additionalProperties\\\":false,\\\"properties\\\":{\\\"U\\\":{\\\"description\\\":\\\"DECIMAL (ONE), written by AUTHOR; checked by TPC tpc_zone canon_decimal.\\\",\\\"type\\\":\\\"string\\\"},\\\"VALUE\\\":{\\\"description\\\":\\\"DECIMAL (ONE), written by AUTHOR; checked by TPC tpc_zone canon_decimal.\\\",\\\"type\\\":\\\"string\\\"},\\\"ZETA\\\":{\\\"description\\\":\\\"DECIMAL (ONE), written by AUTHOR; checked by TPC tpc_zone canon_decimal.\\\",\\\"type\\\":\\\"string\\\"}},\\\"required\\\":[\\\"VALUE\\\",\\\"U\\\",\\\"ZETA\\\"],\\\"type\\\":\\\"object\\\"},\\\"EXTERNAL\\\":{\\\"additionalProperties\\\":false,\\\"properties\\\":{\\\"QUANTITY\\\":{\\\"description\\\":\\\"IDENT (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"string\\\"},\\\"UNIT\\\":{\\\"description\\\":\\\"UNIT (ONE), written by AUTHOR; checked by TPC tpc_units unit_parse.\\\",\\\"type\\\":\\\"string\\\"},\\\"U_C\\\":{\\\"description\\\":\\\"DECIMAL (ONE), written by AUTHOR; checked by TPC tpc_zone canon_decimal.\\\",\\\"type\\\":\\\"string\\\"},\\\"VALUE\\\":{\\\"description\\\":\\\"DECIMAL (ONE), written by AUTHOR; checked by TPC tpc_zone canon_decimal.\\\",\\\"type\\\":\\\"string\\\"}},\\\"required\\\":[\\\"VALUE\\\",\\\"U_C\\\",\\\"UNIT\\\",\\\"QUANTITY\\\"],\\\"type\\\":\\\"object\\\"},\\\"INDEPENDENCE\\\":{\\\"additionalProperties\\\":false,\\\"properties\\\":{\\\"ACCOUNT\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"IMPLEMENTATION\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"NOT_SERVED_BEFORE\\\":{\\\"description\\\":\\\"BOOL (ONE), written by TPX.\\\",\\\"type\\\":\\\"boolean\\\"},\\\"ORIGIN\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"SAME BLOCK\\\",\\\"REPRODUCTION BLOCK\\\"]},\\\"SAME_MODEL\\\":{\\\"description\\\":\\\"BOOL (ONE), written by TPX.\\\",\\\"type\\\":\\\"boolean\\\"},\\\"SAME_SPONSOR\\\":{\\\"description\\\":\\\"BOOL (ONE), written by TPX.\\\",\\\"type\\\":\\\"boolean\\\"},\\\"SNAPSHOT\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"VENDOR\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"}},\\\"required\\\":[\\\"ACCOUNT\\\",\\\"SNAPSHOT\\\",\\\"VENDOR\\\",\\\"IMPLEMENTATION\\\",\\\"ORIGIN\\\",\\\"NOT_SERVED_BEFORE\\\",\\\"SAME_SPONSOR\\\",\\\"SAME_MODEL\\\"],\\\"type\\\":\\\"object\\\"},\\\"POINT\\\":{\\\"additionalProperties\\\":false,\\\"properties\\\":{\\\"DOF\\\":{\\\"description\\\":\\\"IDENT (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"string\\\"},\\\"UNIT\\\":{\\\"description\\\":\\\"UNIT (ONE), written by AUTHOR; checked by TPC tpc_units unit_parse.\\\",\\\"type\\\":\\\"string\\\"},\\\"VALUE\\\":{\\\"description\\\":\\\"DECIMAL (ONE), written by AUTHOR; checked by TPC tpc_zone canon_decimal.\\\",\\\"type\\\":\\\"string\\\"}},\\\"required\\\":[\\\"DOF\\\",\\\"VALUE\\\",\\\"UNIT\\\"],\\\"type\\\":\\\"object\\\"}},\\\"$schema\\\":\\\"https://json-schema.org/draft/2020-12/schema\\\",\\\"allOf\\\":[{\\\"if\\\":{\\\"properties\\\":{\\\"CLASS\\\":{\\\"const\\\":\\\"RESULT\\\"}},\\\"required\\\":[\\\"CLASS\\\"]},\\\"then\\\":{\\\"additionalProperties\\\":false,\\\"properties\\\":{\\\"ASSUMPTIONS\\\":{\\\"description\\\":\\\"IDSET (SET), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"AT\\\":{\\\"description\\\":\\\"OBJECT (LIST), written by AUTHOR.\\\",\\\"items\\\":{\\\"$ref\\\":\\\"#/$defs/POINT\\\"},\\\"type\\\":\\\"array\\\"},\\\"AUTHOR\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"BLOCK\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"BUDGET\\\":{\\\"description\\\":\\\"OBJECT (LIST), written by AUTHOR.\\\",\\\"items\\\":{\\\"$ref\\\":\\\"#/$defs/COMPONENT\\\"},\\\"type\\\":\\\"array\\\"},\\\"CITES\\\":{\\\"description\\\":\\\"IDSET (SET), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"CLASS\\\":{\\\"description\\\":\\\"ENUM (ONE), written by AUTHOR.\\\",\\\"enum\\\":[\\\"RESULT\\\",\\\"ASSUMPTION\\\",\\\"CORROBORATION\\\",\\\"VERIFICATION\\\",\\\"WITHDRAWAL\\\",\\\"NAMED_GAP\\\",\\\"ENTRY_STATUS\\\",\\\"PROMOTION\\\",\\\"MASTER\\\",\\\"HOLD\\\",\\\"RELEASE\\\"]},\\\"CORRELATED\\\":{\\\"description\\\":\\\"BOOL (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"boolean\\\"},\\\"DERIVATION\\\":{\\\"$ref\\\":\\\"#/$defs/DERIVATION\\\",\\\"description\\\":\\\"OBJECT (ONE), written by AUTHOR.\\\"},\\\"DIGEST\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"DOMAIN\\\":{\\\"description\\\":\\\"TEXT (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"string\\\"},\\\"DOMAIN_CONDITION\\\":{\\\"description\\\":\\\"PREDICATE (ONE), written by AUTHOR; checked by TPC tpc_form parse_form.\\\",\\\"type\\\":\\\"string\\\"},\\\"D_IS\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"ENTRIES\\\":{\\\"description\\\":\\\"IDENT (SET), written by AUTHOR.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"EQUATION\\\":{\\\"description\\\":\\\"FORM (ONE), written by AUTHOR; checked by TPC tpc_form parse_form.\\\",\\\"type\\\":\\\"string\\\"},\\\"FALSIFIER\\\":{\\\"description\\\":\\\"TEXT (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"string\\\"},\\\"FALSIFIER_CLASS\\\":{\\\"description\\\":\\\"ENUM (ONE), written by AUTHOR.\\\",\\\"enum\\\":[\\\"F1\\\",\\\"F2\\\",\\\"F3\\\"]},\\\"GRADE\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"PROVISIONAL\\\"]},\\\"ID\\\":{\\\"description\\\":\\\"RID (ONE), written by LEAD; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"INHERITS\\\":{\\\"description\\\":\\\"RID (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"LANDED\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"LANDED_BY\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"LITERATURE\\\":{\\\"description\\\":\\\"IDSET (SET), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"QUANTITY\\\":{\\\"description\\\":\\\"IDENT (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"string\\\"},\\\"REFS\\\":{\\\"description\\\":\\\"IDENT (SET), written by AUTHOR.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"REGIME\\\":{\\\"description\\\":\\\"ENUM (ONE), written by AUTHOR.\\\",\\\"enum\\\":[\\\"L\\\",\\\"M\\\"]},\\\"ROLE\\\":{\\\"description\\\":\\\"ENUM (ONE), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"STATEMENT\\\":{\\\"description\\\":\\\"TEXT (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"string\\\"},\\\"STATUS\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"UNMARKED\\\",\\\"HELD\\\",\\\"REFUTED\\\"]},\\\"SUPERSEDES\\\":{\\\"description\\\":\\\"RID (ONE), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"TPS\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"UNIT\\\":{\\\"description\\\":\\\"UNIT (ONE), written by AUTHOR; checked by TPC tpc_units unit_parse.\\\",\\\"type\\\":\\\"string\\\"},\\\"U_C\\\":{\\\"description\\\":\\\"DECIMAL (ONE), written by AUTHOR; checked by TPC tpc_zone canon_decimal.\\\",\\\"type\\\":\\\"string\\\"},\\\"VALUE\\\":{\\\"description\\\":\\\"DECIMAL (ONE), written by AUTHOR; checked by TPC tpc_zone canon_decimal.\\\",\\\"type\\\":\\\"string\\\"},\\\"VETTED_IN\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"}},\\\"required\\\":[\\\"ID\\\",\\\"CLASS\\\",\\\"CITES\\\",\\\"ASSUMPTIONS\\\",\\\"STATEMENT\\\",\\\"REGIME\\\",\\\"DERIVATION\\\",\\\"FALSIFIER\\\",\\\"FALSIFIER_CLASS\\\"],\\\"type\\\":\\\"object\\\"}},{\\\"if\\\":{\\\"properties\\\":{\\\"CLASS\\\":{\\\"const\\\":\\\"ASSUMPTION\\\"}},\\\"required\\\":[\\\"CLASS\\\"]},\\\"then\\\":{\\\"additionalProperties\\\":false,\\\"properties\\\":{\\\"ASSUMPTIONS\\\":{\\\"description\\\":\\\"IDSET (SET), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"AT\\\":{\\\"description\\\":\\\"OBJECT (LIST), written by AUTHOR.\\\",\\\"items\\\":{\\\"$ref\\\":\\\"#/$defs/POINT\\\"},\\\"type\\\":\\\"array\\\"},\\\"AUTHOR\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"BLOCK\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"CITES\\\":{\\\"description\\\":\\\"IDSET (SET), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"CLASS\\\":{\\\"description\\\":\\\"ENUM (ONE), written by AUTHOR.\\\",\\\"enum\\\":[\\\"RESULT\\\",\\\"ASSUMPTION\\\",\\\"CORROBORATION\\\",\\\"VERIFICATION\\\",\\\"WITHDRAWAL\\\",\\\"NAMED_GAP\\\",\\\"ENTRY_STATUS\\\",\\\"PROMOTION\\\",\\\"MASTER\\\",\\\"HOLD\\\",\\\"RELEASE\\\"]},\\\"DIGEST\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"DOF\\\":{\\\"description\\\":\\\"IDENT (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"string\\\"},\\\"D_IS\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"EQUATION\\\":{\\\"description\\\":\\\"FORM (ONE), written by AUTHOR; checked by TPC tpc_form parse_form.\\\",\\\"type\\\":\\\"string\\\"},\\\"GRADE\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"PROVISIONAL\\\"]},\\\"ID\\\":{\\\"description\\\":\\\"RID (ONE), written by LEAD; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"INHERITS\\\":{\\\"description\\\":\\\"RID (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"LANDED\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"LANDED_BY\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"LITERATURE\\\":{\\\"description\\\":\\\"IDSET (SET), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"PROPOSITION\\\":{\\\"description\\\":\\\"TEXT (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"string\\\"},\\\"REFS\\\":{\\\"description\\\":\\\"IDENT (SET), written by AUTHOR.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"ROLE\\\":{\\\"description\\\":\\\"ENUM (ONE), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"SITUATION\\\":{\\\"description\\\":\\\"ENUM (ONE), written by AUTHOR.\\\",\\\"enum\\\":[\\\"INITIAL\\\",\\\"BOUNDARY\\\"]},\\\"STATUS\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"UNMARKED\\\",\\\"HELD\\\"]},\\\"SUPERSEDES\\\":{\\\"description\\\":\\\"RID (ONE), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"TPS\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"UNIT\\\":{\\\"description\\\":\\\"UNIT (ONE), written by AUTHOR; checked by TPC tpc_units unit_parse.\\\",\\\"type\\\":\\\"string\\\"},\\\"VALUE\\\":{\\\"description\\\":\\\"DECIMAL (ONE), written by AUTHOR; checked by TPC tpc_zone canon_decimal.\\\",\\\"type\\\":\\\"string\\\"},\\\"VETTED_IN\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"}},\\\"required\\\":[\\\"ID\\\",\\\"CLASS\\\",\\\"CITES\\\",\\\"ASSUMPTIONS\\\",\\\"PROPOSITION\\\",\\\"REFS\\\"],\\\"type\\\":\\\"object\\\"}},{\\\"if\\\":{\\\"properties\\\":{\\\"CLASS\\\":{\\\"const\\\":\\\"CORROBORATION\\\"}},\\\"required\\\":[\\\"CLASS\\\"]},\\\"then\\\":{\\\"additionalProperties\\\":false,\\\"properties\\\":{\\\"ASSUMPTIONS\\\":{\\\"description\\\":\\\"IDSET (SET), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"AUTHOR\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"BLOCK\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"CITES\\\":{\\\"description\\\":\\\"IDSET (SET), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"CLASS\\\":{\\\"description\\\":\\\"ENUM (ONE), written by AUTHOR.\\\",\\\"enum\\\":[\\\"RESULT\\\",\\\"ASSUMPTION\\\",\\\"CORROBORATION\\\",\\\"VERIFICATION\\\",\\\"WITHDRAWAL\\\",\\\"NAMED_GAP\\\",\\\"ENTRY_STATUS\\\",\\\"PROMOTION\\\",\\\"MASTER\\\",\\\"HOLD\\\",\\\"RELEASE\\\"]},\\\"DIFFERENCE\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"DIGEST\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"D_IS\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"GRADE\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"PROVISIONAL\\\"]},\\\"ID\\\":{\\\"description\\\":\\\"RID (ONE), written by LEAD; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"INDEPENDENCE\\\":{\\\"$ref\\\":\\\"#/$defs/INDEPENDENCE\\\",\\\"description\\\":\\\"OBJECT (ONE), written by TPX.\\\"},\\\"INHERITS\\\":{\\\"description\\\":\\\"RID (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"LANDED\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"LANDED_BY\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"LITERATURE\\\":{\\\"description\\\":\\\"IDSET (SET), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"OUTCOME\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"MATCH\\\",\\\"MATCH WITH DIFFERENCE NOTED\\\"]},\\\"SELF_REPORTED\\\":{\\\"description\\\":\\\"TEXT (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"string\\\"},\\\"STATUS\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"UNMARKED\\\",\\\"HELD\\\",\\\"REFUTED\\\"]},\\\"SUPERSEDES\\\":{\\\"description\\\":\\\"RID (ONE), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"TARGET\\\":{\\\"description\\\":\\\"RID (ONE), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"TARGET_STATUS\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"PROVISIONAL\\\",\\\"ESTABLISHED\\\",\\\"HELD\\\"]},\\\"TPS\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"VETTED_IN\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"}},\\\"required\\\":[\\\"ID\\\",\\\"CLASS\\\",\\\"CITES\\\",\\\"ASSUMPTIONS\\\",\\\"TARGET\\\"],\\\"type\\\":\\\"object\\\"}},{\\\"if\\\":{\\\"properties\\\":{\\\"CLASS\\\":{\\\"const\\\":\\\"VERIFICATION\\\"}},\\\"required\\\":[\\\"CLASS\\\"]},\\\"then\\\":{\\\"additionalProperties\\\":false,\\\"properties\\\":{\\\"ASSUMPTIONS\\\":{\\\"description\\\":\\\"IDSET (SET), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"AT\\\":{\\\"description\\\":\\\"OBJECT (LIST), written by AUTHOR.\\\",\\\"items\\\":{\\\"$ref\\\":\\\"#/$defs/POINT\\\"},\\\"type\\\":\\\"array\\\"},\\\"AUTHOR\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"BLOCK\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"CITES\\\":{\\\"description\\\":\\\"IDSET (SET), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"CLASS\\\":{\\\"description\\\":\\\"ENUM (ONE), written by AUTHOR.\\\",\\\"enum\\\":[\\\"RESULT\\\",\\\"ASSUMPTION\\\",\\\"CORROBORATION\\\",\\\"VERIFICATION\\\",\\\"WITHDRAWAL\\\",\\\"NAMED_GAP\\\",\\\"ENTRY_STATUS\\\",\\\"PROMOTION\\\",\\\"MASTER\\\",\\\"HOLD\\\",\\\"RELEASE\\\"]},\\\"DIFFERENCE\\\":{\\\"$ref\\\":\\\"#/$defs/DIFFERENCE\\\",\\\"description\\\":\\\"OBJECT (ONE), written by AUTHOR.\\\"},\\\"DIGEST\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"D_IS\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"EXTERNAL\\\":{\\\"$ref\\\":\\\"#/$defs/EXTERNAL\\\",\\\"description\\\":\\\"OBJECT (ONE), written by AUTHOR.\\\"},\\\"GRADE\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"PROVISIONAL\\\"]},\\\"ID\\\":{\\\"description\\\":\\\"RID (ONE), written by LEAD; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"INHERITS\\\":{\\\"description\\\":\\\"RID (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"LANDED\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"LANDED_BY\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"LITERATURE\\\":{\\\"description\\\":\\\"IDSET (SET), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"REGIME\\\":{\\\"description\\\":\\\"ENUM (ONE), written by AUTHOR.\\\",\\\"enum\\\":[\\\"M\\\"]},\\\"SOURCE\\\":{\\\"description\\\":\\\"TEXT (ONE), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"STATUS\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"UNMARKED\\\",\\\"HELD\\\"]},\\\"SUPERSEDES\\\":{\\\"description\\\":\\\"RID (ONE), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"TARGET\\\":{\\\"description\\\":\\\"RID (ONE), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"TPS\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"VETTED_IN\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"}},\\\"required\\\":[\\\"ID\\\",\\\"CLASS\\\",\\\"CITES\\\",\\\"ASSUMPTIONS\\\",\\\"REGIME\\\",\\\"TARGET\\\",\\\"EXTERNAL\\\",\\\"SOURCE\\\",\\\"DIFFERENCE\\\"],\\\"type\\\":\\\"object\\\"}},{\\\"if\\\":{\\\"properties\\\":{\\\"CLASS\\\":{\\\"const\\\":\\\"NAMED_GAP\\\"}},\\\"required\\\":[\\\"CLASS\\\"]},\\\"then\\\":{\\\"additionalProperties\\\":false,\\\"properties\\\":{\\\"AGAINST\\\":{\\\"description\\\":\\\"TEXT (SET), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"CLASS\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"RESULT\\\",\\\"ASSUMPTION\\\",\\\"CORROBORATION\\\",\\\"VERIFICATION\\\",\\\"WITHDRAWAL\\\",\\\"NAMED_GAP\\\",\\\"ENTRY_STATUS\\\",\\\"PROMOTION\\\",\\\"MASTER\\\",\\\"HOLD\\\",\\\"RELEASE\\\"]},\\\"DIGEST\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"GRADE\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"NOT GRADED\\\"]},\\\"ID\\\":{\\\"description\\\":\\\"RID (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"INHERITS\\\":{\\\"description\\\":\\\"RID (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"LANDED\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"LANDED_BY\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"SOURCE\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"IC2\\\",\\\"UNDER\\\",\\\"SR5_LOCUS\\\",\\\"SR7_ASSUMPTIONS\\\",\\\"SR7_DOMAIN\\\"]},\\\"STATE\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"STATEMENT\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"TPS\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"TRIGGER\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"}},\\\"required\\\":[],\\\"type\\\":\\\"object\\\"}},{\\\"if\\\":{\\\"properties\\\":{\\\"CLASS\\\":{\\\"const\\\":\\\"ENTRY_STATUS\\\"}},\\\"required\\\":[\\\"CLASS\\\"]},\\\"then\\\":{\\\"additionalProperties\\\":false,\\\"properties\\\":{\\\"ASSUMPTIONS\\\":{\\\"description\\\":\\\"IDSET (SET), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"AUTHOR\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"BLOCK\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"CHECKS_OWED\\\":{\\\"description\\\":\\\"TEXT (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"string\\\"},\\\"CITES\\\":{\\\"description\\\":\\\"IDSET (SET), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"CLASS\\\":{\\\"description\\\":\\\"ENUM (ONE), written by AUTHOR.\\\",\\\"enum\\\":[\\\"RESULT\\\",\\\"ASSUMPTION\\\",\\\"CORROBORATION\\\",\\\"VERIFICATION\\\",\\\"WITHDRAWAL\\\",\\\"NAMED_GAP\\\",\\\"ENTRY_STATUS\\\",\\\"PROMOTION\\\",\\\"MASTER\\\",\\\"HOLD\\\",\\\"RELEASE\\\"]},\\\"DIGEST\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"D_IS\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"ENTRY\\\":{\\\"description\\\":\\\"IDENT (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"string\\\"},\\\"GRADE\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"NOT GRADED\\\"]},\\\"ID\\\":{\\\"description\\\":\\\"RID (ONE), written by LEAD; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"INHERITS\\\":{\\\"description\\\":\\\"RID (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"LANDED\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"LANDED_BY\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"LITERATURE\\\":{\\\"description\\\":\\\"IDSET (SET), written by AUTHOR; checked by TPC tpc_record record_check.\\\",\\\"items\\\":{\\\"type\\\":\\\"string\\\"},\\\"type\\\":\\\"array\\\",\\\"uniqueItems\\\":true},\\\"NOTE\\\":{\\\"description\\\":\\\"TEXT (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"string\\\"},\\\"RIDER\\\":{\\\"description\\\":\\\"TEXT (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"string\\\"},\\\"SCRUTINY\\\":{\\\"description\\\":\\\"TEXT (ONE), written by AUTHOR.\\\",\\\"type\\\":\\\"string\\\"},\\\"STATUS\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"UNMARKED\\\",\\\"HELD\\\"]},\\\"TPS\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"VETTED_IN\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"}},\\\"required\\\":[\\\"ID\\\",\\\"CLASS\\\",\\\"CITES\\\",\\\"ASSUMPTIONS\\\",\\\"ENTRY\\\"],\\\"type\\\":\\\"object\\\"}},{\\\"if\\\":{\\\"properties\\\":{\\\"CLASS\\\":{\\\"const\\\":\\\"MASTER\\\"}},\\\"required\\\":[\\\"CLASS\\\"]},\\\"then\\\":{\\\"additionalProperties\\\":false,\\\"properties\\\":{\\\"CERTIFICATE\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"CLASS\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"RESULT\\\",\\\"ASSUMPTION\\\",\\\"CORROBORATION\\\",\\\"VERIFICATION\\\",\\\"WITHDRAWAL\\\",\\\"NAMED_GAP\\\",\\\"ENTRY_STATUS\\\",\\\"PROMOTION\\\",\\\"MASTER\\\",\\\"HOLD\\\",\\\"RELEASE\\\"]},\\\"DIGEST\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"D_TFK\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"D_TMS\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"D_TPK\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"D_TRM\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"GRADE\\\":{\\\"description\\\":\\\"ENUM (ONE), written by TPX.\\\",\\\"enum\\\":[\\\"NOT GRADED\\\"]},\\\"ID\\\":{\\\"description\\\":\\\"RID (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"LANDED\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"LANDED_BY\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"MODULES_USED\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"PREFIX\\\":{\\\"description\\\":\\\"IDENT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"STRUCTURE_LINE\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX.\\\",\\\"type\\\":\\\"string\\\"},\\\"TPS\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"},\\\"UUID\\\":{\\\"description\\\":\\\"TEXT (ONE), written by TPX; checked by TPC tpc_record record_check.\\\",\\\"type\\\":\\\"string\\\"}},\\\"required\\\":[],\\\"type\\\":\\\"object\\\"}}],\\\"description\\\":\\\"Generated by TPC tpc_record schema_json from tpm_record_schema 0.4.0. Non-normative: the table governs and TPC record_check decides; a validator run on this document can pass a record TPX refuses.\\\",\\\"properties\\\":{\\\"CLASS\\\":{\\\"enum\\\":[\\\"RESULT\\\",\\\"ASSUMPTION\\\",\\\"CORROBORATION\\\",\\\"VERIFICATION\\\",\\\"NAMED_GAP\\\",\\\"ENTRY_STATUS\\\",\\\"MASTER\\\"]}},\\\"required\\\":[\\\"CLASS\\\"],\\\"title\\\":\\\"TPM register record\\\",\\\"type\\\":\\\"object\\\"}\"]",
"fn": "schema_json",
"name": "SJ001 schema_json: the whole document (14.2: 21835 bytes, 36358588...)"
}
],
"corpus": "record",
"note": "vectors first: every expectation a literal of the generator, in TPM's canonical JSON; unit and form reasons, t2 findings and zone digests from existing TPC-PY functions over literal data; record digests recomputed here with hashlib; the drafted items' cases at the answers D214.1, D215.2 and D218.1",
"spec": "tpm_record_schema 0.4.0; tpm_record_functions 0.3.0",
"version": "0.1.0"
}
