Skip to content

docs(v5): point the V9 gate at the cross-engine correctness strategy#42

Merged
ehrlinger merged 1 commit into
mainfrom
docs/correctness-strategy-pointer
Jun 6, 2026
Merged

docs(v5): point the V9 gate at the cross-engine correctness strategy#42
ehrlinger merged 1 commit into
mainfrom
docs/correctness-strategy-pointer

Conversation

@ehrlinger

Copy link
Copy Markdown
Owner

Surfaces the cross-engine correctness strategy (lives in TemporalHazard/inst/dev/CORRECTNESS-STRATEGY.md) for the v5/cross-engine audience.

Adds a pointer next to the V9 cross-validation gate in the v5 design spec: V9 is Tier 2 of the tiered model (Tier 1 = R-only invariants, shipped; Tier 2 = cross-engine differential gate over a shared structured/Parquet contract with one generic comparator at a statistical tolerance; Tier 3 = a frozen golden-anchor set). Records the reference-authority principle — correct = satisfies the math, and agrees with the other engine where it's right, not matches SAS — which bounds V9's scope (diff structured outputs within tolerance; don't chase SAS print conventions).

Docs-only.

🤖 Generated with Claude Code

The V9 cross-validation gate is Tier 2 of the tiered correctness model in
TemporalHazard/inst/dev/CORRECTNESS-STRATEGY.md (R-only invariants ->
cross-engine differential gate on a shared Parquet contract -> frozen
golden anchors). Add a pointer so the v5 audience finds it, and note the
reference-authority principle (correct = math + agree-where-right, not
match-SAS) that bounds V9's scope.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@codecov

codecov Bot commented Jun 6, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 80.17%. Comparing base (b3e8f6a) to head (2633a37).

Additional details and impacted files
@@           Coverage Diff           @@
##             main      #42   +/-   ##
=======================================
  Coverage   80.17%   80.17%           
=======================================
  Files          23       23           
  Lines         701      701           
=======================================
  Hits          562      562           
  Misses        139      139           
Flag Coverage Δ
unit-tests 78.03% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@ehrlinger ehrlinger merged commit 1baf63a into main Jun 6, 2026
14 checks passed
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