[INFO] cloning repository https://github.com/SynaLinks/synalog
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/SynaLinks/synalog" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSynaLinks%2Fsynalog", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSynaLinks%2Fsynalog'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 53a78f211cc78ab0d52a53a61bfafb886c7471ea
[INFO] checking SynaLinks/synalog against a7c37f9f0ee5e93396106e9de20f4a86b4154e63 for pr-129249-4
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSynaLinks%2Fsynalog" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  20% (9577/45754)
Updating files:  21% (9609/45754)
Updating files:  22% (10066/45754)
Updating files:  23% (10524/45754)
Updating files:  24% (10981/45754)
Updating files:  25% (11439/45754)
Updating files:  26% (11897/45754)
Updating files:  27% (12354/45754)
Updating files:  28% (12812/45754)
Updating files:  29% (13269/45754)
Updating files:  30% (13727/45754)
Updating files:  31% (14184/45754)
Updating files:  32% (14642/45754)
Updating files:  33% (15099/45754)
Updating files:  34% (15557/45754)
Updating files:  35% (16014/45754)
Updating files:  36% (16472/45754)
Updating files:  37% (16929/45754)
Updating files:  38% (17387/45754)
Updating files:  39% (17845/45754)
Updating files:  40% (18302/45754)
Updating files:  41% (18760/45754)
Updating files:  42% (19217/45754)
Updating files:  43% (19675/45754)
Updating files:  44% (20132/45754)
Updating files:  45% (20590/45754)
Updating files:  46% (21047/45754)
Updating files:  47% (21505/45754)
Updating files:  48% (21962/45754)
Updating files:  49% (22420/45754)
Updating files:  49% (22738/45754)
Updating files:  50% (22877/45754)
Updating files:  51% (23335/45754)
Updating files:  52% (23793/45754)
Updating files:  53% (24250/45754)
Updating files:  54% (24708/45754)
Updating files:  55% (25165/45754)
Updating files:  56% (25623/45754)
Updating files:  57% (26080/45754)
Updating files:  58% (26538/45754)
Updating files:  59% (26995/45754)
Updating files:  60% (27453/45754)
Updating files:  61% (27910/45754)
Updating files:  62% (28368/45754)
Updating files:  63% (28826/45754)
Updating files:  64% (29283/45754)
Updating files:  65% (29741/45754)
Updating files:  66% (30198/45754)
Updating files:  67% (30656/45754)
Updating files:  68% (31113/45754)
Updating files:  69% (31571/45754)
Updating files:  70% (32028/45754)
Updating files:  71% (32486/45754)
Updating files:  72% (32943/45754)
Updating files:  73% (33401/45754)
Updating files:  74% (33858/45754)
Updating files:  75% (34316/45754)
Updating files:  76% (34774/45754)
Updating files:  77% (35231/45754)
Updating files:  78% (35689/45754)
Updating files:  79% (36146/45754)
Updating files:  80% (36604/45754)
Updating files:  81% (37061/45754)
Updating files:  82% (37519/45754)
Updating files:  82% (37754/45754)
Updating files:  83% (37976/45754)
Updating files:  84% (38434/45754)
Updating files:  85% (38891/45754)
Updating files:  86% (39349/45754)
Updating files:  87% (39806/45754)
Updating files:  88% (40264/45754)
Updating files:  89% (40722/45754)
Updating files:  90% (41179/45754)
Updating files:  91% (41637/45754)
Updating files:  92% (42094/45754)
Updating files:  93% (42552/45754)
Updating files:  94% (43009/45754)
Updating files:  95% (43467/45754)
Updating files:  96% (43924/45754)
Updating files:  97% (44382/45754)
Updating files:  98% (44839/45754)
Updating files:  99% (45297/45754)
Updating files: 100% (45754/45754)
Updating files: 100% (45754/45754), done.
[INFO] started tweaking git repo https://github.com/SynaLinks/synalog
[INFO] finished tweaking git repo https://github.com/SynaLinks/synalog
[INFO] tweaked toml for git repo https://github.com/SynaLinks/synalog written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/SynaLinks/synalog on toolchain a7c37f9f0ee5e93396106e9de20f4a86b4154e63
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a7c37f9f0ee5e93396106e9de20f4a86b4154e63" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/SynaLinks/synalog already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a7c37f9f0ee5e93396106e9de20f4a86b4154e63" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded pyo3-macros-backend v0.29.0
[INFO] [stderr]   Downloaded pyo3-build-config v0.29.0
[INFO] [stderr]   Downloaded verus_builtin v0.0.0-2026-10-11-0230
[INFO] [stderr]   Downloaded pyo3-macros v0.29.0
[INFO] [stderr]   Downloaded hashlink v0.12.2
[INFO] [stderr]   Downloaded yaml-rust2 v0.13.0
[INFO] [stderr]   Downloaded verus_prettyplease v0.0.0-2026-09-06-0133
[INFO] [stderr]   Downloaded pyo3-ffi v0.29.0
[INFO] [stderr]   Downloaded verus_state_machines_macros v0.0.0-2026-10-18-0147
[INFO] [stderr]   Downloaded verus_builtin_macros v0.0.0-2026-10-18-0147
[INFO] [stderr]   Downloaded vstd v0.0.0-2026-10-18-0147
[INFO] [stderr]   Downloaded verus_syn v0.0.0-2026-09-06-0133
[INFO] [stderr]   Downloaded pyo3 v0.29.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:c0af3998e971868164375a7dfb646c9933ddd1a3bdb00fa2041266763dc1eeab" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 1e892cf86a3a5f2700458a41f2ef62bc6390359b4827fab9d53179412b37ec49
[INFO] running `Command { std: "docker" "start" "1e892cf86a3a5f2700458a41f2ef62bc6390359b4827fab9d53179412b37ec49", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1e892cf86a3a5f2700458a41f2ef62bc6390359b4827fab9d53179412b37ec49", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "1e892cf86a3a5f2700458a41f2ef62bc6390359b4827fab9d53179412b37ec49" "/opt/rustwide/cargo-home/bin/cargo" "+a7c37f9f0ee5e93396106e9de20f4a86b4154e63" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1e892cf86a3a5f2700458a41f2ef62bc6390359b4827fab9d53179412b37ec49", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "1e892cf86a3a5f2700458a41f2ef62bc6390359b4827fab9d53179412b37ec49" "/opt/rustwide/cargo-home/bin/cargo" "+a7c37f9f0ee5e93396106e9de20f4a86b4154e63" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling verus_prettyplease v0.0.0-2026-09-06-0133
[INFO] [stderr]    Compiling libc v0.2.191
[INFO] [stderr]     Checking memchr v2.8.0
[INFO] [stderr]    Compiling vstd v0.0.0-2026-10-18-0147
[INFO] [stderr]     Checking verus_builtin v0.0.0-2026-10-11-0230
[INFO] [stderr]     Checking hashbrown v0.17.1
[INFO] [stderr]     Checking regex-syntax v0.8.10
[INFO] [stderr]    Compiling anyhow v1.0.102
[INFO] [stderr]    Compiling pyo3-build-config v0.29.0
[INFO] [stderr]    Compiling pyo3-ffi v0.29.0
[INFO] [stderr]    Compiling pyo3 v0.29.0
[INFO] [stderr]     Checking aho-corasick v1.1.4
[INFO] [stderr]     Checking serde_json v1.0.149
[INFO] [stderr]     Checking hashlink v0.12.2
[INFO] [stderr]     Checking yaml-rust2 v0.13.0
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling verus_syn v0.0.0-2026-09-06-0133
[INFO] [stderr]     Checking regex-automata v0.4.14
[INFO] [stderr]     Checking regex v1.12.3
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling pyo3-macros-backend v0.29.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]     Checking thiserror v2.0.18
[INFO] [stderr]    Compiling verus_state_machines_macros v0.0.0-2026-10-18-0147
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]    Compiling verus_builtin_macros v0.0.0-2026-10-18-0147
[INFO] [stderr]    Compiling pyo3-macros v0.29.0
[INFO] [stderr]     Checking synalog-verified v2.3.0 (/opt/rustwide/workdir/verified)
[INFO] [stderr]     Checking synalog v2.3.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unused dependency `anyhow`
[INFO] [stderr]  --> Cargo.toml:2:1
[INFO] [stderr]   |
[INFO] [stderr] 2 | anyhow = "1"
[INFO] [stderr]   | ^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `anyhow`
[INFO] [stderr] warning: unused dependency `regex`
[INFO] [stderr]   --> Cargo.toml:29:1
[INFO] [stderr]    |
[INFO] [stderr] 29 | regex = "1.12.3"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `regex`
[INFO] [stderr] help: to still use for development builds, move to `dev-dependencies`
[INFO] [stderr] warning: unused dependency `regex`
[INFO] [stderr]  --> Cargo.toml:4:1
[INFO] [stderr]   |
[INFO] [stderr] 4 | regex = "1.12.3"
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr] help: consider removing the dependency on `regex`
[INFO] [stderr] help: to still use for development builds, move to `dev-dependencies`
[INFO] [stderr] warning: unused dependency `serde`
[INFO] [stderr]   --> Cargo.toml:13:15
[INFO] [stderr]    |
[INFO] [stderr] 13 | [dependencies.serde]
[INFO] [stderr]    |               ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `serde`
[INFO] [stderr] warning: unused dependency `serde_json`
[INFO] [stderr]  --> Cargo.toml:5:1
[INFO] [stderr]   |
[INFO] [stderr] 5 | serde_json = "1"
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr] help: consider removing the dependency on `serde_json`
[INFO] [stderr] help: to still use for development builds, move to `dev-dependencies`
[INFO] [stderr] warning: `synalog` (manifest) generated 5 warnings
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 41.30s
[INFO] running `Command { std: "docker" "inspect" "1e892cf86a3a5f2700458a41f2ef62bc6390359b4827fab9d53179412b37ec49", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1e892cf86a3a5f2700458a41f2ef62bc6390359b4827fab9d53179412b37ec49", kill_on_drop: false }`
[INFO] [stdout] 1e892cf86a3a5f2700458a41f2ef62bc6390359b4827fab9d53179412b37ec49
