Skip to content

Bundle embedded documentation in crate - #61

Merged
3leapsdave merged 4 commits into
mainfrom
fix/packaged-embedded-docs
Aug 18, 2026
Merged

Bundle embedded documentation in crate#61
3leapsdave merged 4 commits into
mainfrom
fix/packaged-embedded-docs

Conversation

@3leapsdave

Copy link
Copy Markdown
Member

Summary

  • bundle the embedded-document snapshot with the binary crate
  • enforce snapshot parity during workspace builds
  • add the snapshot refresh target

Verification

  • make pr-final
  • make prepush
  • make release-check

Add a deterministic documentation snapshot to the binary crate and enforce parity with the canonical documentation during workspace builds.

Generated by GPT-5.6 via Codex under supervision of @3leapsdave

Co-Authored-By: GPT-5.6 <noreply@3leaps.net>

Role: devlead

Committer-of-Record: Dave Thompson <dave.thompson@3leaps.net> [@3leapsdave]
Normalize CRLF documentation content before snapshot parity checks and embedded-source generation.

Generated by GPT-5.6 via Codex under supervision of @3leapsdave

Co-Authored-By: GPT-5.6 <noreply@3leaps.net>

Role: devlead

Committer-of-Record: Dave Thompson <dave.thompson@3leaps.net> [@3leapsdave]
Normalize CRLF in the checked-in snapshot before deterministic parity comparison.

Generated by GPT-5.6 via Codex under supervision of @3leapsdave

Co-Authored-By: GPT-5.6 <noreply@3leaps.net>

Role: devlead

Committer-of-Record: Dave Thompson <dave.thompson@3leaps.net> [@3leapsdave]
Require Cargo package markers before loading the bundled documentation snapshot. Add negative controls for missing workspace sources and incremental documentation changes.

Generated by GPT-5.6 via Codex under supervision of @3leapsdave

Co-Authored-By: GPT-5.6 <noreply@3leaps.net>

Role: devlead

Committer-of-Record: Dave Thompson <dave.thompson@3leaps.net> [@3leapsdave]
@3leapsdave
3leapsdave merged commit e78f7bd into main Aug 18, 2026
10 checks passed
@3leapsdave
3leapsdave deleted the fix/packaged-embedded-docs branch August 18, 2026 21:58
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