feat: complete Runtime protocol and durable operation semantics#2

Merged

ZhiXiao-Lin merged 32 commits into

mainfrom

feat/complete-runtime-protocol

Jul 19, 2026

Commits on Jul 17, 2026

feat: complete runtime protocol identity semantics

RoyLin
authored and
RoyLin
committed
test: select the intended state lock fixture

RoyLin
authored and
RoyLin
committed
feat: bound operations with cross-process leases

RoyLin
authored and
RoyLin
committed
feat: add durable request journal and exec replay

RoyLin
authored and
RoyLin
committed
refactor: simplify journal path validation

RoyLin
authored and
RoyLin
committed
test: freeze runtime wire protocol fixtures

RoyLin
authored and
RoyLin
committed
style: format protocol golden tests

RoyLin
authored and
RoyLin
committed
fix: replay completed requests beyond deadlines

RoyLin
authored and
RoyLin
committed
style: format completed replay paths

RoyLin
authored and
RoyLin
committed
test: scope runtime state fixture directories

RoyLin
authored and
RoyLin
committed
test: prove generation reconciliation recovery

RoyLin
authored and
RoyLin
committed
style: format generation recovery tests

RoyLin
authored and
RoyLin
committed
test: cover durable exec fault boundaries

RoyLin
authored and
RoyLin
committed
style: format exec fault tests

RoyLin
authored and
RoyLin
committed
fix: preserve pending exec deadlines

RoyLin
authored and
RoyLin
committed
test: kill receipt-first completion processes

RoyLin
authored and
RoyLin
committed
test: generate complete state transition matrix

RoyLin
authored and
RoyLin
committed
test: harden hostile state file boundaries

RoyLin
authored and
RoyLin
committed
test: add deterministic provider fault matrix

RoyLin
authored and
RoyLin
committed
test: import fault feature from contract

RoyLin
authored and
RoyLin
committed
ci: require stable and MSRV runtime gates

RoyLin
authored and
RoyLin
committed
fix: recover atomic state writes after crashes

RoyLin
authored and
RoyLin
committed
fix: expose state failpoint after module split

RoyLin
authored and
RoyLin
committed
style: simplify staging file predicate

RoyLin
authored and
RoyLin
committed
test: cover cross-process generation races

RoyLin
authored and
RoyLin
committed
feat: add capability-driven conformance profiles

RoyLin
authored and
RoyLin
committed
test: scope duplicate injection to race suite

RoyLin
authored and
RoyLin
committed
docs: explain profile-driven conformance

RoyLin
authored and
RoyLin
committed
test: require behavior-level provider evidence

RoyLin
authored and
RoyLin
committed
docs: make Docker certification gate explicit

RoyLin
authored and
RoyLin
committed
fix(exec): forward durable effective deadline

RoyLin
authored and
RoyLin
committed
docs(exec): define durable provider deadline

RoyLin
authored and
RoyLin
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

feat: complete Runtime protocol and durable operation semantics#2

feat: complete Runtime protocol and durable operation semantics#2
ZhiXiao-Lin merged 32 commits into
mainfrom
feat/complete-runtime-protocol

Commits on Jul 17, 2026

feat: complete runtime protocol identity semantics

test: select the intended state lock fixture

feat: bound operations with cross-process leases

feat: add durable request journal and exec replay

refactor: simplify journal path validation

test: freeze runtime wire protocol fixtures

style: format protocol golden tests

fix: replay completed requests beyond deadlines

style: format completed replay paths

test: scope runtime state fixture directories

test: prove generation reconciliation recovery

style: format generation recovery tests

test: cover durable exec fault boundaries

style: format exec fault tests

fix: preserve pending exec deadlines

test: kill receipt-first completion processes

test: generate complete state transition matrix

test: harden hostile state file boundaries

test: add deterministic provider fault matrix

test: import fault feature from contract

ci: require stable and MSRV runtime gates

fix: recover atomic state writes after crashes

fix: expose state failpoint after module split

style: simplify staging file predicate

test: cover cross-process generation races

feat: add capability-driven conformance profiles

test: scope duplicate injection to race suite

docs: explain profile-driven conformance

test: require behavior-level provider evidence

docs: make Docker certification gate explicit

fix(exec): forward durable effective deadline

docs(exec): define durable provider deadline