Repository navigation

Fix virtual sleep determinism detection - #8541

Closed

austinywang wants to merge 254 commits into

mainfrom

issue-8529-workflow-guard-sleep-assert

Closed

Fix virtual sleep determinism detection#8541
austinywang wants to merge 254 commits into
mainfrom
issue-8529-workflow-guard-sleep-assert

This pull request is big! We're only showing the most recent 250 commits

Commits on Jul 21, 2026
- Preserve chained sleep call detection
  austinywang
  committed
  4d9e696
- Classify sleep calls by receiver shape
  austinywang
  committed
  1ad7e4b
- Limit sleep guard to known real clocks
  austinywang
  committed
  18a2903
- Resolve named standard clock sleeps
  austinywang
  committed
  45eefc7
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  0ce6e61
- test: cover named clock scope resolution
  austinywang
  committed
  9406d1d
- Fix named clock scope resolution
  austinywang
  committed
  dc20b12
- test: cover specialized Task sleep calls
  austinywang
  committed
  94987bc
- Preserve specialized Task sleep detection
  austinywang
  committed
  578a97c
- test: cover lexical clock visibility
  austinywang
  committed
  6ce8459
- Resolve named clocks by lexical scope
  austinywang
  committed
  2677f48
- test: cover lexical sleep edge cases
  austinywang
  committed
  06dcb42
- Handle lexical sleep edge cases
  austinywang
  committed
  5e98baa
- test: cover qualified and member clock receivers
  austinywang
  committed
  9dc4f2b
- Handle qualified and member clock receivers
  austinywang
  committed
  426a0cc
- test: cover self and multi-binding clocks
  austinywang
  committed
  ffb0034
- Resolve self and multi-binding clocks
  austinywang
  committed
  db5f4a0
- test: cover signature and comment masking
  austinywang
  committed
  1f14456
- Preserve signature and comment scope
  austinywang
  committed
  671d089
- test: cover comments and qualified POSIX sleeps
  austinywang
  committed
  66d324f
- Handle line comments and qualified POSIX sleeps
  austinywang
  committed
  c8b6b22
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  95f8ea7
- test: cover multiline clocks and failable initializers
  austinywang
  committed
  fcd5f88
- Resolve continued clocks and failable initializers
  austinywang
  committed
  1d53941
Commits on Jul 22, 2026
- test: cover multiline closure clock parameters
  austinywang
  committed
  36317f8
- test: cover assigned closure clock captures
  austinywang
  committed
  506485b
- Resolve multiline closure clock receivers
  austinywang
  committed
  8670833
- test: cover shorthand and conditional clocks
  austinywang
  committed
  11d9fb6
- Preserve clocks through Swift conditional scopes
  austinywang
  committed
  d55d385
- test: cover explicit optional clock bindings
  austinywang
  committed
  84ebf1a
- Inherit clock identity through optional bindings
  austinywang
  committed
  3fd5173
- test: cover loop clocks and nested initializers
  austinywang
  committed
  5fb7df2
- Anchor named clock declaration classification
  austinywang
  committed
  53f2bf4
- test: cover later real clock members
  austinywang
  committed
  df510d9
- Resolve explicit real clock members by type
  austinywang
  committed
  b52aedb
- test: cover sleep modules and nested type identity
  austinywang
  committed
  47db2e6
- Preserve module sleeps and nested type identity
  austinywang
  committed
  9e254ff
- test: cover shell globs and split clock members
  austinywang
  committed
  50e7f20
- Handle aliased and cross-file real clocks
  austinywang
  committed
  546bae8
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  f58a4ee
- test: cover capture aliases and target subdirectories
  austinywang
  committed
  a2ef99b
- Resolve capture aliases across test targets
  austinywang
  committed
  9077ef1
- test: cover extension clocks and switch cases
  austinywang
  committed
  201e986
- Resolve extension clocks across switch cases
  austinywang
  committed
  685120a
- test: cover qualified self clock sleeps
  austinywang
  committed
  7f067cb
- Recognize qualified self clock sleeps
  austinywang
  committed
  8996c60
- test: cover explicit standard clock initializers
  austinywang
  committed
  02c9c1e
- Recognize explicit standard clock initializers
  austinywang
  committed
  28dcaae
- test: cover tuple and inherited real clocks
  austinywang
  committed
  4eb3f12
- Resolve tuple and inherited real clocks
  austinywang
  committed
  2b9175c
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  2e51862
- test: cover reassigned and qualified clocks
  austinywang
  committed
  153509c
- Resolve reassigned and qualified clocks
  austinywang
  committed
  59b4c7d
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  85c794c
- test: cover nested clock reassignments
  austinywang
  committed
  68b8e07
- Track nested clock reassignments
  austinywang
  committed
  9f00088
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  2355fc9
- test: cover remaining sleep guard regressions
  austinywang
  committed
  f3af7f1
- Close remaining sleep guard gaps
  austinywang
  committed
  e0f6f11
- test: cover typed and shadowed sleep receivers
  austinywang
  committed
  d1150b7
- Resolve typed and shadowed sleep receivers
  austinywang
  committed
  d0114cc
- test: cover switch and Python alias scopes
  austinywang
  committed
  a39e734
- Handle switch and Python alias scopes
  austinywang
  committed
  a998967
- test: cover remaining real sleep receivers
  austinywang
  committed
  a1c77d3
- Preserve remaining real sleep detection
  austinywang
  committed
  e2eea86
- test: cover namespace and chained sleep receivers
  austinywang
  committed
  c17dabb
- test: correct chained receiver bundle fixture
  austinywang
  committed
  01cd4d8
- Resolve namespace and chained sleep receivers
  austinywang
  committed
  83a3596
- test: cover defaulted and same-line sleep receivers
  austinywang
  committed
  dc5d7ec
- Handle defaulted and same-line sleep receivers
  austinywang
  committed
  83a7e10
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  1b1285a
- test: cover parameter defaults and longer chains
  austinywang
  committed
  19bb4c4
- Resolve default aliases and deep clock chains
  austinywang
  committed
  fd74271
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  b29f131
- test: cover typealiases and private type collisions
  austinywang
  committed
  61c38bf
- Resolve Swift aliases and private type collisions
  austinywang
  committed
  78ce1ee
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  68afd70
- Make sidebar scheduler test deterministic
  austinywang
  committed
  d85ee12
- test: cover self-qualified clock reassignment
  austinywang
  committed
  400b322
- Track self-qualified clock reassignment
  austinywang
  committed
  aca2cbf
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  8fa9e87
- test: cover project-defined real clocks
  austinywang
  committed
  19fc9bc
- Detect project-defined real clock sleeps
  austinywang
  committed
  d7ed1d0
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  02ff81d
- Limit project clock member indexing
  austinywang
  committed
  4335a30
- test: cover collected project clock members
  austinywang
  committed
  aa214c1
- Fix collected project clock member detection
  austinywang
  committed
  83fcf31
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  4f0cfb4
Commits on Jul 23, 2026
- test: cover transitive collected clock members
  austinywang
  committed
  fa1b0df
- Fix transitive project clock member detection
  austinywang
  committed
  8c5d17a
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  2dfdf4e
- test: cover inherited and qualified project clocks
  austinywang
  committed
  1290d6b
- Handle inherited and qualified project clocks
  austinywang
  committed
  2bcc4cd
- test: cover clock identity and lexical lookup
  austinywang
  committed
  97f856a
- Fix clock identity and lexical lookup
  austinywang
  committed
  3474ac3
- test: cover standard clock shadows and access scope
  austinywang
  committed
  fa6a27f
- Resolve clock identity with Swift access scope
  austinywang
  committed
  3ea293c
- Simplify sleep determinism detection
  austinywang
  committed
  2acc242
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  056e50b
- test: cover direct sleep module boundaries
  austinywang
  committed
  3cb53d6
- Fix direct sleep module boundaries
  austinywang
  committed
  d61a6b5
- test: cover sleep interpolation boundaries
  austinywang
  committed
  0b053c5
- Fix sleep API language and interpolation boundaries
  austinywang
  committed
  082f0f8
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  51e9322
- Avoid regex backtracking in sleep scan
  austinywang
  committed
  5d2143e
- test: cover multiline and import sleep boundaries
  austinywang
  committed
  d33b3ea
- Handle multiline and imported sleep syntax
  austinywang
  committed
  5682224
- test: cover multiline shell and Python shadows
  austinywang
  committed
  17d68ab
- Track multiline shell and Python shadow syntax
  austinywang
  committed
  53fbf0a
- test: cover shell and Python binding fast paths
  austinywang
  committed
  ec3753b
- Handle shell and Python binding fast paths
  austinywang
  committed
  9f4f2aa
Commits on Jul 24, 2026
- test: cover scoped Python sleeps and global timers
  austinywang
  committed
  6849c05
- Restore scoped Python sleeps and global timers
  austinywang
  committed
  b8ef5e2
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  3d5f2d7
- test: cover Python non-binding assignments
  austinywang
  committed
  8c4ed07
- Distinguish Python assignment targets
  austinywang
  committed
  c3501af
- test: cover shell variables and Python nested scopes
  austinywang
  committed
  bf1a0d0
- Handle shell variables and Python nested scopes
  austinywang
  committed
  c38f494
- test: cover import suffixes and lambda ranges
  austinywang
  committed
  0c6d29a
- Handle import suffixes and lambda ranges
  austinywang
  committed
  765ec21
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  bbd321a
- test: cover Python expression and alias ordering
  austinywang
  committed
  e87737b
- Use Python AST for trusted sleep detection
  austinywang
  committed
  d8097a8
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  f722121
- test: cover determinism review edge cases
  austinywang
  committed
  efa8828
- Address determinism review edge cases
  austinywang
  committed
  0487acc
- test: cover Python statement and comprehension semantics
  austinywang
  committed
  d91d085
- Preserve Python AST statement semantics
  austinywang
  committed
  455c912
- test: cover annotations heredocs and multiline Task sleeps
  austinywang
  committed
  73a4e28
- Handle annotation heredoc and multiline sleep semantics
  austinywang
  committed
  e047b50
- test: cover annotation heredoc and JS line breaks
  austinywang
  committed
  21dec3e
- Preserve annotation heredoc and JS call semantics
  austinywang
  committed
  df7658d
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  d68472e
- test: cover determinism checker lexer edge cases
  austinywang
  committed
  680fe72
- Fix determinism checker lexer edge cases
  austinywang
  committed
  72a2ebe
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  f46bbc3
- test: cover sleep token boundary edge cases
  austinywang
  committed
  735d482
- Handle Swift interpolation and sleep token boundaries
  austinywang
  committed
  d3d2138
- test: cover shell and JavaScript parser boundaries
  austinywang
  committed
  e4ac04e
- Harden shell and JavaScript syntax masking
  austinywang
  committed
  f7c6c7a
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  baa46b7
- test: cover multiline and lexical parser edges
  austinywang
  committed
  315f96e
- Fix multiline and lexical sleep detection
  austinywang
  committed
  f242cab
- test: cover deferred scopes and mixed syntax
  austinywang
  committed
  3606c59
- Isolate deferred scopes and complete syntax masking
  austinywang
  committed
  df92b7a
- test: cover continuation and scope parser edges
  austinywang
  committed
  e3ab12a
- Handle continuation and assignment parser edges
  austinywang
  committed
  e498c75
- test: cover shell and binding parser boundaries
  austinywang
  committed
  898fb7d
- Preserve lexical boundaries in determinism checks
  austinywang
  committed
  ada583c
- test: cover expansion and Unicode parser edges
  austinywang
  committed
  e629dd2
- Track shell expansions and Python source columns
  austinywang
  committed
  e3e8c77
- test: cover composed shell grammar cases
  austinywang
  committed
  9525c99
- Compose shell prefix and delimiter parsing
  austinywang
  committed
  9487af1
- test: cover deferred and continued command state
  austinywang
  committed
  2800831
- Resolve deferred bindings and continued shell state
  austinywang
  committed
  b429d03
- test: cover logical command and branch boundaries
  austinywang
  committed
  c53f9d7
- Track logical commands and causal expressions
  austinywang
  committed
  ebffc1c
- test: cover executable token and break states
  austinywang
  committed
  9eb383e
- Require executable assertions and precise break exits
  austinywang
  committed
  6e011e7
- test: cover comment ordering and outer scope branches
  austinywang
  committed
  776bb7d
- Order JavaScript masking and merge scope chains
  austinywang
  committed
  9cf737d
- test: cover comment and shell argument ambiguity
  austinywang
  committed
  ec14e3e
- Disambiguate comments and shell command boundaries
  austinywang
  committed
  09ce026
- test: cover nested case and late binding grammar
  austinywang
  committed
  792640e
- Handle nested case and late closure bindings
  austinywang
  committed
  a1f4832
- test: cover comment lines and shell grammar state
  austinywang
  committed
  35ce820
- Preserve executable lines and shell grammar state
  austinywang
  committed
  3032535
- test: cover nested receivers and heredoc case grammar
  austinywang
  committed
  3d095b9
- Track executable assertions and nested shell grammar
  austinywang
  committed
  d05ce90
- test: cover AST ends and shell pattern continuations
  austinywang
  committed
  cd7f2e0
- Use AST call ends and shell case phases
  austinywang
  committed
  e3b9206
- Merge remote-tracking branch 'origin/main' into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  7501660
Commits on Jul 25, 2026
- Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  1e1900c
- test: clarify synthesized animation value
  austinywang
  committed
  3c46e38
- test: cover determinism review regressions
  austinywang
  committed
  3ee350a
- Fix determinism review regressions
  austinywang
  committed
  a33af91
- test: cover parse fallback shadowing
  austinywang
  committed
  32d8efa
- Keep determinism parsing on the validated Python
  austinywang
  committed
  df4d64f
Commits on Jul 26, 2026
- test: cover direct standard clock sleeps
  austinywang
  committed
  97101df
- Detect direct standard clock sleeps
  austinywang
  committed
  cb72789
- test: cover deferred Python call ordering
  austinywang
  committed
  96f5541
- Resolve deferred Python bindings at direct calls
  austinywang
  committed
  4d5fcfe
- Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  bb204a1
- test: cover scoped clock binding order
  austinywang
  committed
  ce83062
- Resolve scoped clocks at causal call sites
  austinywang
  committed
  23d2687
- test: cover qualified clocks and star imports
  austinywang
  committed
  49da76a
- Track qualified clocks and trusted star imports
  austinywang
  committed
  48c9aa1
- test: cover Swift member lookup scopes
  austinywang
  committed
  949d302
- Model Swift member and callable scopes
  austinywang
  committed
  15fc667
- test: cover closure and compound-call shadows
  austinywang
  committed
  a55c85b
- Preserve closure and compound binding scopes
  austinywang
  committed
  801c1ed
- test: cover branch captures and shell polls
  austinywang
  committed
  e2fc41a
- Merge branch and loop binding states
  austinywang
  committed
  a795ef4
- test: cover timer aliases and mutable clocks
  austinywang
  committed
  c3ebd49
- Resolve timer aliases and mutable clocks
  austinywang
  committed
  f26fe80
- test: cover mixed timer alias scopes
  austinywang
  committed
  504da6d
- Resolve timer aliases per lexical scope
  austinywang
  committed
  964e47c
- test: cover namespace and ordered imports
  austinywang
  committed
  3ddf9f9
- Track namespace timers and ordered imports
  austinywang
  committed
  228216f
- test: cover method shadows and case polls
  austinywang
  committed
  05dec6e
- Respect case patterns and method shadows
  austinywang
  committed
  8c9fd72
- Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  b625a30
- Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  06755f1
Commits on Jul 27, 2026
- Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue-8529-workflow-guard-sleep-assert
  austinywang
  committed
  01381e7
Commits on Jul 28, 2026
Commits on Jul 29, 2026

Commits

Commits on Jul 21, 2026

Commits on Jul 22, 2026

Commits on Jul 23, 2026

Commits on Jul 24, 2026