Resolve "Bug: check constraints semantically"

Merge fixes some library errors and missing documentation in the endpoints

added Bug priority::3 status::Doing labels

mentioned in commit 9ed9ddc2

merged