Skip to content

[codex] close out clusterfuzzlite, local gates, and proof routes - #19

Merged
xiaojiou176 merged 14 commits into
mainfrom
codex/scorecard-pinning-closeout
Apr 7, 2026
Merged

[codex] close out clusterfuzzlite, local gates, and proof routes#19
xiaojiou176 merged 14 commits into
mainfrom
codex/scorecard-pinning-closeout

Conversation

@xiaojiou176

@xiaojiou176 xiaojiou176 commented Apr 7, 2026

Copy link
Copy Markdown
Member

Summary

  • pin the ClusterFuzzLite lane to digest- and hash-locked inputs so run-fuzzers stops falling back to a source build
  • tighten root governance for .clusterfuzzlite and keep the local default gates aligned with the hosted-first five-layer contract
  • sharpen the public front door with explicit proof routes and a dedicated docs/public_proof.md map

Test Plan

  • ~/.cache/movi-organizer/venv/default/bin/pytest -q tests/unit/test_clusterfuzzlite_contract.py
  • COVERAGE_FILE=.runtime-cache/test/coverage/.coverage.local-manual ~/.cache/movi-organizer/venv/default/bin/pytest -q tests/unit/test_test_system_round2_audit.py -k 'local_fast_and_standard_prepush_align_with_ci_core_gates or prepush_gate_defaults_to_standard_mode'
  • ~/.cache/movi-organizer/venv/default/bin/python tooling/scripts/render_docs.py --check
  • GitHub Actions rerun on PR head for pre-commit, cflite-pr, and ci

Breaking Changes

None

Rollout / Risk

  • Risk: Medium
  • Main risk is governance drift if the local gate contract and docs truth routes fall out of sync again.
  • Rollback: revert this PR branch before merge.

Observability

  • No new production runtime surfaces.
  • Public proof and gate expectations are now easier to audit from docs.

@xiaojiou176
xiaojiou176 dismissed a stale review via a55b1bc April 7, 2026 07:28
@xiaojiou176
xiaojiou176 dismissed a stale review via facb027 April 7, 2026 07:38
@xiaojiou176
xiaojiou176 dismissed a stale review via 44e103a April 7, 2026 07:42
@xiaojiou176 xiaojiou176 changed the title [codex] pin clusterfuzzlite supply-chain inputs [codex] close out clusterfuzzlite, local gates, and proof routes Apr 7, 2026
@xiaojiou176 xiaojiou176 closed this Apr 7, 2026
@xiaojiou176
xiaojiou176 deleted the codex/scorecard-pinning-closeout branch April 7, 2026 07:59
@xiaojiou176
xiaojiou176 restored the codex/scorecard-pinning-closeout branch April 7, 2026 07:59
@xiaojiou176 xiaojiou176 reopened this Apr 7, 2026
@xiaojiou176
xiaojiou176 merged commit e8f0294 into main Apr 7, 2026
104 of 106 checks passed
@xiaojiou176
xiaojiou176 deleted the codex/scorecard-pinning-closeout branch April 7, 2026 21:21
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