{
  "schema": "futhorc-session-test-results/1",
  "release": "v2026.08.15.16",
  "generated_at": "2026-08-16T01:26:33.955850+00:00",
  "authority": "actual_local_python_unittest_run",
  "truth_boundary": "Passing session tests establish deterministic behavior of this bounded local state-machine model only. They do not authenticate peers, authorize actions, or prove complete network anti-replay security.",
  "environment": {
    "python": "3.13.5",
    "implementation": "CPython",
    "platform": "Linux-6.18.35-x86_64-with-glibc2.41"
  },
  "fixture_sha256": {
    "assets/data/futhorc-session-profile.json": "d9b3c3bd4b66fb9d8ac05ea0c9cdc5aabe51c00086f5179e8cc7f92ecfda9f90",
    "tools/futhorc_session.py": "9d3f32b9ce5a272a3826aa149aa636aa45efb3b7abc493d82a38ccabca59a5a1",
    "tests/test_futhorc_session.py": "09fd909b72494361fef0204c1b14b552353329d4a4c846d9b3d2d3b2fc6b3222"
  },
  "deterministic_summary": {
    "tests_run": 12,
    "failures": 0,
    "errors": 0,
    "successful": true,
    "transcript_sha256": "91f3fffd9702bdd6619c5f12f7341d583e375a6b6a5383fa2d5665a98cbfdaf7",
    "transcript_events": 6,
    "final_state": "CLOSED"
  },
  "deterministic_digest_sha256": "cb9ab83dadfe6363505b1ccf29593e484ce0c3bea5b6bf173dd24d94d73d3eb0",
  "happy_transcript": {
    "session_id": "11111111111111111111111111111111",
    "final_state": "CLOSED",
    "negotiated": {
      "session_id": "11111111111111111111111111111111",
      "protocol_version": "1.0.0",
      "ontology_version": "1.1.0",
      "flags": [
        "ack-required",
        "idempotent"
      ],
      "max_frame_bytes": 32768,
      "peer_namespace": "node.beta",
      "local_namespace": "node.alpha"
    },
    "transcript": {
      "events": [
        {
          "index": 1,
          "event_type": "state",
          "data": {
            "state": "INIT"
          }
        },
        {
          "index": 2,
          "event_type": "offer",
          "data": {
            "message_id": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
            "frame_sha256": "d7aa886d18785e0686d6159d98e95e7b0c847233b8085a68c151dbd0fc4633ae",
            "bytes": 713
          }
        },
        {
          "index": 3,
          "event_type": "negotiated",
          "data": {
            "session_id": "11111111111111111111111111111111",
            "protocol_version": "1.0.0",
            "ontology_version": "1.1.0",
            "flags": [
              "ack-required",
              "idempotent"
            ],
            "max_frame_bytes": 32768,
            "peer_namespace": "node.beta",
            "local_namespace": "node.alpha"
          }
        },
        {
          "index": 4,
          "event_type": "ack",
          "data": {
            "schema": "futhorc-capability-ack/1",
            "session_id": "11111111111111111111111111111111",
            "correlation_message_id": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
            "protocol_version": "1.0.0",
            "ontology_version": "1.1.0",
            "flags": [
              "ack-required",
              "idempotent"
            ],
            "max_frame_bytes": 32768
          }
        },
        {
          "index": 5,
          "event_type": "state",
          "data": {
            "state": "ACTIVE"
          }
        },
        {
          "index": 6,
          "event_type": "state",
          "data": {
            "state": "CLOSED"
          }
        }
      ],
      "sha256": "91f3fffd9702bdd6619c5f12f7341d583e375a6b6a5383fa2d5665a98cbfdaf7",
      "event_count": 6,
      "byte_count": 931
    }
  },
  "failed_tests": [],
  "error_tests": []
}