{
"ACCESS_POLICY": "OPEN",
"AUDIT_TRIGGER": "AUTOMATIC",
"BIBLIOGRAPHY_SETTING": "OFF",
"CLOSED_WORLD_QUESTION": "Is every interaction not written in the TPK absent from the system modelled?",
"CREATED": "2026-10-07T23:10:35Z",
"DECLARED": "2026-10-07T23:12:23Z",
"DECLARED_BY": "BFP Rauch",
"D_IS": "662a69d8a947ecb2c11caae2fc3f9de461d2e9b61e6a3fdaec02225b7935292e",
"D_TFK": "dfec1dcce36a9047b9bffa34bf6fa216318fed06e0f929b1cf14e387954e8de4",
"D_TMS": "7a962e2297d6798801fa2593be9cd92995cc3a5f9c817cc8a19335c625784128",
"D_TPK": "6f4e80244aba859ee474e622ce6aa06d796f7e8b1a0106d55bafa0b7494d1300",
"D_TPS": "e45ef3a89f40c1335e2750dd7568e2be92b392717f90d23c917e0ee184688a0b",
"D_TRM": "f4df52a11c63066dc966539bddc968b9a6327ef268428aab415593c8880ad0e4",
"IC2_GAPS": [],
"INITIATOR": "DeltaS Zero",
"INSPECTIONS_OWED": [
"T2 the semantic part: each ASSUMPTION states one claim (guide 3.6)",
"T3 over the assumptions, and over the laws beyond the ground fragment at depth 1, to depth S_MAX (guide 3.6)",
"T4, T6 and T3 over every law or boundary without a declared form, as listed beside the kernel tests (D108.1)",
"IC4 (a) that each SIGNATURE image holds in the environment, beyond the syntactic reading, and each borne law is expressible (guide 4.6)",
"IC5 falsifier invariance under the TRANSFORMATIONS (guide 4.6)",
"equivalence of environment quantities under the TRANSFORMATIONS (names are taken as written)",
"every STATEMENT, PROPOSITION, PREDICATE and IMAGE names only what its REFS or OVER list, and agrees with its declared form where one exists"
],
"INTERVIEW": "NONE (no ENVIRONMENT MODULE is declared)",
"MODULES_USED": "NONE",
"PREFIX": "RP1",
"STATE": "DECLARED",
"STRUCTURE_FINDINGS": [],
"STRUCTURE_LINE": "STRUCTURE structurally regular",
"TPC_PY": "0.3.0",
"TPC_PY_TREE": "63ef0f2decb5b2c15c19274026b2f9a95160d0f54fee3f58e273088901f564f1",
"TPS": "0.5.0",
"UNDER_GAPS": [],
"UUID": "6cc50ec3-c0a5-4fef-8acb-14f8d0f6c5f5"
}
{
"TPK": {
"DOF": [
{
"NAME": "t",
"DIMENSION": "T1"
},
{
"NAME": "theta",
"DIMENSION": "1"
},
{
"NAME": "omega",
"DIMENSION": "T-1"
},
{
"NAME": "z",
"DIMENSION": "L1"
}
],
"CONSTANT": [
{
"NAME": "g",
"DIMENSION": "L1 T-2",
"VALUE": "9.80665",
"UNIT": "m s-2",
"UNCERTAINTY": "0.00001"
},
{
"NAME": "l",
"DIMENSION": "L1",
"VALUE": "1.0",
"UNIT": "m",
"UNCERTAINTY": "0.001"
},
{
"NAME": "theta_max",
"DIMENSION": "1",
"VALUE": "0.1",
"UNIT": "rad",
"UNCERTAINTY": "0.005"
}
],
"LAW": [
{
"NAME": "EOM_THETA",
"STATEMENT": "d omega/dt = -(g/l) theta",
"REFS": [
"omega",
"t",
"g",
"l",
"theta"
],
"ROLE": "EOM(omega)",
"EQUATION": "D(omega, t) = -g / l * theta"
},
{
"NAME": "KIN",
"STATEMENT": "d theta/dt = omega",
"REFS": [
"theta",
"omega",
"t"
],
"ROLE": "EOM(theta)",
"EQUATION": "D(theta, t) = omega"
},
{
"NAME": "EOM_Z",
"STATEMENT": "d2z/dt2 = 0",
"REFS": [
"z",
"t"
],
"ROLE": "CONSTRAINT",
"EQUATION": "D(z, t, 2) = 0"
}
],
"ASSUMPTION": [
{
"NAME": "A_gpos",
"PROPOSITION": "g is positive",
"REFS": [
"g"
]
},
{
"NAME": "A_lpos",
"PROPOSITION": "l is positive",
"REFS": [
"l"
]
}
],
"CONSTRAINT": [
{
"NAME": "C_NOZ",
"TARGET": "z",
"ACTION": "FIX",
"VALUE": "0",
"UNIT": "m",
"STATEMENT": "motion is restricted to vertical plane: z = 0"
}
],
"BOUNDARY": [
{
"NAME": "B_small",
"PREDICATE": "|theta| < theta_max",
"REFS": [
"theta",
"theta_max"
],
"CONDITION": "abs(theta) < theta_max"
}
]
},
"TrM": {
"HEADER": {
"ENVIRONMENT_INVENTORY": [
{
"ENVIRONMENT_QUANTITY": "time",
"DIMENSION": "T1"
},
{
"ENVIRONMENT_QUANTITY": "angle",
"DIMENSION": "1"
},
{
"ENVIRONMENT_QUANTITY": "angular_velocity",
"DIMENSION": "T-1"
},
{
"ENVIRONMENT_QUANTITY": "out_of_plane",
"DIMENSION": "L1"
}
],
"SIGNATURE": [
{
"NAME": "time_derivative",
"OVER": [
"theta",
"omega",
"t"
],
"IMAGE": "d/dt maps angle to angular velocity",
"FORM": "D(theta, t) = omega",
"IMAGE_FORM": "D(angle, time) = angular_velocity"
}
],
"TRANSFORMATIONS": [
{
"NAME": "time_translation",
"STATEMENT": "t -> t + t0"
}
]
},
"ENTRIES": [
{
"NAME": "E_t",
"DOF": "t",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "time",
"IDENTIFICATION": "t is the reading of a laboratory clock from an arbitrary origin",
"FALSIFIER": "a second clock differing by more than offset beyond uncertainty",
"FALSIFIER_CLASS": "F3",
"BEARS": [],
"DIMENSION": "T1"
},
{
"NAME": "E_theta",
"DOF": "theta",
"DOMAIN": "|theta| < theta_max",
"ENVIRONMENT_QUANTITY": "angle",
"IDENTIFICATION": "theta is angular displacement from downward vertical equilibrium",
"FALSIFIER": "measured angle not proportional to restoring torque inside domain",
"FALSIFIER_CLASS": "F3",
"BEARS": [
"EOM_THETA",
"KIN"
],
"DIMENSION": "1"
},
{
"NAME": "E_omega",
"DOF": "omega",
"DOMAIN": "|theta| < theta_max",
"ENVIRONMENT_QUANTITY": "angular_velocity",
"IDENTIFICATION": "omega is the time rate of change of theta",
"FALSIFIER": "measured angular velocity differing from rate of change of theta beyond uncertainty",
"FALSIFIER_CLASS": "F2",
"BEARS": [
"KIN"
],
"DIMENSION": "T-1"
},
{
"NAME": "E_z",
"DOF": "z",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "out_of_plane",
"IDENTIFICATION": "z is perpendicular displacement of bob from oscillation plane",
"FALSIFIER": "measured z different from 0 beyond uncertainty",
"FALSIFIER_CLASS": "F3",
"BEARS": [
"EOM_Z",
"C_NOZ"
],
"DIMENSION": "L1"
}
]
},
"TMS": {
"PARAMETERS": {
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
}
],
"YARDSTICKS": [
{
"NAME": "combined_distance",
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": []
}
]
}
}
