asmhatreandClaude Sonnet 5.5
8fc8bc934f
Co-Authored-By: Claude Sonnet 5.5 <[email protected]> Claude-Session: https://claude.ai/code/session_01Cfo2K4u4rF18QsPXPFnytf
5 lines
226 B
Plaintext
5 lines
226 B
Plaintext
before scope : id starts with ORD- : true
|
|
inside scope : place("alice") = ORD-FIXED@alice
|
|
inside scope : unstubbed Ids.nowMillis() = 0 (default answer, not the clock)
|
|
after scope : id starts with ORD- and is not FIXED : true
|