Skip to content

fix(detector): detect list insert replay from captured state#185

Closed
prasannakotyal wants to merge 1 commit into
gpu-mode:mainfrom
prasannakotyal:kg-blue-146-list-insert-subscript
Closed

fix(detector): detect list insert replay from captured state#185
prasannakotyal wants to merge 1 commit into
gpu-mode:mainfrom
prasannakotyal:kg-blue-146-list-insert-subscript

Conversation

@prasannakotyal

Copy link
Copy Markdown

KernelGuard-Red-Submission: 146

Uses the validated mutated-capture subscript pass to catch state-only fast paths that replay from captured container subscripts after the entrypoint mutates that captured container.

This target fills _s via _s.insert(0, data.clone()) and later returns _s[0].

Local validation:

  • uv run python -m py_compile kernelguard.py
  • uv run python /home/nino/repos/paradigma/kernelguard_bypasses/eval_blue_patch.py /home/nino/repos/paradigma/competition_state/kernelguard_mirror/kernelguard.py

Target red fixture: red_25_list_insert_replay.py

@prasannakotyal prasannakotyal temporarily deployed to kernelguard-api-control-plane May 2, 2026 14:32 — 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