{
"cases": [
{
"args": {
"id": "RR-10",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
}
]
},
"expected": "[\"OK\",[[\"RR-2\"],[[\"t\",\"0\",\"none\"]]]]",
"fn": "conditions_of",
"name": "CO01 an M record's situation and point"
},
{
"args": {
"id": "RR-11",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
}
]
},
"expected": "[\"OK\",[[\"RR-2\"],[[\"t\",\"0\",\"none\"]]]]",
"fn": "conditions_of",
"name": "CO02 the point in ms normalized to SI"
},
{
"args": {
"id": "RR-13",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
}
]
},
"expected": "[\"OK\",[[\"RR-2\"],[]]]",
"fn": "conditions_of",
"name": "CO03 AT absent: no point"
},
{
"args": {
"id": "RR-18",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
},
{
"ASSUMPTIONS": [
"RR-3",
"RR-4"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "1000"
}
],
"CITES": [
"RR-10"
],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-18",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
}
]
},
"expected": "[\"OK\",[[\"RR-2\",\"RR-3\"],[[\"t\",\"1\",\"none\"]]]]",
"fn": "conditions_of",
"name": "CO04 the closure through CITES"
},
{
"args": {
"id": "RR-19",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
},
{
"ASSUMPTIONS": [
"RR-4"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-19",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
}
]
},
"expected": "[\"OK\",[[],[]]]",
"fn": "conditions_of",
"name": "CO05 a plain ASSUMPTION is no situation"
},
{
"args": {
"id": "RR-19",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
},
{
"ASSUMPTIONS": [
"RR-2",
"RR-99"
],
"CITES": [
"RR-98"
],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-19",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
}
]
},
"expected": "[\"OK\",[[\"RR-2\"],[]]]",
"fn": "conditions_of",
"name": "CO06 identifiers outside the records ignored"
},
{
"args": {
"id": "RR-19",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
},
{
"ASSUMPTIONS": [],
"AT": [
{
"DOF": "x",
"UNIT": "cm",
"VALUE": "2"
},
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1.5"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-19",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
}
]
},
"expected": "[\"OK\",[[],[[\"t\",\"15e-1\",\"none\"],[\"x\",\"2e-2\",\"none\"]]]]",
"fn": "conditions_of",
"name": "CO07 points sorted by DOF"
},
{
"args": {
"id": "RR-30",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
},
{
"ASSUMPTIONS": [
"RR-3"
],
"CITES": [
"RR-10"
],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-18",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-3"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "VERIFICATION",
"GRADE": "PROVISIONAL",
"ID": "RR-30",
"REGIME": "M",
"TARGET": "RR-18"
}
]
},
"expected": "[\"OK\",[[\"RR-2\",\"RR-3\"],[[\"t\",\"1\",\"none\"]]]]",
"fn": "conditions_of",
"name": "CO08 a VERIFICATION: its TARGET's premises with its own AT (RD-RS-36)"
},
{
"args": {
"id": "RR-19",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
},
{
"ASSUMPTIONS": [],
"AT": [
{
"DOF": "t",
"UNIT": "Hz",
"VALUE": "2"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-19",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
}
]
},
"expected": "[\"OK\",[[],[[\"t\",\"2\",\"Hz1\"]]]]",
"fn": "conditions_of",
"name": "CO09 a kind recorded: a point in Hz"
},
{
"args": {
"id": "RR-2",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
}
]
},
"expected": "[\"REFUSED\",[[\"REC-73\",\"-\",\"conditions_of reads a RESULT or a VERIFICATION\"]]]",
"fn": "conditions_of",
"name": "CO10 REC-73 an ASSUMPTION"
},
{
"args": {
"id": "RR-77",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
}
]
},
"expected": "[\"REFUSED\",[[\"REC-52\",\"-\",\"record RR-77 is not in the register\"]]]",
"fn": "conditions_of",
"name": "CO11 REC-52 not in the records"
},
{
"args": {
"id": "RR-10",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
},
[
"RR-90",
"HOLD",
"x"
]
]
},
"expected": "[\"OK\",[[\"RR-2\"],[[\"t\",\"0\",\"none\"]]]]",
"fn": "conditions_of",
"name": "CO12 list-form members ignored"
},
{
"args": {
"id": "RR-1",
"records": {
"RR-1": {}
}
},
"expected": "[\"REFUSED\",[[\"REC-50\",\"-\",\"records {\\\"RR-1\\\":{}} is not a register\"]]]",
"fn": "conditions_of",
"name": "CO13 REC-50 records not a register"
},
{
"args": {
"id": "RR-19",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
},
{
"ASSUMPTIONS": [],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "x"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-19",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
}
]
},
"expected": "[\"REFUSED\",[[\"REC-50\",\"-\",\"AT [{\\\"DOF\\\":\\\"t\\\",\\\"UNIT\\\":\\\"s\\\",\\\"VALUE\\\":\\\"x\\\"}] is not a list of points that normalize\"]]]",
"fn": "conditions_of",
"name": "CO14 REC-50 an AT point that does not normalize"
},
{
"args": {
"id": "RR-30",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-3"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "VERIFICATION",
"GRADE": "PROVISIONAL",
"ID": "RR-30",
"REGIME": "M",
"TARGET": "RR-88"
}
]
},
"expected": "[\"OK\",[[],[[\"t\",\"1\",\"none\"]]]]",
"fn": "conditions_of",
"name": "CO15 a VERIFICATION whose TARGET is not in the records: no situation"
},
{
"args": {
"id": 7,
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
}
]
},
"expected": "[\"REFUSED\",[[\"REC-52\",\"-\",\"record 7 is not in the register\"]]]",
"fn": "conditions_of",
"name": "CO16 REC-52 an identifier that is not a string"
},
{
"args": {
"quantity": "E_x",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
}
],
"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-10": "PROVISIONAL",
"RR-11": "PROVISIONAL",
"RR-12": "PROVISIONAL",
"RR-13": "PROVISIONAL",
"RR-14": "PROVISIONAL",
"RR-15": "PROVISIONAL",
"RR-16": "PROVISIONAL",
"RR-17": "PROVISIONAL",
"RR-2": "PROVISIONAL",
"RR-3": "PROVISIONAL",
"RR-4": "PROVISIONAL"
}
},
"expected": "[\"OK\",[[\"RR-10\",\"RR-11\",\"TEST\"],[\"RR-10\",\"RR-15\",\"TEST\"],[\"RR-10\",\"RR-16\",\"TEST\"],[\"RR-11\",\"RR-15\",\"TEST\"],[\"RR-11\",\"RR-16\",\"TEST\"],[\"RR-13\",\"RR-14\",\"INSPECT\"]]]",
"fn": "comparison_set",
"name": "CS01 E_x: equal conditions, both with AT (TEST); AT empty (INSPECT); L against M listed; never L-L"
},
{
"args": {
"quantity": "E_x",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
}
],
"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-10": "PROVISIONAL",
"RR-11": "HELD",
"RR-12": "PROVISIONAL",
"RR-13": "PROVISIONAL",
"RR-14": "PROVISIONAL",
"RR-15": "PROVISIONAL",
"RR-16": "PROVISIONAL",
"RR-17": "PROVISIONAL",
"RR-2": "PROVISIONAL",
"RR-3": "PROVISIONAL",
"RR-4": "PROVISIONAL"
}
},
"expected": "[\"OK\",[[\"RR-10\",\"RR-15\",\"TEST\"],[\"RR-10\",\"RR-16\",\"TEST\"],[\"RR-13\",\"RR-14\",\"INSPECT\"]]]",
"fn": "comparison_set",
"name": "CS02 a HELD record is not standing, not listed"
},
{
"args": {
"quantity": "E_z",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-20",
"QUANTITY": "E_z",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-21",
"QUANTITY": "E_z",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.001"
}
],
"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-10": "PROVISIONAL",
"RR-11": "PROVISIONAL",
"RR-12": "PROVISIONAL",
"RR-13": "PROVISIONAL",
"RR-14": "PROVISIONAL",
"RR-15": "PROVISIONAL",
"RR-16": "PROVISIONAL",
"RR-17": "PROVISIONAL",
"RR-2": "PROVISIONAL",
"RR-20": "PROVISIONAL",
"RR-21": "ESTABLISHED",
"RR-3": "PROVISIONAL",
"RR-4": "PROVISIONAL"
}
},
"expected": "[\"OK\",[[\"RR-20\",\"RR-21\",\"TEST\"]]]",
"fn": "comparison_set",
"name": "CS03 a FIXed DOF, AT empty: TEST"
},
{
"args": {
"quantity": "E_x",
"records": [
{
"ASSUMPTIONS": [],
"AT": [
{
"DOF": "t",
"UNIT": "Hz",
"VALUE": "2"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-22",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"AT": [
{
"DOF": "t",
"UNIT": "s-1",
"VALUE": "2"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-23",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
}
],
"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-22": "PROVISIONAL",
"RR-23": "PROVISIONAL"
}
},
"expected": "[\"OK\",[[\"RR-22\",\"RR-23\",\"CONVENTION\"]]]",
"fn": "comparison_set",
"name": "CS04 Hz against s-1 in AT: CONVENTION"
},
{
"args": {
"quantity": "E_x",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
}
],
"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-10": "PROVISIONAL",
"RR-11": "PROVISIONAL",
"RR-12": "PROVISIONAL",
"RR-13": "PROVISIONAL",
"RR-14": "PROVISIONAL",
"RR-15": "PROVISIONAL",
"RR-16": "PROVISIONAL",
"RR-17": "PROVISIONAL",
"RR-2": "PROVISIONAL",
"RR-3": "PROVISIONAL",
"RR-4": "PROVISIONAL"
}
},
"expected": "[\"OK\",[]]",
"fn": "comparison_set",
"name": "CS05 same situation, different AT: not paired"
},
{
"args": {
"quantity": "E_x",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-3"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-24",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
}
],
"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-10": "PROVISIONAL",
"RR-11": "PROVISIONAL",
"RR-12": "PROVISIONAL",
"RR-13": "PROVISIONAL",
"RR-14": "PROVISIONAL",
"RR-15": "PROVISIONAL",
"RR-16": "PROVISIONAL",
"RR-17": "PROVISIONAL",
"RR-2": "PROVISIONAL",
"RR-24": "PROVISIONAL",
"RR-3": "PROVISIONAL",
"RR-4": "PROVISIONAL"
}
},
"expected": "[\"OK\",[]]",
"fn": "comparison_set",
"name": "CS06 different situations: not paired"
},
{
"args": {
"quantity": "E_x",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
}
],
"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-10": "PROVISIONAL"
}
},
"expected": "[\"OK\",[]]",
"fn": "comparison_set",
"name": "CS07 a record absent from words does not stand"
},
{
"args": {
"quantity": "E_q",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
}
],
"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-10": "PROVISIONAL",
"RR-11": "PROVISIONAL",
"RR-12": "PROVISIONAL",
"RR-13": "PROVISIONAL",
"RR-14": "PROVISIONAL",
"RR-15": "PROVISIONAL",
"RR-16": "PROVISIONAL",
"RR-17": "PROVISIONAL",
"RR-2": "PROVISIONAL",
"RR-3": "PROVISIONAL",
"RR-4": "PROVISIONAL"
}
},
"expected": "[\"REFUSED\",[[\"REC-74\",\"-\",\"quantity E_q is not an entry of the TrM\"]]]",
"fn": "comparison_set",
"name": "CS08 REC-74 a quantity outside the TrM"
},
{
"args": {
"quantity": "E_x",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
}
],
"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-10": "PROVISIONAL",
"RR-11": "PROVISIONAL",
"RR-12": "PROVISIONAL",
"RR-13": "PROVISIONAL",
"RR-14": "PROVISIONAL",
"RR-15": "PROVISIONAL",
"RR-16": "PROVISIONAL",
"RR-17": "PROVISIONAL",
"RR-2": "PROVISIONAL",
"RR-3": "PROVISIONAL",
"RR-4": "PROVISIONAL"
}
},
"expected": "[\"OK\",[]]",
"fn": "comparison_set",
"name": "CS09 an L record without VALUE is not a comparison record"
},
{
"args": {
"quantity": "E_x",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
}
],
"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-10"
]
},
"expected": "[\"REFUSED\",[[\"REC-50\",\"-\",\"words [\\\"RR-10\\\"] is not a map of status words\"]]]",
"fn": "comparison_set",
"name": "CS10 REC-50 words not a map"
},
{
"args": {
"quantity": "E_x",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
}
],
"tfk": {
"TPK": {}
},
"words": {
"RR-10": "PROVISIONAL",
"RR-11": "PROVISIONAL",
"RR-12": "PROVISIONAL",
"RR-13": "PROVISIONAL",
"RR-14": "PROVISIONAL",
"RR-15": "PROVISIONAL",
"RR-16": "PROVISIONAL",
"RR-17": "PROVISIONAL",
"RR-2": "PROVISIONAL",
"RR-3": "PROVISIONAL",
"RR-4": "PROVISIONAL"
}
},
"expected": "[\"REFUSED\",[[\"REC-39\",\"-\",\"the TFK is not readable\"]]]",
"fn": "comparison_set",
"name": "CS11 REC-39 the TFK not readable"
},
{
"args": {
"quantity": 5,
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
}
],
"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-10": "PROVISIONAL",
"RR-11": "PROVISIONAL",
"RR-12": "PROVISIONAL",
"RR-13": "PROVISIONAL",
"RR-14": "PROVISIONAL",
"RR-15": "PROVISIONAL",
"RR-16": "PROVISIONAL",
"RR-17": "PROVISIONAL",
"RR-2": "PROVISIONAL",
"RR-3": "PROVISIONAL",
"RR-4": "PROVISIONAL"
}
},
"expected": "[\"REFUSED\",[[\"REC-74\",\"-\",\"quantity 5 is not an entry of the TrM\"]]]",
"fn": "comparison_set",
"name": "CS12 REC-74 a quantity that is not a string"
},
{
"args": {
"quantity": "E_x",
"records": "x",
"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-10": "PROVISIONAL",
"RR-11": "PROVISIONAL",
"RR-12": "PROVISIONAL",
"RR-13": "PROVISIONAL",
"RR-14": "PROVISIONAL",
"RR-15": "PROVISIONAL",
"RR-16": "PROVISIONAL",
"RR-17": "PROVISIONAL",
"RR-2": "PROVISIONAL",
"RR-3": "PROVISIONAL",
"RR-4": "PROVISIONAL"
}
},
"expected": "[\"REFUSED\",[[\"REC-50\",\"-\",\"records \\\"x\\\" is not a register\"]]]",
"fn": "comparison_set",
"name": "CS13 REC-50 records not a register"
},
{
"args": {
"quantity": "E_x",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
}
],
"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-10": "PROVISIONAL",
"RR-11": "PROVISIONAL",
"RR-12": "PROVISIONAL",
"RR-13": "PROVISIONAL",
"RR-14": "PROVISIONAL",
"RR-15": "PROVISIONAL",
"RR-16": "PROVISIONAL",
"RR-17": "PROVISIONAL",
"RR-2": "PROVISIONAL",
"RR-3": "PROVISIONAL",
"RR-4": "PROVISIONAL"
}
},
"expected": "[\"OK\",[[\"TEST\",[\"RR-10\",\"RR-11\"]],[\"TEST\",[\"RR-12\"]],[\"INSPECT\",[\"RR-13\",\"RR-14\"]]]]",
"fn": "sr8_groups",
"name": "S801 groups split by CONDITIONS; L records not in SR8's groups"
},
{
"args": {
"quantity": "E_x",
"records": [
{
"ASSUMPTIONS": [],
"AT": [
{
"DOF": "t",
"UNIT": "Hz",
"VALUE": "2"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-22",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"AT": [
{
"DOF": "t",
"UNIT": "s-1",
"VALUE": "2"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-23",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
}
],
"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-22": "PROVISIONAL",
"RR-23": "PROVISIONAL"
}
},
"expected": "[\"OK\",[[\"TEST\",[\"RR-22\"]],[\"TEST\",[\"RR-23\"]]]]",
"fn": "sr8_groups",
"name": "S802 a convention splits a group"
},
{
"args": {
"quantity": "E_z",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-20",
"QUANTITY": "E_z",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-21",
"QUANTITY": "E_z",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.001"
}
],
"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-20": "PROVISIONAL",
"RR-21": "PROVISIONAL"
}
},
"expected": "[\"OK\",[[\"TEST\",[\"RR-20\",\"RR-21\"]]]]",
"fn": "sr8_groups",
"name": "S803 a FIXed DOF: TEST without AT"
},
{
"args": {
"quantity": "E_x",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
}
],
"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-10": "HELD",
"RR-11": "PROVISIONAL",
"RR-12": "PROVISIONAL",
"RR-13": "PROVISIONAL",
"RR-14": "PROVISIONAL",
"RR-15": "PROVISIONAL",
"RR-16": "PROVISIONAL",
"RR-17": "PROVISIONAL",
"RR-2": "PROVISIONAL",
"RR-3": "PROVISIONAL",
"RR-4": "PROVISIONAL"
}
},
"expected": "[\"OK\",[[\"TEST\",[\"RR-11\"]],[\"TEST\",[\"RR-12\"]],[\"INSPECT\",[\"RR-13\",\"RR-14\"]]]]",
"fn": "sr8_groups",
"name": "S804 a HELD record left out"
},
{
"args": {
"quantity": "E_q",
"records": [
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-2",
"SITUATION": "INITIAL",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"DOF": "x",
"GRADE": "PROVISIONAL",
"ID": "RR-3",
"SITUATION": "BOUNDARY",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [],
"CITES": [],
"CLASS": "ASSUMPTION",
"GRADE": "PROVISIONAL",
"ID": "RR-4",
"PROPOSITION": "p"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-10",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "ms",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-11",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "1"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-12",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-13",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-14",
"QUANTITY": "E_x",
"REGIME": "M",
"STATUS": "UNMARKED",
"UNIT": "m",
"U_C": "0.001",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-15",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"AT": [
{
"DOF": "t",
"UNIT": "s",
"VALUE": "0"
}
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-16",
"QUANTITY": "E_x",
"REGIME": "L",
"STATUS": "UNMARKED",
"UNIT": "m",
"VALUE": "0.01"
},
{
"ASSUMPTIONS": [
"RR-2"
],
"CITES": [],
"CLASS": "RESULT",
"GRADE": "PROVISIONAL",
"ID": "RR-17",
"REGIME": "L",
"STATUS": "UNMARKED"
}
],
"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-10": "PROVISIONAL",
"RR-11": "PROVISIONAL",
"RR-12": "PROVISIONAL",
"RR-13": "PROVISIONAL",
"RR-14": "PROVISIONAL",
"RR-15": "PROVISIONAL",
"RR-16": "PROVISIONAL",
"RR-17": "PROVISIONAL",
"RR-2": "PROVISIONAL",
"RR-3": "PROVISIONAL",
"RR-4": "PROVISIONAL"
}
},
"expected": "[\"REFUSED\",[[\"REC-74\",\"-\",\"quantity E_q is not an entry of the TrM\"]]]",
"fn": "sr8_groups",
"name": "S805 REC-74"
}
],
"corpus": "conditions",
"note": "vectors first: every expectation a literal of the generator, in TPM's canonical JSON",
"spec": "tpm_record_functions 0.2.0 section 9 (tpc_strike 0.3.0)",
"version": "0.1.0"
}
