For an -truncated target, the witness functor is -limit-initial when the relevant comma spaces are -connective. This is a standard, diagram-independent sufficient condition ensuring that restriction preserves the required limits.
Firewall. Truncated limit-initiality is not the definition of witness completeness. It is a strong uniform certificate. A particular diagram may reconstruct even when the witness functor fails this universal test.