Skip to content

fix(verification): an unreadable tests block or an unidentified check no longer ends a cycle BLOCKED (#477) - #478

Open
datacas wants to merge 2 commits into
mainfrom
fix/477-rereview-blocked-on-unreadable-checks
Open

datacas wants to merge 2 commits into
mainfrom
fix/477-rereview-blocked-on-unreadable-checks

Conversation

@datacas

@datacas datacas commented Nov 10, 2026

Copy link
Copy Markdown
Owner

Closes #477

What

  • verification_plan.normalize_tests: a reported check that names a frozen ID takes the identity fields it omits (command, executor, profile, context, required, level, criteria) from the frozen check. Fields it does give still must match.
  • cycle_dispatch: a tests block the runtime cannot read is noted and warned, its checks stay not_verified, and the cycle continues instead of stopping BLOCKED. The verification barrier still asks about unverified checks at the end.
  • command_permissions / cycle_session: an unidentified configured check is not recorded as declined (no grant exists to answer), and Codex is no longer told not to run it.

Docs

docs/verification.md and docs/capability-parity-audit.md (PA-34) updated; roadmap row in docs/ROADMAP_V2.md.

Tests

tests.test_run_cycle, test_compose_consent, test_command_permissions, test_verification_plan, test_cycle_stage_characterization, test_cycle_outcomes, test_stage_dispatch, test_executors, test_environment_recovery pass. Three tests that pinned the old BLOCKED behaviour were updated; two regression tests added.

… no longer ends a cycle BLOCKED (#477)

A reported frozen check takes the identity fields it omits from the frozen
check. A tests block the runtime cannot read is noted and its checks stay
not_verified instead of stopping the cycle. An unidentified configured check
is not recorded as declined and Codex is no longer told not to run it.

Closes #477
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.

A rereview ends BLOCKED on a report missing a frozen check's command and on unidentified checks read as declined

1 participant