Run 1,958

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,958
Run id
validate-coord-s22-356dfd3ede03-1790677291871670711-3535309-c9910280
Record id
devbig014-1790680851-1978651
Validate path
full
Selection mode
full
Whole-run result
fail
Hermit commit
356dfd3ede03
Started
Wall clock
2539.0 seconds
Ledger schema
5
History row digest
ede4e00c67610ef2779125a82a78e2ca8278af5bb79f356e6d4dc344e3df7889
Cell-results run id
validate-coord-s22-356dfd3ede03-1790677291871670711-3535309-c9910280
Cell-results Hermit SHA
356dfd3ede03
Raw census digest
a22ddd8867e7c9a1e9f4d9a5f1c55a78898da5432148fbb3892d4c8997ba3f7c
Source tree dirty
false
Checks
270
Executed nodes
270
Executed tests
3819
Exit code
1
Failures
4
Filtered tests
1635
Gates expected
271
Gates run
270
Host
devbig014
Producer
hermit-validate-rs
Repository
hermit
Skipped nodes
1
System CPU seconds
1572.639559
Validated source tree
27d7d2ba84a38310829529968823aa02cbbc60d3
Validated source tree dirty
false
User CPU seconds
6112.419559
Validation complete
false
Cell-results authority
writer_verified_raw_census_v1
Cell-results population scope
recorded_only
History binding digest
7c8d22d81931a89a3e7541fd6751711c891f6c0309fba1a18a709cf7d9eee51f

Gates

270 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.

GateResultFirst attemptRetriesExit codeSecondsOther
check.lint_checksfailfail021699.224060047failure_class product_failure; failure_origin outer_gate
e2e.manifest_c_programsfailfail01190.917707858failure_class product_failure; failure_origin outer_gate
lint.clippypasspass0077.98298616
test.hermit_integrationpasspass00115.684326983
test.regular_cratespasspass0059.887922478
test.isolated_detcore_workdirpasspass0025.238965087
build.rust_scriptspasspass00190.311150224
build.rust_scripts_in_pinned_rootpasspass00180.928826121
build.buck_release_artifactpasspass000.151417342
build.runtime_releasepasspass00161.552291331
build.runtime_release_in_pinned_rootpasspass00172.065046034
doc.doctestspasspass0046.219901629
test.app_strict_verifypasspass0022.983278675
test.command_strict_verifypasspass0053.278257194
e2e.manifest_determinism_stresspasspass0038.21211153
doc.rustdocpasspass0034.962280953
test.clipasspass0088.854234851
test.hermit_modespasspass0054.193309001
test.isolated_dbt_workdirpasspass0019.037056859
build.workspacepasspass00494.844674714
build.workspace_in_pinned_rootpasspass00586.453732812
build.liteinst_runtime_releasepasspass00225.439381779
e2e.manifest_applicationspasspass0070.454376254
e2e.manifest_language_runtimespasspass0086.160714917
e2e.manifest_system_utilspasspass00153.77304477
test.hermit_unitpasspass0054.890922097
test.detcore_unitpasspass0011.618866114
test.detcore_parallelpasspass0019.34820605
test.arbitrary_binariespasspass0017.305919803
test.liteinst_strictpasspass0085.429601889
test.envelope_levelspasspass0025.329210593
build.liteinst_runtime_release_in_pinned_rootpasspass00227.659460181
build.manifest_guestspasspass004.234706756
e2e.manifest_data_handlingpasspass0048.613867455
test.detcore_miscpasspass0015.586941194
test.sabre_examplespasspass0037.368140821
test.ignored_syscall_regressionspasspass0015.036116843
privileged-e2e.manifest_applicationspasspass009.083405862
build.manifest_guests_in_pinned_rootpasspass007.465531309
privileged-build.manifest_guestspasspass001.275325288
privileged-build.manifest_guests_in_pinned_rootpasspass003.325285892
setup.manifest_planpasspass00112.015124826
privileged-build.privileged_testspasspass0015.355282804
privileged-test.cli_kvmpasspass0069.792464847
setup.manifest_plan_in_pinned_rootpasspass00119.064160047
privileged-test.pmu_buck_chaos_casespasspass0052.029047268
check.script_sigpipepasspass007.218528814
setup.nextestpasspass000.209244021
test.applications_e2epasspass0012.085150131
test.rr_suite_contractpasspass0011.603701841
privileged-test.pmu_ptrace_completion_casespasspass0016.549218748
privileged-test.pmu_cli_casesfailfail010080.308002367failure_class product_failure; failure_origin outer_gate
check.backend_abstractionpasspass0012.724647768
lint.rustfmtpasspass004.234630952
build.e2e_artifactpasspass005.392433456
e2e.audit_compile_c_programspasspass0024.226995725
build.e2e_artifact_in_pinned_rootpasspass0012.290577349
privileged-cpuid.faultingpasspass005.8872314679999995
check.backend_parity_suitespasspass0011.038418397
check.backend_parity_mutationfailfail010.679775865failure_class product_failure; failure_origin outer_gate
check.check_outcome_consumerspasspass0024.809900538
e2e.manifest_bin_cpasspass0012.287208186
e2e.manifest_chaos_cpasspass0015.150723683
e2e.manifest_debugger_cpasspass0013.833360644999999
e2e.manifest_determinism_stress_cpasspass0044.696820143
e2e.manifest_shared_futex_cpasspass008.014262747
e2e.manifest_util_cpasspass007.918302098
privileged-pmu.preemptionpasspass003.679786938
privileged-e2e.manifest_c_programspasspass0014.192958024
check.skill_discoverypasspass000.75742755
check.exit_status_classpasspass000.356746742
check.dbt_runtime_abipasspass000.260399494
check.portability_pathspasspass004.949094683
check.shard_coveragepasspass008.833167581
check.dagrun_namingpasspass006.321392854
check.run_node_argspasspass0029.117802234
pre.submodulespasspass0023.265736234
pre.reverie_pinpasspass008.582892033
gate.manifestpasspass00504.315324493
compatprep.fixturespasspass000.455692306
compat.echopasspass000.191925583
compat.truepasspass000.192644624
compat.pwdpasspass000.187503189
compat.seqpasspass000.614365818
compat.catpasspass000.192734529
compat.wcpasspass000.197943054
compat.headpasspass000.194996737
compat.base64passpass000.187317881
compat.base32passpass000.183814096
compat.idpasspass000.194951881
compat.luapasspass000.261601499
compat.perlpasspass000.324553753
compat.bcpasspass000.348594053
compat.tclpasspass000.421881536
compat.dcpasspass000.346690553
compat.awkpasspass000.428536714
compat.sqlite3passpass000.535164931
compat.jqpasspass000.664865733
compat.xmllintpasspass000.770448569
compat.bashpasspass000.222247151
compat.shell-buildpasspass002.687700259
compat.cargopasspass001.414516273
compat.clangpasspass002.181954509
compat.rubypasspass000.431840449
compat.python3passpass000.936048408
compat.curlpasspass000.428139318
compat.gitpasspass002.82618634
compat.cmakepasspass000.949338396
compat.pkg-configpasspass002.429439609
compat.m4passpass000.944828189
compat.gccpasspass001.245721904
compat.g++passpass003.087817965
compat.makepasspass000.839840629
compat.arpasspass001.316144132
compat.aspasspass001.081411823
compat.ldpasspass002.00604578
compat.nmpasspass001.075879991
compat.objcopypasspass001.097113234
compat.objdumppasspass001.3238460939999999
compat.ranlibpasspass001.461486674
compat.readelfpasspass001.139152386
compat.sizepasspass000.864078225
compat.strippasspass001.003920935
compat.addr2linepasspass001.513814676
compat.c++filtpasspass000.619482115
compat.elfeditpasspass001.128676105
compat.gprofpasspass000.78911848
compat.cpppasspass001.011597668
compat.gcovpasspass000.896917445
compat.bzip2passpass000.436323194
compat.gzippasspass000.413401415
compat.xzpasspass000.429667955
compat.zstdpasspass000.479902712
compat.gzip-roundtrippasspass001.367237158
compat.bzip2-roundtrippasspass001.368640596
compat.xz-roundtrippasspass001.416354986
compat.zstd-roundtrippasspass001.500263927
compat.tar-roundtrippasspass001.442297584
compat.cpio-roundtrippasspass001.488175064
compat.wget-localhostpasspass001.593030806
compat.curl-localhostpasspass001.7038671060000001
compat.zip-unzippasspass000.864749603
compat.opensslpasspass000.25408124
compat.sortpasspass000.427112576
compat.uniqpasspass000.524969964
compat.trpasspass000.363769915
compat.cutpasspass000.48721616
compat.teepasspass000.345893436
compat.pastepasspass000.665658895
compat.commpasspass000.636462818
compat.joinpasspass000.660545612
compat.findpasspass000.860500199
compat.statpasspass000.233934119
compat.filepasspass000.331101251
compat.basenamepasspass000.227622116
compat.dirnamepasspass000.229367739
compat.envpasspass000.533130263
compat.printenvpasspass000.255943087
compat.unamepasspass000.220547276
compat.factorpasspass000.535997712
compat.exprpasspass000.219931561
compat.ddpasspass000.3590805
compat.dfpasspass000.703346059
compat.dupasspass000.215827485
compat.hostnamepasspass000.2164894
compat.ippasspass000.609493849
compat.sspasspass000.620579534
compat.netlink-routepasspass001.301398687
compat.netlink-sock-diagpasspass001.309042481
compat.lscpupasspass000.86440109
compat.lsofpasspass001.6255153340000001
compat.whoamipasspass000.295269234
compat.groupspasspass000.276849839
compat.ttypasspass000.376633622
compat.nprocpasspass000.210989787
compat.archpasspass000.280981358
compat.realpathpasspass000.223679813
compat.readlinkpasspass000.235071569
compat.mktemppasspass000.394113606
compat.sha256sumpasspass000.233939097
compat.sha1sumpasspass000.236331332
compat.md5sumpasspass000.235768896
compat.sha224sumpasspass000.233770334
compat.sha384sumpasspass000.237645116
compat.sha512sumpasspass000.240834959
compat.wc-linespasspass000.21941839
compat.nlpasspass000.349131691
compat.expandpasspass000.352701365
compat.unexpandpasspass000.347433179
compat.testpasspass000.220713587
compat.bracketpasspass000.278966039
compat.printfpasspass000.254170836
compat.prpasspass000.240826486
compat.lspasspass000.234421932
compat.xargspasspass000.734312675
compat.timepasspass000.944237602
compat.iconvpasspass000.398860608
compat.sleeppasspass000.225766297
compat.stdbufpasspass000.309741088
compat.nohuppasspass000.272148926
compat.nicepasspass000.264094265
compat.ionicepasspass000.260121135
compat.tasksetpasspass000.36438547
compat.chrtpasspass000.358579145
compat.flockpasspass000.649851905
compat.loggerpasspass000.511582029
compat.getoptpasspass000.198527292
compat.columnpasspass000.464522773
compat.hexdumppasspass000.45431775
compat.xxdpasspass000.428856696
compat.stringspasspass000.477144336
compat.odpasspass000.477036184
compat.sumpasspass000.264893626
compat.cksumpasspass000.260256659
compat.b2sumpasspass000.354653758
compat.tsortpasspass000.540096441
compat.ptxpasspass000.362979568
compat.pinkypasspass000.227705311
compat.lognamepasspass000.365685502
compat.userspasspass000.363120189
compat.uptimepasspass000.242974293
compat.iostatpasspass002.655945348
compat.vmstat-diskpasspass000.671545739
compat.pidstat-diskpasspass000.559472472
compat.findmntpasspass000.343840101
compat.sysctl-random-uuidpasspass000.290412406
compat.sar-resource-tablespasspass001.089446825
compat.lsirqpasspass000.664394355
compat.mpstat-softirqspasspass005.571603146
compat.lsmodpasspass000.61036035
compat.numastatpasspass000.214623155
compat.numactl-hardwarepasspass000.310523723
compat.pspasspass000.311655724
compat.vmstatpasspass000.36686844
compat.toppasspass000.563308426
compat.killpasspass000.282935924
compat.pgreppasspass000.456485357
compat.pkillpasspass000.354334638
compat.diffpasspass000.623519913
compat.patchpasspass000.695021832
compat.greppasspass000.566284748
compat.egreppasspass000.60818391
compat.fgreppasspass000.551190709
compat.sedpasspass000.470985013
compat.tarpasspass000.672979394
compat.cppasspass000.623801035
compat.mvpasspass000.571732022
compat.rmpasspass000.510387183
compat.mkdirpasspass000.523388988
compat.rmdirpasspass000.373045952
compat.touchpasspass000.529699169
compat.chmodpasspass000.503453185
compat.chownpasspass000.505317457
compat.lnpasspass000.635399801
compat.datepasspass000.21971105
compat.calpasspass000.200679546
compat.yespasspass000.404139138
compat.tacpasspass000.316789167
compat.revpasspass000.302408991
compat.foldpasspass000.290444485
compat.fmtpasspass000.311665329
compat.shufpasspass000.568385444
compat.numfmtpasspass000.167810561
compat.csplitpasspass000.496984436
compat.splitpasspass000.442331141
compat.installpasspass000.502542686
compat.mkfifopasspass000.445603788
compat.cmppasspass000.384645399
compat.freepasspass000.181887111
setup.pinned_root_fetchpasspass0079.957297327

Recorded population

900 cells have writer-verified recorded attempts. This is not the full planned selection or proof that the run completed.

Chaos/ptrace

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

Verify/kvm

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

Verify/liteinst

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

Verify/ptrace

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
debugger-c: debuggee
shared-futex-c: qemu-hello
util-c: pmu-skid

Verify/sabre

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 0e1efc142cbee25ff296756b4caac6c7d48a5523483b3acaab886422a1765cf8.

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.

TEST-RESULT and COMMIT-VERDICT are separate adjacent columns.
applications/c-toolchain-workflow/verify/ptracefailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 18,509; right 18,509
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/ptracefailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 18,270; right 18,270
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/kvmfailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 30,469; right 30,469
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/ptracefailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 119,861; right 119,861
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/liteinstfailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 1,041; right 1,041
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/ptracefailcompared-and-matchedcanonical-bitwiseBitwise 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/sabrefailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 52; right 52
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/kvmfailcompared-and-matchedcanonical-bitwiseBitwise 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/liteinstfailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 1,017; right 1,017
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/ptracefailcompared-and-matchedcanonical-bitwiseBitwise 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/sabrefailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 31; right 31
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/kvmfailcompared-and-matchedcanonical-bitwiseBitwise 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/liteinstfailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 1,017; right 1,017
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/ptracefailcompared-and-matchedcanonical-bitwiseBitwise 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/sabrefailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 31; right 31
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/kvmfailcompared-and-matchedcanonical-bitwiseBitwise 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/liteinstfailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 1,019; right 1,019
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/ptracefailcompared-and-matchedcanonical-bitwiseBitwise 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/sabrefailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 33; right 33
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/kvmfailcompared-and-matchedcanonical-bitwiseBitwise 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/liteinstfailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 1,023; right 1,023
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/ptracefailcompared-and-matchedcanonical-bitwiseBitwise 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/kvmfailcompared-and-matchedcanonical-bitwiseBitwise 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/liteinstfailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 1,068; right 1,068
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/ptracefailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 152; right 152
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/kvmfailcompared-and-matchedcanonical-bitwiseBitwise 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/ptracefailcompared-and-matchedcanonical-bitwiseBitwise 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/kvmfailcompared-and-matchedcanonical-bitwiseBitwise 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/liteinstfailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 1,026; right 1,026
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/ptracefailcompared-and-matchedcanonical-bitwiseBitwise 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/kvmfailcompared-and-matchedcanonical-bitwiseBitwise 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/liteinstfailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 1,017; right 1,017
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/ptracefailcompared-and-matchedcanonical-bitwiseBitwise 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/sabrefailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 31; right 31
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/kvmfailcompared-and-matchedcanonical-bitwiseBitwise 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/liteinstfailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 1,017; right 1,017
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/ptracefailcompared-and-matchedcanonical-bitwiseBitwise 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/sabrefailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 31; right 31
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/kvmfailcompared-and-matchedcanonical-bitwiseBitwise 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/liteinstfailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 1,048; right 1,048
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/ptracefailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 132; right 132
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/kvmfailcompared-and-matchedcanonical-bitwiseBitwise 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/liteinstfailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 1,019; right 1,019
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/ptracefailcompared-and-matchedcanonical-bitwiseBitwise 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/kvmfailcompared-and-matchedcanonical-bitwiseBitwise 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/liteinstfailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 1,019; right 1,019
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/ptracefailcompared-and-matchedcanonical-bitwiseBitwise 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/sabrefailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 33; right 33
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/liteinstfailcompared-and-matchedcanonical-bitwiseBitwise parity: true
Compared INFO messages: left 1,165; right 1,165
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/ptracefailcompared-and-matchedcanonical-bitwiseBitwise 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