Repository navigation
id(roc): F11.18 pin the Roc compiler for checked-in example modules and rebuild them in CI #541
Description
What and why
Rebuild every example with the nix/roc.nix compiler, make each build.sh refuse another compiler, and add a CI job that rebuilds examples and checks behaviour (not hashes) with the sandbox suite and fuel budgets. Checked-in modules are built with whatever roc is on PATH, so nobody can tell which compiler produced them or rebuild them the same way.
Source
Current status
Not started. pkgs/id/examples/territory/build.sh:4 ROC="${ROC:-roc}", with no version check (the same pattern is in every build.sh). pkgs/id/tests/toolchain_pin.rs covers only the Rust toolchain. No workflow in .github/workflows/ rebuilds examples.
Acceptance criteria
- Every example is rebuilt with the
nix/roc.nixcompiler - Each
build.shrefuses to run with any other compiler version - A CI job rebuilds the examples and checks behaviour (sandbox suite and fuel budgets), not hashes
Size
M
Prerequisites
None.
Metadata
Metadata
Assignees
Labels
Package/app: id (pkgs/ or apps/ in this repo)CI/CD pipelines, workflows, and build automation (area)Medium: expected under 1 day of workCI/CD pipelines, workflows, and build automationIntake review done: acceptance criteria, links, and normalized labels addedAn agent touched this without the required agent-note comment or labels; needs review of whyFully doable remotely: design, config, code, cloudOrg Project gate: active priority — orchestrator adds to the boardImportant and time-sensitiveQueue task is parked (waiting on CI, time, or an event)Filed directly by a humanDeliberately paused with a recorded resume conditionQueue worker lifecycle state
Activity
docs(id): Phase 14 plan — close-out: finish, measure, verify, open th…
dezren39 commentedon Oct 26, 2026
Intake review
Verified still live on main
14dd66b6(2026-10-26, fleet monitor).pkgs/id/examples/territory/build.shstill opens withROC="${ROC:-roc}"and no version check (the same pattern the body reports in every example build.sh), and no workflow under.github/workflows/rebuilds the examples.Related:
pkgs/id/tests/toolchain_pin.rspins only the Rust toolchain — the Roc side is the gap. Sibling #565 (Roc example migration, enriched last run) touches the same examples from a different angle.Risks / suggested approach: have each build.sh compare
roc --versionagainst thenix/roc.nixpin and refuse otherwise, rebuild all examples with the pinned compiler, then add the CI rebuild job checking behaviour (sandbox suite + fuel budgets), not hashes, per the acceptance criteria.36 remaining items
dezren39 commentedon Nov 2, 2026
Resumed queue task 1363 to shepherd PR #3883. Fresh checks show the PR is open and authored by
dezren39, matching the signed-in account; this is a Drew-owned PR. I will not review, modify, or merge it under the hard-stop rule. Parking this task for 30 minutes pending a non-Drew owner / explicit handoff.dezren39 commentedon Nov 2, 2026
Parked queue task 1363 for 30 minutes. PR #3883 is open and authored by the signed-in
dezren39account (Drew); the protocol hard-stop forbids touching Drew-owned PRs. Resume only after a non-Drew owner or explicit handoff, then recheck PR state, CI, and review comments. No implementation or PR changes made.dezren39 commentedon Nov 2, 2026
Parked queue task 1363 for 30 minutes. PR #3883 is open and authored by dezren39 (Drew-owned account); hard-stop prohibits review, modification, or merge. Fresh revalidation 2026-11-02T23:22Z: PR still OPEN (head fix/id-541, base main), only bot reviews since (coderabbit summary, codex no-findings), CodeRabbit check passing. No non-Drew owner or explicit handoff. Resume: recheck PR ownership/handoff, then CI and review threads; do not reimplement.
dezren39 commentedon Nov 3, 2026
agent-note:v1 — state: handed off
Queue task #1363 is handed to OpenCode for execution.
ses_e5e6128aa15ffelzuS9chC79ACopencoderepo-worker-codeFollow tic-tac-toe move to apps/ in Roc pin enforcement (#541)
Merge pull request #3883 from developing-today/fix/id-541