Skip to content

Promote UnlinkPool case to build green#68

Merged
Th0rgal merged 1 commit into
mainfrom
codex/unlink-pool-build-green
May 14, 2026
Merged

Promote UnlinkPool case to build green#68
Th0rgal merged 1 commit into
mainfrom
codex/unlink-pool-build-green

Conversation

@Th0rgal
Copy link
Copy Markdown
Member

@Th0rgal Th0rgal commented May 14, 2026

Summary

  • promote unlink_xyz/pool to stage build_green with translation_status translated
  • clear unsupported_feature_codes in the case and build_green task manifests
  • update review/proof notes and generated benchmark metadata for the promoted case

Verification

  • git diff --check
  • lake build Benchmark.Cases.UnlinkXyz.Pool.Compile Benchmark.Generated.UnlinkXyz.Pool.Tasks.BuildGreen
  • python3 scripts/validate_manifests.py
  • python3 scripts/generate_metadata.py --check
  • python3 scripts/check_reference_solutions.py

Note

Low Risk
Mostly manifest/metadata and documentation updates that mark unlink_xyz/pool as buildable; risk is limited to benchmark inventory correctness and CI expectations.

Overview
Promotes the unlink_xyz/pool benchmark case from scoped to build_green, updating its translation_status to translated and clearing unsupported_feature_codes in both the case and build_green task manifests.

Updates the generated task template and reference proof placeholder comments to reflect the new build-green target, and regenerates benchmark metadata (REPORT.md, benchmark-inventory.json) so the case is counted as buildable/active with no remaining non-buildable active cases.

Reviewed by Cursor Bugbot for commit 24db2ac. Bugbot is set up for automated code reviews on this repo. Configure here.

@Th0rgal Th0rgal merged commit 8404c81 into main May 14, 2026
3 checks passed
@Th0rgal Th0rgal deleted the codex/unlink-pool-build-green branch May 14, 2026 22:38
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.

1 participant