diff --git a/TODO.md b/TODO.md index 59425af..eb604a9 100644 --- a/TODO.md +++ b/TODO.md @@ -4,4 +4,6 @@ - writing a value does two things 1. establishes a fungible "init" phase (where we can take advantage of accumulator sharing) 2. allows read-leases for some known scope +- shared initialization can happen with constants but can also be shared with read side effects + - is the spec for reading from a register descriable as data? e.g. are these two requests semantically equal vs independent side-effects - but what then is a write lease and how is it finite?