geometric-function-atlas 0.1.1__tar.gz

geometric_function_atlas-0.1.1/.github/workflows/ci.yml

@@ -0,0 +1,60 @@
+name: CI
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  test:
+    name: Python ${{ matrix.python-version }}
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ["3.10", "3.11", "3.12", "3.13"]
+    steps:
+      - uses: actions/checkout@v7
+      - uses: actions/setup-python@v7
+        with:
+          python-version: ${{ matrix.python-version }}
+      - uses: astral-sh/setup-uv@v9.0.0
+      - run: uv sync --extra test --locked
+      - run: uv run --extra test python -W error -m pytest -q
+      - run: uv run --extra test python -m ruff check src tests scripts
+      - run: uv run --extra test python -m mypy src --ignore-missing-imports
+
+  distribution:
+    name: Distribution and managed-Python install
+    needs: test
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v7
+      - uses: actions/setup-python@v7
+        with:
+          python-version: "3.12"
+      - uses: astral-sh/setup-uv@v9.0.0
+      - run: uv sync --extra test --extra build --locked
+      - run: uv run --extra build python -m build
+      - run: uv run --extra build python -m twine check dist/*
+      - run: uv run python scripts/check_distribution.py dist
+      - run: uv run python scripts/check_clean_install.py dist/geometric_function_atlas-0.1.1-py3-none-any.whl
+      - run: uv run python scripts/check_uv_tool_install.py dist/geometric_function_atlas-0.1.1-py3-none-any.whl --python 3.12
+
+  windows-installer:
+    name: Windows PowerShell installer smoke
+    runs-on: windows-latest
+    steps:
+      - uses: actions/checkout@v7
+      - uses: astral-sh/setup-uv@v9.0.0
+      - name: Install local source as an isolated managed-Python tool
+        shell: pwsh
+        run: |
+          $env:GFA_PACKAGE_SPEC = (Get-Location).Path
+          $env:GFA_PYTHON_VERSION = "3.12"
+          ./scripts/install.ps1
+          gfa --version

geometric_function_atlas-0.1.1/CHANGELOG.md

@@ -0,0 +1,36 @@
+# Changelog
+
+All notable changes to Geometric Function Atlas are recorded here.
+
+## 0.1.1 — 2026-08-10
+
+Contract-integrity repair release.
+
+### Fixed
+
+- The shipped Draft 2020-12 result schema now couples exact-result evidence,
+  computational, verification, and failure states as strictly as the Python
+  validator.
+- The public counterexample API rejects strings, bytes, mappings, sets, and
+  other non-sequence coefficient containers instead of coercing them.
+
+## 0.1.0 — 2026-08-10
+
+First software release.
+
+### Included
+
+- Exact Taylor coefficients for the built-in Ma–Minda generator catalog.
+- Exact Ma–Minda Fekete–Szegő constants under declared assumptions.
+- Certified interval re-evaluation of supplied starlikeness, Becker, and Nehari
+  witnesses without claiming global counterexample discovery.
+- Human-readable `gfa` commands with optional versioned JSON output.
+- Closed result, verification, provenance, and failure contracts.
+- Python-free installation through `uv` on macOS, Linux, and Windows.
+- Distribution, clean-install, managed-Python, Linux, and Windows release gates.
+
+### Scope
+
+This release does not include registry search, radius-certificate replay, plots,
+image or cryptography labs, mutable registry data, literature novelty decisions,
+or PyPI publication. Those remain separate future phases.

geometric_function_atlas-0.1.1/CITATION.cff

@@ -0,0 +1,25 @@
+cff-version: 1.2.0
+title: geometric-function-atlas
+message: "If you use this software, please cite the software release and the associated paper."
+type: software
+version: 0.1.1
+date-released: 2026-08-10
+authors:
+  - family-names: Devadiga
+    given-names: Prasanna
+  - family-names: Suneesh
+    given-names: Arya
+  - family-names: Gurumurthy
+    given-names: Kishan
+  - family-names: Devadiga
+    given-names: Pushparaj
+  - family-names: Sebastian
+    given-names: Asha
+license: MIT
+repository-code: https://github.com/Prasanna28Devadiga/geometric-function-atlas
+url: https://github.com/Prasanna28Devadiga/geometric-function-atlas
+keywords:
+  - geometric function theory
+  - Ma-Minda functions
+  - reproducible research
+  - certified computation

geometric_function_atlas-0.1.1/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Geometric Function Atlas contributors
+
+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.

geometric_function_atlas-0.1.1/MANIFEST.in

@@ -0,0 +1,11 @@
+include CITATION.cff
+include CHANGELOG.md
+include .github/workflows/ci.yml
+include scripts/install.sh
+include scripts/install.ps1
+include scripts/check_distribution.py
+include scripts/check_clean_install.py
+include scripts/check_uv_tool_install.py
+recursive-include docs *.md
+recursive-include tests *.py *.json
+recursive-include src/geometric_function_atlas/schema *.json

geometric_function_atlas-0.1.1/PKG-INFO

@@ -0,0 +1,149 @@
+Metadata-Version: 2.4
+Name: geometric-function-atlas
+Version: 0.1.1
+Summary: Reproducible computations for a geometric function theory atlas
+Author: Prasanna Devadiga, Arya Suneesh, Kishan Gurumurthy, Pushparaj Devadiga, Asha Sebastian
+License-Expression: MIT
+Project-URL: Homepage, https://github.com/Prasanna28Devadiga/geometric-function-atlas
+Project-URL: Repository, https://github.com/Prasanna28Devadiga/geometric-function-atlas
+Project-URL: Issues, https://github.com/Prasanna28Devadiga/geometric-function-atlas/issues
+Keywords: geometric function theory,Ma-Minda,reproducible research,certified computation
+Classifier: Development Status :: 3 - Alpha
+Classifier: Intended Audience :: Science/Research
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: mpmath>=1.3
+Requires-Dist: sympy>=1.12
+Provides-Extra: test
+Requires-Dist: jsonschema>=4.23; extra == "test"
+Requires-Dist: mypy>=1.15; extra == "test"
+Requires-Dist: pytest>=8; extra == "test"
+Requires-Dist: ruff>=0.16; extra == "test"
+Provides-Extra: build
+Requires-Dist: build>=1.2; extra == "build"
+Requires-Dist: twine>=5; extra == "build"
+Dynamic: license-file
+
+# geometric-function-atlas
+
+`geometric-function-atlas` is a standalone Python package for independently reproducing and reviewing computations published by the Geometric Function Atlas.
+
+Source repository: <https://github.com/Prasanna28Devadiga/geometric-function-atlas>
+
+This repository is intentionally separate from the registry website and its research workspace. It provides local commands and Python functions for reproducing the website's mathematical computations. It does not contain the Flask application, deployment configuration, private review state, or mutable registry database.
+
+## Phase 1
+
+The first release provides:
+
+- a typed catalog of the Ma–Minda generators used by the paper’s exact-radius portfolio;
+- exact Taylor coefficients of a generator using SymPy;
+- exact Ma–Minda Fekete–Szegő constants and their derivation metadata;
+- certified re-evaluation of supplied counterexample witnesses;
+- versioned structured result and fail-closed verification reports;
+- JSON-capable command-line output suitable for independent checks.
+
+Later phases will expose the remaining plots, certificates, registry queries, and application labs already available on the website.
+
+## Install — Python is not required
+
+The supported user installation uses `uv` as an isolated tool manager. It
+downloads Python 3.12 and every runtime dependency automatically.
+
+macOS and Linux:
+
+```bash
+curl -LsSf https://raw.githubusercontent.com/Prasanna28Devadiga/geometric-function-atlas/main/scripts/install.sh | sh
+```
+
+Windows PowerShell:
+
+```powershell
+irm https://raw.githubusercontent.com/Prasanna28Devadiga/geometric-function-atlas/main/scripts/install.ps1 | iex
+```
+
+After restarting the terminal, run `gfa --version`. Existing `uv` users can
+install the GitHub release wheel directly:
+
+```bash
+uv tool install --managed-python --python 3.12 https://github.com/Prasanna28Devadiga/geometric-function-atlas/releases/download/v0.1.1/geometric_function_atlas-0.1.1-py3-none-any.whl
+```
+
+See `docs/INSTALL.md` for removal and maintainer installation from a local wheel.
+
+## Python API
+
+```python
+from geometric_function_atlas import Generator, fekete_szego, generator_series, z
+
+# phi(z) = 1 + sin(z) = 1 + z - z^3/6 + ...
+series = generator_series("sine", order=4)
+assert tuple(map(str, series.coefficients)) == (
+    "1", "0", "-1/6", "0"
+)
+print(series.to_dict())
+
+# Exact sharp constant under the declared Ma–Minda assumptions.
+result = fekete_szego("exponential", mu=0)
+assert str(result.value) == "3/4"
+print(result.to_dict())
+```
+
+Custom normalized generators use preconstructed SymPy expressions; formula
+strings are deliberately rejected rather than passed to an eval-based parser:
+
+```python
+custom = Generator(
+    key="custom",
+    name="Example",
+    expression=1 + 2*z + 3*z**2,
+    citation="User supplied",
+)
+```
+
+Computations are not restricted to the built-in catalog. Analytic admissibility
+of custom input remains an explicit caller assumption, and undeclared free
+symbols are rejected.
+
+## Command line
+
+```bash
+gfa generators
+gfa coefficients sine --order 5
+gfa fekete-szego exponential --mu 1/2
+
+# Re-check the witness z=-3/4 for f(z)=z+z².
+gfa verify-counterexample --coefficients "1" --point=-0.75,0
+```
+
+The longer command name, `geometric-function-atlas`, is also supported. Add
+`--json` to any command when machine-readable output is useful.
+
+`--mu` accepts an exact signed integer or `integer/integer` fraction. Decimal
+and scientific notation are rejected so untrusted short inputs cannot trigger
+unbounded symbolic integer construction.
+
+See `docs/WEB_PARITY.md` for the website-to-package checklist,
+`docs/PROVENANCE.md` for claim semantics, and `docs/ROADMAP.md` for the
+incremental implementation path.
+The versioned result envelope, verification checks, failure states, and CLI
+exit codes are specified in `docs/RESULT_CONTRACT.md`.
+
+## Development
+
+```bash
+uv sync --extra test
+uv run pytest
+```
+
+## Scientific status
+
+Every result reports its method and evidence status. Numerical screens are never presented as proofs, computational certification is distinct from literature novelty, and bibliographic review remains a separate human process.
+
+## License
+
+MIT

geometric_function_atlas-0.1.1/README.md

@@ -0,0 +1,119 @@
+# geometric-function-atlas
+
+`geometric-function-atlas` is a standalone Python package for independently reproducing and reviewing computations published by the Geometric Function Atlas.
+
+Source repository: <https://github.com/Prasanna28Devadiga/geometric-function-atlas>
+
+This repository is intentionally separate from the registry website and its research workspace. It provides local commands and Python functions for reproducing the website's mathematical computations. It does not contain the Flask application, deployment configuration, private review state, or mutable registry database.
+
+## Phase 1
+
+The first release provides:
+
+- a typed catalog of the Ma–Minda generators used by the paper’s exact-radius portfolio;
+- exact Taylor coefficients of a generator using SymPy;
+- exact Ma–Minda Fekete–Szegő constants and their derivation metadata;
+- certified re-evaluation of supplied counterexample witnesses;
+- versioned structured result and fail-closed verification reports;
+- JSON-capable command-line output suitable for independent checks.
+
+Later phases will expose the remaining plots, certificates, registry queries, and application labs already available on the website.
+
+## Install — Python is not required
+
+The supported user installation uses `uv` as an isolated tool manager. It
+downloads Python 3.12 and every runtime dependency automatically.
+
+macOS and Linux:
+
+```bash
+curl -LsSf https://raw.githubusercontent.com/Prasanna28Devadiga/geometric-function-atlas/main/scripts/install.sh | sh
+```
+
+Windows PowerShell:
+
+```powershell
+irm https://raw.githubusercontent.com/Prasanna28Devadiga/geometric-function-atlas/main/scripts/install.ps1 | iex
+```
+
+After restarting the terminal, run `gfa --version`. Existing `uv` users can
+install the GitHub release wheel directly:
+
+```bash
+uv tool install --managed-python --python 3.12 https://github.com/Prasanna28Devadiga/geometric-function-atlas/releases/download/v0.1.1/geometric_function_atlas-0.1.1-py3-none-any.whl
+```
+
+See `docs/INSTALL.md` for removal and maintainer installation from a local wheel.
+
+## Python API
+
+```python
+from geometric_function_atlas import Generator, fekete_szego, generator_series, z
+
+# phi(z) = 1 + sin(z) = 1 + z - z^3/6 + ...
+series = generator_series("sine", order=4)
+assert tuple(map(str, series.coefficients)) == (
+    "1", "0", "-1/6", "0"
+)
+print(series.to_dict())
+
+# Exact sharp constant under the declared Ma–Minda assumptions.
+result = fekete_szego("exponential", mu=0)
+assert str(result.value) == "3/4"
+print(result.to_dict())
+```
+
+Custom normalized generators use preconstructed SymPy expressions; formula
+strings are deliberately rejected rather than passed to an eval-based parser:
+
+```python
+custom = Generator(
+    key="custom",
+    name="Example",
+    expression=1 + 2*z + 3*z**2,
+    citation="User supplied",
+)
+```
+
+Computations are not restricted to the built-in catalog. Analytic admissibility
+of custom input remains an explicit caller assumption, and undeclared free
+symbols are rejected.
+
+## Command line
+
+```bash
+gfa generators
+gfa coefficients sine --order 5
+gfa fekete-szego exponential --mu 1/2
+
+# Re-check the witness z=-3/4 for f(z)=z+z².
+gfa verify-counterexample --coefficients "1" --point=-0.75,0
+```
+
+The longer command name, `geometric-function-atlas`, is also supported. Add
+`--json` to any command when machine-readable output is useful.
+
+`--mu` accepts an exact signed integer or `integer/integer` fraction. Decimal
+and scientific notation are rejected so untrusted short inputs cannot trigger
+unbounded symbolic integer construction.
+
+See `docs/WEB_PARITY.md` for the website-to-package checklist,
+`docs/PROVENANCE.md` for claim semantics, and `docs/ROADMAP.md` for the
+incremental implementation path.
+The versioned result envelope, verification checks, failure states, and CLI
+exit codes are specified in `docs/RESULT_CONTRACT.md`.
+
+## Development
+
+```bash
+uv sync --extra test
+uv run pytest
+```
+
+## Scientific status
+
+Every result reports its method and evidence status. Numerical screens are never presented as proofs, computational certification is distinct from literature novelty, and bibliographic review remains a separate human process.
+
+## License
+
+MIT

geometric_function_atlas-0.1.1/docs/INSTALL.md

@@ -0,0 +1,68 @@
+# Install Geometric Function Atlas
+
+You do **not** need Python. The installer obtains `uv`, Python 3.12, and all
+package dependencies, then installs the `gfa` command in an isolated environment.
+
+## macOS and Linux
+
+```bash
+curl -LsSf https://raw.githubusercontent.com/Prasanna28Devadiga/geometric-function-atlas/main/scripts/install.sh | sh
+```
+
+## Windows PowerShell
+
+```powershell
+irm https://raw.githubusercontent.com/Prasanna28Devadiga/geometric-function-atlas/main/scripts/install.ps1 | iex
+```
+
+Restart the terminal once, then check the installation:
+
+```text
+gfa --version
+```
+
+Try a calculation:
+
+```bash
+gfa coefficients sine --order 5
+gfa fekete-szego exponential --mu 1/2
+gfa verify-counterexample --coefficients "1" --point=-0.75,0
+```
+
+## Already have uv?
+
+Until the package is published on PyPI, install the GitHub release wheel directly:
+
+```bash
+uv tool install --managed-python --python 3.12 https://github.com/Prasanna28Devadiga/geometric-function-atlas/releases/download/v0.1.1/geometric_function_atlas-0.1.1-py3-none-any.whl
+```
+
+## Remove
+
+```bash
+uv tool uninstall geometric-function-atlas
+```
+
+To upgrade after a later GitHub release, rerun the installer shown above. The
+installer always performs a forced replacement and verifies `gfa --version`.
+
+## Maintainer and local-wheel installation
+
+The checked-in installers are permanent user-facing installation entry points,
+not release-time helper scripts. Maintainers can exercise the same path against a
+local wheel:
+
+```bash
+GFA_PACKAGE_SPEC=dist/geometric_function_atlas-0.1.1-py3-none-any.whl sh scripts/install.sh
+```
+
+PowerShell:
+
+```powershell
+$env:GFA_PACKAGE_SPEC = "dist/geometric_function_atlas-0.1.1-py3-none-any.whl"
+.\scripts\install.ps1
+```
+
+The project does not modify or depend on an existing Python installation. No
+administrator privileges, `pip`, virtual-environment activation, snapshot hash,
+or internal database path is required.

geometric_function_atlas-0.1.1/docs/PROVENANCE.md

@@ -0,0 +1,61 @@
+# Evidence and provenance policy
+
+## Claim boundary
+
+A returned number is not enough. Structured result objects and CLI records identify:
+
+1. the canonical mathematical problem;
+2. exact inputs and formulas;
+3. the algorithm or theorem used;
+4. declared assumptions;
+5. evidence status;
+6. source references;
+7. package and artifact versions;
+8. whether any literature-novelty claim is being made.
+
+The versioned schema and fail-closed check semantics are specified in
+`docs/RESULT_CONTRACT.md`; the shipped JSON schemas are under
+`src/geometric_function_atlas/schema/`.
+
+Low-level exact helpers may return bare SymPy expressions or tuples for use in
+other symbolic programs. Their structured counterparts (`generator_series`,
+the theorem result objects, and CLI JSON) carry the full record above.
+
+## Evidence statuses
+
+The package will use explicit, non-overlapping statuses:
+
+- `screened`: numerical evidence only;
+- `certified_enclosure`: a machine-checkable interval containing the sharp value;
+- `proven_exact_under_declared_assumptions`: exact theorem or certificate with stated assumptions;
+- `disproven`: certified counterexample or contradiction to the computational proposition;
+- `unresolved`: no conclusive computation.
+
+Literature reconciliation is a separate taxonomy. A computationally proven result may be known, a candidate improvement, absent from the indexed corpus, or still under human review. “No indexed match” is never emitted as “novel.”
+
+## Built-in and custom generators
+
+Built-in formulas and citations are versioned package data. Exact coefficient
+operations also accept custom generators as preconstructed SymPy expressions.
+String expressions are rejected because SymPy's general string parser is
+eval-based; undeclared free symbols are rejected as well. For a custom generator,
+the package checks only the algebraic preconditions documented by the operation;
+it does not silently certify all analytic Ma–Minda admissibility hypotheses.
+Structured records mark this input as `provenance: "caller_supplied"` and retain
+the caller-supplied source/fixture identity explicitly; they never relabel it as
+the built-in catalog.
+
+CLI rational parameters use a bounded signed-integer or `integer/integer`
+grammar. Exponent notation is intentionally unsupported, and rational
+components are capped before symbolic arithmetic begins.
+
+## Migration from the research artifact
+
+The original registry repository is treated as a research artifact and source of candidate algorithms/data. Code is not copied wholesale. Each migrated operation receives:
+
+- a minimal public interface;
+- independent anchor tests;
+- explicit path and data injection;
+- no Flask, deployment, OCR, or private-review dependency;
+- a provenance note naming the originating artifact and the audit performed;
+- clean wheel/sdist installation verification.

geometric_function_atlas-0.1.1/docs/RELEASING.md

@@ -0,0 +1,70 @@
+# Releasing `geometric-function-atlas`
+
+This is the maintained release procedure. The first GitHub software release is
+separate from PyPI publication and from versioned registry-data snapshots.
+
+## Free-tier GitHub policy
+
+The repository is public. CI uses only standard `ubuntu-latest` and
+`windows-latest` GitHub-hosted runners, which GitHub documents as free for public
+repositories. The workflow does not use larger runners, Actions artifact uploads,
+or persistent Actions caches. Release files are attached directly to the GitHub
+release; GitHub documents no total release-size or bandwidth limit, subject to a
+2 GiB limit per asset.
+
+Do not add larger runners, paid products, or persistent Actions storage without
+explicit approval from the repository owner.
+
+## Software release
+
+1. Start from a clean `main` checkout.
+2. Update `src/geometric_function_atlas/version.py`, `CITATION.cff`, and
+   `CHANGELOG.md` together.
+3. Run the local gate:
+
+   ```bash
+   uv sync --extra test --extra build --locked
+   uv run --extra test python -m ruff check src tests scripts
+   uv run --extra test python -m mypy src --ignore-missing-imports
+   uv run --extra test python -W error -m pytest -q
+   rm -rf dist build
+   uv run --extra build python -m build
+   uv run --extra build python -m twine check dist/*
+   uv run python scripts/check_distribution.py dist
+   uv run python scripts/check_clean_install.py \
+     dist/geometric_function_atlas-0.1.1-py3-none-any.whl
+   uv run python scripts/check_uv_tool_install.py \
+     dist/geometric_function_atlas-0.1.1-py3-none-any.whl --python 3.12
+   ```
+
+4. Obtain an independent review of the exact diff.
+5. Push a branch, open a pull request, and wait for every Linux and Windows CI
+   job to pass.
+6. Merge to `main` and verify the merge commit is green.
+7. Build once more from the clean merge commit. Record SHA-256 sums.
+8. Create tag `vX.Y.Z` and a GitHub release with the wheel, sdist, checksums, and
+   notes from `CHANGELOG.md`.
+9. Download the published assets and rerun the clean-install check against the
+   downloaded wheel.
+10. Run both public installer commands and verify `gfa --version`.
+
+There is deliberately no tag-triggered PyPI workflow. PyPI Trusted Publishing
+will be configured and reviewed as a separate future step. No PyPI token belongs
+in this repository.
+
+## Maintained scripts
+
+The `scripts/` directory contains only permanent entry points:
+
+- `install.sh` and `install.ps1`: supported end-user installers;
+- `check_distribution.py`: wheel/sdist content contract;
+- `check_clean_install.py`: clean wheel API/CLI test;
+- `check_uv_tool_install.py`: fresh uv-managed-Python installation test.
+
+Do not commit ad hoc migration, profiling, review, or release-upload scripts.
+
+## Registry-data releases
+
+Registry snapshots are not bundled into the wheel. Each snapshot is versioned
+independently and needs a consistent SQLite file, schema dump, manifest,
+checksums, population definitions, and successful SQLite integrity checks.