Run 1,643

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,643
Run number
1,643
Run id
validate-dagrun-8d1a058070f5-1788258791835690327-980917-4768246e
Record id
devbig014-1788260387-1193115
Validate path
full
Selection mode
full
Whole-run result
pass
Hermit commit
8d1a058070f5
Started
Wall clock
1279.0 seconds
Ledger schema
7
History row digest
122a77299de4796b43f2f0a8c759737358c8b1b1b86ef2de719cdad3796d9596
Cell-results run id
validate-dagrun-8d1a058070f5-1788258791835690327-980917-4768246e
Cell-results Hermit SHA
8d1a058070f5
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 ad6a024803f9b60e3304bd4719226811977a93b24d2be87049e622dcb9cf8d8f.

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,551; right 18,551
applications/git-repository-workflow/verify/ptracepasscompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 18,296; right 18,296
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 344; right 344
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 121; right 121
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