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 }}
cartesi
/
sequencer
Public
Notifications
You must be signed in to change notification settings
Fork
1
Star
2
Code
Issues
2
Pull requests
3
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
feat!: establish runtime ownership and durable application history
- #28
#28
Merged
GCdePaula
merged 32 commits into
main
cartesi/sequencer:main
from
feature/review-ledger-and-tracks
cartesi/sequencer:feature/review-ledger-and-tracks
Copy head branch name to clipboard
Sep 11, 2026
Conversation
Commits
32
(32)
Checks
Files changed
Merged
feat!: establish runtime ownership and durable application history
#28
GCdePaula
merged 32 commits into
main
cartesi/sequencer:main
from
feature/review-ledger-and-tracks
cartesi/sequencer:feature/review-ledger-and-tracks
Copy head branch name to clipboard
Commits
Commits on Sep 10, 2026
feat!: authority-boundary runtime, fact-derived admission, durable history foundation
Show description for 9c67337
GCdePaula
committed
9c67337
View commit details
Copy full SHA for 9c67337
Browse repository at this point
docs: distill the corpus — living docs timeless, history in the register
Show description for f6e5f1f
GCdePaula
committed
f6e5f1f
View commit details
Copy full SHA for f6e5f1f
Browse repository at this point
fix(egress): make the WS feed's I11 filter unconstructible-to-violate
Show description for f391d1d
GCdePaula
committed
f391d1d
View commit details
Copy full SHA for f391d1d
Browse repository at this point
refactor(run)!: consume config in prepare; one drain loop; collapse the launch bracket
Show description for c2658b0
GCdePaula
committed
c2658b0
View commit details
Copy full SHA for c2658b0
Browse repository at this point
feat(l1): redact the submitter key at the process edge (SubmitterKey)
Show description for d94007a
GCdePaula
committed
d94007a
View commit details
Copy full SHA for d94007a
Browse repository at this point
fix(runtime): simplify fee oracle lifecycle and close review gaps
Show description for 40a2235
GCdePaula
committed
40a2235
View commit details
Copy full SHA for 40a2235
Browse repository at this point
test(recovery): align E2E clock models
Show description for d400b37
GCdePaula
committed
d400b37
View commit details
Copy full SHA for d400b37
Browse repository at this point
docs(review): record the 2026-09-03 branch stock-take
Show description for f680286
GCdePaula
committed
f680286
View commit details
Copy full SHA for f680286
Browse repository at this point
fix(ci): stop styling logs off-TTY; assert the danger exit class, not the log line
Show description for 37c47ce
GCdePaula
committed
37c47ce
View commit details
Copy full SHA for 37c47ce
Browse repository at this point
docs: make the runtime prose match what the types enforce
Show description for 50dea58
GCdePaula
committed
50dea58
View commit details
Copy full SHA for 50dea58
Browse repository at this point
docs: finish the review-codename sweep
Show description for 4e14c16
GCdePaula
committed
4e14c16
View commit details
Copy full SHA for 4e14c16
Browse repository at this point
chore(storage): gate the remaining test-only surface
Show description for 410bf0b
GCdePaula
committed
410bf0b
View commit details
Copy full SHA for 410bf0b
Browse repository at this point
fix(recovery): log the flush's finality-wait retry as a warning
Show description for f126a0e
GCdePaula
committed
f126a0e
View commit details
Copy full SHA for f126a0e
Browse repository at this point
docs(fee): say what fixed_mul's truncation relies on
Show description for e523247
GCdePaula
committed
e523247
View commit details
Copy full SHA for e523247
Browse repository at this point
fix(ingress): keep the application's error detail out of the /tx 500 body
Show description for d7ccb61
GCdePaula
committed
d7ccb61
View commit details
Copy full SHA for d7ccb61
Browse repository at this point
refactor(app): drop the panicking ApplicationProgress constructor
Show description for d5fda15
GCdePaula
committed
d5fda15
View commit details
Copy full SHA for d5fda15
Browse repository at this point
docs(review): record wave 1 of the stock-take follow-ups
Show description for 6e15c7a
GCdePaula
committed
6e15c7a
View commit details
Copy full SHA for 6e15c7a
Browse repository at this point
refactor(runtime): containment writes nothing durable; the bracket writes the black box once
Show description for c3b1d3d
GCdePaula
committed
c3b1d3d
View commit details
Copy full SHA for c3b1d3d
Browse repository at this point
refactor(storage): the finalized lease carries its inclusion block non-optionally
Show description for a48b448
GCdePaula
committed
a48b448
View commit details
Copy full SHA for a48b448
Browse repository at this point
fix(recovery): the EnsureOpenTip phase names its causes and enforces its postcondition
Show description for 04edd25
GCdePaula
committed
04edd25
View commit details
Copy full SHA for 04edd25
Browse repository at this point
refactor(runtime): workers that only need to stop take the notification half
Show description for b61874d
GCdePaula
committed
b61874d
View commit details
Copy full SHA for b61874d
Browse repository at this point
fix(commands): classify the key file by kind and give every recovery failure one verdict
Show description for fc1d2d6
GCdePaula
committed
fc1d2d6
View commit details
Copy full SHA for fc1d2d6
Browse repository at this point
test(commands): table-drive the exit-code contract and pin two wire values
Show description for 6082488
GCdePaula
committed
6082488
View commit details
Copy full SHA for 6082488
Browse repository at this point
docs(review): record wave 3 of the stock-take follow-ups
GCdePaula
committed
807d34d
View commit details
Copy full SHA for 807d34d
Browse repository at this point
docs: consolidate architecture documentation and review history
Show description for 9545017
GCdePaula
committed
9545017
View commit details
Copy full SHA for 9545017
Browse repository at this point
refactor(storage): remove duplicate execution-offset validation
Show description for a0c15f9
GCdePaula
committed
a0c15f9
View commit details
Copy full SHA for a0c15f9
Browse repository at this point
fix(l1): join in-flight reader appends during shutdown
Show description for 191a76f
GCdePaula
committed
191a76f
View commit details
Copy full SHA for 191a76f
Browse repository at this point
refactor(recovery): express startup recovery as an ordered procedure
Show description for 1ceb6a6
GCdePaula
committed
1ceb6a6
View commit details
Copy full SHA for 1ceb6a6
Browse repository at this point
refactor(runtime)!: abort diagnosed terminal faults without draining
Show description for 9451f61
GCdePaula
committed
9451f61
View commit details
Copy full SHA for 9451f61
Browse repository at this point
refactor(application)!: simplify progress ownership and checkpoint creation
Show description for 129da29
GCdePaula
committed
129da29
View commit details
Copy full SHA for 129da29
Browse repository at this point
fix: align ingress CORS and Lua tooling with DEX integration
Show description for a2a2d45
GCdePaula
committed
a2a2d45
View commit details
Copy full SHA for a2a2d45
Browse repository at this point
docs: clarify application failure semantics and superseded review notes
GCdePaula
committed
ef5f640
View commit details
Copy full SHA for ef5f640
Browse repository at this point
You can’t perform that action at this time.