{
  "title": "Assure independent reconstruction: synthetic regression evidence",
  "kind": "synthetic_engineering_checks",
  "generated_utc": "2026-10-21T20:49:10.881794+00:00",
  "scope": "Typed intent, discrete graph route constraints, and route rechecks only.",
  "comparison_to_orbittamp": "None. Original prompts, data, learned weights, and optimizer results are not reproduced.",
  "limitations": [
    "Fixtures are authored examples; passing does not estimate general language accuracy.",
    "Static node values are supplied inputs, not sensor-derived integrity bounds.",
    "No continuous dynamics, flight execution, chance constraints, or continuous-time safety verification."
  ],
  "counts": {
    "total_cases": 17,
    "passed": 17,
    "by_category": {
      "preferences": 2,
      "validation": 5,
      "constraints": 4,
      "intent": 2,
      "runtime": 4
    }
  },
  "duration_ms": 3.578,
  "checks": [
    {
      "id": "test_bottleneck_ties_preserve_shortest_route",
      "category": "preferences",
      "assertion": "A later bottleneck must not discard an earlier shorter admissible route.",
      "status": "passed",
      "duration_ms": 0.871
    },
    {
      "id": "test_conflicting_limits_are_rejected",
      "category": "validation",
      "assertion": "Contradictory operator constraints are rejected.",
      "status": "passed",
      "duration_ms": 0.079
    },
    {
      "id": "test_disconnected_graph_is_infeasible",
      "category": "constraints",
      "assertion": "A disconnected target produces no invented route.",
      "status": "passed",
      "duration_ms": 0.101
    },
    {
      "id": "test_explicit_limits_are_preserved",
      "category": "intent",
      "assertion": "Operator limits and requested destination survive all planning stages.",
      "status": "passed",
      "duration_ms": 0.14
    },
    {
      "id": "test_hazardous_shortcut_is_excluded",
      "category": "constraints",
      "assertion": "The shortest geometric route is discarded when it crosses an avoided tag.",
      "status": "passed",
      "duration_ms": 0.11
    },
    {
      "id": "test_invalid_scenario_numbers_are_rejected",
      "category": "validation",
      "assertion": "Nonfinite geometry, uncertainty, and policy values are rejected.",
      "status": "passed",
      "duration_ms": 0.189
    },
    {
      "id": "test_missing_fields_remain_unspecified",
      "category": "intent",
      "assertion": "Omitted values remain unknown in M0; policy resolves them visibly in M1.",
      "status": "passed",
      "duration_ms": 0.223
    },
    {
      "id": "test_nonfinite_command_limits_are_rejected",
      "category": "validation",
      "assertion": "NaN, infinity, and overflow cannot become accepted limits.",
      "status": "passed",
      "duration_ms": 0.224
    },
    {
      "id": "test_offline_permission_changes_feasibility",
      "category": "constraints",
      "assertion": "An offline route requires explicit permission when policy requires comms.",
      "status": "passed",
      "duration_ms": 0.183
    },
    {
      "id": "test_recheck_accepts_unchanged_discrete_path",
      "category": "runtime",
      "assertion": "An unchanged route passes only the prototype's discrete checks.",
      "status": "passed",
      "duration_ms": 0.142
    },
    {
      "id": "test_recheck_holds_on_comms_loss",
      "category": "runtime",
      "assertion": "A comms-required plan cannot keep passing after route comms loss.",
      "status": "passed",
      "duration_ms": 0.277
    },
    {
      "id": "test_recheck_holds_on_removed_edge",
      "category": "runtime",
      "assertion": "A missing route edge requires a hold and replanning.",
      "status": "passed",
      "duration_ms": 0.195
    },
    {
      "id": "test_recheck_holds_on_uncertainty_increase",
      "category": "runtime",
      "assertion": "A newly violated localization limit requires a hold and replanning.",
      "status": "passed",
      "duration_ms": 0.167
    },
    {
      "id": "test_unacceptable_start_is_infeasible",
      "category": "constraints",
      "assertion": "A route cannot bypass a violation at the starting node.",
      "status": "passed",
      "duration_ms": 0.081
    },
    {
      "id": "test_uncertainty_priority_selects_safer_route",
      "category": "preferences",
      "assertion": "Uncertainty priority selects the lower-maximum-uncertainty route.",
      "status": "passed",
      "duration_ms": 0.199
    },
    {
      "id": "test_unknown_goal_is_rejected",
      "category": "validation",
      "assertion": "An unknown target is rejected without generating a route.",
      "status": "passed",
      "duration_ms": 0.075
    },
    {
      "id": "test_unsupported_clause_is_rejected",
      "category": "validation",
      "assertion": "Unsupported text is rejected rather than silently discarded.",
      "status": "passed",
      "duration_ms": 0.023
    }
  ]
}