{
  "scope": "Parseval and low-weight count for all 2187 multiplicity patterns with r=3 and multiplicities 0..2; construction checks for n=16,r=4 including all 65536 messages. Small construction is below r>=64 theorem range; no adaptive-query, general repair or asymptotic verification.",
  "parseval_patterns": 2187,
  "construction": {
    "n": 16,
    "r": 4,
    "columns": 256,
    "core_columns": 240,
    "bridge_columns": 16,
    "full_row_rank": true,
    "connected": true,
    "generator_weight": 34,
    "messages_checked": 65536,
    "deterministic_certificate_K_bound": 8
  }
}