defmodule SemanticVerifier.MixProject do
  use Mix.Project

  @version "0.2.0-rc.2"
  @source_url "https://github.com/collective-mind/semantic_verifier"

  def project do
    [
      app: :semantic_verifier,
      version: @version,
      elixir: "~> 1.15",
      start_permanent: Mix.env() == :prod,
      description: description(),
      package: package(),
      docs: docs(),
      elixirc_paths: elixirc_paths(Mix.env()),
      deps: deps()
    ]
  end

  defp elixirc_paths(:test), do: ["lib", "test/support", "mix"]
  defp elixirc_paths(_), do: ["lib", "mix"]

  def application do
    [
      extra_applications: [:logger, :crypto],
      mod: {SemanticVerifier.Application, []}
    ]
  end

  defp deps do
    [
      {:nimble_options, "~> 1.1"},
      {:stream_data, "~> 1.0", only: [:dev, :test], runtime: false},
      {:ex_doc, "~> 0.31", only: :dev, runtime: false}
    ]
  end

  defp description do
    "Pure Elixir SMT-LIB2 formal verification engine for FrameNet Semantic IR with persistent Z3 session pools."
  end

  defp package do
    [
      name: "semantic_verifier",
      files: ~w(lib guides .formatter.exs mix.exs README.md LICENSE CHANGELOG.md),
      licenses: ["Apache-2.0"],
      authors: ["Erdal Turan <erdalturan@gmail.com>"],
      links: %{
        "GitHub" => @source_url,
        "Changelog" => "#{@source_url}/blob/main/CHANGELOG.md"
      }
    ]
  end

  defp docs do
    [
      main: "SemanticVerifier",
      source_url: @source_url,
      source_ref: "v#{@version}",
      extras: [
        "README.md",
        "CHANGELOG.md",
        "guides/architecture.md",
        "guides/counter_examples.md",
        "guides/framenet_dead_branches.md",
        "guides/self_healing.md",
        "guides/future_roadmap.md",
        "guides/proof_ledger.md"
      ],
      groups_for_extras: [
        Guides: [
          "guides/architecture.md",
          "guides/counter_examples.md",
          "guides/framenet_dead_branches.md",
          "guides/self_healing.md",
          "guides/future_roadmap.md",
          "guides/proof_ledger.md"
        ]
      ],
      groups_for_modules: [
        "Core Facade": [
          SemanticVerifier
        ],
        "SMT Engine & Session Pool": [
          SemanticVerifier.Pool,
          SemanticVerifier.Session,
          SemanticVerifier.Solver,
          SemanticVerifier.Encoder
        ],
        "Verification & Transformation": [
          SemanticVerifier.Schema,
          SemanticVerifier.ModelParser,
          SemanticVerifier.Healer,
          SemanticVerifier.Error,
          SemanticVerifier.RepairPlanner,
          SemanticVerifier.TransitionVerifier,
          SemanticVerifier.FlowVerifier
        ],
        "Semantic Grounding & Audit": [
          SemanticVerifier.FrameNet,
          SemanticVerifier.Provenance,
          SemanticVerifier.ErrorSemantics,
          SemanticVerifier.DomainErrorCatalogue,
          SemanticVerifier.Fingerprint,
          SemanticVerifier.ProofFingerprint,
          SemanticVerifier.ProofTrace,
          SemanticVerifier.ProofLedger
        ]
      ]
    ]
  end
end