docs(rfc-0001,rfc-0008): advance both to green on the maturity ladder - #192
Conversation
All §5 acceptance criteria pass for each (zero #[ignore]/unimplemented stubs in ourios-miner / ourios-wal). RFC 0001 specified→green; RFC 0008 red→green. Each gets a Status note recording the basis: - RFC 0001: every §5 scenario green (miner-internal + the relocated cross-crate criteria); not yet validated — the A1 compression thesis-gate (template-mining pillar) is an authoritative FAIL parked pending a larger corpus, while C1 reconstruction passes. green is an acceptance gate, not a thesis gate, so A1 doesn't block it. - RFC 0008: all §5 arms .1–.10 green; the corruption audit event is a documented §9 deferral, not a gap. The WAL touches no benchmarks.md §7 thesis gate, so green is its acceptance ceiling and the terminal accepted flip is the maintainer's. Roadmap §3 RFC 0001 status line updated to match. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
|
Warning Review limit reached
More reviews will be available in 38 minutes and 45 seconds. Learn how PR review limits work. Your organization has used up its prepaid credits, and credit purchases are no longer available. Enable the review add-on in the billing tab to keep reviews running — you're only billed for reviews past your plan's rate limits ($0.25/file). ⌛ How to resolve this issue?After more reviews become available, a review can be triggered using the 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 include higher PR review limits than trial, open-source, and free plans. In all cases, reviews become available again over time. During sustained high-volume PR review activity, CodeRabbit may temporarily slow when the next review becomes available. Please see our Fair Usage Limits Policy for further information. ℹ️ Review info⚙️ Run configurationConfiguration used: defaults Review profile: CHILL Plan: Pro Plus Run ID: 📒 Files selected for processing (2)
📝 WalkthroughWalkthroughRFC documents for template miner (0001) and WAL (0008) are promoted from ChangesRFC Status Green Milestone Documentation
Possibly related PRs
Estimated code review effort🎯 1 (Trivial) | ⏱️ ~3 minutes Poem
🚥 Pre-merge checks | ✅ 5✅ Passed checks (5 passed)
✏️ Tip: You can configure your own custom pre-merge checks in the settings. ✨ Finishing Touches🧪 Generate unit tests (beta)
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. Comment |
There was a problem hiding this comment.
Pull request overview
Advances RFC 0001 (template miner) and RFC 0008 (WAL) up the documentation “maturity ladder” by flipping their status: frontmatter to green, adding status notes summarizing the green-gate justification, and updating the roadmap’s current-state snapshot accordingly.
Changes:
- Update RFC 0001 and RFC 0008 frontmatter
status:togreenand add status-note prose explaining why. - Refresh
docs/roadmap.md“Current state” lines to reflect the new green statuses (and related notes aboutvalidated).
Reviewed changes
Copilot reviewed 3 out of 3 changed files in this pull request and generated 4 comments.
| File | Description |
|---|---|
| docs/roadmap.md | Updates current-state snapshot to reflect RFC 0001 / RFC 0008 now being green. |
| docs/rfcs/0008-wal.md | Flips RFC 0008 status to green and adds a status note summarizing acceptance coverage and remaining deferrals. |
| docs/rfcs/0001-template-miner.md | Flips RFC 0001 status to green and adds a status note explaining acceptance coverage and why validated is still pending. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
There was a problem hiding this comment.
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/roadmap.md`:
- Around line 65-70: Update the roadmap banner date to "2026-06-13" and fix the
RFC 0001 tally line: replace the text "**RFC 0001 §5 scenarios green: 35 / 35 —
RFC 0001 status: `green`**" with an accurate count (e.g., correct "35 / 35" to
the current number of §5 scenarios and adjust wording if needed) or remove the
"X / X" tally entirely so the snapshot is consistent; ensure the adjacent note
"(2026-06-13; ...)" remains accurate.
🪄 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: defaults
Review profile: CHILL
Plan: Pro Plus
Run ID: bb5f03d1-df14-42fa-ab9d-4d7a462970c7
📒 Files selected for processing (3)
docs/rfcs/0001-template-miner.mddocs/rfcs/0008-wal.mddocs/roadmap.md
… note wording - roadmap: RFC 0001 §5 is 42 scenarios not 35 (Copilot); banner re-dated 2026-05-22 → 2026-06-13 (the RFC 0005 line under it is still accurate — 0005 is still at 10/11). - RFC 0008 status note: scope the no-stubs claim to the acceptance tests under tests/ — encode_audit_event() in lib.rs is still unimplemented!() but it's the §9 AuditEvent-serde deferral, not a §5 criterion (Copilot). - RFC 0008 status note: 'validated is N/A' → 'vacuously satisfied' (no thesis gate to fail); the RFC stays green rather than self-promoting through a vacuous stage, and accepted is the maintainer's flip — matches the ladder wording instead of contradicting it (Copilot). Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
- RFC 0008 status note: point the accepted-flip reference at docs/rfcs/README.md (was a bare README.md — ambiguous vs repo root), matching the ladder reference earlier in the same note (Copilot). - roadmap: top-level "Last updated" 2026-05-22 -> 2026-06-13 to match the §3 snapshot date, with a note that the §§4+ phase narrative predates it and isn't re-verified here (Copilot). Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
What
Advances RFC 0001 (template miner) and RFC 0008 (WAL) on the
docs/verification.md§3 /README.mdmaturity ladder — both togreen(all §5 acceptance criteria pass). Docs-only:status:frontmatter + a Status note on each + the roadmap §3 line.specified→green. Every §5 scenario has a live passing test (zero#[ignore]/todo!()inourios-miner) — miner-internal + hazard/invariant scenarios, plus the criteria relocated toourios-querier/ourios-ingester(query semantics .5/.6, time-preserved .10, §3.7.3 tenant derivation, drift H5.3 via RFC 0010) and the §6.7 alias-index discharged by RFC 0005 (docs(rfc-0005): alias events in the audit stream + v1 reader-side map derivation #183/feat: alias-index write path v1 — alias events persisted + querier-derived map (#148, per #183) #184).red→green. All §5 arms .1–.10 have live passing tests (zerounimplemented!()inourios-wal), landed across feat(wal): implement sync + replay — crash recovery §6.3/§6.6 #123/test(wal): land rfc0008_2 crash-recovery via real SIGKILL harness #126, docs(rfc-0008,rfc-0001): specify snapshot restore v2 — offset sink, retain floor, recovery driver #185–feat(wal,ingester,server): segment rotation + rotation-triggered snapshot cadence (RFC0008.6) #188, test(wal): flip RFC0008.1/.3/.4/.5/.9 acceptance arms #190, feat(ingester): batched-fsync group commit (RFC0008.8) #191.Why not
validatedThe ladder reserves
validatedfor thesis-gates inbenchmarks.md§7 passing on representative corpora:1.000000); A1 is an authoritative FAIL with a corpus-size/hardware sensitivity open item (parked pending a > 1 GB corpus). Sovalidatedwaits on A1 — but A1 is a thesis gate, not an acceptance gate, so it doesn't blockgreen.greenis the top of its acceptance ladder and the terminalacceptedflip is your call perREADME.md. (RFC0008.5's corruption audit event remains a documented §9 deferral, not a gap — the structured-error + halt halves are green.)Verification
Confirmed no live
#[ignore]/unimplemented!()acceptance stubs remain inourios-minerorourios-wal, and both crates' suites pass.mdbook buildclean.🤖 Generated with Claude Code
Summary by CodeRabbit