Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
See all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
AdaWorldAPI
lance-graph
Repository navigation
Code
Issues
9
(9)
Pull requests
1
(1)
Actions
Projects
Security and quality
Insights
More
items
D-RFT-1 typed composition + r2il PostgreSQL primitive polyfill (IntXor/ANY/ALL/KEY_RUNS, checked scalar arithmetic, 19 procedures)
- #1681
#1681
Merged
AdaWorldAPI
merged 10 commits into
main
AdaWorldAPI/lance-graph:main
from
ccr-0455e606-rft1
AdaWorldAPI/lance-graph:ccr-0455e606-rft1
Copy head branch name to clipboard
Oct 21, 2026
Conversation
Commits
10
(10)
Checks
Files changed
Merged
D-RFT-1 typed composition + r2il PostgreSQL primitive polyfill (IntXor/ANY/ALL/KEY_RUNS, checked scalar arithmetic, 19 procedures)
#1681
AdaWorldAPI
merged 10 commits into
main
AdaWorldAPI/lance-graph:main
from
ccr-0455e606-rft1
AdaWorldAPI/lance-graph:ccr-0455e606-rft1
Copy head branch name to clipboard
Commits
Commits on Oct 21, 2026
r2il: wire IntXor, ANY and ALL; add exists/all/differ/count_and procedures
Show description for e8636af
claude
committed
e8636af
View commit details
Copy full SHA for e8636af
Browse repository at this point
r2il-mask-abi-probe: the refused-byte list in row_bridge's doc is historical
Show description for 8e1db2c
claude
committed
8e1db2c
View commit details
Copy full SHA for 8e1db2c
Browse repository at this point
r2il: intersect, union and keep procedures
Show description for fa305a8
claude
committed
fa305a8
View commit details
Copy full SHA for fa305a8
Browse repository at this point
dir-rmap-probe: D-RFT-1 typed composition over the DR256 slot coordinate
Show description for 70d9c49
claude
committed
70d9c49
View commit details
Copy full SHA for 70d9c49
Browse repository at this point
board: D-RFT-1 entry and STATUS_BOARD row (In PR)
Show description for 9e779be
claude
committed
9e779be
View commit details
Copy full SHA for 9e779be
Browse repository at this point
board: D-RFT-1-COMPOSE entry id; stable anchor for the FoldDialect citation
Show description for 031e4c2
claude
committed
031e4c2
View commit details
Copy full SHA for 031e4c2
Browse repository at this point
r2il: PostgreSQL primitive polyfill (KEY_RUNS, scalar IntAdd/IntMult/IntSDiv, 12 procedures)
Show description for 99f5b6d
claude
committed
99f5b6d
View commit details
Copy full SHA for 99f5b6d
Browse repository at this point
r2il: clippy on the primitive tests; board: PostgreSQL primitive card in the D-RFT-1 entry
Show description for ebc6646
claude
committed
ebc6646
View commit details
Copy full SHA for ebc6646
Browse repository at this point
r2il/compose: reuse slots in union/intersect chains; a page carries its own witness
Show description for 55c75c5
claude
committed
55c75c5
View commit details
Copy full SHA for 55c75c5
Browse repository at this point
board: D-RFT-1 entry — page witness law, fused wide-chain refusal open
Show description for f67e9c5
claude
committed
f67e9c5
View commit details
Copy full SHA for f67e9c5
Browse repository at this point
You can’t perform that action at this time.
