docs(validation): align the five-level validation contract - #528
Conversation
- Distinguish stored orientation, intrinsic orientability, and geometric orientation across the public documentation. - Synchronize validation APIs, layered errors, and backend-specific realization guarantees. - Refresh the mechanical paper table and author TODO scaffolding without replacing manuscript prose. Closes #445
|
No actionable comments were generated in the recent review. 🎉 ℹ️ Recent review info⚙️ Run configurationConfiguration used: Path: .coderabbit.yml Review profile: CHILL Plan: Pro Run ID: ⛔ Files ignored due to path filters (1)
📒 Files selected for processing (8)
WalkthroughDocumentation and paper updates align the five-level validation model with Level 2 stored orientation, Level 3 intrinsic orientability, Level 4 geometric realization, related diagnostics, topology guarantees, and public API mappings. ChangesValidation model overview
Orientation and topology contracts
Validation semantics and diagnostics
Paper validation API mapping
Estimated code review effort: 3 (Moderate) | ~20 minutes Possibly related issues
Possibly related PRs
Suggested labels: Poem
🚥 Pre-merge checks | ✅ 4 | ❌ 1❌ Failed checks (1 inconclusive)
✅ Passed checks (4 passed)
✨ Finishing Touches🧪 Generate unit tests (beta)
Comment |
Up to standards ✅🟢 Issues
|
| Metric | Results |
|---|---|
| Coverage variation | ✅ +0.02% coverage variation (-1.00%) |
| Diff coverage | ✅ ∅ diff coverage |
Coverage variation details
Coverable lines Covered lines Coverage Common ancestor commit (b4a2ef3) 81699 74823 91.58% Head commit (e152835) 81699 (+0) 74840 (+17) 91.60% (+0.02%) Coverage variation is the difference between the coverage for the head and common ancestor commits of the pull request branch:
<coverage of head commit> - <coverage of common ancestor commit>
Diff coverage details
Coverable lines Covered lines Diff coverage Pull request (#528) 0 0 ∅ (not applicable) Diff coverage is the percentage of lines that are covered by tests out of the coverable lines that the pull request added or modified:
<covered lines added or modified>/<coverable lines added or modified> * 100%
NEW Get contextual insights on your PRs based on Codacy's metrics, along with PR and Jira context, without leaving GitHub. Enable AI reviewer
TIP This summary will be updated as you push new changes.
Codecov Report✅ All modified and coverable lines are covered by tests. Additional details and impacted files@@ Coverage Diff @@
## main #528 +/- ##
==========================================
+ Coverage 91.56% 91.58% +0.02%
==========================================
Files 88 88
Lines 81488 81488
==========================================
+ Hits 74614 74631 +17
+ Misses 6874 6857 -17
Flags with carried forward coverage won't be shown. Click here to find out more. ☔ View full report in Codecov by Harness. |
Closes #445