{
  "library": "pqsl-core",
  "version": "3.0.0",
  "generated_at": "2026-04-22",
  "framework": "proptest 1.11.0",
  "default_cases_per_property": 256,
  "properties": [
    {"name": "prop_kem_roundtrip_random",          "module": "kem",    "cases": 256, "status": "pass"},
    {"name": "prop_kem_tampered_ct_differs",       "module": "kem",    "cases": 256, "status": "pass"},
    {"name": "prop_dsa_roundtrip_random_msg",      "module": "dsa",    "cases": 256, "status": "pass"},
    {"name": "prop_dsa_tampered_sig_rejects",      "module": "dsa",    "cases": 256, "status": "pass"},
    {"name": "prop_dsa_tampered_msg_rejects",      "module": "dsa",    "cases": 256, "status": "pass"},
    {"name": "prop_aes_gcm_roundtrip",             "module": "aead",   "cases": 256, "status": "pass"},
    {"name": "prop_aes_gcm_tampered_ct_fails",     "module": "aead",   "cases": 256, "status": "pass"},
    {"name": "prop_chacha_roundtrip",              "module": "aead",   "cases": 256, "status": "pass"},
    {"name": "prop_chacha_tampered_ct_fails",      "module": "aead",   "cases": 256, "status": "pass"},
    {"name": "prop_sha3_determinism",              "module": "hash",   "cases": 256, "status": "pass"},
    {"name": "prop_sha3_avalanche",                "module": "hash",   "cases": 256, "status": "pass"},
    {"name": "prop_ct_eq_semantics",               "module": "hash",   "cases": 256, "status": "pass"},
    {"name": "wipe_zeroes_buffer",                 "module": "aead",   "cases":   1, "status": "pass"}
  ],
  "summary": {
    "total_properties": 13,
    "total_random_cases": 3073,
    "failed": 0,
    "passed": 13
  },
  "smoke_tests": {
    "total": 7,
    "passed": 7,
    "names": [
      "mlkem768_roundtrip",
      "mldsa65_roundtrip",
      "hybrid_kem_roundtrip",
      "ed25519_roundtrip",
      "aead_roundtrips",
      "hash_outputs_stable",
      "ct_eq_simple"
    ]
  }
}