View source for The Principia Machina/TPC-PY/vectors/record corpus.json/2

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