{
  "entrypoint_kind": "library_api",
  "entrypoint_detail": "EncryptInterceptor.messageReceived() in tomcat-tribes 11.0.20",
  "service_started": true,
  "healthcheck_passed": true,
  "target_path_reached": true,
  "runtime_stack": ["openjdk-17", "tomcat-tribes-11.0.20", "tomcat-juli-11.0.20"],
  "proof_artifacts": [
    "logs/reproduction.log"
  ],
  "notes": "Library-level reproduction via Java harness. EncryptInterceptor with malformed ciphertext forwarded unprocessed bytes downstream when decryption threw IllegalBlockSizeException."
}