Run 1,967
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,967
- Run id
validate-coord-84da7b816939-1790723396555428157-708227-fd736ab2- Record id
devbig014-1790726526-2222836- Validate path
- full
- Selection mode
- full
- Whole-run result
- fail
- Hermit commit
84da7b816939- Started
- Wall clock
- 2472.0 seconds
- Ledger schema
- 5
- History row digest
c602350bd16b6dae75d917055105ec030e2fbc495ec84b281e7eb6e8573958b3- Cell-results run id
validate-coord-84da7b816939-1790723396555428157-708227-fd736ab2- Cell-results Hermit SHA
84da7b816939- Raw census digest
08dc7dc9cf1c866c718c03c23d81a23a8bb0dbd72f7f4a87af2c0afe6a051d74- Source tree dirty
- false
- Checks
- 87
- Executed nodes
- 87
- Executed tests
- 3647
- Exit code
- 1
- Failures
- 8
- Filtered tests
- 1635
- Gates expected
- 278
- Gates run
- 87
- Host
- devbig014
- Producer
- hermit-validate-rs
- Repository
- hermit
- Skipped nodes
- 191
- System CPU seconds
- 2431.209547
- Validated source tree
63f71cd5ccf31d53ce2ed0073f71b86f7dfccd0d- Validated source tree dirty
- false
- User CPU seconds
- 6485.470077
- Validation complete
- false
- Cell-results authority
writer_verified_raw_census_v1- Cell-results population scope
recorded_only- History binding digest
6628e5a07a7807e1c7db94985fbc5661a0239717b14d59b5adf75be89bc1c47f
Gates
87 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 | 2 | 2093.236238646 | failure_class product_failure; failure_origin outer_gate |
| e2e.manifest_c_programs | fail | fail | 0 | 1 | 203.043005434 | failure_class product_failure; failure_origin outer_gate |
| lint.clippy | pass | pass | 0 | 0 | 91.476118145 | |
| test.hermit_integration | pass | pass | 0 | 0 | 181.399368452 | |
| test.regular_crates | fail | fail | 0 | 100 | 96.510000859 | failure_class product_failure; failure_origin outer_gate |
| test.isolated_detcore_workdir | pass | pass | 0 | 0 | 40.507593679 | |
| build.rust_scripts | pass | pass | 0 | 0 | 216.092668299 | |
| build.rust_scripts_in_pinned_root | pass | pass | 0 | 0 | 202.701434549 | |
| build.buck_release_artifact | pass | pass | 0 | 0 | 0.154054054 | |
| build.runtime_release | pass | pass | 0 | 0 | 185.506252672 | |
| build.runtime_release_in_pinned_root | pass | pass | 0 | 0 | 188.884234764 | |
| doc.doctests | pass | pass | 0 | 0 | 15.520493245 | |
| test.app_strict_verify | pass | pass | 0 | 0 | 32.489056905 | |
| test.command_strict_verify | fail | fail | 0 | 100 | 87.730625196 | failure_class product_failure; failure_origin outer_gate |
| e2e.manifest_determinism_stress | pass | pass | 0 | 0 | 42.982349228 | |
| doc.rustdoc | pass | pass | 0 | 0 | 53.858744519 | |
| test.cli | pass | pass | 0 | 0 | 107.746450892 | |
| test.hermit_modes | pass | pass | 0 | 0 | 112.056845046 | |
| test.isolated_dbt_workdir | pass | pass | 0 | 0 | 23.435262516 | |
| build.workspace | pass | pass | 0 | 0 | 618.838205774 | |
| build.workspace_in_pinned_root | pass | pass | 0 | 0 | 712.254549903 | |
| build.liteinst_runtime_release | pass | pass | 0 | 0 | 258.573530739 | |
| e2e.manifest_applications | fail | fail | 0 | 1 | 78.670320633 | failure_class product_failure; failure_origin outer_gate |
| e2e.manifest_language_runtimes | pass | pass | 0 | 0 | 91.358755464 | |
| e2e.manifest_system_utils | pass | pass | 0 | 0 | 141.054871074 | |
| test.hermit_unit | pass | pass | 0 | 0 | 77.696865732 | |
| test.detcore_unit | pass | pass | 0 | 0 | 14.821615538 | |
| test.detcore_parallel | pass | pass | 0 | 0 | 23.0485359 | |
| test.arbitrary_binaries | pass | pass | 0 | 0 | 22.721063074 | |
| test.liteinst_strict | pass | pass | 0 | 0 | 112.30709981 | |
| test.envelope_levels | pass | pass | 0 | 0 | 22.710890725 | |
| build.liteinst_runtime_release_in_pinned_root | pass | pass | 0 | 0 | 264.569951419 | |
| build.manifest_guests | pass | pass | 0 | 0 | 4.43046683 | |
| e2e.manifest_data_handling | pass | pass | 0 | 0 | 53.814349515 | |
| test.detcore_misc | pass | pass | 0 | 0 | 37.832620459 | |
| test.sabre_examples | fail | fail | 0 | 100 | 71.834923995 | failure_class product_failure; failure_origin outer_gate |
| test.ignored_syscall_regressions | pass | pass | 0 | 0 | 40.929659403 | |
| privileged-e2e.manifest_applications | pass | pass | 0 | 0 | 9.072743373 | |
| build.manifest_guests_in_pinned_root | pass | pass | 0 | 0 | 12.388707327 | |
| privileged-build.manifest_guests | pass | pass | 0 | 0 | 1.5565241589999999 | |
| privileged-build.manifest_guests_in_pinned_root | pass | pass | 0 | 0 | 6.294018138 | |
| setup.manifest_plan | pass | pass | 0 | 0 | 119.410259158 | |
| privileged-build.privileged_tests | pass | pass | 0 | 0 | 14.857748686 | |
| privileged-test.cli_kvm | pass | pass | 0 | 0 | 81.940673071 | |
| setup.manifest_plan_in_pinned_root | pass | pass | 0 | 0 | 142.465068469 | |
| privileged-test.pmu_buck_chaos_cases | pass | pass | 0 | 0 | 58.2894406 | |
| check.script_sigpipe | pass | pass | 0 | 0 | 13.855524351 | |
| check.canonical_adapter_accept | pass | pass | 0 | 0 | 3.867410986 | |
| setup.nextest | pass | pass | 0 | 0 | 0.201073527 | |
| test.applications_e2e | pass | pass | 0 | 0 | 22.08047816 | |
| test.rr_suite_contract | pass | pass | 0 | 0 | 32.260420943 | |
| privileged-test.pmu_ptrace_completion_cases | pass | pass | 0 | 0 | 18.205566177 | |
| privileged-test.pmu_cli_cases | fail | fail | 0 | 100 | 86.493645829 | failure_class product_failure; failure_origin outer_gate |
| privileged-e2e.manifest_system_utils | pass | pass | 0 | 0 | 15.831043112 | |
| check.backend_abstraction | pass | pass | 0 | 0 | 17.902681639 | |
| lint.rustfmt | pass | pass | 0 | 0 | 4.522939452 | |
| build.e2e_artifact | pass | pass | 0 | 0 | 3.768133175 | |
| e2e.audit_compile_c_programs | pass | pass | 0 | 0 | 26.642799083 | |
| build.e2e_artifact_in_pinned_root | pass | pass | 0 | 0 | 14.134668756 | |
| privileged-cpuid.faulting | pass | pass | 0 | 0 | 6.509987932 | |
| check.backend_parity_suites | pass | pass | 0 | 0 | 8.155980484 | |
| check.backend_parity_mutation | pass | pass | 0 | 0 | 1.198393417 | |
| check.check_outcome_consumers | pass | pass | 0 | 0 | 34.634408245 | |
| e2e.manifest_bin_c | pass | pass | 0 | 0 | 14.410542172 | |
| e2e.manifest_chaos_c | pass | pass | 0 | 0 | 19.032672081 | |
| e2e.manifest_debugger_c | pass | pass | 0 | 0 | 16.09797525 | |
| e2e.manifest_determinism_stress_c | pass | pass | 0 | 0 | 49.68245182 | |
| e2e.manifest_shared_futex_c | pass | pass | 0 | 0 | 11.588373722 | |
| e2e.manifest_util_c | pass | pass | 0 | 0 | 10.379661917 | |
| privileged-pmu.preemption | pass | pass | 0 | 0 | 3.906145858 | |
| privileged-e2e.manifest_c_programs | pass | pass | 0 | 0 | 13.794209415 | |
| check.skill_discovery | pass | pass | 0 | 0 | 0.727286378 | |
| check.exit_status_class | pass | pass | 0 | 0 | 0.451261443 | |
| check.dbt_runtime_abi | pass | pass | 0 | 0 | 0.727736635 | |
| check.portability_paths | fail | fail | 0 | 1 | 5.280657901 | failure_class product_failure; failure_origin outer_gate |
| check.shard_coverage | pass | pass | 0 | 0 | 12.92419197 | |
| check.dagrun_naming | pass | pass | 0 | 0 | 7.279593296 | |
| check.run_node_args | pass | pass | 0 | 0 | 47.909214474 | |
| pre.submodules | pass | pass | 0 | 0 | 29.201703858 | |
| pre.reverie_pin | pass | pass | 0 | 0 | 11.4029651 | |
| gate.manifest | pass | pass | 0 | 0 | 2.369297434 | |
| selftest.scorecard | pass | pass | 0 | 0 | 1053.663015186 | |
| selftest.pressure_test | pass | pass | 0 | 0 | 588.707794307 | |
| selftest.validate_rs | pass | pass | 0 | 0 | 137.688240245 | |
| selftest.manifest_cli | pass | pass | 0 | 0 | 0.70777984 | |
| selftest.dbt_budget | pass | pass | 0 | 0 | 14.274337492 | |
| setup.pinned_root_fetch | pass | pass | 0 | 0 | 91.67397685 |
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: 900; artifact digest 0842e6647ffe8f3b6bf6ff8fa69c10718b3698e478a23b8443e0cd4710a1aca2.
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 |