Core spec authoring checklist

[tlively]

• Syntax
  • Exact heap types ([spec] Define the syntax of exact heap types #93)
  • Descriptor types ([spec] Syntax for descriptor types #99)
  • Exact function externtypes (Exact func externtypes types #102)
  • Instructions
    • struct.new_desc and struct.new_default_desc (Syntax and validation for struct.new_desc #101)
    • ref.get_desc (Syntax and validation for ref.get_desc #104)
    • ref.cast_desc_eq, br_on_cast_desc_eq, and br_on_cast_desc_eq_fail (Syntax and validation for descriptor casts #105)
• Validation
  • Exact heap types ok and subtyping ([spec] Validation for exact heap types #97)
  • Descriptor types ok and subtyping
  • Exact function externtypes ok and subtyping (Exact func externtypes types #102)
  • Instructions
    • Relaxed br_on_cast and br_on_cast_fail([spec] Update br_on_cast validation #92)
    • Restrict struct.new and struct.new_default to types without descriptors (Syntax and validation for struct.new_desc #101)
    • Make allocation instruction results exact (Make allocation instructions exact #103)
    • struct.new_desc and struct.new_default_desc, including as constant expressions (Syntax and validation for struct.new_desc #101)
    • ref.get_desc (Syntax and validation for ref.get_desc #104)
    • ref.cast_desc_eq, br_on_cast_desc_eq, and br_on_cast_desc_eq_fail (Syntax and validation for descriptor casts #105)
• Execution
  • Descriptors in struct instances
  • Function instances valid with exact externtypes
  • Instructions
    • struct.new_desc and struct.new_default_desc
    • ref.get_desc
    • ref.cast_desc_eq, br_on_cast_desc_eq, and br_on_cast_desc_eq_fail
• Binary format (Spectec for binary format of types and instructions #108)
  • Exact heap types
  • Descriptor types
  • Exact function externtypes (Exact func externtypes types #102)
  • Instructions
    • struct.new_desc and struct.new_default_desc
    • ref.get_desc
    • ref.cast_desc_eq, br_on_cast_desc_eq, and br_on_cast_desc_eq_fail
• Text format
  • Exact heap types
  • Descriptor types
  • Exact function externtypes (Exact func externtypes types #102)
  • Instructions
    • struct.new_desc and struct.new_default_desc
    • ref.get_desc
    • ref.cast_desc_eq, br_on_cast_desc_eq, and br_on_cast_desc_eq_fail
• Appendix
  • Exactness type variables for principal types
  • Validation algorithm
  • Change history
• Indices
  • Types
  • Instructions
  • Semantic rules
  • Index ("exact", "desctype", "descriptor")

[tlively]

@rossberg, anything else you can think of?

[rossberg]

Looks pretty exhaustive.