Run 1,651

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,651
Run id
validate-dagrun-wrkslots-status-de398eed09b7-1788354133858378611-1311698-9f2e88c7
Record id
devbig014-1788355627-1435904
Validate path
full
Selection mode
full
Whole-run result
pass
Hermit commit
de398eed09b7
Started
Wall clock
1350.0 seconds
Ledger schema
7
History row digest
feee7ab15dd8f829f98cb5ee0915e5ab5e9b19a4efdab998e225dcfdcecd6cff
Cell-results run id
validate-dagrun-wrkslots-status-de398eed09b7-1788354133858378611-1311698-9f2e88c7
Cell-results Hermit SHA
de398eed09b7
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 c8be7d004c511b164e9c10f95e846ad6de8f0d3d12600471c6b1cd81cebaf667.

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