Spec authoring tracking issue

[rossberg]

• [x] Syntax

  • [X] Heap types (#373)
  • [x] Type definitions (#377)
  • [X] Instructions (#373)
  • [ ] Change syntax of final attribute (#413)

• [x] Validation

  • [x] Heap types (#382)
  • [x] Type definitions (#382)
  • [x] Instructions (#377)
  • [x] Type equivalence (#382)
  • [x] Subtyping (#382)
  • [x] Relax global initialisation ordering (#420)
  • ~Relax br_on_cast (blocked on #381)~

• [x] Execution

  • [x] Instructions, formal (#374)
  • [x] Instructions, prose (#393)
  • [x] Instantiation (#382)
  • [x] Perform type unrolling (#406)
  • [x] Relax global initialisation ordering (#420)

• [x] Binary format

  • [x] Heap types (#383)
  • [x] Type definitions (#383)
  • [x] Instructions (#383)
  • [x] Opcode reordering (#372)

• [x] Text format

  • [x] Heap types (#385)
  • [x] Type definitions (#385)
  • [x] Instructions (#385)
  • [x] Dependent field indices (#385)

• [x] Appendices

  • [x] Embedder interface
  • [x] Algorithm (#390)
  • [x] Properties (#406)
  • [x] Store wf should exclude impossible cycles (#406, cf. #332)
  • [x] Extended name section (#415)
  • [x] Changes (#388)
  • [x] Implementation limitations (#438)

• [x] Indices

  • [x] Type opcodes (#389)
  • [x] Instruction opcodes (#389)
  • [x] Rules (#389)
  • [x] Opcode reordering (#372)

• [x] JS API

  • [x] Tweak handling of externtype conversions (#379)

• [x] Bulk array instructions

  • [x] Syntax (#387)
  • [x] Validation (#401)
  • [x] Execution (#387)
  • [x] Execution, prose (#408)
  • [x] Binary format (#387)
  • [x] Text format (#387)
  • [x] Changes (#388)
  • [x] Indices (#389)
  • [x] Todo about handling packed fields correctly with array.copy (#416)