Run 1,960
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
- 1,960
- Run id
validate-liteinst-lane-claude-20260927-rdoracle-043f7dc06c23-1790697170996748566-1795591-48cd5311- Record id
devbig014-1790701647-798003- Validate path
- full
- Selection mode
- full
- Whole-run result
- fail
- Hermit commit
043f7dc06c23- Started
- Wall clock
- 3375.0 seconds
- Ledger schema
- 5
- History row digest
5bfebe0b69ff05334e82cb9fc99c898845c2ed7ae791514ee51efd5a8f703881- Cell-results run id
validate-liteinst-lane-claude-20260927-rdoracle-043f7dc06c23-1790697170996748566-1795591-48cd5311- Cell-results Hermit SHA
043f7dc06c23- Raw census digest
e68f1f2916736be775ac8329ec3cb8c0095092c62eb76a3bbc550e18996879a9- Source tree dirty
- false
- Checks
- 82
- Executed nodes
- 82
- Executed tests
- 3644
- Exit code
- 1
- Failures
- 7
- Filtered tests
- 1635
- Gates expected
- 273
- Gates run
- 82
- Host
- devbig014
- Producer
- hermit-validate-rs
- Repository
- hermit
- Skipped nodes
- 191
- System CPU seconds
- 1454.665654
- Validated source tree
1ff53b1e3035572dc8f1f895b2ed7468657ef0b0- Validated source tree dirty
- false
- User CPU seconds
- 5607.085116
- Validation complete
- false
- Cell-results authority
writer_verified_raw_census_v1- Cell-results population scope
recorded_only- History binding digest
23f363d9a09224f9d689a55fee7ac537bd8b1caf0c007dd4b5d33b9a6997c12d
Gates
82 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 | fail | fail | 0 | -15 | 2401.351368324 | failure_class product_failure; failure_origin outer_gate; timed_out true |
| e2e.manifest_c_programs | fail | fail | 0 | 1 | 178.882931771 | failure_class product_failure; failure_origin outer_gate |
| lint.clippy | pass | pass | 0 | 0 | 44.187467908 | |
| test.hermit_integration | pass | pass | 0 | 0 | 156.829900073 | |
| test.regular_crates | fail | fail | 0 | 100 | 91.025118022 | failure_class product_failure; failure_origin outer_gate |
| test.isolated_detcore_workdir | pass | pass | 0 | 0 | 35.169012718 | |
| build.rust_scripts | pass | pass | 0 | 0 | 200.279668505 | |
| build.rust_scripts_in_pinned_root | pass | pass | 0 | 0 | 188.487807405 | |
| build.buck_release_artifact | pass | pass | 0 | 0 | 0.116581301 | |
| build.runtime_release | pass | pass | 0 | 0 | 162.394256424 | |
| build.runtime_release_in_pinned_root | pass | pass | 0 | 0 | 171.417049471 | |
| doc.doctests | pass | pass | 0 | 0 | 40.514314574 | |
| test.app_strict_verify | pass | pass | 0 | 0 | 23.026876378 | |
| test.command_strict_verify | pass | pass | 0 | 0 | 60.648952484 | |
| e2e.manifest_determinism_stress | pass | pass | 0 | 0 | 39.117564428 | |
| doc.rustdoc | pass | pass | 0 | 0 | 40.707535553 | |
| test.cli | pass | pass | 0 | 0 | 109.709257167 | |
| test.hermit_modes | pass | pass | 0 | 0 | 60.200459724 | |
| test.isolated_dbt_workdir | pass | pass | 0 | 0 | 20.530095806 | |
| build.workspace | pass | pass | 0 | 0 | 540.552976275 | |
| build.workspace_in_pinned_root | pass | pass | 0 | 0 | 597.177959901 | |
| build.liteinst_runtime_release | pass | pass | 0 | 0 | 228.525724078 | |
| e2e.manifest_applications | fail | fail | 0 | 1 | 71.106400053 | failure_class product_failure; failure_origin outer_gate |
| e2e.manifest_language_runtimes | pass | pass | 0 | 0 | 87.596117921 | |
| e2e.manifest_system_utils | pass | pass | 0 | 0 | 135.626503655 | |
| test.hermit_unit | pass | pass | 0 | 0 | 61.252184507 | |
| test.detcore_unit | pass | pass | 0 | 0 | 30.065324799 | |
| test.detcore_parallel | pass | pass | 0 | 0 | 40.683376857 | |
| test.arbitrary_binaries | pass | pass | 0 | 0 | 43.452915905 | |
| test.liteinst_strict | pass | pass | 0 | 0 | 111.728682654 | |
| test.envelope_levels | pass | pass | 0 | 0 | 20.771115252 | |
| build.liteinst_runtime_release_in_pinned_root | pass | pass | 0 | 0 | 250.543014982 | |
| build.manifest_guests | pass | pass | 0 | 0 | 3.687646478 | |
| e2e.manifest_data_handling | pass | pass | 0 | 0 | 76.370686581 | |
| test.detcore_misc | pass | pass | 0 | 0 | 33.129251001 | |
| test.sabre_examples | fail | fail | 0 | 100 | 60.747301414 | failure_class product_failure; failure_origin outer_gate |
| test.ignored_syscall_regressions | pass | pass | 0 | 0 | 31.625487149 | |
| privileged-e2e.manifest_applications | pass | pass | 0 | 0 | 8.229722494 | |
| build.manifest_guests_in_pinned_root | pass | pass | 0 | 0 | 17.259382282 | |
| privileged-build.manifest_guests | pass | pass | 0 | 0 | 1.832740282 | |
| privileged-build.manifest_guests_in_pinned_root | pass | pass | 0 | 0 | 8.894250036 | |
| setup.manifest_plan | pass | pass | 0 | 0 | 110.21888886 | |
| privileged-build.privileged_tests | pass | pass | 0 | 0 | 15.307930458 | |
| privileged-test.cli_kvm | pass | pass | 0 | 0 | 80.255377458 | |
| setup.manifest_plan_in_pinned_root | pass | pass | 0 | 0 | 116.616502481 | |
| privileged-test.pmu_buck_chaos_cases | pass | pass | 0 | 0 | 69.421800337 | |
| check.script_sigpipe | pass | pass | 0 | 0 | 8.385435503 | |
| check.canonical_adapter_accept | pass | pass | 0 | 0 | 2.047916168 | |
| setup.nextest | pass | pass | 0 | 0 | 0.246030967 | |
| test.applications_e2e | pass | pass | 0 | 0 | 15.586954499 | |
| test.rr_suite_contract | pass | pass | 0 | 0 | 22.813858101 | |
| privileged-test.pmu_ptrace_completion_cases | pass | pass | 0 | 0 | 27.758122399 | |
| privileged-test.pmu_cli_cases | fail | fail | 0 | 100 | 94.445839695 | failure_class product_failure; failure_origin outer_gate |
| privileged-e2e.manifest_system_utils | pass | pass | 0 | 0 | 16.237580755 | |
| check.backend_abstraction | pass | pass | 0 | 0 | 16.384959952 | |
| lint.rustfmt | pass | pass | 0 | 0 | 4.735766791 | |
| build.e2e_artifact | pass | pass | 0 | 0 | 6.34986754 | |
| e2e.audit_compile_c_programs | pass | pass | 0 | 0 | 28.921970721 | |
| build.e2e_artifact_in_pinned_root | pass | pass | 0 | 0 | 16.512994306 | |
| privileged-cpuid.faulting | pass | pass | 0 | 0 | 6.1198615180000004 | |
| check.backend_parity_suites | pass | pass | 0 | 0 | 16.521075315 | |
| check.backend_parity_mutation | fail | fail | 0 | 1 | 0.946029832 | failure_class product_failure; failure_origin outer_gate |
| check.check_outcome_consumers | pass | pass | 0 | 0 | 27.813474161 | |
| e2e.manifest_bin_c | pass | pass | 0 | 0 | 13.007652613 | |
| e2e.manifest_chaos_c | pass | pass | 0 | 0 | 19.644089579 | |
| e2e.manifest_debugger_c | pass | pass | 0 | 0 | 15.744976342 | |
| e2e.manifest_determinism_stress_c | pass | pass | 0 | 0 | 55.918792266 | |
| e2e.manifest_shared_futex_c | pass | pass | 0 | 0 | 9.550695139 | |
| e2e.manifest_util_c | pass | pass | 0 | 0 | 9.716112848 | |
| privileged-pmu.preemption | pass | pass | 0 | 0 | 5.395579898 | |
| privileged-e2e.manifest_c_programs | pass | pass | 0 | 0 | 15.446719236 | |
| check.skill_discovery | pass | pass | 0 | 0 | 1.275480582 | |
| check.exit_status_class | pass | pass | 0 | 0 | 1.099765922 | |
| check.dbt_runtime_abi | pass | pass | 0 | 0 | 0.797415299 | |
| check.portability_paths | pass | pass | 0 | 0 | 5.722139293 | |
| check.shard_coverage | pass | pass | 0 | 0 | 8.044772643 | |
| check.dagrun_naming | pass | pass | 0 | 0 | 7.284052284 | |
| check.run_node_args | pass | pass | 0 | 0 | 34.345196809 | |
| pre.submodules | pass | pass | 0 | 0 | 49.368128266 | |
| pre.reverie_pin | pass | pass | 0 | 0 | 14.175884284 | |
| gate.manifest | pass | pass | 0 | 0 | 598.993034619 | |
| setup.pinned_root_fetch | pass | pass | 0 | 0 | 122.739753814 |
Recorded population
900 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
c-programs: random-readv-stream
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, 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-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, ppoll-readv, prctl-dumpable, prctl-option-policy, pread64-nostdlib, 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-timestamp-timespec, socket-timestamp-timeval, 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, timer-create-determinism, umask-mode, uname, uname-identity, unix-autobind-dgram, unix-autobind-seqpacket, unix-autobind-stream, ustat-enosys, utimensat-determinism, 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: 902; artifact digest 4b664469f1c9350d0bbd7df67a2ac44550aa3350046f7f6b22f8a0ee34252aed.
Comparison authority for every recorded cell: writer_verified_raw_census_v1.
A recorded lane or category is printed with a cell's details when today's manifest has no such cell or assigns it differently.
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
900 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,509; right 18,509 Comparison settings 1 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,270; right 18,270 Comparison settings 1 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,469; right 30,469 Comparison settings 1 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |
applications/timed-progress-bar/verify/ptrace | fail | unavailable-with-reason | declared-but-unverifiable | Reason: Comparison evidence unavailable; exact detail is retained in the cell artifact Ordinary comparison: unavailable Attempt 1 (selected): outcome ERROR, result timeout, failure class no_result |
bin-c/posix-timer-test/verify/liteinst | fail | compared-and-matched | canonical-bitwise | Bitwise parity: true Compared INFO messages: left 1,041; right 1,041 Comparison settings 1 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 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 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 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,017; right 1,017 Comparison settings 1 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 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 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 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,017; right 1,017 Comparison settings 1 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 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 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 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,019; right 1,019 Comparison settings 1 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 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 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 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,023; right 1,023 Comparison settings 1 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 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 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,068; right 1,068 Comparison settings 1 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 152; right 152 Comparison settings 1 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 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 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 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,026; right 1,026 Comparison settings 1 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 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 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,017; right 1,017 Comparison settings 1 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 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 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 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,017; right 1,017 Comparison settings 1 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 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 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 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,048; right 1,048 Comparison settings 1 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 132; right 132 Comparison settings 1 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 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,019; right 1,019 Comparison settings 1 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 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 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,019; right 1,019 Comparison settings 1 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 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 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,156; right 1,156 Comparison settings 1 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 Ordinary comparison: matched Attempt 1 (selected): outcome PASS, result pass, failure class null |