Skip to content

Dogfood case/trim CONVERT; lower/upper/trim/icontains apps - #130

Merged
cursor[bot] merged 3 commits into
mainfrom
cursor/dogfood-apps-round10-45da
Oct 10, 2026
Merged

cursor[bot] merged 3 commits into
mainfrom
cursor/dogfood-apps-round10-45da

Conversation

@howlcipher

@howlcipher howlcipher commented Oct 10, 2026 •

Copy link
Copy Markdown
Owner

Summary

Adds native to_lower, to_upper, and str_trim as Supported CONVERT constructs (VM, interpreter, HFIR, Go/JS backends) and ships densified dogfood CLIs that beat Python/Go/Node on tokens while keeping parity.

Changes

  • Language: to_lower / to_upper / str_trim via OpConvert
  • Apps: lower_cli, upper_cli, trim_cli, icontains_cli
  • Densify: starts_cli, ends_cli, contains_cli, template_cli, file_transform with blank
  • Prod-flip: alias new CONVERT heads outside the promote-blocker fence
  • Proof: 30 apps — HF 4114 vs Py 5572 / Go 5894 / Node 5370

Validation

go test . -run TestProdFlipCriteriaLock -count=1
go test ./apps/lower_cli/ ./apps/upper_cli/ ./apps/trim_cli/ ./apps/icontains_cli/ -count=1
python3 benchmarks/real_apps/prove_real_apps.py
Open in Web Open in Cursor 

cursoragent and others added 3 commits October 10, 2026 21:50
Add native to_lower, to_upper, and str_trim via OpConvert across
VM, interpreter, HFIR, and Go/JS backends. Ship densified CLIs and
blank-densify existing file apps for the real-app token proof.

Co-authored-by: William Elias <wylelias.123@gmail.com>
Co-authored-by: William Elias <wylelias.123@gmail.com>
New CONVERT heads lower via the existing convert kind; keep them outside
the promote-blocker fence like to_string/bytes_to_string.

Co-authored-by: William Elias <wylelias.123@gmail.com>
@howlcipher
howlcipher marked this pull request as ready for review October 10, 2026 21:57
@cursor
cursor Bot merged commit dc46a4e into main Oct 10, 2026
1 check passed
@cursor
cursor Bot deleted the cursor/dogfood-apps-round10-45da branch October 10, 2026 21:57
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