Move the Petri pins to c216cf2 for the kept replay and read_from

Petri c216cf2 adds `events::RunReplay`, a run's replay kept between reads
that folds only the records past the ones it consumed, and
`RunLogs::read_from`, a log read from a seq with a default over `read`.
Nothing Fabro builds changes at this pin; the projector's cache lands next.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
Bryan Helmkamp 2026-09-18 19:57:45 -04:00
parent 6aec33c4f5
commit eceae84e1f
No known key found for this signature in database
2 changed files with 33 additions and 33 deletions

52
Cargo.lock generated
View file

@ -1873,7 +1873,7 @@ dependencies = [
"libc",
"option-ext",
"redox_users",
"windows-sys 0.61.2",
"windows-sys 0.59.0",
]
[[package]]
@ -1987,7 +1987,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "39cab71617ae0d63f51a36d69f866391735b51691dbda63cf6f96d042b63efeb"
dependencies = [
"libc",
"windows-sys 0.61.2",
"windows-sys 0.59.0",
]
[[package]]
@ -3893,7 +3893,7 @@ dependencies = [
"js-sys",
"log",
"wasm-bindgen",
"windows-core 0.61.2",
"windows-core 0.62.2",
]
[[package]]
@ -4735,7 +4735,7 @@ version = "0.50.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7957b9740744892f114936ab4a57b3f487491bbeafaf8083688b16841a4240e5"
dependencies = [
"windows-sys 0.61.2",
"windows-sys 0.59.0",
]
[[package]]
@ -5324,7 +5324,7 @@ checksum = "9b4f627cb1b25917193a259e49bdad08f671f8d9708acfd5fe0a8c1455d87220"
[[package]]
name = "petri-attractor-steps"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=a5906f6554b94f608ede3902daab106d5f8062c3#a5906f6554b94f608ede3902daab106d5f8062c3"
source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
dependencies = [
"async-trait",
"globset",
@ -5355,7 +5355,7 @@ dependencies = [
[[package]]
name = "petri-driver"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=a5906f6554b94f608ede3902daab106d5f8062c3#a5906f6554b94f608ede3902daab106d5f8062c3"
source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
dependencies = [
"async-trait",
"getrandom 0.3.4",
@ -5375,7 +5375,7 @@ dependencies = [
[[package]]
name = "petri-engine"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=a5906f6554b94f608ede3902daab106d5f8062c3#a5906f6554b94f608ede3902daab106d5f8062c3"
source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
dependencies = [
"petri-ir",
"serde",
@ -5387,7 +5387,7 @@ dependencies = [
[[package]]
name = "petri-execution"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=a5906f6554b94f608ede3902daab106d5f8062c3#a5906f6554b94f608ede3902daab106d5f8062c3"
source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
dependencies = [
"async-trait",
"petri-driver",
@ -5411,7 +5411,7 @@ dependencies = [
[[package]]
name = "petri-executor"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=a5906f6554b94f608ede3902daab106d5f8062c3#a5906f6554b94f608ede3902daab106d5f8062c3"
source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
dependencies = [
"async-trait",
"libc",
@ -5426,7 +5426,7 @@ dependencies = [
[[package]]
name = "petri-executor-sandbox"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=a5906f6554b94f608ede3902daab106d5f8062c3#a5906f6554b94f608ede3902daab106d5f8062c3"
source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
dependencies = [
"async-trait",
"petri-executor",
@ -5448,7 +5448,7 @@ dependencies = [
[[package]]
name = "petri-frontend"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=a5906f6554b94f608ede3902daab106d5f8062c3#a5906f6554b94f608ede3902daab106d5f8062c3"
source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
dependencies = [
"marked-yaml",
"petri-ir",
@ -5462,7 +5462,7 @@ dependencies = [
[[package]]
name = "petri-frontend-attractor"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=a5906f6554b94f608ede3902daab106d5f8062c3#a5906f6554b94f608ede3902daab106d5f8062c3"
source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
dependencies = [
"minijinja",
"petri-frontend",
@ -5479,7 +5479,7 @@ dependencies = [
[[package]]
name = "petri-frontend-fabro"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=a5906f6554b94f608ede3902daab106d5f8062c3#a5906f6554b94f608ede3902daab106d5f8062c3"
source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
dependencies = [
"petri-frontend",
"petri-frontend-attractor",
@ -5495,7 +5495,7 @@ dependencies = [
[[package]]
name = "petri-frontend-native"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=a5906f6554b94f608ede3902daab106d5f8062c3#a5906f6554b94f608ede3902daab106d5f8062c3"
source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
dependencies = [
"petri-frontend",
"petri-ir",
@ -5506,7 +5506,7 @@ dependencies = [
[[package]]
name = "petri-ir"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=a5906f6554b94f608ede3902daab106d5f8062c3#a5906f6554b94f608ede3902daab106d5f8062c3"
source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
dependencies = [
"regex",
"serde",
@ -5519,7 +5519,7 @@ dependencies = [
[[package]]
name = "petri-runtime"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=a5906f6554b94f608ede3902daab106d5f8062c3#a5906f6554b94f608ede3902daab106d5f8062c3"
source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
dependencies = [
"async-trait",
"petri-driver",
@ -5540,7 +5540,7 @@ dependencies = [
[[package]]
name = "petri-steps"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=a5906f6554b94f608ede3902daab106d5f8062c3#a5906f6554b94f608ede3902daab106d5f8062c3"
source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
dependencies = [
"async-trait",
"petri-executor",
@ -5556,7 +5556,7 @@ dependencies = [
[[package]]
name = "petri-store"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=a5906f6554b94f608ede3902daab106d5f8062c3#a5906f6554b94f608ede3902daab106d5f8062c3"
source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
dependencies = [
"async-trait",
"getrandom 0.3.4",
@ -5571,7 +5571,7 @@ dependencies = [
[[package]]
name = "petri-testkit"
version = "0.1.0"
source = "git+https://github.com/lithoscomputer/petri.git?rev=a5906f6554b94f608ede3902daab106d5f8062c3#a5906f6554b94f608ede3902daab106d5f8062c3"
source = "git+https://github.com/lithoscomputer/petri.git?rev=c216cf226f2a6d072f9e82040d1fab5e8c7f3091#c216cf226f2a6d072f9e82040d1fab5e8c7f3091"
dependencies = [
"async-trait",
"petri-driver",
@ -5906,7 +5906,7 @@ dependencies = [
"once_cell",
"socket2",
"tracing",
"windows-sys 0.60.2",
"windows-sys 0.59.0",
]
[[package]]
@ -6354,7 +6354,7 @@ dependencies = [
"errno 0.3.14",
"libc",
"linux-raw-sys",
"windows-sys 0.61.2",
"windows-sys 0.59.0",
]
[[package]]
@ -6413,7 +6413,7 @@ dependencies = [
"security-framework",
"security-framework-sys",
"webpki-root-certs",
"windows-sys 0.61.2",
"windows-sys 0.59.0",
]
[[package]]
@ -7060,7 +7060,7 @@ version = "1.4.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c4db69cba1110affc0e9f7bcd48bbf87b3f4fc7c61fc9155afd4c469eb3d6c1b"
dependencies = [
"errno 0.2.8",
"errno 0.3.14",
"libc",
]
@ -7538,7 +7538,7 @@ dependencies = [
"getrandom 0.4.1",
"once_cell",
"rustix",
"windows-sys 0.61.2",
"windows-sys 0.59.0",
]
[[package]]
@ -7573,7 +7573,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "230a1b821ccbd75b185820a1f1ff7b14d21da1e442e22c0863ea5f08771a8874"
dependencies = [
"rustix",
"windows-sys 0.61.2",
"windows-sys 0.59.0",
]
[[package]]
@ -8620,7 +8620,7 @@ version = "0.1.11"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c2a7b1c03c876122aa43f3020e6c3c3ee5c05081c9a00739faf7503aeba10d22"
dependencies = [
"windows-sys 0.61.2",
"windows-sys 0.59.0",
]
[[package]]

View file

@ -132,13 +132,13 @@ pebble-cli-core = { git = "https://github.com/lithoscomputer/pebble", rev = "a39
# lithos-llm and sandbox-driver revisions as this file, so the workspace links
# one copy of each. Only `fabro-petri` may depend on these packages; the keys
# carry the `petri_` prefix so the crate names say where they come from.
petri_runtime = { git = "https://github.com/lithoscomputer/petri.git", rev = "a5906f6554b94f608ede3902daab106d5f8062c3", package = "petri-runtime" }
petri_execution = { git = "https://github.com/lithoscomputer/petri.git", rev = "a5906f6554b94f608ede3902daab106d5f8062c3", package = "petri-execution" }
petri_store = { git = "https://github.com/lithoscomputer/petri.git", rev = "a5906f6554b94f608ede3902daab106d5f8062c3", package = "petri-store" }
petri_attractor_steps = { git = "https://github.com/lithoscomputer/petri.git", rev = "a5906f6554b94f608ede3902daab106d5f8062c3", package = "petri-attractor-steps" }
petri_frontend_attractor = { git = "https://github.com/lithoscomputer/petri.git", rev = "a5906f6554b94f608ede3902daab106d5f8062c3", package = "petri-frontend-attractor" }
petri_frontend_fabro = { git = "https://github.com/lithoscomputer/petri.git", rev = "a5906f6554b94f608ede3902daab106d5f8062c3", package = "petri-frontend-fabro" }
petri_testkit = { git = "https://github.com/lithoscomputer/petri.git", rev = "a5906f6554b94f608ede3902daab106d5f8062c3", package = "petri-testkit" }
petri_runtime = { git = "https://github.com/lithoscomputer/petri.git", rev = "c216cf226f2a6d072f9e82040d1fab5e8c7f3091", package = "petri-runtime" }
petri_execution = { git = "https://github.com/lithoscomputer/petri.git", rev = "c216cf226f2a6d072f9e82040d1fab5e8c7f3091", package = "petri-execution" }
petri_store = { git = "https://github.com/lithoscomputer/petri.git", rev = "c216cf226f2a6d072f9e82040d1fab5e8c7f3091", package = "petri-store" }
petri_attractor_steps = { git = "https://github.com/lithoscomputer/petri.git", rev = "c216cf226f2a6d072f9e82040d1fab5e8c7f3091", package = "petri-attractor-steps" }
petri_frontend_attractor = { git = "https://github.com/lithoscomputer/petri.git", rev = "c216cf226f2a6d072f9e82040d1fab5e8c7f3091", package = "petri-frontend-attractor" }
petri_frontend_fabro = { git = "https://github.com/lithoscomputer/petri.git", rev = "c216cf226f2a6d072f9e82040d1fab5e8c7f3091", package = "petri-frontend-fabro" }
petri_testkit = { git = "https://github.com/lithoscomputer/petri.git", rev = "c216cf226f2a6d072f9e82040d1fab5e8c7f3091", package = "petri-testkit" }
sentry = { version = "0.35", default-features = false, features = ["backtrace", "contexts", "ureq", "rustls"] }
fork = "0.2"
exec = "0.3"