alex/flybrain
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
flybrain/services/flysim/crates/fly-session/src
History
acamilo a6e1623698 session types: boundary actions and captures in the step trace, a capture never precedes a slot save 
Review round 1, B1 and N4. TraceBehaviour.boundaryActions records the slot saves and the rollback
at the reached boundary in application order; TraceOperational.captures records each capture with
the number of boundary actions before it; TransitionTrace refuses a capture taken before the
boundary's slot saves. Both languages, fixtures for the rule, synthetic coordinator records both
lists empty. contractDigest moves to a56e25e6.
2026-09-23 09:00:11 +00:00
..
bin session: parallel processes, a launcher and the fault behaviour 2026-09-22 14:33:25 +00:00
agent.rs session types: the legacy Game Boy profile and the RT-01a extension methods 2026-09-23 08:31:58 +00:00
cli.rs Merge fix/sf-resolution-bound-flake: a short acknowledgement is the contract, and two timing bets become claims 2026-09-22 21:11:49 +00:00
clock.rs session: coherent all-participant checkpoint and recovery 2026-09-22 17:43:43 +00:00
coordinator.rs session types: boundary actions and captures in the step trace, a capture never precedes a slot save 2026-09-23 09:00:11 +00:00
dedup.rs refactor(session): build the session slice on the shared fly-session-types crate 2026-09-22 12:30:41 +00:00
environment.rs session: coherent all-participant checkpoint and recovery 2026-09-22 17:43:43 +00:00
harness.rs session: a snapshot publishes the telemetry of the transition that just ended 2026-09-22 20:18:49 +00:00
launcher.rs Merge fix/sf-resolution-bound-flake: a short acknowledgement is the contract, and two timing bets become claims 2026-09-22 21:11:49 +00:00
lib.rs Merge main into feat/sf-publish-01 2026-09-22 19:02:57 +00:00
measure.rs session: an unknown launch option is an error, not a no-op 2026-09-22 16:28:59 +00:00
media.rs Merge main into feat/sf-publish-01 2026-09-22 19:02:57 +00:00
metrics.rs session: parallel processes, a launcher and the fault behaviour 2026-09-22 14:33:25 +00:00
phase.rs feat(session): fly-session, the SESSION-01 synthetic sequential transaction over flybus 2026-09-22 11:46:57 +00:00
publish.rs session: an unreadable event batch is not the end of the stream 2026-09-22 21:03:59 +00:00
rpc.rs refactor(session): build the session slice on the shared fly-session-types crate 2026-09-22 12:30:41 +00:00
state.rs session: a graph identity does not cross a recovery 2026-09-22 20:36:51 +00:00
task.rs session types: the legacy Game Boy profile and the RT-01a extension methods 2026-09-23 08:31:58 +00:00
types.rs session types: the legacy Game Boy profile and the RT-01a extension methods 2026-09-23 08:31:58 +00:00
worker.rs session: hold an Acknowledge to the request it answered 2026-09-22 21:03:09 +00:00