{
  "scope": "Exhaustive finite toy domains; not production cryptanalysis",
  "direction": "ABS deferred; focus on collisions and retained escape information",
  "trials": [
    {
      "name": "C0 full tagged ternary control",
      "inputs": 81,
      "distinct_outputs": 81,
      "colliding_pairs": 0,
      "example": null,
      "meaning": "Three distinct byte labels retain trit identity; no signed field interpretation.",
      "control_restored": true
    },
    {
      "name": "T3 balanced base three polynomial",
      "inputs": 81,
      "distinct_outputs": 81,
      "colliding_pairs": 0,
      "example": null,
      "meaning": "Four fixed-width trits evaluated over the integers.",
      "control_restored": true
    },
    {
      "name": "T4 signed base two polynomial",
      "inputs": 81,
      "distinct_outputs": 31,
      "colliding_pairs": 94,
      "example": {
        "input_a": [
          -1,
          -1,
          -1,
          0
        ],
        "input_b": [
          -1,
          -1,
          1,
          -1
        ],
        "output": -7
      },
      "meaning": "Same signed digit alphabet with base two creates redundant representations.",
      "control_restored": true
    },
    {
      "name": "T5 saturation outside the clamp",
      "inputs": 13,
      "distinct_outputs": 3,
      "colliding_pairs": 30,
      "example": {
        "input_a": -6,
        "input_b": -5,
        "output": -1
      },
      "meaning": "Illustrative numeric clamp [-1,1], not the production entropy clamp.",
      "control_restored": true
    },
    {
      "name": "T6 clamp with escape residual",
      "inputs": 13,
      "distinct_outputs": 13,
      "colliding_pairs": 0,
      "example": null,
      "meaning": "Full pair recovers x as clamped value plus residual.",
      "control_restored": true
    },
    {
      "name": "T7 rotating window with tail",
      "inputs": 13,
      "distinct_outputs": 13,
      "colliding_pairs": 0,
      "example": null,
      "meaning": "Tail q and local value r satisfy x=3q+r; this is an encoding, not a cipher.",
      "control_restored": true
    },
    {
      "name": "T8 drop the rotating window tail",
      "inputs": 13,
      "distinct_outputs": 3,
      "colliding_pairs": 22,
      "example": {
        "input_a": -6,
        "input_b": -3,
        "output": 0
      },
      "meaning": "Discarding q merges values separated by three.",
      "control_restored": true
    },
    {
      "name": "T9 retain original length",
      "inputs": 4,
      "distinct_outputs": 4,
      "colliding_pairs": 0,
      "example": null,
      "meaning": "Zero padding is unambiguous with original length included.",
      "control_restored": true
    },
    {
      "name": "T10 discard original length",
      "inputs": 4,
      "distinct_outputs": 1,
      "colliding_pairs": 6,
      "example": {
        "input_a": [
          0
        ],
        "input_b": [
          0,
          0
        ],
        "output": [
          [
            0
          ],
          [
            0
          ],
          [
            0
          ],
          [
            0
          ],
          [
            0
          ],
          [
            0
          ]
        ]
      },
      "meaning": "All four all-zero messages share one padded codeword.",
      "control_restored": true
    },
    {
      "name": "T11 parity-only reduction",
      "inputs": 256,
      "distinct_outputs": 64,
      "colliding_pairs": 384,
      "example": {
        "input_a": [
          0,
          0,
          0,
          0
        ],
        "input_b": [
          1,
          2,
          3,
          0
        ],
        "output": [
          [
            0
          ],
          [
            0
          ]
        ]
      },
      "meaning": "Custom GF(256) parity projection; full data shares are omitted.",
      "control_restored": true
    }
  ],
  "entropy_boundary": {
    "naive_zero_term": "ValueError: math domain error in Python",
    "guarded_zero_term": 0.0,
    "limit_defined_zero_term": 0.0,
    "meaning": "Explicit zero handling removes the clamp safely for this boundary."
  },
  "final_state": "C0 control verified after every trial; all mappings stateless"
}