Nightly fuzz failure (main)

The nightly fuzz workflow found one or more failures on main.

Run and artifacts: https://github.com/project-minigraf/minigraf/actions/runs/38389829636
Reproduce: check out main at the run's commit, then
cargo +nightly fuzz run <target> fuzz/artifacts/<target>/<crash-file>

Fuzz logs (failed targets only, last 100 lines each)

fuzz-datalog_eval.log

    #7 0x555deae88cda  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x6b2cda) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #8 0x555deaeaf217  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x6d9217) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #9 0x555deac2979e  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x45379e) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #10 0x555deac38a12  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x462a12) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #11 0x555deb09adb8  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8c4db8) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #12 0x555deb09b828  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8c5828) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #13 0x555deb09a50d  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8c450d) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #14 0x555deb0a2fb8  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8ccfb8) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #15 0x555deb0aa639  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8d4639) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #16 0x555deb0ab74a  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8d574a) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #17 0x555deb0ac6b7  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8d66b7) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #18 0x555deb0cfbf7  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8f9bf7) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #19 0x555deb09b856  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8c5856) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #20 0x7f9dc0c2a1c9  (/lib/x86_64-linux-gnu/libc.so.6+0x2a1c9) (BuildId: a4a7992a8e66555c8141ab2a08a8465ff6e0ea65)
    #21 0x7f9dc0c2a28a  (/lib/x86_64-linux-gnu/libc.so.6+0x2a28a) (BuildId: a4a7992a8e66555c8141ab2a08a8465ff6e0ea65)
    #22 0x555deab233e4  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x34d3e4) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)

27710416 byte(s) (3%) in 127112 allocation(s)
    #0 0x555deabbab74  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x3e4b74) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #1 0x555deb12be3e  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x955e3e) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #2 0x555deae48f78  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x672f78) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #3 0x555deae5c75d  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x68675d) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #4 0x555deae5f3c4  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x6893c4) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #5 0x555deae5e7b5  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x6887b5) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #6 0x555deae4bc92  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x675c92) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #7 0x555deae50b88  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x67ab88) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #8 0x555deae88cda  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x6b2cda) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #9 0x555deaeaf217  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x6d9217) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #10 0x555deac2979e  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x45379e) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #11 0x555deac38a12  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x462a12) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #12 0x555deb09adb8  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8c4db8) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #13 0x555deb09b828  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8c5828) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #14 0x555deb09a50d  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8c450d) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #15 0x555deb0a2fb8  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8ccfb8) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #16 0x555deb0aa639  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8d4639) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #17 0x555deb0ab74a  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8d574a) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #18 0x555deb0ac6b7  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8d66b7) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #19 0x555deb0cfbf7  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8f9bf7) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #20 0x555deb09b856  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8c5856) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #21 0x7f9dc0c2a1c9  (/lib/x86_64-linux-gnu/libc.so.6+0x2a1c9) (BuildId: a4a7992a8e66555c8141ab2a08a8465ff6e0ea65)
    #22 0x7f9dc0c2a28a  (/lib/x86_64-linux-gnu/libc.so.6+0x2a28a) (BuildId: a4a7992a8e66555c8141ab2a08a8465ff6e0ea65)
    #23 0x555deab233e4  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x34d3e4) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)

21233984 byte(s) (2%) in 1 allocation(s)
    #0 0x555deabbab74  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x3e4b74) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #1 0x7f9dc08bb903  (/lib/x86_64-linux-gnu/libstdc++.so.6+0xbb903) (BuildId: 753c6c8608b61d4e67be8f0c890e03e0aa046b8b)
    #2 0x555deb0ce972  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8f8972) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #3 0x555deb09b856  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8c5856) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #4 0x7f9dc0c2a1c9  (/lib/x86_64-linux-gnu/libc.so.6+0x2a1c9) (BuildId: a4a7992a8e66555c8141ab2a08a8465ff6e0ea65)
    #5 0x7f9dc0c2a28a  (/lib/x86_64-linux-gnu/libc.so.6+0x2a28a) (BuildId: a4a7992a8e66555c8141ab2a08a8465ff6e0ea65)
    #6 0x555deab233e4  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x34d3e4) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)

12582912 byte(s) (1%) in 1 allocation(s)
    #0 0x555deabbaf81  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x3e4f81) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #1 0x555deaeb8d79  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x6e2d79) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #2 0x555deadf21f2  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x61c1f2) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #3 0x555deae4be0b  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x675e0b) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #4 0x555deae50b88  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x67ab88) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #5 0x555deae88cda  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x6b2cda) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #6 0x555deaeaf217  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x6d9217) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #7 0x555deac2979e  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x45379e) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #8 0x555deac38a12  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x462a12) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #9 0x555deb09adb8  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8c4db8) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #10 0x555deb09b828  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8c5828) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #11 0x555deb09a50d  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8c450d) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #12 0x555deb0a2fb8  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8ccfb8) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #13 0x555deb0aa639  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8d4639) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #14 0x555deb0ab74a  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8d574a) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #15 0x555deb0ac6b7  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8d66b7) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #16 0x555deb0cfbf7  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8f9bf7) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #17 0x555deb09b856  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x8c5856) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)
    #18 0x7f9dc0c2a1c9  (/lib/x86_64-linux-gnu/libc.so.6+0x2a1c9) (BuildId: a4a7992a8e66555c8141ab2a08a8465ff6e0ea65)
    #19 0x7f9dc0c2a28a  (/lib/x86_64-linux-gnu/libc.so.6+0x2a28a) (BuildId: a4a7992a8e66555c8141ab2a08a8465ff6e0ea65)
    #20 0x555deab233e4  (/home/runner/work/minigraf/minigraf/fuzz/target/x86_64-unknown-linux-gnu/release/datalog_eval+0x34d3e4) (BuildId: 5434f4b0e8ff340e716e0cd73c3ec7ac800c8276)

MS: 1 CopyPart-; base unit: 8d5b5cb9b5ecc34c68ba169a3990bfd744f80601
artifact_prefix='/home/runner/work/minigraf/minigraf/fuzz/artifacts/datalog_eval/'; Test unit written to /home/runner/work/minigraf/minigraf/fuzz/artifacts/datalog_eval/oom-8ee829c9ac5625e2f85feebc78b0ffbccafc23d7
SUMMARY: libFuzzer: out-of-memory

────────────────────────────────────────────────────────────────────────────────

Failing input:

	fuzz/artifacts/datalog_eval/oom-8ee829c9ac5625e2f85feebc78b0ffbccafc23d7

Output of `std::fmt::Debug`:

	[40, 113, 117, 101, 114, 121, 32, 91, 58, 102, 105, 110, 100, 32, 63, 110, 58, 102, 105, 110, 100, 32, 63, 110, 122, 89, 89, 89, 89, 89, 58, 102, 105, 110, 100, 58, 119, 104, 101, 114, 101, 32, 91, 63, 101, 32, 63, 63, 97, 109, 69, 110, 111, 116, 45, 106, 111, 105, 110, 109, 32, 63, 85, 111, 114, 45, 106, 111, 105, 110, 93, 91, 63, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 57, 101, 32, 63, 63, 115, 117, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 106, 111, 105, 110, 32, 63, 110, 93, 91, 63, 48, 48, 48, 48, 48, 48, 48, 48, 100, 100, 100, 100, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 53, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 49, 56, 57, 53, 50, 57, 56, 57, 52, 50, 63, 101, 32, 63, 63, 97, 109, 69, 110, 111, 116, 45, 106, 111, 105, 110, 32, 63, 85, 93, 91, 63, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 63, 79, 79, 48, 48, 48, 48, 48, 48, 48, 48, 48, 101, 32, 63, 63, 97, 109, 69, 110, 111, 116, 45, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 63, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 106, 111, 105, 110, 32, 63, 45, 93, 91, 63, 48, 48, 48, 48, 48, 48, 48, 48, 100, 63, 100, 100, 100, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 100, 63, 100, 100, 100, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 75, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 118, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 50, 50, 51, 51, 55, 50, 48, 51, 54, 56, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 50, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 55, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 118, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 50, 50, 51, 51, 55, 50, 48, 51, 54, 56, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 63, 109, 57, 57, 57, 57, 101, 32, 63, 63, 115, 117, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 106, 111, 105, 110, 32, 63, 95, 93, 91, 63, 48, 48, 48, 48, 48, 48, 48, 48, 100, 100, 100, 100, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 53, 55, 53, 52, 48, 56, 50, 57, 52, 63, 109, 57, 57, 57, 57, 101, 32, 63, 63, 115, 117, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 106, 111, 105, 110, 32, 63, 110, 93, 91, 63, 48, 48, 48, 48, 48, 48, 48, 48, 100, 100, 100, 100, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 50, 50, 51, 51, 55, 50, 48, 51, 54, 56, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 50, 50, 51, 51, 55, 50, 63, 101, 32, 63, 63, 97, 109, 69, 110, 111, 116, 45, 106, 111, 105, 110, 32, 63, 85, 93, 91, 63, 48, 56, 48, 48, 50, 51, 51, 55, 50, 48, 51, 54, 56, 53, 52, 55, 55, 53, 56, 48, 55, 63, 109, 57, 57, 57, 57, 101, 32, 63, 63, 115, 117, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 106, 111, 105, 110, 32, 63, 95, 93, 91, 63, 48, 48, 48, 48, 48, 48, 48, 48, 100, 100, 100, 100, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 75, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 118, 48, 48, 57, 50, 50, 51, 51, 55, 50, 48, 51, 54, 56, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 63, 109, 57, 57, 57, 57, 101, 32, 63, 63, 115, 117, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 106, 111, 107, 110, 32, 63, 95, 93, 91, 63, 48, 48, 48, 48, 48, 48, 48, 48, 100, 100, 100, 100, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 71, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 53, 55, 53, 52, 48, 56, 50, 57, 52, 63, 109, 57, 57, 57, 57, 101, 32, 63, 63, 115, 117, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 106, 111, 105, 110, 32, 63, 110, 93, 91, 63, 48, 57, 53, 53, 49, 54, 49, 53, 100, 100, 100, 100, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 50, 50, 51, 51, 55, 50, 48, 51, 54, 56, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 50, 50, 51, 51, 55, 50, 63, 101, 32, 63, 63, 97, 109, 69, 110, 111, 116, 45, 106, 111, 105, 110, 32, 63, 85, 93, 91, 63, 48, 50, 51, 51, 55, 50, 48, 51, 54, 56, 53, 52, 55, 55, 53, 56, 48, 55, 63, 109, 57, 57, 57, 57, 101, 32, 63, 63, 115, 117, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 106, 100, 100, 111, 105, 110, 32, 63, 95, 93, 91, 63, 48, 48, 48, 48, 48, 48, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 63, 48, 48, 48, 48, 48, 48, 48, 48, 100, 63, 100, 100, 100, 48, 48, 48, 48, 48, 48, 48, 48, 48, 
BD0
48, 48, 48, 48, 48, 48, 48, 48, 48, 100, 63, 100, 100, 100, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 75, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 118, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 50, 50, 51, 51, 55, 50, 48, 51, 54, 56, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 50, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 55, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 118, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 50, 50, 51, 51, 55, 50, 48, 51, 54, 56, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 63, 109, 57, 57, 57, 57, 101, 32, 63, 63, 115, 117, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 106, 111, 105, 110, 32, 63, 95, 93, 91, 63, 48, 48, 48, 48, 48, 48, 48, 48, 100, 100, 100, 100, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 57, 57, 101, 32, 63, 63, 115, 117, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 106, 111, 105, 110, 32, 63, 95, 93, 91, 63, 48, 48, 48, 48, 48, 48, 48, 48, 100, 100, 100, 100, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 100, 100, 100, 100, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 53, 55, 53, 52, 48, 56, 50, 57, 52, 63, 109, 57, 57, 57, 57, 101, 32, 63, 63, 115, 117, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 106, 111, 105, 110, 32, 63, 110, 93, 91, 63, 48, 48, 48, 48, 48, 48, 48, 48, 100, 100, 100, 100, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48
FBBB
, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 50, 50, 51, 51, 55, 50, 48, 51, 54, 56, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 50, 50, 51, 51, 55, 50, 63, 101, 32, 63, 63, 97, 109, 69, 110, 111, 116, 45, 106, 111, 105, 110, 32, 63, 85, 93, 91, 63, 48, 50, 51, 51, 55, 50, 48, 51, 54, 56, 53, 52, 55, 55, 53, 56, 48, 55, 63, 109, 57, 57, 57, 57, 101, 32, 63, 63, 115, 117, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 106, 111, 105, 110, 32, 63, 95, 93, 91, 63, 48, 48, 48, 48, 48, 48, 48, 48, 100, 100, 100, 122, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 65, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 75, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 118, 48, 48, 57, 50, 50, 51, 51, 55, 50, 48, 51, 54, 56, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 63, 109, 57, 57, 57, 57, 101, 32, 63, 63, 115, 117, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 106, 111, 105, 110, 32, 63, 95, 93, 91, 63, 48, 48, 48, 48, 48, 48, 48, 48, 100, 100, 100, 100, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 53, 55, 53, 52, 48, 56, 50, 57, 52, 63, 109, 57, 57, 57, 57, 101, 32, 63, 63, 115, 117, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 106, 111, 105, 110, 32, 63, 110, 93, 91, 63, 48, 48, 48, 48, 48, 48, 48, 48, 100, 100, 100, 100, 48, 48, 55, 50, 48, 51, 54, 56, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 57, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 63, 109, 57, 57, 57, 57, 101, 32, 63, 63, 115, 117, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 106, 111, 105, 110, 32, 63, 95, 93, 91, 63, 48, 48, 48, 48, 48, 48, 48, 48, 100, 100, 100, 100, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 100, 100, 100, 100, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 55, 48, 55, 51, 49, 51, 57, 54, 56, 55, 48, 57, 52, 55, 52, 55, 49, 51, 52, 63, 109, 57, 57, 57, 57, 101, 32, 63, 63, 115, 117, 97, 109, 101, 32, 63, 110, 97, 118, 103, 105, 110, 93, 93, 41, 10]

Reproduce with:

	cargo fuzz run -O datalog_eval fuzz/artifacts/datalog_eval/oom-8ee829c9ac5625e2f85feebc78b0ffbccafc23d7

Minimize test case with:

	cargo fuzz tmin -O datalog_eval fuzz/artifacts/datalog_eval/oom-8ee829c9ac5625e2f85feebc78b0ffbccafc23d7

────────────────────────────────────────────────────────────────────────────────

Error: Fuzz target exited with exit status: 71

Triage

Not a regression, not data-integrity. The non-rule query path (execute_query, src/query/datalog/executor.rs) materialises every intermediate binding before projecting, with no cap on intermediate rows. max_results only limits rule-derived facts (#528). Same code on main and v3.

Input: a 21-pattern :where where most patterns use their own entity/attribute/value variables ([?eN ??aN ?vN]), i.e. a cartesian product. Over the harness's 3 facts that is up to 3^k intermediate bindings, while :find ?n has at most 3 distinct rows.

Reproduced on v3 (REPL, envelope build, the harness's 3 facts, k patterns with no shared variables):

k	intermediate rows	time	peak RSS
10	59K	0.4s	327 MB
12	531K	4.2s	3.1 GB
13	1.6M	>120s (killed)	>5.7 GB

Decision: fix in the streaming engine (#473), not with a cap now

Reusing max_results as an intermediate-row cap was rejected: a plain [?e :name ?n] scan over >1M facts would start failing, a new failure on v2.x.
The streaming engine (enhancement: streaming, pull-based operator pipeline with bounded memory behind the cursor API (follow-up to #432) #473) bounds memory for this shape: per spec §6 a HashJoin builds on the smaller-estimate input (here the 3-row pattern) and streams its output, so only the build sides and the :find distinct set are held. streaming engine 7/9: memory accounting and optional cap (QRY-012) (#473) #549's optional query_memory_limit / QRY-012 turns remaining large-state cases into an error instead of an abort. Acceptance criterion added to streaming engine 7/9: memory accounting and optional cap (QRY-012) (#473) #549.
Caveat: run time stays exponential (3^k rows still flow). After enhancement: streaming, pull-based operator pipeline with bounded memory behind the cursor API (follow-up to #432) #473 this input becomes a fuzz timeout rather than an OOM, so the datalog_eval harness will need its own guard (e.g. a bound on cartesian width / pattern count) — tracked here.

Leaving this open until #549 lands and the harness is guarded; the nightly will keep reporting this input until then.

ci(codecov): ignore the fuzz harnesses

Merge pull request #576 from project-minigraf/fuzz/575-cartesian-guar…

fuzz(datalog_eval): skip inputs whose patterns join to a cross product (

Fuzz harness guard merged on both branches: #576 (v3, f7d0328) and #577 (main, 6e73421). datalog_eval now skips inputs whose patterns could join to more than 50,000 rows over its 3 facts. On either corpus this skips only this input, so no engine coverage is lost.

The engine limitation itself (no bound on intermediate bindings in a cross product) is tracked by #549 under #473, which now has an acceptance criterion for this shape. Closing as tracked by #549. A future nightly failure opens a fresh issue.

fuzz(datalog_eval): count partial bindings in the join guard (#597) (#…

Navigation Menu

Repository navigation

Nightly fuzz failure (main) #575

Fuzz logs (failed targets only, last 100 lines each)

fuzz-datalog_eval.log

Triage

Decision: fix in the streaming engine (#473), not with a cap now

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Nightly fuzz failure (main) #575

Description

Fuzz logs (failed targets only, last 100 lines each)

fuzz-datalog_eval.log

Activity

adityamukho commented on Oct 13, 2026

Triage

Decision: fix in the streaming engine (#473), not with a cap now

adityamukho commented on Oct 13, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions