8000 docs: fix Rust Quick Start rule and entity-ID examples (v3) by adityamukho · Pull Request #892 · project-minigraf/minigraf · GitHub
[go: up one dir, main page]

Skip to content

docs: fix Rust Quick Start rule and entity-ID examples (v3) - #892

Open
adityamukho wants to merge 1 commit into
v3from
fix/884-rust-quick-start-v3
Open

adityamukho wants to merge 1 commit into
v3from
fix/884-rust-quick-start-v3

Conversation

@adityamukho
@adityamukho adityamukho commented Nov 13, 2026 •
Copy link
Copy Markdown
Collaborator

The README passes two rule forms to one execute() call, which returns PRS-077, and uses undefined alice_id/bob_id variables. Register each rule clause separately, demonstrate the reachability query, and define keyword IDs using Minigraf's public EntityId alias. Also define the ID in the related API-010 example and record the correction in the changelog. No runtime code, dependencies, or test inventory changes.

Validation:

  • Compiled and ran the extracted README with assertions for Bob's reachability and Alice/Bob prepared-query results. The harness supplies the existing archive required by the separate v3 log-copy example and a Result-returning function wrapper.
  • The corrected API-010 example and docs-site example also compile and run against v3.
  • cargo test -j 2, cargo clippy -j 2 -- -D warnings, cargo fmt --check, and git diff --check passed.

Audited crate docs, the retired wiki, and minigraf-docs for duplicate broken examples. The wiki contains redirects. The docs-site correction is project-minigraf/minigraf-docs#98; the equivalent main fix is #893.

Refs #884. Claude Opus independently reviewed this patch and found it correct. Its findings in the related docs-site PR were fixed and received a clean follow-up review before pushing those corrections.

@codecov
codecov Bot commented Nov 13, 2026
Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

0