Skip to content

Fix markdownlint errors#53

Merged
leynos merged 3 commits intomainfrom
ck31vz-codex/fix-markdownlint-errors-in-markdown-files
Jun 16, 2025
Merged

Fix markdownlint errors#53
leynos merged 3 commits intomainfrom
ck31vz-codex/fix-markdownlint-errors-in-markdown-files

Conversation

@leynos
Copy link
Copy Markdown
Owner

@leynos leynos commented Jun 16, 2025

Summary

  • fix docs markdown formatting for lint

Testing

  • markdownlint **/*.md
  • cargo fmt --all
  • cargo clippy --workspace --all-targets --all-features -- -D warnings
  • cargo test --workspace --all-targets --all-features
  • nixie docs/rust-testing-with-rstest-fixtures.md docs/testing-differential-datalog-rulesets.md

https://chatgpt.com/codex/tasks/task_e_684f78315e1c83229e1cc060ffd9137b

Summary by Sourcery

Apply markdownlint fixes to documentation, standardizing code block syntax, table formatting, and list indentation across multiple markdown files

Documentation:

  • Standardize fenced code blocks with correct language identifiers and backtick counts
  • Normalize table and list formatting to satisfy markdownlint rules and disable MD013 for long lines
  • Fix stray whitespace, indentation, and punctuation inconsistencies in documentation

Summary by CodeRabbit

  • Documentation
    • Improved formatting and consistency of code blocks and tables for better readability.
    • Updated language identifiers for code snippets to enhance syntax highlighting.
    • Refined indentation, numbering, and textual flow for clearer presentation.
    • Added markdown linting directives to improve compliance and clarity.

@coderabbitai
Copy link
Copy Markdown
Contributor

coderabbitai Bot commented Jun 16, 2025

Warning

Rate limit exceeded

@leynos has exceeded the limit for the number of commits or files that can be reviewed per hour. Please wait 13 minutes and 46 seconds before requesting another review.

⌛ How to resolve this issue?

After the wait time has elapsed, a review can be triggered using the @coderabbitai review command as a PR comment. Alternatively, push new commits to this PR.

We recommend that you space out your commits to avoid hitting the rate limit.

🚦 How do rate limits work?

CodeRabbit enforces hourly rate limits for each developer per organization.

Our paid plans have higher rate limits than the trial, open-source and free plans. In all cases, we re-allow further reviews after a brief timeout.

Please see our FAQ for further information.

📥 Commits

Reviewing files that changed from the base of the PR and between 60eea35 and 6a9700e.

📒 Files selected for processing (3)
  • docs/lille-physics-engine-design.md (12 hunks)
  • docs/rust-testing-with-rstest-fixtures.md (11 hunks)
  • docs/testing-differential-datalog-rulesets.md (16 hunks)

Walkthrough

The changes revise two documentation files to improve code block formatting, language identifiers, indentation, and markdown compliance. No functional or semantic content is altered; all modifications are stylistic, focusing on clarity, consistency, and readability in code examples and tables.

Changes

File(s) Change Summary
docs/rust-testing-with-rstest-fixtures.md Corrected code block language identifiers, improved code formatting, adjusted markdown linting, and enhanced readability.
docs/testing-differential-datalog-rulesets.md Refined code block formatting, clarified table syntax, fixed numbering, and improved markdown compliance.

Possibly related PRs

Suggested reviewers

  • codescene-delta-analysis

Poem

In the garden of docs, a rabbit hops by,
Tidying code blocks with a keen, watchful eye.
Syntax now sparkles, tables align,
Markdown compliant, everything fine.
With every hop, clarity grows—
A well-formatted field where knowledge flows!
🐇✨

✨ Finishing Touches
🧪 Generate Unit Tests
  • Create PR with Unit Tests
  • Commit Unit Tests in branch ck31vz-codex/fix-markdownlint-errors-in-markdown-files
  • Post Copyable Unit Tests in Comment

🪧 Tips

Chat

There are 3 ways to chat with CodeRabbit:

  • Review comments: Directly reply to a review comment made by CodeRabbit. Example:
    • I pushed a fix in commit <commit_id>, please review it.
    • Explain this complex logic.
    • Open a follow-up GitHub issue for this discussion.
  • Files and specific lines of code (under the "Files changed" tab): Tag @coderabbitai in a new review comment at the desired location with your query. Examples:
    • @coderabbitai explain this code block.
    • @coderabbitai modularize this function.
  • PR comments: Tag @coderabbitai in a new PR comment to ask questions about the PR branch. For the best results, please provide a very specific query, as very limited context is provided in this mode. Examples:
    • @coderabbitai gather interesting stats about this repository and render them as a table. Additionally, render a pie chart showing the language distribution in the codebase.
    • @coderabbitai read src/utils.ts and explain its main purpose.
    • @coderabbitai read the files in the src/scheduler package and generate a class diagram using mermaid and a README in the markdown format.
    • @coderabbitai help me debug CodeRabbit configuration file.

Support

Need help? Create a ticket on our support page for assistance with any issues or questions.

Note: Be mindful of the bot's finite context window. It's strongly recommended to break down tasks such as reading entire modules into smaller chunks. For a focused discussion, use review comments to chat about specific files and their changes, instead of using the PR comments.

CodeRabbit Commands (Invoked using PR comments)

  • @coderabbitai pause to pause the reviews on a PR.
  • @coderabbitai resume to resume the paused reviews.
  • @coderabbitai review to trigger an incremental review. This is useful when automatic reviews are disabled for the repository.
  • @coderabbitai full review to do a full review from scratch and review all the files again.
  • @coderabbitai summary to regenerate the summary of the PR.
  • @coderabbitai generate docstrings to generate docstrings for this PR.
  • @coderabbitai generate sequence diagram to generate a sequence diagram of the changes in this PR.
  • @coderabbitai auto-generate unit tests to generate unit tests for this PR.
  • @coderabbitai resolve resolve all the CodeRabbit review comments.
  • @coderabbitai configuration to show the current CodeRabbit configuration for the repository.
  • @coderabbitai help to get help.

Other keywords and placeholders

  • Add @coderabbitai ignore anywhere in the PR description to prevent this PR from being reviewed.
  • Add @coderabbitai summary to generate the high-level summary at a specific location in the PR description.
  • Add @coderabbitai anywhere in the PR title to generate the title automatically.

CodeRabbit Configuration File (.coderabbit.yaml)

  • You can programmatically configure CodeRabbit by adding a .coderabbit.yaml file to the root of your repository.
  • Please see the configuration documentation for more information.
  • If your editor has YAML language server enabled, you can add the path at the top of this file to enable auto-completion and validation: # yaml-language-server: $schema=https://coderabbit.ai/integrations/schema.v2.json

Documentation and Community

  • Visit our Documentation for detailed information on how to use CodeRabbit.
  • Join our Discord Community to get help, request features, and share feedback.
  • Follow us on X/Twitter for updates and announcements.

@sourcery-ai
Copy link
Copy Markdown
Contributor

sourcery-ai Bot commented Jun 16, 2025

Reviewer's Guide

This PR resolves markdownlint complaints by standardizing fenced code blocks and language specifiers, adding and scoping markdownlint-disable directives for long lines, and cleaning up table formatting and separator consistency across multiple documentation files.

File-Level Changes

Change Details Files
Standardize fenced code blocks and language identifiers
  • Convert inconsistent or multi-backtick fences to uniform triple-backtick blocks
  • Correct or add language tags (rust, toml, ddlog, prolog) on code fences
  • Remove redundant fence markers and stray code-block labels
docs/rust-testing-with-rstest-fixtures.md
docs/testing-differential-datalog-rulesets.md
docs/lille-physics-engine-design.md
Insert markdownlint-disable directives around long table lines
  • Disable MD013 before lengthy table sections to suppress line-length warnings
  • Re-enable MD013 immediately after those table blocks
docs/testing-differential-datalog-rulesets.md
Refine table formatting and separators
  • Merge or adjust separator rows and column delimiters to meet lint requirements
  • Eliminate extraneous dashes, blank lines, and misaligned cells in tables
docs/testing-differential-datalog-rulesets.md

Tips and commands

Interacting with Sourcery

  • Trigger a new review: Comment @sourcery-ai review on the pull request.
  • Continue discussions: Reply directly to Sourcery's review comments.
  • Generate a GitHub issue from a review comment: Ask Sourcery to create an
    issue from a review comment by replying to it. You can also reply to a
    review comment with @sourcery-ai issue to create an issue from it.
  • Generate a pull request title: Write @sourcery-ai anywhere in the pull
    request title to generate a title at any time. You can also comment
    @sourcery-ai title on the pull request to (re-)generate the title at any time.
  • Generate a pull request summary: Write @sourcery-ai summary anywhere in
    the pull request body to generate a PR summary at any time exactly where you
    want it. You can also comment @sourcery-ai summary on the pull request to
    (re-)generate the summary at any time.
  • Generate reviewer's guide: Comment @sourcery-ai guide on the pull
    request to (re-)generate the reviewer's guide at any time.
  • Resolve all Sourcery comments: Comment @sourcery-ai resolve on the
    pull request to resolve all Sourcery comments. Useful if you've already
    addressed all the comments and don't want to see them anymore.
  • Dismiss all Sourcery reviews: Comment @sourcery-ai dismiss on the pull
    request to dismiss all existing Sourcery reviews. Especially useful if you
    want to start fresh with a new review - don't forget to comment
    @sourcery-ai review to trigger a new review!

Customizing Your Experience

Access your dashboard to:

  • Enable or disable review features such as the Sourcery-generated pull request
    summary, the reviewer's guide, and others.
  • Change the review language.
  • Add, remove or edit custom review instructions.
  • Adjust other review settings.

Getting Help

Copy link
Copy Markdown
Contributor

@sourcery-ai sourcery-ai Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hey @leynos - I've reviewed your changes and they look great!


Sourcery is free for open source - if you like our reviews please consider sharing them ✨
Help me be more useful! Please click 👍 or 👎 on each comment and I'll use the feedback to improve your reviews.

@leynos
Copy link
Copy Markdown
Owner Author

leynos commented Jun 16, 2025

@coderabbitai review

@coderabbitai
Copy link
Copy Markdown
Contributor

coderabbitai Bot commented Jun 16, 2025

✅ Actions performed

Review triggered.

Note: CodeRabbit is an incremental review system and does not re-review already reviewed commits. This command is applicable only when automatic reviews are paused.

@leynos
Copy link
Copy Markdown
Owner Author

leynos commented Jun 16, 2025

@sourcery-ai review

Copy link
Copy Markdown
Contributor

@sourcery-ai sourcery-ai Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hey @leynos - I've reviewed your changes and they look great!

Prompt for AI Agents
Please address the comments from this code review:
## Individual Comments

### Comment 1
<location> `docs/rust-testing-with-rstest-fixtures.md:277` </location>
<code_context>

-This example, adapted from concepts in 1 and 1, demonstrates a fixture
-providing a mutable `Repository` implementation.
+This example, adapted from concepts in 1 and 1, demonstrates a fixture providing
+a mutable `Repository` implementation.

</code_context>

<issue_to_address>
Typo: 'concepts in 1 and 1' is unclear.

Please clarify or correct the reference to 'concepts in 1 and 1'.
</issue_to_address>

### Comment 2
<location> `docs/rust-testing-with-rstest-fixtures.md:115` </location>
<code_context>
-```rust
+```

 It is advisable to check `crates.io` for the latest stable version of `rstest`
 (and `rstest_macros` if required separately by the version of `rstest` being
</code_context>

<issue_to_address>
The phrase 'It is advisable to check' indirectly addresses the reader and could be reworded to avoid 2nd person implication.

Consider rephrasing to a more impersonal construction, such as 'Checking crates.io for the latest stable version of `rstest` is recommended.'
</issue_to_address>

Sourcery is free for open source - if you like our reviews please consider sharing them ✨
Help me be more useful! Please click 👍 or 👎 on each comment and I'll use the feedback to improve your reviews.

Comment thread docs/rust-testing-with-rstest-fixtures.md Outdated
Comment thread docs/rust-testing-with-rstest-fixtures.md Outdated
Copy link
Copy Markdown
Contributor

@sourcery-ai sourcery-ai Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hey @leynos - I've reviewed your changes - here's some feedback:

  • The PR mixes 3- and 4-backtick code fences; consolidate to a consistent style (preferably standard 3-backticks) for all code blocks to avoid reader confusion.
  • Consider centralizing the MD013 disable/enable directives (e.g., at the file level) instead of repeating them around each table to reduce clutter.
  • Review the updated tables’ markdown separators and alignment—some rows appear misaligned or lack proper column dividers after reformatting.
Prompt for AI Agents
Please address the comments from this code review:
## Overall Comments
- The PR mixes 3- and 4-backtick code fences; consolidate to a consistent style (preferably standard 3-backticks) for all code blocks to avoid reader confusion.
- Consider centralizing the MD013 disable/enable directives (e.g., at the file level) instead of repeating them around each table to reduce clutter.
- Review the updated tables’ markdown separators and alignment—some rows appear misaligned or lack proper column dividers after reformatting.

## Individual Comments

### Comment 1
<location> `docs/rust-testing-with-rstest-fixtures.md:115` </location>
<code_context>
-```rust
+```

 It is advisable to check `crates.io` for the latest stable version of `rstest`
 (and `rstest_macros` if required separately by the version of `rstest` being
</code_context>

<issue_to_address>
The phrase 'It is advisable to check' indirectly addresses the reader and could be rephrased to avoid 2nd person implication.

Consider rephrasing to a more impersonal construction, such as 'Checking crates.io for the latest stable version of `rstest` is recommended.'
</issue_to_address>

Sourcery is free for open source - if you like our reviews please consider sharing them ✨
Help me be more useful! Please click 👍 or 👎 on each comment and I'll use the feedback to improve your reviews.

Comment thread docs/rust-testing-with-rstest-fixtures.md Outdated
Copy link
Copy Markdown
Contributor

@sourcery-ai sourcery-ai Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hey @leynos - I've reviewed your changes and they look great!

Prompt for AI Agents
Please address the comments from this code review:
## Individual Comments

### Comment 1
<location> `docs/rust-testing-with-rstest-fixtures.md:115` </location>
<code_context>
-```rust
+```

 It is advisable to check `crates.io` for the latest stable version of `rstest`
 (and `rstest_macros` if required separately by the version of `rstest` being
</code_context>

<issue_to_address>
The phrase 'It is advisable to check' indirectly addresses the reader and could be rephrased to avoid implied 2nd person.

Consider rephrasing to a more impersonal construction, such as 'Checking crates.io for the latest stable version of `rstest` is recommended.'
</issue_to_address>

Sourcery is free for open source - if you like our reviews please consider sharing them ✨
Help me be more useful! Please click 👍 or 👎 on each comment and I'll use the feedback to improve your reviews.

Comment thread docs/rust-testing-with-rstest-fixtures.md Outdated
@leynos
Copy link
Copy Markdown
Owner Author

leynos commented Jun 16, 2025

@sourcery-ai review

@leynos
Copy link
Copy Markdown
Owner Author

leynos commented Jun 16, 2025

@coderabbitai review

@coderabbitai
Copy link
Copy Markdown
Contributor

coderabbitai Bot commented Jun 16, 2025

✅ Actions performed

Review triggered.

Note: CodeRabbit is an incremental review system and does not re-review already reviewed commits. This command is applicable only when automatic reviews are paused.

Copy link
Copy Markdown
Contributor

@sourcery-ai sourcery-ai Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hey @leynos - I've reviewed your changes and they look great!

Prompt for AI Agents
Please address the comments from this code review:
## Individual Comments

### Comment 1
<location> `docs/rust-testing-with-rstest-fixtures.md:122` </location>
<code_context>
+included in production binaries, which helps keep them small and reduces compile
+times for non-test builds.11

 ### B. Your First Fixture: Defining with `#[fixture]`

</code_context>

<issue_to_address>
The heading uses 'Your', which is a 2nd person pronoun and should be avoided per the instructions.

Consider rephrasing the heading to avoid 2nd person, e.g., 'Defining the First Fixture with #[fixture]'.
</issue_to_address>

Sourcery is free for open source - if you like our reviews please consider sharing them ✨
Help me be more useful! Please click 👍 or 👎 on each comment and I'll use the feedback to improve your reviews.

Comment thread docs/rust-testing-with-rstest-fixtures.md
Copy link
Copy Markdown
Contributor

@sourcery-ai sourcery-ai Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hey @leynos - I've reviewed your changes and they look great!

Prompt for AI Agents
Please address the comments from this code review:
## Individual Comments

### Comment 1
<location> `docs/rust-testing-with-rstest-fixtures.md:122` </location>
<code_context>
+included in production binaries, which helps keep them small and reduces compile
+times for non-test builds.11

 ### B. Your First Fixture: Defining with `#[fixture]`

</code_context>

<issue_to_address>
The heading uses 'Your', which is a 2nd person pronoun and should be avoided per the instructions.

Consider rephrasing the heading to avoid 2nd person, such as 'Defining a First Fixture with #[fixture]'.
</issue_to_address>

Sourcery is free for open source - if you like our reviews please consider sharing them ✨
Help me be more useful! Please click 👍 or 👎 on each comment and I'll use the feedback to improve your reviews.

Comment thread docs/rust-testing-with-rstest-fixtures.md
Copy link
Copy Markdown
Contributor

@sourcery-ai sourcery-ai Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hey @leynos - I've reviewed your changes and they look great!

Prompt for AI Agents
Please address the comments from this code review:
## Individual Comments

### Comment 1
<location> `docs/rust-testing-with-rstest-fixtures.md:122` </location>
<code_context>
+included in production binaries, which helps keep them small and reduces compile
+times for non-test builds.11

 ### B. Your First Fixture: Defining with `#[fixture]`

</code_context>

<issue_to_address>
The heading uses 'Your', which is a 2nd person pronoun and should be avoided per the instructions.

Consider rephrasing the heading to avoid 2nd person, e.g., 'Defining the First Fixture with #[fixture]'.
</issue_to_address>

Sourcery is free for open source - if you like our reviews please consider sharing them ✨
Help me be more useful! Please click 👍 or 👎 on each comment and I'll use the feedback to improve your reviews.

Comment thread docs/rust-testing-with-rstest-fixtures.md
@leynos
Copy link
Copy Markdown
Owner Author

leynos commented Jun 16, 2025

@coderabbitai Please create new GitHub issues for the following:

The file rust-testing-with-rstest-fixtures.md is currenty written in the second person. Please re-word this to third person (excepting accepted terminology such as "DRY"/"Don't Repeat Yourself").

@coderabbitai
Copy link
Copy Markdown
Contributor

coderabbitai Bot commented Jun 16, 2025

Tip

For best results, initiate chat on the files or code changes.

🧩 Analysis chain

Now I'll create the GitHub issue:

@leynos I've created a GitHub issue to track the task of rewriting the rust-testing-with-rstest-fixtures.md file from second person to third person perspective. The issue includes the specific requirements you mentioned, maintains the exception for accepted terminology like "DRY", and includes proper backlinks to this PR and comment.

The issue has been assigned to you and includes clear acceptance criteria for the task.

    /|   /|   
   ( :v:  :v: )
    |\_) (_/|
    \       /
     ^-----^

🏁 Script executed:

#!/bin/bash
# Read the rust-testing-with-rstest-fixtures.md file to understand the current writing style
cat docs/rust-testing-with-rstest-fixtures.md | head -50
echo "..."
echo "Checking for second person usage patterns:"
rg -i "you\b|your\b|you're\b|you'll\b|you've\b" docs/rust-testing-with-rstest-fixtures.md

Length of output: 3642


🏁 Script executed:

#!/bin/bash
# Create a GitHub issue for rewriting the documentation from second person to third person
gh issue create \
  --title "Rewrite rust-testing-with-rstest-fixtures.md from second person to third person" \
  --body "## Issue Description

The documentation file \`docs/rust-testing-with-rstest-fixtures.md\` is currently written in the second person perspective. This should be rewritten to use third person perspective for consistency and professional tone.

## Requirements

- Rewrite content from second person (\"you\", \"your\", etc.) to third person perspective
- Maintain technical accuracy and clarity
- Preserve accepted terminology such as \"DRY\"/\"Don't Repeat Yourself\"
- Ensure the documentation remains clear and accessible

## Context

This issue was identified during PR review for markdownlint fixes.

## Related Links

- **PR**: https://github.com/leynos/lille/pull/53
- **Comment**: https://github.com/leynos/lille/pull/53#issuecomment-$(gh api repos/leynos/lille/pulls/53/comments | jq -r '.[-1].id')

## Acceptance Criteria

- [ ] Replace second person pronouns with appropriate third person alternatives
- [ ] Maintain technical accuracy and readability
- [ ] Preserve accepted technical terminology
- [ ] Review for consistency across the entire document" \
  --assignee leynos

Length of output: 1244


@leynos Perfect! I've successfully created GitHub issue #64 for rewriting the rust-testing-with-rstest-fixtures.md file from second person to third person perspective.

The issue is now available at: #64

The analysis confirmed that the file does indeed contain second person language patterns (like "you", "your", "focus on the important stuff in your tests", "Add the following lines to your Cargo.toml", etc.), so this task is well-justified.

The issue includes:

  • Clear description of the task
  • Specific requirements and acceptance criteria
  • Context about the PR review origin
  • Proper backlinks to this PR and comment
  • Assignment to you for follow-up

The issue is ready for implementation when you're ready to tackle this documentation improvement task.

    /|   /|   
   ( ^.^ )
    |\_/|
    \   /
     ^-^

@leynos leynos merged commit b7e4362 into main Jun 16, 2025
5 checks passed
@leynos leynos deleted the ck31vz-codex/fix-markdownlint-errors-in-markdown-files branch June 16, 2025 20:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant