mathlib5/malice_layer2/metadata.json at master · SNAPKITTYWEST/mathlib5 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
{
    "id":  "MATHLIB5-20260710-MALICELA-001",
    "weight":  1,
    "review_status":  "human_review_required",
    "security_audit":  {
                           "metadata_integrity":  "Yes",
                           "tamper_evidence":  "SHA-256 chain (append-only)",
                           "encryption":  "AES-256-GCM",
                           "plasma_gate":  "Ed25519_Enforced"
                       },
    "family_id":  9,
    "split":  [
                  "audit",
                  "kernel",
                  "proofs",
                  "runtime",
                  "witnesses",
                  "refinements",
                  "asp_gate",
                  "fol_engine",
                  "prism_skills"
              ],
    "status":  "awaiting_worm_seal",
    "provenance":  {
                       "chain_link":  "Bifrost_WORM_Chain_20260710_01",
                       "source_path":  "mathlib5/malice_layer2/",
                       "corpora_path":  "corpora/novel_methods/malice_refutation/"
                   },
    "source_sha256":  "auto_generated",
    "created_by":  "Ahmad Ali Parr Â· SnapKitty Collective Â· the-49th-call SNAPKITTYWEST Â· 2026"
}