René's URL Explorer Experiment


Title: feat(oracles): an oracle for mutant validity; dead code and the -0 boundary hint by KyleAMathews · Pull Request #8 · TanStack/oracles · GitHub

Open Graph Title: feat(oracles): an oracle for mutant validity; dead code and the -0 boundary hint by KyleAMathews · Pull Request #8 · TanStack/oracles

X Title: feat(oracles): an oracle for mutant validity; dead code and the -0 boundary hint by KyleAMathews · Pull Request #8 · TanStack/oracles

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

Open Graph Description: The gap CLI now has an oracle for its own mutants. The oracle checks that some input detects every emitted mutant. It also checks that the CLI marks the mutants that no input can detect. A report t...

X Description: The gap CLI now has an oracle for its own mutants. The oracle checks that some input detects every emitted mutant. It also checks that the CLI marks the mutants that no input can detect. A report t...

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

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:4941fbeb-2090-43a3-60d9-56a90220857b
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-id9AA4:376D0C:12D30A8:18FA6CA:6AF9B43E
html-safe-nonce0263bca65ff0231a9d35d5c49fb97718d4e7b7dd3e895ab49f5622877f5ff3e0
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5QUE0OjM3NkQwQzoxMkQzMEE4OjE4RkE2Q0E6NkFGOUI0M0UiLCJ2aXNpdG9yX2lkIjoiMjU0ODExODgxNzY0MDkyMDEyNiIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac022012a21fe376e0484df7d85efaadc50d87d4e8e8783fe6f9b664662e49ef20
hovercard-subject-tagpull_request:5248678651
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/8/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/21b3a32e41cc9ed663a800897ae5abcda0d832e6feb8d2964ad65ae2c18c7b3e/TanStack/oracles/pull/8
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/21b3a32e41cc9ed663a800897ae5abcda0d832e6feb8d2964ad65ae2c18c7b3e/TanStack/oracles/pull/8
og:image:altThe gap CLI now has an oracle for its own mutants. The oracle checks that some input detects every emitted mutant. It also checks that the CLI marks the mutants that no input can detect. A report t...
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/8#start-of-content
https://github.com/
Sign inhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FTanStack%2Foracles%2Fpull%2F8
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%2F8
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/8
Reloadhttps://github.com/TanStack/oracles/pull/8
Reloadhttps://github.com/TanStack/oracles/pull/8
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
feat/no-undetectable-mutantshttps://github.com/TanStack/oracles/tree/feat/no-undetectable-mutants
Conversationhttps://github.com/TanStack/oracles/pull/8
Commits7 (7)https://github.com/TanStack/oracles/pull/8/commits
Checkshttps://github.com/TanStack/oracles/pull/8/checks
Files changedhttps://github.com/TanStack/oracles/pull/8/files
feat(oracles): an oracle for mutant validity; dead code and the -0 boundary hinthttps://github.com/TanStack/oracles/pull/8#top
KyleAMathewshttps://github.com/KyleAMathews
mainhttps://github.com/TanStack/oracles/tree/main
feat/no-undetectable-mutantshttps://github.com/TanStack/oracles/tree/feat/no-undetectable-mutants
https://github.com/KyleAMathews
KyleAMathewshttps://github.com/KyleAMathews
Nov 10, 2026https://github.com/TanStack/oracles/pull/8#issue-6315585167
Please reload this pagehttps://github.com/TanStack/oracles/pull/8
Please reload this pagehttps://github.com/TanStack/oracles/pull/8
KyleAMathewshttps://github.com/KyleAMathews
November 10, 2026 13:08https://github.com/TanStack/oracles/pull/8#commits-pushed-db3a0a3
https://github.com/KyleAMathews
test(oracles): oracle for the mutant validity law (red on main)https://github.com/TanStack/oracles/pull/8/commits/db3a0a38280d3cad2e44b1f2b48582f8037ea6cf
db3a0a3https://github.com/TanStack/oracles/pull/8/commits/db3a0a38280d3cad2e44b1f2b48582f8037ea6cf
https://github.com/KyleAMathews
fix(oracles): skip an ordering swap whose branches yield its operandshttps://github.com/TanStack/oracles/pull/8/commits/7cbf43c32c9b5a2f4b045d6f4bc7b4cee78e9881
7cbf43chttps://github.com/TanStack/oracles/pull/8/commits/7cbf43c32c9b5a2f4b045d6f4bc7b4cee78e9881
db3a0a3https://github.com/TanStack/oracles/commit/db3a0a38280d3cad2e44b1f2b48582f8037ea6cf
https://github.com/KyleAMathews
test(oracles): mutant validity over the data domain, dead code, bound…https://github.com/TanStack/oracles/pull/8/commits/92154fcc2d531c46a1c50cf7ce74e4944875107e
92154fchttps://github.com/TanStack/oracles/pull/8/commits/92154fcc2d531c46a1c50cf7ce74e4944875107e
7cbf43chttps://github.com/TanStack/oracles/commit/7cbf43c32c9b5a2f4b045d6f4bc7b4cee78e9881
7cbf43chttps://github.com/TanStack/oracles/commit/7cbf43c32c9b5a2f4b045d6f4bc7b4cee78e9881
7cbf43chttps://github.com/TanStack/oracles/commit/7cbf43c32c9b5a2f4b045d6f4bc7b4cee78e9881
https://github.com/KyleAMathews
fix(oracles): emit every swap; mark dead code and the boundary hinthttps://github.com/TanStack/oracles/pull/8/commits/d66f5381669233ac2ced2179aa9cf1b3a22b6f8d
d66f538https://github.com/TanStack/oracles/pull/8/commits/d66f5381669233ac2ced2179aa9cf1b3a22b6f8d
7cbf43chttps://github.com/TanStack/oracles/commit/7cbf43c32c9b5a2f4b045d6f4bc7b4cee78e9881
https://github.com/apps/changeset-bot
changeset-bothttps://github.com/apps/changeset-bot
Nov 10, 2026https://github.com/TanStack/oracles/pull/8#issuecomment-6778934309
Please reload this pagehttps://github.com/TanStack/oracles/pull/8
9d896cdhttps://github.com/TanStack/oracles/commit/9d896cd1b489a294a8cb61f1ab27c1b6d71b067c
Click here to learn what changesets are, and how to add onehttps://changesets.dev/faq
Click here if you're a maintainer who wants to add a changeset to this PRhttps://github.com/TanStack/oracles/new/feat/no-undetectable-mutants?filename=.changeset/sparkly-worms-brush.md&value=---%0A%22%40tanstack%2Foracles%22%3A%20patch%0A---%0A%0Afeat(oracles)%3A%20an%20oracle%20for%20mutant%20validity%3B%20dead%20code%20and%20the%20-0%20boundary%20hint%0A
Please reload this pagehttps://github.com/TanStack/oracles/pull/8
https://github.com/apps/coderabbitai
coderabbitaihttps://github.com/apps/coderabbitai
Nov 10, 2026https://github.com/TanStack/oracles/pull/8#issuecomment-6778934788
Please reload this pagehttps://github.com/TanStack/oracles/pull/8
CodeRabbithttps://coderabbit.ai?utm_source=oss&utm_medium=github&utm_campaign=TanStack/oracles&utm_content=8
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/8
https://github.com/apps/pkg-pr-new
pkg-pr-newhttps://github.com/apps/pkg-pr-new
Nov 10, 2026https://github.com/TanStack/oracles/pull/8#issuecomment-6779323481
Please reload this pagehttps://github.com/TanStack/oracles/pull/8
Open in StackBlitzhttps://pkg.pr.new/template/2c393542-9bd7-4e83-abb5-ffc00a200d5e
9d896cdhttps://github.com/TanStack/oracles/runs/130158497461
Please reload this pagehttps://github.com/TanStack/oracles/pull/8
KyleAMathewshttps://github.com/KyleAMathews
November 10, 2026 14:13https://github.com/TanStack/oracles/pull/8#commits-pushed-6107a6c
https://github.com/KyleAMathews
test(oracles): mutant validity over typed domains, enumerated, with r…https://github.com/TanStack/oracles/pull/8/commits/6107a6c006fba7f31802a088047b95445c18769b
6107a6chttps://github.com/TanStack/oracles/pull/8/commits/6107a6c006fba7f31802a088047b95445c18769b
d66f538https://github.com/TanStack/oracles/commit/d66f5381669233ac2ced2179aa9cf1b3a22b6f8d
#8https://github.com/TanStack/oracles/pull/8
d66f538https://github.com/TanStack/oracles/commit/d66f5381669233ac2ced2179aa9cf1b3a22b6f8d
https://github.com/KyleAMathews
test(oracles): typed-domain laws: dead code over every type, skips, r…https://github.com/TanStack/oracles/pull/8/commits/f13b0e5cc8f590cd159ca95388a03dcd56c866b7
f13b0e5https://github.com/TanStack/oracles/pull/8/commits/f13b0e5cc8f590cd159ca95388a03dcd56c866b7
d66f538https://github.com/TanStack/oracles/commit/d66f5381669233ac2ced2179aa9cf1b3a22b6f8d
#8https://github.com/TanStack/oracles/pull/8
d66f538https://github.com/TanStack/oracles/commit/d66f5381669233ac2ced2179aa9cf1b3a22b6f8d
https://github.com/KyleAMathews
fix(oracles): typed admitted domains; dead code, skips, and boundary …https://github.com/TanStack/oracles/pull/8/commits/9d896cd1b489a294a8cb61f1ab27c1b6d71b067c
9d896cdhttps://github.com/TanStack/oracles/pull/8/commits/9d896cd1b489a294a8cb61f1ab27c1b6d71b067c
#8https://github.com/TanStack/oracles/pull/8
f13b0e5https://github.com/TanStack/oracles/commit/f13b0e5cc8f590cd159ca95388a03dcd56c866b7
d66f538https://github.com/TanStack/oracles/commit/d66f5381669233ac2ced2179aa9cf1b3a22b6f8d
f13b0e5https://github.com/TanStack/oracles/commit/f13b0e5cc8f590cd159ca95388a03dcd56c866b7
https://github.com/KyleAMathews
KyleAMathewshttps://github.com/KyleAMathews
1f5ac22https://github.com/TanStack/oracles/commit/1f5ac2252968b76770ebf60f693a50c3706bbf8b
Nov 10, 2026https://github.com/TanStack/oracles/pull/8#event-35734612798
Please reload this pagehttps://github.com/TanStack/oracles/pull/8
https://github.com/KyleAMathews
KyleAMathewshttps://github.com/KyleAMathews
November 10, 2026 22:02https://github.com/TanStack/oracles/pull/8#event-35734616271
https://github.com/KyleAMathews
KyleAMathewshttps://github.com/KyleAMathews
Nov 10, 2026 https://github.com/TanStack/oracles/pull/8#ref-pullrequest-6317991057
feat(oracles): survivor classes with directive messages; short, streamed gap output #12 https://github.com/TanStack/oracles/pull/12
KyleAMathewshttps://github.com/KyleAMathews
Nov 11, 2026 https://github.com/TanStack/oracles/pull/8#ref-commit-5331fbd
https://github.com/KyleAMathews
feat(oracles): survivor classes with directive messages; short, strea…https://github.com/TanStack/oracles/commit/5331fbdaa40c3e32bc52049107d3ef5902bf303d
5331fbdhttps://github.com/TanStack/oracles/commit/5331fbdaa40c3e32bc52049107d3ef5902bf303d
#12https://github.com/TanStack/oracles/pull/12
#8https://github.com/TanStack/oracles/pull/8
454a546https://github.com/TanStack/oracles/commit/454a546cea7f55f1dcf65b0d96e580a66da07004
1f5ac22https://github.com/TanStack/oracles/commit/1f5ac2252968b76770ebf60f693a50c3706bbf8b
bc37fd4https://github.com/TanStack/oracles/commit/bc37fd4d898a4b7b9c092d0280f08c00c599b948
809c8b9https://github.com/TanStack/oracles/commit/809c8b9d730edd6c2b0346e51e0084ea78d3cddd
809c8b9https://github.com/TanStack/oracles/commit/809c8b9d730edd6c2b0346e51e0084ea78d3cddd
809c8b9https://github.com/TanStack/oracles/commit/809c8b9d730edd6c2b0346e51e0084ea78d3cddd
#11https://github.com/TanStack/oracles/pull/11
https://github.com/KyleAMathews
KyleAMathewshttps://github.com/KyleAMathews
Nov 11, 2026 https://github.com/TanStack/oracles/pull/8#ref-pullrequest-6325733214
ci(oracles): run the mutant-validity oracle in CI #24 https://github.com/TanStack/oracles/pull/24
KyleAMathewshttps://github.com/KyleAMathews
Nov 11, 2026 https://github.com/TanStack/oracles/pull/8#ref-commit-0d5c099
https://github.com/KyleAMathews
ci(oracles): run the mutant-validity oracle in CI (https://github.com/TanStack/oracles/commit/0d5c099515f6ed8d730965a637f04034f73ad613
#24https://github.com/TanStack/oracles/pull/24
)https://github.com/TanStack/oracles/commit/0d5c099515f6ed8d730965a637f04034f73ad613
0d5c099https://github.com/TanStack/oracles/commit/0d5c099515f6ed8d730965a637f04034f73ad613
#8https://github.com/TanStack/oracles/pull/8
https://github.com/KyleAMathews
KyleAMathewshttps://github.com/KyleAMathews
Nov 12, 2026 https://github.com/TanStack/oracles/pull/8#ref-pullrequest-6340264096
fix(oracles): types label a survivor as outside-annotation, and never skip a mutant or mark it dead #36 https://github.com/TanStack/oracles/pull/36
KyleAMathewshttps://github.com/KyleAMathews
Nov 12, 2026 https://github.com/TanStack/oracles/pull/8#ref-commit-7dc3639
https://github.com/KyleAMathews
fix(oracles): types label a survivor as outside-annotation, and never…https://github.com/TanStack/oracles/commit/7dc363922c9b4987de70b59e1cdeeef4473b92c7
7dc3639https://github.com/TanStack/oracles/commit/7dc363922c9b4987de70b59e1cdeeef4473b92c7
#36https://github.com/TanStack/oracles/pull/36
#8https://github.com/TanStack/oracles/pull/8
fc6a2e2https://github.com/TanStack/oracles/commit/fc6a2e27f3bb470b2eb9e79b3daad9e293598861
10853a2https://github.com/TanStack/oracles/commit/10853a2d05bd63f6075485a52d12cb302d685f32
f16fce3https://github.com/TanStack/oracles/commit/f16fce3ceb3d3badbdfb885d45ec486cc7e75ef3
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%2F8
Please reload this pagehttps://github.com/TanStack/oracles/pull/8
Please reload this pagehttps://github.com/TanStack/oracles/pull/8
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.