Some minor issues in the Spec found by AI

[gkurzbach]

1. Tense error – Appendix D: "This appendix described the history" → describes
2. Doubled word – §18.5.2.1: "among the plots in the the same Figure annotation" → one the
3. Doubled word – §18.5.2.7: "This is due to to the current inability" → one to
4. Annotation renumbering error – §18.6 and §18.7: Annotations 18.1–18.4 are already used in §18.5 (info, revisions, styleSheets, figures); §18.6 re-opens at Annotation 18.1 Evaluate and §18.7 re-opens at Annotation 18.2 experiment … 18.4 TestCase — all should be renumbered continuing from 18.5 (likely caused by insertion of styleSheets annotation Add stylesheet. #3409 which shifted the sequence without updating §18.6/18.7)
5. Typo – §16.5.1 (subSample): "every factor-th activativation" → activativation should be activation
6. Wrong value in example – §16.3 (Real interval clock): comment says "ticks at 0, 0.003, 0.007, …" but with start=0.002 and interval=1e-3 the second tick is 0.002, not 0.003 — copy-pasted from the Rational interval clock example
7. Imprecise cross-reference – §16.4 Operator 16.4 (Event clock): text refers reader to §16.9 for interval() at first tick, but the relevant content is in §16.10
8. Typo ×2 – §18.9.1.2 (Graphical Properties): "The interaction attribue specifies ineractive features" → attribue → attribute; ineractive → interactive
9. Copy-paste error – §18.9 Diagram annotation description: "The Diagram annotation defines the icon view of the class" → should be diagram view
10. Typo – §12.9.1.3: "annnotations" (three ns) → annotations
11. Wrong member name in example – §12.9.1.3: C struct generated from record R with members a1, a2 shows a1, b2 in the C struct — b2 should be a2 (no CName annotation justifies the rename; likely a copy-paste error)
12. §4.8 Balanced Models: connector class exemption from balancing (Describe a new concept "simple connector" that is not balanced. #3356) not clearly stated in normative text (only appears in a note); should be elevated

[HansOlsson]

1. Tense error – Appendix D: "This appendix described the history" → describes

Possibly, but I believe the tense was chosen for a reason, and for the future we might perform an "appendectomy" instead.

Basically appendix D described the history up to 3.6 (see https://specification.modelica.org/maint/3.6/modelica-revision-history.html ) - but it is now only left as a placeholder in the specification; so I think removing it might be simpler.

The rest seem valid issues that should be improved.

2. Doubled word – §18.5.2.1: "among the plots in the the same Figure annotation" → one the
3. Doubled word – §18.5.2.7: "This is due to to the current inability" → one to
4. Annotation renumbering error – §18.6 and §18.7: Annotations 18.1–18.4 are already used in §18.5 (info, revisions, styleSheets, figures); §18.6 re-opens at Annotation 18.1 Evaluate and §18.7 re-opens at Annotation 18.2 experiment … 18.4 TestCase — all should be renumbered continuing from 18.5 (likely caused by insertion of styleSheets annotation Add stylesheet. #3409 which shifted the sequence without updating §18.6/18.7)

There's also a similar issue in https://specification.modelica.org/maint/3.7/annotations.html#protection-of-classes

I don't know why they use code like \begin{annotationdefinition*}[access]\label{modelica:Protection.access}\annotationindex{access} (and variants) instead of the simpler \begin{annotationdefinition}[Evaluate].

Assumedly it is due to some specific issue, but it seems a better solution is needed as we want automatic numbering.
A guess is that it is related to different names for label and annotation - if so having an optional second argument would be better (even manually introducing the label every time would "work").

6. Typo – §16.5.1 (subSample): "every factor-th activativation" → activativation should be activation
7. Wrong value in example – §16.3 (Real interval clock): comment says "ticks at 0, 0.003, 0.007, …" but with start=0.002 and interval=1e-3 the second tick is 0.002, not 0.003 — copy-pasted from the Rational interval clock example
8. Imprecise cross-reference – §16.4 Operator 16.4 (Event clock): text refers reader to §16.9 for interval() at first tick, but the relevant content is in §16.10
9. Typo ×2 – §18.9.1.2 (Graphical Properties): "The interaction attribue specifies ineractive features" → attribue → attribute; ineractive → interactive
10. Copy-paste error – §18.9 Diagram annotation description: "The Diagram annotation defines the icon view of the class" → should be diagram view
11. Typo – §12.9.1.3: "annnotations" (three ns) → annotations
12. Wrong member name in example – §12.9.1.3: C struct generated from record R with members a1, a2 shows a1, b2 in the C struct — b2 should be a2 (no CName annotation justifies the rename; likely a copy-paste error)
13. §4.8 Balanced Models: connector class exemption from balancing (Describe a new concept "simple connector" that is not balanced. #3356) not clearly stated in normative text (only appears in a note); should be elevated

[HansOlsson]

Regarding "appendix D": On the other hand if we don't remove the appendix one can argue that it doesn't matter what it used to contain. In that case I would propose to remove the first two sentences of that appendix, and change the next one to "The current version of this document, as well as all pre..."

[HansOlsson]

Regarding

8. Imprecise cross-reference – §16.4 Operator 16.4 (Event clock): text refers reader to §16.9 for interval() at first tick, but the relevant content is in §16.10

I agree that the cross-reference isn't clear, but I'm not sure that 16.10 would be better.

It could be that intent is to describe that since there's no advanced initialization the variables starts with the value from the start-attribute and that's the value used before the first tick, and if so the 16.9 reference is correct - but one shouldn't have to write this much to explain a cross-reference.

[HansOlsson]

13. §4.8 Balanced Models: connector class exemption from balancing ...

I'm not sure exactly which part this refers to, and would need more detailed pointers. The main description for connector balancing and simple connector is in https://specification.modelica.org/master/connectors-and-connections.html#balancing-restriction-and-size-of-connectors
and is normative even for simple connectors, as far as I can see. (The balanced model description in 4.8 is for models and blocks.)

[HansOlsson]

7. Wrong value in example – §16.3 (Real interval clock): comment says "ticks at 0, 0.003, 0.007, …" but with start=0.002 and interval=1e-3 the second tick is 0.002, not 0.003 — copy-pasted from the Rational interval clock example

The idea with #3754 (a breaking change) is that Rational and Real clocks should work similarly, so I don't see the issue here.

[HansOlsson]

I believe that #3910 closed the simple cases. The rest need more discussion, even if we decide to not update anything in the short time frame.

The only one that wasn't included in the PR and it is fairly clear what to do is 4. Annotation numbering, but it requires a bit more work.