proofpath 0.4.0__tar.gz → 0.4.1__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- {proofpath-0.4.0 → proofpath-0.4.1}/CHANGELOG.md +18 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/PKG-INFO +3 -3
- {proofpath-0.4.0 → proofpath-0.4.1}/README.md +2 -2
- proofpath-0.4.1/docs/superpowers/plans/2026-09-16-tui-conveniences-plan.md +1219 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/superpowers/specs/2026-09-10-proofpath-design.md +10 -1
- proofpath-0.4.1/docs/superpowers/specs/2026-09-16-tui-conveniences-design.md +146 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/__init__.py +1 -1
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/paths.py +17 -1
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/app.py +162 -11
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/commands.py +26 -0
- proofpath-0.4.1/src/proofpath/tui/history.py +111 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/widgets/finding.py +39 -1
- proofpath-0.4.1/src/proofpath/tui/widgets/prompt.py +217 -0
- proofpath-0.4.1/tests/test_history.py +131 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_tui_app.py +564 -2
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_tui_commands.py +32 -0
- proofpath-0.4.0/src/proofpath/tui/widgets/prompt.py +0 -109
- {proofpath-0.4.0 → proofpath-0.4.1}/.editorconfig +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/.env.example +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/.gitattributes +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/.github/ISSUE_TEMPLATE/bug_report.yml +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/.github/ISSUE_TEMPLATE/config.yml +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/.github/ISSUE_TEMPLATE/feature_request.yml +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/.github/ISSUE_TEMPLATE/wrong_verdict.yml +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/.github/PULL_REQUEST_TEMPLATE.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/.github/workflows/ci.yml +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/.github/workflows/release.yml +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/.gitignore +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/CLAUDE.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/CONTRIBUTING.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/LICENSE +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/SECURITY.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-11-coverage.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-11-ghosts.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-11-pairing.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-11-scifact-dev.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-12-ghosts.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-12-pairing-author-year.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-12-scifact-dev.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-12-tiers.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-12-v0.1-live.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-15-judge-live.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-15-tui-v2-live.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-15-v0.2-live.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-16-averitec.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/tui-v2-plain.svg +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/tui-v2-rich.svg +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/research/2026-09-11-free-llm-api-tiers.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/superpowers/OPEN-ITEMS.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/superpowers/plans/2026-09-10-proofpath-implementation-plan.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/superpowers/plans/2026-09-12-phases-9-10-plan.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/docs/superpowers/specs/2026-09-15-tui-v2-design.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/pyproject.toml +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/scripts/eval_averitec.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/scripts/eval_coverage.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/scripts/eval_ghosts.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/scripts/eval_pairing.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/scripts/eval_scifact.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/scripts/zero_network_check.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/browser.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/cache.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/claims.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/cli.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/commands.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/config.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/device.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/document.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/entailment.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/eval/__init__.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/eval/averitec.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/eval/metrics.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/eval/scifact.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/events.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/fetch.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/ingest.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/judge.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/models.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/numerics.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/oa.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/pipeline.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/polite.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/prompts/__init__.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/prompts/review.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/prompts/summarize.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/providers/__init__.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/providers/academic.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/providers/social.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/providers/web.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/py.typed +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/report.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/resolve.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/retrieval.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/sarif.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/secrets.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/__init__.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/banner.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/pet.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/runs.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/theme.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/verbs.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/widgets/__init__.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/widgets/_shared.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/widgets/banner.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/widgets/footer.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/widgets/run_block.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/ui.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/verify.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/__init__.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/conftest.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/data/draft-author-year.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/data/draft-live.md +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/data/ghost_set.jsonl +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/data/pairing_author_year.jsonl +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/data/pairing_set.jsonl +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/data/sarif-schema-2.1.0.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/data/verify-report-golden.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fakes.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/crossref_work.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/crossref_work_no_abstract.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/europepmc_fulltext.xml +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/europepmc_search.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/europepmc_search_empty.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/europepmc_search_not_in_epmc.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/openalex_work.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/s2_paper.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/s2_paper_no_abstract.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/unpaywall.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/unpaywall_closed.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/unpaywall_landing_only.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/arxiv_id_roberta.xml +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/arxiv_title_fabricated.xml +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/arxiv_title_roberta.xml +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/crossref_alphafold.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/crossref_fabricated.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/crossref_numpy.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/crossref_rag.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/crossref_retracted_wakefield.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/crossref_roberta.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/crossref_work_alphafold.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/crossref_work_numpy.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/openalex_alphafold.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/openalex_fabricated.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/openalex_rag.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/openalex_retracted_wakefield.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/openalex_roberta.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/openlibrary_fabricated.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/openlibrary_using_language.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/s2_alphafold.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/s2_fabricated.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/s2_rag.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/s2_roberta.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/bsky-blocked.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/bsky-not-found.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/bsky-quote-blocked.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/bsky-resolve-handle.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/bsky-thread-gone.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/bsky-thread.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/hn-comment.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/hn-dead.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/hn-deleted.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/hn-missing.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/hn-story.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/mastodon-login-required.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/mastodon-status.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/reddit-comment.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/reddit-link-post.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/reddit-nested-comment.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/reddit-post.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/reddit-removed.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/reddit-token.json +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_averitec.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_browser.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_cache.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_cache_cli.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_check_cli.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_claims.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_cli.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_commands.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_config.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_config_cli.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_device.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_document.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_entailment.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_eval_averitec.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_eval_coverage.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_eval_pairing.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_eval_scifact.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_fetch.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_fetch_cli.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_ingest.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_judge.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_metrics.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_models.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_numerics.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_oa.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_pipeline.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_polite.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_providers.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_providers_social.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_report.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_resolve.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_resolve_cli.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_retrieval.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_sarif.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_scifact.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_tui_banner.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_tui_pet.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_tui_rich.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_tui_runs.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_tui_theme.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_ui.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_verify.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_verify_golden.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_verify_routing.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_version.py +0 -0
- {proofpath-0.4.0 → proofpath-0.4.1}/uv.lock +0 -0
|
@@ -6,6 +6,24 @@ All notable changes to this project are documented here. The format follows
|
|
|
6
6
|
|
|
7
7
|
## [Unreleased]
|
|
8
8
|
|
|
9
|
+
## [0.4.1] - 2026-09-16
|
|
10
|
+
|
|
11
|
+
The TUI gets a shell's reflexes, and sits on the terminal's own background.
|
|
12
|
+
|
|
13
|
+
### Added
|
|
14
|
+
- **The TUI bar behaves like a shell prompt.** `↑`/`↓` walk a command history kept
|
|
15
|
+
across sessions (`state_dir()/history`, 500 lines); `Tab` completes `/verbs`,
|
|
16
|
+
`/allow` answers and `/cancel #n`; `PageUp`/`PageDown`, `Shift+↑`/`↓` and
|
|
17
|
+
`Ctrl+Home`/`End` scroll the log without leaving the bar; `↑`/`↓` on a focused log
|
|
18
|
+
line step between lines and typing returns to the bar; `Ctrl+L` clears finished
|
|
19
|
+
runs and keeps the coverage footer; a mouse selection is copied by `Ctrl+C`/`⌘C`
|
|
20
|
+
instead of quitting. `/help` lists the keys.
|
|
21
|
+
|
|
22
|
+
### Fixed
|
|
23
|
+
- The TUI **sits on the terminal's own background** instead of Textual's grey: every
|
|
24
|
+
surface is `ansi_default` and palette names reach the terminal untranslated, so the app
|
|
25
|
+
no longer shows up as a layer over the terminal it runs in.
|
|
26
|
+
|
|
9
27
|
## [0.4.0] - 2026-09-16
|
|
10
28
|
|
|
11
29
|
Sources that are not papers: a post's links, and the coverage block that finally says why
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
Metadata-Version: 2.5
|
|
2
2
|
Name: proofpath
|
|
3
|
-
Version: 0.4.
|
|
3
|
+
Version: 0.4.1
|
|
4
4
|
Summary: Check whether the sources behind a claim actually say what the claim says.
|
|
5
5
|
Project-URL: Homepage, https://github.com/Yigtwxx/proofpath
|
|
6
6
|
Project-URL: Repository, https://github.com/Yigtwxx/proofpath
|
|
@@ -82,7 +82,7 @@ proofpath
|
|
|
82
82
|
╸┤ o o ╰~~~~~~~~~~~~~[PROOF]
|
|
83
83
|
╰─┬─┬────────────────────────────────────────────────────────────────┬─┬──╯
|
|
84
84
|
˘ ˘ ˘ ˘
|
|
85
|
-
proofpath v0.4.
|
|
85
|
+
proofpath v0.4.1 academic . online . coreml
|
|
86
86
|
paste a file path, a URL, or a claim. /help /config /quit
|
|
87
87
|
```
|
|
88
88
|
|
|
@@ -115,7 +115,7 @@ either, for screenshots and bug reports.
|
|
|
115
115
|
```
|
|
116
116
|
,_,
|
|
117
117
|
(o.o)~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~[PROOF]
|
|
118
|
-
" " proofpath v0.4.
|
|
118
|
+
" " proofpath v0.4.1 academic . online . coreml
|
|
119
119
|
paste a file path, a URL, or a claim. /help /config /quit
|
|
120
120
|
```
|
|
121
121
|
|
|
@@ -26,7 +26,7 @@ proofpath
|
|
|
26
26
|
╸┤ o o ╰~~~~~~~~~~~~~[PROOF]
|
|
27
27
|
╰─┬─┬────────────────────────────────────────────────────────────────┬─┬──╯
|
|
28
28
|
˘ ˘ ˘ ˘
|
|
29
|
-
proofpath v0.4.
|
|
29
|
+
proofpath v0.4.1 academic . online . coreml
|
|
30
30
|
paste a file path, a URL, or a claim. /help /config /quit
|
|
31
31
|
```
|
|
32
32
|
|
|
@@ -59,7 +59,7 @@ either, for screenshots and bug reports.
|
|
|
59
59
|
```
|
|
60
60
|
,_,
|
|
61
61
|
(o.o)~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~[PROOF]
|
|
62
|
-
" " proofpath v0.4.
|
|
62
|
+
" " proofpath v0.4.1 academic . online . coreml
|
|
63
63
|
paste a file path, a URL, or a claim. /help /config /quit
|
|
64
64
|
```
|
|
65
65
|
|