[julerex]

Summary

• Guest smokes, delegate summaries, and a green host check were being treated as the same proof. The workflow skills now require the serial log, and they require the cross-target protection-domain check before the work is called done.
• Combined devices keep their own interrupt and scheduling tables. A context-switch port matches the recorded upstream layout. Edits that only served a discarded premise come out before the next smoke.
• Exploration reconciles generator claims against the function that writes the artifact, and a long run keeps its decision trail unless the operator waives it.

Test plan

• Read the edited skill sections and confirm each addition is one sentence a later agent can apply on a different port.
• Confirm no product code, versions, or board-specific constants were added.

Made with Cursor

---

Note

Low Risk
Documentation-only updates to agent SKILL.md playbooks; no runtime or product code paths change.

^{Reviewed by Cursor Bugbot for commit 4d878d5. Bugbot is set up for automated code reviews on this repo. Configure here.}

[cursor]

Cursor Bugbot has reviewed your changes using high effort and found 3 potential issues.

^{Bugbot Autofix is ON, but it could not run because the branch was deleted or merged before autofix could start.}

^{Reviewed by Cursor Bugbot for commit 4d878d5. Configure here.}

[cursor]

Feature gate blocks non-port work

High Severity · Logic Bug

Feature step 5 now withholds done, push, and plan updates until the host check and the cross-target protection-domain check both exit zero, with no port qualifier. The same change scopes that gate in principle-prove-it-works to a firmware or multi-architecture port. Owners copy this step verbatim, and most Feature trees have no such check, so the step cannot close.

 

^{Reviewed by Cursor Bugbot for commit 4d878d5. Configure here.}

[cursor]

Explainer template ignores scratch file

Medium Severity · Logic Bug

Complex how now harvests explorer reports into one scratch file and points the explainer at that file only, but explainer-prompt.md still substitutes {EXPLORER_FINDINGS_ALL} with inlined findings and never tells the explainer to open a path. Following both drops the reports or hands the explainer a path it was not told to read.

 

^{Reviewed by Cursor Bugbot for commit 4d878d5. Configure here.}

[cursor]

Arena framing requires generator tables

Medium Severity · Logic Bug

Arena Phase A now requires every bakeoff to name features that split host or generator tables from the default build and to state what the generator emits today, including stale metadata. Arena frames design and code contests of any kind, so that contract ships a firmware-shaped prompt on trees that have no generator.

 

^{Reviewed by Cursor Bugbot for commit 4d878d5. Configure here.}