Next/3.0 - #277

Merged

guidanoli merged 113 commits into

mainfrom

Aug 21, 2026

Commits on Apr 7, 2026

feat: avoid reentrancy attacks on PRT
guidanoli
committed
7d806a5

Commits on Apr 8, 2026

docs: add NatSpec to ITournament errors
guidanoli
committed
66f1014
refactor: rename ITournament error parameters
guidanoli
committed
5336437
refactor!: rename ITournament errors
guidanoli
committed
140dd50
refactor!: deduplicate ITournament errors
guidanoli
committed
071b79a
refactor: call Tournament.canBeEliminated internally
guidanoli
committed
308ef68
refactor!: define custom errors for Clock lib
guidanoli
committed
af96bcb
refactor!: define custom errors for Match lib
guidanoli
committed
5fcc034
refactor!: define custom errors for Tree lib
guidanoli
committed
378feb9
feat!: bump `rollups-contracts` from 2.2.0 to 3.0.0-alpha.3
guidanoli
committed
9f6a3c5

Commits on Apr 16, 2026

feat: bump emulator to 0.20

ZzzzHui
authored and
mpolitzer
committed
19fe91e

Commits on Apr 27, 2026

fix: update to newest machine json schema
GCdePaula
committed
f82fafc
refactor: harden v0.20 bindings against schema drift
GCdePaula
committed
d66006a

Commits on May 6, 2026

feat: bump rollups-contracts from 3.0.0-alpha.3 to 3.0.0-alpha.4
guidanoli
committed
c2b4979
fix: bump dependencies
guidanoli
committed
5d791d9
feat: make ci always build node
guidanoli
committed
ffad978

Commits on May 19, 2026

Bump rollups-contracts from 3.0.0-alpha.4 to 3.0.0-alpha.5
guidanoli
committed
b150cfc
Distribute deterministic deployment addresses
guidanoli
committed
61c63bf
Dry-run contract artifacts release job
guidanoli
committed
59d2708

Commits on May 21, 2026

feat: bump rollups-contracts from 3.0.0-alpha.5 to 3.0.0-alpha.6
guidanoli
committed
1fccdb3

Commits on Jun 19, 2026

ci: lock GH actions by digest

endersonmaia
authored and
guidanoli
committed
fec056e

Commits on Jun 22, 2026

refactor: remove dependency from Cannon and pnpm
guidanoli
committed
56f5004

Commits on Jul 15, 2026

chore: bump Foundry from 1.4.3 to 1.5.1
guidanoli
committed
dbfd8a6
chore: bump Honeypot from 3.0.0 to 3.0.1
guidanoli
committed
e0eceeb
feat!: tournament result staging
guidanoli
committed
48fcc2d
feat!: add sentries to DaveConsensus
guidanoli
committed
604de20
feat!: add sentry rotation to DaveConsensus
guidanoli
committed
82b576c
chore: bump Solidity pragma to ^0.8.30
guidanoli
committed
b839e7e
feat!: index epochNumber in Epoch{Sealed,Staged}
guidanoli
committed
863b69c

Commits on Jul 27, 2026

Commits on Aug 3, 2026

docs(prt): map the dispute game and record review findings
GCdePaula
committed
4f40882
fix(prt): make terminal bond settlement bounded and idempotent
GCdePaula
committed
38fa06c
fix(prt): make clock phases and timeout settlement explicit
GCdePaula
committed
c5c4539
test(prt): decouple coverage from canonical tournament geometry
GCdePaula
committed
3f7b24a
fix(prt): reject nonexistent inner matches
GCdePaula
committed
4c0e9a6
chore(prt): remove stale time and deployment assumptions
GCdePaula
committed
7852863
fix(prt): isolate tournament progress from recipient behavior
GCdePaula
committed
e24a94b
fix(prt): calibrate dispute-action refund ceilings
GCdePaula
committed
587f973
fix(prt): make Match existence state-backed
GCdePaula
committed
55e94d7
test(prt): add reproducible gas and lifecycle harnesses
GCdePaula
committed
2907ee0
refactor(prt): centralize Match phases and bisection
GCdePaula
committed
661d793
test(prt): close recursive accounting and callback gaps
GCdePaula
committed
cfa51f5
fix(prt): validate tournament dependencies and dimensions
GCdePaula
committed
71ed758
fix(prt): complete refund calibration and derive bonds from work reserve
GCdePaula
committed
cd71e8a
refactor(prt): enforce one-place Clock and Match invariants
GCdePaula
committed
d706d2b
docs(prt): publish the final audit and verification record
GCdePaula
committed
0fa20d1
chore(prt): align gas calibration with Foundry 1.5.1
GCdePaula
committed
222d6c7
docs(prt): record post-rebase release verification
GCdePaula
committed
6d4a911
docs(prt): archive the contract review and promote living guidance
GCdePaula
committed
58b9c23
fix(prt): prevent sealed-leaf censorship amplification
GCdePaula
committed
51fcb64
refactor(prt): clarify pipelined match descent
GCdePaula
committed
c9f4753
test(prt): align and pin timeout gas witnesses
GCdePaula
committed
6b08142
refactor(prt): factor terminal reserve families
GCdePaula
committed
1afde59
test(prt): pin recursive clock delegation invariants
GCdePaula
committed
12197ce
test(prt): pin Ethereum clock calibration
GCdePaula
committed
31c80ab
docs(prt): align the clock specification with code
GCdePaula
committed
4845264
fix(client-lua): encode revert checkpoint proofs
GCdePaula
committed
1d919e7
fix(prt): calibrate canonical leaf proof subsidy
GCdePaula
committed
586704a
refactor(prt): make Match and Clock semantics explicit
GCdePaula
committed
f3087db
refactor(tooling): extract reproducible PRT leaf gas runners
GCdePaula
committed
f4695f4
test(prt): pin post-refactor gas headroom
GCdePaula
committed
e2ada52
docs(prt): record post-refactor gas calibration
GCdePaula
committed
49335dd
refactor(prt)!: tighten tournament API semantics
GCdePaula
committed
0d305a3
fix(prt): size bonds by tournament role
GCdePaula
committed
f947a90
test(prt): consolidate deferred bond recovery coverage
GCdePaula
committed
54f81db
refactor(prt): name clock assertions explicitly
GCdePaula
committed
59db235

Commits on Aug 16, 2026

refactor(prt): complete the semantic contract-client interface
GCdePaula
committed
8c3f56e
chore: overhaul agent guidance and repository tooling
GCdePaula
committed
c73b0d7
refactor(prt)!: ossify the tournament interface
GCdePaula
committed
648f3f3
feat(prt)!: make bond recovery explicit and bounty the winner
GCdePaula
committed
614d1d2
docs(prt): freeze the interface campaign and serialize the FFI gate
GCdePaula
committed
eac48b4
fix(node): report the reverted post-state when proving the closing slot
GCdePaula
committed
3f61940
feat(prt): expose the bond recovery capability view
GCdePaula
committed
56b3a81
docs(plans): settle the batch-submission and recovery design
GCdePaula
committed
5b333c9
chore: make a mid-rebuild devnet bundle name its fix
GCdePaula
committed
4098695
refactor(node): reduce the transaction lane to its stateless kernel
GCdePaula
committed
433b14e
feat(node): compose one wave per tick
GCdePaula
committed
88a17e3
feat(node): recover bonds through the wave's tail
GCdePaula
committed
97e38c9
fix(node): close the round-2 audit findings
GCdePaula
committed
9bf8a19
refactor(node): derive recovery candidates by provenance
GCdePaula
committed
c083f22
refactor(prt): make matchTimeoutStatus total
GCdePaula
committed
fb1c0f5
refactor(prt): sharpen tournament observation and recovery
GCdePaula
committed
d9bcde6
refactor(prt): derive dispute state recursively from events
GCdePaula
committed
10c723a
refactor(prt): simplify timeout classification
GCdePaula
committed
fb8a6aa
chore: prune superseded design records
GCdePaula
committed
edccb27
docs: consolidate project papers
GCdePaula
committed
bd6408d
test: centralize end-to-end harness
GCdePaula
committed
b6e6a5d
refactor(prt): make storage layout internal
GCdePaula
committed
29ef477
docs(node): clarify retry and RPC trust assumptions
GCdePaula
committed
0aa0ddc
feat(prt): expose tournament geometry
GCdePaula
committed
83863ab
build: centralize the Foundry version pin
GCdePaula
committed
66df5a7
build: normalize the Foundry version pin
GCdePaula
committed
c9e3b2a

Commits on Aug 21, 2026

feat(machine): complete the Cartesi Machine v0.21 upgrade
GCdePaula
committed
b7f3b2b
docs(prt): record v0.21 STF gas calibration
GCdePaula
committed
634bcee
feat(machine): expose durable stored snapshot operations
GCdePaula
committed
b87cd9a
feat(node): publish snapshots at durable batch boundaries
GCdePaula
committed
e9d3c98
test(stf): harden terminal and composed-witness coverage
GCdePaula
committed
5c59bb8
build: make repository tooling explicit and composable
GCdePaula
committed
7551d8f
test: harden v0.21 conformance and maintenance workflows
GCdePaula
committed
1e193ed
fix(machine): handle empty cleanup state under Bash 3.2
GCdePaula
committed
0095393
docs(prt): record post-274 gas calibration
GCdePaula
committed
b7cbfaf
refactor(stf): make transition branches explicit
GCdePaula
committed
c6dd2be
feat(machine): enforce state transition compatibility
GCdePaula
committed
aeacd10
docs(prt): record STF composition gas calibration
GCdePaula
committed
c64ad6c
docs(ci): clarify full E2E dispatch availability
GCdePaula
committed
5d85900
docs(node): record recovery scheduling follow-up
GCdePaula
committed
d935105
fix(node): enforce durable snapshot cursor invariants
GCdePaula
committed
3ac810c
ci: npx actions-up
endersonmaia
committed
f324238
fix(script): drop --offline flag passed to cargo
guidanoli
committed
34d8417