Run 2,004
One admitted validation history row. Whole-run result and per-cell verdict remain separate.
Comparison operands were derived by a writer that verified the complete original raw census. Public readers authenticate this derived view, not private raw bytes. Only recorded cells are shown; the original failed or incomplete run status is unchanged.
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
- 2,004
- Run id
validate-ops-tick-a2b1deecaa21-3af8d38d7b78- Record id
devbig014-1791038880-1130032- Validate path
- full
- Selection mode
- full
- Whole-run result
- fail
- Hermit commit
a2b1deecaa21- Started
- Wall clock
- 676.0 seconds
- Ledger schema
- 5
- History row digest
113a8d2b853d4ae78c0fb4041f7fe54cb715e93d15a03b86c537efd2ecc34b74- Cell-results run id
validate-ops-tick-a2b1deecaa21-3af8d38d7b78- Cell-results Hermit SHA
a2b1deecaa21- Raw census digest
2432f579bb1bc189a44801465a05f67ff0b786fe5496f5a30b4e4ceefae13bf0- Source tree dirty
- false
- Checks
- 84
- Executed nodes
- 84
- Executed tests
- 3869
- Exit code
- 1
- Failures
- 2
- Filtered tests
- 1774
- Gates expected
- 87
- Gates run
- 84
- Host
- devbig014
- Producer
- hermit-validate-rs
- Repository
- hermit
- Skipped nodes
- 3
- System CPU seconds
- 617.206229
- Validated source tree
ef5940715d3c4e904c6b68c826fcdb0ce0102d83- Validated source tree dirty
- false
- User CPU seconds
- 3007.1666520000003
- Validation complete
- false
- Cell-results authority
writer_verified_raw_census_v1- Cell-results population scope
recorded_only- History binding digest
203b13687483064c50dc48da8fc4b7f8ab15f4e27b70b0bfdff40355a86c3d88
Gates
84 gates in recorded order. The last column lists a gate's other recorded fields when they differ from not aborted, reported, no timeout, no OOM kill, and no failure origin.
| Gate | Result | First attempt | Retries | Exit code | Seconds | Other |
|---|---|---|---|---|---|---|
| check.lint_checks | pass | pass | 0 | 0 | 386.055631743 | |
| e2e.manifest_c_programs | fail | fail | 0 | 1 | 61.436377017 | failure_class product_failure; failure_origin outer_gate |
| lint.clippy | pass | pass | 0 | 0 | 151.105117391 | |
| test.hermit_integration | pass | pass | 0 | 0 | 79.70407183 | |
| test.regular_crates | fail | fail | 0 | 100 | 33.598544819 | failure_class product_failure; failure_origin outer_gate |
| test.isolated_detcore_workdir | pass | pass | 0 | 0 | 11.304810937 | |
| build.rust_scripts | pass | pass | 0 | 0 | 194.989519456 | |
| build.rust_scripts_in_pinned_root | pass | pass | 0 | 0 | 184.143650891 | |
| build.buck_release_artifact | pass | pass | 0 | 0 | 0.112672355 | |
| check.script_unit_tests | pass | pass | 0 | 0 | 234.400231614 | |
| doc.doctests | pass | pass | 0 | 0 | 84.721439907 | |
| test.app_strict_verify | pass | pass | 0 | 0 | 10.721396674 | |
| test.command_strict_verify | pass | pass | 0 | 0 | 19.824236403 | |
| e2e.manifest_determinism_stress | pass | pass | 0 | 0 | 14.143537761 | |
| doc.rustdoc | pass | pass | 0 | 0 | 116.030268794 | |
| test.cli | pass | pass | 0 | 0 | 119.96876707 | |
| test.hermit_modes | pass | pass | 0 | 0 | 43.958027214 | |
| test.isolated_dbt_workdir | pass | pass | 0 | 0 | 9.275883151 | |
| build.workspace_in_pinned_root | pass | pass | 0 | 0 | 200.308209571 | |
| e2e.manifest_applications | pass | pass | 0 | 0 | 22.672198024 | |
| e2e.manifest_language_runtimes | pass | pass | 0 | 0 | 25.107237739 | |
| e2e.manifest_system_utils | pass | pass | 0 | 0 | 43.09687755 | |
| test.hermit_unit | pass | pass | 0 | 0 | 47.475457224 | |
| test.detcore_unit | pass | pass | 0 | 0 | 7.752292778 | |
| test.detcore_parallel | pass | pass | 0 | 0 | 12.49900561 | |
| test.arbitrary_binaries | pass | pass | 0 | 0 | 8.264972966 | |
| test.liteinst_strict | pass | pass | 0 | 0 | 113.709858613 | |
| test.envelope_levels | pass | pass | 0 | 0 | 7.7415960649999995 | |
| build.manifest_guests | pass | pass | 0 | 0 | 3.790269341 | |
| e2e.manifest_data_handling | pass | pass | 0 | 0 | 16.125276489 | |
| test.detcore_misc | pass | pass | 0 | 0 | 9.761559728 | |
| test.sabre_examples | pass | pass | 0 | 0 | 15.33158946 | |
| test.ignored_syscall_regressions | pass | pass | 0 | 0 | 9.959231302 | |
| privileged-e2e.manifest_applications | pass | pass | 0 | 0 | 4.498436257 | |
| build.manifest_guests_in_pinned_root | pass | pass | 0 | 0 | 6.594505642 | |
| privileged-build.manifest_guests | pass | pass | 0 | 0 | 1.104617166 | |
| privileged-build.manifest_guests_in_pinned_root | pass | pass | 0 | 0 | 2.684398381 | |
| setup.manifest_plan | pass | pass | 0 | 0 | 33.764685108 | |
| privileged-build.privileged_tests | pass | pass | 0 | 0 | 6.379323537 | |
| privileged-test.cli_kvm | pass | pass | 0 | 0 | 34.489512407 | |
| setup.manifest_plan_in_pinned_root | pass | pass | 0 | 0 | 35.517072289 | |
| privileged-test.pmu_buck_chaos_cases | pass | pass | 0 | 0 | 35.166812985 | |
| check.script_sigpipe | pass | pass | 0 | 0 | 3.449161286 | |
| check.canonical_adapter_accept | pass | pass | 0 | 0 | 1.147706228 | |
| setup.nextest | pass | pass | 0 | 0 | 0.131558806 | |
| test.applications_e2e | pass | pass | 0 | 0 | 5.633485569 | |
| test.rr_suite_contract | pass | pass | 0 | 0 | 8.239184014 | |
| privileged-test.pmu_ptrace_completion_cases | pass | pass | 0 | 0 | 8.613757077 | |
| privileged-test.pmu_cli_cases | pass | pass | 0 | 0 | 21.965326045 | |
| privileged-e2e.manifest_system_utils | pass | pass | 0 | 0 | 5.828078191 | |
| check.backend_abstraction | pass | pass | 0 | 0 | 8.496319209 | |
| lint.rustfmt | pass | pass | 0 | 0 | 3.194783743 | |
| e2e.audit_compile_c_programs | pass | pass | 0 | 0 | 18.93424659 | |
| build.e2e_artifact_in_pinned_root | pass | pass | 0 | 0 | 9.522427568 | |
| privileged-cpuid.faulting | pass | pass | 0 | 0 | 3.474642186 | |
| check.backend_parity_mutation | pass | pass | 0 | 0 | 0.922141999 | |
| check.check_outcome_consumers | pass | pass | 0 | 0 | 13.750541883 | |
| e2e.manifest_bin_c | pass | pass | 0 | 0 | 6.235439763 | |
| e2e.manifest_chaos_c | pass | pass | 0 | 0 | 8.362890538 | |
| e2e.manifest_debugger_c | pass | pass | 0 | 0 | 6.53227733 | |
| e2e.manifest_determinism_stress_c | pass | pass | 0 | 0 | 23.434521866 | |
| e2e.manifest_shared_futex_c | pass | pass | 0 | 0 | 4.755115385 | |
| e2e.manifest_util_c | pass | pass | 0 | 0 | 4.988765667 | |
| privileged-pmu.preemption | pass | pass | 0 | 0 | 1.8571592529999998 | |
| privileged-e2e.manifest_c_programs | pass | pass | 0 | 0 | 6.623845066 | |
| check.skill_discovery | pass | pass | 0 | 0 | 0.457085842 | |
| check.exit_status_class | pass | pass | 0 | 0 | 0.131210563 | |
| check.dbt_runtime_abi | pass | pass | 0 | 0 | 1.4878597230000001 | |
| check.e9patch_corpus | pass | pass | 0 | 0 | 0.313654334 | |
| check.portability_paths | pass | pass | 0 | 0 | 4.015361702 | |
| check.shard_coverage | pass | pass | 0 | 0 | 10.782907561 | |
| check.dagrun_naming | pass | pass | 0 | 0 | 4.567066709 | |
| check.run_node_args | pass | pass | 0 | 0 | 11.943599541 | |
| build.host_hermit_link | pass | pass | 0 | 0 | 0.485140421 | |
| pre.submodules | pass | pass | 0 | 0 | 5.046978065 | |
| pre.reverie_pin | pass | pass | 0 | 0 | 7.239573788 | |
| gate.manifest | pass | pass | 0 | 0 | 2.197868244 | |
| selftest.scorecard | pass | pass | 0 | 0 | 9.296534131 | |
| selftest.scorecard_commands | pass | pass | 0 | 0 | 169.561590315 | |
| selftest.pressure_test | pass | pass | 0 | 0 | 98.446730382 | |
| selftest.validate_rs | pass | pass | 0 | 0 | 202.60135875 | |
| selftest.manifest_cli | pass | pass | 0 | 0 | 0.296737029 | |
| selftest.dbt_budget | pass | pass | 0 | 0 | 6.644167101 | |
| setup.pinned_root_fetch | pass | pass | 0 | 0 | 77.344086836 |
Recorded population
912 cells have writer-verified recorded attempts. This is not the full planned selection or proof that the run completed.
No recorded selected-cell groups match these filters.
Chaos/ptrace
chaos-c: lock-granularity
determinism-stress: thread-interleaving
determinism-stress-c: thread-contention
Custom/dbt
c-programs: io-uring-fallback
Custom/liteinst
system-utils: clock-determinism
Custom/ptrace
c-programs: environment-and-workdir, io-uring-fallback
system-utils: clock-determinism
Replay/ptrace
system-utils: record-getpid
Verify/dbt
c-programs: cpuid-probe, dbt-mmap-exec, dbt-wait-accounting, dbt-wait-lifecycle, listmount-enosys, madvise-determinism, mmap-determinism, mmap-determinism-heap, mmap-determinism-shared, pid-probe, process-vm-readv-refusal-probe, process-vm-writev-refusal-probe, random-sources-root-only, scheduler-policy-queries, sigaction-state, sigaltstack-state, signal-disposition, sigprocmask-state, syscall-file-io, syscall-file-metadata
system-utils: cat-file-read, clock-determinism, echo-stdout, printf-argument-forwarding, sh-exit-status, true-exit-zero
Verify/kvm
applications: kvm-shell-environment, timed-progress-bar
c-programs: acct-refusal-probe, add-key-enosys, adjtimex-deterministic, aio-refusal, append-pwrite, arch-prctl-determinism, bind-getsockname, bpf-enosys, cachestat-enosys, cachestat-refusal, child-subreaper-refusal, clock-adjtime-deterministic, close-range-fds, copy-file-range-refusal, copy-file-range-refusal-probe, cpu-virtualization, cpuid-probe, cwd-roundtrip, dbt-copied-tiocgpgrp, dbt-exec-failure, dbt-execveat-unsupported, dbt-mmap-exec, dbt-prlimit-self, dup-shared-offset, epoll-determinism, epoll-readiness, eventfd-semantics, faccessat2-flags, fadvise-hints, fallocate-extents, fchmod-bits, fchmodat2-flags, fd-duplication, file-backed-mmap, file-io-roundtrip, flock-lifecycle, fork-exec-pipeline, ftruncate-sparse, futex-requeue-enosys, futex-waitv-enosys, futex-wake-enosys, get-robust-list-child, get-robust-list-self, getcpu, getcpu-identity, getitimer-determinism-probe, getpriority-identity, getsockopt-null, hello-nostdlib, inline-syscall-sites, io-uring-fallback, io-uring-ring-determinism, ioctl-fioclex, ioctl-fionread, ioctl-siocethtool, kcmp-eperm, kcmp-refusal, keyctl-enosys, keyctl-passthrough, linkat-flags, listmount-enosys, lseek-positioning, lsm-get-self-attr-enosys, lsm-list-modules-enosys, lsm-set-self-attr-enosys, madvise-determinism, map-shadow-stack-enosys, mce-kill-refusal, membarrier-query, memfd-create, memfd-secret-enosys, meminfo-available-deterministic, meminfo-cached-deterministic, meminfo-free-deterministic, memorypress, mempolicy-default, mincore-residency, mixed-inline-and-libc-syscalls, mkdir-rmdir, mknod-special, mmap-determinism, mmap-layout-pointer-order, mmap-stress-determinism, name-to-handle-at-eopnotsupp, name-to-handle-directory-eopnotsupp, name-to-handle-empty-path-eopnotsupp, name-to-handle-refusal, name-to-handle-regular-eopnotsupp, nanosleep-par, netlink-autobind-generic, netlink-autobind-route, netlink-autobind-usersock, netns-cookie-tcp4, netns-cookie-tcp6, netns-cookie-udp4, no-new-privs-refusal, numa-node-identity, o-tmpfile-anon, openat-flags, openat2-refusal, path-file-ops, perf-event-hardware-enosys, perf-event-open-enosys, perf-event-software-enosys, perf-event-watchpoint-enosys, pid-probe, pidfd-open-self, pidfd-open-self-pair, pidfd-poll-self, pipe-capacity, pipe-capacity-pin, pipe-ipc, pipe2-errno-precedence, pipe2-flags, poll-readiness, ppoll-readv, prctl-dumpable, prctl-identity, prctl-option-policy, pread64-nostdlib, preadv2-flags, print-memaddrs, proc-locks, process-mrelease-enosys, process-vm-readv-refusal-probe, process-vm-writev-refusal-probe, procfs-positioned-probe, ptrace-attach-eperm, ptrace-eperm, ptrace-seize-eperm, ptrace-traceme-eperm, racewrite-nostdlib, random-readv-stream, rcx-canonicalization, readdir-entries, readdir-order-identity, record-replay-fd-close, record-replay-setsockopt, recvmsg-scm-rights-mmap, remap-file-pages-anonymous-enosys, remap-file-pages-memfd-enosys, remap-file-pages-tmpfile-enosys, rename-ops, renameat2-flags, request-key-enosys, rlimit-identity, robust-list, sched-getaffinity-identity, sched-setattr-batch, sched-setattr-idle, sched-setattr-other, scheduler-policy-queries, seccomp-refusal, sendfile-copy, session-identity, set-tid-address, setitimer-determinism, short-io-split-identity, shutdown-socketpair, signalfd-create, so-incoming-cpu-tcp4, so-incoming-cpu-tcp6, so-incoming-cpu-udp4, socket-cookie-tcp, socket-cookie-udp, socket-cookie-unix, socket-epoll-ordering, socket-options, socket-timestamp-timespec, socket-timestamp-timeval, socketpair-flags, sockname-unnamed, splice-enosys, stat-metadata-identity, statfs-free-determinism, static-nolibc-syscall-sites, statmount-enosys, statx-metadata, symlink-ops, sync-file-range, syscall-file-io, syscall-quick-wins, sysfs-enosys, syslog-deterministic, sysv-ipc-refusal, sysv-sem-enosys, sysv-shm-enosys, tcp-info-accept4, tcp-info-accept6, tcp-info-client4, tee-enosys, thp-disable, timer-create-determinism, umask-mode, uname, uname-identity, unix-autobind-dgram, unix-autobind-seqpacket, unix-autobind-stream, ustat-enosys, utimensat-determinism, vectored-file-io, vectored-io, vforkexec, vmsplice-enosys, wait-on-child
data-handling: jq-json-transform
debugger-c: debuggee
determinism-stress: example-race, thread-output
determinism-stress-c: pipe-chain, pipe-prefill
language-runtimes: bash-random, cpp-stl-determinism, example-python-random, gawk-random, m4-macro-mkstemp, perl-hash-order, perl-io-subprocess-time, perl-random, python-dict-hash-iteration, python-hash-determinism, python-io-subprocess-time, python-random, rust-hashmap-iteration, tcl-rand-clock
system-utils: clock-determinism, date-nanoseconds, du-tree-summary, errno-path-identity, example-date, example-devrand, file-timestamp-identity, find-tree-metadata, harness-width-contract, mcookie-random, mktemp-name, openssl-enc, openssl-genpkey, openssl-passwd, openssl-rand, openssl-x509, proc-uptime, random-device, record-getpid, shm-coherency-identity, shuf-permutation, ssh-keygen-ed25519, startup-surface-identity, startup-tls-guards, sysfs-sanitized-prefixes, uuidgen-random
Verify/liteinst
bin-c: posix-timer-test
c-programs: acct-refusal-probe, add-key-enosys, adjtimex-deterministic, aio-refusal, append-pwrite, bind-getsockname, bpf-enosys, cachestat-enosys, cachestat-refusal, child-subreaper-refusal, clock-adjtime-deterministic, clone, close-range-fds, copy-file-range-refusal, copy-file-range-refusal-probe, cpu-virtualization, cpuid-probe, cwd-roundtrip, dbt-copied-tiocgpgrp, dbt-exec-failure, dbt-mmap-exec, dbt-prlimit-self, dbt-self-sigqueue, dbt-wait-lifecycle, dup-shared-offset, epoll-determinism, 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, fp-reduction-nondeterminism, fsync-durability, ftruncate-sparse, futex-requeue-enosys, futex-waitv-enosys, futex-wake-enosys, get-robust-list-child, getcpu-identity, getpriority-identity, hardware-trap-identity, host-identity, inline-syscall-sites, inotify-watch, ioctl-fioclex, 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-determinism, mmap-layout-pointer-order, msync-writeback, name-to-handle-at-eopnotsupp, name-to-handle-directory-eopnotsupp, name-to-handle-empty-path-eopnotsupp, name-to-handle-refusal, name-to-handle-regular-eopnotsupp, netlink-autobind-generic, netlink-autobind-route, netlink-autobind-usersock, no-new-privs-refusal, numa-node-identity, o-tmpfile-anon, openat-flags, openat2-refusal, path-file-ops, pause-alarm-interrupt, personality-domain, pid-probe, pidfd-open-self-pair, pipe-capacity, pipe-capacity-pin, pipe-ipc, pipe2-flags, poll-readiness, prctl-identity, prctl-pdeathsig, preadv2-flags, proc-fd-link-aliases, 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, so-incoming-cpu-tcp4, so-incoming-cpu-tcp6, so-incoming-cpu-udp4, socket-cookie-tcp, socket-cookie-udp, socket-cookie-unix, socket-epoll-ordering, socket-ioctl-timestamp, socket-options, socket-timestamp-timespec, socket-timestamp-timeval, socketpair-flags, sockname-unnamed, stat-metadata-identity, statfs-free-determinism, statx-metadata, symlink-ops, sync-file-range, sysv-ipc-refusal, thp-disable, umask-mode, uname-identity, unix-autobind-dgram, unix-autobind-seqpacket, unix-autobind-stream, utimensat-determinism, vectored-file-io, vectored-io
debugger-c: debuggee
language-runtimes: example-python-random
system-utils: clock-determinism, record-getpid
Verify/ptrace
bin-c: posix-timer-test
c-programs: acct-refusal-probe, add-key-enosys, adjtimex-deterministic, aio-refusal, append-pwrite, arch-prctl-determinism, bind-getsockname, bpf-enosys, cachestat-enosys, cachestat-refusal, child-subreaper-refusal, clock-adjtime-deterministic, clone, close-range-fds, copy-file-range-refusal, copy-file-range-refusal-probe, cpu-virtualization, cpuid-probe, cwd-roundtrip, dbt-copied-tiocgpgrp, dbt-exec-failure, dbt-execveat-unsupported, dbt-mmap-exec, dbt-prlimit-self, dbt-self-sigqueue, dbt-wait-accounting, dbt-wait-lifecycle, dup-shared-offset, environment-and-workdir, epoll-determinism, 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, fp-reduction-nondeterminism, fsync-durability, ftruncate-sparse, futex-requeue-enosys, futex-waitv-enosys, futex-wake-enosys, get-robust-list-child, get-robust-list-self, get-robust-list-thread, getcpu, getcpu-identity, getitimer-determinism-probe, getpriority-identity, getrusage-self-accounting, getsockopt-null, hardware-trap-identity, hello-alarm, hello-nostdlib, hello-signals, host-identity, inline-syscall-sites, inotify-watch, io-uring-fallback, io-uring-ring-determinism, ioctl-fioclex, ioctl-fionread, ioctl-siocethtool, ipc-determinism, just-spin, kcmp-eperm, kcmp-refusal, keyctl-enosys, keyctl-passthrough, linkat-flags, listmount-enosys, liteinst-advanced, lseek-positioning, lsm-get-self-attr-enosys, lsm-list-modules-enosys, lsm-set-self-attr-enosys, madvise-determinism, map-shadow-stack-enosys, mce-kill-refusal, membarrier-query, memfd-create, memfd-secret-enosys, meminfo-available-deterministic, meminfo-cached-deterministic, meminfo-free-deterministic, memorypress, mempolicy-default, mincore-residency, mixed-inline-and-libc-syscalls, mkdir-rmdir, mknod-special, mmap-determinism, mmap-determinism-heap, mmap-determinism-shared, mmap-layout-pointer-order, mmap-stress-determinism, msync-writeback, name-to-handle-at-eopnotsupp, name-to-handle-directory-eopnotsupp, name-to-handle-empty-path-eopnotsupp, name-to-handle-refusal, name-to-handle-regular-eopnotsupp, nanosleep-par, nanosleep-threads-nocrash, nanosleep-threads-simple, netlink-autobind-generic, netlink-autobind-route, netlink-autobind-usersock, netns-cookie-tcp4, netns-cookie-tcp6, netns-cookie-udp4, no-new-privs-refusal, numa-node-identity, o-tmpfile-anon, openat-flags, openat2-refusal, path-file-ops, pause-alarm-interrupt, perf-event-hardware-enosys, perf-event-open-enosys, perf-event-software-enosys, perf-event-watchpoint-enosys, periodic-setitimer-delivery, personality-domain, pid-probe, pidfd-open-self, pidfd-open-self-pair, pidfd-poll-self, pidfd-waitid-child, pipe-capacity, pipe-capacity-pin, pipe-ipc, pipe-multiwriter-ordering, pipe2-errno-precedence, pipe2-flags, poll-readiness, ppoll-readv, ppoll-simulation, prctl-dumpable, prctl-identity, prctl-option-policy, prctl-pdeathsig, pread64-nostdlib, preadv2-flags, 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, pthread-lifecycle, ptrace-attach-eperm, ptrace-eperm, ptrace-seize-eperm, ptrace-traceme-eperm, pty-nr-count, racewrite-nostdlib, random-readv-stream, random-sources, random-sources-root-only, rcx-canonicalization, readdir-entries, readdir-order-identity, record-lock, record-replay-fd-close, record-replay-file-state-regular-sink, 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, rename-ops, renameat2-flags, request-key-enosys, resource-determinism, rlimit-identity, robust-list, sched-getaffinity-identity, sched-setattr-batch, sched-setattr-idle, sched-setattr-other, sched-yield-progress, scheduler-policy-queries, seccomp-refusal, sendfile-copy, session-identity, set-tid-address, setitimer-determinism, short-io-split-identity, shutdown-socketpair, sigaction-state, sigaltstack-state, sigmask-preemption, signal-delivery-sequence, signal-determinism, signal-disposition, signal-waitstatus-identity, signalfd-create, sigpipe-siginfo, sigprocmask-state, 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-epoll-ordering, socket-ioctl-timestamp, socket-options, socket-timestamp-timespec, socket-timestamp-timeval, socketpair-flags, sockname-unnamed, splice-enosys, stat-metadata-identity, statfs-free-determinism, static-nolibc-syscall-sites, statmount-enosys, statx-metadata, symlink-ops, sync-file-range, syscall-file-io, syscall-file-metadata, syscall-quick-wins, sysfs-enosys, sysinfo, sysinfo-uptime, syslog-deterministic, sysv-ipc-refusal, sysv-sem-enosys, sysv-shm-enosys, tcp-info-accept4, tcp-info-accept6, tcp-info-client4, tee-enosys, thp-disable, thread-self-procfs-handoff, thread-sync-determinism, threadexhaustion, timer-create-determinism, umask-mode, uname, uname-identity, unix-autobind-dgram, unix-autobind-seqpacket, unix-autobind-stream, ustat-enosys, utimensat-determinism, vectored-file-io, vectored-io, vforkexec, vmsplice-enosys, wait-on-child, writev-determinism
chaos-c: lock-granularity
data-handling: archive-roundtrip, dd-partial-transfers, jq-json-transform, shell-pipeline, sqlite-query-determinism, zstd-multithread
debugger-c: debuggee
determinism-stress-c: fork-tree, lock-free, mmap-fork-shared, pid-tid, pid-tid-identity, pipe-chain, pipe-prefill, producer-consumer, signal-order, thread-contention, thread-stress
language-runtimes: bash-loop-pipe-time, bash-random, cpp-stl-determinism, example-python-random, 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
shared-futex-c: qemu-hello
system-utils: auxv-loader-dump, cat-file-read, clock-determinism, clock-exec-continuity, date-nanoseconds, du-tree-summary, echo-stdout, errno-path-identity, example-date, example-devrand, 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, printf-argument-forwarding, proc-random-uuid, proc-uptime, ps-proc-table, random-device, record-getpid, sh-exit-status, shm-coherency-identity, shuf-permutation, sort-random, ssh-keygen-ed25519, startup-surface-identity, startup-tls-guards, sysfs-sanitized-prefixes, true-exit-zero, uuidgen-random
util-c: pmu-skid
Verify/sabre
bin-c: posix-timer-test
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, pid-probe, 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-file-state-regular-sink, 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: 912; artifact digest 1f6d5d2cfeb89e8553f33b800b2c7caf10c962c23bd0d4571d20b55785286fc0.
Comparison settings
2 comparison settings were recorded; each compared cell names its settings.
Comparison settings 1
canonicalizations- ["host-address-to-first-appearance-ordinal/v1"]
canonicalize_addresses- true
compare_io_buffers- true
compare_logs- true
display_name- BitwiseInfoV1
exact_remainder- true
full_trace- true
ignore_lines- false
log_scope- info
record_envelope- all_records_v1
skip_commit- false
skip_detlog- false
strictness- canonical
strip_lines- false
stripped_prefixes- ["real-wall-clock-prefix/v1"]
virtualize_time- true
Comparison settings 2
canonicalizations- ["host-address-to-first-appearance-ordinal/v1"]
canonicalize_addresses- true
compare_io_buffers- true
compare_logs- true
display_name- BitwiseInfoV1
exact_remainder- true
full_trace- true
ignore_lines- false
log_scope- info
record_envelope- all_records_v1
skip_commit- false
skip_detlog- false
strictness- canonical
strip_lines- false
stripped_prefixes- ["real-wall-clock-prefix/v1"]
virtualize_time- false
Recorded results for cells selected by recorded
912 selected cells have recorded results in this ledger row.
No recorded selected cells match these filters.
applications/c-toolchain-workflow/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 18,473; right 18,473 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
|---|---|---|---|---|
applications/git-repository-workflow/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 18,286; right 18,286 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
applications/timed-progress-bar/verify/kvm | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 30,511; right 30,511 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
applications/timed-progress-bar/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 120,141; right 120,141 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
bin-c/posix-timer-test/verify/liteinst | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 1,031; right 1,031 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
bin-c/posix-timer-test/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 125; right 125 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
bin-c/posix-timer-test/verify/sabre | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 53; right 53 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/acct-refusal-probe/verify/kvm | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 101; right 101 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/acct-refusal-probe/verify/liteinst | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 1,007; right 1,007 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/acct-refusal-probe/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 101; right 101 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/acct-refusal-probe/verify/sabre | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 32; right 32 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/add-key-enosys/verify/kvm | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 101; right 101 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/add-key-enosys/verify/liteinst | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 1,007; right 1,007 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/add-key-enosys/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 101; right 101 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/add-key-enosys/verify/sabre | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 32; right 32 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/adjtimex-deterministic/verify/kvm | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 103; right 103 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/adjtimex-deterministic/verify/liteinst | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 1,009; right 1,009 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/adjtimex-deterministic/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 103; right 103 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/adjtimex-deterministic/verify/sabre | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 34; right 34 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/aio-refusal/verify/kvm | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 107; right 107 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/aio-refusal/verify/liteinst | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 1,013; right 1,013 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/aio-refusal/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 107; right 107 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/append-pwrite/verify/kvm | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 144; right 144 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/append-pwrite/verify/liteinst | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 1,050; right 1,050 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/append-pwrite/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 144; right 144 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/arch-prctl-determinism/verify/kvm | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 147; right 147 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/arch-prctl-determinism/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 149; right 149 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/bind-getsockname/verify/kvm | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 110; right 110 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/bind-getsockname/verify/liteinst | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 1,016; right 1,016 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/bind-getsockname/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 110; right 110 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/bpf-enosys/verify/kvm | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 101; right 101 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/bpf-enosys/verify/liteinst | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 1,007; right 1,007 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/bpf-enosys/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 101; right 101 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/bpf-enosys/verify/sabre | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 32; right 32 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/cachestat-enosys/verify/kvm | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 101; right 101 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/cachestat-enosys/verify/liteinst | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 1,007; right 1,007 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/cachestat-enosys/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 101; right 101 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/cachestat-enosys/verify/sabre | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 32; right 32 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/cachestat-refusal/verify/kvm | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 124; right 124 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/cachestat-refusal/verify/liteinst | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 1,030; right 1,030 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/cachestat-refusal/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 124; right 124 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/child-subreaper-refusal/verify/kvm | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 103; right 103 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/child-subreaper-refusal/verify/liteinst | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 1,009; right 1,009 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/child-subreaper-refusal/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 103; right 103 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/clock-adjtime-deterministic/verify/kvm | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 103; right 103 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/clock-adjtime-deterministic/verify/liteinst | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 1,009; right 1,009 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/clock-adjtime-deterministic/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 103; right 103 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/clock-adjtime-deterministic/verify/sabre | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 34; right 34 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/clone/verify/liteinst | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 1,148; right 1,148 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
c-programs/clone/verify/ptrace | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 137; right 137 Comparison settings 1 Comparison authority: writer_verified_raw_census_v1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |