Framework source verification (2026-10-27)

This page documents the provided ese774_frame source snapshot, not a claim of successful network or hardware testing. The ten inspected modules are preserved under source_reference/ese774_frame/ for traceability.

Verified dispatch contract

FastApiServer creates the device inside the FastAPI lifespan, then constructs the router and registers its routes. With api_spec=None, it selects router_cls if supplied, otherwise DeviceRouter. With a non-None api_spec, a router_cls is mandatory. The default Dobot configuration uses the automatic mode.

DeviceRouter provides POST /instance/{object_name}/__dispatch__, GET /instance/{object_name}/__meta__, GET /instance/{object_name}/__property__/{property_name}, and PUT /instance/{object_name}/__property__/{property_name}. Automatic mode also registers a per-method GET/POST route. The dispatch payload accepts only method, args, and kwargs; extra keys yield HTTP 422 and a missing method yields HTTP 400. In automatic mode, custom router overrides take precedence over public device members. Private members and names in dispatch_exclude are excluded from dynamic lookup.

The dispatch handler awaits coroutine functions and directly invokes synchronous functions. Thus a long-running synchronous device call may block the request handler; this source alone does not establish nonblocking execution or safe concurrent robot commands. Exceptions other than explicit HTTP exceptions are mapped to HTTP 500. On shutdown, disconnect() is invoked if callable. Do not equate HTTP request completion with completed robot motion.

DeviceProxy uses an explicit registry. It chooses the registered async/sync client, falling back to framework clients when the corresponding class is absent. async_mode=None uses the registration’s default_async_mode (default True); aliases are registered separately.

Source inventory

Module	Classes	Function definitions (including methods)
api_server.py	FastApiServer	3
adapter.py	_BytesJsonEncoder	17
device_router.py	DeviceRouter	21
make_pyi_device_router.py	—	2
api_spec.py	ApiSpec	4
sync_device_client.py	SyncDeviceClient	22
make_pyi_device_proxy.py	—	2
make_pyi_device_client.py	—	15
device_proxy.py	DeviceProxyEntry	8
async_device_client.py	AsyncDeviceClient	19

Validation boundary

Python AST parsing and documentation-link checks can validate structure, not server startup, serialization round trips, network transport, motion completion, or safety behavior. The Python modules in source_reference/ are reference copies, not replacements for the installed package.