Run 176

One admitted validation history row. Whole-run result and per-cell verdict remain separate.

Retained validation row

Superseded ledger record means a later correction replaced this retained row. It does not describe code age, and a correction can preserve every measurement value.

Ledger record
Superseded ledger record
Correction chain
Corrected by Run 176
Run number
176
Run id
validate-hermit-909-29d3130aff48-1788580393917413984-3016119-eddb524f
Record id
devbig030-1788581747-3054445
Validate path
full
Selection mode
full
Whole-run result
pass
Hermit commit
29d3130aff48
Started
Wall clock
1242.0 seconds
Ledger schema
7
History row digest
604681540c7492d18c0f2b487b9bd6a17e6e2614686a4a29bff8342b08afc965
Cell-results run id
validate-hermit-909-29d3130aff48-1788580393917413984-3016119-eddb524f
Cell-results Hermit SHA
29d3130aff48
Population digest
f27f3a56e46f02a980ff638960d8f23966ed9dd1c560ca18a7acd3a64803e6ed
Source tree dirty
false

Selected by full

680 cells were selected by full. Of the selected cells in the manifest, 497 have published cell pages. Selected cells with no qualifying admitted row have no cell detail page and are listed as plain text.

Chaos/ptrace

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

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, epoll-readiness, eventfd-semantics, faccessat2-flags, fadvise-hints, fallocate-extents, fchmod-bits, fd-duplication, file-backed-mmap, file-io-roundtrip, flock-lifecycle, ftruncate-sparse, getcpu-identity, getpriority-identity, inline-syscall-sites, 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, name-to-handle-refusal, no-new-privs-refusal, numa-node-identity, o-tmpfile-anon, openat-flags, openat2-refusal, path-file-ops, pid-probe, pidfd-open-self, pipe-capacity, pipe-capacity-pin, pipe2-flags, readdir-entries, readdir-order-identity, rename-ops, renameat2-flags, rlimit-identity, robust-list, sched-getaffinity-identity, seccomp-refusal, sendfile-copy, set-tid-address, shutdown-socketpair, signalfd-create, socket-epoll-ordering, stat-metadata-identity, statfs-free-determinism, static-nolibc-syscall-sites, statx-metadata, symlink-ops, sync-file-range, sysv-ipc-refusal, umask-mode, uname-identity, utimensat-determinism, vectored-io
c-programs: acct-refusal-probe, add-key-enosys, adjtimex-deterministic, arch-prctl-determinism, bpf-enosys, cachestat-enosys, clock-adjtime-deterministic, copy-file-range-refusal-probe, dbt-exec-failure, dbt-execveat-unsupported, dbt-mmap-exec, dbt-prlimit-self, epoll-determinism, futex-requeue-enosys, futex-waitv-enosys, futex-wake-enosys, get-robust-list-self, getcpu, getitimer-determinism-probe, getsockopt-null, hello-nostdlib, 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, nanosleep-par, 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, pidfd-open-self, pidfd-poll-self, pipe2-errno-precedence, ppoll-readv, prctl-dumpable, prctl-option-policy, pread64-nostdlib, print-memaddrs, proc-locks, process-mrelease-enosys, process-vm-readv-refusal-probe, process-vm-writev-refusal-probe, procfs-positioned-probe, ptrace-attach-eperm, ptrace-eperm, ptrace-traceme-eperm, racewrite-nostdlib, rcx-canonicalization, record-replay-fd-close, 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, scheduler-policy-queries, session-identity, setitimer-determinism, so-incoming-cpu-tcp4, so-incoming-cpu-tcp6, so-incoming-cpu-udp4, socket-cookie-tcp, socket-cookie-udp, socket-cookie-unix, socket-timestamp-timespec, socket-timestamp-timeval, splice-enosys, statmount-enosys, syscall-file-io, 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, vforkexec, vmsplice-enosys
language-runtimes: example-python-random
system-utils: example-devrand

Verify/liteinst

backend-parity-c: mmap-layout-pointer-order, pid-probe, stat-metadata-identity
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
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
debugger-c: debuggee

Verify/sabre

backend-parity-c: pid-probe
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: 680; artifact digest e19b00876b5570df36d0559673a795a9e483888af797a41a4325b462cfd73f54.

Recorded results for cells selected by full

680 selected cells have recorded results in this ledger row.

TEST-RESULT and COMMIT-VERDICT are separate adjacent columns.
applications/c-toolchain-workflow/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 18,519; right 18,519
applications/git-repository-workflow/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 18,280; right 18,280
applications/timed-progress-bar/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 49,017; right 49,017
applications/timed-progress-bar/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 115,171; right 115,171
backend-parity-c/aio-refusal/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 97; right 97
backend-parity-c/aio-refusal/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 107; right 107
backend-parity-c/append-pwrite/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 134; right 134
backend-parity-c/append-pwrite/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 152; right 152
backend-parity-c/bind-getsockname/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 100; right 100
backend-parity-c/bind-getsockname/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 110; right 110
backend-parity-c/cachestat-refusal/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 114; right 114
backend-parity-c/cachestat-refusal/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 132; right 132
backend-parity-c/child-subreaper-refusal/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 93; right 93
backend-parity-c/child-subreaper-refusal/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 103; right 103
backend-parity-c/close-range-fds/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 127; right 127
backend-parity-c/close-range-fds/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 145; right 145
backend-parity-c/copy-file-range-refusal/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 129; right 129
backend-parity-c/copy-file-range-refusal/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 143; right 143
backend-parity-c/cpu-virtualization/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 94; right 94
backend-parity-c/cpu-virtualization/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 104; right 104
backend-parity-c/cwd-roundtrip/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 123; right 123
backend-parity-c/cwd-roundtrip/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 141; right 141
backend-parity-c/dup-shared-offset/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 138; right 138
backend-parity-c/dup-shared-offset/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 156; right 156
backend-parity-c/environment-and-workdir/custom/ptracepassperforms-no-comparison-by-designdeclared-but-unverifiableReason: custom mode does not perform canonical two-run comparison
backend-parity-c/environment-and-workdir/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 128; right 128
backend-parity-c/epoll-pwait2/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 125; right 125
backend-parity-c/epoll-readiness/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 113; right 113
backend-parity-c/epoll-readiness/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 123; right 123
backend-parity-c/event-delivery-ordering/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 190; right 190
backend-parity-c/eventfd-semantics/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 159; right 159
backend-parity-c/eventfd-semantics/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 169; right 169
backend-parity-c/faccessat2-flags/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 122; right 122
backend-parity-c/faccessat2-flags/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 140; right 140
backend-parity-c/fadvise-hints/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 114; right 114
backend-parity-c/fadvise-hints/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 132; right 132
backend-parity-c/fallocate-extents/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 120; right 120
backend-parity-c/fallocate-extents/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 138; right 138
backend-parity-c/fchmod-bits/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 121; right 121
backend-parity-c/fchmod-bits/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 139; right 139
backend-parity-c/fchmodat2-flags/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 139; right 139
backend-parity-c/fcntl-owner/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 121; right 121
backend-parity-c/fd-duplication/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 153; right 153
backend-parity-c/fd-duplication/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 171; right 171
backend-parity-c/file-backed-mmap/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 123; right 123
backend-parity-c/file-backed-mmap/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 141; right 141
backend-parity-c/file-io-roundtrip/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 138; right 138
backend-parity-c/file-io-roundtrip/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 148; right 148
backend-parity-c/flock-lifecycle/verify/kvmpasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 111; right 111
backend-parity-c/flock-lifecycle/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 129; right 129