Static call analysis - #130

Draft

benh wants to merge 14 commits into

riley/reboot-inspectfrom

caller-static-analysis

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 15, 2026

Find the Reboot calls a method makes, by reading its source

benh
and
claude
committed
a1dce8e
Follow the functions a method passes its context to

benh
and
claude
committed
4949081
Resolve a state class however the developer imported it

benh
and
claude
committed
26f802e
Analyze again only the methods whose code has changed

benh
and
claude
committed
bf36fe2
Read a directory of servicers off disk

benh
and
claude
committed
a72dbcb
Teach `rbt dashboard` where the developer's servicers are

benh
and
claude
committed
9964b8b
Publish what each method calls, as the source changes

benh
and
claude
committed
300793d
Show what each method calls on the dashboard

benh
and
claude
committed
a6d56ca
Keep the analysis across a dashboard restart

benh
and
claude
committed
02c27d4