Run 1,630
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,630
- Run id
validate-concurrency-lab-6d70c62f08bc-1788200834019561088-3514668-c5fc47bc- Record id
devbig014-1788202768-4113442- Validate path
- full
- Selection mode
- full
- Whole-run result
- pass
- Hermit commit
6d70c62f08bc- Started
- Wall clock
- 1184.0 seconds
- Ledger schema
- 7
- History row digest
7830fbfd6178373c6dd51d2a43c8416a85084997a8969158b8d83fcaecfa91a7- Cell-results run id
validate-concurrency-lab-6d70c62f08bc-1788200834019561088-3514668-c5fc47bc- Cell-results Hermit SHA
6d70c62f08bc- 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 a52d7703c529386be67cbb94f533c8759ec10e103343ae2653cc1909804bf545.
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 | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 18,551; right 18,551 |
|---|---|---|---|---|
applications/git-repository-workflow/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 18,296; right 18,296 |
applications/timed-progress-bar/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 115,167; right 115,167 |
backend-parity-c/aio-refusal/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 107; right 107 |
backend-parity-c/append-pwrite/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 152; right 152 |
backend-parity-c/bind-getsockname/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 110; right 110 |
backend-parity-c/cachestat-refusal/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 132; right 132 |
backend-parity-c/child-subreaper-refusal/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 103; right 103 |
backend-parity-c/close-range-fds/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 145; right 145 |
backend-parity-c/copy-file-range-refusal/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 143; right 143 |
backend-parity-c/cpu-virtualization/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 104; right 104 |
backend-parity-c/cwd-roundtrip/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 141; right 141 |
backend-parity-c/dup-shared-offset/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 156; right 156 |
backend-parity-c/environment-and-workdir/custom/ptrace | pass | 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 | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 128; right 128 |
backend-parity-c/epoll-pwait2/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 125; right 125 |
backend-parity-c/epoll-readiness/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 123; right 123 |
backend-parity-c/event-delivery-ordering/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 190; right 190 |
backend-parity-c/eventfd-semantics/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 169; right 169 |
backend-parity-c/faccessat2-flags/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 140; right 140 |
backend-parity-c/fadvise-hints/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 132; right 132 |
backend-parity-c/fallocate-extents/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 138; right 138 |
backend-parity-c/fchmod-bits/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 139; right 139 |
backend-parity-c/fchmodat2-flags/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 139; right 139 |
backend-parity-c/fcntl-owner/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 121; right 121 |
backend-parity-c/fd-duplication/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 171; right 171 |
backend-parity-c/file-backed-mmap/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 141; right 141 |
backend-parity-c/file-io-roundtrip/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 148; right 148 |
backend-parity-c/flock-lifecycle/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 129; right 129 |
backend-parity-c/fork-exec-pipeline/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 344; right 344 |
backend-parity-c/fsync-durability/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 132; right 132 |
backend-parity-c/ftruncate-sparse/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 143; right 143 |
backend-parity-c/getcpu-identity/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 123; right 123 |
backend-parity-c/getpriority-identity/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 113; right 113 |
backend-parity-c/getrusage-self-accounting/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 111; right 111 |
backend-parity-c/hardware-trap-identity/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 309; right 309 |
backend-parity-c/host-identity/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 117; right 117 |
backend-parity-c/inline-syscall-sites/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 165; right 165 |
backend-parity-c/inotify-watch/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 110; right 110 |
backend-parity-c/ioctl-fionread/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 121; right 121 |
backend-parity-c/kcmp-refusal/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 111; right 111 |
backend-parity-c/linkat-flags/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 154; right 154 |
backend-parity-c/lseek-positioning/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 151; right 151 |
backend-parity-c/mce-kill-refusal/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 103; right 103 |
backend-parity-c/membarrier-query/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 105; right 105 |
backend-parity-c/memfd-create/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 121; right 121 |
backend-parity-c/mempolicy-default/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 107; right 107 |
backend-parity-c/mincore-residency/verify/ptrace | pass | 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 | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 147; right 147 |
backend-parity-c/mkdir-rmdir/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 137; right 137 |