[DataFlow runtime 2/7] DataFlow contracts + no-tensor invariant#595
Merged
jiapingW merged 1 commit intoJun 25, 2026
Merged
Conversation
Contributor
|
Warning You have reached your daily quota limit. Please wait up to 24 hours and I will start processing your requests again! |
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
ec2a544 to
6361753
Compare
jiapingW
approved these changes
Jun 25, 2026
5722a64
into
sgl-project:dataflow-up-1-sglang-guard
2 checks passed
This was referenced Jun 26, 2026
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
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.
DataFlow runtime — stacked PR. Stacked on #594 — true-stacked: this PR's base is the previous PR's branch, so the diff below shows only this layer.
Part 2/7 — DataFlow contracts + no-tensor invariant.
Adds
specforge/runtime/contracts.py: small frozen records the runtime exchanges —PromptTask,FeatureSpec,SampleRef,FeatureHandle,TrainBatch,WeightVersion— plusassert_no_tensors. Stdlib-only (torch is a typing-only import) so the control plane can be reasoned about and unit-tested without the model stack.Load-bearing invariant: control-plane records (
PromptTask,SampleRef) carry metadata only — never tensors; onlyTrainBatch(trainer side) holds tensors.assert_no_tensorsmakes it checkable (tests/test_runtime/test_contracts.py). Purely additive.Part of a 7-PR series adding the DataFlow runtime (
specforge/runtime/, milestones M1–M4). Verified on current upstreammain: all subpackages import and 65 component tests pass. The integration launcher (launch.py+train_eagle3_dataflow.py) and the end-to-end equivalence gates are a deliberate follow-up, not in this series.