Apr 25

1. 02:46

   sync OilVinegar.lean from PR #19 (28 theorems, div_lt_div_iff deprecation fix)

   beanapologist
   Verified signature

   572542b
2. 02:46

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

   beanapologist
   Verified signature

   2f9bb48
3. 02:06

   v2: honest framing — uniqueness theorem, not a cryptosystem

   beanapologist
   Verified signature

   d87187d
4. 02:02

   fix: sync OilVinegar.lean with merged GitHub version (18 theorems)

   beanapologist
   Verified signature

   806831e
5. 02:02

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

   beanapologist
   Verified signature

   a954cc4
6. 00:46

   fix: add YAML metadata to repo card

   beanapologist
   Verified signature

   aa5f544
7. 00:45

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

   beanapologist
   Verified signature

   ea9e24d
8. 00:45

   initial commit

   beanapologist
   Verified signature

   8804fb5