Lumenia verification bundle
Bundle OKF 0.2 · 8 conceitos · Anionix/lumenia-planet-museum
# Lumenia verification bundle ## Concepts * [Design contract](design-contract.md) - formal, boundary, and measurement gates * [Primary sources](primary-sources.md) - source register and claim mapping ## Computations * [Verification contract](../../contracts/verification-contract.schema.json) - JSON interface * [Asset manifest contract](../../contracts/asset-manifest.schema.json) - asset boundary interface ## Proofs * [Formal proof report](../../reports/proof-report.md) - latest checked Lean state * [Claim registry](../../contracts/claims.json) - complete declaration names and reproducible UUIDv5 values * [Release gate report](../../reports/gate-report.md) - measured, missing, and stale evidence * [Independent Wolfram report](../../reports/wolfram-report.md) - fresh agent, bounded enumeration, raw inputs and outputs