Professionalize kernel basis research artifact

[qoosmo]

Summary

Professionalizes the public Boolean kernel basis research artifact for external mathematical, cryptographic, and hiring review.

Research presentation

• self-contained README for the basis theorem, zeta/Möbius transform, and low-degree filtration
• explicit FRI motivation without claiming an FRI folding/proximity theorem
• precise separation between manuscript proof, Rust cross-checks, and incomplete Lean formalization

Rust

• renames the crate to kernel-basis-filtration
• adds package metadata and research-code scope
• hardens modular arithmetic against mixed moduli
• validates dimensions and table lengths
• adds boundary and characteristic-two tests
• enforces formatting, tests, strict Clippy, and release benchmark compilation

Lean

• pins Mathlib for reproducibility
• updates the degree import for the pinned Mathlib revision
• makes the noncomputable polynomial construction explicit
• adds explicit decidability for Boolean domination
• commits the Lake manifest
• builds successfully with exactly four documented sorry placeholders remaining

Repository quality

• adds CI
• adds contribution and security guidance
• adds dual MIT / Apache-2.0 licensing for software/formalization source
• keeps the scholarly manuscript outside the software-license grant

The mathematical manuscript itself is intentionally unchanged by this pull request.