Run 1,563
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,563
- Run id
validate-validate-current-tip-8f07f6b6d3ab-1788068826764465221-3873548-3da9c3f3- Record id
devbig014-1788070249-4032926- Validate path
- full
- Selection mode
- full
- Whole-run result
- pass
- Hermit commit
8f07f6b6d3ab- Started
- Wall clock
- 1273.0 seconds
- Ledger schema
- 7
- History row digest
3693ec7b60c0bb06dd7185d084e4f7c66eb97c02520a08b962c23b95423504b2- Cell-results run id
validate-validate-current-tip-8f07f6b6d3ab-1788068826764465221-3873548-3da9c3f3- Cell-results Hermit SHA
8f07f6b6d3ab- Population digest
8c6f129c9167cd2cedc56432a8c4408618bb26e77807cf12b57dd6be55448f64- Source tree dirty
- false
Selected by full
307 cells were selected by full. Of the selected cells in the manifest, 215 have published cell pages. Selected cells with no qualifying admitted row have no cell detail page and are listed as plain text.
No full selected-cell groups match these filters.
Chaos/ptrace
c-programs: fp-reduction-nondeterminism, thread-sync-determinism
chaos-c: lock-granularity
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
applications: kvm-python-examples
Verify/liteinst
backend-parity-c: mmap-layout-pointer-order, stat-metadata-identity
c-programs: name-to-handle-regular-eopnotsupp, unix-autobind-stream
debugger-c: debuggee
Verify/ptrace
backend-parity-c: aio-refusal, append-pwrite, bind-getsockname, cachestat-refusal, child-subreaper-refusal, close-range-fds, copy-file-range-refusal, cpuid-probe, cwd-roundtrip, environment-and-workdir, epoll-pwait2, epoll-readiness, event-delivery-ordering, eventfd-semantics, faccessat2-flags, fadvise-hints, fallocate-extents, fchmod-bits, fchmodat2-flags, fcntl-owner, file-backed-mmap, file-io-roundtrip, flock-lifecycle, fork-exec-pipeline, fsync-durability, ftruncate-sparse, getrusage-self-accounting, host-identity, inline-syscall-sites, inotify-watch, ioctl-fionread, kcmp-refusal, linkat-flags, 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, o-tmpfile-anon, openat-flags, openat2-refusal, path-file-ops, personality-domain, pipe-capacity, pipe-capacity-pin, pipe-ipc, pipe-multiwriter-ordering, pipe2-flags, poll-readiness, prctl-pdeathsig, preadv2-flags, readdir-entries, readdir-order-identity, record-lock, rename-ops, renameat2-flags, robust-list, seccomp-refusal, sendfile-copy, set-tid-address, short-io-split-identity, shutdown-socketpair, signal-delivery-sequence, signalfd-create, 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: add-key-enosys, arch-prctl-determinism, cachestat-enosys, clone, dbt-exec-failure, dbt-mmap-exec, fp-reduction-nondeterminism, futex-waitv-enosys, get-robust-list-self, 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, kcmp-eperm, keyctl-enosys, keyctl-passthrough, listmount-enosys, liteinst-advanced, meminfo-available-deterministic, meminfo-cached-deterministic, meminfo-free-deterministic, memorypress, mmap-stress-determinism, name-to-handle-regular-eopnotsupp, nanosleep-par, netns-cookie-tcp4, netns-cookie-tcp6, netns-cookie-udp4, pause-alarm-interrupt, periodic-setitimer-delivery, pidfd-open-self, pidfd-poll-self, pipe2-errno-precedence, ppoll-readv, prctl-dumpable, prctl-option-policy, pread64-nostdlib, print-memaddrs, proc-fdinfo, proc-locks, procfs-positioned-probe, pselect6-simulation, pty-nr-count, racewrite-nostdlib, random-sources, rcx-canonicalization, record-replay-lseek-seek-cur, record-replay-setsockopt, recvmsg-scm-rights-mmap, sched-setattr-batch, sched-setattr-idle, sched-setattr-other, scheduler-policy-queries, session-identity, setitimer-determinism, signal-determinism, sigpipe-siginfo, sigtimedwait-no-timeout, sigtimedwait-timeout-1s, syscall-file-io, syscall-file-metadata, syscall-quick-wins, sysinfo, sysinfo-uptime, tcp-info-accept4, tcp-info-accept6, tcp-info-client4, timer-create-determinism, uname, unix-autobind-stream, vforkexec, wait-on-child, writev-determinism
data-handling: archive-roundtrip, dd-partial-transfers, jq-json-transform, shell-pipeline, sqlite-query-determinism, zstd-multithread
debugger-c: debuggee
determinism-stress-c: lock-free, pid-tid, pid-tid-identity, pipe-prefill, producer-consumer, signal-order, thread-contention
language-runtimes: bash-loop-pipe-time, bash-random, cpp-stl-determinism, gawk-random, lua-random, m4-macro-mkstemp, node-v8-jit, perl-hash-order, perl-io-subprocess-time, perl-random, python-dict-hash-iteration, python-hash-determinism, python-io-subprocess-time, python-random, ruby-random, rust-hashmap-iteration, tcl-rand-clock
system-utils: auxv-loader-dump, clock-determinism, clock-exec-continuity, date-nanoseconds, du-tree-summary, errno-path-identity, example-date, file-timestamp-identity, find-tree-metadata, harness-width-contract, mcookie-random, mktemp-name, nscd-neutralised, openssl-enc, openssl-genpkey, openssl-passwd, openssl-rand, openssl-x509, overflow-gid-resolves, proc-random-uuid, proc-uptime, ps-proc-table, random-device, record-getpid, shm-coherency-identity, shuf-permutation, sort-random, ssh-keygen-ed25519, startup-surface-identity, sysfs-sanitized-prefixes, uuidgen-random
Verify/sabre
c-programs: add-key-enosys, cachestat-enosys, dbt-exec-failure, dbt-mmap-exec, futex-waitv-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, meminfo-available-deterministic, meminfo-cached-deterministic, meminfo-free-deterministic, memorypress, mmap-stress-determinism, name-to-handle-regular-eopnotsupp, netns-cookie-tcp4, netns-cookie-tcp6, netns-cookie-udp4, periodic-setitimer-delivery, pidfd-open-self, pidfd-poll-self, pipe2-errno-precedence, ppoll-readv, prctl-dumpable, proc-locks, procfs-positioned-probe, pty-nr-count, rcx-canonicalization, record-replay-lseek-seek-cur, record-replay-setsockopt, recvmsg-scm-rights-mmap, sched-setattr-batch, sched-setattr-idle, sched-setattr-other, scheduler-policy-queries, syscall-file-io, syscall-file-metadata, syscall-quick-wins, tcp-info-accept4, tcp-info-accept6, tcp-info-client4, timer-create-determinism, uname, unix-autobind-stream
debugger-c: debuggee
system-utils: record-getpid
Recorded cell results
Artifact rows: 307; artifact digest 2a94f792e8daffe9ef221b6dcfd3deb4dbeb93f9f3ec149b3999103bd4fe61e1.
Recorded results for cells selected by full
307 selected cells have recorded results in this ledger row.
No recorded selected cells match these filters.
applications/c-toolchain-workflow/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 18,551; right 18,551 |
|---|---|---|---|---|
applications/git-repository-workflow/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 18,296; right 18,296 |
applications/timed-progress-bar/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 115,167; right 115,167 |
backend-parity-c/aio-refusal/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 107; right 107 |
backend-parity-c/append-pwrite/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 152; right 152 |
backend-parity-c/bind-getsockname/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 110; right 110 |
backend-parity-c/cachestat-refusal/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 132; right 132 |
backend-parity-c/child-subreaper-refusal/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 103; right 103 |
backend-parity-c/close-range-fds/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 145; right 145 |
backend-parity-c/copy-file-range-refusal/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 143; right 143 |
backend-parity-c/cwd-roundtrip/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 141; right 141 |
backend-parity-c/environment-and-workdir/custom/ptrace | pass | performs-no-comparison-by-design | declared-but-unverifiable | Reason: custom mode does not perform canonical two-run comparison |
backend-parity-c/environment-and-workdir/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 128; right 128 |
backend-parity-c/epoll-pwait2/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 125; right 125 |
backend-parity-c/epoll-readiness/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 123; right 123 |
backend-parity-c/event-delivery-ordering/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 190; right 190 |
backend-parity-c/eventfd-semantics/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 169; right 169 |
backend-parity-c/faccessat2-flags/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 140; right 140 |
backend-parity-c/fadvise-hints/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 132; right 132 |
backend-parity-c/fallocate-extents/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 138; right 138 |
backend-parity-c/fchmod-bits/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 139; right 139 |
backend-parity-c/fchmodat2-flags/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 139; right 139 |
backend-parity-c/fcntl-owner/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 121; right 121 |
backend-parity-c/file-backed-mmap/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 141; right 141 |
backend-parity-c/file-io-roundtrip/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 148; right 148 |
backend-parity-c/flock-lifecycle/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 129; right 129 |
backend-parity-c/fork-exec-pipeline/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 344; right 344 |
backend-parity-c/fsync-durability/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 132; right 132 |
backend-parity-c/ftruncate-sparse/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 143; right 143 |
backend-parity-c/getrusage-self-accounting/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 111; right 111 |
backend-parity-c/host-identity/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 117; right 117 |
backend-parity-c/inline-syscall-sites/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 165; right 165 |
backend-parity-c/inotify-watch/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 110; right 110 |
backend-parity-c/ioctl-fionread/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 121; right 121 |
backend-parity-c/kcmp-refusal/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 111; right 111 |
backend-parity-c/linkat-flags/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 154; right 154 |
backend-parity-c/mce-kill-refusal/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 103; right 103 |
backend-parity-c/membarrier-query/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 105; right 105 |
backend-parity-c/memfd-create/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 121; right 121 |
backend-parity-c/mempolicy-default/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 107; right 107 |
backend-parity-c/mincore-residency/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 119; right 119 |
backend-parity-c/mixed-inline-and-libc-syscalls/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 147; right 147 |
backend-parity-c/mkdir-rmdir/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 137; right 137 |
backend-parity-c/mknod-special/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 141; right 141 |
backend-parity-c/mmap-layout-pointer-order/verify/liteinst | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 1,191; right 1,191 |
backend-parity-c/mmap-layout-pointer-order/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 141; right 141 |
backend-parity-c/msync-writeback/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 137; right 137 |
backend-parity-c/name-to-handle-refusal/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 103; right 103 |
backend-parity-c/no-new-privs-refusal/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 105; right 105 |
backend-parity-c/o-tmpfile-anon/verify/ptrace | pass | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 120; right 120 |