Run 1,686

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 1,686
Run number
1,686
Run id
validate-mega-lander-a20dbb13e2f9-1788448969328862337-1091428-25218e73
Record id
devbig014-1788450300-1128905
Validate path
full
Selection mode
full
Whole-run result
pass
Hermit commit
a20dbb13e2f9
Started
Wall clock
1189.0 seconds
Ledger schema
7
History row digest
c89f81eefa4281af5200ca863731f17bf1cc6bfea054eca98f6da0115863291d
Cell-results run id
validate-mega-lander-a20dbb13e2f9-1788448969328862337-1091428-25218e73
Cell-results Hermit SHA
a20dbb13e2f9
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.

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

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: 492; artifact digest c84c7cad8db0dae645f7172faacc7b0a4625f2a81592cc892f11c2b6183f9d44.

Recorded results for cells selected by full

492 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/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 115,167; right 115,167
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/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 152; right 152
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/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 132; right 132
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/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 145; right 145
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/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 104; right 104
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/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/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/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 169; right 169
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/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 132; right 132
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/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/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 171; right 171
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/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 148; right 148
backend-parity-c/flock-lifecycle/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 129; right 129
backend-parity-c/fork-exec-pipeline/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 343; right 343
backend-parity-c/fsync-durability/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 132; right 132
backend-parity-c/ftruncate-sparse/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 143; right 143
backend-parity-c/getcpu-identity/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 123; right 123
backend-parity-c/getpriority-identity/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 113; right 113
backend-parity-c/getrusage-self-accounting/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 111; right 111
backend-parity-c/hardware-trap-identity/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 309; right 309
backend-parity-c/host-identity/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 117; right 117
backend-parity-c/inline-syscall-sites/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 165; right 165
backend-parity-c/inotify-watch/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 110; right 110
backend-parity-c/ioctl-fionread/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 120; right 120
backend-parity-c/kcmp-refusal/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 111; right 111
backend-parity-c/linkat-flags/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 154; right 154
backend-parity-c/lseek-positioning/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 151; right 151
backend-parity-c/mce-kill-refusal/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 103; right 103
backend-parity-c/membarrier-query/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 105; right 105
backend-parity-c/memfd-create/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 121; right 121
backend-parity-c/mempolicy-default/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 107; right 107
backend-parity-c/mincore-residency/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 119; right 119
backend-parity-c/mixed-inline-and-libc-syscalls/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 147; right 147
backend-parity-c/mkdir-rmdir/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 137; right 137