Skip to content

Corrective Stage 1 State-Save Follow-Up: align state-issue writes#553

Merged
PLeVasseur merged 1 commit into
Safety-Critical-Rust-Consortium:mainfrom
PLeVasseur:refactor/reviewer-bot-maintainability-remediation-stage1-corrective-state-save-followup
Apr 13, 2026
Merged

Corrective Stage 1 State-Save Follow-Up: align state-issue writes#553
PLeVasseur merged 1 commit into
Safety-Critical-Rust-Consortium:mainfrom
PLeVasseur:refactor/reviewer-bot-maintainability-remediation-stage1-corrective-state-save-followup

Conversation

@PLeVasseur

Copy link
Copy Markdown
Collaborator

Summary

  • remove the unsupported conditional-header assumption from authoritative state saves so check-overdue can persist state through the retained issue update path
  • align runtime, bootstrap, and fake-runtime state-save surfaces with the supported patch_state_issue(...) contract instead of the invalid conditional-write helper
  • add bootstrapped workflow_dispatch save-path regression proof that exercises the real save_state(...) path and asserts no If-Match header is sent on unsafe issue writes

@netlify

netlify Bot commented Apr 13, 2026

Copy link
Copy Markdown

Deploy Preview for scrc-coding-guidelines ready!

Name Link
🔨 Latest commit e80cbbb
🔍 Latest deploy log https://app.netlify.com/projects/scrc-coding-guidelines/deploys/69dd0db676380c000837921e
😎 Deploy Preview https://deploy-preview-553--scrc-coding-guidelines.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify project configuration.

@PLeVasseur
PLeVasseur enabled auto-merge April 13, 2026 15:39
@PLeVasseur
PLeVasseur disabled auto-merge April 13, 2026 15:40
@PLeVasseur
PLeVasseur merged commit c158011 into Safety-Critical-Rust-Consortium:main Apr 13, 2026
19 checks passed
@PLeVasseur
PLeVasseur deleted the refactor/reviewer-bot-maintainability-remediation-stage1-corrective-state-save-followup branch April 13, 2026 15: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