Actual specification

[benjamingr]

It would be great if you could add the actual proposed changes to the ES spec here so they can be discussed in context.

[erights]

@benjamingr I agree but am not sure how to proceed. It fits into the spec in a different way than other specs we would have used as examples. Adding @bterlson , @allenwb .

How should we go about this? Where would we start?

[erights]

I think the first question is how to populate the proto-ses realm with all the contents of the main spec mandatory primordials, but in a transitively frozen state, by a blanket statement instead of repeating them all. This would be a statement like "except where stated otherwise..." Once we have spec text populating the bulk of the ses realm in this way, then I imagine it would be straightforward to state the few "otherwise" cases -- Date and Math.

With the existence of those to refer to, then the three elements of our API could be specified operationally in the normal manner. Does this sound like a good plan?

[allenwb]

@erights Why don't you use as a model the parts of Annex B that modify the semantics of material in the main body of the spec.

For example, you could (indirectly) add a statement to Clause 17 that provides the SES variations

[caridy]

@benjamingr I will work on the basics to have the spec text in this repo as part of the proposal.

[bterlson]

Gah, coming a month late to say sorry I missed the ping above :(

[caridy]

Preliminary infrastructure for the spec text is now in place, more details here: https://github.com/FUDCo/frozen-realms#spec-text

Should we close this issue now and open other issues when specific spec details need to be discussed?

[erights]

@caridy

Should we close this issue now and open other issues when specific spec details need to be discussed?

Yes, thanks. This is a good idea. Closing.