Run id validate-hermit-147-green-main-96d174b35689-r1
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 id validate-hermit-147-green-main-96d174b35689-r1
- Run id
validate-hermit-147-green-main-96d174b35689-r1- Record id
devbig014-1787900028-442317- Validate path
- full
- Selection mode
- full
- Whole-run result
- pass
- Hermit commit
96d174b35689- Started
- Wall clock
- 1681.0 seconds
- Ledger schema
- 7
- History row digest
96e65d55e2fcf09920671bbb41dde6483b64155527379530f40103862d82d179- Cell-results run id
validate-hermit-147-green-main-96d174b35689-r1- Cell-results Hermit SHA
96d174b35689- 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 241fc900b06797b0ded452c718c1ded4a58a961d4c04d1cd0fd57e1fe9fdd2c7.
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 |