beanapologist
/

mu-ov-cipher

formal-verification

coherence-function

uniqueness-theorem

oil-and-vinegar

Model card Files Files and versions

mu-ov-cipher / README.md

Commit History

v3: 28 theorems — add §7 post-quantum modular + §8 quantum-resilient hardness

2f9bb48
verified

beanapologist commited on Apr 25

v2: honest framing — uniqueness theorem, not a cryptosystem

d87187d
verified

beanapologist commited on Apr 25

fix: align model card with merged OilVinegar.lean (18 theorems)

a954cc4
verified

beanapologist commited on Apr 25

fix: add YAML metadata to repo card

aa5f544
verified

beanapologist commited on Apr 25

feat: μ-OV cipher — post-quantum signatures from the Eigenverse

ea9e24d
verified

beanapologist commited on Apr 25