invar-tools 1.3.2__tar.gz → 1.3.3__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 (235) hide show
  1. {invar_tools-1.3.2 → invar_tools-1.3.3}/.github/workflows/publish.yml +0 -27
  2. {invar_tools-1.3.2 → invar_tools-1.3.3}/PKG-INFO +1 -1
  3. {invar_tools-1.3.2 → invar_tools-1.3.3}/pyproject.toml +1 -1
  4. invar_tools-1.3.3/tests/integration/__init__.py +0 -0
  5. {invar_tools-1.3.2 → invar_tools-1.3.3}/.aider.conf.yml +0 -0
  6. {invar_tools-1.3.2 → invar_tools-1.3.3}/.claude/commands/audit.md +0 -0
  7. {invar_tools-1.3.2 → invar_tools-1.3.3}/.claude/commands/guard.md +0 -0
  8. {invar_tools-1.3.2 → invar_tools-1.3.3}/.claude/skills/develop/SKILL.md +0 -0
  9. {invar_tools-1.3.2 → invar_tools-1.3.3}/.claude/skills/investigate/SKILL.md +0 -0
  10. {invar_tools-1.3.2 → invar_tools-1.3.3}/.claude/skills/propose/SKILL.md +0 -0
  11. {invar_tools-1.3.2 → invar_tools-1.3.3}/.claude/skills/review/SKILL.md +0 -0
  12. {invar_tools-1.3.2 → invar_tools-1.3.3}/.cursorrules +0 -0
  13. {invar_tools-1.3.2 → invar_tools-1.3.3}/.github/workflows/ci.yml +0 -0
  14. {invar_tools-1.3.2 → invar_tools-1.3.3}/.gitignore +0 -0
  15. {invar_tools-1.3.2 → invar_tools-1.3.3}/.invar/archive/sessions-2025-12.md +0 -0
  16. {invar_tools-1.3.2 → invar_tools-1.3.3}/.invar/context.md +0 -0
  17. {invar_tools-1.3.2 → invar_tools-1.3.3}/.invar/examples/README.md +0 -0
  18. {invar_tools-1.3.2 → invar_tools-1.3.3}/.invar/examples/conftest.py +0 -0
  19. {invar_tools-1.3.2 → invar_tools-1.3.3}/.invar/examples/contracts.py +0 -0
  20. {invar_tools-1.3.2 → invar_tools-1.3.3}/.invar/examples/core_shell.py +0 -0
  21. {invar_tools-1.3.2 → invar_tools-1.3.3}/.invar/examples/workflow.md +0 -0
  22. {invar_tools-1.3.2 → invar_tools-1.3.3}/.invar/project-additions.md +0 -0
  23. {invar_tools-1.3.2 → invar_tools-1.3.3}/.invar/proposals/TEMPLATE.md +0 -0
  24. {invar_tools-1.3.2 → invar_tools-1.3.3}/.mcp.json +0 -0
  25. {invar_tools-1.3.2 → invar_tools-1.3.3}/.pre-commit-config.yaml +0 -0
  26. {invar_tools-1.3.2 → invar_tools-1.3.3}/.serena/.gitignore +0 -0
  27. {invar_tools-1.3.2 → invar_tools-1.3.3}/.serena/project.yml +0 -0
  28. {invar_tools-1.3.2 → invar_tools-1.3.3}/CLAUDE.md +0 -0
  29. {invar_tools-1.3.2 → invar_tools-1.3.3}/INVAR.md +0 -0
  30. {invar_tools-1.3.2 → invar_tools-1.3.3}/LICENSE +0 -0
  31. {invar_tools-1.3.2 → invar_tools-1.3.3}/LICENSE-GPL +0 -0
  32. {invar_tools-1.3.2 → invar_tools-1.3.3}/NOTICE +0 -0
  33. {invar_tools-1.3.2 → invar_tools-1.3.3}/README.md +0 -0
  34. /invar_tools-1.3.2/src/invar/py.typed → /invar_tools-1.3.3/docs/.nojekyll +0 -0
  35. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/agents.md +0 -0
  36. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/design.md +0 -0
  37. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/diagrams.md +0 -0
  38. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/guide.md +0 -0
  39. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/history/decisions-2024.md +0 -0
  40. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/history/feedback/compliance-analysis.md +0 -0
  41. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/history/feedback/feedback-memo.md +0 -0
  42. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/history/feedback/index.md +0 -0
  43. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/history/index.md +0 -0
  44. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/history/original-vision.md +0 -0
  45. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/history/protocol-evolution.md +0 -0
  46. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/history/research/cruxeval-quick-validation.md +0 -0
  47. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/index.html +0 -0
  48. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/logo.svg +0 -0
  49. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-23-entry-point-detection.md +0 -0
  50. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-25-functional-patterns.md +0 -0
  51. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-29-pure-content-detection.md +0 -0
  52. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-37-coverage-integration.md +0 -0
  53. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-38-contract-quality-rules.md +0 -0
  54. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-39-workflow-efficiency.md +0 -0
  55. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-40-smart-tool-redirect-hook.md +0 -0
  56. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-41-automatic-review-orchestration.md +0 -0
  57. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-42-workflow-auto-routing.md +0 -0
  58. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-43-cross-platform-distribution.md +0 -0
  59. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-46-documentation-audit.md +0 -0
  60. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-48-code-structure-reorganization.md +0 -0
  61. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-49-protocol-distribution-unification.md +0 -0
  62. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-50-workflow-enforcement.md +0 -0
  63. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-51-workflow-phase-visibility.md +0 -0
  64. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-52-venv-dependency-injection.md +0 -0
  65. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-53-review-loop-effectiveness.md +0 -0
  66. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-54-agent-native-context-management.md +0 -0
  67. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-55-claude-init-conflict-resolution.md +0 -0
  68. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-56-template-sync-unification.md +0 -0
  69. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-60-structured-rules-ssot.md +0 -0
  70. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/DX-61-functional-pattern-guidance.md +0 -0
  71. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/LX-01-multi-language-feasibility.md +0 -0
  72. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/2024-12-21-guard-enhancements.md +0 -0
  73. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/2024-12-21-language-inspired-enhancements.md +0 -0
  74. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/2024-12-21-test-first-enhancement.md +0 -0
  75. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/2025-12-21-dx-improvements.md +0 -0
  76. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/2025-12-23-dx-20-property-testing-enhancements.md +0 -0
  77. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/2025-12-23-dx-21-package-and-init.md +0 -0
  78. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/AGENT-IMPROVEMENTS.md +0 -0
  79. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-11-documentation-restructure.md +0 -0
  80. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-12-hypothesis-fallback.md +0 -0
  81. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-13-incremental-prove.md +0 -0
  82. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-14-expanded-prove-usage.md +0 -0
  83. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-16-agent-tool-enforcement.md +0 -0
  84. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-17-workflow-enforcement.md +0 -0
  85. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-22-verification-strategy.md +0 -0
  86. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-24-mechanism-documentation.md +0 -0
  87. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-26-guard-simplification.md +0 -0
  88. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-27-system-prompt-protocol.md +0 -0
  89. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-28-semantic-verification.md +0 -0
  90. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-30-visible-workflow.md +0 -0
  91. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-31-adversarial-reviewer.md +0 -0
  92. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-32-workflow-iteration.md +0 -0
  93. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-33-verification-blind-spots.md +0 -0
  94. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-34-review-cycle.md +0 -0
  95. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-35-workflow-phase-separation.md +0 -0
  96. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-36-documentation-restructuring.md +0 -0
  97. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-45-template-consistency.md +0 -0
  98. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-47-command-skill-naming.md +0 -0
  99. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-57-claude-code-hooks.md +0 -0
  100. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/completed/DX-58-document-structure-optimization.md +0 -0
  101. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/proposals/index.md +0 -0
  102. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/reference/architecture/index.md +0 -0
  103. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/reference/contracts/advanced.md +0 -0
  104. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/reference/contracts/completeness.md +0 -0
  105. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/reference/contracts/doctests.md +0 -0
  106. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/reference/contracts/index.md +0 -0
  107. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/reference/contracts/pre-post.md +0 -0
  108. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/reference/documentation.md +0 -0
  109. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/reference/index.md +0 -0
  110. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/reference/proposal-workflow.md +0 -0
  111. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/reference/rules/index.md +0 -0
  112. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/reference/rules/severity.md +0 -0
  113. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/reference/verification/crosshair-vs-hypothesis.md +0 -0
  114. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/reference/verification/index.md +0 -0
  115. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/reference/verification/smart-routing.md +0 -0
  116. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/reference/workflow/index.md +0 -0
  117. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/reference/workflow/session-start.md +0 -0
  118. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/reference/workflow/usbv.md +0 -0
  119. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/terminal-gif-guide.md +0 -0
  120. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/test-reports/DX-55-test-report.md +0 -0
  121. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/test-reports/DX-56-test-report.md +0 -0
  122. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/test-reports/DX-58-test-scenario.md +0 -0
  123. {invar_tools-1.3.2 → invar_tools-1.3.3}/docs/vision.md +0 -0
  124. {invar_tools-1.3.2 → invar_tools-1.3.3}/runtime/LICENSE +0 -0
  125. {invar_tools-1.3.2 → invar_tools-1.3.3}/runtime/README.md +0 -0
  126. {invar_tools-1.3.2 → invar_tools-1.3.3}/runtime/pyproject.toml +0 -0
  127. {invar_tools-1.3.2 → invar_tools-1.3.3}/runtime/src/invar_runtime/__init__.py +0 -0
  128. {invar_tools-1.3.2 → invar_tools-1.3.3}/runtime/src/invar_runtime/contracts.py +0 -0
  129. {invar_tools-1.3.2 → invar_tools-1.3.3}/runtime/src/invar_runtime/decorators.py +0 -0
  130. {invar_tools-1.3.2 → invar_tools-1.3.3}/runtime/src/invar_runtime/invariant.py +0 -0
  131. {invar_tools-1.3.2 → invar_tools-1.3.3}/runtime/src/invar_runtime/relations.py +0 -0
  132. {invar_tools-1.3.2 → invar_tools-1.3.3}/runtime/src/invar_runtime/resource.py +0 -0
  133. {invar_tools-1.3.2 → invar_tools-1.3.3}/scripts/smart-guard.sh +0 -0
  134. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/__init__.py +0 -0
  135. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/__init__.py +0 -0
  136. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/contracts.py +0 -0
  137. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/entry_points.py +0 -0
  138. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/extraction.py +0 -0
  139. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/format_specs.py +0 -0
  140. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/format_strategies.py +0 -0
  141. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/formatter.py +0 -0
  142. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/hypothesis_strategies.py +0 -0
  143. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/inspect.py +0 -0
  144. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/lambda_helpers.py +0 -0
  145. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/models.py +0 -0
  146. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/must_use.py +0 -0
  147. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/parser.py +0 -0
  148. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/postcondition_scope.py +0 -0
  149. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/property_gen.py +0 -0
  150. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/purity.py +0 -0
  151. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/purity_heuristics.py +0 -0
  152. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/references.py +0 -0
  153. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/review_trigger.py +0 -0
  154. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/rule_meta.py +0 -0
  155. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/rules.py +0 -0
  156. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/shell_analysis.py +0 -0
  157. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/shell_architecture.py +0 -0
  158. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/strategies.py +0 -0
  159. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/suggestions.py +0 -0
  160. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/sync_helpers.py +0 -0
  161. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/tautology.py +0 -0
  162. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/template_parser.py +0 -0
  163. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/timeout_inference.py +0 -0
  164. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/utils.py +0 -0
  165. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/core/verification_routing.py +0 -0
  166. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/mcp/__init__.py +0 -0
  167. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/mcp/__main__.py +0 -0
  168. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/mcp/server.py +0 -0
  169. /invar_tools-1.3.2/tests/integration/__init__.py → /invar_tools-1.3.3/src/invar/py.typed +0 -0
  170. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/__init__.py +0 -0
  171. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/claude_hooks.py +0 -0
  172. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/commands/__init__.py +0 -0
  173. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/commands/guard.py +0 -0
  174. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/commands/hooks.py +0 -0
  175. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/commands/init.py +0 -0
  176. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/commands/merge.py +0 -0
  177. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/commands/mutate.py +0 -0
  178. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/commands/perception.py +0 -0
  179. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/commands/sync_self.py +0 -0
  180. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/commands/template_sync.py +0 -0
  181. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/commands/test.py +0 -0
  182. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/commands/update.py +0 -0
  183. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/config.py +0 -0
  184. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/coverage.py +0 -0
  185. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/fs.py +0 -0
  186. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/git.py +0 -0
  187. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/guard_helpers.py +0 -0
  188. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/guard_output.py +0 -0
  189. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/mcp_config.py +0 -0
  190. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/mutation.py +0 -0
  191. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/property_tests.py +0 -0
  192. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/prove/__init__.py +0 -0
  193. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/prove/accept.py +0 -0
  194. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/prove/cache.py +0 -0
  195. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/prove/crosshair.py +0 -0
  196. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/prove/hypothesis.py +0 -0
  197. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/subprocess_env.py +0 -0
  198. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/template_engine.py +0 -0
  199. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/templates.py +0 -0
  200. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/shell/testing.py +0 -0
  201. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/CLAUDE.md.template +0 -0
  202. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/__init__.py +0 -0
  203. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/aider.conf.yml.template +0 -0
  204. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/commands/audit.md +0 -0
  205. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/commands/guard.md +0 -0
  206. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/config/CLAUDE.md.jinja +0 -0
  207. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/config/context.md.jinja +0 -0
  208. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/config/pre-commit.yaml.jinja +0 -0
  209. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/context.md.template +0 -0
  210. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/cursorrules.template +0 -0
  211. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/examples/README.md +0 -0
  212. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/examples/conftest.py +0 -0
  213. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/examples/contracts.py +0 -0
  214. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/examples/core_shell.py +0 -0
  215. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/examples/workflow.md +0 -0
  216. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/hooks/PostToolUse.sh.jinja +0 -0
  217. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/hooks/PreToolUse.sh.jinja +0 -0
  218. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/hooks/Stop.sh.jinja +0 -0
  219. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/hooks/UserPromptSubmit.sh.jinja +0 -0
  220. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/hooks/__init__.py +0 -0
  221. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/manifest.toml +0 -0
  222. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/pre-commit-config.yaml.template +0 -0
  223. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/proposal.md.template +0 -0
  224. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/protocol/INVAR.md +0 -0
  225. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/skills/develop/SKILL.md.jinja +0 -0
  226. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/skills/investigate/SKILL.md.jinja +0 -0
  227. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/skills/propose/SKILL.md.jinja +0 -0
  228. {invar_tools-1.3.2 → invar_tools-1.3.3}/src/invar/templates/skills/review/SKILL.md.jinja +0 -0
  229. {invar_tools-1.3.2 → invar_tools-1.3.3}/tests/__init__.py +0 -0
  230. {invar_tools-1.3.2 → invar_tools-1.3.3}/tests/conftest.py +0 -0
  231. {invar_tools-1.3.2 → invar_tools-1.3.3}/tests/integration/test_cli_flags.py +0 -0
  232. {invar_tools-1.3.2 → invar_tools-1.3.3}/tests/integration/test_dx55_regression.py +0 -0
  233. {invar_tools-1.3.2 → invar_tools-1.3.3}/tests/integration/test_dx56_sync.py +0 -0
  234. {invar_tools-1.3.2 → invar_tools-1.3.3}/tests/test_subprocess_env.py +0 -0
  235. {invar_tools-1.3.2 → invar_tools-1.3.3}/uv.lock +0 -0
{invar_tools-1.3.2 → invar_tools-1.3.3}/.github/workflows/publish.yml RENAMED
@@ -59,30 +59,3 @@ jobs:
59
59
  skip-existing: true
60
60
  # Uses trusted publishing - configure at pypi.org/manage/project/invar-tools/settings/publishing/
61
61
 
62
- publish-deprecated:
63
- name: Publish python-invar (deprecated)
64
- runs-on: ubuntu-latest
65
- needs: publish-tools # Deprecated package depends on invar-tools
66
- permissions:
67
- id-token: write # Required for trusted publishing
68
-
69
- steps:
70
- - uses: actions/checkout@v4
71
-
72
- - name: Set up Python
73
- uses: actions/setup-python@v5
74
- with:
75
- python-version: "3.11"
76
-
77
- - name: Install build tools
78
- run: pip install build
79
-
80
- - name: Build python-invar package
81
- run: python -m build deprecated/python-invar/
82
-
83
- - name: Publish python-invar to PyPI
84
- uses: pypa/gh-action-pypi-publish@release/v1
85
- with:
86
- packages-dir: deprecated/python-invar/dist/
87
- skip-existing: true
88
- # Uses trusted publishing - configure at pypi.org/manage/project/python-invar/settings/publishing/
{invar_tools-1.3.2 → invar_tools-1.3.3}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.4
2
2
  Name: invar-tools
3
- Version: 1.3.2
3
+ Version: 1.3.3
4
4
  Summary: AI-native software engineering tools with design-by-contract verification
5
5
  Project-URL: Homepage, https://github.com/tefx/invar
6
6
  Project-URL: Documentation, https://github.com/tefx/invar#readme
{invar_tools-1.3.2 → invar_tools-1.3.3}/pyproject.toml RENAMED
@@ -10,7 +10,7 @@ packages = ["src/invar"]
10
10
 
11
11
  [project]
12
12
  name = "invar-tools"
13
- version = "1.3.2"
13
+ version = "1.3.3"
14
14
  description = "AI-native software engineering tools with design-by-contract verification"
15
15
  readme = "README.md"
16
16
  license = "GPL-3.0-or-later"
invar_tools-1.3.3/tests/integration/__init__.py ADDED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/.aider.conf.yml RENAMED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/.cursorrules RENAMED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/.gitignore RENAMED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/.mcp.json RENAMED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/CLAUDE.md RENAMED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/INVAR.md RENAMED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/LICENSE RENAMED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/LICENSE-GPL RENAMED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/NOTICE RENAMED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/README.md RENAMED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/docs/agents.md RENAMED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/docs/design.md RENAMED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/docs/guide.md RENAMED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/docs/index.html RENAMED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/docs/logo.svg RENAMED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/docs/vision.md RENAMED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/runtime/LICENSE RENAMED
File without changes
{invar_tools-1.3.2 → invar_tools-1.3.3}/uv.lock RENAMED
File without changes