Skip to content

feat: explore pure PAY API wrapper#25

Merged
Mjboothaus merged 1 commit into
mainfrom
feat/pure-pay-api-exploration
Apr 18, 2026
Merged

feat: explore pure PAY API wrapper#25
Mjboothaus merged 1 commit into
mainfrom
feat/pure-pay-api-exploration

Conversation

@Mjboothaus

@Mjboothaus Mjboothaus commented Apr 18, 2026

Copy link
Copy Markdown
Contributor

Summary

  • add experimental side-effect-free PAY(...) support in the symbolic parser via an identity wrapper
  • keep LOGPAY(...) unsupported and explicitly rejected for core pricing paths
  • document OpenSourceRisk-inspired PAY exploration in the README
  • add parser and symbolic problem tests for PAY support and LOGPAY rejection

Validation

  • uv run ruff format src/pdealchemy/math_bridge/parser.py tests/math_bridge/test_parser.py
  • uv run ruff check src/pdealchemy/math_bridge/parser.py tests/math_bridge/test_parser.py
  • uv run ty check src
  • uv run pytest tests/math_bridge/test_parser.py tests/test_cli.py

Context

Co-Authored-By: Oz oz-agent@warp.dev

@semanticdiff-com

semanticdiff-com Bot commented Apr 18, 2026

Copy link
Copy Markdown

Review changes with  SemanticDiff

Changed Files
File Status
  README.md Unsupported file format
  src/pdealchemy/math_bridge/parser.py  0% smaller
  tests/math_bridge/test_parser.py  0% smaller

@Mjboothaus Mjboothaus merged commit f06a9f4 into main Apr 18, 2026
0 of 3 checks passed
@Mjboothaus Mjboothaus deleted the feat/pure-pay-api-exploration branch April 18, 2026 21:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant