Editing and style improvements (#371)

* Editing and style improvements

* Update 2025-05-19-weekly-progress-summary.md

* Update monthly-reviews.md

* Update index.tsx

---------

Co-authored-by: William <[email protected]>

Author: olgahryniuk

site/docs/development/monthly-reviews.md

@@ -2,35 +2,35 @@
 sidebar_position: 6
 ---
 
-# Monthly Review Videos
+# Monthly review videos
 
-Every last Wednesday of the month, the Leios team hosts a public review meeting to share progress, foster transparency, and invite early feedback from everyone—builders, curious community members, and innovation teams who may overlap with Leios in the future. 
+Every last Wednesday of the month, the Leios team hosts a public review meeting to share progress, foster transparency, and invite early feedback from everyone – builders, curious community members, and innovation teams who may overlap with Leios in the future. 
 
-These sessions cover the latest updates from each workstream, followed by an open Q&A where anyone can ask questions about Leios. Our goal is to keep the community informed and engaged as the project evolves.
+These sessions cover the latest updates from each workstream, followed by an open Q&A where anyone can ask questions about Leios. The goal is to keep the community informed and engaged as the project evolves.
 
 **Workstreams covered in each review:**
 - Research
-- Formal specification & conformance testing
+- Formal specification and conformance testing
 - Delta QSD
-- Simulations (Rust & Haskell)
-- General analysis (economical, technical, performance, etc.)
+- Rust and Haskell simulations 
+- General analysis (economical, technical, performance, etc).
 
-Stay up to date with the latest progress and discussions! Below you'll find links to our monthly review videos, summarizing key milestones, research updates, and community Q&A.
+Stay up to date with the latest progress and discussions! Below, you'll find links to Leios' monthly review videos, which summarize key milestones, research updates, and community Q&A.
 
 :::info
-Until the end of 2024, our monthly review meetings were recorded via Google Meet and shared as links. Starting in 2025, we began live streaming these sessions on [YouTube](https://www.youtube.com/playlist?list=PLnPTB0CuBOBzWWpnojAK3ZaFy9RdofP6l) for greater accessibility and transparency. For some months, due to technical issues (e.g., screen sharing or audio problems), we may provide a fallback Google Meet recording instead of the YouTube stream.
+Until the end of 2024, Leios monthly review meetings were recorded using Google Meet and shared via links. Beginning in 2025, these sessions have been live streamed on [YouTube](https://www.youtube.com/playlist?list=PLnPTB0CuBOBzWWpnojAK3ZaFy9RdofP6l) to improve accessibility and transparency. In some months, due to technical issues (such as screen sharing or audio problems), a fallback Google Meet recording may be provided instead of the YouTube stream.
 :::
 
-## 2025 (YouTube & Google Meet Recordings)
+## 2025 (YouTube and Google Meet recordings)
 
 - **May 2025:** [YouTube](https://www.youtube.com/watch?v=wXqKpQT2H3Y&list=PLnPTB0CuBOBzWWpnojAK3ZaFy9RdofP6l&index=1) | [Google Meet](https://drive.google.com/file/d/1PEflCWO6loG9iaQaITgwmMX5LSkUV27c/view?usp=sharing) | [Slides](https://docs.google.com/presentation/d/1QNlCG33G6uC86sv4pWWMvxsqwNwXxx9-yjCPqEabpbo/edit?usp=sharing) | [Summary](https://docs.google.com/document/d/1Q0E2R14Mxsg46bwdlopq_1GobFJrZAGoh2Ukj2BtW9s/edit?usp=sharing)
 - **April 2025:** [YouTube](https://www.youtube.com/watch?v=-jddya2E2NA&list=PLnPTB0CuBOBzWWpnojAK3ZaFy9RdofP6l&index=2) | [Google Meet](https://drive.google.com/file/d/1OufvQSHLhC2VHmVr-RLplb6hkdEyfPLi/view?usp=sharing) | [Slides](https://docs.google.com/presentation/d/1pWNLCtYtNVHvKPttUXgXuSXSXmrBp5YqvexPVcTXfQk/edit?usp=sharing)
 - **March 2025:** [YouTube](https://www.youtube.com/watch?v=7K6qXiVsMXg&list=PLnPTB0CuBOBzWWpnojAK3ZaFy9RdofP6l&index=3) | [Google Meet](https://drive.google.com/file/d/1aCM-RJql7nX1MpMOG3pO9A-qTkpivzIT/view?usp=sharing) | [Slides](https://docs.google.com/presentation/d/1C99KT5wOR-Gq7lKXgD8MHDms4tmQH5nZIhOZbc4_5wg/edit?usp=sharing)
 - **February 2025:** [YouTube](https://www.youtube.com/watch?v=7Ze9iVs-bI4&list=PLnPTB0CuBOBzWWpnojAK3ZaFy9RdofP6l&index=4) | [Google Meet](https://drive.google.com/file/d/17f5OtHEsKuUPRdbwQn9wJtdffBiPbJK7/view?usp=sharing) | [Slides](https://docs.google.com/presentation/d/1yrgOv3OnDEHxoxtpc5OV043-T3RPZ66ZtHKWVGMz25c/edit?usp=sharing)
 - **January 2025:** [YouTube](https://www.youtube.com/watch?v=6ovcWDCdqFU&list=PLnPTB0CuBOBzWWpnojAK3ZaFy9RdofP6l&index=5) | [Google Meet](https://drive.google.com/file/d/1e7YVDUWw945zQL3j0LrUwr42lXpJf4cK/view?usp=sharing) | [Slides](https://docs.google.com/presentation/d/1qKXe3CvAvJGVWAssjrKpRrRABMT6I39E1FxUWQ_PZzo/edit?usp=sharing)
 
-## 2024 (Google Meet Recordings)
+## 2024 (Google Meet recordings)
 
 - **December 2024**: [Google Meet](https://drive.google.com/file/d/1F07oKxBgdOEasGcstxEavkPCgr58sbIO/view?usp=sharing) | [Slides](https://docs.google.com/presentation/d/1LwpcXnXLgrYTSDalJY1SfpeyU_4lIkYhyMy5Kv0Huzw/edit?usp=sharing)
 - **November 2024**: [Google Meet](https://drive.google.com/file/d/1W4iu4MwOXILXes1Zi43MeM505KAOHXso/view?usp=sharing) | [Slides](https://docs.google.com/presentation/d/11LHQeUuv-TQfiy9GwXkrffSimFjSq8tdTB8qIB-Pk3U/edit?usp=sharing)
-- **October 2024**: [Google Meet](https://drive.google.com/file/d/12VE0__S0knHqXXpIVdXGWvDipK0g89p_/view?usp=sharing) | [Slides](https://docs.google.com/presentation/d/1KgjJyP6yZyZKCGum3deoIyooYUOretA9W6dTtXv1fso/edit?usp=sharing)
+- **October 2024**: [Google Meet](https://drive.google.com/file/d/12VE0__S0knHqXXpIVdXGWvDipK0g89p_/view?usp=sharing) | [Slides](https://docs.google.com/presentation/d/1KgjJyP6yZyZKCGum3deoIyooYUOretA9W6dTtXv1fso/edit?usp=sharing)

site/news/2025-05-19-weekly-progress-summary.md

@@ -5,32 +5,32 @@ authors:
 tags: [progress, update, weekly, rust-simulation, transaction-inclusion, conformance-testing, formal-specification, documentation, transaction-lifecycle, agda]
 ---
 
-This week, the Leios team focused on improving simulation capabilities, enhancing transaction processing, and expanding the test coverage. The team made significant progress in addressing transaction inclusion rates and developing a comprehensive conformance testing framework.
+This week, the Leios team focused on improving simulation capabilities, enhancing transaction processing, and expanding the test coverage. The team also made significant progress in addressing transaction inclusion rates and developing a comprehensive conformance testing framework.
 
 ## Simulation improvements
 
 ### Rust simulation
 - Investigated and addressed poor transaction inclusion rates
-- Implemented "late IB inclusion" extension to Full Leios, significantly improving transaction ledger inclusion odds
+- Implemented 'late IB inclusion' extension to Full Leios, significantly improving transaction ledger inclusion odds
 - Identified and addressed issues with non-sharded input transactions causing excessive duplication
 - Made several key enhancements:
   - Enabled late IB inclusion by default
-  - Fixed off-by-one error in late IB inclusion logic
+  - Fixed the off-by-one error in late IB inclusion logic
   - Added `praos-fallback-enabled` setting for throughput investigation
   - Improved transaction deduplication in Praos blocks.
 
 ## Testing framework
 
 ### Conformance testing
-- Developed comprehensive catalog of [Potential Conformance Tests](https://github.com/input-output-hk/ouroboros-leios/blob/main/leios-trace-verifier/conformance-coverage.md)
-- Implemented property-based testing suite for trace verification
+- Developed a comprehensive catalog of [potential conformance tests](https://github.com/input-output-hk/ouroboros-leios/blob/main/leios-trace-verifier/conformance-coverage.md)
+- Implemented a property-based testing suite for trace verification
 - Added both positive and negative test cases covering:
   - Genesis slot operations
   - Block production (RB, IB, EB)
   - Vote generation
   - Various production patterns (sporadic, noisy)
   - Invalid scenarios (equivocation, gaps)
-- Successfully verified golden traces against Agda specification.
+- Successfully verified golden traces against the Agda specification.
 
 ## Documentation
 
@@ -45,15 +45,15 @@ This week, the Leios team focused on improving simulation capabilities, enhancin
 ## Transaction lifecycle analysis
 
 - Conducted detailed analysis of transaction processing efficiency
-- Generated cumulative probability model for transaction ledger inclusion
-- Analyzed relationship between IB production rate and stage length
+- Generated a cumulative probability model for transaction ledger inclusion
+- Analyzed the relationship between IB production rate and stage length
 - Created visualization of [transaction-to-block inclusion probabilities](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/tx-to-block-cum-slots-fig.svg).
 
 ![transaction-to-block inclusion probabilities](https://raw.githubusercontent.com/input-output-hk/ouroboros-leios/refs/heads/main/analysis/tx-to-block-cum-slots-fig.svg)
 
 ## Next steps
 
 - Continue monitoring and optimizing transaction inclusion rates
-- Expand conformance test coverage as Agda specification evolves
+- Expand conformance test coverage as the Agda specification evolves
 - Further investigate transaction sharding strategies
 - Refine transaction lifecycle model based on simulation results.

site/src/pages/formal-spec/index.tsx

@@ -35,12 +35,12 @@ const AGDA_MODULES = [
 export default function FormalSpecPage(): React.ReactElement {
   return (
     <Layout
-      title="Formal Specification"
-      description="Ouroboros Leios Formal Specification"
+      title="Formal specification"
+      description="Ouroboros Leios formal specification"
     >
       <main className={styles.main}>
         <div className={styles.container}>
-          <h1>Ouroboros Leios Formal Specification</h1>
+          <h1>Ouroboros Leios formal specification</h1>
           <p>
             This section contains the formal specification of the Ouroboros
             Leios protocol, written in Agda. The specification provides a

site/src/pages/index.tsx

@@ -30,7 +30,7 @@ function HomepageHeader() {
                             className="button button--secondary button--lg"
                             to="/docs/faq"
                         >
-                            FAQ 💭
+                            FAQs 💭
                         </Link>
                     </div>
                 </div>
@@ -46,7 +46,7 @@ function VideoSection() {
                 <div className="row">
                     <div className="col col--8 col--offset-2">
                         <h2 className="text--center">
-                            Leios in Action
+                            Leios in action
                         </h2>
                         <p className={clsx("text--center", styles.subtitle)}>
                             Early simulation demonstrating the Leios protocol's
@@ -162,11 +162,11 @@ function MonthlyReviewsSection() {
                 <div className="row">
                     <div className="col col--8 col--offset-2">
                         <h2 className="text--center">
-                            Stay Up to Date
+                            Stay up to date
                         </h2>
                         <p className={clsx("text--center", styles.subtitle)}>
                             Catch up on the latest Leios progress, key
-                            decisions, and Q&A in our monthly review videos.
+                            decisions, and Q&A in our monthly review videos
                         </p>
                         <div
                             className="text--center"
@@ -236,7 +236,7 @@ function MonthlyReviewsSection() {
                                 className={clsx(styles.underlineLink)}
                                 to="/docs/development/monthly-reviews"
                             >
-                                Catch Up on Past Reviews
+                                Catch up on past reviews
                             </Link>
                         </div>
                     </div>