Remove Ponder dependency and implement equivalent classes locally#296

Merged

dmccoystephenson merged 7 commits intomainfrom

copilot/remove-ponder-dependency

Mar 8, 2026

Commits on Mar 8, 2026

Initial plan
Copilot
committed
Remove Ponder dependency and implement equivalent classes locally

Copilot
and
dmccoystephenson
committed
Fix grammar in PermissionChecker error message

Copilot
and
dmccoystephenson
committed
Move ponder classes to appropriate packages without ponder references

Copilot
and
dmccoystephenson
committed
Add CI workflow to verify compilation and run tests

Copilot
and
dmccoystephenson
committed
CI: scope Maven cache to repository dir and add explicit permissions

Copilot
and
dmccoystephenson
committed
Address PR review comments: fix formatting, types, and case-sensitivity

Copilot
and
dmccoystephenson
committed