| name: liquidlean-theorem3
|
| version: 0.1.0.0
|
| github: "SNAPKITTYWEST/sov-kernel-monster"
|
| license: SSL
|
| author: "Ahmad Ali Parr"
|
| maintainer: "ahmedparr93@gmail.com"
|
| copyright: "2026 SnapKitty Collective"
|
|
|
| extra-source-files:
|
| - README.md
|
| - INTEGRATION_GUIDE.md
|
|
|
|
|
| synopsis: Jacobian Conjecture Crack — Theorem 3 in Haskell
|
| description: |
|
| Rigorous formalization of the Jacobian Conjecture attack via genus-0 forcing.
|
|
|
| Core pipeline:
|
| 1. Analyze singularities of implicit curve h(u,x)
|
| 2. Compute δ-invariants via Mora standard bases
|
| 3. Apply Plücker genus formula: g = (d-1)(d-2)/2 - Σ δ_P
|
| 4. If g=0, curve is rational (genus-0), proving Theorem 3
|
|
|
| Integrated with sov-kernel-monster quantum kernel for:
|
| - Energy accounting (φ-decay tokens)
|
| - WORM attestation (Blake3 + Ed25519)
|
| - Lean FFI bindings (@[extern])
|
| - Fortran bridge (C ABI)
|
|
|
| dependencies:
|
| - base >= 4.16 && < 5
|
| - containers >= 0.6.5
|
| - mtl >= 2.2.2
|
|
|
| default-extensions:
|
| - DataKinds
|
| - GADTs
|
| - KindSignatures
|
| - TypeOperators
|
| - ScopedTypeVariables
|
| - StrictData
|
| - BangPatterns
|
| - PatternSynonyms
|
| - ViewPatterns
|
|
|
| library:
|
| source-dirs: LiquidLean
|
| ghc-options:
|
| - -Wall
|
| - -Wcompat
|
| - -Wincomplete-record-updates
|
| - -Wincomplete-uni-patterns
|
| - -Wredundant-constraints
|
| - -Wno-name-shadowing
|
| - -O2
|
| - -fspec-constr-recursive=16
|
| - -fstatic-argument-transformation
|
|
|
| executables:
|
| theorem3-cli:
|
| main: Main.hs
|
| source-dirs: app
|
| ghc-options:
|
| - -threaded
|
| - -rtsopts
|
| - -with-rtsopts=-N
|
| - -O2
|
| dependencies:
|
| - liquidlean-theorem3
|
| - text
|
| - bytestring
|
|
|
| tests:
|
| liquidlean-theorem3-test:
|
| main: Spec.hs
|
| source-dirs: test
|
| ghc-options:
|
| - -threaded
|
| - -rtsopts
|
| - -with-rtsopts=-N
|
| dependencies:
|
| - liquidlean-theorem3
|
| - hspec
|
| - QuickCheck
|
|
|
