René's URL Explorer Experiment


Title: feat(oracles): let a calibration require its violation's difference by KyleAMathews · Pull Request #32 · TanStack/oracles · GitHub

Open Graph Title: feat(oracles): let a calibration require its violation's difference by KyleAMathews · Pull Request #32 · TanStack/oracles

X Title: feat(oracles): let a calibration require its violation's difference by KyleAMathews · Pull Request #32 · TanStack/oracles

Description: TanStack Oracles. Contribute to TanStack/oracles development by creating an account on GitHub.

Open Graph Description: A calibration can now require the difference of the violation that rejects its wrong answer, not only the law. An oracle that judges several faults under one law no longer has to put the fault into...

X Description: A calibration can now require the difference of the violation that rejects its wrong answer, not only the law. An oracle that judges several faults under one law no longer has to put the fault into...

Opengraph URL: https://github.com/TanStack/oracles/pull/32

X: @github

direct link

Domain: github.com

react-profiling0
react-import-mapreact,react-dom,react-dom/client,react-dom/profiling,react-is,react-reconciler,react/compiler-runtime,react/jsx-dev-runtime,react/jsx-runtime,scheduler@d5750093facf
route-pattern/_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format)
route-controllervoltron_pull_requests_fragments
route-actionpull_request_layout
fetch-noncev2:3df6a6d7-b63d-0ad0-08af-ec065b9bc670
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idED04:141D8D:419997E:5623BB3:6AF9B849
html-safe-nonce801e1ad06eee5f85376a2bc57a483b748867aa831c4833e5a705d9db67634d87
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJFRDA0OjE0MUQ4RDo0MTk5OTdFOjU2MjNCQjM6NkFGOUI4NDkiLCJ2aXNpdG9yX2lkIjoiODYwNTQyODAxODMwMDE3MjM2MSIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmacb25c208c3bd7857e96ae4f9536800c9cbf3749e415cd44fb9cdd626b83a4e339
hovercard-subject-tagpull_request:5264696411
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///voltron/pull_requests_fragments/pull_request_layout
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/TanStack/oracles/32/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/310e8a73ed12212b72de2be0567566af5d95fdc3a1304c02055ff0cf2476cfd0/TanStack/oracles/pull/32
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/310e8a73ed12212b72de2be0567566af5d95fdc3a1304c02055ff0cf2476cfd0/TanStack/oracles/pull/32
og:image:altA calibration can now require the difference of the violation that rejects its wrong answer, not only the law. An oracle that judges several faults under one law no longer has to put the fault into...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernameKyleAMathews
hostnamegithub.com
expected-hostnamegithub.com
None612d3e6ffd693e7ea8d9fcf452370995872baef31d825b1fedef704cd3d24ac7
turbo-cache-controlno-cache
go-importgithub.com/TanStack/oracles git https://github.com/TanStack/oracles.git
octolytics-dimension-user_id72518640
octolytics-dimension-user_loginTanStack
octolytics-dimension-repository_id1443546044
octolytics-dimension-repository_nwoTanStack/oracles
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id1443546044
octolytics-dimension-repository_network_root_nwoTanStack/oracles
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release072e34035c13c31543fba9f025cbbbda4210dae4
ui-targetfull
theme-color#1e2327
color-schemelight dark
react-app-namepull-requests

Links:

Skip to contenthttps://github.com/TanStack/oracles/pull/32#start-of-content
https://github.com/
Sign inhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FTanStack%2Foracles%2Fpull%2F32
GitHubRepository hosting, code review, and collaborationhttps://github.com/platform
CopilotAI coding agent for tasks, projects, and automated workhttps://github.com/features/copilot
ActionsCI/CD and automationhttps://github.com/features/actions
Code QualityQuality analysis, fixes, and enforcementhttps://github.com/features/code-quality
CodespacesCloud development environmentshttps://github.com/features/codespaces
Code SecurityVulnerability detection and remediationhttps://github.com/security/advanced-security/code-security
Secret ProtectionSecret scanning and leak preventionhttps://github.com/security/advanced-security/secret-protection
All Featureshttps://github.com/features
Documentationhttps://docs.github.com/en
Traininghttps://learn.github.com/skills
Certificationshttps://learn.github.com/credentials
Build with Copilothttps://github.com/features/ai
Customize Copilothttps://docs.github.com/en/copilot/how-tos/copilot-on-github/customize-copilot/customize-copilot-overview
Integrationshttps://github.com/marketplace
Trending reposhttps://github.com/trending
GitHub Sponsorshttps://github.com/open-source/sponsors
Developer articleshttps://github.com/resources/articles
ChangelogYour source for the latest features, improvements, and fixes across GitHub products, all in one place.https://github.blog/changelog/
Enterpriseshttps://github.com/enterprise
Teamhttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
See all industrieshttps://github.com/solutions/industry
Why GitHubhttps://github.com/why-github
Customer Storieshttps://github.com/customer-stories
Business insightshttps://github.com/solutions/executive-insights
Trust Centerhttps://github.com/trust-center
GitHub Advanced SecurityEnterprise-grade code securityhttps://github.com/security/advanced-security
Copilot for businessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/enterprise/premium-support
Documentationhttps://docs.github.com/en
Resource centerhttps://github.com/resources
Bloghttps://github.blog/
Events & webinarshttps://github.com/resources/events
Community Forumhttps://github.com/orgs/community/discussions
Customer Storieshttps://github.com/customer-stories
Integrationshttps://github.com/marketplace
Customer supporthttps://help.github.com/
Traininghttps://learn.github.com/skills
GitHub Statushttps://www.githubstatus.com/
Abouthttps://github.com/about
Partnershttps://github.com/partners
Changeloghttps://github.blog/changelog/
GitHub UniverseThe event for developers, by developers — talks, workshops, and what’s next for GitHub.https://githubuniverse.com/
Pricinghttps://github.com/pricing
Sign inhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FTanStack%2Foracles%2Fpull%2F32
Sign uphttps://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fvoltron%2Fpull_requests_fragments%2Fpull_request_layout&source=header-repo&source_repo=TanStack%2Foracles
Reloadhttps://github.com/TanStack/oracles/pull/32
Reloadhttps://github.com/TanStack/oracles/pull/32
Reloadhttps://github.com/TanStack/oracles/pull/32
TanStackhttps://github.com/TanStack
oracleshttps://github.com/TanStack/oracles
Codehttps://github.com/TanStack/oracles
Issues36 (36)https://github.com/TanStack/oracles/issues
Pull requests8 (8)https://github.com/TanStack/oracles/pulls
Discussionshttps://github.com/TanStack/oracles/discussions
Actionshttps://github.com/TanStack/oracles/actions
Security and qualityhttps://github.com/TanStack/oracles/security
Insightshttps://github.com/TanStack/oracles/pulse
https://github.com/TanStack/oracles
KyleAMathewshttps://github.com/KyleAMathews
mainhttps://github.com/TanStack/oracles/tree/main
overnight/f27-calibration-detailhttps://github.com/TanStack/oracles/tree/overnight/f27-calibration-detail
Conversationhttps://github.com/TanStack/oracles/pull/32
Commits3 (3)https://github.com/TanStack/oracles/pull/32/commits
Checkshttps://github.com/TanStack/oracles/pull/32/checks
Files changedhttps://github.com/TanStack/oracles/pull/32/files
feat(oracles): let a calibration require its violation's differencehttps://github.com/TanStack/oracles/pull/32#top
KyleAMathewshttps://github.com/KyleAMathews
mainhttps://github.com/TanStack/oracles/tree/main
overnight/f27-calibration-detailhttps://github.com/TanStack/oracles/tree/overnight/f27-calibration-detail
https://github.com/KyleAMathews
KyleAMathewshttps://github.com/KyleAMathews
Nov 11, 2026https://github.com/TanStack/oracles/pull/32#issue-6334688395
fix(oracles): a slow property reports its law verdict instead of timing out while it shrinks #29https://github.com/TanStack/oracles/pull/29
84cd34ahttps://github.com/TanStack/oracles/commit/84cd34ad7fd6509d05c0953eb5c90f29ba6ea244
875f3c0https://github.com/TanStack/oracles/commit/875f3c0694cf5bd62fccb730f69db124a28122f2
5d39975https://github.com/TanStack/oracles/commit/5d399753e01c5f45018e186a47bc2e965f10da9f
Please reload this pagehttps://github.com/TanStack/oracles/pull/32
KyleAMathewshttps://github.com/KyleAMathews
November 11, 2026 07:47https://github.com/TanStack/oracles/pull/32#commits-pushed-875f3c0
https://github.com/KyleAMathews
feat(oracles): let a calibration require its violation's differencehttps://github.com/TanStack/oracles/pull/32/commits/875f3c0694cf5bd62fccb730f69db124a28122f2
875f3c0https://github.com/TanStack/oracles/pull/32/commits/875f3c0694cf5bd62fccb730f69db124a28122f2
84cd34ahttps://github.com/TanStack/oracles/commit/84cd34ad7fd6509d05c0953eb5c90f29ba6ea244
https://github.com/KyleAMathews
fix(oracles): reject an empty required difference; name a non-text onehttps://github.com/TanStack/oracles/pull/32/commits/5d399753e01c5f45018e186a47bc2e965f10da9f
5d39975https://github.com/TanStack/oracles/pull/32/commits/5d399753e01c5f45018e186a47bc2e965f10da9f
875f3c0https://github.com/TanStack/oracles/commit/875f3c0694cf5bd62fccb730f69db124a28122f2
https://github.com/KyleAMathews
Merge origin/main into overnight/f27-calibration-detailhttps://github.com/TanStack/oracles/pull/32/commits/61dfa373fd7f81d24f2667188f4eea32b561e76a
61dfa37https://github.com/TanStack/oracles/pull/32/commits/61dfa373fd7f81d24f2667188f4eea32b561e76a
https://github.com/apps/changeset-bot
changeset-bothttps://github.com/apps/changeset-bot
Nov 11, 2026https://github.com/TanStack/oracles/pull/32#issuecomment-6803892986
61dfa37https://github.com/TanStack/oracles/commit/61dfa373fd7f81d24f2667188f4eea32b561e76a
Click here to learn what changesets arehttps://changesets.dev/faq
Click here if you're a maintainer who wants to add another changeset to this PRhttps://github.com/TanStack/oracles/new/overnight/f27-calibration-detail?filename=.changeset/legal-kings-stay.md&value=---%0A%22%40tanstack%2Foracles%22%3A%20patch%0A---%0A%0Afeat(oracles)%3A%20let%20a%20calibration%20require%20its%20violation's%20difference%0A
Please reload this pagehttps://github.com/TanStack/oracles/pull/32
https://github.com/apps/coderabbitai
coderabbitaihttps://github.com/apps/coderabbitai
Nov 11, 2026https://github.com/TanStack/oracles/pull/32#issuecomment-6803893571
CodeRabbithttps://coderabbit.ai?utm_source=oss&utm_medium=github&utm_campaign=TanStack/oracles&utm_content=32
Xhttps://twitter.com/intent/tweet?text=I%20just%20used%20%40coderabbitai%20for%20my%20code%20review%2C%20and%20it%27s%20fantastic%21%20It%27s%20free%20for%20OSS%20and%20offers%20a%20free%20trial%20for%20the%20proprietary%20code.%20Check%20it%20out%3A&url=https%3A//coderabbit.ai
Mastodonhttps://mastodon.social/share?text=I%20just%20used%20%40coderabbitai%20for%20my%20code%20review%2C%20and%20it%27s%20fantastic%21%20It%27s%20free%20for%20OSS%20and%20offers%20a%20free%20trial%20for%20the%20proprietary%20code.%20Check%20it%20out%3A%20https%3A%2F%2Fcoderabbit.ai
Reddithttps://www.reddit.com/submit?title=Great%20tool%20for%20code%20review%20-%20CodeRabbit&text=I%20just%20used%20CodeRabbit%20for%20my%20code%20review%2C%20and%20it%27s%20fantastic%21%20It%27s%20free%20for%20OSS%20and%20offers%20a%20free%20trial%20for%20proprietary%20code.%20Check%20it%20out%3A%20https%3A//coderabbit.ai
LinkedInhttps://www.linkedin.com/sharing/share-offsite/?url=https%3A%2F%2Fcoderabbit.ai&mini=true&title=Great%20tool%20for%20code%20review%20-%20CodeRabbit&summary=I%20just%20used%20CodeRabbit%20for%20my%20code%20review%2C%20and%20it%27s%20fantastic%21%20It%27s%20free%20for%20OSS%20and%20offers%20a%20free%20trial%20for%20proprietary%20code
Please reload this pagehttps://github.com/TanStack/oracles/pull/32
https://github.com/apps/pkg-pr-new
pkg-pr-newhttps://github.com/apps/pkg-pr-new
Nov 11, 2026https://github.com/TanStack/oracles/pull/32#issuecomment-6804113604
Open in StackBlitzhttps://pkg.pr.new/template/fe3f0569-a4f7-44dd-b9a2-3752b07e1054
61dfa37https://github.com/TanStack/oracles/runs/130726033087
Please reload this pagehttps://github.com/TanStack/oracles/pull/32
https://github.com/KyleAMathews
KyleAMathewshttps://github.com/KyleAMathews
f0cda58https://github.com/TanStack/oracles/commit/f0cda589575a07dd51d98ed46d202a93d0f628f8
Nov 11, 2026https://github.com/TanStack/oracles/pull/32#event-35831365459
Please reload this pagehttps://github.com/TanStack/oracles/pull/32
https://github.com/KyleAMathews
KyleAMathewshttps://github.com/KyleAMathews
November 11, 2026 18:34https://github.com/TanStack/oracles/pull/32#event-35831374312
feat: bind calibrations to declared histories #31 https://github.com/TanStack/oracles/pull/31
feat!: delete declareOracle; owns on any call, and oracle files register only through oracleProperty #33 https://github.com/TanStack/oracles/pull/33
https://github.co/hiddenchars
https://github.com/TanStack/oracles/pull/{{ revealButtonHref }}
Sign up for freehttps://github.com/join?source=comment-repo
Sign in to commenthttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FTanStack%2Foracles%2Fpull%2F32
Please reload this pagehttps://github.com/TanStack/oracles/pull/32
Please reload this pagehttps://github.com/TanStack/oracles/pull/32
https://github.com/KyleAMathews
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.