[google/syzkaller] 8ccd67: pkg/aflow: change patch-iteration models

[Aleksandr Nogikh]

Branch: refs/heads/gh-readonly-queue/master/pr-7322-585486f803da724f2eed363fc2add206bc848be5
Home: https://github.com/google/syzkaller
Commit: 8ccd679d15ca95e36403f7f95f8f92b97cefaa28
https://github.com/google/syzkaller/commit/8ccd679d15ca95e36403f7f95f8f92b97cefaa28
Author: Aleksandr Nogikh <nog...@google.com>
Date: 2026-05-20 (Wed, 20 May 2026)

Changed paths:
M pkg/aflow/flow/patching/iteration.go

Log Message:
-----------
pkg/aflow: change patch-iteration models

Use a smarter model for the triage verdict - it needs more capabilities
to dissect discussions, quotations, etc.

Use a simpler model for description generation.


Commit: 1a4dfa9fc54a1a29e0e661b6028c6f7009072d18
https://github.com/google/syzkaller/commit/1a4dfa9fc54a1a29e0e661b6028c6f7009072d18
Author: Aleksandr Nogikh <nog...@google.com>
Date: 2026-05-20 (Wed, 20 May 2026)

Changed paths:
M pkg/aflow/if.go
M pkg/aflow/if_test.go
M pkg/aflow/testdata/TestIf/BoolFalse.trajectory.json
A pkg/aflow/testdata/TestIf/DisjointOutputsFalse.trajectory.json
A pkg/aflow/testdata/TestIf/DisjointOutputsTrue.trajectory.json
A pkg/aflow/testdata/TestIf/ElseFalse.trajectory.json
A pkg/aflow/testdata/TestIf/ElseTrue.trajectory.json
M pkg/aflow/testdata/TestIf/IntFalse.trajectory.json
M pkg/aflow/testdata/TestIf/StringFalse.trajectory.json

Log Message:
-----------
pkg/aflow: add Else branch support to If component

Extend the aflow.If component to support an optional Else action,
enabling fallback logic and simpler conditional routing in workflows.

The static verifier now evaluates both the Do and Else branches in
isolation and merges their resulting states. It enforces an output
subset rule: the Else branch may only produce variables that are also
produced by the Do branch, and their types must match exactly.

This design supports the common pattern where the Else branch acts as
a bypass, producing only a subset of the main Do branch's variables.
At runtime, aflow automatically injects zero-values for any omitted
variables. This prevents downstream panics without requiring authors
to write boilerplate dummy assignments.

Tests added to if_test.go to verify paths and validation rules.


Commit: ca3e09169285f0098fccc3022485a3a261fa40d0
https://github.com/google/syzkaller/commit/ca3e09169285f0098fccc3022485a3a261fa40d0
Author: Aleksandr Nogikh <nog...@google.com>
Date: 2026-05-20 (Wed, 20 May 2026)

Changed paths:
M pkg/aflow/if_test.go
A pkg/aflow/testdata/TestIf/SliceEmpty.trajectory.json
A pkg/aflow/testdata/TestIf/SliceNil.trajectory.json
A pkg/aflow/testdata/TestIf/SliceTrue.trajectory.json

Log Message:
-----------
pkg/aflow: add more If tests

Consider slice as input.


Commit: 3fb97b287952d68a6dcbff5cd73f6335269fe106
https://github.com/google/syzkaller/commit/3fb97b287952d68a6dcbff5cd73f6335269fe106
Author: Aleksandr Nogikh <nog...@google.com>
Date: 2026-05-20 (Wed, 20 May 2026)

Changed paths:
M pkg/aflow/flow/patching/actions.go
M pkg/aflow/flow/patching/iteration.go

Log Message:
-----------
pkg/aflow: split code and text triage in patch iteration

1. Extract reviewer feedback into explicitly categorized arrays
(CodeActionItems, DescriptionActionItems, FixesActionItems) while
ignoring citations to reduce noise for downstream agents.
2. Bypass the expensive patch generation loop entirely if no code
changes are required, preventing the code LLM from hallucinating
unnecessary edits to satisfy its prompt.
3. Refine agent instructions to strictly enforce their scope: the patch
generator must only address code items, while the changelog generator
is now empowered to apply description-specific feedback.


Commit: 83681a5a2a5a67abb1429163a887da6609b438f1
https://github.com/google/syzkaller/commit/83681a5a2a5a67abb1429163a887da6609b438f1
Author: Aleksandr Nogikh <nog...@google.com>
Date: 2026-05-20 (Wed, 20 May 2026)

Changed paths:
M pkg/aflow/flow/patching/tags.go

Log Message:
-----------
pkg/aflow: do not extract review tags from citations

The tag extractor agent was previously vulnerable to picking up tags
from quoted text when reviewers replied to earlier emails or patches.

Refine the prompt instructions to explicitly ignore lines starting
with `>` and only extract tags actively added or removed in the new
parts of the reviewer's response.


Compare: https://github.com/google/syzkaller/compare/8ccd679d15ca%5E...83681a5a2a5a

To unsubscribe from these emails, change your notification settings at https://github.com/google/syzkaller/settings/notifications

[Aleksandr Nogikh]

Branch: refs/heads/master

Compare: https://github.com/google/syzkaller/compare/585486f803da...83681a5a2a5a