Run 1,600
One admitted validation history row. Whole-run result and per-cell verdict remain separate.
Retained validation row
Current ledger record means this is the terminal row after applying the ledger correction chain for this run id. It does not describe code age.
- Ledger record
- Current ledger record
- Run number
- 1,600
- Run id
validate-hard-green-9535ce91- Record id
devbig014-1788162482-4053089- Validate path
- full
- Selection mode
- full
- Whole-run result
- fail
- Hermit commit
9535ce91e1fe- Started
- Wall clock
- 1480.0 seconds
- Ledger schema
- 7
- History row digest
ae2566aa98ed1d136f8cadc062dfc19cc16402e34b0bef4370154f635019cb33- Cell-results run id
validate-hard-green-9535ce91- Cell-results Hermit SHA
9535ce91e1fe- Population digest
1bd12b662bc3aec16fa82d42f1b97363eea8bae1c44eb13349b35082e7d26a58- Source tree dirty
- false
Selected by full
492 cells were selected by full. Of the selected cells in the manifest, 382 have published cell pages. Selected cells with no qualifying admitted row have no cell detail page and are listed as plain text.
No full selected-cell groups match these filters.
Chaos/ptrace
c-programs: fp-reduction-nondeterminism, thread-sync-determinism
chaos-c: lock-granularity
determinism-stress: thread-interleaving
determinism-stress-c: thread-contention
Custom/liteinst
system-utils: clock-determinism
Custom/ptrace
backend-parity-c: environment-and-workdir
system-utils: clock-determinism
Replay/ptrace
system-utils: record-getpid
Verify/kvm
applications: kvm-python-examples, kvm-shell-environment
language-runtimes: example-python-random
system-utils: example-devrand
Verify/liteinst
backend-parity-c: mmap-layout-pointer-order, pid-probe, stat-metadata-identity
bin-c: posix-timer-test
c-programs: epoll-determinism, mmap-determinism, name-to-handle-at-eopnotsupp, name-to-handle-directory-eopnotsupp, name-to-handle-empty-path-eopnotsupp, name-to-handle-regular-eopnotsupp, netlink-autobind-generic, netlink-autobind-route, netlink-autobind-usersock, proc-fd-link-aliases, so-incoming-cpu-tcp4, so-incoming-cpu-tcp6, so-incoming-cpu-udp4, socket-cookie-tcp, socket-cookie-udp, socket-cookie-unix, socket-ioctl-timestamp, socket-timestamp-timespec, socket-timestamp-timeval, unix-autobind-dgram, unix-autobind-seqpacket, unix-autobind-stream
debugger-c: debuggee
language-runtimes: example-python-random
Verify/ptrace
backend-parity-c: aio-refusal, append-pwrite, bind-getsockname, cachestat-refusal, child-subreaper-refusal, close-range-fds, copy-file-range-refusal, cpu-virtualization, cpuid-probe, cwd-roundtrip, dup-shared-offset, environment-and-workdir, epoll-pwait2, epoll-readiness, event-delivery-ordering, eventfd-semantics, faccessat2-flags, fadvise-hints, fallocate-extents, fchmod-bits, fchmodat2-flags, fcntl-owner, fd-duplication, file-backed-mmap, file-io-roundtrip, flock-lifecycle, fork-exec-pipeline, fsync-durability, ftruncate-sparse, getcpu-identity, getpriority-identity, getrusage-self-accounting, hardware-trap-identity, host-identity, inline-syscall-sites, inotify-watch, ioctl-fionread, kcmp-refusal, linkat-flags, lseek-positioning, mce-kill-refusal, membarrier-query, memfd-create, mempolicy-default, mincore-residency, mixed-inline-and-libc-syscalls, mkdir-rmdir, mknod-special, mmap-layout-pointer-order, msync-writeback, name-to-handle-refusal, no-new-privs-refusal, numa-node-identity, o-tmpfile-anon, openat-flags, openat2-refusal, path-file-ops, personality-domain, pid-probe, pidfd-open-self, pipe-capacity, pipe-capacity-pin, pipe-ipc, pipe-multiwriter-ordering, pipe2-flags, poll-readiness, prctl-identity, prctl-pdeathsig, preadv2-flags, pthread-lifecycle, readdir-entries, readdir-order-identity, record-lock, rename-ops, renameat2-flags, rlimit-identity, robust-list, sched-getaffinity-identity, seccomp-refusal, sendfile-copy, set-tid-address, short-io-split-identity, shutdown-socketpair, signal-delivery-sequence, signal-waitstatus-identity, signalfd-create, socket-epoll-ordering, socket-options, socketpair-flags, sockname-unnamed, stat-metadata-identity, statfs-free-determinism, static-nolibc-syscall-sites, statx-metadata, symlink-ops, sync-file-range, sysv-ipc-refusal, thp-disable, umask-mode, uname-identity, utimensat-determinism, vectored-file-io, vectored-io
bin-c: posix-timer-test
c-programs: acct-refusal-probe, add-key-enosys, adjtimex-deterministic, arch-prctl-determinism, bpf-enosys, cachestat-enosys, clock-adjtime-deterministic, clone, copy-file-range-refusal-probe, dbt-copied-tiocgpgrp, dbt-exec-failure, dbt-execveat-unsupported, dbt-mmap-exec, dbt-prlimit-self, dbt-self-sigqueue, dbt-wait-lifecycle, epoll-determinism, fp-reduction-nondeterminism, futex-requeue-enosys, futex-waitv-enosys, futex-wake-enosys, get-robust-list-child, get-robust-list-self, get-robust-list-thread, getcpu, getitimer-determinism-probe, getsockopt-null, hello-alarm, hello-nostdlib, hello-signals, io-uring-fallback, io-uring-ring-determinism, ioctl-fioclex, ioctl-siocethtool, ipc-determinism, just-spin, kcmp-eperm, keyctl-enosys, keyctl-passthrough, listmount-enosys, liteinst-advanced, lsm-get-self-attr-enosys, lsm-list-modules-enosys, lsm-set-self-attr-enosys, madvise-determinism, map-shadow-stack-enosys, memfd-secret-enosys, meminfo-available-deterministic, meminfo-cached-deterministic, meminfo-free-deterministic, memorypress, mmap-determinism, mmap-stress-determinism, name-to-handle-at-eopnotsupp, name-to-handle-directory-eopnotsupp, name-to-handle-empty-path-eopnotsupp, name-to-handle-regular-eopnotsupp, nanosleep-par, nanosleep-threads-nocrash, netlink-autobind-generic, netlink-autobind-route, netlink-autobind-usersock, netns-cookie-tcp4, netns-cookie-tcp6, netns-cookie-udp4, pause-alarm-interrupt, perf-event-hardware-enosys, perf-event-open-enosys, perf-event-software-enosys, perf-event-watchpoint-enosys, periodic-setitimer-delivery, pidfd-open-self, pidfd-poll-self, pidfd-waitid-child, pipe2-errno-precedence, ppoll-readv, ppoll-simulation, prctl-dumpable, prctl-option-policy, pread64-nostdlib, print-memaddrs, printf-with-threads, proc-fd-link-aliases, proc-fdinfo, proc-locks, process-mrelease-enosys, process-vm-readv-refusal-probe, process-vm-writev-refusal-probe, procfs-identity-agreement, procfs-positioned-probe, prodcons-determinism, pselect6-simulation, ptrace-attach-eperm, ptrace-eperm, ptrace-seize-eperm, ptrace-traceme-eperm, pty-nr-count, racewrite-nostdlib, random-sources, rcx-canonicalization, record-replay-fd-close, record-replay-lseek-seek-cur, record-replay-setsockopt, recvmsg-scm-rights-mmap, remap-file-pages-anonymous-enosys, remap-file-pages-memfd-enosys, remap-file-pages-tmpfile-enosys, request-key-enosys, sched-setattr-batch, sched-setattr-idle, sched-setattr-other, sched-yield-progress, scheduler-policy-queries, session-identity, setitimer-determinism, sigmask-preemption, signal-determinism, sigpipe-siginfo, sigtimedwait-no-timeout, sigtimedwait-timeout-0s, sigtimedwait-timeout-1s, so-incoming-cpu-tcp4, so-incoming-cpu-tcp6, so-incoming-cpu-udp4, socket-cookie-tcp, socket-cookie-udp, socket-cookie-unix, socket-ioctl-timestamp, socket-timestamp-timespec, socket-timestamp-timeval, splice-enosys, statmount-enosys, syscall-file-io, syscall-file-metadata, syscall-quick-wins, sysfs-enosys, sysinfo, sysinfo-uptime, syslog-deterministic, sysv-sem-enosys, sysv-shm-enosys, tcp-info-accept4, tcp-info-accept6, tcp-info-client4, tee-enosys, thread-self-procfs-handoff, thread-sync-determinism, threadexhaustion, timer-create-determinism, uname, unix-autobind-dgram, unix-autobind-seqpacket, unix-autobind-stream, ustat-enosys, vforkexec, vmsplice-enosys, wait-on-child, writev-determinism
chaos-c: lock-granularity
data-handling: archive-roundtrip, dd-partial-transfers, jq-json-transform, shell-pipeline, sqlite-query-determinism, zstd-multithread
debugger-c: debuggee
determinism-stress-c: fork-tree, lock-free, mmap-fork-shared, pid-tid, pid-tid-identity, pipe-chain, pipe-prefill, producer-consumer, signal-order, thread-contention, thread-stress
language-runtimes: bash-loop-pipe-time, bash-random, cpp-stl-determinism, example-python-random, gawk-random, lua-random, m4-macro-mkstemp, node-v8-jit, perl-hash-order, perl-io-subprocess-time, perl-random, python-dict-hash-iteration, python-hash-determinism, python-io-subprocess-time, python-random, ruby-random, rust-hashmap-iteration, tcl-rand-clock
system-utils: auxv-loader-dump, clock-determinism, clock-exec-continuity, date-nanoseconds, du-tree-summary, errno-path-identity, example-date, example-devrand, file-timestamp-identity, find-tree-metadata, harness-width-contract, mcookie-random, mktemp-name, nscd-neutralised, openssl-enc, openssl-genpkey, openssl-passwd, openssl-rand, openssl-x509, overflow-gid-resolves, proc-random-uuid, proc-uptime, ps-proc-table, random-device, record-getpid, shm-coherency-identity, shuf-permutation, sort-random, ssh-keygen-ed25519, startup-surface-identity, startup-tls-guards, sysfs-sanitized-prefixes, uuidgen-random
Verify/sabre
backend-parity-c: pid-probe
bin-c: posix-timer-test
c-programs: acct-refusal-probe, add-key-enosys, adjtimex-deterministic, bpf-enosys, cachestat-enosys, clock-adjtime-deterministic, copy-file-range-refusal-probe, dbt-exec-failure, dbt-mmap-exec, dbt-prlimit-self, dbt-self-sigqueue, epoll-determinism, futex-requeue-enosys, futex-waitv-enosys, futex-wake-enosys, get-robust-list-self, getcpu, getitimer-determinism-probe, getsockopt-null, hello-alarm, hello-signals, io-uring-fallback, io-uring-ring-determinism, ioctl-fioclex, ioctl-siocethtool, kcmp-eperm, keyctl-enosys, keyctl-passthrough, listmount-enosys, lsm-get-self-attr-enosys, lsm-list-modules-enosys, lsm-set-self-attr-enosys, madvise-determinism, map-shadow-stack-enosys, memfd-secret-enosys, meminfo-available-deterministic, meminfo-cached-deterministic, meminfo-free-deterministic, memorypress, mmap-determinism, mmap-stress-determinism, name-to-handle-at-eopnotsupp, name-to-handle-directory-eopnotsupp, name-to-handle-empty-path-eopnotsupp, name-to-handle-regular-eopnotsupp, netlink-autobind-generic, netlink-autobind-route, netlink-autobind-usersock, netns-cookie-tcp4, netns-cookie-tcp6, netns-cookie-udp4, perf-event-hardware-enosys, perf-event-open-enosys, perf-event-software-enosys, perf-event-watchpoint-enosys, periodic-setitimer-delivery, pidfd-open-self, pidfd-poll-self, pipe2-errno-precedence, ppoll-readv, prctl-dumpable, proc-fd-link-aliases, proc-locks, process-mrelease-enosys, process-vm-readv-refusal-probe, process-vm-writev-refusal-probe, procfs-identity-agreement, procfs-positioned-probe, ptrace-eperm, ptrace-traceme-eperm, pty-nr-count, rcx-canonicalization, record-replay-lseek-seek-cur, record-replay-setsockopt, recvmsg-scm-rights-mmap, remap-file-pages-anonymous-enosys, remap-file-pages-memfd-enosys, request-key-enosys, sched-setattr-batch, sched-setattr-idle, sched-setattr-other, scheduler-policy-queries, so-incoming-cpu-tcp6, so-incoming-cpu-udp4, socket-cookie-tcp, socket-cookie-udp, socket-cookie-unix, splice-enosys, statmount-enosys, syscall-file-io, syscall-file-metadata, syscall-quick-wins, sysfs-enosys, syslog-deterministic, sysv-sem-enosys, sysv-shm-enosys, tcp-info-accept4, tcp-info-accept6, tcp-info-client4, tee-enosys, timer-create-determinism, uname, unix-autobind-dgram, unix-autobind-seqpacket, unix-autobind-stream, ustat-enosys, vmsplice-enosys
debugger-c: debuggee
system-utils: record-getpid
Recorded cell results
Artifact rows: 492; artifact digest ad8a56d7f229266c4d2964d02da05b4f7f7971ec7979e7d02c5d90b3869a4f3b.
Recorded results for cells selected by full
492 selected cells have recorded results in this ledger row.
No recorded selected cells match these filters.
applications/c-toolchain-workflow/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 18,551; right 18,551 |
|---|---|---|---|---|
applications/git-repository-workflow/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 18,296; right 18,296 |
applications/timed-progress-bar/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 115,167; right 115,167 |
backend-parity-c/aio-refusal/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 107; right 107 |
backend-parity-c/append-pwrite/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 152; right 152 |
backend-parity-c/bind-getsockname/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 110; right 110 |
backend-parity-c/cachestat-refusal/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 132; right 132 |
backend-parity-c/child-subreaper-refusal/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 103; right 103 |
backend-parity-c/close-range-fds/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 145; right 145 |
backend-parity-c/copy-file-range-refusal/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 143; right 143 |
backend-parity-c/cpu-virtualization/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 104; right 104 |
backend-parity-c/cwd-roundtrip/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 141; right 141 |
backend-parity-c/dup-shared-offset/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 156; right 156 |
backend-parity-c/environment-and-workdir/custom/ptrace | fail | performs-no-comparison-by-design | declared-but-unverifiable | Reason: custom mode does not perform canonical two-run comparison |
backend-parity-c/environment-and-workdir/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 128; right 128 |
backend-parity-c/epoll-pwait2/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 125; right 125 |
backend-parity-c/epoll-readiness/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 123; right 123 |
backend-parity-c/event-delivery-ordering/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 190; right 190 |
backend-parity-c/eventfd-semantics/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 169; right 169 |
backend-parity-c/faccessat2-flags/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 140; right 140 |
backend-parity-c/fadvise-hints/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 132; right 132 |
backend-parity-c/fallocate-extents/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 138; right 138 |
backend-parity-c/fchmod-bits/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 139; right 139 |
backend-parity-c/fchmodat2-flags/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 139; right 139 |
backend-parity-c/fcntl-owner/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 121; right 121 |
backend-parity-c/fd-duplication/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 171; right 171 |
backend-parity-c/file-backed-mmap/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 141; right 141 |
backend-parity-c/file-io-roundtrip/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 148; right 148 |
backend-parity-c/flock-lifecycle/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 129; right 129 |
backend-parity-c/fork-exec-pipeline/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 344; right 344 |
backend-parity-c/fsync-durability/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 132; right 132 |
backend-parity-c/ftruncate-sparse/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 143; right 143 |
backend-parity-c/getcpu-identity/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 123; right 123 |
backend-parity-c/getpriority-identity/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 113; right 113 |
backend-parity-c/getrusage-self-accounting/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 111; right 111 |
backend-parity-c/hardware-trap-identity/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 309; right 309 |
backend-parity-c/host-identity/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 117; right 117 |
backend-parity-c/inline-syscall-sites/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 165; right 165 |
backend-parity-c/inotify-watch/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 110; right 110 |
backend-parity-c/ioctl-fionread/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 121; right 121 |
backend-parity-c/kcmp-refusal/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 111; right 111 |
backend-parity-c/linkat-flags/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 154; right 154 |
backend-parity-c/lseek-positioning/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 151; right 151 |
backend-parity-c/mce-kill-refusal/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 103; right 103 |
backend-parity-c/membarrier-query/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 105; right 105 |
backend-parity-c/memfd-create/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 121; right 121 |
backend-parity-c/mempolicy-default/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 107; right 107 |
backend-parity-c/mincore-residency/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 119; right 119 |
backend-parity-c/mixed-inline-and-libc-syscalls/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 147; right 147 |
backend-parity-c/mkdir-rmdir/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 137; right 137 |