WIP - #131

Draft

benh wants to merge 31 commits into

riley/reboot-inspectfrom

caller-static-analysis-2

Commits on Aug 13, 2026

Make `is Any` annotation checks legal under `strict_equality`

rileysdev
and
claude
committed
719e837
Allow all methods, not just MCP methods, to have a description

rileysdev
and
claude
committed
ccccb71
Add a dev-mode companion application that serves a dashboard

rileysdev
and
claude
committed
8861607
Allow a state type to have a description

rileysdev
and
claude
committed
62dbe40
Give the manylinux builder a Python that ships `libpython`

rileysdev
and
claude
committed
2d349ce

Commits on Aug 17, 2026

Take the dashboard's API directory from the `.rbtrc`

benh
and
claude
committed
f318226
Add `cooperatively`, for work that never waits

benh
and
claude
committed
9af6c77
Work out where each state type is implemented

benh
and
claude
committed
f2cfb37
Parse again only the files that changed

benh
and
claude
committed
2fc04d4
Record the methods each servicer defines

benh
and
claude
committed
98150b8
Track what a method's names hold

benh
and
claude
committed
4491991

Commits on Aug 19, 2026

Resolve a name through what a file's names refer to

benh
and
claude
committed
5e430df
Follow a re-export to the state type it refers to

benh
and
claude
committed
55c7e2d
Resolve a state type aliased at top level

benh
and
claude
committed
31f40f6
Resolve a state type reached through a module alias

benh
and
claude
committed
83f4c52
Resolve a state type reached through an imported submodule

benh
and
claude
committed
be811b3
Resolve state types through relative imports

benh
and
claude
committed
88e7eba
Resolve a state type that was star imported

benh
and
claude
committed
9a4d89e
Resolve state types re-exported by installed packages

benh
and
claude
committed
2812187
Read and stat files off the event loop

benh
and
claude
committed
9445bd6
Say why a save during an iteration is never missed

benh
and
claude
committed
473bad0
Record the calls a method makes through a reference

benh
and
claude
committed
ab8b4f3
See through the modifiers that change nothing

benh
and
claude
committed
b3e54ed
Record a scheduled or spawned call as such

benh
and
claude
committed
d8edb0a
Record a constructor

benh
and
claude
committed
ebb846e
Record a call on every state `forall` reaches

benh
and
claude
committed
c52c8df
Record a workflow's reads and writes

benh
and
claude
committed
09aaad9
Record what a method does that the analysis could not follow

benh
and
claude
committed
28e2c36
Follow a helper handed the context

benh
and
claude
committed
801ec5c
Follow a helper for what it returns

benh
and
claude
committed
3bf7daa
Set aside the calls that only look like Reboot calls

benh
and
claude
committed
27e1651