Probably not and why would it need such constraint?

Not even humans can do that. Documentation needs to at least be reverse-engineered and understood before implementation.

Because these are the major types of problems that pmOS solves?