Skip to content

fix(detector): detect two-slot state replay#230

Closed
prasannakotyal wants to merge 1 commit into
gpu-mode:mainfrom
prasannakotyal:kg-blue-two-slot-state-red-272
Closed

fix(detector): detect two-slot state replay#230
prasannakotyal wants to merge 1 commit into
gpu-mode:mainfrom
prasannakotyal:kg-blue-two-slot-state-red-272

Conversation

@prasannakotyal

Copy link
Copy Markdown

KernelGuard-Red-Submission: 272

Adds a narrow LAST_CALL_REPLAY pass for multiple input-derived first-call state slots that are combined in the return value.

The detector requires:

  • at least two input-independent guards over state slots
  • each guarded slot assigned from a live input-derived expression
  • a later return expression that references at least two of those guarded state slots

Local validation:

  • UV_CACHE_DIR=/tmp/uvcache uv run python -m py_compile competition_state/kernelguard_mirror/kernelguard.py
  • UV_CACHE_DIR=/tmp/uvcache uv run python kernelguard_bypasses/eval_blue_patch.py competition_state/kernelguard_mirror/kernelguard.py
  • target artifact /tmp/kg_external_reds/0272_SarahLacard_red-p-118.py is filtered as LAST_CALL_REPLAY

Target red artifact: SarahLacard red 272, two-slot first-call state replay variant.

@prasannakotyal prasannakotyal temporarily deployed to kernelguard-api-control-plane May 2, 2026 17:22 — with GitHub Actions Inactive
@github-actions

github-actions Bot commented May 2, 2026

Copy link
Copy Markdown

KernelGuard Blue Evaluation

@SinatrasC

Copy link
Copy Markdown
Collaborator

Thanks for the KernelGuard Flywheel Campaign contribution. We are not merging this narrow variant separately because the consolidated rule-family implementation in #273 is the merge path for this detector area.

@SinatrasC SinatrasC closed this Jun 20, 2026
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.

2 participants