Adjust Conformity section

Author: Veykril

src/general.rst

@@ -196,45 +196,31 @@ Conformity
 :dp:`fls_kdyqtnc6loam`
 A conforming tool shall:
 
-* :dp:`fls_ctwsz8sl7lbq`
-  Translate and correctly execute legal programs written in Rust, provided that
-  they are not so large as to exceed the capacity of the tool,
+* :dp:`fls_dBKu9jgx3OyH`
+  Correctly translate legal programs written in Rust,
 
-* :dp:`fls_bvpekhdaxctq`
-  Identify all programs or program units that are so large as to exceed the
-  capacity of the tool (or raise an appropriate exception at run time),
+* :dp:`fls_faRvWyJJpno8`
+  Reject programs that exceed the tool's implementation capacity,
 
-* :dp:`fls_kfs8gsd36d91`
-  Identify all programs or program units that contain errors whose detection is
-  required by this document,
-
-* :dp:`fls_k5sozk8jhrmg`
-  Supply all language-defined library units required by this document,
-
-* :dp:`fls_nwx1fdq6b4mg`
-  Contain no variations except those explicitly permitted by this document, or
-  those that are impossible or impractical to avoid given the tool's execution
-  environment,
-
-* :dp:`fls_n3ypaile1a36`
-  Specify all such variations in the manner prescribed by this document.
+* :dp:`fls_GZmxrO61eiJ1`
+  Reject programs that contain errors whose detection is required by this document,
 
 :dp:`fls_nnmx2qsu14ft`
 The external effect of the execution of a Rust program is defined in terms of
 its interactions with its external environment. The following are defined as
 external interactions:
 
 * :dp:`fls_gu3331rmv2ho`
-  Any call on an foreign :t:`function`, including any :t:`[argument operand]s`
-  passed to it;
+  Any call to an :t:`external function`,
+
+* :dp:`fls_gu3331rmv2ho`
+  Any interaction with an :t:`external static`,
 
-* :dp:`fls_3iekobt8qqi`
-  Any result returned or :t:`panic` propagated from a :t:`program entry point`
-  or an :t:`exported function` to an external caller;
+* :dp:`fls_xAYhvEh7WWel`
+  Any result returned from a :t:`program entry point`,
 
-* :dp:`fls_qx9fxf4py0j0`
-  The imported and exported :t:`[value]s` at the time of any other interaction
-  with the external environment.
+* :dp:`fls_QvFpU8v5p8Hb`
+  Any result returned returned from an :t:`exported function` to an external caller.
 
 :dp:`fls_pl0fyjcwslqm`
 A tool that conforms to this document shall produce for the execution of a given
@@ -261,7 +247,7 @@ The form of a Rust program is described by means of a context-free syntax
 together with context-dependent requirements expressed by narrative rules.
 
 :dp:`fls_ioyp4wux6skt`
-The meaning of a Rust program is described by means of narrative rules defining
+The semantic meaning of a Rust program is described by means of narrative rules defining
 both the effects of each construct and the composition rules for constructs.
 
 :dp:`fls_jsflt7691ye4`