Skip to content

Add Tag annotation#319

Merged
joshuasn merged 17 commits intomainfrom
trace-box
Mar 9, 2026
Merged

Add Tag annotation#319
joshuasn merged 17 commits intomainfrom
trace-box

Conversation

@joshuasn
Copy link
Collaborator

@joshuasn joshuasn commented Mar 5, 2026

Summary

Adds the TraceBox annotation. When present alongside InjectNoise, adds trace information to the barriers when the box is built.

Details and comments

AI: some Claude Opus 4.6.

Copy link
Collaborator

@ihincks ihincks left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, @joshuasn ! This will be a nice feature, and is perhaps overdue.

Is InjectNoise actually handled in this PR? I wasn't able to see it.

I'm also not a fan of TraceBox, partly because of the length. I bet we can come up with a single word directive.

joshuasn and others added 5 commits March 9, 2026 12:02
Co-authored-by: Ian Hincks <ian.hincks@gmail.com>
Co-authored-by: Ian Hincks <ian.hincks@gmail.com>
@ihincks ihincks changed the title Add TraceBox Add Tag annotation Mar 9, 2026
@ihincks
Copy link
Collaborator

ihincks commented Mar 9, 2026

TY Josh, this is looking good. I like how you can easily make any annotation write to trace_refs.

joshuasn and others added 6 commits March 9, 2026 16:49
Co-authored-by: Ian Hincks <ian.hincks@gmail.com>
Co-authored-by: Ian Hincks <ian.hincks@gmail.com>
Co-authored-by: Ian Hincks <ian.hincks@gmail.com>
Co-authored-by: Ian Hincks <ian.hincks@gmail.com>
Co-authored-by: Ian Hincks <ian.hincks@gmail.com>
@joshuasn joshuasn merged commit 38a9685 into main Mar 9, 2026
8 checks passed
@joshuasn joshuasn deleted the trace-box branch March 9, 2026 20:06
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