KofTwentyTwo/Jarvis
2
0 Fork 0
Code Issues 111 Pull Requests 16 Actions Packages Projects Releases 4 Wiki Activity

M-0: Promote check-single-writer-hudstate.sh to behavioral probe (R-004) #95

New Issue
Open
opened 2026-05-12 19:36:41 +00:00 by KofTwentyTwo · 0 comments
KofTwentyTwo commented 2026-05-12 19:36:41 +00:00 (Migrated from github.com)
Copy link
Copy source

Goal

Promote check-single-writer-hudstate.sh from grep-only to a behavioral harness probe that asserts exactly one HUD-state event reaches the bus client. Grep kept as defense in depth. Mitigates R-004.

Scope

  • New HudStateSingleWriterProbe debug binary
  • Probe emits HUD state from two paths; harness asserts exactly one event reaches the bus
  • scripts/check-single-writer-hudstate.sh becomes a thin wrapper around the probe
  • Grep gate retained alongside

Files

  • scripts/check-single-writer-hudstate.sh (rewrite)
  • packages/Harness/Sources/Harness/Probes/HudStateSingleWriterProbe.swift (new)

Acceptance

  • Behavioral probe green on current develop (HUD currently has single writer or expected dual writer documented)
  • Probe fails when artificial second writer added (negative test)
  • Existing grep gate still green

Test

Negative test: inject a second emit → probe must fail. Positive: clean state → probe green.

Parent epic

#4

Source

.planning/architecture/JARVIS-API-MIGRATION-PLAN.md §2.1 (M-0.6)
.planning/architecture/REVIEW-MIGRATION-RISK.md R-004

## Goal Promote check-single-writer-hudstate.sh from grep-only to a behavioral harness probe that asserts exactly one HUD-state event reaches the bus client. Grep kept as defense in depth. Mitigates R-004. ## Scope - New `HudStateSingleWriterProbe` debug binary - Probe emits HUD state from two paths; harness asserts exactly one event reaches the bus - `scripts/check-single-writer-hudstate.sh` becomes a thin wrapper around the probe - Grep gate retained alongside ## Files - `scripts/check-single-writer-hudstate.sh` (rewrite) - `packages/Harness/Sources/Harness/Probes/HudStateSingleWriterProbe.swift` (new) ## Acceptance - [ ] Behavioral probe green on current develop (HUD currently has single writer or expected dual writer documented) - [ ] Probe fails when artificial second writer added (negative test) - [ ] Existing grep gate still green ## Test Negative test: inject a second emit → probe must fail. Positive: clean state → probe green. ## Parent epic #4 ## Source `.planning/architecture/JARVIS-API-MIGRATION-PLAN.md` §2.1 (M-0.6) `.planning/architecture/REVIEW-MIGRATION-RISK.md` R-004
Sign in to join this conversation.
No Branch/Tag Specified
Labels
Clear labels
area:agent
area:build
area:bus
area:devtool
area:hud
area:logging
area:mcp
area:memory
area:vision
area:voice
audit-finding
bug
Something isn't working
 carry-forward
comment-cleanup
Comment / docstring cleanup per .planning/code-commenting-guide.md
 dependencies
Dependency updates
 documentation
Improvements or additions to documentation
 duplicate
This issue or pull request already exists
 enhancement
New feature or request
 epic
good first issue
Good for newcomers
 help wanted
Extra attention is needed
 invalid
This doesn't seem right
 javascript
Pull requests that update javascript code
 migration
question
Further information is requested
 severity:critical
severity:high
severity:low
severity:medium
wontfix
This will not be worked on
No labels area:build enhancement migration
Milestone
No items
No Milestone v0.5 — API M-0..M-3 (Self / Settings / Diagnostics surfaces)
Projects
Clear projects
No projects
Assignees
Clear assignees
forge-recovery (Forge Recovery) james.maes (James Maes)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: KofTwentyTwo/Jarvis#95