defmodule SemanticVerifier.MixProject do
  use Mix.Project

  @version "0.1.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(),
      deps: deps()
    ]
  end

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

  defp deps do
    [
      {:nimble_options, "~> 1.1"},
      {: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 examples 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/self_healing.md"
      ],
      groups_for_extras: [
        Guides: [
          "guides/architecture.md",
          "guides/counter_examples.md",
          "guides/self_healing.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
        ]
      ]
    ]
  end
end