Skip to content

docs(release): record v0.1.0 publication evidence - #623

Merged
flyingrobots merged 2 commits into
mainfrom
docs/v0.1.0-release-evidence
Jun 24, 2026
Merged

docs(release): record v0.1.0 publication evidence#623
flyingrobots merged 2 commits into
mainfrom
docs/v0.1.0-release-evidence

Conversation

@flyingrobots

@flyingrobots flyingrobots commented Jun 24, 2026

Copy link
Copy Markdown
Owner

Summary

  • record the signed v0.1.0 tag, GitHub Release, Release Crates run, and crates.io publication evidence
  • replace pending v0.1.0 verification rows with concrete release witness data
  • add an Unreleased changelog note for the post-release documentation update

Validation

  • git diff --check
  • cargo xtask docs-check
  • pnpm run preflight
  • pre-push Rust product preflight

Summary by CodeRabbit

  • Documentation
    • Clarified release rules so the signed tag on synced main is treated as the release boundary.
    • Added guidance that release details must already be complete before tagging, and should not depend on post-publish backfills.
    • Updated the release checklist and policy with stricter tag, verification, and no-backfill requirements.
    • Recorded completed v0.1.0 release evidence, including tag, GitHub Release, workflow runs, and crates.io publication details.

@coderabbitai

coderabbitai Bot commented Jun 24, 2026

Copy link
Copy Markdown

Review Change Stack

📝 Walkthrough

Walkthrough

Documentation-only update that tightens the release boundary definition across RELEASE_POLICY.md, RELEASE_CHECKLIST.md, and CRATES_IO_RELEASE.md to require a synced main commit (HEAD == origin/main) before tagging and to prohibit post-publish backfill merges into main. The v0.1.0 verification doc is updated with concrete publication evidence, and CHANGELOG.md records the new doctrine.

Changes

Tagged Main Boundary Doctrine and v0.1.0 Evidence

Layer / File(s) Summary
Release boundary policy and checklist tightening
docs/governance/RELEASE_POLICY.md, docs/governance/RELEASE_CHECKLIST.md, docs/CRATES_IO_RELEASE.md
Check 18 in RELEASE_POLICY.md is rewritten to require HEAD == origin/main before tagging and forbids post-publish backfill merges to main; Check 22 gains a pre-tag evidence completeness duty. RELEASE_CHECKLIST.md adds a human-review item for the synced-main boundary. CRATES_IO_RELEASE.md adds a backfill-prohibition Non-Negotiable rule, a new "Tagged Main Boundary" section, and Phase 3/Phase 6 checklist items.
v0.1.0 publication evidence and changelog entry
docs/method/releases/v0.1.0/verification.md, CHANGELOG.md
verification.md replaces the placeholder Publish Evidence section with concrete workflow runs, GitHub Release URL, tag signature details, and a crates.io per-crate version table; its opening sentence is updated to reflect completed publication evidence. CHANGELOG.md adds a ### Changed entry recording the signed-tag boundary doctrine and evidence items for v0.1.0.

Estimated code review effort

🎯 2 (Simple) | ⏱️ ~10 minutes

Poem

🐇 Hoppity-hop, no backfills allowed,
The tag on main stands proud in the crowd.
Evidence sealed before the tag flies,
No sneaky merges under clear skies.
The bunny has spoken — the boundary holds! 🏷️

🚥 Pre-merge checks | ✅ 4 | ❌ 1

❌ Failed checks (1 warning)

Check name Status Explanation Resolution
Description check ⚠️ Warning The description only includes Summary and Validation and omits most required template sections. Add the missing template sections, or mark inapplicable items as N/A, including linked issue, why, changes, risk, backout, testing, evidence, and checklist.
✅ Passed checks (4 passed)
Check name Status Explanation
Title check ✅ Passed The title clearly states the main change: recording v0.1.0 publication evidence.
Docstring Coverage ✅ Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check ✅ Passed Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check ✅ Passed Check skipped because no linked issues were found for this pull request.

✏️ Tip: You can configure your own custom pre-merge checks in the settings.

✨ Finishing Touches
🧪 Generate unit tests (beta)
  • Create PR with unit tests
  • Commit unit tests in branch docs/v0.1.0-release-evidence

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@github-actions

github-actions Bot commented Jun 24, 2026

Copy link
Copy Markdown

🔍 The Case of Pull Request #623

Plain-English Readout

  • Holmes (evidence investigation): Holmes says this change looks ready to ship.
  • Watson (independent verification): Watson found verification concerns. Most important concern: No evidence citations were available for trust analysis.
  • Moriarty (trend forecast): Moriarty does not have enough historical data yet to forecast readiness.

Suggested next actions

  1. Resolve Watson’s verification concerns before trusting the Holmes verdict as final.
📚 Glossary (what the Holmes terms mean)
  • HOLMES: Wesley’s main evidence investigation. It decides whether the cited proof is strong enough to justify shipping this commit.
  • WATSON: An independent verification pass. It checks Holmes’s citations and score math instead of trusting them blindly.
  • MORIARTY: A readiness forecast over time. It is advisory trend analysis, not the release gate itself.
  • Schema coverage score (SCS): How much of the schema has direct supporting evidence across generated artifacts and cited proof.
  • Test confidence index (TCI): How much test evidence exists for constraints, policies, relationships, and operations.
  • Migration risk index (MRI): How risky the schema change is to roll out. Lower is better.
  • Evidence trust: Whether the report is backed by exact citations, whole-file citations, or coarse references. Weak trust means the claim may be directionally right but not specific enough to trust blindly.
  • Citation quality: A count of exact line-span citations versus whole-file or coarse references.
  • ELEMENTARY: Ready to ship based on the current evidence.
  • REQUIRES INVESTIGATION: More work or review is needed before shipping.
  • YOU SHALL NOT PASS: Do not ship this change in its current state.

🕵️ SHA-lock HOLMES full report (click to expand)

🕵️ SHA-lock HOLMES Investigation

  • Generated: 2026-01-01T00:00:00.000Z
  • Commit SHA: 78191b5
  • Bundle Version: 2.0.0

⚠️ Evidence valid only for commit 78191b5

🔍 Executive Deduction

"Watson, after careful examination of the evidence, I deduce..."

Weighted Completion: ██████████ 95.0%
Scores: SCS 95.0% · TCI 90.0% · MRI 10.0%
Verification Status: 2 claims verified
Citation Quality: 2 exact · 0 whole-file · 0 coarse
Evidence Trust: strong
Ship Verdict: ELEMENTARY

🧩 SCS Breakdown

Component Score Coverage
Sql 100.0% 1.00/1.00
Types 100.0% 1.00/1.00
Validation 100.0% 1.00/1.00
Tests 100.0% 1.00/1.00

🧪 TCI Breakdown

Component Score Coverage Note
Unit Constraints 100.0% 1/1 N/A
Unit Rls 100.0% 1/1 N/A
Integration Relations 100.0% 1/1 N/A
E2e Ops 90.0% 9/10 fixture

⚠️ MRI Breakdown

Component Risk Share Points Count
Drops 0.0% 0 0
Renames Without Uid 0.0% 0 0
Add Not Null Without Default 100.0% 1 1
Non Concurrent Indexes 0.0% 0 0

📊 The Weight of Evidence

"Observe, Watson, how not all features carry equal importance..."

Element Weight Status Evidence Strength Deduction
schema 5 ✅ Exact SQL & tests test/fixtures/examples/.wesley-cache/shipme-fixture/tests.sql:1-1@78191b5 exact Elementary!

🚪 Security & Performance Gates

"Elementary security measures, Watson..."

Gate Status Evidence Holmes's Ruling
Migration Risk MRI: 10.0% "Trivial risk"
Test Coverage TCI: 90.0% "Excellent coverage"
Sensitive Fields 0 fields "All secured"
Evidence Quality 2 exact · 0 whole-file · 0 coarse "All 2 citations resolve to exact line spans."

📋 The Verdict

ELEMENTARY - Ship immediately!
"The evidence is conclusive. No mysteries remain."

Signed and sealed,

  • S. Holmes, Consulting Detective

[END OF INVESTIGATION FOR COMMIT 78191b5]

🧵 Command Run

  • Run ID: run-5e837b9c-21ea-4f25-87c9-33f30cc5cf38
  • Transmutation: holmes-investigate
  • Command: investigate
  • Status: completed
  • Ledger: /home/runner/work/wesley/wesley/test/fixtures/examples/.wesley-cache/ledger

🩺 Dr. WATSON full report (click to expand)

🩺 Dr. Watson's Independent Verification Report

Medical Examination of Evidence

  • Examination Date: 2026-06-24T15:54:39.554Z
  • Patient SHA: 78191b5

🔬 Citation Verification

"Let me examine each piece of evidence independently..."

  • Citations Examined: 2
  • Verified: 0 ✅
  • Failed: 0 ❌
  • Unable to Verify: 2
  • Exact Subrange Citations: 0
  • Whole-file Citations: 0
  • Coarse Citations: 0
  • Evidence Trust: missing
  • Trust Note: No evidence citations were available for trust analysis.

Verification Rate: 0.0%

📊 Mathematical Verification

"I shall recalculate Holmes's arithmetic..."

Holmes claimed SCS: 95.0%
Watson calculates: 100.0%
Difference: ⚠️ Significant

🔍 Consistency Analysis

"Checking for contradictions in Holmes's deductions..."

✅ No logical inconsistencies detected

🩺 Dr. Watson's Medical Opinion

VERIFICATION: CONCERNS NOTED ⚠️

"While Holmes's methods are generally sound, I have noted some"
"discrepancies that warrant further investigation. No evidence citations were available for trust analysis."

Respectfully submitted,

  • Dr. J. Watson, M.D.
    Medical Examiner & Verification Specialist

🧵 Command Run

  • Run ID: run-a4bb1bbd-42e5-462b-815c-34f3d81cfb3b
  • Transmutation: watson-verify
  • Command: verify
  • Status: completed
  • Ledger: /home/runner/work/wesley/wesley/test/fixtures/examples/.wesley-cache/ledger

🔮 Professor MORIARTY full report (click to expand)

🧠 Professor Moriarty's Temporal Predictions

The Mathematics of Inevitability

  • Analysis Date: 2026-06-24T15:55:18.904Z

INSUFFICIENT DATA

"I require at least two data points to predict the future."
"Run Wesley generate multiple times to build history."

🧵 Command Run

  • Run ID: run-a9a56417-9b00-4d87-9808-3cc964b9325a
  • Transmutation: moriarty-predict
  • Command: predict
  • Status: completed
  • Ledger: /home/runner/work/wesley/wesley/test/fixtures/examples/.wesley-cache/ledger

Machine-readable reports: holmes-report.json · watson-report.json · moriarty-report.json (see workflow artifacts).


Filed at 221B Repository Street

@coderabbitai coderabbitai Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Actionable comments posted: 1

🤖 Prompt for all review comments with AI agents
Verify each finding against current code. Fix only still-valid issues, skip the
rest with a brief reason, keep changes minimal, and validate.

Inline comments:
In `@docs/CRATES_IO_RELEASE.md`:
- Around line 276-277: The Phase 6 ordered list has a numbering mismatch in the
CRATES_IO_RELEASE.md item that starts with “Do not merge manual release-evidence
backfills…”, so normalize that list number to match the preceding sequence and
keep the markdownlint MD029 check clean. Update the numbered item in the Phase 6
section to the correct next value and ensure the surrounding list remains
sequential.
🪄 Autofix (Beta)

Fix all unresolved CodeRabbit comments on this PR:

  • Push a commit to this branch (recommended)
  • Create a new PR with the fixes

ℹ️ Review info
⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: CHILL

Plan: Pro

Run ID: 4f18464b-7b76-45ce-a0ae-7c83ebdd42f9

📥 Commits

Reviewing files that changed from the base of the PR and between 214d27a and 1196fcf.

📒 Files selected for processing (5)
  • CHANGELOG.md
  • docs/CRATES_IO_RELEASE.md
  • docs/governance/RELEASE_CHECKLIST.md
  • docs/governance/RELEASE_POLICY.md
  • docs/method/releases/v0.1.0/verification.md

Comment thread docs/CRATES_IO_RELEASE.md
Comment on lines +276 to +277
12. Do not merge manual release-evidence backfills to `main` for the release
that just published.

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

📐 Maintainability & Code Quality | 🟡 Minor | ⚡ Quick win

Fix ordered-list numbering in Phase 6.

markdownlint reports a numbering mismatch at Line 276 (MD029: expected 11, got 12). Please normalize this item number so docs lint stays clean.

Suggested patch
-12. Do not merge manual release-evidence backfills to `main` for the release
+11. Do not merge manual release-evidence backfills to `main` for the release
📝 Committable suggestion

‼️ IMPORTANT
Carefully review the code before committing. Ensure that it accurately replaces the highlighted code, contains no missing lines, and has no issues with indentation. Thoroughly test & benchmark the code to ensure it meets the requirements.

Suggested change
12. Do not merge manual release-evidence backfills to `main` for the release
that just published.
11. Do not merge manual release-evidence backfills to `main` for the release
that just published.
🧰 Tools
🪛 markdownlint-cli2 (0.22.1)

[warning] 276-276: Ordered list item prefix
Expected: 11; Actual: 12; Style: 1/2/3

(MD029, ol-prefix)

🤖 Prompt for AI Agents
Verify each finding against current code. Fix only still-valid issues, skip the
rest with a brief reason, keep changes minimal, and validate.

In `@docs/CRATES_IO_RELEASE.md` around lines 276 - 277, The Phase 6 ordered list
has a numbering mismatch in the CRATES_IO_RELEASE.md item that starts with “Do
not merge manual release-evidence backfills…”, so normalize that list number to
match the preceding sequence and keep the markdownlint MD029 check clean. Update
the numbered item in the Phase 6 section to the correct next value and ensure
the surrounding list remains sequential.

Source: Linters/SAST tools

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