proofpath 0.0.1__py3-none-any.whl

proofpath/__init__.py

@@ -0,0 +1,5 @@
+"""proofpath — check whether the sources behind a claim support the claim."""
+
+__version__ = "0.0.1"
+
+__all__ = ["__version__"]

proofpath/cli.py

@@ -0,0 +1,69 @@
+"""Command-line entry point.
+
+The TUI and the one-shot commands are two front-ends over a single ``verify()``
+call. Neither holds logic of its own; see the design spec, section 13.
+"""
+
+from __future__ import annotations
+
+import sys
+from pathlib import Path
+from typing import Annotated
+
+import typer
+
+from proofpath import __version__
+
+app = typer.Typer(
+    name="proofpath",
+    help="Check whether the sources behind a claim actually say what the claim says.",
+    no_args_is_help=False,
+    add_completion=True,
+)
+
+# Exit codes are part of the interface: CI can gate on them without parsing text.
+EXIT_CLEAN = 0
+EXIT_FINDINGS = 1
+EXIT_ERROR = 2
+
+_NOT_BUILT_YET = (
+    "proofpath is at the design stage — the verification pipeline is not implemented yet.\n"
+    "\n"
+    "  design spec  https://github.com/Yigtwxx/proofpath/blob/main/docs/superpowers/specs/2026-09-10-proofpath-design.md\n"
+    "  plan         https://github.com/Yigtwxx/proofpath/blob/main/docs/superpowers/plans/2026-09-10-proofpath-implementation-plan.md\n"
+    "  open items   https://github.com/Yigtwxx/proofpath/blob/main/docs/superpowers/OPEN-ITEMS.md\n"
+)
+
+
+def _version_callback(value: bool) -> None:
+    if value:
+        typer.echo(f"proofpath {__version__}")
+        raise typer.Exit(EXIT_CLEAN)
+
+
+@app.callback(invoke_without_command=True)
+def main(
+    ctx: typer.Context,
+    version: Annotated[
+        bool,
+        typer.Option("--version", callback=_version_callback, is_eager=True, help="Show version."),
+    ] = False,
+) -> None:
+    """Launch the interactive TUI when called with no subcommand."""
+    if ctx.invoked_subcommand is not None:
+        return
+    typer.echo(_NOT_BUILT_YET)
+    raise typer.Exit(EXIT_CLEAN)
+
+
+@app.command()
+def check(
+    target: Annotated[Path, typer.Argument(help="Document to check.")],
+) -> None:
+    """Verify every citation in a document and write a report."""
+    typer.echo(_NOT_BUILT_YET, err=True)
+    raise typer.Exit(EXIT_ERROR)
+
+
+if __name__ == "__main__":  # pragma: no cover
+    sys.exit(app())

proofpath-0.0.1.dist-info/METADATA

@@ -0,0 +1,112 @@
+Metadata-Version: 2.5
+Name: proofpath
+Version: 0.0.1
+Summary: Check whether the sources behind a claim actually say what the claim says.
+Project-URL: Homepage, https://github.com/Yigtwxx/proofpath
+Project-URL: Repository, https://github.com/Yigtwxx/proofpath
+Project-URL: Issues, https://github.com/Yigtwxx/proofpath/issues
+Project-URL: Changelog, https://github.com/Yigtwxx/proofpath/blob/main/CHANGELOG.md
+Author: Yigit Erdogan
+License: MIT License
+        
+        Copyright (c) 2026 Yigit Erdogan
+        
+        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.
+License-File: LICENSE
+Keywords: citation,cli,entailment,fact-checking,nli,rag,research-integrity,retrieval-augmented-generation
+Classifier: Development Status :: 2 - Pre-Alpha
+Classifier: Environment :: Console
+Classifier: Intended Audience :: Science/Research
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Topic :: Scientific/Engineering
+Classifier: Topic :: Text Processing :: Linguistic
+Classifier: Typing :: Typed
+Requires-Python: >=3.10
+Requires-Dist: curl-cffi>=0.16.1
+Requires-Dist: fastembed>=0.5
+Requires-Dist: httpx>=0.28
+Requires-Dist: orjson>=3.11
+Requires-Dist: platformdirs>=4.3
+Requires-Dist: pymupdf>=1.25
+Requires-Dist: python-docx>=1.1
+Requires-Dist: scrapling>=0.4.15
+Requires-Dist: sqlite-vec>=0.1.6
+Requires-Dist: textual>=1.0
+Requires-Dist: typer>=0.15
+Provides-Extra: browser
+Requires-Dist: scrapling[fetchers]>=0.4.15; extra == 'browser'
+Provides-Extra: dev
+Requires-Dist: mypy>=1.14; extra == 'dev'
+Requires-Dist: pytest-cov>=6.0; extra == 'dev'
+Requires-Dist: pytest>=8.3; extra == 'dev'
+Requires-Dist: respx>=0.22; extra == 'dev'
+Requires-Dist: ruff>=0.9; extra == 'dev'
+Provides-Extra: gpu
+Requires-Dist: sentence-transformers>=3.3; extra == 'gpu'
+Requires-Dist: torch>=2.5; extra == 'gpu'
+Description-Content-Type: text/markdown
+
+# proofpath
+
+> Don't guess. Show the evidence.
+
+`proofpath` checks whether the sources behind a claim actually say what the claim
+says. Point it at a paper, a draft, or a link — it verifies every citation on three
+levels and shows you the passage behind each verdict.
+
+1. **Does the source exist?** — resolved against Crossref, OpenAlex, PubMed, arXiv.
+2. **Is it still valid?** — checked against Retraction Watch.
+3. **Does it support the claim?** — retrieval + entailment against the source text.
+
+Most tools stop at step 1. Step 3 is the point.
+
+Runs offline and free by default: no API key, no Docker, no server. Windows, Linux
+and macOS.
+
+## What it will not do
+
+It does not pretend to be certain. Full text is openly available for well under half
+of published citations, so many verdicts will honestly be *not enough information*,
+and every report ends with its own coverage figures. A tool that sounds sure about
+everything is the problem this one exists to fight.
+
+```bash
+uv tool install proofpath
+
+proofpath                        # interactive TUI
+proofpath check paper.pdf        # one-shot report
+proofpath check draft.md --format sarif
+```
+
+## Status
+
+🚧 Design stage — no working code yet.
+
+- [Design specification](docs/superpowers/specs/2026-09-10-proofpath-design.md) — what it does and the measurements behind each decision
+- [Implementation plan](docs/superpowers/plans/2026-09-10-proofpath-implementation-plan.md) — phases, ordered by risk retired
+- [Open items](docs/superpowers/OPEN-ITEMS.md) — what is unresolved, and what has not been verified yet
+
+## License
+
+MIT

proofpath-0.0.1.dist-info/RECORD

@@ -0,0 +1,8 @@
+proofpath/__init__.py,sha256=BB96TrYmUP0vus2Gv2Gvwg4GYHACMdKBQHn26wuwjGU,130
+proofpath/cli.py,sha256=CIw2ClhgmWn-Mfhk-c05OKiEeGjei5mGNdQndTdUVAU,2036
+proofpath/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+proofpath-0.0.1.dist-info/METADATA,sha256=iB-ipO5uLEiOpvhrq4eKiFnz29DPQH0Xd9P1B5w58Zs,4804
+proofpath-0.0.1.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
+proofpath-0.0.1.dist-info/entry_points.txt,sha256=xzMLK0xlS5ak2ey0auDvfWuUvISi6IMERFU6CY_7yXs,48
+proofpath-0.0.1.dist-info/licenses/LICENSE,sha256=01PTKWT74vv8zKC2Ku0qdVD-Zfh81oHYfadKy0oGa40,1070
+proofpath-0.0.1.dist-info/RECORD,,

proofpath-0.0.1.dist-info/WHEEL

@@ -0,0 +1,4 @@
+Wheel-Version: 1.0
+Generator: hatchling 1.32.0
+Root-Is-Purelib: true
+Tag: py3-none-any

proofpath-0.0.1.dist-info/entry_points.txt

@@ -0,0 +1,2 @@
+[console_scripts]
+proofpath = proofpath.cli:app

proofpath-0.0.1.dist-info/licenses/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Yigit Erdogan
+
+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.