Track 7 new issues in ROADMAP.md and KNOWN_ISSUES.md by aallan · Pull Request #472 · aallan/vera

aallan · 2026-04-16T09:30:31Z

Summary

Add 6 missing-primitives issues to ROADMAP.md: Add Random effect for number generation #465 (Random effect, Phase 2c), Add IO.sleep, IO.time, and IO.stderr operations #463 (IO.sleep, Phase 4a), Add array utility built-ins (sort, reverse, contains, find, any/all) #466 (array utilities), Add math built-ins (log, trig, constants) #467 (math built-ins), Add string utility built-ins (reverse, pad, chars, trim variants) #470 (string utilities), Add character classification built-ins (is_digit, is_alpha, etc.) #471 (char classification) (all Phase 4c)
Add 1 bug to KNOWN_ISSUES.md: Type-checked pure program produces incorrect runtime output that isolated probes cannot reproduce #464 (GC/array interaction)
Documentation only — no code changes

Test plan

All 7 issues verified as open on GitHub
No strikethroughs — follows project convention
Placement in correct roadmap phases (2c, 4a, 4c)

🤖 Generated with Claude Code

Track 6 missing-primitives issues (#463 IO.sleep, #465 Random effect, #466 array utilities, #467 math built-ins, #470 string utilities, #471 char classification) and 1 bug (#464 GC/array interaction). Co-Authored-By: Claude <noreply@anthropic.invalid>

coderabbitai · 2026-04-16T09:30:46Z

📝 Walkthrough

Walkthrough

Two documentation files updated: KNOWN_ISSUES.md receives a new entry describing issue #464 regarding discrepancies between type-checked program output and runtime behaviour with suspected GC interactions. ROADMAP.md expanded with Phase 2c Random effects, Phase 4a IO.sleep, and Phase 4b standard library built-ins for arrays, mathematics, strings, and character operations.

Changes

Cohort / File(s)	Summary
Documentation additions `KNOWN_ISSUES.md`, `ROADMAP.md`	KNOWN_ISSUES.md: new entry for issue `#464` describing output discrepancy in type-checked pure programs with GC-array interaction suspicion. ROADMAP.md: Random effect (Phase 2c), IO.sleep (Phase 4a), and standard library built-ins including array utilities, maths functions, string operations, and character classification (Phase 4b).

Estimated code review effort

🎯 1 (Trivial) | ⏱️ ~2 minutes

Suggested labels

docs

🚥 Pre-merge checks | ✅ 3

✅ Passed checks (3 passed)

Check name	Status	Explanation
Title check	✅ Passed	The title accurately reflects the main change: documenting 7 new issues (1 bug + 6 roadmap items) across KNOWN_ISSUES.md and ROADMAP.md.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

✨ Finishing Touches

📝 Generate docstrings

Create stacked PR
Commit on current branch

🧪 Generate unit tests (beta)

Create PR with unit tests
Commit unit tests in branch roadmap-new-issues

_{Comment @coderabbitai help to get the list of available commands and usage tips.}

codecov · 2026-04-16T09:31:28Z

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 90.35%. Comparing base (f2efd93) to head (dc1fa1d).
⚠️ Report is 2 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #472   +/-   ##
=======================================
  Coverage   90.35%   90.35%           
=======================================
  Files          50       50           
  Lines       19544    19544           
  Branches      225      225           
=======================================
  Hits        17659    17659           
  Misses       1881     1881           
  Partials        4        4

Flag	Coverage Δ
javascript	`50.67% <ø> (ø)`
python	`95.28% <ø> (ø)`

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

coderabbitai

Actionable comments posted: 1

🤖 Prompt for all review comments with AI agents

Verify each finding against the current code and only fix it if needed.

Inline comments:
In `@ROADMAP.md`:
- Around line 170-173: The roadmap entries for built-ins (`#466` array_*
functions, `#467` math functions like log/sin/pi/e, `#470` string_* functions, `#471`
character classification) are placed in Phase 4c but the PR objective claims
placement in phases 3/4a/4b—reconcile by choosing the canonical schedule and
updating text accordingly: either move the four bullet items into the correct
phase sections (3, 4a, 4b) in ROADMAP.md or edit the PR objective text to state
Phase 4c as canonical, and ensure the issue references (`#466`, `#467`, `#470`, `#471`)
and the built-in names (array_sort, string_reverse, is_digit, log, etc.) are
consistent in both the roadmap bullets and the objective.

🪄 Autofix (Beta)

Fix all unresolved CodeRabbit comments on this PR:

Push a commit to this branch (recommended)
Create a new PR with the fixes

ℹ️ Review info

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: ASSERTIVE

Plan: Pro

Run ID: d248b8c9-358a-4161-bcbe-062ccfb8d128

📥 Commits

Reviewing files that changed from the base of the PR and between f2efd93 and dc1fa1d.

📒 Files selected for processing (2)

KNOWN_ISSUES.md
ROADMAP.md

coderabbitai Bot reviewed Apr 16, 2026

View reviewed changes

Comment thread ROADMAP.md

aallan merged commit b3696e0 into main Apr 16, 2026
19 checks passed

aallan deleted the roadmap-new-issues branch April 16, 2026 09:41

aallan mentioned this pull request Apr 16, 2026

Reimplement higher-order array ops as iterative WASM loops #480

Closed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Track 7 new issues in ROADMAP.md and KNOWN_ISSUES.md#472

Track 7 new issues in ROADMAP.md and KNOWN_ISSUES.md#472
aallan merged 1 commit into
mainfrom
roadmap-new-issues

aallan commented Apr 16, 2026 •

edited

Loading

Uh oh!

coderabbitai Bot commented Apr 16, 2026 •

edited

Loading

Walkthrough

Changes

Estimated code review effort

Suggested labels

Uh oh!

codecov Bot commented Apr 16, 2026 •

edited

Loading

Uh oh!

coderabbitai Bot left a comment

Uh oh!

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

aallan commented Apr 16, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Summary

Test plan

Uh oh!

coderabbitai Bot commented Apr 16, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Walkthrough

Changes

Estimated code review effort

Suggested labels

Uh oh!

codecov Bot commented Apr 16, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Codecov Report

Uh oh!

coderabbitai Bot left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

aallan commented Apr 16, 2026 •

edited

Loading

coderabbitai Bot commented Apr 16, 2026 •

edited

Loading

codecov Bot commented Apr 16, 2026 •

edited

Loading