Correct nullable-object required-path inference for buyer-owned output contracts. Nested fields inside nullable branches are no longer promoted to unconditional requirements; exact digest-bound JSON Schema validation still enforces the selected runtime branch. Supports JSON Schema object-or-null and OpenAPI nullable object forms, with root and nested regression coverage.