Run 1,706

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,706
Run id
validate-tick-2-48a9b148f1b7-1788505810321198278-507822-69907b26
Record id
devbig014-1788507072-614471
Validate path
full
Selection mode
full
Whole-run result
pass
Hermit commit
48a9b148f1b7
Started
Wall clock
1106.0 seconds
Ledger schema
7
History row digest
15199597881c98ef97433f9f4929191df749169924d74d892933cfc9c712fa8d
Cell-results run id
validate-tick-2-48a9b148f1b7-1788505810321198278-507822-69907b26
Cell-results Hermit SHA
48a9b148f1b7
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 ceae5390655a1348cd6f2271740ab2c3268907562fe4b8ad2dc56e1e86e1bbd4.

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