{
  "schema": "stem-paired-experiment.v1",
  "pair": "freertos-first-task-c-vs-cpp",
  "kernel": {
    "release": "V11.3.0",
    "commit": "9b777ae5c5b8e9e456065a00294d1e5f5f9facf5",
    "files_sha256": {
      "tasks.c": "f6eead187c1b29ac5185c972952adfbb8154be0a4389e6460552911469104166",
      "list.c": "1a559a55d7b0b67e6ca1733f6a4eb42f707edbb981dd599494397f2f832cf983",
      "heap_4.c": "df22addd153cec84e60603bec7a94946c86aa1cd755f18fcd422b60d916a2b53",
      "port.c": "1e419ef74cd7bf1990699b8b8d826a9ecadbff3c69d0ecb45c2c5a2188a3667d",
      "portASM.S": "9841e0df2f7a070df1c82753ebc50ae51111a377e066175d7f493152493fd3f7"
    }
  },
  "target": {
    "arch": "rv32i_zicsr_zifencei",
    "abi": "ilp32",
    "optimization": "-Og",
    "hazard3_commit": "337bdf3255dd8e1de03643ce815f85db52d91e68",
    "linker_sha256": "c3ad8f48a6f71461d12a653ddbe616b2b39a858a3bb701e8614f440c8fab65cd",
    "compiler": "riscv64-unknown-elf-gcc (14.2.0+19) 14.2.0",
    "compiler_context": "canonical STEM hazard3-sim container"
  },
  "config": {
    "sha256": "a34b2f6b24d58e2b711454dc7fa251724973344047c6c702e689a72e7d2e45fe",
    "tick_hz": 1000,
    "heap_bytes": 16384,
    "time_slicing": true
  },
  "workload": {
    "worker_count": 2,
    "worker_priority": 2,
    "supervisor_priority": 1,
    "worker_stack_words": 256,
    "supervisor_stack_words": 160,
    "limit": 20000,
    "expected_sum": 200010000,
    "trace_capacity": 32,
    "creation_order": ["workerA", "workerB", "supervisor"],
    "required_subsequence": [0, 1, 0]
  },
  "evidence_representation": {
    "common_semantics": ["result", "iterations", "ticks", "task trace", "TCB", "stack range"],
    "fc02_c": "result, iterations, ticks and handle history are fields of WorkerContext",
    "k02_cpp": "result, iterations and ticks are external evidence arrays; state and handle belong to Task<Derived>",
    "declared_lesson_variable": "language-facing representation and wrapper boundary"
  },
  "checkpoints": {
    "events": ["E01", "E02", "E03", "E04", "E05", "E06", "E07", "E08", "E09", "E10", "E11", "E12"],
    "sink_signature": "void(uint32_t point, const void *subject)",
    "fc02_committed_symbol": "task01_debug_checkpoint_committed",
    "k02_symbol": "task_wrapper_debug_checkpoint"
  }
}