Write Product Spec

Write a host-neutral PRODUCT.md for a substantial feature and keep explicit placeholder comments at HOST_SPEC_ROOT and HOST_TASK_SYSTEM for task ids and design evidence. Do not invoke if either binding is unbound.