Proofread Anise documentation

docs/anise/explanation/index.md

@@ -7,6 +7,5 @@ This section delves into the design of ANISE, its architecture, and the core con
 - **[Almanac and Context](almanac-and-context.md)**: Understanding the data-driven design and thread safety.
 - **[Frame Safety](frame-safety.md)**: How ANISE prevents coordinate system errors.
 - **[Analysis Engine](analysis.md)**: Declarative queries and superlinear event finding.
-- **[Time](time.md)**: The importance of high-precision timekeeping.
-- **[Validation](validation.md)**: How we ensure accuracy against SPICE.nanosecond precision without rounding errors.
+- **[Time](time.md)**: The importance of high-precision timekeeping, achieving nanosecond precision without rounding errors.
 - **[Validation](validation.md)**: How we ensure ANISE matches (or exceeds) the accuracy of the SPICE toolkit.

docs/anise/explanation/time.md

@@ -22,4 +22,4 @@ ANISE re-exports Hifitime as-is for convenience to avoid adding a package to you
     use anise::time::*;
     ```
 
-_Note:_ In Python, you must use the ex-exports instead of the Hifitime classes imported from the `hifitime` package because the Python interpreter does not know that both classes are in fact identical.
+_Note:_ In Python, you must use the re-exports instead of the Hifitime classes imported from the `hifitime` package because the Python interpreter does not know that both classes are in fact identical.

docs/anise/explanation/validation.md

@@ -2,4 +2,4 @@
 
 ANISE undergoes a rigorous validation process, meticulously detailed in the Validation step linked above. This comprehensive workflow involves running parallel queries in both ANISE and SPICE (in single-threaded test mode using the `rust-spice` crate by Grégoire Henry) for precise comparison.
 
-Specifically, it includes the validation of 101,000 BSP queries against the DE440.BSP file. Additionally, we validate 7,305 queries for each frame in the PCK08 file, covering every day across a span of 20 years. This is complemented by an extensive series of rotations from the Earth's high-precision BPC file. This thorough and detailed validation process ensures that ANISE meets the highest standards of accuracy and reliability as expected by high profile missions.
+Specifically, it includes the validation of 101,000 BSP queries against the DE440.BSP file. Additionally, we validate 7,305 queries for each frame in the PCK08 file, covering every day across a span of 20 years. This is complemented by an extensive series of rotations from the Earth's high-precision BPC file. This thorough and detailed validation process ensures that ANISE meets the highest standards of accuracy and reliability as expected by high-profile missions.

docs/anise/reference/analysis-api.md

@@ -40,7 +40,7 @@ A dictionary (or map) where keys are Epochs and values are maps of `{ "Alias": V
 
     # Add optional aliases (Tuple of (Scalar, Alias))
     scalars_with_aliases = [(s, None) for s in scalars]
-    
+
     # Build the final report object
     report = analysis.ReportScalars(scalars_with_aliases, state)
 
@@ -117,11 +117,6 @@ A list of `EventArc` objects, each containing:
     )
 ```
 
-**Returns:**
-A list of `EventArc` objects, each containing:
-- `start`: The `EventDetails` of the start (Rising edge).
-- `end`: The `EventDetails` of the end (Falling edge).
-
 ## Common Expressions
 
 ### Vector Expressions

docs/anise/reference/orbit.md

@@ -30,7 +30,7 @@ Defines a state relative to a body's surface. Useful for ground stations.
 
 ### `transform_to`
 `almanac.transform_to(orbit, target_frame, aberration)`
-Returns a new `Orbit` expressed in the `target_frame`. This accounts for sowohl translation as well as rotation of the frames.
+Returns a new `Orbit` expressed in the `target_frame`. This accounts for both translation as well as rotation of the frames.
 
 ### Orbital Elements
 You can extract orbital elements from an `Orbit` object: