transaction-evidence.json

{
  "status": "accepted",
  "fingerprint": "b578bd424b68a7f6dda5b028cc9b8c2574cc4367dde558fe70e1c675e0330ead",
  "revision": "5a80c66d7dcccc74062e14f146d18d32b33587ff",
  "normal": {
    "log": "/tmp/rdkafka-ep12-normal-final.log",
    "unit": 29,
    "integration": 426,
    "integration_seconds": 162.15
  },
  "instrumented": {
    "manifest": "docs/testing/coverage-evidence.json",
    "unit": 29,
    "integration": 426,
    "integration_seconds": 165.96
  },
  "focused": {
    "cases": 51,
    "log": "/tmp/rdkafka-ep12-focused2.log",
    "seconds": 12.08
  },
  "native_errors": {
    "repeated_immediate_calls": 300,
    "created": 300,
    "destroyed": 300,
    "control_sequence": "One repaired begin establishes the live producer, then the C control repeats the inherited init/begin/abort decode-without-destroy sequence on that producer.",
    "control_created": 4,
    "control_destroyed_before_cleanup": 1,
    "control_outstanding": 3,
    "control_cleanup": "The fixture destroys retained native objects after the assertions."
  },
  "mutations": "dist-mutations/20261024T141053Z-transaction-39758-0/results.json",
  "mutations_caught": 10,
  "unchanged_controls": 1,
  "native_diagnostics": "docs/testing/transaction-native-diagnostics.json",
  "required_checks": "/tmp/rdkafka-ep12-check.log",
  "package_check": "/tmp/rdkafka-ep12-cabalcheck.log",
  "tooling_controls": 19,
  "tests": [
    "rdkafka-hs-integration.transaction-errors.transaction-error-leak-probe releases 300 immediate native errors",
    "rdkafka-hs-integration.transaction-errors.native allocation control detects the inherited three-error leak",
    "rdkafka-hs-integration.transaction-errors.initialization timeout destroys its native error on each retry",
    "rdkafka-hs-integration.transaction-errors.zero-timeout initialization resumes successfully against the broker",
    "rdkafka-hs-integration.transaction-errors.transaction state errors preserve empty commit and abort recovery",
    "rdkafka-hs-integration.transaction-errors.duplicate transactional IDs report a real fatal fencing error",
    "rdkafka-hs-integration.transaction-errors.broker-rejected delivery requires abort and permits a successful new transaction",
    "rdkafka-hs-integration.transaction-errors.init without transactional ID preserves native code and destroys error",
    "rdkafka-hs-integration.transaction-errors.begin without transactional ID preserves native code and destroys error",
    "rdkafka-hs-integration.transaction-errors.abort without transactional ID preserves native code and destroys error",
    "rdkafka-hs-integration.transaction-errors.commit without transactional ID preserves native code and destroys error",
    "rdkafka-hs-integration.transaction-errors.offset without transactional ID preserves native code and destroys error",
    "rdkafka-hs-integration.transaction-errors.init NULL return remains success",
    "rdkafka-hs-integration.transaction-errors.begin NULL return remains success",
    "rdkafka-hs-integration.transaction-errors.abort NULL return remains success",
    "rdkafka-hs-integration.transaction-errors.commit NULL return remains success",
    "rdkafka-hs-integration.transaction-errors.offset NULL return remains success",
    "rdkafka-hs-integration.transaction-errors.init invalid native code still destroys acquired error",
    "rdkafka-hs-integration.transaction-errors.begin invalid native code still destroys acquired error",
    "rdkafka-hs-integration.transaction-errors.abort invalid native code still destroys acquired error",
    "rdkafka-hs-integration.transaction-errors.commit invalid native code still destroys acquired error",
    "rdkafka-hs-integration.transaction-errors.offset invalid native code still destroys acquired error",
    "rdkafka-hs-integration.transaction-errors.commit copies native flag combination 0 before destruction",
    "rdkafka-hs-integration.transaction-errors.commit copies native flag combination 1 before destruction",
    "rdkafka-hs-integration.transaction-errors.commit copies native flag combination 2 before destruction",
    "rdkafka-hs-integration.transaction-errors.commit copies native flag combination 3 before destruction",
    "rdkafka-hs-integration.transaction-errors.commit copies native flag combination 4 before destruction",
    "rdkafka-hs-integration.transaction-errors.commit copies native flag combination 5 before destruction",
    "rdkafka-hs-integration.transaction-errors.commit copies native flag combination 6 before destruction",
    "rdkafka-hs-integration.transaction-errors.commit copies native flag combination 7 before destruction",
    "rdkafka-hs-integration.transaction-errors.offset copies native flag combination 0 before destruction",
    "rdkafka-hs-integration.transaction-errors.offset copies native flag combination 1 before destruction",
    "rdkafka-hs-integration.transaction-errors.offset copies native flag combination 2 before destruction",
    "rdkafka-hs-integration.transaction-errors.offset copies native flag combination 3 before destruction",
    "rdkafka-hs-integration.transaction-errors.offset copies native flag combination 4 before destruction",
    "rdkafka-hs-integration.transaction-errors.offset copies native flag combination 5 before destruction",
    "rdkafka-hs-integration.transaction-errors.offset copies native flag combination 6 before destruction",
    "rdkafka-hs-integration.transaction-errors.offset copies native flag combination 7 before destruction",
    "rdkafka-hs-integration.transaction-errors.init cancellation at decoder stage 20 releases once",
    "rdkafka-hs-integration.transaction-errors.begin cancellation at decoder stage 20 releases once",
    "rdkafka-hs-integration.transaction-errors.abort cancellation at decoder stage 20 releases once",
    "rdkafka-hs-integration.transaction-errors.commit cancellation at decoder stage 20 releases once",
    "rdkafka-hs-integration.transaction-errors.commit cancellation at decoder stage 21 releases once",
    "rdkafka-hs-integration.transaction-errors.commit cancellation at decoder stage 22 releases once",
    "rdkafka-hs-integration.transaction-errors.commit cancellation at decoder stage 23 releases once",
    "rdkafka-hs-integration.transaction-errors.offset cancellation at decoder stage 20 releases once",
    "rdkafka-hs-integration.transaction-errors.offset cancellation at decoder stage 21 releases once",
    "rdkafka-hs-integration.transaction-errors.offset cancellation at decoder stage 22 releases once",
    "rdkafka-hs-integration.transaction-errors.offset cancellation at decoder stage 23 releases once",
    "rdkafka-hs-integration.transaction-errors.async commit publishes output and source next offset atomically; abort publishes neither",
    "rdkafka-hs-integration.transaction-errors.sync commit publishes output and source next offset atomically; abort publishes neither"
  ],
  "remaining": "EP-15 owns compatibility tuples and wider network/auth/native heap evidence. No EP-12 contract row remains open."
}