Skip to content

feat: add missing replay-verification reject fixture for SR gate policy#281

Open
mdheller wants to merge 1 commit into
mainfrom
feat/prometheus-sr-gate-policy-replay-reject
Open

feat: add missing replay-verification reject fixture for SR gate policy#281
mdheller wants to merge 1 commit into
mainfrom
feat/prometheus-sr-gate-policy-replay-reject

Conversation

@mdheller

Copy link
Copy Markdown
Member

Summary

  • Adds tests/fixtures/symbolic-regression/reject-sr-gate-policy-replay.json: a policy fixture with requireReplayVerified: false, which the SR gate policy schema rejects via const: true constraint
  • Completes the five required negative-fixture scenarios from the acceptance criteria: inconsistent units, allowControlAuthority=true, missing replay verification, platform_dynamics direct eligible promotion, and complexity/NMSE/shape errors
  • 23 PROMETHEUS SR checks now pass (was 22)

Closes #259

Test plan

  • make validate-prometheus-sr passes (23/23)
  • reject-sr-gate-policy-replay.json is correctly rejected

…cy (#259)

Adds reject-sr-gate-policy-replay.json: requireReplayVerified=false is
rejected by the sr-gate-policy schema (const: true). Completes the five
required negative-fixture scenarios from the acceptance criteria:
inconsistent units, allowControlAuthority=true, missing replay
verification, platform-dynamics direct eligible, and shape errors.

23 PROMETHEUS SR checks now pass.

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

PROMETHEUS: define automated SR gate-policy contract

1 participant