Spec authoring tracking issue

[rossberg]

• Syntax

  • Heap types (Spec abstract syntax for GC types and instructions #373)
  • Type definitions (Validation of instructions (plus some infra and fixes) #377)
  • Instructions (Spec abstract syntax for GC types and instructions #373)
  • Change syntax of final attribute (Use open instead of final in the text format #413)

• Validation

  • Heap types (Spec type and module validation, subtyping, and module instantiation. #382)
  • Type definitions (Spec type and module validation, subtyping, and module instantiation. #382)
  • Instructions (Validation of instructions (plus some infra and fixes) #377)
  • Type equivalence (Spec type and module validation, subtyping, and module instantiation. #382)
  • Subtyping (Spec type and module validation, subtyping, and module instantiation. #382)
  • Relax global initialisation ordering (Spec sequential visibility for globals #420)
  • Relax br_on_cast (blocked on Can the rt2 <: rt1 constraint on br_on_cast* instructions be relaxed? #381)

• Execution

  • Instructions, formal (Spec execution, part 1 #374)
  • Instructions, prose (Prose for basic struct/array instructions #393)
  • Instantiation (Spec type and module validation, subtyping, and module instantiation. #382)
  • Perform type unrolling (Extend soundness appendix #406)
  • Relax global initialisation ordering (Spec sequential visibility for globals #420)

• Binary format

  • Heap types (Spec binary format #383)
  • Type definitions (Spec binary format #383)
  • Instructions (Spec binary format #383)
  • Opcode reordering (Final opcodes #372)

• Text format

  • Heap types (Spec text format #385)
  • Type definitions (Spec text format #385)
  • Instructions (Spec text format #385)
  • Dependent field indices (Spec text format #385)

• Appendices

  • Embedder interface
  • Algorithm (Extend validation algorithm appendix #390)
  • Properties (Extend soundness appendix #406)
  • Store wf should exclude impossible cycles (Extend soundness appendix #406, cf. Hosts should be disallowed from creating impossible data #332)
  • Extended name section (Extends Name Section w/ Type & Field #415)
  • Changes (Add Changes section for GC #388)
  • Implementation limitations (List possible implementation limits #438)

• Indices

  • Type opcodes (Extend type/instr/rule indices #389)
  • Instruction opcodes (Extend type/instr/rule indices #389)
  • Rules (Extend type/instr/rule indices #389)
  • Opcode reordering (Final opcodes #372)

• JS API

  • Tweak handling of externtype conversions (Update JS API #379)

• Bulk array instructions

  • Syntax (Spec syntax, text, binary, and execution for bulk array ops #387)
  • Validation (Bulk array validation #401)
  • Execution (Spec syntax, text, binary, and execution for bulk array ops #387)
  • Execution, prose (Execution prose for bulk array operations #408)
  • Binary format (Spec syntax, text, binary, and execution for bulk array ops #387)
  • Text format (Spec syntax, text, binary, and execution for bulk array ops #387)
  • Changes (Add Changes section for GC #388)
  • Indices (Extend type/instr/rule indices #389)
  • Todo about handling packed fields correctly with array.copy (Update array.copy semantics to handle packed types #416)