{
  "entrypoint_kind": "function_call",
  "entrypoint_detail": "MapMessage.getFormattedMessage([\"JSON\"]) and MapMessage.asJson(StringBuilder) in log4j-api org.apache.logging.log4j.message.MapMessageJsonFormatter",
  "service_started": false,
  "healthcheck_passed": false,
  "target_path_reached": true,
  "runtime_stack": ["openjdk-17", "log4j-api-2.25.4-vulnerable", "log4j-api-2.25.5-fixed", "gson-2.11.0"],
  "proof_artifacts": [
  "logs/vulnerable_output.log",
  "logs/fixed_output.log",
  "logs/compile.log"
],
  "notes": "Harness exercises real MapMessage JSON serialization with NaN/Infinity/-Infinity. Vulnerable 2.25.4 emits 13 bare non-finite tokens (13 strict JSON parse failures). Fixed 2.25.5 emits 13 quoted values (0 parse failures). Confirmed=true."
}