diff --git a/REPOSITORY_READINESS.md b/REPOSITORY_READINESS.md
index 0575cfc..6882273 100644
--- a/REPOSITORY_READINESS.md
+++ b/REPOSITORY_READINESS.md
@@ -53,10 +53,10 @@ This checklist separates repository operations from architectural and ownership
 
 ## Current critical path
 
-1. Run the protected E002 evidence workflow from the merged implementation commit.
-2. Verify the artifact digest and repeat results under Python 3.13.
-3. Record the directed H1–H4 result and classify the pneumatic projections.
-4. Decide whether optional shadow mode is warranted by the offline result.
+1. Preserve E002's Narrow result and do not tune the frozen scalar law.
+2. Decide whether a new noncausal vector/topological experiment has a question distinct enough to justify E003.
+3. Freeze any E003 targets and baselines before implementation.
+4. Defer optional shadow mode unless a noncausal projection first demonstrates value.
 5. Preserve any causal Stage C proposal as a separate, newly frozen experiment.
 
 ## E001 Stage A completion
@@ -87,5 +87,7 @@ This checklist separates repository operations from architectural and ownership
 - [x] Typed capacity, fault, semantic, stale-authority, and reciprocal-debt channels are separate
 - [x] Fixed T1–T3 analysis and exact ROC-AUC calculation are implemented
 - [x] Protected Python 3.13 evidence workflow is defined
-- [ ] Canonical runner artifact verified and promoted
-- [ ] Directed result and outcome classification recorded
+- [x] Canonical Python 3.13 evidence archive verified and promoted
+- [x] Directed result and Narrow outcome classification recorded
+- [x] Scalar projection asymmetry preserved as an emergent observation
+- [x] Causal Stage C progression declined for the tested law
diff --git a/experiments/E002/observations/E002__OBSERVATION__SCALAR_FLOW_PROJECTION_ASYMMETRY__v0.1__2026-07-14.md b/experiments/E002/observations/E002__OBSERVATION__SCALAR_FLOW_PROJECTION_ASYMMETRY__v0.1__2026-07-14.md
new file mode 100644
index 0000000..0220c65
--- /dev/null
+++ b/experiments/E002/observations/E002__OBSERVATION__SCALAR_FLOW_PROJECTION_ASYMMETRY__v0.1__2026-07-14.md
@@ -0,0 +1,40 @@
+# E002 Observation O001 — Scalar Flow Projection Asymmetry
+
+**Artifact class:** Emergent observation
+**Version:** v0.1
+**Date:** 2026-07-14
+**Status:** Preserved — requires a new experiment to extend
+**Source experiment:** `SW.EXPERIMENT.E002`
+
+## Observation
+
+The fixed scalar candidate-flow law did not preserve the diagnostic value of the typed field state.
+
+For wait or credit denial, `1 - F*` produced pooled ROC-AUC 0.368152, substantially below receiver congestion at 0.772791. For transfer commit, `F*` improved on the weak vacancy-only baseline in the pooled aggregate but remained near chance at 0.509871 and reached the required 0.70 AUC in no scenario. For healthy-loop stall, the pneumatic and baseline scores were exactly equal.
+
+## Architectural significance
+
+The result suggests that the field's useful structure is not a single congestion gradient. Transfers depend on distinctions the CBF contract treats as constitutional: readiness, receiver capacity, fault isolation, semantic validity, freshness, provenance, and reciprocal obligation state.
+
+Multiplication into one scalar creates two characteristic losses:
+
+1. A zero positive gradient suppresses candidate flow even when an equal-occupancy transfer is valid.
+2. A capacity or fault barrier can dominate a transition for different reasons that should not become numerically interchangeable.
+
+The observability layer remained coherent precisely because it kept those causes typed. The scalar projection became weak when it collapsed them.
+
+## Relationship to E001 O001
+
+E001 O001 found a sharp zero-vacancy liveness boundary for strictly local receiver-issued credit. E002 O001 adds a complementary finding: occupancy gradient alone cannot explain or predict the constitutional transition surface on either side of that boundary.
+
+Together, the observations favor a vector or topological account of field state over an automatic scalar pressure law. They do not authorize cyclic exchange, global visibility, or a bypass.
+
+## Governance boundary
+
+This observation cannot be used to tune E002 after inspection. Any alternative vector, graph, phase, or topological projection requires a newly frozen experiment with declared targets and baselines. No causal scheduler follows from this observation.
+
+## Evidence
+
+- [E002 Stage B report](../results/reports/E002__STAGE_B_RESULTS__v0.1__2026-07-14.md)
+- [Aggregate analysis](../results/summary/AGGREGATE_ANALYSIS__E002__a9923615.json)
+- [E001 Observation O001](../../E001/observations/E001__OBSERVATION__FULL_RING_CIRCULATION_ASYMMETRY__v0.1__2026-07-14.md)
diff --git a/experiments/E002/observations/README.md b/experiments/E002/observations/README.md
index cf1f955..556ce0c 100644
--- a/experiments/E002/observations/README.md
+++ b/experiments/E002/observations/README.md
@@ -6,4 +6,6 @@ Each observation must identify the source E001 run, source trace digest, E002 im
 
 Observations begin as Seed / E0. They cannot change E002 projections, thresholds, or outcome classes retroactively.
 
-No E002 observations have been recorded yet.
+## Preserved observations
+
+- [O001 — Scalar Flow Projection Asymmetry](E002__OBSERVATION__SCALAR_FLOW_PROJECTION_ASYMMETRY__v0.1__2026-07-14.md) — the typed field state remained coherent, but its fixed scalar flow projection did not provide scenario-general diagnostic value.
diff --git a/experiments/E002/results/README.md b/experiments/E002/results/README.md
index 9bec482..53c24da 100644
--- a/experiments/E002/results/README.md
+++ b/experiments/E002/results/README.md
@@ -14,4 +14,12 @@ Generated telemetry may not overwrite E001 evidence. Corrections require a new r
 
 The canonical generator is `tools/generate_e002_evidence.py`; the protected runner is `.github/workflows/e002-canonical-evidence.yml`. The generator repeats the full replay and rejects run-summary, telemetry-digest, or aggregate-analysis drift before packaging evidence.
 
-No E002 evidence has been promoted yet. Implementation availability is not an experiment result; interpretation begins only after a digest-linked runner artifact is verified.
+## Canonical result
+
+- [Stage B directed report](reports/E002__STAGE_B_RESULTS__v0.1__2026-07-14.md) — **Completed / Narrow**
+- [Aggregate analysis](summary/AGGREGATE_ANALYSIS__E002__a9923615.json)
+- [Provenance](summary/PROVENANCE__E002__a9923615.json)
+- [Compressed evidence](raw/E002__CANONICAL_EVIDENCE__a9923615c09a7cd1afc452c16e505d70b98c0568.tar.gz)
+- [Archive checksum](raw/E002__CANONICAL_EVIDENCE__a9923615c09a7cd1afc452c16e505d70b98c0568.tar.gz.sha256)
+
+The evidence completed all 72 source replays under Python 3.13 with zero invalid runs or determinism mismatches. H2 and H3 were supported, offline H1 was supported while optional shadow parity remained unevaluated, and H4 was not supported. The tested scalar law is not authorized for causal use.
diff --git a/experiments/E002/results/raw/E002__CANONICAL_EVIDENCE__a9923615c09a7cd1afc452c16e505d70b98c0568.tar.gz b/experiments/E002/results/raw/E002__CANONICAL_EVIDENCE__a9923615c09a7cd1afc452c16e505d70b98c0568.tar.gz
new file mode 100644
index 0000000..4729b81
Binary files /dev/null and b/experiments/E002/results/raw/E002__CANONICAL_EVIDENCE__a9923615c09a7cd1afc452c16e505d70b98c0568.tar.gz differ
diff --git a/experiments/E002/results/raw/E002__CANONICAL_EVIDENCE__a9923615c09a7cd1afc452c16e505d70b98c0568.tar.gz.sha256 b/experiments/E002/results/raw/E002__CANONICAL_EVIDENCE__a9923615c09a7cd1afc452c16e505d70b98c0568.tar.gz.sha256
new file mode 100644
index 0000000..073765a
--- /dev/null
+++ b/experiments/E002/results/raw/E002__CANONICAL_EVIDENCE__a9923615c09a7cd1afc452c16e505d70b98c0568.tar.gz.sha256
@@ -0,0 +1 @@
+df090ed18647b3e793ecb8dffef5bbf1af3a7f679b4ffffb2d3c00103bfd5d08  E002__CANONICAL_EVIDENCE__a9923615c09a7cd1afc452c16e505d70b98c0568.tar.gz
diff --git a/experiments/E002/results/reports/E002__STAGE_B_RESULTS__v0.1__2026-07-14.md b/experiments/E002/results/reports/E002__STAGE_B_RESULTS__v0.1__2026-07-14.md
new file mode 100644
index 0000000..7e794f4
--- /dev/null
+++ b/experiments/E002/results/reports/E002__STAGE_B_RESULTS__v0.1__2026-07-14.md
@@ -0,0 +1,155 @@
+# E002 Stage B Results — Noncausal Pneumatic Instrumentation
+
+**Artifact class:** Observational experiment report
+**Version:** v0.1
+**Date:** 2026-07-14
+**Status:** Completed — Narrow
+**Evidence class:** E4-scoped negative and reconstructive evidence within the E001 model
+**Experiment:** `SW.EXPERIMENT.E002`
+**Exit decision:** **Do not proceed** to causal Stage C with the tested scalar flow law
+
+## 1. Result in one sentence
+
+The pneumatic layer reconstructed all 72 E001 runs exactly and preserved the required diagnostic distinctions, but its fixed scalar candidate-flow projection failed the predeclared scenario-general usefulness threshold and therefore remains descriptive rather than constitutive.
+
+This result is evidence about a read-only projection of the frozen three-loop traces. It is not evidence of physical thermodynamics, pneumatic equivalence, calibrated energy, neural computation, or production-scale behavior.
+
+## 2. Canonical evidence identity
+
+| Property | Value |
+| --- | --- |
+| Implementation commit | [`a9923615c09a7cd1afc452c16e505d70b98c0568`](https://github.com/AUo959/superloop-workshop/commit/a9923615c09a7cd1afc452c16e505d70b98c0568) |
+| Source E001 commit | `81e7f859f71425bdba7603a61566f9fb47c116f9` |
+| Runtime | CPython 3.13.11, standard library only |
+| Execution route | Manual canonical invocation after local and fetched `main` tree equality was verified |
+| E002 specification SHA-256 | `badb4844084fc14adf20935868941a95feebe724e366baa3dc4afdaf297b9821` |
+| Instrumentation contract SHA-256 | `ab34a99d031630a00ce28b3785330a764eab8f1a7ff5eca07cb4afc8ffb4feae` |
+| Source E001 archive SHA-256 | `584cc15bfeb3cc74dec9d9069cde26e1abaa6f1350c0aa12ae10a9784bd1663b` |
+| E002 aggregate digest | `41d35fba334b4f23c773d16f78b6e7fe6939b4d43ca69f7b8827ea897af82898` |
+| E002 archive SHA-256 | `df090ed18647b3e793ecb8dffef5bbf1af3a7f679b4ffffb2d3c00103bfd5d08` |
+| Runs | 72 |
+| Telemetry records | 207,360 |
+| Reconstruction accounting checks | 48,600 |
+| Determinism mismatches | 0 |
+| Invalid runs | 0 |
+
+The Python 3.13 aggregate digest is byte-identical to the preceding Python 3.12 dry-run aggregate digest. The repository preserves the [compressed canonical evidence](../raw/E002__CANONICAL_EVIDENCE__a9923615c09a7cd1afc452c16e505d70b98c0568.tar.gz), its [checksum](../raw/E002__CANONICAL_EVIDENCE__a9923615c09a7cd1afc452c16e505d70b98c0568.tar.gz.sha256), all [run summaries](../summary/), the [aggregate analysis](../summary/AGGREGATE_ANALYSIS__E002__a9923615.json), and the [provenance record](../summary/PROVENANCE__E002__a9923615.json).
+
+## 3. Validity gate
+
+The offline E002 implementation passes its hard validity gate:
+
+- the frozen E001 archive, manifest, trace digests, summary self-digests, and event sequences verified before replay;
+- all 72 source runs reconstructed without E001 simulator or workload imports;
+- reconstructed post-tick occupancy-time matched every E001 run summary exactly;
+- every canonical rational was reduced and no canonical float, infinity, or `NaN` was emitted;
+- pre-tick lineage contained no same-tick or future event identifier;
+- capacity blockage, fault state, semantic rejection, stale authority, and reciprocal debt remained separate typed channels;
+- all ten instrumentation invariants passed for every run; and
+- repeated instrumentation produced identical telemetry, run-summary, and aggregate digests.
+
+The generator emitted no E001 transition and did not modify the source evidence.
+
+## 4. Hypothesis disposition
+
+| Hypothesis | Disposition | Evidence |
+| --- | --- | --- |
+| H1 — Exact noninterference | Offline clause supported; optional shadow clause not evaluated | The replayer is a separate read-only process with no E001 runtime imports, and every source digest remained unchanged. No in-process shadow observer was added. |
+| H2 — Coherent reconstruction | Supported | All 72 runs, 207,360 records, 48,600 declared occupancy checks, work ledgers, modes, readiness states, and occupancy-time identities reconstructed without an invalid run. |
+| H3 — Typed diagnostic separation | Supported | Capacity, fault, semantic, stale-authority, and debt states remained separate; unavailable trust and uncertainty stayed `not_observed`. |
+| H4 — Diagnostic usefulness | Not supported | No target met both the six-of-eight scenario AUC threshold and pooled lift threshold. |
+
+H1 is deliberately not overstated. Offline noninterference is demonstrated by construction and digest verification; shadow-mode parity remains unevaluated and is not needed to interpret the offline negative result.
+
+## 5. Fixed diagnostic comparisons
+
+Decimal AUC values below are noncanonical renderings of the preserved exact fractions.
+
+| Target | Pneumatic pooled AUC | Scalar baseline AUC | Lift | Scenarios at AUC ≥ 0.70 | Threshold result |
+| --- | ---: | ---: | ---: | ---: | --- |
+| T1 — wait or credit denial | 0.368152 | 0.772791 | -0.404639 | 0 of 8 | Fail |
+| T2 — transfer commit | 0.509871 | 0.429770 | +0.080101 | 0 of 8 | Fail |
+| T3 — healthy-loop stall within five ticks | 0.989479 | 0.989479 | 0 | 3 of 8 | Fail |
+
+### 5.1 T1 — Wait or credit denial
+
+The tested score `1 - F*` was materially worse than receiver congestion. Five scenarios contained no positive T1 case, so their AUC was correctly undefined rather than coerced to zero. In the three discriminating scenarios, no pneumatic AUC reached 0.70.
+
+The direction matters: multiplying eligibility, vacancy conductance, and positive congestion gradient suppresses the score in several states where waits are caused by full capacity or fault boundaries. The scalar does not compress those typed causes safely.
+
+### 5.2 T2 — Transfer commit
+
+Candidate flow exceeded the simple vacancy baseline in the pooled comparison by approximately 0.0801, but its pooled AUC remained only 0.5099 and no scenario reached the 0.70 threshold. The positive pooled lift is therefore not scenario-general evidence of useful transfer prediction.
+
+The result rejects the temptation to select only the favorable pooled lift. The predeclared decision required both lift and scenario coverage.
+
+### 5.3 T3 — Healthy-loop stall
+
+The pneumatic score and raw congestion baseline were exactly identical. Both separated the three scenarios containing positive stall cases extremely well, but the pneumatic formulation added no information or compression beyond its declared scalar input. T3 is coherent but redundant.
+
+## 6. What the negative result reveals
+
+The failure is informative. A transfer in this model is not governed by a single occupancy gradient. It also depends on local readiness, capacity, fault mode, schema and provenance validity, lease freshness, and reciprocal obligation handling. Those dimensions were intentionally kept separate by the CBF constitution.
+
+The tested `F* = eligibility × conductance × positive gradient` collapses that structure too aggressively. Equal-occupancy exchanges have zero gradient even when a transfer is valid, while zero receiver vacancy can represent a capacity boundary that should remain typed rather than absorbed into one pressure score.
+
+This supports the original architectural caution: pneumatic language is most coherent here as a vector observability layer around constitutional interlocks, not as a replacement operating system or automatic scalar scheduler.
+
+The projection asymmetry is preserved separately as [E002 Observation O001](../../observations/E002__OBSERVATION__SCALAR_FLOW_PROJECTION_ASYMMETRY__v0.1__2026-07-14.md).
+
+## 7. Outcome classification
+
+The overall E002 outcome is **Narrow**.
+
+Retain as noncausal observability:
+
+- exact congestion and vacancy;
+- typed finite resistance and zero-vacancy blockage;
+- separate pressure-vector channels;
+- typed capacity, fault, semantic, stale-authority, and debt states;
+- integer phase indices as descriptive activity labels;
+- occupancy-time and zero-vacancy-cycle diagnostics; and
+- the offline reconstruction and evidence pipeline.
+
+Narrow or reject as demonstrated diagnostics:
+
+- reject `1 - F*` for T1 denial prediction in this model;
+- narrow `F*` to an explicitly experimental descriptor, not a transfer predictor;
+- treat the T3 resistance score as a restatement of congestion, not independent pneumatic evidence;
+- make no usefulness claim for phase or dissipation beyond deterministic description; and
+- do not fit weights or alter the frozen formula after seeing this result.
+
+## 8. Exit decision
+
+**Do not proceed to causal Stage C with the tested scalar law.**
+
+The evidence does not justify allowing `F*`, resistance, dissipation, or phase to authorize work or replace the minimal interlock contract. Optional shadow instrumentation is also deferred because it would prove parity for a projection that has not demonstrated sufficient diagnostic value.
+
+A later experiment may test a fixed vector or topological diagnostic that preserves readiness, typed barriers, and zero-vacancy cycles without scalar collapse. That work must receive a new experiment identifier, frozen targets, and equivalent-work controls. It may not be described as a tuned rerun of E002.
+
+## 9. Limitations
+
+- The evidence inherits E001's three-loop, one-direction topology and deterministic workloads.
+- The eight scenarios are adversarial within the model, not independent external replication.
+- AUC is undefined in scenarios with only one target class; undefined values cannot support H4.
+- T3's high AUC reflects the same congestion information in both compared scores.
+- Phase and dissipation were recorded but did not receive separate calibrated targets.
+- No continuous fluid dynamics, physical pressure, energy, hardware cost, wall-clock behavior, or learning was modeled.
+- Shadow-mode noninterference was not evaluated.
+
+## 10. Reproduction
+
+After checking out the implementation commit, run:
+
+```bash
+PYTHONPATH=src python tools/generate_e002_evidence.py \
+  --output build/e002-canonical \
+  --source-commit a9923615c09a7cd1afc452c16e505d70b98c0568
+```
+
+Verify the preserved archive from `experiments/E002/results/raw/` with:
+
+```bash
+sha256sum --check \
+  E002__CANONICAL_EVIDENCE__a9923615c09a7cd1afc452c16e505d70b98c0568.tar.gz.sha256
+```
diff --git a/experiments/E002/results/summary/AGGREGATE_ANALYSIS__E002__a9923615.json b/experiments/E002/results/summary/AGGREGATE_ANALYSIS__E002__a9923615.json
new file mode 100644
index 0000000..8e36adc
--- /dev/null
+++ b/experiments/E002/results/summary/AGGREGATE_ANALYSIS__E002__a9923615.json
@@ -0,0 +1,408 @@
+{
+  "aggregate_digest": "41d35fba334b4f23c773d16f78b6e7fe6939b4d43ca69f7b8827ea897af82898",
+  "diagnostic_analysis": {
+    "T1": {
+      "pooled": {
+        "baseline_auc": {
+          "denominator": 16203839,
+          "numerator": 12522186
+        },
+        "lift": {
+          "denominator": 129630712,
+          "numerator": -52453691
+        },
+        "pneumatic_auc": {
+          "denominator": 129630712,
+          "numerator": 47723797
+        },
+        "positive_count": 1282,
+        "sample_count": 51840
+      },
+      "scenarios": {
+        "balanced": {
+          "baseline_auc": null,
+          "pneumatic_auc": null,
+          "positive_count": 0,
+          "sample_count": 6480
+        },
+        "burst": {
+          "baseline_auc": null,
+          "pneumatic_auc": null,
+          "positive_count": 0,
+          "sample_count": 6480
+        },
+        "circular_wait": {
+          "baseline_auc": {
+            "denominator": 39600,
+            "numerator": 38693
+          },
+          "pneumatic_auc": {
+            "denominator": 2,
+            "numerator": 1
+          },
+          "positive_count": 540,
+          "sample_count": 6480
+        },
+        "failed_neighbor": {
+          "baseline_auc": {
+            "denominator": 2785871,
+            "numerator": 1525119
+          },
+          "pneumatic_auc": {
+            "denominator": 2785871,
+            "numerator": 1061183
+          },
+          "positive_count": 463,
+          "sample_count": 6480
+        },
+        "malformed_duplicate": {
+          "baseline_auc": null,
+          "pneumatic_auc": null,
+          "positive_count": 0,
+          "sample_count": 6480
+        },
+        "saturated_receiver": {
+          "baseline_auc": {
+            "denominator": 192231,
+            "numerator": 132136
+          },
+          "pneumatic_auc": {
+            "denominator": 192231,
+            "numerator": 19477
+          },
+          "positive_count": 279,
+          "sample_count": 6480
+        },
+        "slow_neighbor": {
+          "baseline_auc": null,
+          "pneumatic_auc": null,
+          "positive_count": 0,
+          "sample_count": 6480
+        },
+        "stale_feedback": {
+          "baseline_auc": null,
+          "pneumatic_auc": null,
+          "positive_count": 0,
+          "sample_count": 6480
+        }
+      }
+    },
+    "T2": {
+      "pooled": {
+        "baseline_auc": {
+          "denominator": 133757368,
+          "numerator": 57484963
+        },
+        "lift": {
+          "denominator": 535029472,
+          "numerator": 42856325
+        },
+        "pneumatic_auc": {
+          "denominator": 535029472,
+          "numerator": 272796177
+        },
+        "positive_count": 5812,
+        "sample_count": 51840
+      },
+      "scenarios": {
+        "balanced": {
+          "baseline_auc": {
+            "denominator": 16,
+            "numerator": 9
+          },
+          "pneumatic_auc": {
+            "denominator": 2,
+            "numerator": 1
+          },
+          "positive_count": 720,
+          "sample_count": 6480
+        },
+        "burst": {
+          "baseline_auc": {
+            "denominator": 37888,
+            "numerator": 11119
+          },
+          "pneumatic_auc": {
+            "denominator": 2,
+            "numerator": 1
+          },
+          "positive_count": 1152,
+          "sample_count": 6480
+        },
+        "circular_wait": {
+          "baseline_auc": {
+            "denominator": 11008,
+            "numerator": 1005
+          },
+          "pneumatic_auc": {
+            "denominator": 2,
+            "numerator": 1
+          },
+          "positive_count": 288,
+          "sample_count": 6480
+        },
+        "failed_neighbor": {
+          "baseline_auc": {
+            "denominator": 747520,
+            "numerator": 317521
+          },
+          "pneumatic_auc": {
+            "denominator": 7475200,
+            "numerator": 4117233
+          },
+          "positive_count": 640,
+          "sample_count": 6480
+        },
+        "malformed_duplicate": {
+          "baseline_auc": {
+            "denominator": 16,
+            "numerator": 9
+          },
+          "pneumatic_auc": {
+            "denominator": 2,
+            "numerator": 1
+          },
+          "positive_count": 720,
+          "sample_count": 6480
+        },
+        "saturated_receiver": {
+          "baseline_auc": {
+            "denominator": 266392,
+            "numerator": 104631
+          },
+          "pneumatic_auc": {
+            "denominator": 1065568,
+            "numerator": 561373
+          },
+          "positive_count": 852,
+          "sample_count": 6480
+        },
+        "slow_neighbor": {
+          "baseline_auc": {
+            "denominator": 102400,
+            "numerator": 48431
+          },
+          "pneumatic_auc": {
+            "denominator": 2,
+            "numerator": 1
+          },
+          "positive_count": 720,
+          "sample_count": 6480
+        },
+        "stale_feedback": {
+          "baseline_auc": {
+            "denominator": 16,
+            "numerator": 9
+          },
+          "pneumatic_auc": {
+            "denominator": 2,
+            "numerator": 1
+          },
+          "positive_count": 720,
+          "sample_count": 6480
+        }
+      }
+    },
+    "T3": {
+      "pooled": {
+        "baseline_auc": {
+          "denominator": 4110831,
+          "numerator": 4067582
+        },
+        "lift": {
+          "denominator": 1,
+          "numerator": 0
+        },
+        "pneumatic_auc": {
+          "denominator": 4110831,
+          "numerator": 4067582
+        },
+        "positive_count": 729,
+        "sample_count": 51480
+      },
+      "scenarios": {
+        "balanced": {
+          "baseline_auc": null,
+          "pneumatic_auc": null,
+          "positive_count": 0,
+          "sample_count": 6480
+        },
+        "burst": {
+          "baseline_auc": null,
+          "pneumatic_auc": null,
+          "positive_count": 0,
+          "sample_count": 6480
+        },
+        "circular_wait": {
+          "baseline_auc": {
+            "denominator": 220,
+            "numerator": 217
+          },
+          "pneumatic_auc": {
+            "denominator": 220,
+            "numerator": 217
+          },
+          "positive_count": 540,
+          "sample_count": 6480
+        },
+        "failed_neighbor": {
+          "baseline_auc": {
+            "denominator": 292677,
+            "numerator": 280451
+          },
+          "pneumatic_auc": {
+            "denominator": 292677,
+            "numerator": 280451
+          },
+          "positive_count": 147,
+          "sample_count": 6120
+        },
+        "malformed_duplicate": {
+          "baseline_auc": null,
+          "pneumatic_auc": null,
+          "positive_count": 0,
+          "sample_count": 6480
+        },
+        "saturated_receiver": {
+          "baseline_auc": {
+            "denominator": 15022,
+            "numerator": 14039
+          },
+          "pneumatic_auc": {
+            "denominator": 15022,
+            "numerator": 14039
+          },
+          "positive_count": 42,
+          "sample_count": 6480
+        },
+        "slow_neighbor": {
+          "baseline_auc": null,
+          "pneumatic_auc": null,
+          "positive_count": 0,
+          "sample_count": 6480
+        },
+        "stale_feedback": {
+          "baseline_auc": null,
+          "pneumatic_auc": null,
+          "positive_count": 0,
+          "sample_count": 6480
+        }
+      }
+    }
+  },
+  "experiment": "SW.EXPERIMENT.E002",
+  "hypotheses": {
+    "H1_noninterference": "offline_supported_shadow_not_evaluated",
+    "H2_coherent_reconstruction": "supported",
+    "H3_typed_diagnostic_separation": "supported",
+    "H4_diagnostic_usefulness": {
+      "candidates": {
+        "T1": {
+          "meets_threshold": false,
+          "pooled_lift": {
+            "denominator": 129630712,
+            "numerator": -52453691
+          },
+          "scenarios_at_or_above_auc_threshold": 0
+        },
+        "T2": {
+          "meets_threshold": false,
+          "pooled_lift": {
+            "denominator": 535029472,
+            "numerator": 42856325
+          },
+          "scenarios_at_or_above_auc_threshold": 0
+        },
+        "T3": {
+          "meets_threshold": false,
+          "pooled_lift": {
+            "denominator": 1,
+            "numerator": 0
+          },
+          "scenarios_at_or_above_auc_threshold": 3
+        }
+      },
+      "supported": false
+    }
+  },
+  "invalid_run_ids": [],
+  "run_count": 72,
+  "run_summary_digests": {
+    "central__balanced__seed-17": "79db05922d3074d59f5812e068713ee03b15cbda15359d9e87331eb40bf35ac5",
+    "central__balanced__seed-29": "73998b7d9b02d2ba7ce664a061b2ea899e38bd4224f25c8f4afd2f23eed714f4",
+    "central__balanced__seed-43": "a00e473932642a8bcf10f493f826600888beff10f31465c6e826628949f9067a",
+    "central__burst__seed-17": "937d1a1c20e0b4326bcdd05b77658ecd13d792a6136a453b0823346d9ade2e9e",
+    "central__burst__seed-29": "cafce555d1b01c11612e061b0c84fd38c87c30ce117692a20c5cee7aff1006c5",
+    "central__burst__seed-43": "1304d69c84db20db6766397c690d838cb611d92f3fcb3b96839bfd9ba1850b47",
+    "central__circular_wait__seed-17": "cfc6b4a4c147dbecb3ef26893231cb356de0b5bde1c04b32a343d1c745b4c817",
+    "central__circular_wait__seed-29": "8c52172e84483ecfbc2787045854c3b06cee4735fa656af0fe9a2a1852998298",
+    "central__circular_wait__seed-43": "432506a0990469721118e9daf63a1e3eb2d1a5af96ac00dbb7477a5d853a3362",
+    "central__failed_neighbor__seed-17": "b1d090e0328c2af85f537c0cadd67dc4a8998f11000b4b7949bfb02ed8163c47",
+    "central__failed_neighbor__seed-29": "ac174e4360fafab72cfa2c044073b8a5f77da933db8eb92664440a837e930a75",
+    "central__failed_neighbor__seed-43": "49dc2ca9b4cec9dbbc2721c9af3a3a88ae25f095ab2ff2c20a880026a2bd25d4",
+    "central__malformed_duplicate__seed-17": "4a882bc4c0afbe79e45b1a2549f1456eb6b7a26f3717aab352807f65849e82b1",
+    "central__malformed_duplicate__seed-29": "29fecc9d5ecd58d773c252584a6fecb3af3d9e2c146c507a047592549de6f159",
+    "central__malformed_duplicate__seed-43": "764a53c90b81806e55234d51a4b65d67388858a27624b59a38914c7aebafb259",
+    "central__saturated_receiver__seed-17": "047060985c92d6d5334e973cbd2b0b7543ae81fd36d38219f1167e37687b9f3a",
+    "central__saturated_receiver__seed-29": "1c06a512b79653ffbaf57cd1b4db5fa496f9be60026924da0fa60945ea970290",
+    "central__saturated_receiver__seed-43": "711cc0301c7e52c475aba30c588f35f300395741a0c7c9b8332930c9448b92f9",
+    "central__slow_neighbor__seed-17": "c2bc791cabcbf662711bf9dc0a914533442f34b51f2405dc3acd123e2ee27956",
+    "central__slow_neighbor__seed-29": "0b1972ac1ddc2f4beac71a944bcd7756a35784012d79625427a9d4da40b5650d",
+    "central__slow_neighbor__seed-43": "c19237ce74ce4f8a0c7e55df1266801b4db133666083ac3dbe63f5892cc38d8c",
+    "central__stale_feedback__seed-17": "dbf73823fdd3386e57ee71b273628ba59102300e2fb037cddfc14bbf6e9801b9",
+    "central__stale_feedback__seed-29": "c8acb23bcf9397c3ae13ea41750bc7c04140adccdd131a5be09a99c7983dec2c",
+    "central__stale_feedback__seed-43": "86fec1526d4451f94b6be1d6eef8c853a3db4d43bdbcb4e1600be9aa28953506",
+    "global_barrier__balanced__seed-17": "e5229500883eccbf064ec9984fac3017f77f54f7d6a4dbb4ade975239494effe",
+    "global_barrier__balanced__seed-29": "9a57f81036b31dd9acdbb286ae3682b84a73ea010ce147239f4edf73acc7291d",
+    "global_barrier__balanced__seed-43": "a9945dda75037c8676e3e0b269f00a8344d1ff0ebd2834b6aa6134f15c145732",
+    "global_barrier__burst__seed-17": "fc13c683344147048c7544db726e3c19bb7018da3bd90938a06cf7afbbecc2ef",
+    "global_barrier__burst__seed-29": "c59ab8de35fecff93d105298b7a2666767ce4c15dc3ffe070966f9adc15c12fe",
+    "global_barrier__burst__seed-43": "a25fd79a00d02b46c718a117b5a7465c4e0b4cc49b6ab28a3d16c19d91070242",
+    "global_barrier__circular_wait__seed-17": "9e1ed36f88dcd5ac6c42086c85c6c2f6115b6ab88510c4c45a16ec9488c5f862",
+    "global_barrier__circular_wait__seed-29": "04f7058a8ff553ed91e4e8fc5ad1bb3238cb5bec491b03e2060ca4271369b1f3",
+    "global_barrier__circular_wait__seed-43": "612202e89728239fdde517eed4ee434e91b148baec5dca507eb2f4d8b8fa21ba",
+    "global_barrier__failed_neighbor__seed-17": "d35056d833872513c5270891157a2f2c12a75676109108a63a8dc42d67d6f6c9",
+    "global_barrier__failed_neighbor__seed-29": "92342d58cb8cf58ce8d9126afa9813ff8f722fcbdebaf1021f1dbfd091cecf86",
+    "global_barrier__failed_neighbor__seed-43": "8adc0648971541f8f5bd6f26a505b39b33b20e3ff614d0026e3c5308d3494308",
+    "global_barrier__malformed_duplicate__seed-17": "bfd838e6ad3385f40f4d4f44c741e1b760d9ad224b7844ed62c60d361126a9b6",
+    "global_barrier__malformed_duplicate__seed-29": "86060221f0b4263505082f36fa206de8273922d0ca40b5a6521acf4fd01b2adb",
+    "global_barrier__malformed_duplicate__seed-43": "03710e2b31db3b439c2a94e5815217035a09ea9a53f9ca250c4119f786e0a038",
+    "global_barrier__saturated_receiver__seed-17": "54748a3a8ebe850b2b95d04fd763d3257d9decceb4d6834ccbb68675f74f3e9a",
+    "global_barrier__saturated_receiver__seed-29": "cbf213417e378826e8fc296395a1a894ede6e69ea75bfcad482d3efffaf3c2f8",
+    "global_barrier__saturated_receiver__seed-43": "95a4b13538648e52c6691df0f9c257288828b212c7a6e3600a8e3641ea83d178",
+    "global_barrier__slow_neighbor__seed-17": "c2b11c75942692f5a91523fd95a960890d5816ddef660341d73cdf58fcb062c3",
+    "global_barrier__slow_neighbor__seed-29": "a93327f77e2b2df14797d8624e5838d03b39f0eaf663e22b8fd3ca45fb2eb69f",
+    "global_barrier__slow_neighbor__seed-43": "260c643b771c67bac7cc4c4ccbc12ffaf206ef7b8ef4f0a75630f0d48bd27ae3",
+    "global_barrier__stale_feedback__seed-17": "48f547e42711c8d05579e28b1b54121e1d7e20638d6b6097cc8bece59920e606",
+    "global_barrier__stale_feedback__seed-29": "867e3edc279c9e3814b8cd793f2eb285bd3154f817cdb49b8812d0828dc66c85",
+    "global_barrier__stale_feedback__seed-43": "6e767a3a27395c6440e89318869cc4bebbbb6def5264a764ff960da308b158e2",
+    "local_cbf__balanced__seed-17": "a71e010bbc1c8458cb9d423f2cb6b6f5a6b5087a09443dd5213e84e59ad5d16c",
+    "local_cbf__balanced__seed-29": "135a08e87da913576d66db8ded7fbcbf557f978acb961f96645eaef729b3fe4f",
+    "local_cbf__balanced__seed-43": "1a009fd768cb0f8622d2ae25a24498ca03999df89b71084a7b4643f5b0e50540",
+    "local_cbf__burst__seed-17": "dfbd52175caaea5dc311696689dc53858f6670964dd04cd5616fde907910f608",
+    "local_cbf__burst__seed-29": "c9d119696a48eeee25f6cba386b143621ffab21bef5d71909cf8d1a7b0d8956f",
+    "local_cbf__burst__seed-43": "fa033160ea6b61fc119d0f2ed609d10842b14452b6026aa121cd4cdecd064e57",
+    "local_cbf__circular_wait__seed-17": "0c5b2c4274b9206c1da34425ae868e0229268093158f95f0edaae0f0803ec191",
+    "local_cbf__circular_wait__seed-29": "059b9db6219d3dc5d15326f6e2cdce16ab24ea72e1fa01f351e20cea9d46ba6c",
+    "local_cbf__circular_wait__seed-43": "320652f44e7bcfad9aeb2b619ccadf6b666a8376bf42a9e91c6507e1a6e224b9",
+    "local_cbf__failed_neighbor__seed-17": "ada8fed0e776c1ced2ed375081d6b1ce5b92d3bd222edc50d0e4584c1a252779",
+    "local_cbf__failed_neighbor__seed-29": "c1cf0af2a158dcad1681dd6081ea1fbf5fb045d69a01faa3c52b0f70717655bc",
+    "local_cbf__failed_neighbor__seed-43": "6f72a2cea680231e8900856e7f84511bcbb405d58b16fcf35ef6f7898b6531b5",
+    "local_cbf__malformed_duplicate__seed-17": "a2fe306fc8bcd0b8bc59927a7e5e321ad85d8247468b8c60d92239878cb34beb",
+    "local_cbf__malformed_duplicate__seed-29": "a9dd6380fcd52555151a5a000708c8f933ddaca1c9b57f18f0e33bc6cd440bfd",
+    "local_cbf__malformed_duplicate__seed-43": "b9c83a5f1ba757b7de37e9300f87bad1b12ed77eecd1a6308df0c9cf6ce0d21f",
+    "local_cbf__saturated_receiver__seed-17": "4d52fbd817c4b8b7e230c352720ee3a49d70b6994e49f5c3239ab6610fad9e0b",
+    "local_cbf__saturated_receiver__seed-29": "f0c1b35e030604369a0eb5dd4ad5b53028a749e72efbeff48a533d4971408b15",
+    "local_cbf__saturated_receiver__seed-43": "4a0f959c5a3af763e27152b56ceea148556c57f35a34d9c5230679c415623516",
+    "local_cbf__slow_neighbor__seed-17": "b55d352e8431b9f33ae6c997398cc3c1e9f465ce02b7049605997cc46ebba529",
+    "local_cbf__slow_neighbor__seed-29": "6efb17e329e2153485a2f976e19c13912d94a5840b791e0a3e57fbf842e357e6",
+    "local_cbf__slow_neighbor__seed-43": "0c2f68518cebcc86a5682354a637736ca4c6f8ae53c224b096b5833e7e951eec",
+    "local_cbf__stale_feedback__seed-17": "3c0e60e16f078847d5c0b72afa7363f8481f804bf8a20d36dad5fb66a3b3de01",
+    "local_cbf__stale_feedback__seed-29": "1c1739a301a6d3bce4f016fa894294dbe35dc415f261f53408af632f3ffd4f48",
+    "local_cbf__stale_feedback__seed-43": "73739a00284b6c72782b489c2eb36cdf5e54953c48c49f10b7f90a4c8f06da79"
+  },
+  "schema_version": "e002.aggregate-analysis.v1",
+  "source_archive_sha256": "584cc15bfeb3cc74dec9d9069cde26e1abaa6f1350c0aa12ae10a9784bd1663b",
+  "source_commit": "81e7f859f71425bdba7603a61566f9fb47c116f9",
+  "telemetry_record_count": 207360
+}
diff --git a/experiments/E002/results/summary/PROVENANCE__E002__a9923615.json b/experiments/E002/results/summary/PROVENANCE__E002__a9923615.json
new file mode 100644
index 0000000..7c31b51
--- /dev/null
+++ b/experiments/E002/results/summary/PROVENANCE__E002__a9923615.json
@@ -0,0 +1,18 @@
+{
+  "aggregate_digest": "41d35fba334b4f23c773d16f78b6e7fe6939b4d43ca69f7b8827ea897af82898",
+  "experiment": "SW.EXPERIMENT.E002",
+  "invocation": "PYTHONPATH=src python tools/generate_e002_evidence.py --output /tmp/e002-canonical-a9923615 --source-commit a9923615c09a7cd1afc452c16e505d70b98c0568",
+  "runtime": {
+    "implementation": "CPython",
+    "python_version": "3.13.11"
+  },
+  "schema_version": "e002.evidence-provenance.v1",
+  "source_commit": "a9923615c09a7cd1afc452c16e505d70b98c0568",
+  "source_e001_archive_sha256": "584cc15bfeb3cc74dec9d9069cde26e1abaa6f1350c0aa12ae10a9784bd1663b",
+  "validation": {
+    "determinism_mismatches": [],
+    "invalid_run_ids": [],
+    "run_count": 72,
+    "telemetry_record_count": 207360
+  }
+}
diff --git a/experiments/E002/results/summary/central__balanced__seed-17.json b/experiments/E002/results/summary/central__balanced__seed-17.json
new file mode 100644
index 0000000..996d800
--- /dev/null
+++ b/experiments/E002/results/summary/central__balanced__seed-17.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__balanced__seed-17",
+  "source_summary_digest": "e67091614482c9dd844eac00de1bc114eaf5597c862236f13cda69e43523cab4",
+  "source_trace_digest": "df58053e056adf5907852ed226e35b81707f60f5cd52091177285d534a505ef2",
+  "telemetry_digest": "48ba989b4e658bdf5db261469c5d6c1d98bdd918bce98fa9888db15603bce40a",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__balanced__seed-29.json b/experiments/E002/results/summary/central__balanced__seed-29.json
new file mode 100644
index 0000000..d381224
--- /dev/null
+++ b/experiments/E002/results/summary/central__balanced__seed-29.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__balanced__seed-29",
+  "source_summary_digest": "2facfe0e443c237001511b9e421e4f1373b6447697f14990cce951975533d303",
+  "source_trace_digest": "fdb1ee94c786b3e13c641dbcb50a2b8459561537bd536c3b76aad3302a2d886e",
+  "telemetry_digest": "e76431bd524bdc58dec9bdb45279ad0284bb7d031143086536f552d97e1c58c4",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__balanced__seed-43.json b/experiments/E002/results/summary/central__balanced__seed-43.json
new file mode 100644
index 0000000..084837a
--- /dev/null
+++ b/experiments/E002/results/summary/central__balanced__seed-43.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__balanced__seed-43",
+  "source_summary_digest": "dcfedb14997ebda944a8a1956b2735b869e9ef5b4e0936ab68ca7d85790b5468",
+  "source_trace_digest": "a4be5fca8a9b0464adf583f926dbc715bfd74b8a2d8329b17caba39259d46322",
+  "telemetry_digest": "40cc050f91be5c848aa633662d2a5b4b1a63098a4346a4d34ddfda7f0fcd07d0",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__burst__seed-17.json b/experiments/E002/results/summary/central__burst__seed-17.json
new file mode 100644
index 0000000..67d0465
--- /dev/null
+++ b/experiments/E002/results/summary/central__burst__seed-17.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 128,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 604,
+      "1": 116
+    },
+    "3": {
+      "0": 604,
+      "1": 116
+    },
+    "4": {
+      "0": 604,
+      "1": 116
+    },
+    "6": {
+      "0": 604,
+      "1": 116
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 912,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 135,
+      "B": 140,
+      "C": 141
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__burst__seed-17",
+  "source_summary_digest": "9d86b2a68beb92d841eb647c274c1279e25174cd8586918c050c56e967a93782",
+  "source_trace_digest": "cdedd9924498628139f9235ddf19254b56048b2d4aa0fe79f3d4f2db70bc8fb8",
+  "telemetry_digest": "27d4f9fb9b715d5a66ce7b65162b2d2458540ea33a53100b7af3a3524940489b",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__burst__seed-29.json b/experiments/E002/results/summary/central__burst__seed-29.json
new file mode 100644
index 0000000..cdf176f
--- /dev/null
+++ b/experiments/E002/results/summary/central__burst__seed-29.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 128,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 604,
+      "1": 116
+    },
+    "3": {
+      "0": 604,
+      "1": 116
+    },
+    "4": {
+      "0": 604,
+      "1": 116
+    },
+    "6": {
+      "0": 604,
+      "1": 116
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 912,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 135,
+      "B": 140,
+      "C": 141
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__burst__seed-29",
+  "source_summary_digest": "431a27cedac08a40aee048619f9c019686cbc7e016271b958948dc4ad9247032",
+  "source_trace_digest": "8ff8c647c7dd157ae2b79d623f2bfe3726fa71ce54a5f44f64baee450abc8f5d",
+  "telemetry_digest": "40933eb5ca959cc0f1cd615c32cb7d1310595c3c70b45014ebe0d60c962b543c",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__burst__seed-43.json b/experiments/E002/results/summary/central__burst__seed-43.json
new file mode 100644
index 0000000..e45eccc
--- /dev/null
+++ b/experiments/E002/results/summary/central__burst__seed-43.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 128,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 604,
+      "1": 116
+    },
+    "3": {
+      "0": 604,
+      "1": 116
+    },
+    "4": {
+      "0": 604,
+      "1": 116
+    },
+    "6": {
+      "0": 604,
+      "1": 116
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 912,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 135,
+      "B": 140,
+      "C": 141
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__burst__seed-43",
+  "source_summary_digest": "aa54b091ca2be4aeb4fc70985dd8274b9568e55f3b8ffc722039b85ef6261ec2",
+  "source_trace_digest": "e9d048f76746f51a20e12c9228a60adbfb2c3441a46342c920606ea3a34289c2",
+  "telemetry_digest": "d56886731018445ba463d306fd5458614cbe1eb2e8a8385dd947ecf37882e315",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__circular_wait__seed-17.json b/experiments/E002/results/summary/central__circular_wait__seed-17.json
new file mode 100644
index 0000000..21d42ae
--- /dev/null
+++ b/experiments/E002/results/summary/central__circular_wait__seed-17.json
@@ -0,0 +1,58 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 48,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 720
+    },
+    "3": {
+      "0": 720
+    },
+    "4": {
+      "0": 720
+    },
+    "6": {
+      "0": 720
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 240,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 100,
+      "B": 100,
+      "C": 100
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__circular_wait__seed-17",
+  "source_summary_digest": "aca0781bdfdf0879c8c5610bea14289762c5eead2d83d88636997574787f9db0",
+  "source_trace_digest": "31f883b9d3afd89c2e5eb65aea8b5950f8e6771374604172fe43feb015f400cc",
+  "telemetry_digest": "0f189d2a3be2cb09f8fc2137b4fff1ce858bc7ec243475598cdb985c24ded997",
+  "zero_vacancy_cycle_ticks": [
+    0,
+    1,
+    2,
+    3,
+    4,
+    5,
+    6,
+    7,
+    8
+  ]
+}
diff --git a/experiments/E002/results/summary/central__circular_wait__seed-29.json b/experiments/E002/results/summary/central__circular_wait__seed-29.json
new file mode 100644
index 0000000..4e3aee1
--- /dev/null
+++ b/experiments/E002/results/summary/central__circular_wait__seed-29.json
@@ -0,0 +1,58 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 48,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 720
+    },
+    "3": {
+      "0": 720
+    },
+    "4": {
+      "0": 720
+    },
+    "6": {
+      "0": 720
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 240,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 100,
+      "B": 100,
+      "C": 100
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__circular_wait__seed-29",
+  "source_summary_digest": "38d179a1bd49f7413e016e2dfdafd6e7ae8bb956feb94ca9b0afc1fafcd46fed",
+  "source_trace_digest": "9074390aaad3b06c9c23885322830acd3cfea04209d26538a6453aaeefc8969a",
+  "telemetry_digest": "6a69c78e358942c862ecdd50832ffc5b68cad81a433baac2b9a5f4fff761260d",
+  "zero_vacancy_cycle_ticks": [
+    0,
+    1,
+    2,
+    3,
+    4,
+    5,
+    6,
+    7,
+    8
+  ]
+}
diff --git a/experiments/E002/results/summary/central__circular_wait__seed-43.json b/experiments/E002/results/summary/central__circular_wait__seed-43.json
new file mode 100644
index 0000000..deed30a
--- /dev/null
+++ b/experiments/E002/results/summary/central__circular_wait__seed-43.json
@@ -0,0 +1,58 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 48,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 720
+    },
+    "3": {
+      "0": 720
+    },
+    "4": {
+      "0": 720
+    },
+    "6": {
+      "0": 720
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 240,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 100,
+      "B": 100,
+      "C": 100
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__circular_wait__seed-43",
+  "source_summary_digest": "e4cbca9b6d4529ccf8083e87141b7ef83d7f1d90f50c07b5dd45ad9b1f1f1f70",
+  "source_trace_digest": "a6204daf4730d468be5601cc6f0bc09f81a9c9e6723307bb27fdaad2633e4181",
+  "telemetry_digest": "6df644120ce405d676fc4c3bdea6f997fc8831d7c35c086a9318908913993eaf",
+  "zero_vacancy_cycle_ticks": [
+    0,
+    1,
+    2,
+    3,
+    4,
+    5,
+    6,
+    7,
+    8
+  ]
+}
diff --git a/experiments/E002/results/summary/central__failed_neighbor__seed-17.json b/experiments/E002/results/summary/central__failed_neighbor__seed-17.json
new file mode 100644
index 0000000..3e37c60
--- /dev/null
+++ b/experiments/E002/results/summary/central__failed_neighbor__seed-17.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 7,
+  "committed_flow_total": 70,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 558,
+      "1": 162
+    },
+    "3": {
+      "0": 518,
+      "1": 202
+    },
+    "4": {
+      "0": 517,
+      "1": 162,
+      "2": 41
+    },
+    "6": {
+      "0": 489,
+      "1": 133,
+      "2": 69,
+      "3": 29
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 570,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 238,
+      "B": 34,
+      "C": 24
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__failed_neighbor__seed-17",
+  "source_summary_digest": "d22f8291468507bfd3892e04645f24e1ced0731b8df67823a86038a9c6e06b82",
+  "source_trace_digest": "b335b87849bfa1991195b6df4bdcb54024e52c0d2527c5024d282c64499edfc8",
+  "telemetry_digest": "927f63e68e6b5a5cb7af7350451102f25ee352b97dc4ba398757bcdae3928885",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__failed_neighbor__seed-29.json b/experiments/E002/results/summary/central__failed_neighbor__seed-29.json
new file mode 100644
index 0000000..80cf854
--- /dev/null
+++ b/experiments/E002/results/summary/central__failed_neighbor__seed-29.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 7,
+  "committed_flow_total": 70,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 558,
+      "1": 162
+    },
+    "3": {
+      "0": 518,
+      "1": 202
+    },
+    "4": {
+      "0": 517,
+      "1": 162,
+      "2": 41
+    },
+    "6": {
+      "0": 489,
+      "1": 133,
+      "2": 69,
+      "3": 29
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 570,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 238,
+      "B": 34,
+      "C": 24
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__failed_neighbor__seed-29",
+  "source_summary_digest": "dbafefb267d6ac0f6db90d9b8f39fda2d71c24a74f35390c6fb6bb6123bfeb6e",
+  "source_trace_digest": "f696cc30db40c0c5d2283701eccee5ffdd198103a921f26cef4dc9e4b61f5016",
+  "telemetry_digest": "93e1999ecbd18a48babdff7d71e64e758f2d980306d4bc549e984019e9f13ae7",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__failed_neighbor__seed-43.json b/experiments/E002/results/summary/central__failed_neighbor__seed-43.json
new file mode 100644
index 0000000..0d9fe23
--- /dev/null
+++ b/experiments/E002/results/summary/central__failed_neighbor__seed-43.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 7,
+  "committed_flow_total": 70,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 558,
+      "1": 162
+    },
+    "3": {
+      "0": 518,
+      "1": 202
+    },
+    "4": {
+      "0": 517,
+      "1": 162,
+      "2": 41
+    },
+    "6": {
+      "0": 489,
+      "1": 133,
+      "2": 69,
+      "3": 29
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 570,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 238,
+      "B": 34,
+      "C": 24
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__failed_neighbor__seed-43",
+  "source_summary_digest": "7f657269ea0f8d3c129e9551288441adc7edc3c1461dfa644488aed38fd4c859",
+  "source_trace_digest": "1e3f8bc5f599e7ad2af0e9a5fc0dcde4bac3b4a9bad508b3cf708d4a77197dc0",
+  "telemetry_digest": "53f9571307de838574d9364140cccfd6972a3f0cdd3d17f1fd09cdd201245f29",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__malformed_duplicate__seed-17.json b/experiments/E002/results/summary/central__malformed_duplicate__seed-17.json
new file mode 100644
index 0000000..fe60814
--- /dev/null
+++ b/experiments/E002/results/summary/central__malformed_duplicate__seed-17.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__malformed_duplicate__seed-17",
+  "source_summary_digest": "f65ff6f9490fb0e706e0d56578a09d6bcf847d4fd7209f63d9b9f0b93835ec30",
+  "source_trace_digest": "eba01c9943413ca277b5420d27d8e90bd0f70372eef4d82d09afca7770b3c2d4",
+  "telemetry_digest": "d16c6a9a9a81c7ab8bf4c9d5852637e55c300839455697cd18c2aa48b16a9152",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__malformed_duplicate__seed-29.json b/experiments/E002/results/summary/central__malformed_duplicate__seed-29.json
new file mode 100644
index 0000000..60c2214
--- /dev/null
+++ b/experiments/E002/results/summary/central__malformed_duplicate__seed-29.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__malformed_duplicate__seed-29",
+  "source_summary_digest": "68711f9fd1cd9061dae52edf0667cf2c008251a110f2387f50f6bfcba375a3f3",
+  "source_trace_digest": "49082e64a82654de5a0165336ea4f9cb21e53cea3a900b9d946a161e7155e371",
+  "telemetry_digest": "2c572a2d0061a22715f785e42fa66c83aa701f264f1895039f171fea05ded7ed",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__malformed_duplicate__seed-43.json b/experiments/E002/results/summary/central__malformed_duplicate__seed-43.json
new file mode 100644
index 0000000..cb61807
--- /dev/null
+++ b/experiments/E002/results/summary/central__malformed_duplicate__seed-43.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__malformed_duplicate__seed-43",
+  "source_summary_digest": "d6f5fcd3ead3ec627f20209d3d954a7180f478d95c4ad978f29f575fb336c0e6",
+  "source_trace_digest": "043522d83db91c40f745cc120e5982fc05d9b37d207aea0fbd50d0242adcc50b",
+  "telemetry_digest": "35a34d7ccf6541f7f69cb5685a3797c13db3a6cd2c595a5fc2c39202150f92fd",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__saturated_receiver__seed-17.json b/experiments/E002/results/summary/central__saturated_receiver__seed-17.json
new file mode 100644
index 0000000..39dba0a
--- /dev/null
+++ b/experiments/E002/results/summary/central__saturated_receiver__seed-17.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 25,
+  "committed_flow_total": 94,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 546,
+      "1": 174
+    },
+    "3": {
+      "0": 526,
+      "1": 194
+    },
+    "4": {
+      "0": 520,
+      "1": 174,
+      "2": 26
+    },
+    "6": {
+      "0": 512,
+      "1": 160,
+      "2": 34,
+      "3": 14
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 742,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 211,
+      "B": 44,
+      "C": 39
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__saturated_receiver__seed-17",
+  "source_summary_digest": "4dbef3dd206768b43c86f847093e6104cc839ebfe37bff6f1aafb41734ab6c6c",
+  "source_trace_digest": "54a084429614a011e146720a56eea9465ea70f4ee1a84fb6ae5189a10cd1739c",
+  "telemetry_digest": "fed0cf9bcfe50a44016dc6bdecd75483bc99c38e71bee23ff2d744112caee71c",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__saturated_receiver__seed-29.json b/experiments/E002/results/summary/central__saturated_receiver__seed-29.json
new file mode 100644
index 0000000..19308de
--- /dev/null
+++ b/experiments/E002/results/summary/central__saturated_receiver__seed-29.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 25,
+  "committed_flow_total": 94,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 546,
+      "1": 174
+    },
+    "3": {
+      "0": 526,
+      "1": 194
+    },
+    "4": {
+      "0": 520,
+      "1": 174,
+      "2": 26
+    },
+    "6": {
+      "0": 512,
+      "1": 160,
+      "2": 34,
+      "3": 14
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 742,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 211,
+      "B": 44,
+      "C": 39
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__saturated_receiver__seed-29",
+  "source_summary_digest": "a2230c30cf36bbe7d0121ef46c2d95818a3961313b6916ef1dc1ffa698525107",
+  "source_trace_digest": "9e01184fdebbede68b3ae3fbe8c82c13f5ff52a33f5ca500a4a7685770281f37",
+  "telemetry_digest": "5e26c52cc90d38e2443f680b7de2f029170c86592d69facbfc1a9d8543f8feee",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__saturated_receiver__seed-43.json b/experiments/E002/results/summary/central__saturated_receiver__seed-43.json
new file mode 100644
index 0000000..5c4360a
--- /dev/null
+++ b/experiments/E002/results/summary/central__saturated_receiver__seed-43.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 25,
+  "committed_flow_total": 94,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 546,
+      "1": 174
+    },
+    "3": {
+      "0": 526,
+      "1": 194
+    },
+    "4": {
+      "0": 520,
+      "1": 174,
+      "2": 26
+    },
+    "6": {
+      "0": 512,
+      "1": 160,
+      "2": 34,
+      "3": 14
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 742,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 211,
+      "B": 44,
+      "C": 39
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__saturated_receiver__seed-43",
+  "source_summary_digest": "fafc3765bb3ac173ea664081134e1e3866f9cb16a34e5b0a36e5723a2790649a",
+  "source_trace_digest": "06a107a98efebd8337c4470bed02a129ce0b56f2ec22ddae7e6d77115b26c557",
+  "telemetry_digest": "9525a282295bf1510a1099d65a25d41e1a914aaf18a47435b828329d8d49daa6",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__slow_neighbor__seed-17.json b/experiments/E002/results/summary/central__slow_neighbor__seed-17.json
new file mode 100644
index 0000000..c1eecff
--- /dev/null
+++ b/experiments/E002/results/summary/central__slow_neighbor__seed-17.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 548,
+      "1": 172
+    },
+    "3": {
+      "0": 515,
+      "1": 205
+    },
+    "4": {
+      "0": 505,
+      "1": 172,
+      "2": 43
+    },
+    "6": {
+      "0": 503,
+      "1": 160,
+      "2": 45,
+      "3": 12
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 664,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 29,
+      "B": 193,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__slow_neighbor__seed-17",
+  "source_summary_digest": "5305c91b746af379917497f28e7840b401b23b9d1d9c083dc7aa07a60f6fc972",
+  "source_trace_digest": "1bf43a79d8b920941a8efab6ca9c34e7da1aa4db3d0c665c80e12552744806a5",
+  "telemetry_digest": "ee5451c78daf7fe594513a9d6d63fcf6f9e8b0db3f92f63b817e58fb30ad807c",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__slow_neighbor__seed-29.json b/experiments/E002/results/summary/central__slow_neighbor__seed-29.json
new file mode 100644
index 0000000..9821c5e
--- /dev/null
+++ b/experiments/E002/results/summary/central__slow_neighbor__seed-29.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 548,
+      "1": 172
+    },
+    "3": {
+      "0": 515,
+      "1": 205
+    },
+    "4": {
+      "0": 505,
+      "1": 172,
+      "2": 43
+    },
+    "6": {
+      "0": 503,
+      "1": 160,
+      "2": 45,
+      "3": 12
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 664,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 29,
+      "B": 193,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__slow_neighbor__seed-29",
+  "source_summary_digest": "ffcc40c0bca7907aca91b31c9c62e529f36ebfd6edca80271af7a18db7ac0b4e",
+  "source_trace_digest": "4e8cb2a12821196e04f9d752bff844d5e0bb81c287693194111f8107de6d21c6",
+  "telemetry_digest": "d483d318eada3f1f530390a7c7d8b8f089ad47e5d233ccf0d9e84796af2958aa",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__slow_neighbor__seed-43.json b/experiments/E002/results/summary/central__slow_neighbor__seed-43.json
new file mode 100644
index 0000000..c418d3a
--- /dev/null
+++ b/experiments/E002/results/summary/central__slow_neighbor__seed-43.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 548,
+      "1": 172
+    },
+    "3": {
+      "0": 515,
+      "1": 205
+    },
+    "4": {
+      "0": 505,
+      "1": 172,
+      "2": 43
+    },
+    "6": {
+      "0": 503,
+      "1": 160,
+      "2": 45,
+      "3": 12
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 664,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 29,
+      "B": 193,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__slow_neighbor__seed-43",
+  "source_summary_digest": "d0a407f224307136d2cc937253b9a5982229a53617f7416a616e1e1f4145bd08",
+  "source_trace_digest": "d538d4c36d3cd8d449b02348ee49bc02c9462e577e6ff0f1b52844aaa5e8cad1",
+  "telemetry_digest": "69e37028e0f436598956e02933ec857d96358f451785503c02c3620e67f1abf2",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__stale_feedback__seed-17.json b/experiments/E002/results/summary/central__stale_feedback__seed-17.json
new file mode 100644
index 0000000..f872f48
--- /dev/null
+++ b/experiments/E002/results/summary/central__stale_feedback__seed-17.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__stale_feedback__seed-17",
+  "source_summary_digest": "7ae730f0358397268d46ea5a4e72a33679ccabe6fcd022f38223bb7912418f86",
+  "source_trace_digest": "772e17af507badb1e54e48af7ef6dd18ea8e4a993c47d68b967ac46ccde3aaef",
+  "telemetry_digest": "57dd4ad404d8b999bb342647695c3c959f9250c0ea9f1067b45709bb081db52d",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__stale_feedback__seed-29.json b/experiments/E002/results/summary/central__stale_feedback__seed-29.json
new file mode 100644
index 0000000..dff6b21
--- /dev/null
+++ b/experiments/E002/results/summary/central__stale_feedback__seed-29.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__stale_feedback__seed-29",
+  "source_summary_digest": "cfc721d8f6376bd4975895732d98e9d6441eb472a7f6f861f847ec1ad245e097",
+  "source_trace_digest": "6e378b73538ff19c0151468eda2f4adc509719581b7099cdff618d7a8f8ccd1c",
+  "telemetry_digest": "649ab3b12fecca5a10430c5afc2d0d0834fa61800ce0fdb87f8a5c54aaa3a62b",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/central__stale_feedback__seed-43.json b/experiments/E002/results/summary/central__stale_feedback__seed-43.json
new file mode 100644
index 0000000..8b020cb
--- /dev/null
+++ b/experiments/E002/results/summary/central__stale_feedback__seed-43.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "central__stale_feedback__seed-43",
+  "source_summary_digest": "49e202d4407e6048de68dd79a24b0ed54231e58727813046512d64e44fd3220f",
+  "source_trace_digest": "b2862b088319cea6128c486fff3624ec2ebb4e9b154f0b74d39f25bd90edbf22",
+  "telemetry_digest": "b667c9dbca666fdcf8339779f110c8831797ca4bfb546995260336363c363b9f",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__balanced__seed-17.json b/experiments/E002/results/summary/global_barrier__balanced__seed-17.json
new file mode 100644
index 0000000..4a45160
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__balanced__seed-17.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__balanced__seed-17",
+  "source_summary_digest": "c587debe3dc0c8366aa3ec6801d39409b1c06ceaa88fbdcce6427ee84a3f7582",
+  "source_trace_digest": "3c1d6236ee414ceb3660679df6b9ceece360c9f8388c330c688ad847567bd11c",
+  "telemetry_digest": "7384a8d6af2abad8169c1b62297ae334db1b4dde6b8c5e49886880fc23ce140f",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__balanced__seed-29.json b/experiments/E002/results/summary/global_barrier__balanced__seed-29.json
new file mode 100644
index 0000000..ec8fa2e
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__balanced__seed-29.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__balanced__seed-29",
+  "source_summary_digest": "c17d77c935d7c07a0e119cbec23007092799bd6f898373a9c77820c229c858f3",
+  "source_trace_digest": "750e473e96d8e737c6125d48939eec291b254c2fa4fac0bf96489037c48e6680",
+  "telemetry_digest": "7bdae0e754efdcfbcd03f5642f9227bb5cfda8260bf9fd1538fc67a46d84f932",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__balanced__seed-43.json b/experiments/E002/results/summary/global_barrier__balanced__seed-43.json
new file mode 100644
index 0000000..6bdeda1
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__balanced__seed-43.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__balanced__seed-43",
+  "source_summary_digest": "05a19c3431b4eda8f10a1a1df0fa60fd69a187e5848d3e46078f803bd1cf90e7",
+  "source_trace_digest": "8ce08d59943814aaa2911a59fa04c4bf96b0c7dbc17e184d4f75bdec41dba527",
+  "telemetry_digest": "6c8f4b0c79edcd5b6ea9a2d904e97d6ce5756ccbcabfc59e62fc3ce7ccee338d",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__burst__seed-17.json b/experiments/E002/results/summary/global_barrier__burst__seed-17.json
new file mode 100644
index 0000000..0e13169
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__burst__seed-17.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 128,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 604,
+      "1": 116
+    },
+    "3": {
+      "0": 604,
+      "1": 116
+    },
+    "4": {
+      "0": 604,
+      "1": 116
+    },
+    "6": {
+      "0": 604,
+      "1": 116
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 912,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 135,
+      "B": 140,
+      "C": 141
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__burst__seed-17",
+  "source_summary_digest": "8d9eb121466b00b8221e0e52c6922377cc381a6ee572377f565de608d9d182f7",
+  "source_trace_digest": "17e9cc4cca135d658fbb0c0e98138f7e60e91c079c935218833f00936099897b",
+  "telemetry_digest": "d2166f1946dd34715427c1fc23c942b6a12758c110709d346d621ab5b76eac3c",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__burst__seed-29.json b/experiments/E002/results/summary/global_barrier__burst__seed-29.json
new file mode 100644
index 0000000..0c23a7a
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__burst__seed-29.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 128,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 604,
+      "1": 116
+    },
+    "3": {
+      "0": 604,
+      "1": 116
+    },
+    "4": {
+      "0": 604,
+      "1": 116
+    },
+    "6": {
+      "0": 604,
+      "1": 116
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 912,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 135,
+      "B": 140,
+      "C": 141
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__burst__seed-29",
+  "source_summary_digest": "04ab3e4c7fc056709f789ae6840830d5b441fcc1c271d96186bc389bd7190c3a",
+  "source_trace_digest": "2675590da91cf1a0d328221239c194c8540ec2472510484be030251a56290159",
+  "telemetry_digest": "b9c7cdae66a537f3f32283f7844f3808876c41ff584e3223b0a0f14c28387665",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__burst__seed-43.json b/experiments/E002/results/summary/global_barrier__burst__seed-43.json
new file mode 100644
index 0000000..7b89be8
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__burst__seed-43.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 128,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 604,
+      "1": 116
+    },
+    "3": {
+      "0": 604,
+      "1": 116
+    },
+    "4": {
+      "0": 604,
+      "1": 116
+    },
+    "6": {
+      "0": 604,
+      "1": 116
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 912,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 135,
+      "B": 140,
+      "C": 141
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__burst__seed-43",
+  "source_summary_digest": "8d213ae6a029060723684004db37c8b85d022910be9342c30cca04d42d3c43dd",
+  "source_trace_digest": "55ac99da66644eb186d6b80dfed04e42bb77ad3ed582de5b353f99b16c25f7f2",
+  "telemetry_digest": "87f1a188d07299d00487984289e90718bfcf4747f9135656f0c20ec8c440b775",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__circular_wait__seed-17.json b/experiments/E002/results/summary/global_barrier__circular_wait__seed-17.json
new file mode 100644
index 0000000..ba6d278
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__circular_wait__seed-17.json
@@ -0,0 +1,58 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 48,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 720
+    },
+    "3": {
+      "0": 720
+    },
+    "4": {
+      "0": 720
+    },
+    "6": {
+      "0": 720
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 240,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 100,
+      "B": 100,
+      "C": 100
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__circular_wait__seed-17",
+  "source_summary_digest": "9f00e2243a20aaa0d7a87f98cd73a6f479cdd1d6fbac2c4dab1985c0b80588e9",
+  "source_trace_digest": "084f4fe61db6fc1a537b9c8695d72c2cf990ae74d1c5f348ccff066df3c205e4",
+  "telemetry_digest": "91f8019eb16dc9510fedc6ee0d2cfc9e72f075b255d1fac451be0f044ec32a95",
+  "zero_vacancy_cycle_ticks": [
+    0,
+    1,
+    2,
+    3,
+    4,
+    5,
+    6,
+    7,
+    8
+  ]
+}
diff --git a/experiments/E002/results/summary/global_barrier__circular_wait__seed-29.json b/experiments/E002/results/summary/global_barrier__circular_wait__seed-29.json
new file mode 100644
index 0000000..1ee620c
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__circular_wait__seed-29.json
@@ -0,0 +1,58 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 48,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 720
+    },
+    "3": {
+      "0": 720
+    },
+    "4": {
+      "0": 720
+    },
+    "6": {
+      "0": 720
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 240,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 100,
+      "B": 100,
+      "C": 100
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__circular_wait__seed-29",
+  "source_summary_digest": "c031bcc9c0c5ff63cf800c12fe981e37ba3cb8300ba3e4f668be5d1e1c1efea1",
+  "source_trace_digest": "2712c7b4e7c10502c489a44335565c3c408859e82cf93553f18e807b77eca674",
+  "telemetry_digest": "c7420f19f93daca46a46fa65c09a5e3626aa9d77685f22b9a3e4700f91dde162",
+  "zero_vacancy_cycle_ticks": [
+    0,
+    1,
+    2,
+    3,
+    4,
+    5,
+    6,
+    7,
+    8
+  ]
+}
diff --git a/experiments/E002/results/summary/global_barrier__circular_wait__seed-43.json b/experiments/E002/results/summary/global_barrier__circular_wait__seed-43.json
new file mode 100644
index 0000000..f702537
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__circular_wait__seed-43.json
@@ -0,0 +1,58 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 48,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 720
+    },
+    "3": {
+      "0": 720
+    },
+    "4": {
+      "0": 720
+    },
+    "6": {
+      "0": 720
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 240,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 100,
+      "B": 100,
+      "C": 100
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__circular_wait__seed-43",
+  "source_summary_digest": "fe6524e06912c968997c7f1fdbaa8135c6d8d68ba973fc4fea73401a0bfe5132",
+  "source_trace_digest": "50716f05542600dcade8dc267af9e04c2dd17606a3b0beb74ddf697581c1378f",
+  "telemetry_digest": "62c424dc1b75cb7ee190c8d40a05b75d466ba7413e988d05f34055c64db804c0",
+  "zero_vacancy_cycle_ticks": [
+    0,
+    1,
+    2,
+    3,
+    4,
+    5,
+    6,
+    7,
+    8
+  ]
+}
diff --git a/experiments/E002/results/summary/global_barrier__failed_neighbor__seed-17.json b/experiments/E002/results/summary/global_barrier__failed_neighbor__seed-17.json
new file mode 100644
index 0000000..769a7f3
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__failed_neighbor__seed-17.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 50,
+  "committed_flow_total": 72,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 534,
+      "1": 186
+    },
+    "3": {
+      "0": 511,
+      "1": 209
+    },
+    "4": {
+      "0": 499,
+      "1": 186,
+      "2": 35
+    },
+    "6": {
+      "0": 482,
+      "1": 157,
+      "2": 52,
+      "3": 29
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 560,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 135,
+      "B": 37,
+      "C": 179
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__failed_neighbor__seed-17",
+  "source_summary_digest": "e84a58c21ea3579a0ca96738c81ace9d8a79ce7774e9ec1d5cdadbb9838169cb",
+  "source_trace_digest": "58bb8fc071af79e43d7863118f7185cd972c073d6abb692e991b8b027f60f40c",
+  "telemetry_digest": "f73c199c89e96c5b005fa9210b3d7c4812fc6eddbb3b0a647ee7a02b8e055354",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__failed_neighbor__seed-29.json b/experiments/E002/results/summary/global_barrier__failed_neighbor__seed-29.json
new file mode 100644
index 0000000..ed2c53e
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__failed_neighbor__seed-29.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 50,
+  "committed_flow_total": 72,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 534,
+      "1": 186
+    },
+    "3": {
+      "0": 511,
+      "1": 209
+    },
+    "4": {
+      "0": 499,
+      "1": 186,
+      "2": 35
+    },
+    "6": {
+      "0": 482,
+      "1": 157,
+      "2": 52,
+      "3": 29
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 560,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 135,
+      "B": 37,
+      "C": 179
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__failed_neighbor__seed-29",
+  "source_summary_digest": "deadc9c7bb6f03bb10622180dcc9473c73b52acb2331388b0fa9005a45deede2",
+  "source_trace_digest": "371bcdb31d6be6faf737b656cadd9287827f9b2ca04ad81a7696a585a6b834c4",
+  "telemetry_digest": "889682eee156d7bc716b7c0ba4ab6eb647ef356c2478f2668521be3913e8db46",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__failed_neighbor__seed-43.json b/experiments/E002/results/summary/global_barrier__failed_neighbor__seed-43.json
new file mode 100644
index 0000000..7efff3f
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__failed_neighbor__seed-43.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 50,
+  "committed_flow_total": 72,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 534,
+      "1": 186
+    },
+    "3": {
+      "0": 511,
+      "1": 209
+    },
+    "4": {
+      "0": 499,
+      "1": 186,
+      "2": 35
+    },
+    "6": {
+      "0": 482,
+      "1": 157,
+      "2": 52,
+      "3": 29
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 560,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 135,
+      "B": 37,
+      "C": 179
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__failed_neighbor__seed-43",
+  "source_summary_digest": "76d7ecd39bfcb4a2e26bcb3e90f17b37e3375177791f456ee540d0443bdf1196",
+  "source_trace_digest": "daa94fa0f22e6bd451b0227fc5a6b9510d2600f3ff03870ec7663cc7e3bbb94b",
+  "telemetry_digest": "8dcdeb94ebb1703bf02242e5c82d3a8a592076d2f521e9930e9a392c1c6a7d95",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__malformed_duplicate__seed-17.json b/experiments/E002/results/summary/global_barrier__malformed_duplicate__seed-17.json
new file mode 100644
index 0000000..844e416
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__malformed_duplicate__seed-17.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__malformed_duplicate__seed-17",
+  "source_summary_digest": "8d179a3fb5705dfd8efc7ddc86a5723152e101eef9fff2abd595122efff44076",
+  "source_trace_digest": "1f06be9a357a84417b63f21590bc6b68e7c1f2ad40a57b9f4f38e978e2016bc0",
+  "telemetry_digest": "bf144de7fd57b6d16a3777286a37026d95790bc8580e2d6bdc4eb180c6f56be0",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__malformed_duplicate__seed-29.json b/experiments/E002/results/summary/global_barrier__malformed_duplicate__seed-29.json
new file mode 100644
index 0000000..3851cea
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__malformed_duplicate__seed-29.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__malformed_duplicate__seed-29",
+  "source_summary_digest": "2f41cc067a10b0b0ad5a6bd663557bb217850455479691f60f9d0cd7289cc073",
+  "source_trace_digest": "5326710a89a0c0bf4c34f3d7c9d571b08c57564bb8e680a79a5038cf5785df50",
+  "telemetry_digest": "c71d999f600b85d27566ece75f8e6321a2578fe5b2ef37040fad0c4fa9269c61",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__malformed_duplicate__seed-43.json b/experiments/E002/results/summary/global_barrier__malformed_duplicate__seed-43.json
new file mode 100644
index 0000000..c6958d4
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__malformed_duplicate__seed-43.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__malformed_duplicate__seed-43",
+  "source_summary_digest": "51916931219ea53b524bd4019ae137c682fa0a342c0c7c8b246426bbf051e13b",
+  "source_trace_digest": "e8108bec0b634eedcdbd50ef0616606fa37259d11cce56a4094c05d6bbb734a6",
+  "telemetry_digest": "419e541a22fa4f9bc48aa6bf25bed81a5377494a2a02286325e1bb84b180e433",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__saturated_receiver__seed-17.json b/experiments/E002/results/summary/global_barrier__saturated_receiver__seed-17.json
new file mode 100644
index 0000000..7cf24dc
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__saturated_receiver__seed-17.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 52,
+  "committed_flow_total": 96,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 550,
+      "1": 170
+    },
+    "3": {
+      "0": 537,
+      "1": 183
+    },
+    "4": {
+      "0": 546,
+      "1": 170,
+      "2": 4
+    },
+    "6": {
+      "0": 526,
+      "1": 159,
+      "2": 24,
+      "3": 11
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 712,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 204,
+      "B": 104,
+      "C": 63
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__saturated_receiver__seed-17",
+  "source_summary_digest": "b5d02f59abc4fda6de223b296ba6105e7f47ca4b737f0379a84e90ab7251aae8",
+  "source_trace_digest": "056f6f493c550e48a8a9f62895a6096ba9977cfc47365f8586db9c9ac048593c",
+  "telemetry_digest": "29d054139f14f86f0baff1db21fbfb1b2f1cbae578648a3621d398dea49b6ece",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__saturated_receiver__seed-29.json b/experiments/E002/results/summary/global_barrier__saturated_receiver__seed-29.json
new file mode 100644
index 0000000..aba9ad3
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__saturated_receiver__seed-29.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 52,
+  "committed_flow_total": 96,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 550,
+      "1": 170
+    },
+    "3": {
+      "0": 537,
+      "1": 183
+    },
+    "4": {
+      "0": 546,
+      "1": 170,
+      "2": 4
+    },
+    "6": {
+      "0": 526,
+      "1": 159,
+      "2": 24,
+      "3": 11
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 712,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 204,
+      "B": 104,
+      "C": 63
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__saturated_receiver__seed-29",
+  "source_summary_digest": "5483315c7c438086e3493aea4122e0c70397f40995773f8703104495e2f35584",
+  "source_trace_digest": "cab05ee91a831ee0076781bfbaf610c29676ad047b32b7dd65db3bcbf7fdd0c6",
+  "telemetry_digest": "a6aa62fddb77f0e3b14a772e5793817a74beda52c208f53d67275694af424888",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__saturated_receiver__seed-43.json b/experiments/E002/results/summary/global_barrier__saturated_receiver__seed-43.json
new file mode 100644
index 0000000..05e69d4
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__saturated_receiver__seed-43.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 52,
+  "committed_flow_total": 96,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 550,
+      "1": 170
+    },
+    "3": {
+      "0": 537,
+      "1": 183
+    },
+    "4": {
+      "0": 546,
+      "1": 170,
+      "2": 4
+    },
+    "6": {
+      "0": 526,
+      "1": 159,
+      "2": 24,
+      "3": 11
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 712,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 204,
+      "B": 104,
+      "C": 63
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__saturated_receiver__seed-43",
+  "source_summary_digest": "eb51f98185b4cbf75ef3be9d426fbdc425e194ab6e85a74cfb64dcd5a34f922c",
+  "source_trace_digest": "81bdb35093276c5781528165c19f40546110a17f4b8badc4a6a064f52db584f0",
+  "telemetry_digest": "aa451a7367322475f1b65ebf3750a16ec1f4ab639d109e66ba201ffaaf32ef0f",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__slow_neighbor__seed-17.json b/experiments/E002/results/summary/global_barrier__slow_neighbor__seed-17.json
new file mode 100644
index 0000000..42b442f
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__slow_neighbor__seed-17.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 548,
+      "1": 172
+    },
+    "3": {
+      "0": 515,
+      "1": 205
+    },
+    "4": {
+      "0": 505,
+      "1": 172,
+      "2": 43
+    },
+    "6": {
+      "0": 503,
+      "1": 160,
+      "2": 45,
+      "3": 12
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 664,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 29,
+      "B": 193,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__slow_neighbor__seed-17",
+  "source_summary_digest": "44e276de35c7883ce5a8be27bbb411e6c06ede557a9212f71969067834ac6005",
+  "source_trace_digest": "5451c9f5742beef66d2570aafa083055a54663b25d968795c7681245251ddfcc",
+  "telemetry_digest": "fe6a4211f6c169bd5ba2b7475eeb28b4f6c182ee09dbb912291a4a383e3244ac",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__slow_neighbor__seed-29.json b/experiments/E002/results/summary/global_barrier__slow_neighbor__seed-29.json
new file mode 100644
index 0000000..22656a2
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__slow_neighbor__seed-29.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 548,
+      "1": 172
+    },
+    "3": {
+      "0": 515,
+      "1": 205
+    },
+    "4": {
+      "0": 505,
+      "1": 172,
+      "2": 43
+    },
+    "6": {
+      "0": 503,
+      "1": 160,
+      "2": 45,
+      "3": 12
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 664,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 29,
+      "B": 193,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__slow_neighbor__seed-29",
+  "source_summary_digest": "df847d54abb6d0f747c1b15204972d93c72547a1339b8d6ea480580de2088529",
+  "source_trace_digest": "941895515576421a3e43585ba694e78d89d3022e1f4b755e41cfdd16819f8b73",
+  "telemetry_digest": "344615946261304ad7cc28576e65fa1d08398b7dbf4690e0248ee240086841da",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__slow_neighbor__seed-43.json b/experiments/E002/results/summary/global_barrier__slow_neighbor__seed-43.json
new file mode 100644
index 0000000..3e3f9e5
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__slow_neighbor__seed-43.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 548,
+      "1": 172
+    },
+    "3": {
+      "0": 515,
+      "1": 205
+    },
+    "4": {
+      "0": 505,
+      "1": 172,
+      "2": 43
+    },
+    "6": {
+      "0": 503,
+      "1": 160,
+      "2": 45,
+      "3": 12
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 664,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 29,
+      "B": 193,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__slow_neighbor__seed-43",
+  "source_summary_digest": "81cfbab31e466289d832c76887b2b7000379871cd331b96bbebabce3a1aff556",
+  "source_trace_digest": "7e79540926b1bb42e8cd037bf00d0919e38c3717020fbec31a60ca5d775dd150",
+  "telemetry_digest": "713594a9783043577e65f144be87e2d11ddad3185c9fb04d3b0034f51c166c05",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__stale_feedback__seed-17.json b/experiments/E002/results/summary/global_barrier__stale_feedback__seed-17.json
new file mode 100644
index 0000000..ff857f8
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__stale_feedback__seed-17.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__stale_feedback__seed-17",
+  "source_summary_digest": "8109d0dd25ddbed76d1bf8b342dbb8ea7814f70779670d56946bf45b85769978",
+  "source_trace_digest": "1c46457a86031b6bed8e9a79a4890791567ecf3b46f00dffedcd4d6be1b11067",
+  "telemetry_digest": "02de6f6ddd2b27691cb13bd5e47fbb865f93236810e6244aa5329ebfb97309e1",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__stale_feedback__seed-29.json b/experiments/E002/results/summary/global_barrier__stale_feedback__seed-29.json
new file mode 100644
index 0000000..19792db
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__stale_feedback__seed-29.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__stale_feedback__seed-29",
+  "source_summary_digest": "a2f07750ac986d56984d2875d44d6b5e3de6818634adacb7dd97d62269e21462",
+  "source_trace_digest": "bf400d650e24b89aa962bd44f012e5ed43f7ec76f638ad0ce924c715b6558d88",
+  "telemetry_digest": "c3f3184f6db3539fab0f05c312631ef209ed8479840156aa4e3191c296151847",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/global_barrier__stale_feedback__seed-43.json b/experiments/E002/results/summary/global_barrier__stale_feedback__seed-43.json
new file mode 100644
index 0000000..77f3d67
--- /dev/null
+++ b/experiments/E002/results/summary/global_barrier__stale_feedback__seed-43.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "global_barrier__stale_feedback__seed-43",
+  "source_summary_digest": "13a2ea336f9c64a588c7f73e669043dd38889a9ec90d27d1e3080c182b367eb9",
+  "source_trace_digest": "5dfae6e01b44826cc99fa597c854ecf0e2f4d7e6cb27534607706e52da236035",
+  "telemetry_digest": "811a3a288358f906c51d926faa43db5f0984e4c0d74e70764be1d46ed58d684f",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__balanced__seed-17.json b/experiments/E002/results/summary/local_cbf__balanced__seed-17.json
new file mode 100644
index 0000000..d6ba7d4
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__balanced__seed-17.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__balanced__seed-17",
+  "source_summary_digest": "8e6fe6b5dad2ef94ba2487cac9cff6b65bade02d449c51b8e5d7c0fa078230a7",
+  "source_trace_digest": "f369a406be455af06105ca9e0ee999c48f6f3fcec4312a59de271f526d26afd7",
+  "telemetry_digest": "b2166c23a08eb0534d7a9c23ab80e13033b0ba9021ed949913743a3204d86647",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__balanced__seed-29.json b/experiments/E002/results/summary/local_cbf__balanced__seed-29.json
new file mode 100644
index 0000000..b893716
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__balanced__seed-29.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__balanced__seed-29",
+  "source_summary_digest": "435aa78ff67f0933020e1d723482b0ad1060e71571824ea310ff1839fa7ba267",
+  "source_trace_digest": "71a64d7daf71f386701d5a7e939516e8e66954acef22f458089d9a8371efd315",
+  "telemetry_digest": "d6328414673bb4fcbac5ef161e0449d693b8427986736886385348f57963fdfd",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__balanced__seed-43.json b/experiments/E002/results/summary/local_cbf__balanced__seed-43.json
new file mode 100644
index 0000000..ad6d8ae
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__balanced__seed-43.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__balanced__seed-43",
+  "source_summary_digest": "87538c8616ea93b30f7773bd766dd74e60747a68ff174e39a1abc2717ed08a04",
+  "source_trace_digest": "19c53016ae4d9183dc5c480226ea648dc53248e2501fd2b65cbb36c5c32068ba",
+  "telemetry_digest": "d7e59bf3cda3d14e85855f63e5e8ade55449dbf6174b51fe27c80673e86dcea4",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__burst__seed-17.json b/experiments/E002/results/summary/local_cbf__burst__seed-17.json
new file mode 100644
index 0000000..d3419d4
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__burst__seed-17.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 128,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 604,
+      "1": 116
+    },
+    "3": {
+      "0": 604,
+      "1": 116
+    },
+    "4": {
+      "0": 604,
+      "1": 116
+    },
+    "6": {
+      "0": 604,
+      "1": 116
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 1152,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 135,
+      "B": 140,
+      "C": 141
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__burst__seed-17",
+  "source_summary_digest": "525e5d1d2bfd6b3e08710769c51019f015714adedb19fd488c51f0a07df491a6",
+  "source_trace_digest": "7ab6e51db84216aa0b0e77e580f322059503ff45af0effeaff4f9bea17a3bac2",
+  "telemetry_digest": "753ca89d90765d907cd4981455315c7bff8c75ae1baf4773dc37b2e2eff940f8",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__burst__seed-29.json b/experiments/E002/results/summary/local_cbf__burst__seed-29.json
new file mode 100644
index 0000000..87cb490
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__burst__seed-29.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 128,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 604,
+      "1": 116
+    },
+    "3": {
+      "0": 604,
+      "1": 116
+    },
+    "4": {
+      "0": 604,
+      "1": 116
+    },
+    "6": {
+      "0": 604,
+      "1": 116
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 1152,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 135,
+      "B": 140,
+      "C": 141
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__burst__seed-29",
+  "source_summary_digest": "49decbd0ee4b5fa8601388e8ab1b8ae5b1f984e316085b8e5113e4ea48b7ce13",
+  "source_trace_digest": "602f99a4838e730a123108e113b9bbe54ea3602e8c7f177f58dba398d538563b",
+  "telemetry_digest": "bb4e03be6d962e452395a9e3e39729122504e6ead2783c01f34f8741cb7212b1",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__burst__seed-43.json b/experiments/E002/results/summary/local_cbf__burst__seed-43.json
new file mode 100644
index 0000000..c74df84
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__burst__seed-43.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 128,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 604,
+      "1": 116
+    },
+    "3": {
+      "0": 604,
+      "1": 116
+    },
+    "4": {
+      "0": 604,
+      "1": 116
+    },
+    "6": {
+      "0": 604,
+      "1": 116
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 1152,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 135,
+      "B": 140,
+      "C": 141
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__burst__seed-43",
+  "source_summary_digest": "4687004b6ea2d9014700f00a731a9b4cfb0617c2a18bddf37aac50414df5ece4",
+  "source_trace_digest": "6f87977256c979d0cb7e8eea141bd20c713a66bee17ef5664555d6329b84c0cf",
+  "telemetry_digest": "844fff3a1614d59295ca815e226c8fe824e7bc4bc0895b5953ffbe28c9fae0ef",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__circular_wait__seed-17.json b/experiments/E002/results/summary/local_cbf__circular_wait__seed-17.json
new file mode 100644
index 0000000..de31026
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__circular_wait__seed-17.json
@@ -0,0 +1,109 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 0,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 720
+    },
+    "3": {
+      "0": 720
+    },
+    "4": {
+      "0": 720
+    },
+    "6": {
+      "0": 720
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 144,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 480,
+      "B": 480,
+      "C": 480
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__circular_wait__seed-17",
+  "source_summary_digest": "d3e7aee4c87e5c18317354915bb4f64970a99f5cce6648d60a2290f639cdc281",
+  "source_trace_digest": "63347d9f5e8ed4b5fbbcfc52ac5dcaa1202789d36329b4f302fd704e2c9d57bf",
+  "telemetry_digest": "e05269dd83556a302207db45ed2e8af5270fd34869a67f2aedbf5a69c93ae0cf",
+  "zero_vacancy_cycle_ticks": [
+    0,
+    1,
+    2,
+    3,
+    4,
+    5,
+    6,
+    7,
+    8,
+    9,
+    10,
+    11,
+    12,
+    13,
+    14,
+    15,
+    16,
+    17,
+    18,
+    19,
+    20,
+    21,
+    22,
+    23,
+    24,
+    25,
+    26,
+    27,
+    28,
+    29,
+    30,
+    31,
+    32,
+    33,
+    34,
+    35,
+    36,
+    37,
+    38,
+    39,
+    40,
+    41,
+    42,
+    43,
+    44,
+    45,
+    46,
+    47,
+    48,
+    49,
+    50,
+    51,
+    52,
+    53,
+    54,
+    55,
+    56,
+    57,
+    58,
+    59
+  ]
+}
diff --git a/experiments/E002/results/summary/local_cbf__circular_wait__seed-29.json b/experiments/E002/results/summary/local_cbf__circular_wait__seed-29.json
new file mode 100644
index 0000000..e122fa2
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__circular_wait__seed-29.json
@@ -0,0 +1,109 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 0,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 720
+    },
+    "3": {
+      "0": 720
+    },
+    "4": {
+      "0": 720
+    },
+    "6": {
+      "0": 720
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 144,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 480,
+      "B": 480,
+      "C": 480
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__circular_wait__seed-29",
+  "source_summary_digest": "b21114a56de522b19cca0e9fe14a6609bcc9999f404123c96ffdd1d0f9a6d76e",
+  "source_trace_digest": "43faf65d6891d73e54775242cb502dc0538c5072ef463bce84ebd774868a4356",
+  "telemetry_digest": "2c7451379d6532bc789cba683373ffad551f2a36075b762218d7b755c663edf8",
+  "zero_vacancy_cycle_ticks": [
+    0,
+    1,
+    2,
+    3,
+    4,
+    5,
+    6,
+    7,
+    8,
+    9,
+    10,
+    11,
+    12,
+    13,
+    14,
+    15,
+    16,
+    17,
+    18,
+    19,
+    20,
+    21,
+    22,
+    23,
+    24,
+    25,
+    26,
+    27,
+    28,
+    29,
+    30,
+    31,
+    32,
+    33,
+    34,
+    35,
+    36,
+    37,
+    38,
+    39,
+    40,
+    41,
+    42,
+    43,
+    44,
+    45,
+    46,
+    47,
+    48,
+    49,
+    50,
+    51,
+    52,
+    53,
+    54,
+    55,
+    56,
+    57,
+    58,
+    59
+  ]
+}
diff --git a/experiments/E002/results/summary/local_cbf__circular_wait__seed-43.json b/experiments/E002/results/summary/local_cbf__circular_wait__seed-43.json
new file mode 100644
index 0000000..9b07c66
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__circular_wait__seed-43.json
@@ -0,0 +1,109 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 0,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 720
+    },
+    "3": {
+      "0": 720
+    },
+    "4": {
+      "0": 720
+    },
+    "6": {
+      "0": 720
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 144,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 480,
+      "B": 480,
+      "C": 480
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__circular_wait__seed-43",
+  "source_summary_digest": "2e23d2a3e88824a25f8f5a7b9fce38fe636b9d8b1c89d9e487c9b3b5a8207ca6",
+  "source_trace_digest": "674b6c7966e484c145b9b0a1de5a6a1aa068febd8031c25c379b49e244770a7d",
+  "telemetry_digest": "dd38df1862862e63f4ed746ebcb27926c16234ed0b4e1d1f419e05da1bffb3c4",
+  "zero_vacancy_cycle_ticks": [
+    0,
+    1,
+    2,
+    3,
+    4,
+    5,
+    6,
+    7,
+    8,
+    9,
+    10,
+    11,
+    12,
+    13,
+    14,
+    15,
+    16,
+    17,
+    18,
+    19,
+    20,
+    21,
+    22,
+    23,
+    24,
+    25,
+    26,
+    27,
+    28,
+    29,
+    30,
+    31,
+    32,
+    33,
+    34,
+    35,
+    36,
+    37,
+    38,
+    39,
+    40,
+    41,
+    42,
+    43,
+    44,
+    45,
+    46,
+    47,
+    48,
+    49,
+    50,
+    51,
+    52,
+    53,
+    54,
+    55,
+    56,
+    57,
+    58,
+    59
+  ]
+}
diff --git a/experiments/E002/results/summary/local_cbf__failed_neighbor__seed-17.json b/experiments/E002/results/summary/local_cbf__failed_neighbor__seed-17.json
new file mode 100644
index 0000000..968f2a4
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__failed_neighbor__seed-17.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 8,
+  "committed_flow_total": 72,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 562,
+      "1": 158
+    },
+    "3": {
+      "0": 513,
+      "1": 207
+    },
+    "4": {
+      "0": 518,
+      "1": 158,
+      "2": 44
+    },
+    "6": {
+      "0": 486,
+      "1": 131,
+      "2": 76,
+      "3": 27
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 648,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 246,
+      "B": 37,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__failed_neighbor__seed-17",
+  "source_summary_digest": "74007b4507cd87690112c7fac0ca4d8e642b4c62c45558428d2b23cb884e06a6",
+  "source_trace_digest": "b801adb931cd7f24f89e37016a7a6fdc7f3e18073c1992c58b9fb6417a9e8421",
+  "telemetry_digest": "cc86bcb6b8b8cc0fbadf16a3a24736eb533178bb8bc5d62731619aa5387b6d8f",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__failed_neighbor__seed-29.json b/experiments/E002/results/summary/local_cbf__failed_neighbor__seed-29.json
new file mode 100644
index 0000000..fafeebb
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__failed_neighbor__seed-29.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 8,
+  "committed_flow_total": 72,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 562,
+      "1": 158
+    },
+    "3": {
+      "0": 513,
+      "1": 207
+    },
+    "4": {
+      "0": 518,
+      "1": 158,
+      "2": 44
+    },
+    "6": {
+      "0": 486,
+      "1": 131,
+      "2": 76,
+      "3": 27
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 648,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 246,
+      "B": 37,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__failed_neighbor__seed-29",
+  "source_summary_digest": "642a7b518d9419ee6e0577c999a5aaf58fd6eb8b0bded7ff59fa5998bf9bad5d",
+  "source_trace_digest": "a30d3153e0549aeaa79272a49d0f006af4e6330bb188f60ebe8169726337a9a9",
+  "telemetry_digest": "a51d7090c379c672bcbcfe7b40d17544c3736cb3d2773353d6358721d420c9da",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__failed_neighbor__seed-43.json b/experiments/E002/results/summary/local_cbf__failed_neighbor__seed-43.json
new file mode 100644
index 0000000..b2137f9
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__failed_neighbor__seed-43.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 7,
+  "committed_flow_total": 70,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 558,
+      "1": 162
+    },
+    "3": {
+      "0": 518,
+      "1": 202
+    },
+    "4": {
+      "0": 517,
+      "1": 162,
+      "2": 41
+    },
+    "6": {
+      "0": 489,
+      "1": 133,
+      "2": 69,
+      "3": 29
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 630,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 238,
+      "B": 34,
+      "C": 24
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__failed_neighbor__seed-43",
+  "source_summary_digest": "e5e61caf4f560b5e48f92f54a6b12fcb2185675299a3009879d65c61267453f9",
+  "source_trace_digest": "252ed7871228a70b1c10d987929df626657800ca9c1db97701bf59a6f63ee1ea",
+  "telemetry_digest": "d079f0923185754f10d5c2570ac6e04e267b668c606c238f670b4c1f1caa8d27",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__malformed_duplicate__seed-17.json b/experiments/E002/results/summary/local_cbf__malformed_duplicate__seed-17.json
new file mode 100644
index 0000000..1d8b591
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__malformed_duplicate__seed-17.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__malformed_duplicate__seed-17",
+  "source_summary_digest": "231cfec60ac7e8a58b94c72cc4ea4977c5185163a10317d5729ba29c0cac3781",
+  "source_trace_digest": "a83f4f9c124d43130c96386c894ac4bd6bcea2513e953b152ecdf2ff563a5ac8",
+  "telemetry_digest": "ab981d85d5c88b811ff99202c7f88c7a34788036b182af83bf46c43b3e5f27ef",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__malformed_duplicate__seed-29.json b/experiments/E002/results/summary/local_cbf__malformed_duplicate__seed-29.json
new file mode 100644
index 0000000..643d644
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__malformed_duplicate__seed-29.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__malformed_duplicate__seed-29",
+  "source_summary_digest": "e95be97fece49ebc5acb27120ce89ea37293db34f1feef53c54043abb1011f59",
+  "source_trace_digest": "b49c65a26c670da254768cd3b84b4b2310350b31f88624752f79d3fdd972b844",
+  "telemetry_digest": "060a07df8ef427a491cc3c63ecb9363e534ce4affea73d9a4c1d835ce6577ffe",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__malformed_duplicate__seed-43.json b/experiments/E002/results/summary/local_cbf__malformed_duplicate__seed-43.json
new file mode 100644
index 0000000..cf1b036
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__malformed_duplicate__seed-43.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__malformed_duplicate__seed-43",
+  "source_summary_digest": "9c17d9902b636369017f1a02420ce93711a2abe5b30812d6a2874ad2776466e2",
+  "source_trace_digest": "5561473b2bed48826ddc4d9b1f1d0666d64275c48a725a147a068bfc682c4d3f",
+  "telemetry_digest": "84434ec7a2c8fe88a52e77ea577545d30eae072ce1ea8551d0e4ec91fc373f1c",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__saturated_receiver__seed-17.json b/experiments/E002/results/summary/local_cbf__saturated_receiver__seed-17.json
new file mode 100644
index 0000000..3858cf8
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__saturated_receiver__seed-17.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 25,
+  "committed_flow_total": 94,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 546,
+      "1": 174
+    },
+    "3": {
+      "0": 526,
+      "1": 194
+    },
+    "4": {
+      "0": 520,
+      "1": 174,
+      "2": 26
+    },
+    "6": {
+      "0": 512,
+      "1": 160,
+      "2": 34,
+      "3": 14
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 846,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 211,
+      "B": 44,
+      "C": 39
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__saturated_receiver__seed-17",
+  "source_summary_digest": "7aa6c1f4f975388820ee2e5ee9e2bac7d0c7e4c2e0f571cd06032211c5ce38a7",
+  "source_trace_digest": "eab0bf6b5cbbf45f08a11a108f1fc2d545ecbe881c06590e519e6643b0caf95e",
+  "telemetry_digest": "6833342959f5572e69cb7fc0537cfff67f51b3a51af1c612f296b7272587ca0e",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__saturated_receiver__seed-29.json b/experiments/E002/results/summary/local_cbf__saturated_receiver__seed-29.json
new file mode 100644
index 0000000..bc5935a
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__saturated_receiver__seed-29.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 25,
+  "committed_flow_total": 94,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 546,
+      "1": 174
+    },
+    "3": {
+      "0": 526,
+      "1": 194
+    },
+    "4": {
+      "0": 520,
+      "1": 174,
+      "2": 26
+    },
+    "6": {
+      "0": 512,
+      "1": 160,
+      "2": 34,
+      "3": 14
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 846,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 211,
+      "B": 44,
+      "C": 39
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__saturated_receiver__seed-29",
+  "source_summary_digest": "bd65920a160e3cf16bfb0a6481efff2c040783f400997318ea83406bb0a5d10b",
+  "source_trace_digest": "f820407b5558a6e8ced2072cd83d6f90acd1606e4a14d198b1094602608f7d5d",
+  "telemetry_digest": "0f977aaaa0e2f62e250e9110482c594b6bb1d3f9afa16b0a728abfa7a5b3ee8f",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__saturated_receiver__seed-43.json b/experiments/E002/results/summary/local_cbf__saturated_receiver__seed-43.json
new file mode 100644
index 0000000..1cb56a4
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__saturated_receiver__seed-43.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 25,
+  "committed_flow_total": 94,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 546,
+      "1": 174
+    },
+    "3": {
+      "0": 526,
+      "1": 194
+    },
+    "4": {
+      "0": 520,
+      "1": 174,
+      "2": 26
+    },
+    "6": {
+      "0": 512,
+      "1": 160,
+      "2": 34,
+      "3": 14
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 846,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 211,
+      "B": 44,
+      "C": 39
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__saturated_receiver__seed-43",
+  "source_summary_digest": "2411600691c8e58f1d33c5cde190fe4652197a359fe79b8aac861b507fe588f9",
+  "source_trace_digest": "64521570f04d3bd493f6573286a2082cd4df74ddc3bcf6d14c4007be750d9443",
+  "telemetry_digest": "39175b8fc3925ec1f92b7da100c3129f2394da53d38c0dd404a916152002815e",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__slow_neighbor__seed-17.json b/experiments/E002/results/summary/local_cbf__slow_neighbor__seed-17.json
new file mode 100644
index 0000000..e5f22d8
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__slow_neighbor__seed-17.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 548,
+      "1": 172
+    },
+    "3": {
+      "0": 515,
+      "1": 205
+    },
+    "4": {
+      "0": 505,
+      "1": 172,
+      "2": 43
+    },
+    "6": {
+      "0": 503,
+      "1": 160,
+      "2": 45,
+      "3": 12
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 29,
+      "B": 193,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__slow_neighbor__seed-17",
+  "source_summary_digest": "a2decb806f6c77e8082d2efc429a50d2d53c9d213392cc9357ffb839d00f264a",
+  "source_trace_digest": "a1798e337e26094acb72fc0e8cd7b3bce633c99b8d4fd42f587e0d5c7b248ab4",
+  "telemetry_digest": "2327eac8239269f74278e0c6bfc44b7bc7fc8c5bf9040b3954be74b8ac223126",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__slow_neighbor__seed-29.json b/experiments/E002/results/summary/local_cbf__slow_neighbor__seed-29.json
new file mode 100644
index 0000000..0631d8e
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__slow_neighbor__seed-29.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 548,
+      "1": 172
+    },
+    "3": {
+      "0": 515,
+      "1": 205
+    },
+    "4": {
+      "0": 505,
+      "1": 172,
+      "2": 43
+    },
+    "6": {
+      "0": 503,
+      "1": 160,
+      "2": 45,
+      "3": 12
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 29,
+      "B": 193,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__slow_neighbor__seed-29",
+  "source_summary_digest": "7acde8ffc939328ce606ab5deaf87bf1b0064de21580862a6dfdaefecc68b6c7",
+  "source_trace_digest": "7d37f0fd85793d3102c8fe9258e0ab31fd7e49c0b20b63449afe29e3860ea0f4",
+  "telemetry_digest": "94a8d34c46fcbb874bdfe79d793415a5c5c720cdd3125cf2beb5532f9bcea6db",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__slow_neighbor__seed-43.json b/experiments/E002/results/summary/local_cbf__slow_neighbor__seed-43.json
new file mode 100644
index 0000000..e574e95
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__slow_neighbor__seed-43.json
@@ -0,0 +1,55 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 548,
+      "1": 172
+    },
+    "3": {
+      "0": 515,
+      "1": 205
+    },
+    "4": {
+      "0": 505,
+      "1": 172,
+      "2": 43
+    },
+    "6": {
+      "0": 503,
+      "1": 160,
+      "2": 45,
+      "3": 12
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 29,
+      "B": 193,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__slow_neighbor__seed-43",
+  "source_summary_digest": "17dfe67fde2117b5815c6ed2c3739590a8b60fd6509e14f17a428bd9306427fb",
+  "source_trace_digest": "6f40b533c63dc40f45d0e6a2b89734096ea5e8f4d30a61b0c02ad80b5c98311e",
+  "telemetry_digest": "bbe09693892e05f44c7901cebe0dc3c61fffde03b3abd7e2e6eac990e64f39dd",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__stale_feedback__seed-17.json b/experiments/E002/results/summary/local_cbf__stale_feedback__seed-17.json
new file mode 100644
index 0000000..e844439
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__stale_feedback__seed-17.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__stale_feedback__seed-17",
+  "source_summary_digest": "d5b805dd8c881db72df3c587bbf364bc516b412fb37a3953093dffd978cb31ff",
+  "source_trace_digest": "4677d228f284417188d20b0f91dd380c786c2bd188dcdcb2d0c684d32cf22db7",
+  "telemetry_digest": "c7ffa99d33901b7aeb1b24e789da51c913a9e04ad3d0677cd04b9b5ff78797c7",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__stale_feedback__seed-29.json b/experiments/E002/results/summary/local_cbf__stale_feedback__seed-29.json
new file mode 100644
index 0000000..f4056dd
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__stale_feedback__seed-29.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__stale_feedback__seed-29",
+  "source_summary_digest": "524026bd29f1a2211856a4dc8964c9cf3fb307a4db647628528aa75c51d36247",
+  "source_trace_digest": "f34a0be3638975ef4137c40a579bcde62bae4491f214b34ddfb8353fae3e30f2",
+  "telemetry_digest": "6daf75e374ff6ca188a2bbf3aa88678a43c2ba2ede16d7456ec414771f41e647",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/E002/results/summary/local_cbf__stale_feedback__seed-43.json b/experiments/E002/results/summary/local_cbf__stale_feedback__seed-43.json
new file mode 100644
index 0000000..6fec76a
--- /dev/null
+++ b/experiments/E002/results/summary/local_cbf__stale_feedback__seed-43.json
@@ -0,0 +1,52 @@
+{
+  "candidate_flow_positive_records": 0,
+  "committed_flow_total": 80,
+  "hard_invariants": {
+    "I1": "pass",
+    "I10": "pass",
+    "I2": "pass",
+    "I3": "pass",
+    "I4": "pass",
+    "I5": "pass",
+    "I6": "pass",
+    "I7": "pass",
+    "I8": "pass",
+    "I9": "pass"
+  },
+  "phase_distance_distributions": {
+    "2": {
+      "0": 560,
+      "1": 160
+    },
+    "3": {
+      "0": 560,
+      "1": 160
+    },
+    "4": {
+      "0": 560,
+      "1": 160
+    },
+    "6": {
+      "0": 560,
+      "1": 160
+    }
+  },
+  "reconstruction": {
+    "accounting_checks": 720,
+    "active_at_end": 0,
+    "occupancy_time": {
+      "A": 26,
+      "B": 27,
+      "C": 27
+    },
+    "outstanding_obligations_at_end": 0,
+    "status": "pass"
+  },
+  "record_count": 2880,
+  "schema_version": "e002.run-summary.v1",
+  "source_run_id": "local_cbf__stale_feedback__seed-43",
+  "source_summary_digest": "e5e3ed9edde04198731d82ffd1d32956c145c7de91dc9506a60c0ec91b18ed14",
+  "source_trace_digest": "2b60edebb9b26d72fa8ac6f4f96279b3a5dba5efb3fe7221358eda41984ef4bb",
+  "telemetry_digest": "dbb82f2cbd43a1b7a8bebef1ca1aeea376e349a6ec3ee3998ad41e47a3412495",
+  "zero_vacancy_cycle_ticks": []
+}
diff --git a/experiments/README.md b/experiments/README.md
index fc8aae4..62ddacf 100644
--- a/experiments/README.md
+++ b/experiments/README.md
@@ -50,7 +50,7 @@ The local CBF configuration preserved all hard invariants and reduced fault radi
 
 ## E002 — Noncausal Pneumatic Instrumentation
 
-**Status:** [Implemented — evidence pending](E002/EXPERIMENT__E002__NONCAUSAL_PNEUMATIC_INSTRUMENTATION__v0.1__2026-07-14.md)
+**Status:** [Completed — Narrow / E4-scoped](E002/results/reports/E002__STAGE_B_RESULTS__v0.1__2026-07-14.md)
 
 **Registry ID:** `SW.EXPERIMENT.E002`
 
@@ -68,4 +68,4 @@ The dependency-free replayer verifies the frozen archive and embedded digests wi
 
 ### Exit
 
-Classify the instrumentation as retain, narrow, revise, or reject. No outcome automatically authorizes a causal constitutive layer.
+The exact reconstruction and typed observability layer are retained, but H4 was not supported. Candidate flow was weak for transfer prediction, worse than congestion for denial prediction, and redundant with congestion for stall prediction. The experiment is classified **Narrow** and does not authorize causal Stage C.
diff --git a/registry/CONCEPT_REGISTRY.md b/registry/CONCEPT_REGISTRY.md
index 9d25620..8689d99 100644
--- a/registry/CONCEPT_REGISTRY.md
+++ b/registry/CONCEPT_REGISTRY.md
@@ -12,7 +12,7 @@ This registry is the identity and status index for foundational Superloop concep
 | `SW.PROTOTYPE.BPE` | Biological Pneumatic Engine | Prototyped / archived input | E2-limited | Recovered PDP v2 prototype; not a Superloop runtime dependency |
 | `SW.BRIDGE.CBF_PNEUMATIC` | CBF–Pneumatic Bridge | Formalized | E1 | Controlled synthesis: CBF constitution plus optional pneumatic dynamics |
 | `SW.EXPERIMENT.E001` | Three-Ring Bounded Flow | Completed | E4-scoped | Repeated 72-run Python 3.13 comparison; result is limited to the declared three-ring model |
-| `SW.EXPERIMENT.E002` | Noncausal Pneumatic Instrumentation | Implemented / evidence pending | E2 | Offline Stage B replay of E001 with exact read-only field telemetry |
+| `SW.EXPERIMENT.E002` | Noncausal Pneumatic Instrumentation | Completed / Narrow | E4-scoped | Exact typed telemetry retained; fixed scalar flow law did not meet diagnostic usefulness threshold |
 
 ## Naming rule