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
View 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 }}
button-inc
/
batten
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
1
Code
Issues
5
Pull requests
29
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
feat(record): declare a verb-written family, and retire the first of the nine it unblocks
- #962
#962
Draft
wenzowski
wants to merge 15 commits into
main
button-inc/batten:main
from
claude/retire-bash-corpus-44-sjdnok
button-inc/batten:claude/retire-bash-corpus-44-sjdnok
Copy head branch name to clipboard
Conversation
Commits
15
(15)
Checks
Files changed
Draft
feat(record): declare a verb-written family, and retire the first of the nine it unblocks
#962
wenzowski
wants to merge 15 commits into
main
button-inc/batten:main
from
claude/retire-bash-corpus-44-sjdnok
button-inc/batten:claude/retire-bash-corpus-44-sjdnok
Copy head branch name to clipboard
Commits
Commits on Sep 18, 2026
feat(record): give a verb-written family a declaration, so a module can read it
Show description for 022ad5e
wenzowski
committed
022ad5e
View commit details
Copy full SHA for 022ad5e
Browse repository at this point
refactor(gate)!: retire branch-age-check onto the module and the producer
Show description for 4da311c
wenzowski
committed
4da311c
View commit details
Copy full SHA for 4da311c
Browse repository at this point
fix(forge): a skipped check is not a grading, so a draft records nothing
Show description for f81f7a8
wenzowski
committed
f81f7a8
View commit details
Copy full SHA for f81f7a8
Browse repository at this point
refactor(policy): extract source_key, and move the record table's validator
Show description for 0804a34
wenzowski
committed
0804a34
View commit details
Copy full SHA for 0804a34
Browse repository at this point
refactor(gate)!: retire attestation-check and timeout-drift onto the engine
Show description for 2d929ee
wenzowski
committed
2d929ee
View commit details
Copy full SHA for 2d929ee
Browse repository at this point
refactor(gate)!: retire nonverdict-scan and nonverdict-assert onto the engine
Show description for 050f9aa
wenzowski
committed
050f9aa
View commit details
Copy full SHA for 050f9aa
Browse repository at this point
fix(doctor): carry the record table into the mediated-call vocabulary
Show description for b148ec6
wenzowski
committed
b148ec6
View commit details
Copy full SHA for b148ec6
Browse repository at this point
fix(lease): move the delete-then-restore case to where the git spawn is inventoried
Show description for cdb8bba
wenzowski
committed
cdb8bba
View commit details
Copy full SHA for cdb8bba
Browse repository at this point
refactor(gate)!: retire land-divergence and land-divergence-assert onto the engine
Show description for 3a8b292
wenzowski
committed
3a8b292
View commit details
Copy full SHA for 3a8b292
Browse repository at this point
fix(prune): rescale the warm floor for the eleven tiers this campaign added
Show description for 890054c
wenzowski
committed
890054c
View commit details
Copy full SHA for 890054c
Browse repository at this point
fix(test): write! rather than push_str(format!) in the land-divergence fixture
Show description for 4314228
wenzowski
committed
4314228
View commit details
Copy full SHA for 4314228
Browse repository at this point
fix(test): mint the read receipt before each adjudication
Show description for 22148ff
wenzowski
committed
22148ff
View commit details
Copy full SHA for 22148ff
Browse repository at this point
feat(policy): a workflow's callers resolve, and five that did not
Show description for 94cc570
wenzowski
committed
94cc570
View commit details
Copy full SHA for 94cc570
Browse repository at this point
feat(show): the engine answers what content is, so a manifest stops meaning sha256sum
Show description for 334c109
wenzowski
committed
334c109
View commit details
Copy full SHA for 334c109
Browse repository at this point
revert: `show address`, whose only consumer an open decision refuses
Show description for c310578
wenzowski
committed
c310578
View commit details
Copy full SHA for c310578
Browse repository at this point
You can’t perform that action at this time.