Prompt Contracts – A formal framework for Context Engineering | Heykuki News