v0.1.5 declares IO.Mut. v0.1.0 did not. Declaring is the event recorded here — whether the capability was newly exercised is a separate claim the registry cannot make.
Where it is declared
lib/debug_log.march:5Declared nothing in the previous version
2
3 needs IO.FileRead
4 needs IO.FileWrite
5 needs IO.Mut
6 needs IO.Process
7
8 -- debug_log.march — Lightweight append-only log for debugging scroll sessions.
lib/runtime.march:38Declared nothing in the previous version
35
36 needs IO.FileRead
37 needs IO.FileWrite
38 needs IO.Mut
39 needs IO.Process
40
41import Shell
lib/scroll.march:20Declared nothing in the previous version
17 needs IO.Console
18 needs IO.FileRead
19 needs IO.FileWrite
20 needs IO.Mut
21 needs IO.NetListen
22 needs IO.Process
23 needs IO.WebSocket
lib/session.march:5Declared nothing in the previous version
2
3 needs IO.FileRead
4 needs IO.FileWrite
5 needs IO.Mut
6 needs IO.Process
7 needs IO.WebSocket
8