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.
Files changed (216) hide show
  1. {proofpath-0.4.0 → proofpath-0.4.1}/CHANGELOG.md +18 -0
  2. {proofpath-0.4.0 → proofpath-0.4.1}/PKG-INFO +3 -3
  3. {proofpath-0.4.0 → proofpath-0.4.1}/README.md +2 -2
  4. proofpath-0.4.1/docs/superpowers/plans/2026-09-16-tui-conveniences-plan.md +1219 -0
  5. {proofpath-0.4.0 → proofpath-0.4.1}/docs/superpowers/specs/2026-09-10-proofpath-design.md +10 -1
  6. proofpath-0.4.1/docs/superpowers/specs/2026-09-16-tui-conveniences-design.md +146 -0
  7. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/__init__.py +1 -1
  8. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/paths.py +17 -1
  9. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/app.py +162 -11
  10. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/commands.py +26 -0
  11. proofpath-0.4.1/src/proofpath/tui/history.py +111 -0
  12. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/widgets/finding.py +39 -1
  13. proofpath-0.4.1/src/proofpath/tui/widgets/prompt.py +217 -0
  14. proofpath-0.4.1/tests/test_history.py +131 -0
  15. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_tui_app.py +564 -2
  16. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_tui_commands.py +32 -0
  17. proofpath-0.4.0/src/proofpath/tui/widgets/prompt.py +0 -109
  18. {proofpath-0.4.0 → proofpath-0.4.1}/.editorconfig +0 -0
  19. {proofpath-0.4.0 → proofpath-0.4.1}/.env.example +0 -0
  20. {proofpath-0.4.0 → proofpath-0.4.1}/.gitattributes +0 -0
  21. {proofpath-0.4.0 → proofpath-0.4.1}/.github/ISSUE_TEMPLATE/bug_report.yml +0 -0
  22. {proofpath-0.4.0 → proofpath-0.4.1}/.github/ISSUE_TEMPLATE/config.yml +0 -0
  23. {proofpath-0.4.0 → proofpath-0.4.1}/.github/ISSUE_TEMPLATE/feature_request.yml +0 -0
  24. {proofpath-0.4.0 → proofpath-0.4.1}/.github/ISSUE_TEMPLATE/wrong_verdict.yml +0 -0
  25. {proofpath-0.4.0 → proofpath-0.4.1}/.github/PULL_REQUEST_TEMPLATE.md +0 -0
  26. {proofpath-0.4.0 → proofpath-0.4.1}/.github/workflows/ci.yml +0 -0
  27. {proofpath-0.4.0 → proofpath-0.4.1}/.github/workflows/release.yml +0 -0
  28. {proofpath-0.4.0 → proofpath-0.4.1}/.gitignore +0 -0
  29. {proofpath-0.4.0 → proofpath-0.4.1}/CLAUDE.md +0 -0
  30. {proofpath-0.4.0 → proofpath-0.4.1}/CONTRIBUTING.md +0 -0
  31. {proofpath-0.4.0 → proofpath-0.4.1}/LICENSE +0 -0
  32. {proofpath-0.4.0 → proofpath-0.4.1}/SECURITY.md +0 -0
  33. {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-11-coverage.md +0 -0
  34. {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-11-ghosts.md +0 -0
  35. {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-11-pairing.md +0 -0
  36. {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-11-scifact-dev.md +0 -0
  37. {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-12-ghosts.md +0 -0
  38. {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-12-pairing-author-year.md +0 -0
  39. {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-12-scifact-dev.md +0 -0
  40. {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-12-tiers.md +0 -0
  41. {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-12-v0.1-live.md +0 -0
  42. {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-15-judge-live.md +0 -0
  43. {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-15-tui-v2-live.md +0 -0
  44. {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-15-v0.2-live.md +0 -0
  45. {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/2026-09-16-averitec.md +0 -0
  46. {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/tui-v2-plain.svg +0 -0
  47. {proofpath-0.4.0 → proofpath-0.4.1}/docs/eval/tui-v2-rich.svg +0 -0
  48. {proofpath-0.4.0 → proofpath-0.4.1}/docs/research/2026-09-11-free-llm-api-tiers.md +0 -0
  49. {proofpath-0.4.0 → proofpath-0.4.1}/docs/superpowers/OPEN-ITEMS.md +0 -0
  50. {proofpath-0.4.0 → proofpath-0.4.1}/docs/superpowers/plans/2026-09-10-proofpath-implementation-plan.md +0 -0
  51. {proofpath-0.4.0 → proofpath-0.4.1}/docs/superpowers/plans/2026-09-12-phases-9-10-plan.md +0 -0
  52. {proofpath-0.4.0 → proofpath-0.4.1}/docs/superpowers/specs/2026-09-15-tui-v2-design.md +0 -0
  53. {proofpath-0.4.0 → proofpath-0.4.1}/pyproject.toml +0 -0
  54. {proofpath-0.4.0 → proofpath-0.4.1}/scripts/eval_averitec.py +0 -0
  55. {proofpath-0.4.0 → proofpath-0.4.1}/scripts/eval_coverage.py +0 -0
  56. {proofpath-0.4.0 → proofpath-0.4.1}/scripts/eval_ghosts.py +0 -0
  57. {proofpath-0.4.0 → proofpath-0.4.1}/scripts/eval_pairing.py +0 -0
  58. {proofpath-0.4.0 → proofpath-0.4.1}/scripts/eval_scifact.py +0 -0
  59. {proofpath-0.4.0 → proofpath-0.4.1}/scripts/zero_network_check.py +0 -0
  60. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/browser.py +0 -0
  61. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/cache.py +0 -0
  62. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/claims.py +0 -0
  63. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/cli.py +0 -0
  64. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/commands.py +0 -0
  65. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/config.py +0 -0
  66. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/device.py +0 -0
  67. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/document.py +0 -0
  68. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/entailment.py +0 -0
  69. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/eval/__init__.py +0 -0
  70. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/eval/averitec.py +0 -0
  71. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/eval/metrics.py +0 -0
  72. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/eval/scifact.py +0 -0
  73. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/events.py +0 -0
  74. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/fetch.py +0 -0
  75. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/ingest.py +0 -0
  76. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/judge.py +0 -0
  77. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/models.py +0 -0
  78. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/numerics.py +0 -0
  79. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/oa.py +0 -0
  80. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/pipeline.py +0 -0
  81. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/polite.py +0 -0
  82. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/prompts/__init__.py +0 -0
  83. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/prompts/review.md +0 -0
  84. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/prompts/summarize.md +0 -0
  85. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/providers/__init__.py +0 -0
  86. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/providers/academic.py +0 -0
  87. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/providers/social.py +0 -0
  88. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/providers/web.py +0 -0
  89. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/py.typed +0 -0
  90. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/report.py +0 -0
  91. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/resolve.py +0 -0
  92. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/retrieval.py +0 -0
  93. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/sarif.py +0 -0
  94. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/secrets.py +0 -0
  95. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/__init__.py +0 -0
  96. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/banner.py +0 -0
  97. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/pet.py +0 -0
  98. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/runs.py +0 -0
  99. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/theme.py +0 -0
  100. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/verbs.py +0 -0
  101. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/widgets/__init__.py +0 -0
  102. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/widgets/_shared.py +0 -0
  103. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/widgets/banner.py +0 -0
  104. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/widgets/footer.py +0 -0
  105. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/tui/widgets/run_block.py +0 -0
  106. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/ui.py +0 -0
  107. {proofpath-0.4.0 → proofpath-0.4.1}/src/proofpath/verify.py +0 -0
  108. {proofpath-0.4.0 → proofpath-0.4.1}/tests/__init__.py +0 -0
  109. {proofpath-0.4.0 → proofpath-0.4.1}/tests/conftest.py +0 -0
  110. {proofpath-0.4.0 → proofpath-0.4.1}/tests/data/draft-author-year.md +0 -0
  111. {proofpath-0.4.0 → proofpath-0.4.1}/tests/data/draft-live.md +0 -0
  112. {proofpath-0.4.0 → proofpath-0.4.1}/tests/data/ghost_set.jsonl +0 -0
  113. {proofpath-0.4.0 → proofpath-0.4.1}/tests/data/pairing_author_year.jsonl +0 -0
  114. {proofpath-0.4.0 → proofpath-0.4.1}/tests/data/pairing_set.jsonl +0 -0
  115. {proofpath-0.4.0 → proofpath-0.4.1}/tests/data/sarif-schema-2.1.0.json +0 -0
  116. {proofpath-0.4.0 → proofpath-0.4.1}/tests/data/verify-report-golden.json +0 -0
  117. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fakes.py +0 -0
  118. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/crossref_work.json +0 -0
  119. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/crossref_work_no_abstract.json +0 -0
  120. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/europepmc_fulltext.xml +0 -0
  121. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/europepmc_search.json +0 -0
  122. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/europepmc_search_empty.json +0 -0
  123. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/europepmc_search_not_in_epmc.json +0 -0
  124. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/openalex_work.json +0 -0
  125. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/s2_paper.json +0 -0
  126. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/s2_paper_no_abstract.json +0 -0
  127. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/unpaywall.json +0 -0
  128. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/unpaywall_closed.json +0 -0
  129. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/oa/unpaywall_landing_only.json +0 -0
  130. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/arxiv_id_roberta.xml +0 -0
  131. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/arxiv_title_fabricated.xml +0 -0
  132. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/arxiv_title_roberta.xml +0 -0
  133. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/crossref_alphafold.json +0 -0
  134. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/crossref_fabricated.json +0 -0
  135. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/crossref_numpy.json +0 -0
  136. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/crossref_rag.json +0 -0
  137. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/crossref_retracted_wakefield.json +0 -0
  138. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/crossref_roberta.json +0 -0
  139. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/crossref_work_alphafold.json +0 -0
  140. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/crossref_work_numpy.json +0 -0
  141. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/openalex_alphafold.json +0 -0
  142. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/openalex_fabricated.json +0 -0
  143. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/openalex_rag.json +0 -0
  144. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/openalex_retracted_wakefield.json +0 -0
  145. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/openalex_roberta.json +0 -0
  146. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/openlibrary_fabricated.json +0 -0
  147. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/openlibrary_using_language.json +0 -0
  148. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/s2_alphafold.json +0 -0
  149. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/s2_fabricated.json +0 -0
  150. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/s2_rag.json +0 -0
  151. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/resolve/s2_roberta.json +0 -0
  152. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/bsky-blocked.json +0 -0
  153. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/bsky-not-found.json +0 -0
  154. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/bsky-quote-blocked.json +0 -0
  155. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/bsky-resolve-handle.json +0 -0
  156. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/bsky-thread-gone.json +0 -0
  157. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/bsky-thread.json +0 -0
  158. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/hn-comment.json +0 -0
  159. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/hn-dead.json +0 -0
  160. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/hn-deleted.json +0 -0
  161. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/hn-missing.json +0 -0
  162. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/hn-story.json +0 -0
  163. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/mastodon-login-required.json +0 -0
  164. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/mastodon-status.json +0 -0
  165. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/reddit-comment.json +0 -0
  166. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/reddit-link-post.json +0 -0
  167. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/reddit-nested-comment.json +0 -0
  168. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/reddit-post.json +0 -0
  169. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/reddit-removed.json +0 -0
  170. {proofpath-0.4.0 → proofpath-0.4.1}/tests/fixtures/social/reddit-token.json +0 -0
  171. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_averitec.py +0 -0
  172. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_browser.py +0 -0
  173. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_cache.py +0 -0
  174. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_cache_cli.py +0 -0
  175. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_check_cli.py +0 -0
  176. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_claims.py +0 -0
  177. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_cli.py +0 -0
  178. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_commands.py +0 -0
  179. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_config.py +0 -0
  180. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_config_cli.py +0 -0
  181. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_device.py +0 -0
  182. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_document.py +0 -0
  183. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_entailment.py +0 -0
  184. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_eval_averitec.py +0 -0
  185. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_eval_coverage.py +0 -0
  186. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_eval_pairing.py +0 -0
  187. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_eval_scifact.py +0 -0
  188. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_fetch.py +0 -0
  189. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_fetch_cli.py +0 -0
  190. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_ingest.py +0 -0
  191. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_judge.py +0 -0
  192. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_metrics.py +0 -0
  193. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_models.py +0 -0
  194. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_numerics.py +0 -0
  195. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_oa.py +0 -0
  196. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_pipeline.py +0 -0
  197. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_polite.py +0 -0
  198. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_providers.py +0 -0
  199. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_providers_social.py +0 -0
  200. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_report.py +0 -0
  201. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_resolve.py +0 -0
  202. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_resolve_cli.py +0 -0
  203. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_retrieval.py +0 -0
  204. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_sarif.py +0 -0
  205. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_scifact.py +0 -0
  206. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_tui_banner.py +0 -0
  207. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_tui_pet.py +0 -0
  208. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_tui_rich.py +0 -0
  209. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_tui_runs.py +0 -0
  210. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_tui_theme.py +0 -0
  211. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_ui.py +0 -0
  212. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_verify.py +0 -0
  213. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_verify_golden.py +0 -0
  214. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_verify_routing.py +0 -0
  215. {proofpath-0.4.0 → proofpath-0.4.1}/tests/test_version.py +0 -0
  216. {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.0
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.0 academic . online . coreml
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.0 academic . online . coreml
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.0 academic . online . coreml
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.0 academic . online . coreml
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