View source for The Principia Machina/UWC/RP1/TFK/TrM

<!-- TPM TFK/TrM for RP1; immutable; written by TPX from the certified draft -->
<pre class="tpm-zone">
{
  "ENTRIES": [
    {
      "BEARS": [],
      "DIMENSION": "T1",
      "DOF": "t",
      "DOMAIN": "always",
      "ENVIRONMENT_QUANTITY": "time",
      "FALSIFIER": "a second clock differing by more than offset beyond uncertainty",
      "FALSIFIER_CLASS": "F3",
      "IDENTIFICATION": "t is the reading of a laboratory clock from an arbitrary origin",
      "NAME": "E_t"
    },
    {
      "BEARS": [
        "EOM_THETA",
        "KIN"
      ],
      "DIMENSION": "1",
      "DOF": "theta",
      "DOMAIN": "|theta| < theta_max",
      "ENVIRONMENT_QUANTITY": "angle",
      "FALSIFIER": "measured angle not proportional to restoring torque inside domain",
      "FALSIFIER_CLASS": "F3",
      "IDENTIFICATION": "theta is angular displacement from downward vertical equilibrium",
      "NAME": "E_theta"
    },
    {
      "BEARS": [
        "KIN"
      ],
      "DIMENSION": "T-1",
      "DOF": "omega",
      "DOMAIN": "|theta| < theta_max",
      "ENVIRONMENT_QUANTITY": "angular_velocity",
      "FALSIFIER": "measured angular velocity differing from rate of change of theta beyond uncertainty",
      "FALSIFIER_CLASS": "F2",
      "IDENTIFICATION": "omega is the time rate of change of theta",
      "NAME": "E_omega"
    },
    {
      "BEARS": [
        "EOM_Z",
        "C_NOZ"
      ],
      "DIMENSION": "L1",
      "DOF": "z",
      "DOMAIN": "always",
      "ENVIRONMENT_QUANTITY": "out_of_plane",
      "FALSIFIER": "measured z different from 0 beyond uncertainty",
      "FALSIFIER_CLASS": "F3",
      "IDENTIFICATION": "z is perpendicular displacement of bob from oscillation plane",
      "NAME": "E_z"
    }
  ],
  "HEADER": {
    "ENVIRONMENT_INVENTORY": [
      {
        "DIMENSION": "T1",
        "ENVIRONMENT_QUANTITY": "time"
      },
      {
        "DIMENSION": "1",
        "ENVIRONMENT_QUANTITY": "angle"
      },
      {
        "DIMENSION": "T-1",
        "ENVIRONMENT_QUANTITY": "angular_velocity"
      },
      {
        "DIMENSION": "L1",
        "ENVIRONMENT_QUANTITY": "out_of_plane"
      }
    ],
    "SIGNATURE": [
      {
        "FORM": "D(theta, t) = omega",
        "IMAGE": "d/dt maps angle to angular velocity",
        "IMAGE_FORM": "D(angle, time) = angular_velocity",
        "NAME": "time_derivative",
        "OVER": [
          "theta",
          "omega",
          "t"
        ]
      }
    ],
    "TRANSFORMATIONS": [
      {
        "NAME": "time_translation",
        "STATEMENT": "t -> t + t0"
      }
    ]
  }
}
</pre>