Repository navigation
Add typed workflows and coordinated experiment authoring - #443
Merged
Merged
Conversation
added 12 commits
October 20, 2026 10:15
ctfbruce
added
the
Ready to merge
ctfbruce
marked this pull request as ready for review
October 20, 2026 11:10
ctfbruce
removed
the
Ready to merge
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Adds a typed workflow format, compiler and source-built
dbl-studioCLI, local HTTP service and MCP tools. Authors can compose network actions, analysis, conditions, bounded repetition and custom Go blocks, then compile an ordinary WASI debuglet. Saved graphs remain editable in the paired console builder.Experiments combine two or three participant workflows with typed send/await channels and request/reply correlation. They use the existing readiness, network policy and grouped submission paths. Programs retain a bounded connection manifest in their output so the console can reconstruct the declared participant map after a reload. This introduces no dispatcher schema or wire protocol change.
Validation: workflow, guest, studio and CLI tests passed on Linux; studio and guest race checks, vet, native build and Makefile tests passed. The integrated rehearsal ran three executor processes, including request/reply, timeout and conditional HTTP failover. This validates functional coordination on one host, not cross-region performance. Full repository CI 39411564772 passed all 16 jobs, including
required, and guest-language run 39411564757 passed on b2bfa67.Limits: the authoring tool currently requires a local Go 1.26.9 toolchain, matching SDK source and a separately built console; it is not added to existing apt/release packages. Peer messaging uses directly reachable IPv4 TCP listeners without encryption or cryptographic peer authentication. The displayed map describes configured communication, not observed delivery. See the new authoring and workflow guides for setup and bounds.
Paired console changes: https://gitlab.inf.ethz.ch/OU-PERRIG/yimin/debuglet/debuglet-dashboard/-/merge_requests/19