Run 2,009
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,009
- Run id
validate-coord-tipval2-c1312a563dc5-20261003T235258Z- Record id
devbig014-1791073277-1745894- Validate path
- full
- Selection mode
- full
- Whole-run result
- fail
- Hermit commit
c1312a563dc5- Started
- Wall clock
- 757.0 seconds
- Ledger schema
- 5
- History row digest
af8d6aecc0dd9eecf724b62378db09462e5fe9f98d1ca910c90cc378e9dbc6ac- Cell-results run id
validate-coord-tipval2-c1312a563dc5-20261003T235258Z- Cell-results Hermit SHA
c1312a563dc5- Raw census digest
f98019956a7da45de5eaf9fa6795690570e06b5e56a1e9b16e82c85b287ec281- Source tree dirty
- false
- Checks
- 86
- Executed nodes
- 86
- Executed tests
- 3136
- Exit code
- 1
- Failures
- 6
- Filtered tests
- 1862
- Gates expected
- 89
- Gates run
- 86
- Host
- devbig014
- Producer
- hermit-validate-rs
- Repository
- hermit
- Skipped nodes
- 3
- System CPU seconds
- 1296.7238590000002
- Validated source tree
34d93698c8bc7217021fb61917a0e897a5c45102- Validated source tree dirty
- false
- User CPU seconds
- 3262.827556
- Validation complete
- false
- Cell-results authority
writer_verified_raw_census_v1- Cell-results population scope
recorded_only- History binding digest
9a9d35de025d0bf1791174441e8242364988d9ea1cd84afcbd7aa9a958fd963d
Gates
86 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 | 460.298825238 | |
| e2e.manifest_c_programs | fail | fail | 0 | 1 | 67.18243271 | failure_class product_failure; failure_origin outer_gate |
| lint.clippy | pass | pass | 0 | 0 | 158.283568178 | |
| test.hermit_integration | pass | pass | 0 | 0 | 103.742587081 | |
| test.regular_crates | fail | fail | 0 | 2 | 52.664773746 | failure_class product_failure; failure_origin outer_gate |
| test.isolated_detcore_workdir | pass | pass | 0 | 0 | 24.672457728 | |
| build.rust_scripts | pass | pass | 0 | 0 | 208.568672253 | |
| build.rust_scripts_in_pinned_root | pass | pass | 0 | 0 | 193.926646522 | |
| build.buck_release_artifact | pass | pass | 0 | 0 | 0.275208293 | |
| check.script_unit_tests | pass | pass | 0 | 0 | 312.494122438 | |
| doc.doctests | pass | pass | 0 | 0 | 91.116296167 | |
| test.app_strict_verify | pass | pass | 0 | 0 | 22.580359436 | |
| test.command_strict_verify | pass | pass | 0 | 0 | 32.28077228 | |
| e2e.manifest_determinism_stress | pass | pass | 0 | 0 | 24.098133865 | |
| doc.rustdoc | fail | fail | 0 | 101 | 121.34578801 | failure_class product_failure; failure_origin outer_gate |
| test.cli | pass | pass | 0 | 0 | 139.345594584 | |
| test.hermit_modes | pass | pass | 0 | 0 | 64.455270568 | |
| test.isolated_dbt_workdir | pass | pass | 0 | 0 | 12.80469885 | |
| build.workspace_in_pinned_root | pass | pass | 0 | 0 | 217.859265536 | |
| e2e.manifest_applications | pass | pass | 0 | 0 | 35.588027364 | |
| e2e.manifest_language_runtimes | pass | pass | 0 | 0 | 36.235586686 | |
| e2e.manifest_system_utils | fail | fail | 0 | 1 | 47.8842705 | failure_class product_failure; failure_origin outer_gate |
| test.hermit_unit | pass | pass | 0 | 0 | 60.933221832 | |
| test.detcore_unit | pass | pass | 0 | 0 | 10.538153532 | |
| test.detcore_parallel | pass | pass | 0 | 0 | 14.292025275 | |
| test.arbitrary_binaries | pass | pass | 0 | 0 | 11.645979069 | |
| test.liteinst_strict | pass | pass | 0 | 0 | 129.918321652 | |
| test.envelope_levels | pass | pass | 0 | 0 | 8.89468344 | |
| build.manifest_guests | pass | pass | 0 | 0 | 5.918144913 | |
| e2e.manifest_data_handling | pass | pass | 0 | 0 | 19.63642516 | |
| test.detcore_misc | pass | pass | 0 | 0 | 13.625799919 | |
| test.sabre_examples | pass | pass | 0 | 0 | 18.765139756 | |
| test.ignored_syscall_regressions | pass | pass | 0 | 0 | 12.429196433 | |
| privileged-e2e.manifest_applications | pass | pass | 0 | 0 | 7.274989607 | |
| build.manifest_guests_in_pinned_root | pass | pass | 0 | 0 | 8.668740052 | |
| privileged-build.manifest_guests | pass | pass | 0 | 0 | 2.344741457 | |
| privileged-build.manifest_guests_in_pinned_root | pass | pass | 0 | 0 | 3.994390997 | |
| setup.manifest_plan | pass | pass | 0 | 0 | 34.783890214 | |
| privileged-build.privileged_tests | pass | pass | 0 | 0 | 7.767193352 | |
| privileged-test.cli_kvm | pass | pass | 0 | 0 | 41.228919708 | |
| setup.manifest_plan_in_pinned_root | pass | pass | 0 | 0 | 40.198207464 | |
| privileged-test.pmu_buck_chaos_cases | pass | pass | 0 | 0 | 43.757818971 | |
| check.script_sigpipe | pass | pass | 0 | 0 | 10.825421278 | |
| check.canonical_adapter_accept | pass | pass | 0 | 0 | 3.641262675 | |
| setup.nextest | pass | pass | 0 | 0 | 0.324613999 | |
| test.applications_e2e | pass | pass | 0 | 0 | 6.5787781039999995 | |
| test.rr_suite_contract | pass | pass | 0 | 0 | 10.480965173 | |
| privileged-test.pmu_ptrace_completion_cases | pass | pass | 0 | 0 | 14.638810732 | |
| privileged-test.pmu_cli_cases | pass | pass | 0 | 0 | 22.989095275 | |
| privileged-e2e.manifest_system_utils | pass | pass | 0 | 0 | 7.040444723 | |
| check.backend_abstraction | pass | pass | 0 | 0 | 16.506945748 | |
| lint.rustfmt | pass | pass | 0 | 0 | 3.830797736 | |
| e2e.audit_compile_c_programs | pass | pass | 0 | 0 | 29.22241569 | |
| build.e2e_artifact_in_pinned_root | pass | pass | 0 | 0 | 11.47770131 | |
| privileged-cpuid.faulting | pass | pass | 0 | 0 | 5.746945232 | |
| test.detcore_time | pass | pass | 0 | 0 | 12.032531559 | |
| privileged-test.pmu_detcore_time_cases | pass | pass | 0 | 0 | 13.566694693 | |
| check.backend_parity_mutation | pass | pass | 0 | 0 | 1.791224283 | |
| check.check_outcome_consumers | pass | pass | 0 | 0 | 27.657280223 | |
| e2e.manifest_bin_c | pass | pass | 0 | 0 | 7.6714104469999995 | |
| e2e.manifest_chaos_c | pass | pass | 0 | 0 | 11.06960166 | |
| e2e.manifest_debugger_c | pass | pass | 0 | 0 | 9.774510828 | |
| e2e.manifest_determinism_stress_c | pass | pass | 0 | 0 | 29.337138236 | |
| e2e.manifest_shared_futex_c | pass | pass | 0 | 0 | 8.085126426 | |
| e2e.manifest_util_c | pass | pass | 0 | 0 | 8.328920317 | |
| privileged-pmu.preemption | pass | pass | 0 | 0 | 2.888835782 | |
| privileged-e2e.manifest_c_programs | pass | pass | 0 | 0 | 9.520658432 | |
| check.skill_discovery | pass | pass | 0 | 0 | 0.804945652 | |
| check.exit_status_class | pass | pass | 0 | 0 | 0.365034936 | |
| check.dbt_runtime_abi | pass | pass | 0 | 0 | 2.748819479 | |
| check.e9patch_corpus | pass | pass | 0 | 0 | 0.691020706 | |
| check.portability_paths | fail | fail | 0 | 1 | 8.02177163 | failure_class product_failure; failure_origin outer_gate |
| check.shard_coverage | pass | pass | 0 | 0 | 27.400781709 | |
| check.dagrun_naming | pass | pass | 0 | 0 | 11.22894577 | |
| check.run_node_args | pass | pass | 0 | 0 | 54.057783475 | |
| build.host_hermit_link | pass | pass | 0 | 0 | 1.013160705 | |
| pre.submodules | pass | pass | 0 | 0 | 10.354242822 | |
| pre.reverie_pin | pass | pass | 0 | 0 | 8.459646002 | |
| gate.manifest | pass | pass | 0 | 0 | 2.992459366 | |
| selftest.scorecard | fail | fail | 0 | -15 | 16.752415756 | cpu_timed_out true; failure_class product_failure; failure_origin outer_gate |
| selftest.scorecard_commands | pass | pass | 0 | 0 | 251.86219597 | |
| selftest.pressure_test | pass | pass | 0 | 0 | 166.663342498 | |
| selftest.validate_rs | pass | pass | 0 | 0 | 249.95314483800001 | |
| selftest.manifest_cli | pass | pass | 0 | 0 | 0.832189253 | |
| selftest.dbt_budget | pass | pass | 0 | 0 | 8.696832887 | |
| setup.pinned_root_fetch | pass | pass | 0 | 0 | 89.322795653 |
Recorded population
916 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-pwait2, epoll-readiness, 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, fsync-durability, 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, 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, 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: 917; artifact digest bbfcd09ce63c1cee9c937785af22382c29234be8c721ad4eb58ef87b6d965e55.
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
916 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,202; right 18,202 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 |