Experiment formal shared cargo clear results 01 - kmosoti/FabricO11y GitHub Wiki
Shared Cargo cache recovery: actual run results
Owner scope C-049, exact pre-flight X-098/ACK C-054. Helper c7f030d6 and driver0d6faab1 from plan revision871d0dd.
Control, dry and execute each returned0 with an actual confirmed stopped resource receipt; no cache mutation preceded successful controls and dry. Eight controls include entry drift, links/mounts, busy lock, pre-rename root replacement, own hardlink decrement including protected KEEP alias, partial interruption, and failed atomic journal publication.
Removed exactly six classified top entries:57,420,696,783 regular logical path bytes. Filesystem available/free increased52,998,701,056bytes (53.0GB), observed globally and subject to unrelated host activity. Execute resource elapsed23.240391s, peak352,710,656bytes; noOOM/high/max/swap event, temporary scratch removed and cgroup stopped. Per-entry elapsed time was not instrumented; durable pending-entry journal remained the interruption record.
Whole kani/wasm-bindgen/tmp (19,789,005regularbytes) remain under /run/media/kmosoti/data/FabricO11y/cargo.clearing-shared-cargo-clear-01/, content hashes unchanged. Three actual CX JSON files are now under that quarantine's tmp directory. Original cargo root is absent; next compile is cold and needs a reserve based on measured cold-build growth, not the historical4GiB estimate. A future tools install may reinstall under a fresh Cargo root; no restoration/second cleanup is authorized by this record. Packages, frozen source and console, historical/failure receipts, VM inputs and secrets are preserved.
Fresh strict whole-DATA census32,236,565,344bytes includes the preserved quarantine and private scan records; it excludes only the actually removed paths. Required cleanup to #41/#43 target81,041,356,288 is0bytes; margin48,804,790,944bytes. Actual availableRAM21,745,664KiB, liveprojectunits0. Host RAM/space may change independently. Each subsequent run must still perform fresh admission with its full reserve.
This is resource recovery evidence only; no installation/browser/query/outage/soak qualification is implied. All legacy incremental/library/example proposals remain unexecuted/superseded.
shared-cargo-clear-01-control.json
SHA256 f8b93d7edc74535ba6ecc9286cfdc6678cec66e2cb18f764540c7d7fb07854f2.
{
"label": "shared-cargo-clear-01-control",
"command": [
"python3",
"-B",
"/run/media/kmosoti/data/FabricO11y/results/candidate-build-fresh-8fb6f413179b-01/clear-shared-cargo-cache.py",
"control",
"--manifest-sha256",
"7c72184a8addeae5266625f718739c82968d27f54a5387ae9dbd9d3dbab4122d",
"--review-sha256",
"2eafe95497bf1308b6262df726f46a667eba77b3d112f80a783758dcb6f47a2e"
],
"delegated": false,
"frozen": null,
"scope": "C-049 classified shared Cargo cache recovery; no candidate acceptance evidence",
"harness_revision": "101d9dfb9099cd933db871130f7d72120d235575",
"source_status_before": "",
"storage_root": "/run/media/kmosoti/data/FabricO11y",
"admission_bytes": 89657119236,
"admission_observation": {
"data_bytes": 89657119236,
"regular_path_bytes": 89657062228,
"path_count": 472411,
"uid": 0,
"gid": 0,
"attempt": 1
},
"reserved_bytes": 1073741824,
"observations": [],
"started_utc": "2026-10-13T02:49:57.766401+00:00",
"state": "completed",
"log": "/run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/shared-cargo-clear-01-control.log",
"launcher_exit": 0,
"exit": 0,
"source_status_after": "",
"finished_utc": "2026-10-13T02:49:58.772474+00:00",
"log_sha256": "eb4e81b2c1d074eff2873354fb7c347172c3a37ad8318619ab39753e9b4546c8",
"resource_receipts": [
{
"path": "/run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/resource-containment/fabric-work-6c4baabce883435698aa4eb3afa37bd6.json",
"sha256": "f3dfd2dd028d3dc0b159bf6f6fe18cd50835e7f7cebf758779d648d628ac436a",
"exit": 0,
"stop_confirmed": true,
"retained_failure_evidence": null
}
]
}
shared-cargo-clear-01-control-inner.json
SHA256 bc844fef16bbd02fabe64dbe6dc0caf6a4b42e8c26205a7eed4dbe95edadc9f5.
{
"mode": "control",
"state": "synthetic_controls_completed",
"exit": 0,
"removed_entries": [],
"removed_regular_path_bytes": 0,
"manifest_sha256": "7c72184a8addeae5266625f718739c82968d27f54a5387ae9dbd9d3dbab4122d",
"review_sha256": "2eafe95497bf1308b6262df726f46a667eba77b3d112f80a783758dcb6f47a2e",
"serial_quiescence_assumption": "No coordinated writer runs; advisory locks do not exclude uncoordinated namespace recreation.",
"space_before": {
"available_bytes": 401370050560,
"free_bytes": 406386655232
},
"controls": [
"added-entry",
"symlink",
"same-device-bind-mount",
"busy-read-only-lock",
"root-replacement-before-rename",
"partial-interruption-with-durable-journal-and-hardlink",
"failed-journal-update-preserves-previous-record",
"quarantine-preserves-unclassified"
],
"space_after": {
"available_bytes": 401370050560,
"free_bytes": 406386655232
},
"available_delta_bytes": 0,
"free_delta_bytes": 0
}
fabric-work-6c4baabce883435698aa4eb3afa37bd6.json
SHA256 f3dfd2dd028d3dc0b159bf6f6fe18cd50835e7f7cebf758779d648d628ac436a.
{
"unit": "fabric-work-6c4baabce883435698aa4eb3afa37bd6",
"command": [
"python3",
"-B",
"/run/media/kmosoti/data/FabricO11y/results/candidate-build-fresh-8fb6f413179b-01/clear-shared-cargo-cache.py",
"control",
"--manifest-sha256",
"7c72184a8addeae5266625f718739c82968d27f54a5387ae9dbd9d3dbab4122d",
"--review-sha256",
"2eafe95497bf1308b6262df726f46a667eba77b3d112f80a783758dcb6f47a2e"
],
"exit": 0,
"wrapper_exit": 0,
"command_receipt": {
"unit": "fabric-work-6c4baabce883435698aa4eb3afa37bd6",
"command": [
"python3",
"-B",
"/run/media/kmosoti/data/FabricO11y/results/candidate-build-fresh-8fb6f413179b-01/clear-shared-cargo-cache.py",
"control",
"--manifest-sha256",
"7c72184a8addeae5266625f718739c82968d27f54a5387ae9dbd9d3dbab4122d",
"--review-sha256",
"2eafe95497bf1308b6262df726f46a667eba77b3d112f80a783758dcb6f47a2e"
],
"cgroup": "/sys/fs/cgroup/user.slice/user-1000.slice/[email protected]/app.slice/fabric-work-6c4baabce883435698aa4eb3afa37bd6.service",
"state": "completed",
"exit": 0,
"resource_observation": "command_return_before_service_stop",
"resources": {
"memory.peak": "23126016",
"memory.events": "low 0\nhigh 0\nmax 0\noom 0\noom_kill 0\noom_group_kill 0\nsock_throttled 0",
"cpu.stat": "usage_usec 118882\nuser_usec 89922\nsystem_usec 28960\nnice_usec 0\ncore_sched.force_idle_usec 0\nnr_periods 0\nnr_throttled 0\nthrottled_usec 0\nnr_bursts 0\nburst_usec 0"
}
},
"stop_confirmed": true,
"stop_error": null,
"started_unix": 1791859797.7967675,
"elapsed_s": 0.20104622840881348,
"storage_root": "/run/media/kmosoti/data/FabricO11y",
"temporary": "/run/media/kmosoti/data/FabricO11y/scratch/work-pvkk9708",
"temporary_removed": true,
"retained_failure_evidence": null,
"memory_high_bytes": 17179869184,
"memory_max_bytes": 21474836480,
"swap_max_bytes": 0,
"runtime_max_seconds": 1800,
"delegated": false
}
shared-cargo-clear-01-dry.json
SHA256 a7aa60fd1db07ec64196b535481527fc519afffa1a3ad3d58283fd691254f5f0.
{
"label": "shared-cargo-clear-01-dry",
"command": [
"python3",
"-B",
"/run/media/kmosoti/data/FabricO11y/results/candidate-build-fresh-8fb6f413179b-01/clear-shared-cargo-cache.py",
"dry",
"--manifest-sha256",
"7c72184a8addeae5266625f718739c82968d27f54a5387ae9dbd9d3dbab4122d",
"--review-sha256",
"2eafe95497bf1308b6262df726f46a667eba77b3d112f80a783758dcb6f47a2e"
],
"delegated": false,
"frozen": null,
"scope": "C-049 classified shared Cargo cache recovery; no candidate acceptance evidence",
"harness_revision": "101d9dfb9099cd933db871130f7d72120d235575",
"source_status_before": "",
"storage_root": "/run/media/kmosoti/data/FabricO11y",
"admission_bytes": 89657129462,
"admission_observation": {
"data_bytes": 89657129462,
"regular_path_bytes": 89657072454,
"path_count": 472416,
"uid": 0,
"gid": 0,
"attempt": 1
},
"reserved_bytes": 1073741824,
"observations": [],
"started_utc": "2026-10-13T02:50:24.499935+00:00",
"state": "completed",
"log": "/run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/shared-cargo-clear-01-dry.log",
"launcher_exit": 0,
"exit": 0,
"source_status_after": "",
"finished_utc": "2026-10-13T02:50:31.506526+00:00",
"log_sha256": "e186389bb5e71fba4537aba0e6480300ed38b4049116ee1850e7030924a5e808",
"resource_receipts": [
{
"path": "/run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/resource-containment/fabric-work-71751d74fc5149768c205eadc4a13a2c.json",
"sha256": "81a42d42ac3b8c751a6b9a34949efe57a7af9d7d7551198398db97b62b2cc312",
"exit": 0,
"stop_confirmed": true,
"retained_failure_evidence": null
}
]
}
shared-cargo-clear-01-dry-inner.json
SHA256 abc54fc4a8438bc3c1359dea5a2f4778ac25593f3a775cb1970bc89ef3f42730.
{
"mode": "dry",
"state": "dry_run",
"exit": 0,
"removed_entries": [],
"removed_regular_path_bytes": 0,
"manifest_sha256": "7c72184a8addeae5266625f718739c82968d27f54a5387ae9dbd9d3dbab4122d",
"review_sha256": "2eafe95497bf1308b6262df726f46a667eba77b3d112f80a783758dcb6f47a2e",
"serial_quiescence_assumption": "No coordinated writer runs; advisory locks do not exclude uncoordinated namespace recreation.",
"space_before": {
"available_bytes": 401370025984,
"free_bytes": 406386630656
},
"locks": [
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/kani/x86_64-unknown-linux-gnu/debug/.cargo-lock",
"identity": {
"device": 64513,
"inode": 13247965,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791596016100839515,
"ctime_ns": 1791596016100839515
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/kani/debug/.cargo-lock",
"identity": {
"device": 64513,
"inode": 13247959,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791596016099684773,
"ctime_ns": 1791596016099684773
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/x86_64-unknown-linux-gnu/release/.cargo-lock",
"identity": {
"device": 64513,
"inode": 13642302,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791737171535164888,
"ctime_ns": 1791737171535164888
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/wasm32-unknown-unknown/debug/.cargo-lock",
"identity": {
"device": 64513,
"inode": 13255560,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791634966304027120,
"ctime_ns": 1791634966304027120
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/wasm32-unknown-unknown/release/.cargo-lock",
"identity": {
"device": 64513,
"inode": 13253340,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791634216534570405,
"ctime_ns": 1791634216534570405
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/debug/.cargo-lock",
"identity": {
"device": 64513,
"inode": 12713995,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791131477772002825,
"ctime_ns": 1791131477772002825
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/release/.cargo-lock",
"identity": {
"device": 64513,
"inode": 12845064,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791132255405001098,
"ctime_ns": 1791132255405001098
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/kani/x86_64-unknown-linux-gnu/debug/.cargo-build-lock",
"identity": {
"device": 64513,
"inode": 13247964,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791596016100839515,
"ctime_ns": 1791596016100839515
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/kani/x86_64-unknown-linux-gnu/debug/.cargo-artifact-lock",
"identity": {
"device": 64513,
"inode": 13247966,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791596016100839515,
"ctime_ns": 1791596016100839515
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/kani/debug/.cargo-build-lock",
"identity": {
"device": 64513,
"inode": 13247958,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791596016099684773,
"ctime_ns": 1791596016099684773
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/kani/debug/.cargo-artifact-lock",
"identity": {
"device": 64513,
"inode": 13247960,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791596016099684773,
"ctime_ns": 1791596016099684773
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/x86_64-unknown-linux-gnu/release/.cargo-build-lock",
"identity": {
"device": 64513,
"inode": 13642292,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791737171535164888,
"ctime_ns": 1791737171535164888
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/x86_64-unknown-linux-gnu/release/.cargo-artifact-lock",
"identity": {
"device": 64513,
"inode": 13642454,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791737171535164888,
"ctime_ns": 1791737171535164888
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/wasm32-unknown-unknown/debug/.cargo-build-lock",
"identity": {
"device": 64513,
"inode": 13255559,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791634966304027120,
"ctime_ns": 1791634966304027120
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/wasm32-unknown-unknown/release/.cargo-build-lock",
"identity": {
"device": 64513,
"inode": 13253339,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791634216534570405,
"ctime_ns": 1791634216534570405
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/wasm32-unknown-unknown/release/.cargo-artifact-lock",
"identity": {
"device": 64513,
"inode": 13253341,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791634216534570405,
"ctime_ns": 1791634216534570405
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/debug/.cargo-build-lock",
"identity": {
"device": 64513,
"inode": 12713994,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791131477772002825,
"ctime_ns": 1791131477772002825
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/debug/.cargo-artifact-lock",
"identity": {
"device": 64513,
"inode": 12715850,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791132004379291795,
"ctime_ns": 1791132004379291795
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/release/.cargo-build-lock",
"identity": {
"device": 64513,
"inode": 12845063,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791132255405001098,
"ctime_ns": 1791132255405001098
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/release/.cargo-artifact-lock",
"identity": {
"device": 64513,
"inode": 12845065,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791132255405001098,
"ctime_ns": 1791132255405001098
},
"read_only_exclusive": true
}
],
"protected_sha256": {
"kani/CACHEDIR.TAG": "6d9d1d216e0f83abc5e5662ca62c92b4f23009466b54fa27321a69acdb778bb2",
"kani/.rustc_info.json": "5fc31c1147bf4c220e486efb442fc4401cb1fcb956a8412b4c9eda213c6e1a66",
"kani/x86_64-unknown-linux-gnu/CACHEDIR.TAG": "6d9d1d216e0f83abc5e5662ca62c92b4f23009466b54fa27321a69acdb778bb2",
"kani/debug/.cargo-lock": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"kani/debug/.cargo-build-lock": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"kani/debug/.cargo-artifact-lock": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"kani/x86_64-unknown-linux-gnu/debug/.cargo-lock": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"kani/x86_64-unknown-linux-gnu/debug/libfabric_core.rlib": "4e3e5717dc45b0d15ef620c65fa6fc16d839cd936b0b33db43b3291639465a6a",
"kani/x86_64-unknown-linux-gnu/debug/.cargo-build-lock": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"kani/x86_64-unknown-linux-gnu/debug/libfabric_core.d": "fcc235788d642ba5ad05ffc3cef7c285cf8fc81c57f4bb68867d362de96d31b8",
"kani/x86_64-unknown-linux-gnu/debug/.cargo-artifact-lock": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"kani/x86_64-unknown-linux-gnu/debug/incremental/fabric_core-2vq0dzoudx4yo/s-hn2fuico6k-1bi42gg.lock": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"kani/x86_64-unknown-linux-gnu/debug/incremental/fabric_core-2vq0dzoudx4yo/s-hn2fuico6k-1bi42gg-bn6fvy0dvte965xe1jdcn3ubk/work-products.bin": "ac4b5656c61e23cd9514beb4e91124e6aa09b89bdb16269d6885b1e3ef079f56",
"kani/x86_64-unknown-linux-gnu/debug/incremental/fabric_core-2vq0dzoudx4yo/s-hn2fuico6k-1bi42gg-bn6fvy0dvte965xe1jdcn3ubk/dep-graph.bin": "c64c382e7c1438e9840407067a58def16d8e8e95edceb16e03771e5885de8aac",
"kani/x86_64-unknown-linux-gnu/debug/incremental/fabric_core-2vq0dzoudx4yo/s-hn2fuico6k-1bi42gg-bn6fvy0dvte965xe1jdcn3ubk/query-cache.bin": "fd8cbb371694110acc411deb2be164c11de31206a491011bb8dbb56b4f0959d3",
"kani/x86_64-unknown-linux-gnu/debug/incremental/fabric_core-2vq0dzoudx4yo/s-hn2fuico6k-1bi42gg-bn6fvy0dvte965xe1jdcn3ubk/metadata.rmeta": "c0da20c9335413f52d7c4c1cba02b884fd91d27977df60a880e15730f110350a",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/fingerprint/invoked.timestamp": "5a109e6643e8d3e88642e3f35e85d2a83e639d07523aa6e99166c48178e965c3",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/fingerprint/dep-lib-fabric_core": "ae5f400cbb6cf855713906f2b31540da158b0806d3f6f8a255a8fc131aac6a65",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/fingerprint/lib-fabric_core": "25a6071c98aec6f6038b0cc1341dbd3214e5544c52f07fc0319931bbc59c64ef",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/fingerprint/output-lib-fabric_core": "d6b04059215ef7f428b76cfea2ee9d15a68022a4f840e37c0b5ba610943bd1b9",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/fingerprint/lib-fabric_core.json": "72e687a94d4801ce6a120c3b2341af083101df15287514b125390d6d083d48fc",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs22age_cutoff_never_wraps.type_map.json": "848fb4261822d39a0e801aa4544b1edef1e8492ab48b05f6a69d29482d8ef2d6",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs48retention_deletes_the_shortest_sufficient_prefix.symtab.out": "623648922a2a064b5e22d3a541abaf08f734b83de52cce1d60ea58217cbed0ed",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs36limits_are_accepted_exactly_in_range.pretty_name_map.json": "6070dfe066a964d6fc3eb3b584c3c77675717e082015bc7b452ac462c90b43ac",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs35delivery_decisions_follow_the_table.symtab.out": "4f0003cfbafa0c5d3a5e2bae9a85abccd3967f771692a7a384ba4263028552f6",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs22age_cutoff_never_wraps.pretty_name_map.json": "0d446c4a84e6b3c0f0b3d3fd53515f94c39fd59eb7efbf36be2438f21259e21f",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs48retention_deletes_the_shortest_sufficient_prefix.pretty_name_map.json": "19e6d128ca5c7ecd92141d3897fc4ca40fc71732684edbc9e5837cbe424db81d",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs39cursors_never_skip_an_unidentified_file.type_map.json": "b7b5c628fa18d6bf5ed824bb3a0a961b491410c0eb20d419b4e7be4d1ca39532",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs44next_sequence_is_one_more_or_none_at_the_end.type_map.json": "848fb4261822d39a0e801aa4544b1edef1e8492ab48b05f6a69d29482d8ef2d6",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs39cursors_never_skip_an_unidentified_file.out": "eb8ecafa3a6e8455e852daa3d43df5fd969fdc852bdd041ce6e17bbd5b2a2716",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs44next_sequence_is_one_more_or_none_at_the_end.pretty_name_map.json": "2a1880e15f2e5b8c256320f941dbb84ec49a47e586c4f7fe15f25f21f0c956f4",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs22revocation_is_terminal.symtab.out": "6b13b57a00ccadc7530b82448a06ce6143b3f1506608e91c3afb05e9d7c1f920",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs40bounded_text_is_the_longest_valid_prefix.out": "5fb67b52b6e2c4a030d08adfcc505fea97085be6b2d256132b6598f1806d2d16",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs39cursors_never_skip_an_unidentified_file.pretty_name_map.json": "862c2b15856a3efd609355a2ecf30bda09652816e91a9b27c2a68b718fcffbe2",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs35delivery_decisions_follow_the_table.pretty_name_map.json": "66f330327710cc287ff8da0098963b89d8d8fe89b08968c6cd5db9fa07fe2a13",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa.kani-metadata.json": "28fa5fd64bd183d6024bb7197cc0117979386c0a6112f293ed4b5af05f8b8677",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs32counter_starts_follow_the_series.out": "26617b8e2558c1cde7e888643fe77c9d2479fde0cbec9c7f4e1dcfb04a95845b",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs39revisions_advance_by_one_and_never_wrap.pretty_name_map.json": "61a2f9fced44913b31f3f148f8fc5fa2eb17070de21de62ab9dd4ecdeb2bbd92",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs39cursors_never_skip_an_unidentified_file.symtab.out": "23294590730cff9fae3d4886fd93547c4f14d0676dae97d0a3bd8dc00983079c",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs22age_cutoff_never_wraps.out": "1ab08c554d4c1c9863e2ca194083d9bb27cf691516effbc8b7e6b73d75b22749",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs32counter_starts_follow_the_series.type_map.json": "c28142f2d0002b4e1be52682a976692b03186be740d75e61662e845bc7fb520e",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs36limits_are_accepted_exactly_in_range.type_map.json": "eeb66d6a9d5004765d1e57a525dd2fc457dd8d6a89be6408c73c0762039772c3",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs35delivery_decisions_follow_the_table.out": "2ff33791032da651abcb0d51e821f940a3f634b0aaba6b219f7895c897231ddb",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa.d": "98b36007fe4c759c53538fcd7e54e21ffc3b99f9e20f0a5adbaf3a8250c513da",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs36limits_are_accepted_exactly_in_range.symtab.out": "ec6318904c7db688971d7d8c5631aa9a177eabfd8cb11376bea6f1176e964cdd",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs40bounded_text_is_the_longest_valid_prefix.pretty_name_map.json": "ae9962db38ec8923a56a8c153eacc09c59f2827b6bddd829242e8a7e02342e95",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/libfabric_core-b7f6b3dc30dda6fa.rlib": "4e3e5717dc45b0d15ef620c65fa6fc16d839cd936b0b33db43b3291639465a6a",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs41rates_come_only_from_uninterrupted_series.type_map.json": "2315a71fde01268aa83a830ac549f785a49b162ebaf22f497f4b81020115af94",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs48retention_deletes_the_shortest_sufficient_prefix.type_map.json": "b5b713aa38070837da7ec806a9b22b70e691e04619a1ce0462d59c68202e0ce3",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs35delivery_decisions_follow_the_table.type_map.json": "22611eaf8f942b5c3108e93a4a5fc01cfcc3b0660f0243a265b9d63ed3144ca5",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/libfabric_core-b7f6b3dc30dda6fa.rmeta": "c0da20c9335413f52d7c4c1cba02b884fd91d27977df60a880e15730f110350a",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs32counter_starts_follow_the_series.symtab.out": "a63ff5546f04e3b4e462dc76e5ad253aa39c616553cacda247d4843cf11d5293",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs22age_cutoff_never_wraps.symtab.out": "f0c5e97c17cd0011b811c3ba5a4c139c0a6c98574df50fe86170348553dca91e",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs36limits_are_accepted_exactly_in_range.out": "f549c10de44483f58712192c072f9cfef985a0b7d08771fb996a2c5f26408e06",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs22revocation_is_terminal.pretty_name_map.json": "76227c1a8a7f8d481107be52e2537c4e0bfd4b415d740d0ab8708cd903f2ab4b",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs39revisions_advance_by_one_and_never_wrap.symtab.out": "66d025f7dc0816566bd11b6a499a319e41fbfc8cbc657af5330a12f848cc8638",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs40bounded_text_is_the_longest_valid_prefix.type_map.json": "89378529c39770006fd4a97ec85b00b83486d5f73d64249340fe2c7af8ec3fc8",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs41rates_come_only_from_uninterrupted_series.out": "0bb6acf320dfe456f3e4a998dfbd987c32c53ed016b5316204a6b30528d51533",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs41rates_come_only_from_uninterrupted_series.symtab.out": "a08ad4925eaa775ffb415b44edd02c8912ea3196fbf77a32a048226ba914eb71",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs48retention_deletes_the_shortest_sufficient_prefix.out": "701e518946b73f8d1b6c49e14f9552b6c46cefed9f5cdc0a4b8c2a9c8b972e19",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs22revocation_is_terminal.out": "7c21be8c4c9cf1f788b40077640f69c2739d2619a9051a5c66f7b2adcc376e4d",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs40bounded_text_is_the_longest_valid_prefix.symtab.out": "05bf1102d61c953bb0f446818112324940003df6a212a05ab4cff222fc9891b8",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs41rates_come_only_from_uninterrupted_series.pretty_name_map.json": "772e414228ae23dd79f594efdb842716f2e7944415cbb7cd76850d7e3b4f01ed",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs44next_sequence_is_one_more_or_none_at_the_end.symtab.out": "0d0a38b0acc7149ba7fb61f7e6ace2a06bc16e8bc730bc069b75f6fa624ae67e",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs39revisions_advance_by_one_and_never_wrap.out": "6f90863ba3f0a80469a27c877ab4a4e381170c0392fcf34b82b64b429b43e21f",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs44next_sequence_is_one_more_or_none_at_the_end.out": "3f00e06a022c3c9ef90866764fc184981a2bc543607c3e063c59947cb8cf6984",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs39revisions_advance_by_one_and_never_wrap.type_map.json": "ded296d233ffed59dc326b705a8de4073b57005c16d1aecced49d4356a08748a",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs22revocation_is_terminal.type_map.json": "f014ac002425c4a1664dcf3130be0174f2c4a16766ff3308a8c475f2a12d2ecc",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs32counter_starts_follow_the_series.pretty_name_map.json": "88878d8912bd793f01af1101e54f188e86916d45b81575887fa746c8333d2010",
"tmp/cx-an_exhausted_strand_accepts_no_successor-c355a2c.json": "6a98391e3a3e0bad57e56ec5ec3241c98313285f24e6671de7dc53997accdbce",
"tmp/cx-an_exhausted_strand_accepts_no_successor-0000000deadbeef.json": "1703b451b61e12f5bc5fa6131008d271ae64d32502c4611f7eaa1fc310a146e7",
"tmp/cx-no_such_regression_test-c355a2c.json": "5c1e847530cb81f3e4dac602593a11a79529de61bfa138b023207fa7f92060b5",
"wasm-bindgen/release/fabric-ui_bg.wasm": "fbb9cf4263f19abe77a0288b6d7dda3446a8e7e8a0336ee4e3eab8c8a8403bed",
"wasm-bindgen/release/fabric-ui.js": "3944c979727bae3eb7a68f6447b5a769ab140b054f555184d6d4a02d2859dc46"
},
"remove_entries": [
".rustc_info.json",
"CACHEDIR.TAG",
"debug",
"release",
"wasm32-unknown-unknown",
"x86_64-unknown-linux-gnu"
],
"preserved_entries": [
"kani",
"tmp",
"wasm-bindgen"
],
"space_after": {
"available_bytes": 401370025984,
"free_bytes": 406386630656
},
"available_delta_bytes": 0,
"free_delta_bytes": 0
}
fabric-work-71751d74fc5149768c205eadc4a13a2c.json
SHA256 81a42d42ac3b8c751a6b9a34949efe57a7af9d7d7551198398db97b62b2cc312.
{
"unit": "fabric-work-71751d74fc5149768c205eadc4a13a2c",
"command": [
"python3",
"-B",
"/run/media/kmosoti/data/FabricO11y/results/candidate-build-fresh-8fb6f413179b-01/clear-shared-cargo-cache.py",
"dry",
"--manifest-sha256",
"7c72184a8addeae5266625f718739c82968d27f54a5387ae9dbd9d3dbab4122d",
"--review-sha256",
"2eafe95497bf1308b6262df726f46a667eba77b3d112f80a783758dcb6f47a2e"
],
"exit": 0,
"wrapper_exit": 0,
"command_receipt": {
"unit": "fabric-work-71751d74fc5149768c205eadc4a13a2c",
"command": [
"python3",
"-B",
"/run/media/kmosoti/data/FabricO11y/results/candidate-build-fresh-8fb6f413179b-01/clear-shared-cargo-cache.py",
"dry",
"--manifest-sha256",
"7c72184a8addeae5266625f718739c82968d27f54a5387ae9dbd9d3dbab4122d",
"--review-sha256",
"2eafe95497bf1308b6262df726f46a667eba77b3d112f80a783758dcb6f47a2e"
],
"cgroup": "/sys/fs/cgroup/user.slice/user-1000.slice/[email protected]/app.slice/fabric-work-71751d74fc5149768c205eadc4a13a2c.service",
"state": "completed",
"exit": 0,
"resource_observation": "command_return_before_service_stop",
"resources": {
"memory.peak": "281665536",
"memory.events": "low 0\nhigh 0\nmax 0\noom 0\noom_kill 0\noom_group_kill 0\nsock_throttled 0",
"cpu.stat": "usage_usec 6059538\nuser_usec 5522075\nsystem_usec 537463\nnice_usec 0\ncore_sched.force_idle_usec 0\nnr_periods 0\nnr_throttled 0\nthrottled_usec 0\nnr_bursts 0\nburst_usec 0"
}
},
"stop_confirmed": true,
"stop_error": null,
"started_unix": 1791859824.5293996,
"elapsed_s": 6.185824871063232,
"storage_root": "/run/media/kmosoti/data/FabricO11y",
"temporary": "/run/media/kmosoti/data/FabricO11y/scratch/work-wxcvug51",
"temporary_removed": true,
"retained_failure_evidence": null,
"memory_high_bytes": 17179869184,
"memory_max_bytes": 21474836480,
"swap_max_bytes": 0,
"runtime_max_seconds": 1800,
"delegated": false
}
shared-cargo-clear-01-execute.json
SHA256 714e0a8155e2548b647e1fac487637e3462114ea5dc6ce547ad61197cbd3f38d.
{
"label": "shared-cargo-clear-01-execute",
"command": [
"python3",
"-B",
"/run/media/kmosoti/data/FabricO11y/results/candidate-build-fresh-8fb6f413179b-01/clear-shared-cargo-cache.py",
"execute",
"--manifest-sha256",
"7c72184a8addeae5266625f718739c82968d27f54a5387ae9dbd9d3dbab4122d",
"--review-sha256",
"2eafe95497bf1308b6262df726f46a667eba77b3d112f80a783758dcb6f47a2e"
],
"delegated": false,
"frozen": null,
"scope": "C-049 classified shared Cargo cache recovery; no candidate acceptance evidence",
"harness_revision": "101d9dfb9099cd933db871130f7d72120d235575",
"source_status_before": "",
"storage_root": "/run/media/kmosoti/data/FabricO11y",
"admission_bytes": 89657187000,
"admission_observation": {
"data_bytes": 89657187000,
"regular_path_bytes": 89657129992,
"path_count": 472421,
"uid": 0,
"gid": 0,
"attempt": 1
},
"reserved_bytes": 1073741824,
"observations": [],
"started_utc": "2026-10-13T02:50:49.660720+00:00",
"state": "completed",
"log": "/run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/shared-cargo-clear-01-execute.log",
"launcher_exit": 0,
"exit": 0,
"source_status_after": "",
"finished_utc": "2026-10-13T02:51:13.668878+00:00",
"log_sha256": "2a1c39b08f8868cbb2ae6873f88eb7e2ba3c34373f12820217f1ec2ffe92383b",
"resource_receipts": [
{
"path": "/run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/resource-containment/fabric-work-3e679bc726bf4c5da6d9f39e2e3051fe.json",
"sha256": "0dd7c4b6a11c0e7f4e6761ba7aca7f1daa21345abba2732b786e4fe4c3d39408",
"exit": 0,
"stop_confirmed": true,
"retained_failure_evidence": null
}
]
}
shared-cargo-clear-01-execute-inner.json
SHA256 8966ceb9d64bc7b442933e6b52583c78d3b23afc71f151749d2858e5731c59f0.
{
"mode": "execute",
"state": "completed",
"exit": 0,
"removed_entries": [
".rustc_info.json",
"CACHEDIR.TAG",
"debug",
"release",
"wasm32-unknown-unknown",
"x86_64-unknown-linux-gnu"
],
"removed_regular_path_bytes": 57420696783,
"manifest_sha256": "7c72184a8addeae5266625f718739c82968d27f54a5387ae9dbd9d3dbab4122d",
"review_sha256": "2eafe95497bf1308b6262df726f46a667eba77b3d112f80a783758dcb6f47a2e",
"serial_quiescence_assumption": "No coordinated writer runs; advisory locks do not exclude uncoordinated namespace recreation.",
"space_before": {
"available_bytes": 401369956352,
"free_bytes": 406386561024
},
"locks": [
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/kani/x86_64-unknown-linux-gnu/debug/.cargo-lock",
"identity": {
"device": 64513,
"inode": 13247965,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791596016100839515,
"ctime_ns": 1791596016100839515
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/kani/debug/.cargo-lock",
"identity": {
"device": 64513,
"inode": 13247959,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791596016099684773,
"ctime_ns": 1791596016099684773
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/x86_64-unknown-linux-gnu/release/.cargo-lock",
"identity": {
"device": 64513,
"inode": 13642302,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791737171535164888,
"ctime_ns": 1791737171535164888
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/wasm32-unknown-unknown/debug/.cargo-lock",
"identity": {
"device": 64513,
"inode": 13255560,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791634966304027120,
"ctime_ns": 1791634966304027120
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/wasm32-unknown-unknown/release/.cargo-lock",
"identity": {
"device": 64513,
"inode": 13253340,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791634216534570405,
"ctime_ns": 1791634216534570405
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/debug/.cargo-lock",
"identity": {
"device": 64513,
"inode": 12713995,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791131477772002825,
"ctime_ns": 1791131477772002825
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/release/.cargo-lock",
"identity": {
"device": 64513,
"inode": 12845064,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791132255405001098,
"ctime_ns": 1791132255405001098
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/kani/x86_64-unknown-linux-gnu/debug/.cargo-build-lock",
"identity": {
"device": 64513,
"inode": 13247964,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791596016100839515,
"ctime_ns": 1791596016100839515
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/kani/x86_64-unknown-linux-gnu/debug/.cargo-artifact-lock",
"identity": {
"device": 64513,
"inode": 13247966,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791596016100839515,
"ctime_ns": 1791596016100839515
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/kani/debug/.cargo-build-lock",
"identity": {
"device": 64513,
"inode": 13247958,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791596016099684773,
"ctime_ns": 1791596016099684773
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/kani/debug/.cargo-artifact-lock",
"identity": {
"device": 64513,
"inode": 13247960,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791596016099684773,
"ctime_ns": 1791596016099684773
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/x86_64-unknown-linux-gnu/release/.cargo-build-lock",
"identity": {
"device": 64513,
"inode": 13642292,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791737171535164888,
"ctime_ns": 1791737171535164888
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/x86_64-unknown-linux-gnu/release/.cargo-artifact-lock",
"identity": {
"device": 64513,
"inode": 13642454,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791737171535164888,
"ctime_ns": 1791737171535164888
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/wasm32-unknown-unknown/debug/.cargo-build-lock",
"identity": {
"device": 64513,
"inode": 13255559,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791634966304027120,
"ctime_ns": 1791634966304027120
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/wasm32-unknown-unknown/release/.cargo-build-lock",
"identity": {
"device": 64513,
"inode": 13253339,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791634216534570405,
"ctime_ns": 1791634216534570405
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/wasm32-unknown-unknown/release/.cargo-artifact-lock",
"identity": {
"device": 64513,
"inode": 13253341,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791634216534570405,
"ctime_ns": 1791634216534570405
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/debug/.cargo-build-lock",
"identity": {
"device": 64513,
"inode": 12713994,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791131477772002825,
"ctime_ns": 1791131477772002825
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/debug/.cargo-artifact-lock",
"identity": {
"device": 64513,
"inode": 12715850,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791132004379291795,
"ctime_ns": 1791132004379291795
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/release/.cargo-build-lock",
"identity": {
"device": 64513,
"inode": 12845063,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791132255405001098,
"ctime_ns": 1791132255405001098
},
"read_only_exclusive": true
},
{
"path": "/run/media/kmosoti/data/FabricO11y/cargo/release/.cargo-artifact-lock",
"identity": {
"device": 64513,
"inode": 12845065,
"mode": 33188,
"uid": 1000,
"gid": 1000,
"links": 1,
"bytes": 0,
"mtime_ns": 1791132255405001098,
"ctime_ns": 1791132255405001098
},
"read_only_exclusive": true
}
],
"protected_sha256": {
"kani/CACHEDIR.TAG": "6d9d1d216e0f83abc5e5662ca62c92b4f23009466b54fa27321a69acdb778bb2",
"kani/.rustc_info.json": "5fc31c1147bf4c220e486efb442fc4401cb1fcb956a8412b4c9eda213c6e1a66",
"kani/x86_64-unknown-linux-gnu/CACHEDIR.TAG": "6d9d1d216e0f83abc5e5662ca62c92b4f23009466b54fa27321a69acdb778bb2",
"kani/debug/.cargo-lock": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"kani/debug/.cargo-build-lock": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"kani/debug/.cargo-artifact-lock": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"kani/x86_64-unknown-linux-gnu/debug/.cargo-lock": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"kani/x86_64-unknown-linux-gnu/debug/libfabric_core.rlib": "4e3e5717dc45b0d15ef620c65fa6fc16d839cd936b0b33db43b3291639465a6a",
"kani/x86_64-unknown-linux-gnu/debug/.cargo-build-lock": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"kani/x86_64-unknown-linux-gnu/debug/libfabric_core.d": "fcc235788d642ba5ad05ffc3cef7c285cf8fc81c57f4bb68867d362de96d31b8",
"kani/x86_64-unknown-linux-gnu/debug/.cargo-artifact-lock": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"kani/x86_64-unknown-linux-gnu/debug/incremental/fabric_core-2vq0dzoudx4yo/s-hn2fuico6k-1bi42gg.lock": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"kani/x86_64-unknown-linux-gnu/debug/incremental/fabric_core-2vq0dzoudx4yo/s-hn2fuico6k-1bi42gg-bn6fvy0dvte965xe1jdcn3ubk/work-products.bin": "ac4b5656c61e23cd9514beb4e91124e6aa09b89bdb16269d6885b1e3ef079f56",
"kani/x86_64-unknown-linux-gnu/debug/incremental/fabric_core-2vq0dzoudx4yo/s-hn2fuico6k-1bi42gg-bn6fvy0dvte965xe1jdcn3ubk/dep-graph.bin": "c64c382e7c1438e9840407067a58def16d8e8e95edceb16e03771e5885de8aac",
"kani/x86_64-unknown-linux-gnu/debug/incremental/fabric_core-2vq0dzoudx4yo/s-hn2fuico6k-1bi42gg-bn6fvy0dvte965xe1jdcn3ubk/query-cache.bin": "fd8cbb371694110acc411deb2be164c11de31206a491011bb8dbb56b4f0959d3",
"kani/x86_64-unknown-linux-gnu/debug/incremental/fabric_core-2vq0dzoudx4yo/s-hn2fuico6k-1bi42gg-bn6fvy0dvte965xe1jdcn3ubk/metadata.rmeta": "c0da20c9335413f52d7c4c1cba02b884fd91d27977df60a880e15730f110350a",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/fingerprint/invoked.timestamp": "5a109e6643e8d3e88642e3f35e85d2a83e639d07523aa6e99166c48178e965c3",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/fingerprint/dep-lib-fabric_core": "ae5f400cbb6cf855713906f2b31540da158b0806d3f6f8a255a8fc131aac6a65",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/fingerprint/lib-fabric_core": "25a6071c98aec6f6038b0cc1341dbd3214e5544c52f07fc0319931bbc59c64ef",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/fingerprint/output-lib-fabric_core": "d6b04059215ef7f428b76cfea2ee9d15a68022a4f840e37c0b5ba610943bd1b9",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/fingerprint/lib-fabric_core.json": "72e687a94d4801ce6a120c3b2341af083101df15287514b125390d6d083d48fc",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs22age_cutoff_never_wraps.type_map.json": "848fb4261822d39a0e801aa4544b1edef1e8492ab48b05f6a69d29482d8ef2d6",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs48retention_deletes_the_shortest_sufficient_prefix.symtab.out": "623648922a2a064b5e22d3a541abaf08f734b83de52cce1d60ea58217cbed0ed",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs36limits_are_accepted_exactly_in_range.pretty_name_map.json": "6070dfe066a964d6fc3eb3b584c3c77675717e082015bc7b452ac462c90b43ac",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs35delivery_decisions_follow_the_table.symtab.out": "4f0003cfbafa0c5d3a5e2bae9a85abccd3967f771692a7a384ba4263028552f6",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs22age_cutoff_never_wraps.pretty_name_map.json": "0d446c4a84e6b3c0f0b3d3fd53515f94c39fd59eb7efbf36be2438f21259e21f",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs48retention_deletes_the_shortest_sufficient_prefix.pretty_name_map.json": "19e6d128ca5c7ecd92141d3897fc4ca40fc71732684edbc9e5837cbe424db81d",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs39cursors_never_skip_an_unidentified_file.type_map.json": "b7b5c628fa18d6bf5ed824bb3a0a961b491410c0eb20d419b4e7be4d1ca39532",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs44next_sequence_is_one_more_or_none_at_the_end.type_map.json": "848fb4261822d39a0e801aa4544b1edef1e8492ab48b05f6a69d29482d8ef2d6",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs39cursors_never_skip_an_unidentified_file.out": "eb8ecafa3a6e8455e852daa3d43df5fd969fdc852bdd041ce6e17bbd5b2a2716",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs44next_sequence_is_one_more_or_none_at_the_end.pretty_name_map.json": "2a1880e15f2e5b8c256320f941dbb84ec49a47e586c4f7fe15f25f21f0c956f4",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs22revocation_is_terminal.symtab.out": "6b13b57a00ccadc7530b82448a06ce6143b3f1506608e91c3afb05e9d7c1f920",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs40bounded_text_is_the_longest_valid_prefix.out": "5fb67b52b6e2c4a030d08adfcc505fea97085be6b2d256132b6598f1806d2d16",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs39cursors_never_skip_an_unidentified_file.pretty_name_map.json": "862c2b15856a3efd609355a2ecf30bda09652816e91a9b27c2a68b718fcffbe2",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs35delivery_decisions_follow_the_table.pretty_name_map.json": "66f330327710cc287ff8da0098963b89d8d8fe89b08968c6cd5db9fa07fe2a13",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa.kani-metadata.json": "28fa5fd64bd183d6024bb7197cc0117979386c0a6112f293ed4b5af05f8b8677",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs32counter_starts_follow_the_series.out": "26617b8e2558c1cde7e888643fe77c9d2479fde0cbec9c7f4e1dcfb04a95845b",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs39revisions_advance_by_one_and_never_wrap.pretty_name_map.json": "61a2f9fced44913b31f3f148f8fc5fa2eb17070de21de62ab9dd4ecdeb2bbd92",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs39cursors_never_skip_an_unidentified_file.symtab.out": "23294590730cff9fae3d4886fd93547c4f14d0676dae97d0a3bd8dc00983079c",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs22age_cutoff_never_wraps.out": "1ab08c554d4c1c9863e2ca194083d9bb27cf691516effbc8b7e6b73d75b22749",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs32counter_starts_follow_the_series.type_map.json": "c28142f2d0002b4e1be52682a976692b03186be740d75e61662e845bc7fb520e",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs36limits_are_accepted_exactly_in_range.type_map.json": "eeb66d6a9d5004765d1e57a525dd2fc457dd8d6a89be6408c73c0762039772c3",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs35delivery_decisions_follow_the_table.out": "2ff33791032da651abcb0d51e821f940a3f634b0aaba6b219f7895c897231ddb",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa.d": "98b36007fe4c759c53538fcd7e54e21ffc3b99f9e20f0a5adbaf3a8250c513da",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs36limits_are_accepted_exactly_in_range.symtab.out": "ec6318904c7db688971d7d8c5631aa9a177eabfd8cb11376bea6f1176e964cdd",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs40bounded_text_is_the_longest_valid_prefix.pretty_name_map.json": "ae9962db38ec8923a56a8c153eacc09c59f2827b6bddd829242e8a7e02342e95",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/libfabric_core-b7f6b3dc30dda6fa.rlib": "4e3e5717dc45b0d15ef620c65fa6fc16d839cd936b0b33db43b3291639465a6a",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs41rates_come_only_from_uninterrupted_series.type_map.json": "2315a71fde01268aa83a830ac549f785a49b162ebaf22f497f4b81020115af94",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs48retention_deletes_the_shortest_sufficient_prefix.type_map.json": "b5b713aa38070837da7ec806a9b22b70e691e04619a1ce0462d59c68202e0ce3",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs35delivery_decisions_follow_the_table.type_map.json": "22611eaf8f942b5c3108e93a4a5fc01cfcc3b0660f0243a265b9d63ed3144ca5",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/libfabric_core-b7f6b3dc30dda6fa.rmeta": "c0da20c9335413f52d7c4c1cba02b884fd91d27977df60a880e15730f110350a",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs32counter_starts_follow_the_series.symtab.out": "a63ff5546f04e3b4e462dc76e5ad253aa39c616553cacda247d4843cf11d5293",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs22age_cutoff_never_wraps.symtab.out": "f0c5e97c17cd0011b811c3ba5a4c139c0a6c98574df50fe86170348553dca91e",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs36limits_are_accepted_exactly_in_range.out": "f549c10de44483f58712192c072f9cfef985a0b7d08771fb996a2c5f26408e06",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs22revocation_is_terminal.pretty_name_map.json": "76227c1a8a7f8d481107be52e2537c4e0bfd4b415d740d0ab8708cd903f2ab4b",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs39revisions_advance_by_one_and_never_wrap.symtab.out": "66d025f7dc0816566bd11b6a499a319e41fbfc8cbc657af5330a12f848cc8638",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs40bounded_text_is_the_longest_valid_prefix.type_map.json": "89378529c39770006fd4a97ec85b00b83486d5f73d64249340fe2c7af8ec3fc8",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs41rates_come_only_from_uninterrupted_series.out": "0bb6acf320dfe456f3e4a998dfbd987c32c53ed016b5316204a6b30528d51533",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs41rates_come_only_from_uninterrupted_series.symtab.out": "a08ad4925eaa775ffb415b44edd02c8912ea3196fbf77a32a048226ba914eb71",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs48retention_deletes_the_shortest_sufficient_prefix.out": "701e518946b73f8d1b6c49e14f9552b6c46cefed9f5cdc0a4b8c2a9c8b972e19",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs22revocation_is_terminal.out": "7c21be8c4c9cf1f788b40077640f69c2739d2619a9051a5c66f7b2adcc376e4d",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs40bounded_text_is_the_longest_valid_prefix.symtab.out": "05bf1102d61c953bb0f446818112324940003df6a212a05ab4cff222fc9891b8",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs41rates_come_only_from_uninterrupted_series.pretty_name_map.json": "772e414228ae23dd79f594efdb842716f2e7944415cbb7cd76850d7e3b4f01ed",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs44next_sequence_is_one_more_or_none_at_the_end.symtab.out": "0d0a38b0acc7149ba7fb61f7e6ace2a06bc16e8bc730bc069b75f6fa624ae67e",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs39revisions_advance_by_one_and_never_wrap.out": "6f90863ba3f0a80469a27c877ab4a4e381170c0392fcf34b82b64b429b43e21f",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs44next_sequence_is_one_more_or_none_at_the_end.out": "3f00e06a022c3c9ef90866764fc184981a2bc543607c3e063c59947cb8cf6984",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs39revisions_advance_by_one_and_never_wrap.type_map.json": "ded296d233ffed59dc326b705a8de4073b57005c16d1aecced49d4356a08748a",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs22revocation_is_terminal.type_map.json": "f014ac002425c4a1664dcf3130be0174f2c4a16766ff3308a8c475f2a12d2ecc",
"kani/x86_64-unknown-linux-gnu/debug/build/fabric-core/b7f6b3dc30dda6fa/out/fabric_core-b7f6b3dc30dda6fa__RNvNtCsgguVg4a02zY_11fabric_core6proofs32counter_starts_follow_the_series.pretty_name_map.json": "88878d8912bd793f01af1101e54f188e86916d45b81575887fa746c8333d2010",
"tmp/cx-an_exhausted_strand_accepts_no_successor-c355a2c.json": "6a98391e3a3e0bad57e56ec5ec3241c98313285f24e6671de7dc53997accdbce",
"tmp/cx-an_exhausted_strand_accepts_no_successor-0000000deadbeef.json": "1703b451b61e12f5bc5fa6131008d271ae64d32502c4611f7eaa1fc310a146e7",
"tmp/cx-no_such_regression_test-c355a2c.json": "5c1e847530cb81f3e4dac602593a11a79529de61bfa138b023207fa7f92060b5",
"wasm-bindgen/release/fabric-ui_bg.wasm": "fbb9cf4263f19abe77a0288b6d7dda3446a8e7e8a0336ee4e3eab8c8a8403bed",
"wasm-bindgen/release/fabric-ui.js": "3944c979727bae3eb7a68f6447b5a769ab140b054f555184d6d4a02d2859dc46"
},
"original": "/run/media/kmosoti/data/FabricO11y/cargo",
"quarantine": "/run/media/kmosoti/data/FabricO11y/cargo.clearing-shared-cargo-clear-01",
"pending_entry": null,
"preserved_entries": [
"kani",
"tmp",
"wasm-bindgen"
],
"quarantine_retained": true,
"original_cache_absent": true,
"space_after": {
"available_bytes": 454368657408,
"free_bytes": 459385262080
},
"available_delta_bytes": 52998701056,
"free_delta_bytes": 52998701056
}
fabric-work-3e679bc726bf4c5da6d9f39e2e3051fe.json
SHA256 0dd7c4b6a11c0e7f4e6761ba7aca7f1daa21345abba2732b786e4fe4c3d39408.
{
"unit": "fabric-work-3e679bc726bf4c5da6d9f39e2e3051fe",
"command": [
"python3",
"-B",
"/run/media/kmosoti/data/FabricO11y/results/candidate-build-fresh-8fb6f413179b-01/clear-shared-cargo-cache.py",
"execute",
"--manifest-sha256",
"7c72184a8addeae5266625f718739c82968d27f54a5387ae9dbd9d3dbab4122d",
"--review-sha256",
"2eafe95497bf1308b6262df726f46a667eba77b3d112f80a783758dcb6f47a2e"
],
"exit": 0,
"wrapper_exit": 0,
"command_receipt": {
"unit": "fabric-work-3e679bc726bf4c5da6d9f39e2e3051fe",
"command": [
"python3",
"-B",
"/run/media/kmosoti/data/FabricO11y/results/candidate-build-fresh-8fb6f413179b-01/clear-shared-cargo-cache.py",
"execute",
"--manifest-sha256",
"7c72184a8addeae5266625f718739c82968d27f54a5387ae9dbd9d3dbab4122d",
"--review-sha256",
"2eafe95497bf1308b6262df726f46a667eba77b3d112f80a783758dcb6f47a2e"
],
"cgroup": "/sys/fs/cgroup/user.slice/user-1000.slice/[email protected]/app.slice/fabric-work-3e679bc726bf4c5da6d9f39e2e3051fe.service",
"state": "completed",
"exit": 0,
"resource_observation": "command_return_before_service_stop",
"resources": {
"memory.peak": "352710656",
"memory.events": "low 0\nhigh 0\nmax 0\noom 0\noom_kill 0\noom_group_kill 0\nsock_throttled 0",
"cpu.stat": "usage_usec 22697365\nuser_usec 19384235\nsystem_usec 3313129\nnice_usec 0\ncore_sched.force_idle_usec 0\nnr_periods 0\nnr_throttled 0\nthrottled_usec 0\nnr_bursts 0\nburst_usec 0"
}
},
"stop_confirmed": true,
"stop_error": null,
"started_unix": 1791859849.6901414,
"elapsed_s": 23.24039101600647,
"storage_root": "/run/media/kmosoti/data/FabricO11y",
"temporary": "/run/media/kmosoti/data/FabricO11y/scratch/work-4doaggl7",
"temporary_removed": true,
"retained_failure_evidence": null,
"memory_high_bytes": 17179869184,
"memory_max_bytes": 21474836480,
"swap_max_bytes": 0,
"runtime_max_seconds": 1800,
"delegated": false
}
Fresh post-run observation
SHA256 1a74b907ab51f730d5a27a5cd30f89ef12d8c08cd3e6644d52ce393bfaf79929.
{
"utc": "2026-10-13T02:53:29.542124+00:00",
"census_command": [
"podman",
"--root",
"/run/media/kmosoti/data/FabricO11y/scratch/service-opening-census/graph",
"--runroot",
"/run/media/kmosoti/data/FabricO11y/scratch/service-opening-census/run",
"--tmpdir",
"/run/media/kmosoti/data/FabricO11y/scratch/service-opening-census/tmp",
"--storage-driver",
"vfs",
"unshare",
"python3",
"-B",
"/run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/census.py"
],
"census_exit": 0,
"census": {
"data_bytes": 32236565344,
"regular_path_bytes": 32236508336,
"path_count": 378397,
"uid": 0,
"gid": 0,
"attempt": 1
},
"statvfs": {
"available_bytes": 454368604160,
"free_bytes": 459385208832
},
"host_memory": {
"MemFree": "15249064 kB",
"MemAvailable": "21745664 kB"
},
"live_project_units": "",
"41_43_census_target_bytes": 81041356288,
"required_cleanup_bytes": 0,
"margin_to_41_43_target_bytes": 48804790944,
"quarantine_included_in_data_census": true,
"remaining_uncertainty": "Host free-space and RAM include unrelated owner activity; cold compile needs measured independent reservation."
}