{
  "task":"ZHCTPROMPT-20260928-SMART-CANTEEN-DUAL-DB-COMPAT-PLAN",
  "status":"two_read_methods_partial_evidence_final",
  "HTTP":{"B_red":2,"C_red":2,"C_green":2,"B_green_replayed":0,"total":6},
  "preparation":{"B_INSERT":5,"C_INSERT":5,"API_write":0,"UPDATE":0,"DELETE":0,"DDL":0,"retained":10},
  "B_PK":[345,346,347,348,349],"C_PK":[69,70,71,72,73],
  "original_table_rows":{"B":90,"C":47,"all_original_exact_unchanged":true},
  "source_balance_difference":{"B":"20.00","C":"0.00","compared_to_own_database_truth":true},
  "helper_pure_tests":{"source_missing_helper_red":true,"root_main_after":85,"B_snapshot_after":85,"C_snapshot_after":85},
  "actual_query_logic_tests":{"B_red":210,"C_red":210,"B_green":210,"C_green":210},
  "actual_wallet_internal":{"vectors_per_lane":5,"B_red_failures":0,"C_red_failures":3,"B_green_failures":0,"C_green_failures":0,"UINTmax_preserves_source_int_contract":true},
  "offline_verifier":{"red":true,"green":true,"positive_tests":1,"mutation_tests":10,"SQL":0,"HTTP":0},
  "source_reflection":{"B_files":18,"C_files":18,"drift_against_main_at_execution":0},
  "global_precision_P0_closed":false,
  "limits":["marker-only nonempty gift reads","no missing-business-number hydration proof","no auth-failure/ordinary-role/isolation proof","date filter inherited source INT mismatch remains open","no export end-to-end/performance/concurrency proof"]
}