oracle: docs/oracle.md reads the same after a blessing run, so main's freshness check passes

A value blessed in a run matches its new fixture by construction; the page said "blessed" and
CI's regenerated page said "matches", which turned main red after #68 and #69.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01NmAttHhUZTokgPeEJia8sm
This commit is contained in:
jyvikoandClaude Opus 5.5 authored and Irakli Kourtis committed 2026-10-14 07:36:49 -04:00
1 parent d586d84859
commit 741a803785
2 files changed
+25 -15

No files matched your search

+11 -1
View File
@@ -549,6 +549,16 @@ fn fixture_text(f: &FixtureCheck) -> &'static str {
}
}
/// The fixture column of docs/oracle.md. A value blessed in this run matches its new fixture by
/// construction, so the page reads the same whether or not the run blessed anything; otherwise
/// a page written by a blessing run would differ from the one CI regenerates.
fn page_fixture_text(f: &FixtureCheck) -> &'static str {
match f {
FixtureCheck::Blessed => fixture_text(&FixtureCheck::Matches),
other => fixture_text(other),
}
}
fn cell(s: &str) -> String {
s.replace('|', "\\|").replace('\n', " ")
}
@@ -609,7 +619,7 @@ benchmark, {} experiment; {} pending cases wait for capabilities still being bui
error_of(r),
r.quantity.tolerance.describe(),
cell(&result),
fixture_text(&r.fixture),
page_fixture_text(&r.fixture),
);
}
}