Repository navigation
Fix virtual sleep determinism detection #8541
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Closed
Closed
Changes from 5 commits
Commits
Show all changes
254 commits
Select commit
Hold shift + click to select a range
4d9e696
Preserve chained sleep call detection
austinywang 1ad7e4b
Classify sleep calls by receiver shape
austinywang 18a2903
Limit sleep guard to known real clocks
austinywang 45eefc7
Resolve named standard clock sleeps
austinywang 0ce6e61
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang 9406d1d
test: cover named clock scope resolution
austinywang dc20b12
Fix named clock scope resolution
austinywang 94987bc
test: cover specialized Task sleep calls
austinywang 578a97c
Preserve specialized Task sleep detection
austinywang 6ce8459
test: cover lexical clock visibility
austinywang 2677f48
Resolve named clocks by lexical scope
austinywang 06dcb42
test: cover lexical sleep edge cases
austinywang 5e98baa
Handle lexical sleep edge cases
austinywang 9dc4f2b
test: cover qualified and member clock receivers
austinywang 426a0cc
Handle qualified and member clock receivers
austinywang ffb0034
test: cover self and multi-binding clocks
austinywang db5f4a0
Resolve self and multi-binding clocks
austinywang 1f14456
test: cover signature and comment masking
austinywang 671d089
Preserve signature and comment scope
austinywang 66d324f
test: cover comments and qualified POSIX sleeps
austinywang c8b6b22
Handle line comments and qualified POSIX sleeps
austinywang 95f8ea7
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang fcd5f88
test: cover multiline clocks and failable initializers
austinywang 1d53941
Resolve continued clocks and failable initializers
austinywang 36317f8
test: cover multiline closure clock parameters
austinywang 506485b
test: cover assigned closure clock captures
austinywang 8670833
Resolve multiline closure clock receivers
austinywang 11d9fb6
test: cover shorthand and conditional clocks
austinywang d55d385
Preserve clocks through Swift conditional scopes
austinywang 84ebf1a
test: cover explicit optional clock bindings
austinywang 3fd5173
Inherit clock identity through optional bindings
austinywang 5fb7df2
test: cover loop clocks and nested initializers
austinywang 53f2bf4
Anchor named clock declaration classification
austinywang df510d9
test: cover later real clock members
austinywang b52aedb
Resolve explicit real clock members by type
austinywang 47db2e6
test: cover sleep modules and nested type identity
austinywang 9e254ff
Preserve module sleeps and nested type identity
austinywang 50e7f20
test: cover shell globs and split clock members
austinywang 546bae8
Handle aliased and cross-file real clocks
austinywang f58a4ee
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang a2ef99b
test: cover capture aliases and target subdirectories
austinywang 9077ef1
Resolve capture aliases across test targets
austinywang 201e986
test: cover extension clocks and switch cases
austinywang 685120a
Resolve extension clocks across switch cases
austinywang 7f067cb
test: cover qualified self clock sleeps
austinywang 8996c60
Recognize qualified self clock sleeps
austinywang 02c9c1e
test: cover explicit standard clock initializers
austinywang 28dcaae
Recognize explicit standard clock initializers
austinywang 4eb3f12
test: cover tuple and inherited real clocks
austinywang 2b9175c
Resolve tuple and inherited real clocks
austinywang 2e51862
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang 153509c
test: cover reassigned and qualified clocks
austinywang 59b4c7d
Resolve reassigned and qualified clocks
austinywang 85c794c
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang 68b8e07
test: cover nested clock reassignments
austinywang 9f00088
Track nested clock reassignments
austinywang 2355fc9
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang f3af7f1
test: cover remaining sleep guard regressions
austinywang e0f6f11
Close remaining sleep guard gaps
austinywang d1150b7
test: cover typed and shadowed sleep receivers
austinywang d0114cc
Resolve typed and shadowed sleep receivers
austinywang a39e734
test: cover switch and Python alias scopes
austinywang a998967
Handle switch and Python alias scopes
austinywang a1c77d3
test: cover remaining real sleep receivers
austinywang e2eea86
Preserve remaining real sleep detection
austinywang c17dabb
test: cover namespace and chained sleep receivers
austinywang 01cd4d8
test: correct chained receiver bundle fixture
austinywang 83a3596
Resolve namespace and chained sleep receivers
austinywang dc5d7ec
test: cover defaulted and same-line sleep receivers
austinywang 83a7e10
Handle defaulted and same-line sleep receivers
austinywang 1b1285a
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang 19bb4c4
test: cover parameter defaults and longer chains
austinywang fd74271
Resolve default aliases and deep clock chains
austinywang b29f131
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang 61c38bf
test: cover typealiases and private type collisions
austinywang 78ce1ee
Resolve Swift aliases and private type collisions
austinywang 68afd70
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang d85ee12
Make sidebar scheduler test deterministic
austinywang 400b322
test: cover self-qualified clock reassignment
austinywang aca2cbf
Track self-qualified clock reassignment
austinywang 8fa9e87
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang 19fc9bc
test: cover project-defined real clocks
austinywang d7ed1d0
Detect project-defined real clock sleeps
austinywang 02ff81d
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang 4335a30
Limit project clock member indexing
austinywang aa214c1
test: cover collected project clock members
austinywang 83fcf31
Fix collected project clock member detection
austinywang 4f0cfb4
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang fa1b0df
test: cover transitive collected clock members
austinywang 8c5d17a
Fix transitive project clock member detection
austinywang 2dfdf4e
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang 1290d6b
test: cover inherited and qualified project clocks
austinywang 2bcc4cd
Handle inherited and qualified project clocks
austinywang 97f856a
test: cover clock identity and lexical lookup
austinywang 3474ac3
Fix clock identity and lexical lookup
austinywang fa6a27f
test: cover standard clock shadows and access scope
austinywang 3ea293c
Resolve clock identity with Swift access scope
austinywang 2acc242
Simplify sleep determinism detection
austinywang 056e50b
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang 3cb53d6
test: cover direct sleep module boundaries
austinywang d61a6b5
Fix direct sleep module boundaries
austinywang 0b053c5
test: cover sleep interpolation boundaries
austinywang 082f0f8
Fix sleep API language and interpolation boundaries
austinywang 51e9322
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang 5d2143e
Avoid regex backtracking in sleep scan
austinywang d33b3ea
test: cover multiline and import sleep boundaries
austinywang 5682224
Handle multiline and imported sleep syntax
austinywang 17d68ab
test: cover multiline shell and Python shadows
austinywang 53fbf0a
Track multiline shell and Python shadow syntax
austinywang ec3753b
test: cover shell and Python binding fast paths
austinywang 9f4f2aa
Handle shell and Python binding fast paths
austinywang 6849c05
test: cover scoped Python sleeps and global timers
austinywang b8ef5e2
Restore scoped Python sleeps and global timers
austinywang 3d5f2d7
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang 8c4ed07
test: cover Python non-binding assignments
austinywang c3501af
Distinguish Python assignment targets
austinywang bf1a0d0
test: cover shell variables and Python nested scopes
austinywang c38f494
Handle shell variables and Python nested scopes
austinywang 0c6d29a
test: cover import suffixes and lambda ranges
austinywang 765ec21
Handle import suffixes and lambda ranges
austinywang bbd321a
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang e87737b
test: cover Python expression and alias ordering
austinywang d8097a8
Use Python AST for trusted sleep detection
austinywang f722121
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang efa8828
test: cover determinism review edge cases
austinywang 0487acc
Address determinism review edge cases
austinywang d91d085
test: cover Python statement and comprehension semantics
austinywang 455c912
Preserve Python AST statement semantics
austinywang 73a4e28
test: cover annotations heredocs and multiline Task sleeps
austinywang e047b50
Handle annotation heredoc and multiline sleep semantics
austinywang 21dec3e
test: cover annotation heredoc and JS line breaks
austinywang df7658d
Preserve annotation heredoc and JS call semantics
austinywang d68472e
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang 680fe72
test: cover determinism checker lexer edge cases
austinywang 72a2ebe
Fix determinism checker lexer edge cases
austinywang f46bbc3
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang 735d482
test: cover sleep token boundary edge cases
austinywang d3d2138
Handle Swift interpolation and sleep token boundaries
austinywang e4ac04e
test: cover shell and JavaScript parser boundaries
austinywang f7c6c7a
Harden shell and JavaScript syntax masking
austinywang baa46b7
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang 315f96e
test: cover multiline and lexical parser edges
austinywang f242cab
Fix multiline and lexical sleep detection
austinywang 3606c59
test: cover deferred scopes and mixed syntax
austinywang df92b7a
Isolate deferred scopes and complete syntax masking
austinywang e3ab12a
test: cover continuation and scope parser edges
austinywang e498c75
Handle continuation and assignment parser edges
austinywang 898fb7d
test: cover shell and binding parser boundaries
austinywang ada583c
Preserve lexical boundaries in determinism checks
austinywang e629dd2
test: cover expansion and Unicode parser edges
austinywang e3e8c77
Track shell expansions and Python source columns
austinywang 9525c99
test: cover composed shell grammar cases
austinywang 9487af1
Compose shell prefix and delimiter parsing
austinywang 2800831
test: cover deferred and continued command state
austinywang b429d03
Resolve deferred bindings and continued shell state
austinywang c53f9d7
test: cover logical command and branch boundaries
austinywang ebffc1c
Track logical commands and causal expressions
austinywang 9eb383e
test: cover executable token and break states
austinywang 6e011e7
Require executable assertions and precise break exits
austinywang 776bb7d
test: cover comment ordering and outer scope branches
austinywang 9cf737d
Order JavaScript masking and merge scope chains
austinywang ec14e3e
test: cover comment and shell argument ambiguity
austinywang 09ce026
Disambiguate comments and shell command boundaries
austinywang 792640e
test: cover nested case and late binding grammar
austinywang a1f4832
Handle nested case and late closure bindings
austinywang 35ce820
test: cover comment lines and shell grammar state
austinywang 3032535
Preserve executable lines and shell grammar state
austinywang 3d095b9
test: cover nested receivers and heredoc case grammar
austinywang d05ce90
Track executable assertions and nested shell grammar
austinywang cd7f2e0
test: cover AST ends and shell pattern continuations
austinywang e3b9206
Use AST call ends and shell case phases
austinywang 7501660
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang 1e1900c
Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue…
austinywang 3c46e38
test: clarify synthesized animation value
austinywang 3ee350a
test: cover determinism review regressions
austinywang a33af91
Fix determinism review regressions
austinywang 32d8efa
test: cover parse fallback shadowing
austinywang df4d64f
Keep determinism parsing on the validated Python
austinywang 97101df
test: cover direct standard clock sleeps
austinywang cb72789
Detect direct standard clock sleeps
austinywang 96f5541
test: cover deferred Python call ordering
austinywang 4d5fcfe
Resolve deferred Python bindings at direct calls
austinywang bb204a1
Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue…
austinywang ce83062
test: cover scoped clock binding order
austinywang 23d2687
Resolve scoped clocks at causal call sites
austinywang 49da76a
test: cover qualified clocks and star imports
austinywang 48c9aa1
Track qualified clocks and trusted star imports
austinywang 949d302
test: cover Swift member lookup scopes
austinywang 15fc667
Model Swift member and callable scopes
austinywang a55c85b
test: cover closure and compound-call shadows
austinywang 801c1ed
Preserve closure and compound binding scopes
austinywang e2fc41a
test: cover branch captures and shell polls
austinywang a795ef4
Merge branch and loop binding states
austinywang c3ebd49
test: cover timer aliases and mutable clocks
austinywang f26fe80
Resolve timer aliases and mutable clocks
austinywang 504da6d
test: cover mixed timer alias scopes
austinywang 964e47c
Resolve timer aliases per lexical scope
austinywang 3ddf9f9
test: cover namespace and ordered imports
austinywang 228216f
Track namespace timers and ordered imports
austinywang 05dec6e
test: cover method shadows and case polls
austinywang 8c9fd72
Respect case patterns and method shadows
austinywang b625a30
Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue…
austinywang 06755f1
Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue…
austinywang 01381e7
Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue…
austinywang 8af200e
test: wait for screenshot recovery condition
austinywang d8c473b
Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue…
austinywang 441c225
Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue…
austinywang 6e36ce7
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang 29d80e1
test: cover determinism checker scope boundaries
austinywang 1e75f7a
fix: preserve determinism checker scope identity
austinywang 3c3e119
test: cover resolver alias and conditional scopes
austinywang 800fdc4
fix: preserve resolver bindings across nested scopes
austinywang 4604e6c
Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue…
austinywang 9f1bd12
test: cover switch var and shell sleep scopes
austinywang 549dfc0
fix: preserve sleep shadow scopes
austinywang e1da2a3
test: cover remaining sleep scope boundaries
austinywang 4ce0c66
fix: respect nested sleep binding scopes
austinywang d4e84b0
test: cover deferred and expression sleep scopes
austinywang 04afcbe
fix: preserve deferred and expression sleep scopes
austinywang f19342f
test: cover remaining determinism binding edges
austinywang a9ce8ea
fix: preserve reachable determinism bindings
austinywang 168517b
test: cover timer import and wrapper binding edges
austinywang 35fd1a3
fix: classify timer imports and shell wrappers
austinywang 9b23367
test: cover terminating and pattern binding scopes
austinywang b955169
fix: preserve continuing and pattern scopes
austinywang 1ca58a6
test: cover match reachability and env wrappers
austinywang 62fc32d
fix: preserve match and wrapper bindings
austinywang 7bd783f
Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue…
austinywang c0b64bf
test: cover terminal loops and exhaustive matches
austinywang 1f86562
fix: handle terminal loops and exhaustive matches
austinywang 5abf4e6
test: cover exhaustive match pattern variants
austinywang 1270f95
test: cover terminal matches and try handlers
austinywang d20cbb8
fix: merge only continuing Python control flow
austinywang 87adf2f
Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue…
austinywang b3082cf
test: cover literal while reachability in determinism check
austinywang b24f814
fix: model catch and literal while reachability
austinywang 85f4835
test: cover determinism checker review gaps
austinywang d9ddeb9
Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue…
austinywang 6819750
test: cover shell conditional binding merges
austinywang 9093e0f
fix: preserve determinism checker control flow
austinywang b8a1052
test: cover reviewer determinism scope gaps
austinywang 22e9edf
fix: resolve timer bindings across lexical scopes
austinywang 6e6cc02
perf: bound determinism checker indexing
austinywang 978b0ed
Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue…
austinywang cb929a7
test: cover remaining timer binding gaps
austinywang 7966b9f
Merge branch 'main' of https://github.com/manaflow-ai/cmux into issue…
austinywang d9c375e
fix: resolve remaining timer binding gaps
austinywang 8729da1
test: cover destructured timer declarations
austinywang 0267d89
fix: share timer destructuring semantics
austinywang afc421e
Merge remote-tracking branch 'origin/main' into issue-8529-workflow-g…
austinywang File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
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
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
Oops, something went wrong.
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.
Uh oh!
There was an error while loading. Please reload this page.