certsf 0.1.0__tar.gz

certsf-0.1.0/.gitattributes

@@ -0,0 +1 @@
+* text=auto eol=lf

certsf-0.1.0/.github/workflows/publish-pypi.yml

@@ -0,0 +1,75 @@
+name: publish-pypi
+
+on:
+  workflow_dispatch:
+    inputs:
+      ref:
+        description: "Git ref or tag to publish"
+        required: true
+        default: "v0.1.0"
+
+  release:
+    types: [published]
+
+permissions:
+  contents: read
+
+jobs:
+  build:
+    name: Build distribution
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v6
+        with:
+          ref: ${{ github.event.release.tag_name || inputs.ref || github.ref }}
+          persist-credentials: false
+
+      - uses: actions/setup-python@v6
+        with:
+          python-version: "3.12"
+
+      - name: Check release tag matches package version
+        env:
+          RELEASE_REF: ${{ github.event.release.tag_name || inputs.ref || github.ref_name }}
+        run: python scripts/check_release_version.py "$RELEASE_REF"
+
+      - name: Install build tools
+        run: |
+          python -m pip install --upgrade pip
+          python -m pip install build twine
+
+      - name: Build sdist and wheel
+        run: python -m build
+
+      - name: Check distributions
+        run: python -m twine check dist/*
+
+      - name: Upload distribution artifact
+        uses: actions/upload-artifact@v5
+        with:
+          name: python-package-distributions
+          path: dist/
+
+  publish-pypi:
+    name: Publish distribution to PyPI
+    needs: build
+    runs-on: ubuntu-latest
+
+    environment:
+      name: pypi
+      url: https://pypi.org/p/certsf
+
+    permissions:
+      contents: read
+      id-token: write
+
+    steps:
+      - name: Download distribution artifact
+        uses: actions/download-artifact@v6
+        with:
+          name: python-package-distributions
+          path: dist/
+
+      - name: Publish to PyPI
+        uses: pypa/gh-action-pypi-publish@release/v1

certsf-0.1.0/.github/workflows/publish-testpypi.yml

@@ -0,0 +1,72 @@
+name: publish-testpypi
+
+on:
+  workflow_dispatch:
+    inputs:
+      ref:
+        description: "Git ref or tag to publish"
+        required: true
+        default: "v0.1.0"
+
+permissions:
+  contents: read
+
+jobs:
+  build:
+    name: Build distribution
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v6
+        with:
+          ref: ${{ inputs.ref }}
+          persist-credentials: false
+
+      - uses: actions/setup-python@v6
+        with:
+          python-version: "3.12"
+
+      - name: Check release tag matches package version
+        run: python scripts/check_release_version.py "${{ inputs.ref }}"
+
+      - name: Install build tools
+        run: |
+          python -m pip install --upgrade pip
+          python -m pip install build twine
+
+      - name: Build sdist and wheel
+        run: python -m build
+
+      - name: Check distributions
+        run: python -m twine check dist/*
+
+      - name: Upload distribution artifact
+        uses: actions/upload-artifact@v5
+        with:
+          name: python-package-distributions
+          path: dist/
+
+  publish-testpypi:
+    name: Publish distribution to TestPyPI
+    needs: build
+    runs-on: ubuntu-latest
+
+    environment:
+      name: testpypi
+      url: https://test.pypi.org/p/certsf
+
+    permissions:
+      contents: read
+      id-token: write
+
+    steps:
+      - name: Download distribution artifact
+        uses: actions/download-artifact@v6
+        with:
+          name: python-package-distributions
+          path: dist/
+
+      - name: Publish to TestPyPI
+        uses: pypa/gh-action-pypi-publish@release/v1
+        with:
+          repository-url: https://test.pypi.org/legacy/

certsf-0.1.0/.github/workflows/pypi-smoke.yml

@@ -0,0 +1,117 @@
+name: pypi-smoke
+
+on:
+  workflow_dispatch:
+    inputs:
+      version:
+        description: "Published certsf version to test"
+        required: true
+        default: "0.1.0a3"
+  schedule:
+    - cron: "0 3 * * 1"
+
+jobs:
+  smoke:
+    name: pypi-smoke / ${{ matrix.python-version }} ${{ matrix.extras || 'base' }}
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ["3.10", "3.11", "3.12"]
+        extras: ["", "[certified]"]
+
+    steps:
+      - uses: actions/setup-python@v6
+        with:
+          python-version: ${{ matrix.python-version }}
+
+      - name: Install from PyPI
+        run: |
+          python -m pip install --upgrade pip
+          python -m pip install --pre "certsf${{ matrix.extras }}==${{ inputs.version || '0.1.0a3' }}"
+
+      - name: Smoke test import and calls
+        run: |
+          python - <<'PY'
+          import sysconfig
+          from pathlib import Path
+
+          import certsf
+          from certsf import ai, besselj, gamma, pcfu
+
+          certsf_path = Path(certsf.__file__).resolve()
+          install_paths = [
+              Path(sysconfig.get_paths()[key]).resolve()
+              for key in ("purelib", "platlib")
+          ]
+          assert any(certsf_path.is_relative_to(path) for path in install_paths), certsf_path
+
+          print(certsf.__all__)
+          print(certsf_path)
+          print(gamma("3.2", mode="fast").to_mcp_dict())
+          print(ai("1.0", mode="high_precision", dps=60).to_mcp_dict())
+          print(besselj("2", "4.0", mode="fast").to_mcp_dict())
+          print(pcfu("2.5", "1.25", mode="high_precision", dps=60).to_mcp_dict())
+          PY
+
+      - name: Certified smoke calls
+        if: matrix.extras == '[certified]'
+        run: |
+          python - <<'PY'
+          from certsf import ai, besselj, gamma, pcfu
+
+          cases = [
+              gamma("3.2", mode="certified", dps=50),
+              ai("1.0", mode="certified", dps=50),
+              besselj("2", "4.0", mode="certified", dps=50),
+              pcfu("2.5", "1.25", mode="certified", dps=50),
+          ]
+
+          for result in cases:
+              print(result.to_mcp_dict())
+              assert result.certified
+          PY
+
+  mcp-smoke:
+    name: pypi-smoke / ${{ matrix.python-version }} mcp-certified
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ["3.10", "3.11", "3.12"]
+
+    steps:
+      - uses: actions/setup-python@v6
+        with:
+          python-version: ${{ matrix.python-version }}
+
+      - name: Install MCP extra from PyPI
+        run: |
+          python -m pip install --upgrade pip
+          python -m pip install --pre "certsf[mcp,certified]==${{ inputs.version || '0.1.0a3' }}"
+
+      - name: MCP smoke test
+        run: |
+          python - <<'PY'
+          import sysconfig
+          from pathlib import Path
+
+          import certsf
+          from certsf.mcp_server import build_server, special_gamma
+
+          certsf_path = Path(certsf.__file__).resolve()
+          install_paths = [
+              Path(sysconfig.get_paths()[key]).resolve()
+              for key in ("purelib", "platlib")
+          ]
+          assert any(certsf_path.is_relative_to(path) for path in install_paths), certsf_path
+
+          result = special_gamma("3.2", mode="fast")
+
+          print(certsf_path)
+          print(build_server)
+          print(result)
+          assert callable(build_server)
+          assert isinstance(result, dict)
+          assert result["function"] == "gamma"
+          PY

certsf-0.1.0/.github/workflows/release-checks.yml

@@ -0,0 +1,47 @@
+name: release-checks
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  package:
+    name: release-checks / package
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v6
+      - uses: actions/setup-python@v6
+        with:
+          python-version: "3.12"
+      - name: Install build tooling
+        run: |
+          python -m pip install --upgrade pip
+          python -m pip install build twine
+      - name: Build sdist and wheel
+        run: python -m build
+      - name: Check package metadata
+        run: python -m twine check dist/*
+      - name: Install built wheel
+        run: python -m pip install dist/*.whl
+      - name: Import installed package
+        run: python -c "import certsf; print(certsf.__all__)"
+
+  lint-type:
+    name: release-checks / lint-type
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v6
+      - uses: actions/setup-python@v6
+        with:
+          python-version: "3.12"
+      - name: Install static-analysis tooling
+        run: |
+          python -m pip install --upgrade pip
+          python -m pip install -e ".[dev]"
+          python -m pip install pyright
+      - name: Run ruff
+        run: ruff check .
+      - name: Run pyright
+        run: pyright src --pythonpath "$(which python)"
+      - name: Check release claims
+        run: python -m pytest tests/test_release_claims.py

certsf-0.1.0/.github/workflows/tests.yml

@@ -0,0 +1,74 @@
+name: tests
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  package-build:
+    name: tests / package-build
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v6
+      - uses: actions/setup-python@v6
+        with:
+          python-version: "3.12"
+      - name: Install build backend
+        run: |
+          python -m pip install --upgrade pip
+          python -m pip install build
+      - name: Build sdist and wheel
+        run: python -m build
+
+  lint-type:
+    name: tests / lint-type
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v6
+      - uses: actions/setup-python@v6
+        with:
+          python-version: "3.12"
+      - name: Install package and dev dependencies
+        run: |
+          python -m pip install --upgrade pip
+          python -m pip install -e ".[dev]"
+      - name: Run ruff
+        run: python -m ruff check src tests examples
+      - name: Run mypy
+        run: python -m mypy
+
+  pytest-certified:
+    name: tests / pytest-certified (${{ matrix.python-version }})
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: ["3.10", "3.11", "3.12"]
+    steps:
+      - uses: actions/checkout@v6
+      - uses: actions/setup-python@v6
+        with:
+          python-version: ${{ matrix.python-version }}
+      - name: Install package and test dependencies
+        run: |
+          python -m pip install --upgrade pip
+          python -m pip install -e ".[test,certified]"
+      - name: Run tests
+        run: python -m pytest
+
+  pytest-base:
+    name: tests / pytest-base (${{ matrix.python-version }})
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: ["3.10", "3.11", "3.12"]
+    steps:
+      - uses: actions/checkout@v6
+      - uses: actions/setup-python@v6
+        with:
+          python-version: ${{ matrix.python-version }}
+      - name: Install package and test dependencies
+        run: |
+          python -m pip install --upgrade pip
+          python -m pip install -e ".[test]"
+      - name: Run tests
+        run: python -m pytest

certsf-0.1.0/.gitignore

@@ -0,0 +1,20 @@
+__pycache__/
+*.py[cod]
+*$py.class
+
+.pytest_cache/
+.ruff_cache/
+.mypy_cache/
+.coverage
+htmlcov/
+
+.venv/
+venv/
+env/
+
+build/
+dist/
+*.egg-info/
+
+.DS_Store
+Thumbs.db

certsf-0.1.0/CHANGELOG.md

@@ -0,0 +1,43 @@
+# Changelog
+
+## 0.1.0 - 2026-05-08
+
+- Planned the first non-prerelease package release with the same frozen public
+  API as `0.1.0-alpha.3`.
+- No mathematical implementation changes from `0.1.0-alpha.3`, no
+  public-wrapper expansion, and no certification-claim broadening are included.
+- The parabolic-cylinder formula layer remains `experimental_formula`.
+- The release includes PyPI publishing guardrails, fresh-install smoke tests,
+  deterministic audit grids, and external-reference fixture containment tests.
+
+## 0.1.0-alpha.3 - 2026-05-08
+
+- Added deterministic parabolic-cylinder formula-audit grids for recurrence,
+  connection-formula, derivative, branch-side, cancellation, and stress
+  coverage.
+- Added external-reference fixture containment tests for selected gamma, Airy,
+  Bessel, and parabolic-cylinder certified results.
+- Hardened release workflows by making TestPyPI manual-only and adding a
+  tag/version parity guard before publishing builds.
+- No mathematical implementation changes, public-wrapper expansion, or
+  certification-claim broadening are included.
+
+## 0.1.0-alpha.2 - 2026-05-08
+
+- Added TestPyPI and PyPI trusted-publishing workflows, plus a PyPI smoke
+  workflow for fresh prerelease install verification.
+- Added release-claim guardrails, frozen-scope checks, branch-protection check
+  naming, and v0.1.x audit coverage to keep the 0.1.0 certified scope frozen.
+- Documented PyPI installation and the post-release verification evidence for
+  `v0.1.0-alpha.1`.
+- Hardened GitHub Actions compatibility and PyPI smoke workflow behavior without
+  changing mathematical implementations, adding public wrappers, or broadening
+  certification claims.
+
+## 0.1.0-alpha.1 - 2026-05-07
+
+- Added special-function wrappers for gamma, Airy, Bessel, and parabolic-cylinder families, with the
+  parabolic-cylinder formula layer marked experimental.
+- Added SciPy fast mode, mpmath high-precision mode, and optional python-flint certified mode.
+- Added structured `SFResult` diagnostics, MCP wrappers, CI, and certification documentation.
+- Hardened dispatcher v2 with an explicit backend method registry and API/MCP coverage checks.

certsf-0.1.0/CITATION.cff

@@ -0,0 +1,10 @@
+cff-version: 1.2.0
+message: "If you use certsf in research, please cite it using this metadata."
+title: "certsf: Alpha special-function wrappers with explicit certification diagnostics"
+version: "0.1.0"
+date-released: 2026-05-08
+authors:
+  - family-names: Lee
+    given-names: Yutian
+repository-code: "https://github.com/yutianlee/certsf"
+license: MIT

certsf-0.1.0/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Yutian Lee
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.