Function hardwarePresence

The presence of an entity from the two independent facts. undefined for undeclared AND absent: nothing declares it and nothing reports it, so there is no entity to describe.

Overloaded on a literal declared: true: a caller that already knows the entity is declared (a registry row, which exists by construction) gets back 'ready' | 'absent' with no undefined to narrow away — the caller cannot be in the undeclared branch, so the type should not make it prove that at every call site.

The presence of an entity from the two independent facts. undefined for undeclared AND absent: nothing declares it and nothing reports it, so there is no entity to describe.

Overloaded on a literal declared: true: a caller that already knows the entity is declared (a registry row, which exists by construction) gets back 'ready' | 'absent' with no undefined to narrow away — the caller cannot be in the undeclared branch, so the type should not make it prove that at every call site.