Skip to content

Dogfood getd/min/max/eq_ci/snxt sugar; densify store/HTTP apps - #131

Closed
howlcipher wants to merge 2 commits into
mainfrom
cursor/dogfood-apps-round11-45da
Closed

howlcipher wants to merge 2 commits into
mainfrom
cursor/dogfood-apps-round11-45da

Conversation

@howlcipher

@howlcipher howlcipher commented Oct 10, 2026 •

Copy link
Copy Markdown
Owner

Summary

Adds general-use density sugar for dict defaults (getd), numeric min/max, case-insensitive equality (eq_ci), and store next-id allocation (snxt). Ships dogfood CLIs and densifies notes/REST/webhook apps.

Rebased onto main after #130 (CONVERT case/trim).

Changes

  • Sugar: getd, min, max, eq_ci, snxt
  • Apps: eqci_cli, minmax_cli, getd_cli
  • Densify: notes_cli (331→303), rest_tasks, task_api, webhook_relay, json_get
  • Proof: 33 apps — HF 4431 vs Py 5995 / Go 6418 / Node 5802

Validation

go test ./internal/ast/ ./apps/eqci_cli/ ./apps/minmax_cli/ ./apps/getd_cli/ ./apps/notes_cli/ ./apps/task_api/ -count=1
python3 benchmarks/real_apps/prove_real_apps.py
Open in Web Open in Cursor 

cursoragent and others added 2 commits October 10, 2026 21:57
Add density sugar for dict defaults, numeric min/max, case-insensitive
equality, and store next-id allocation. Ship eqci/minmax/getd CLIs and
densify notes, rest_tasks, task_api, webhook_relay, and json_get.

Co-authored-by: William Elias <wylelias.123@gmail.com>
Co-authored-by: William Elias <wylelias.123@gmail.com>
@cursor
cursor Bot force-pushed the cursor/dogfood-apps-round11-45da branch from d078c86 to 8cb2f05 Compare October 10, 2026 21:57
@howlcipher howlcipher closed this Oct 10, 2026
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.

2 participants