-
Key: KERML-3
-
Status: closed
-
Source: NIST ( Mr. Conrad Bock)
-
Summary:
Read only features (Feature::isReadOnly=true) are described as
Values of read only features on each instance of their domain are the same during the entire existence of that instance
but this semantics is not model/mathed and depends on Kernel for instances existing in time.
-
Reported: KerML 1.0a1 — Thu, 13 Apr 2023 20:02 GMT
-
Disposition: Deferred — KerML 1.0b2
-
Disposition Summary:
Defer
The FTF considers this issue to have merit, but, due to lack of time, is deferring it to a future FTF or RTF.
-
Updated: Tue, 1 Jul 2025 15:00 GMT