Skip to content

Latest commit

 

History

History
7 lines (6 loc) · 296 Bytes

File metadata and controls

7 lines (6 loc) · 296 Bytes

ContractEmitter Responsibilities

  • Emit backend contracts from lowered forms
  • Declare family identity and assumptions explicitly
  • Declare consumable units and preserved obligations
  • Preserve attribution and unsupported-feature information
  • Avoid hidden assumptions and semantic laundering