Skip to content

Add release hygiene and public 848 artifacts#5

Merged
SproutSeeds merged 5 commits into
mainfrom
codex/release-hygiene
Apr 15, 2026
Merged

Add release hygiene and public 848 artifacts#5
SproutSeeds merged 5 commits into
mainfrom
codex/release-hygiene

Conversation

@SproutSeeds
Copy link
Copy Markdown
Owner

Summary

  • Add a cost-conscious CI workflow for PRs/main plus a manual release-check workflow.
  • Commit the public frontier/theorem-loop artifacts, including the 848 split-atom fixture packets required by the endpoint-menu compiler tests.
  • Keep heavyweight/local run products out of npm with scoped .npmignore guards and ignore local generated output paths.

Cost posture

  • Uses standard ubuntu-latest GitHub-hosted runners only.
  • Sets timeout-minutes: 10, read-only contents permissions, and concurrency cancellation.
  • Does not upload artifacts, use caches, publish to npm, or request larger/paid runners.

Verification

  • npm test passed: 75 tests, 75 pass.
  • node --test test/p848-endpoint-menu-compiler.test.js passed: 4 tests, 4 pass.
  • npm pack --dry-run --json summary: 1,828,566 bytes packed, 15,646,850 bytes unpacked, 485 entries; no SPLIT_ATOM_PACKETS, no exact small-N raw result JSON, no output/, no live-frontier-sync, no egg-info, no frontier build dir.

# Conflicts:
#	packs/number-theory/problems/848/BOUNDED_VERIFICATION_PLAN.md
#	packs/number-theory/problems/848/FRONTIER_NOTE.md
#	packs/number-theory/problems/848/INTERVAL_WORK_QUEUE.yaml
#	packs/number-theory/problems/848/OPS_DETAILS.yaml
#	packs/number-theory/problems/848/ROUTE_HISTORY.md
#	packs/number-theory/problems/848/VERIFICATION_REGIMES.md
#	packs/number-theory/problems/848/compute/problem848_small_n_exact_scan.mjs
#	packs/number-theory/problems/848/context.yaml
#	test/cli.test.js
@SproutSeeds SproutSeeds marked this pull request as ready for review April 15, 2026 04:41
@SproutSeeds SproutSeeds merged commit 1c18614 into main Apr 15, 2026
2 checks passed
@SproutSeeds SproutSeeds deleted the codex/release-hygiene branch April 15, 2026 04:41
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