diff --git a/REPOSITORY_READINESS.md b/REPOSITORY_READINESS.md index 61fd2bb..abd550e 100644 --- a/REPOSITORY_READINESS.md +++ b/REPOSITORY_READINESS.md @@ -53,8 +53,17 @@ This checklist separates repository operations from architectural and ownership ## Current critical path -1. Implement the discrete three-ring observation chamber. -2. Map tests to the ten E001 hard invariants. -3. Run and preserve the 72-run canonical matrix. -4. Analyze directed evidence and emergent observations separately. -5. Decide whether to proceed to noncausal pneumatic instrumentation. +1. Review and preserve the E001 Stage A result as scoped E4 evidence. +2. Freeze a Stage B specification for noncausal pneumatic observables. +3. Retain Stage A configurations as controls during Stage B. +4. Test the zero-vacancy circulation boundary in a separate experiment or E001 v0.2. +5. Keep any causal exchange or escrow mechanism outside E001 v0.1. + +## E001 Stage A completion + +- [x] Discrete three-ring observation chamber implemented +- [x] Tests mapped to the E001 invariant families +- [x] Canonical 72-run matrix repeated under Python 3.13 +- [x] Raw evidence, summaries, provenance, and checksum preserved +- [x] Directed results and emergent observations separated +- [x] Exit decision recorded: proceed with noncausal Stage B instrumentation diff --git a/experiments/E001/observations/E001__OBSERVATION__FULL_RING_CIRCULATION_ASYMMETRY__v0.1__2026-07-14.md b/experiments/E001/observations/E001__OBSERVATION__FULL_RING_CIRCULATION_ASYMMETRY__v0.1__2026-07-14.md new file mode 100644 index 0000000..eeac5bd --- /dev/null +++ b/experiments/E001/observations/E001__OBSERVATION__FULL_RING_CIRCULATION_ASYMMETRY__v0.1__2026-07-14.md @@ -0,0 +1,71 @@ +# E001 Observation O001 — Full-Ring Circulation Asymmetry + +**Artifact class:** Emergent observation +**Version:** v0.1 +**Date:** 2026-07-14 +**Status:** Seed +**Evidence class:** E0 +**Originating experiment:** `SW.EXPERIMENT.E001` +**Source commit:** `81e7f859f71425bdba7603a61566f9fb47c116f9` + +## Observation before interpretation + +In canonical scenario S6, every loop begins at capacity with eight processed items waiting for its clockwise neighbor. For all three seeds: + +- central scheduling completed all 24 items with 96 coordination events; +- the global barrier completed all 24 items with 96 coordination events; and +- local CBF completed no items, emitted 540 coordination events, waited 60 ticks, and expired all 24 items accountably. + +The relevant interval is simulation ticks 0–60 in runs: + +- `local_cbf__circular_wait__seed-17`; +- `local_cbf__circular_wait__seed-29`; and +- `local_cbf__circular_wait__seed-43`. + +The canonical traces are preserved in the [E001 evidence archive](../results/raw/E001__CANONICAL_EVIDENCE__81e7f859f71425bdba7603a61566f9fb47c116f9.tar.gz), and the extracted machine summaries are in the [summary directory](../results/summary/). + +## Ordinary explanations + +The most direct explanation is representational rather than thermodynamic: + +- central and global configurations can commit an atomic batch whose outgoing movements create the capacity needed for incoming movements; +- local CBF evaluates each edge through strict receiver-issued free-capacity credit; +- with occupancy 8 of 8 everywhere, every receiver advertises zero free capacity; and +- no first local transfer can create the vacancy needed by the next transfer. + +Other explanations considered: + +- **Seed dependence:** unlikely within E001; all three seeds produced identical terminal behavior. +- **Nondeterminism:** rejected by the repeated canonical matrix; traces and summaries matched byte for byte. +- **Event-order artifact:** still plausible in the broader sense that local commits are sequential rather than simultaneous, but rotating consideration order did not change the result. +- **Implementation defect:** no hard invariant failed, ledgers balanced, and the behavior follows the frozen credit rule. + +## Noncanonical perturbation + +A local exploratory perturbation removed one preloaded item, leaving one free slot in the field. This was not part of the canonical matrix and was run only to discriminate the boundary. + +| Configuration | Admitted | Completed | Maximum wait | +| --- | ---: | ---: | ---: | +| Central | 23 | 23 | 0 | +| Global barrier | 23 | 23 | 0 | +| Local CBF | 23 | 23 | 1 | + +The perturbation suggests a sharp zero-vacancy circulation cliff: one free slot is sufficient for the current local protocol to drain the ring. Because the perturbation was not frozen in advance and used the local exploratory runtime, it remains E0 context and is not promoted as E001 evidence. + +## Possible significance + +The result may distinguish two meanings of capacity: + +1. **static free capacity**, which the current local credit represents; and +2. **capacity released by a committed cyclic exchange**, which requires multi-edge coordination or escrow. + +A pressure-like observable could detect the symmetric fully saturated state, but detection alone cannot safely authorize movement. Any mechanism that converts that signal into a cyclic swap would be a new causal primitive rather than passive pneumatic instrumentation. + +## Smallest proposed discriminating tests + +1. Freeze a vacancy sweep from zero through three free slots while holding total work and topology constant. +2. Repeat the sweep on four- and five-loop rings to separate three-node symmetry from zero-vacancy behavior. +3. Compare strict local credit with an explicitly specified cyclic escrow protocol. +4. Instrument pressure potential as a read-only signal and verify that it predicts the cliff without changing any transition. + +These tests belong in a new experiment or E001 v0.2. They must not alter the canonical E001 v0.1 result. diff --git a/experiments/E001/observations/README.md b/experiments/E001/observations/README.md index 7597710..d630004 100644 --- a/experiments/E001/observations/README.md +++ b/experiments/E001/observations/README.md @@ -13,5 +13,6 @@ Each observation should identify: Observations begin as Seed / E0 claims. They do not change E001 metrics, success conditions, or architecture retroactively. -No emergent observations have been recorded yet. +## Recorded observations +- [O001 — Full-Ring Circulation Asymmetry](E001__OBSERVATION__FULL_RING_CIRCULATION_ASYMMETRY__v0.1__2026-07-14.md) — Seed / E0 diff --git a/experiments/E001/results/README.md b/experiments/E001/results/README.md index b651919..817d117 100644 --- a/experiments/E001/results/README.md +++ b/experiments/E001/results/README.md @@ -12,5 +12,15 @@ Each result set must identify the experiment-specification version, source commi Generated evidence must not be edited by hand. Corrections require a new run identifier and preserved supersession note. -No canonical evidence has been produced yet. +## Canonical Stage A evidence +The first canonical matrix was generated from source commit `81e7f859f71425bdba7603a61566f9fb47c116f9` by [GitHub Actions run 29305465071](https://github.com/AUo959/superloop-workshop/actions/runs/29305465071) using CPython 3.13.14. + +- [Compressed raw evidence](raw/E001__CANONICAL_EVIDENCE__81e7f859f71425bdba7603a61566f9fb47c116f9.tar.gz) +- [Archive checksum](raw/E001__CANONICAL_EVIDENCE__81e7f859f71425bdba7603a61566f9fb47c116f9.tar.gz.sha256) +- [Per-run summaries](summary/) +- [Matrix manifest](summary/MATRIX_MANIFEST__E001__81e7f859.json) +- [Provenance record](summary/PROVENANCE__E001__81e7f859.json) +- [Stage A report](reports/E001__STAGE_A_RESULTS__v0.1__2026-07-14.md) + +The archive SHA-256 is `584cc15bfeb3cc74dec9d9069cde26e1abaa6f1350c0aa12ae10a9784bd1663b`. diff --git a/experiments/E001/results/raw/E001__CANONICAL_EVIDENCE__81e7f859f71425bdba7603a61566f9fb47c116f9.tar.gz b/experiments/E001/results/raw/E001__CANONICAL_EVIDENCE__81e7f859f71425bdba7603a61566f9fb47c116f9.tar.gz new file mode 100644 index 0000000..e8d67cd Binary files /dev/null and b/experiments/E001/results/raw/E001__CANONICAL_EVIDENCE__81e7f859f71425bdba7603a61566f9fb47c116f9.tar.gz differ diff --git a/experiments/E001/results/raw/E001__CANONICAL_EVIDENCE__81e7f859f71425bdba7603a61566f9fb47c116f9.tar.gz.sha256 b/experiments/E001/results/raw/E001__CANONICAL_EVIDENCE__81e7f859f71425bdba7603a61566f9fb47c116f9.tar.gz.sha256 new file mode 100644 index 0000000..94daa37 --- /dev/null +++ b/experiments/E001/results/raw/E001__CANONICAL_EVIDENCE__81e7f859f71425bdba7603a61566f9fb47c116f9.tar.gz.sha256 @@ -0,0 +1 @@ +584cc15bfeb3cc74dec9d9069cde26e1abaa6f1350c0aa12ae10a9784bd1663b E001__CANONICAL_EVIDENCE__81e7f859f71425bdba7603a61566f9fb47c116f9.tar.gz diff --git a/experiments/E001/results/reports/E001__STAGE_A_RESULTS__v0.1__2026-07-14.md b/experiments/E001/results/reports/E001__STAGE_A_RESULTS__v0.1__2026-07-14.md new file mode 100644 index 0000000..dc0f8d2 --- /dev/null +++ b/experiments/E001/results/reports/E001__STAGE_A_RESULTS__v0.1__2026-07-14.md @@ -0,0 +1,138 @@ +# E001 Stage A Results — Three-Ring Bounded Flow + +**Artifact class:** Comparative experiment report +**Version:** v0.1 +**Date:** 2026-07-14 +**Status:** Completed +**Evidence class:** E4 within the declared E001 model +**Experiment:** `SW.EXPERIMENT.E001` +**Exit decision:** **Proceed** to noncausal Stage B instrumentation + +## 1. Result in one sentence + +The local CBF configuration preserved every hard invariant and contained a failed neighbor more locally than the global barrier, but it paid substantially higher coordination cost and could not circulate an exactly full ring without a free receiver slot. + +This is evidence about the frozen three-loop simulator only. It is not evidence of physical thermodynamic equivalence, production-scale performance, or superiority to mature distributed systems. + +## 2. Canonical evidence identity + +| Property | Value | +| --- | --- | +| Source commit | [`81e7f859f71425bdba7603a61566f9fb47c116f9`](https://github.com/AUo959/superloop-workshop/commit/81e7f859f71425bdba7603a61566f9fb47c116f9) | +| GitHub Actions run | [`29305465071`](https://github.com/AUo959/superloop-workshop/actions/runs/29305465071) | +| Runtime | CPython 3.13.14 | +| Specification SHA-256 | `b3552734244244699114dee7710b030c9ec584262c13bef97961008b375faa60` | +| Configuration SHA-256 | `c95b449048b620d2a6a866ff43db675b085951086710828fe03391f268012d11` | +| Matrix-manifest digest | `4ae44e0f3e0029f9f124b2f30ee28f5d83e476cd5135f1f5233930424ac3fe42` | +| Canonical archive SHA-256 | `584cc15bfeb3cc74dec9d9069cde26e1abaa6f1350c0aa12ae10a9784bd1663b` | +| Runs | 72 | +| Repeated executions | 72 | +| Determinism mismatches | 0 | +| Invalid runs | 0 | +| Workload-equivalence mismatches | 0 | + +The repository preserves the [compressed canonical evidence](../raw/E001__CANONICAL_EVIDENCE__81e7f859f71425bdba7603a61566f9fb47c116f9.tar.gz), its [checksum](../raw/E001__CANONICAL_EVIDENCE__81e7f859f71425bdba7603a61566f9fb47c116f9.tar.gz.sha256), all [run summaries](../summary/), the [matrix manifest](../summary/MATRIX_MANIFEST__E001__81e7f859.json), and the [provenance record](../summary/PROVENANCE__E001__81e7f859.json). + +## 3. Validity gate + +Stage A passes its predeclared validity gate: + +- all 72 runs produced byte-identical traces and summaries when repeated; +- all configurations consumed equivalent canonical workloads; +- maximum recorded occupancy was 8, equal to declared capacity; +- no run ended with active work or unresolved obligations; +- no run authorized stale feedback or duplicated promotion; +- provenance completeness was 100% for every promoted item; and +- every hard-invariant count was zero. + +No failed or unfavorable run was removed from the matrix. + +## 4. Hypothesis disposition + +| Hypothesis | Disposition | Evidence | +| --- | --- | --- | +| H1 — Bounded admission | Supported | Occupancy never exceeded 8; all ledgers balanced; all work reached an accountable state. | +| H2 — Local fault containment | Supported for failed-neighbor S5; not discriminated by slow-neighbor S4 | In S5, local CBF had fault radius 1 and 15 healthy-progress ticks versus radius 2 and 10 ticks for the global barrier across all seeds. All configurations tied in S4. | +| H3 — Reciprocal accountability | Supported | Every stale replay was rejected, malformed and duplicate offers were terminally classified, duplicate promotion remained zero, and provenance remained complete. | +| H4 — Coordination tradeoff | Supported with material cost and a saturation boundary | Obligations remained bounded and waits terminated accountably, but local CBF used more coordination events and expired the exactly full circular workload. | + +## 5. Directed comparisons + +### 5.1 Failed neighbor + +Values separated by `/` correspond to seeds 17, 29, and 43. + +| Configuration | Completed | Healthy-progress ticks | Fault radius | Maximum wait | Coordination events | +| --- | ---: | ---: | ---: | ---: | ---: | +| Central | 35 / 35 / 35 | 15 / 15 / 15 | 1 / 1 / 1 | 37 / 37 / 37 | 179 / 179 / 179 | +| Global barrier | 36 / 36 / 36 | 10 / 10 / 10 | 2 / 2 / 2 | 40 / 40 / 40 | 219 / 219 / 219 | +| Local CBF | 36 / 36 / 35 | 15 / 15 / 15 | 1 / 1 / 1 | 37 / 37 / 37 | 411 / 411 / 397 | + +Local CBF matches the central baseline's containment measurements and improves on the global barrier's fault radius and healthy progress. It does not outperform the central baseline, and its coordination cost is more than twice the central count in this scenario. + +### 5.2 Normal and burst load + +All configurations completed all offered work with equal simulated throughput under balanced and burst load. Local CBF used 320 coordination events instead of 160 for balanced load and 512 instead of 256 for burst load. The additional protocol work produced no throughput advantage in these cases. + +### 5.3 Slow neighbor + +All configurations completed 40 items with 33 healthy-progress ticks, fault radius 0, recovery time 0, and maximum wait 0 for every seed. S4 is therefore non-discriminating at the frozen load and service parameters. Local CBF still used 320 coordination events versus 160 for each baseline. + +### 5.4 Exactly full circular workload + +| Configuration | Completed | Expired | Maximum wait | Coordination events | +| --- | ---: | ---: | ---: | ---: | +| Central | 24 | 0 | 0 | 96 | +| Global barrier | 24 | 0 | 0 | 96 | +| Local CBF | 0 | 24 | 60 | 540 | + +The central and global configurations can atomically rotate a capacity-neutral batch. The local configuration requires positive receiver credit at each edge and therefore cannot initiate movement when every receiver has zero free capacity. The 24 local items remain bounded and reach the predeclared `expired_deadline` state, so the result is a liveness limitation rather than a safety violation. + +This asymmetry is preserved separately as [Observation O001](../../observations/E001__OBSERVATION__FULL_RING_CIRCULATION_ASYMMETRY__v0.1__2026-07-14.md). + +## 6. Interpretation + +The primary E001 question receives a scoped **yes**: three local interlocks can maintain bounded occupancy and accountable progress without a central scheduler, and they contain the declared failed neighbor more locally than the global barrier. + +The result is not a general performance win. The central scheduler remains a strong baseline, the slow-neighbor case did not separate the designs, and local CBF consistently spent more protocol events. The architectural value observed here is local authority and fault containment, not throughput. + +The exactly full ring also exposes a constitutional choice. Strict receiver-issued credits forbid a transfer with no free destination capacity, even when a globally visible rotation would conserve every loop's occupancy. Adding an atomic exchange, escrowed circulation credit, or unrestricted bypass would change the causal contract and requires a new specification version. + +## 7. Exit decision + +**Proceed** to Stage B, with the following boundary: + +- pressure, resistance, conductance, flow potential, and phase may be instrumented as derived observables; +- those observables may not authorize a transfer, create credit, override capacity, or bypass provenance; +- Stage B must retain the Stage A configurations as controls; +- full-ring liveness must not be retroactively added to E001 v0.1; and +- any causal circulation mechanism must be proposed and tested under a new experiment or specification version. + +Proceed is chosen because the model is valid, H2 has positive comparative evidence under failure, and the circular workload terminated exactly as the frozen specification permitted. The result would change to **revise** if Stage B requires full-ring circulation as a mandatory property rather than an observable limitation. + +## 8. Limitations + +- The topology has only three loops and one direction. +- The baselines are experimental models, not production implementations. +- Central and global configurations have atomic batch visibility that local CBF deliberately lacks. +- Seeds affect deterministic consideration order but do not create stochastic service or workload variation. +- Service, deadlines, and faults are discrete and scheduled. +- No network, process, clock, storage, or physical pneumatic behavior is measured. +- E4 applies only to the declared simulated faults and malformed inputs; there is no independent replication. + +## 9. Reproduction + +After checking out the exact source commit shown above, generate the evidence tree with: + +```bash +PYTHONPATH=src python tools/generate_e001_evidence.py \ + --output build/e001-canonical \ + --source-commit 81e7f859f71425bdba7603a61566f9fb47c116f9 +``` + +Verify the preserved archive from `experiments/E001/results/raw/` with: + +```bash +sha256sum --check \ + E001__CANONICAL_EVIDENCE__81e7f859f71425bdba7603a61566f9fb47c116f9.tar.gz.sha256 +``` diff --git a/experiments/E001/results/summary/MATRIX_MANIFEST__E001__81e7f859.json b/experiments/E001/results/summary/MATRIX_MANIFEST__E001__81e7f859.json new file mode 100644 index 0000000..bf84e7e --- /dev/null +++ b/experiments/E001/results/summary/MATRIX_MANIFEST__E001__81e7f859.json @@ -0,0 +1,83 @@ +{ + "determinism_mismatches": [], + "expected_run_count": 72, + "invalid_run_ids": [], + "run_count": 72, + "run_summary_digests": { + "central__balanced__seed-17": "e67091614482c9dd844eac00de1bc114eaf5597c862236f13cda69e43523cab4", + "central__balanced__seed-29": "2facfe0e443c237001511b9e421e4f1373b6447697f14990cce951975533d303", + "central__balanced__seed-43": "dcfedb14997ebda944a8a1956b2735b869e9ef5b4e0936ab68ca7d85790b5468", + "central__burst__seed-17": "9d86b2a68beb92d841eb647c274c1279e25174cd8586918c050c56e967a93782", + "central__burst__seed-29": "431a27cedac08a40aee048619f9c019686cbc7e016271b958948dc4ad9247032", + "central__burst__seed-43": "aa54b091ca2be4aeb4fc70985dd8274b9568e55f3b8ffc722039b85ef6261ec2", + "central__circular_wait__seed-17": "aca0781bdfdf0879c8c5610bea14289762c5eead2d83d88636997574787f9db0", + "central__circular_wait__seed-29": "38d179a1bd49f7413e016e2dfdafd6e7ae8bb956feb94ca9b0afc1fafcd46fed", + "central__circular_wait__seed-43": "e4cbca9b6d4529ccf8083e87141b7ef83d7f1d90f50c07b5dd45ad9b1f1f1f70", + "central__failed_neighbor__seed-17": "d22f8291468507bfd3892e04645f24e1ced0731b8df67823a86038a9c6e06b82", + "central__failed_neighbor__seed-29": "dbafefb267d6ac0f6db90d9b8f39fda2d71c24a74f35390c6fb6bb6123bfeb6e", + "central__failed_neighbor__seed-43": "7f657269ea0f8d3c129e9551288441adc7edc3c1461dfa644488aed38fd4c859", + "central__malformed_duplicate__seed-17": "f65ff6f9490fb0e706e0d56578a09d6bcf847d4fd7209f63d9b9f0b93835ec30", + "central__malformed_duplicate__seed-29": "68711f9fd1cd9061dae52edf0667cf2c008251a110f2387f50f6bfcba375a3f3", + "central__malformed_duplicate__seed-43": "d6f5fcd3ead3ec627f20209d3d954a7180f478d95c4ad978f29f575fb336c0e6", + "central__saturated_receiver__seed-17": "4dbef3dd206768b43c86f847093e6104cc839ebfe37bff6f1aafb41734ab6c6c", + "central__saturated_receiver__seed-29": "a2230c30cf36bbe7d0121ef46c2d95818a3961313b6916ef1dc1ffa698525107", + "central__saturated_receiver__seed-43": "fafc3765bb3ac173ea664081134e1e3866f9cb16a34e5b0a36e5723a2790649a", + "central__slow_neighbor__seed-17": "5305c91b746af379917497f28e7840b401b23b9d1d9c083dc7aa07a60f6fc972", + "central__slow_neighbor__seed-29": "ffcc40c0bca7907aca91b31c9c62e529f36ebfd6edca80271af7a18db7ac0b4e", + "central__slow_neighbor__seed-43": "d0a407f224307136d2cc937253b9a5982229a53617f7416a616e1e1f4145bd08", + "central__stale_feedback__seed-17": "7ae730f0358397268d46ea5a4e72a33679ccabe6fcd022f38223bb7912418f86", + "central__stale_feedback__seed-29": "cfc721d8f6376bd4975895732d98e9d6441eb472a7f6f861f847ec1ad245e097", + "central__stale_feedback__seed-43": "49e202d4407e6048de68dd79a24b0ed54231e58727813046512d64e44fd3220f", + "global_barrier__balanced__seed-17": "c587debe3dc0c8366aa3ec6801d39409b1c06ceaa88fbdcce6427ee84a3f7582", + "global_barrier__balanced__seed-29": "c17d77c935d7c07a0e119cbec23007092799bd6f898373a9c77820c229c858f3", + "global_barrier__balanced__seed-43": "05a19c3431b4eda8f10a1a1df0fa60fd69a187e5848d3e46078f803bd1cf90e7", + "global_barrier__burst__seed-17": "8d9eb121466b00b8221e0e52c6922377cc381a6ee572377f565de608d9d182f7", + "global_barrier__burst__seed-29": "04ab3e4c7fc056709f789ae6840830d5b441fcc1c271d96186bc389bd7190c3a", + "global_barrier__burst__seed-43": "8d213ae6a029060723684004db37c8b85d022910be9342c30cca04d42d3c43dd", + "global_barrier__circular_wait__seed-17": "9f00e2243a20aaa0d7a87f98cd73a6f479cdd1d6fbac2c4dab1985c0b80588e9", + "global_barrier__circular_wait__seed-29": "c031bcc9c0c5ff63cf800c12fe981e37ba3cb8300ba3e4f668be5d1e1c1efea1", + "global_barrier__circular_wait__seed-43": "fe6524e06912c968997c7f1fdbaa8135c6d8d68ba973fc4fea73401a0bfe5132", + "global_barrier__failed_neighbor__seed-17": "e84a58c21ea3579a0ca96738c81ace9d8a79ce7774e9ec1d5cdadbb9838169cb", + "global_barrier__failed_neighbor__seed-29": "deadc9c7bb6f03bb10622180dcc9473c73b52acb2331388b0fa9005a45deede2", + "global_barrier__failed_neighbor__seed-43": "76d7ecd39bfcb4a2e26bcb3e90f17b37e3375177791f456ee540d0443bdf1196", + "global_barrier__malformed_duplicate__seed-17": "8d179a3fb5705dfd8efc7ddc86a5723152e101eef9fff2abd595122efff44076", + "global_barrier__malformed_duplicate__seed-29": "2f41cc067a10b0b0ad5a6bd663557bb217850455479691f60f9d0cd7289cc073", + "global_barrier__malformed_duplicate__seed-43": "51916931219ea53b524bd4019ae137c682fa0a342c0c7c8b246426bbf051e13b", + "global_barrier__saturated_receiver__seed-17": "b5d02f59abc4fda6de223b296ba6105e7f47ca4b737f0379a84e90ab7251aae8", + "global_barrier__saturated_receiver__seed-29": "5483315c7c438086e3493aea4122e0c70397f40995773f8703104495e2f35584", + "global_barrier__saturated_receiver__seed-43": "eb51f98185b4cbf75ef3be9d426fbdc425e194ab6e85a74cfb64dcd5a34f922c", + "global_barrier__slow_neighbor__seed-17": "44e276de35c7883ce5a8be27bbb411e6c06ede557a9212f71969067834ac6005", + "global_barrier__slow_neighbor__seed-29": "df847d54abb6d0f747c1b15204972d93c72547a1339b8d6ea480580de2088529", + "global_barrier__slow_neighbor__seed-43": "81cfbab31e466289d832c76887b2b7000379871cd331b96bbebabce3a1aff556", + "global_barrier__stale_feedback__seed-17": "8109d0dd25ddbed76d1bf8b342dbb8ea7814f70779670d56946bf45b85769978", + "global_barrier__stale_feedback__seed-29": "a2f07750ac986d56984d2875d44d6b5e3de6818634adacb7dd97d62269e21462", + "global_barrier__stale_feedback__seed-43": "13a2ea336f9c64a588c7f73e669043dd38889a9ec90d27d1e3080c182b367eb9", + "local_cbf__balanced__seed-17": "8e6fe6b5dad2ef94ba2487cac9cff6b65bade02d449c51b8e5d7c0fa078230a7", + "local_cbf__balanced__seed-29": "435aa78ff67f0933020e1d723482b0ad1060e71571824ea310ff1839fa7ba267", + "local_cbf__balanced__seed-43": "87538c8616ea93b30f7773bd766dd74e60747a68ff174e39a1abc2717ed08a04", + "local_cbf__burst__seed-17": "525e5d1d2bfd6b3e08710769c51019f015714adedb19fd488c51f0a07df491a6", + "local_cbf__burst__seed-29": "49decbd0ee4b5fa8601388e8ab1b8ae5b1f984e316085b8e5113e4ea48b7ce13", + "local_cbf__burst__seed-43": "4687004b6ea2d9014700f00a731a9b4cfb0617c2a18bddf37aac50414df5ece4", + "local_cbf__circular_wait__seed-17": "d3e7aee4c87e5c18317354915bb4f64970a99f5cce6648d60a2290f639cdc281", + "local_cbf__circular_wait__seed-29": "b21114a56de522b19cca0e9fe14a6609bcc9999f404123c96ffdd1d0f9a6d76e", + "local_cbf__circular_wait__seed-43": "2e23d2a3e88824a25f8f5a7b9fce38fe636b9d8b1c89d9e487c9b3b5a8207ca6", + "local_cbf__failed_neighbor__seed-17": "74007b4507cd87690112c7fac0ca4d8e642b4c62c45558428d2b23cb884e06a6", + "local_cbf__failed_neighbor__seed-29": "642a7b518d9419ee6e0577c999a5aaf58fd6eb8b0bded7ff59fa5998bf9bad5d", + "local_cbf__failed_neighbor__seed-43": "e5e61caf4f560b5e48f92f54a6b12fcb2185675299a3009879d65c61267453f9", + "local_cbf__malformed_duplicate__seed-17": "231cfec60ac7e8a58b94c72cc4ea4977c5185163a10317d5729ba29c0cac3781", + "local_cbf__malformed_duplicate__seed-29": "e95be97fece49ebc5acb27120ce89ea37293db34f1feef53c54043abb1011f59", + "local_cbf__malformed_duplicate__seed-43": "9c17d9902b636369017f1a02420ce93711a2abe5b30812d6a2874ad2776466e2", + "local_cbf__saturated_receiver__seed-17": "7aa6c1f4f975388820ee2e5ee9e2bac7d0c7e4c2e0f571cd06032211c5ce38a7", + "local_cbf__saturated_receiver__seed-29": "bd65920a160e3cf16bfb0a6481efff2c040783f400997318ea83406bb0a5d10b", + "local_cbf__saturated_receiver__seed-43": "2411600691c8e58f1d33c5cde190fe4652197a359fe79b8aac861b507fe588f9", + "local_cbf__slow_neighbor__seed-17": "a2decb806f6c77e8082d2efc429a50d2d53c9d213392cc9357ffb839d00f264a", + "local_cbf__slow_neighbor__seed-29": "7acde8ffc939328ce606ab5deaf87bf1b0064de21580862a6dfdaefecc68b6c7", + "local_cbf__slow_neighbor__seed-43": "17dfe67fde2117b5815c6ed2c3739590a8b60fd6509e14f17a428bd9306427fb", + "local_cbf__stale_feedback__seed-17": "d5b805dd8c881db72df3c587bbf364bc516b412fb37a3953093dffd978cb31ff", + "local_cbf__stale_feedback__seed-29": "524026bd29f1a2211856a4dc8964c9cf3fb307a4db647628528aa75c51d36247", + "local_cbf__stale_feedback__seed-43": "e5e3ed9edde04198731d82ffd1d32956c145c7de91dc9506a60c0ec91b18ed14" + }, + "schema_version": "e001.matrix-manifest.v1", + "source_commit": "81e7f859f71425bdba7603a61566f9fb47c116f9", + "workload_equivalence_mismatches": {} +} diff --git a/experiments/E001/results/summary/PROVENANCE__E001__81e7f859.json b/experiments/E001/results/summary/PROVENANCE__E001__81e7f859.json new file mode 100644 index 0000000..ac2efce --- /dev/null +++ b/experiments/E001/results/summary/PROVENANCE__E001__81e7f859.json @@ -0,0 +1,25 @@ +{ + "configuration": { + "path": "experiments/E001/config/CANONICAL_MATRIX__E001__v0.1__2026-07-13.json", + "sha256": "c95b449048b620d2a6a866ff43db675b085951086710828fe03391f268012d11" + }, + "experiment": "SW.EXPERIMENT.E001", + "invocation": "PYTHONPATH=src python tools/generate_e001_evidence.py --output build/e001-canonical --source-commit 81e7f859f71425bdba7603a61566f9fb47c116f9", + "matrix_manifest_digest": "4ae44e0f3e0029f9f124b2f30ee28f5d83e476cd5135f1f5233930424ac3fe42", + "runtime": { + "implementation": "CPython", + "python_version": "3.13.14" + }, + "schema_version": "e001.evidence-provenance.v1", + "source_commit": "81e7f859f71425bdba7603a61566f9fb47c116f9", + "specification": { + "path": "experiments/E001/EXPERIMENT__E001__THREE_RING_BOUNDED_FLOW__v0.1__2026-07-13.md", + "sha256": "b3552734244244699114dee7710b030c9ec584262c13bef97961008b375faa60" + }, + "validation": { + "determinism_mismatches": [], + "invalid_run_ids": [], + "run_count": 72, + "workload_equivalence_mismatches": {} + } +} diff --git a/experiments/E001/results/summary/central__balanced__seed-17.json b/experiments/E001/results/summary/central__balanced__seed-17.json new file mode 100644 index 0000000..9e3ae90 --- /dev/null +++ b/experiments/E001/results/summary/central__balanced__seed-17.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "central", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__balanced__seed-17", + "scenario": "balanced", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "e67091614482c9dd844eac00de1bc114eaf5597c862236f13cda69e43523cab4", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "df58053e056adf5907852ed226e35b81707f60f5cd52091177285d534a505ef2", + "workload_digest": "1227611241fb29235127df602f33a257841fada12439e7cfe4a0ac694ec10629" +} diff --git a/experiments/E001/results/summary/central__balanced__seed-29.json b/experiments/E001/results/summary/central__balanced__seed-29.json new file mode 100644 index 0000000..954a7c3 --- /dev/null +++ b/experiments/E001/results/summary/central__balanced__seed-29.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "central", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__balanced__seed-29", + "scenario": "balanced", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "2facfe0e443c237001511b9e421e4f1373b6447697f14990cce951975533d303", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "fdb1ee94c786b3e13c641dbcb50a2b8459561537bd536c3b76aad3302a2d886e", + "workload_digest": "d9c4e7f9f632117715b29ce2caa0055db052d23e5a0bcba611cae8cef563455d" +} diff --git a/experiments/E001/results/summary/central__balanced__seed-43.json b/experiments/E001/results/summary/central__balanced__seed-43.json new file mode 100644 index 0000000..645075b --- /dev/null +++ b/experiments/E001/results/summary/central__balanced__seed-43.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "central", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__balanced__seed-43", + "scenario": "balanced", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "dcfedb14997ebda944a8a1956b2735b869e9ef5b4e0936ab68ca7d85790b5468", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "a4be5fca8a9b0464adf583f926dbc715bfd74b8a2d8329b17caba39259d46322", + "workload_digest": "cda97bf82bf994fb1e07c870ae51439315afff7f8231d9f246f226d5b22dc5c1" +} diff --git a/experiments/E001/results/summary/central__burst__seed-17.json b/experiments/E001/results/summary/central__burst__seed-17.json new file mode 100644 index 0000000..c7a695c --- /dev/null +++ b/experiments/E001/results/summary/central__burst__seed-17.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 64, + "completed": 64, + "configuration": "central", + "coordination_event_total": 256, + "coordination_events": { + "receipt": 128, + "validate": 128 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 15, + "p50": 5, + "p95": 14 + }, + "maximum_occupancy": { + "A": 5, + "B": 5, + "C": 5 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.5625, + "B": 0.583333, + "C": 0.5875 + }, + "occupancy_time": { + "A": 135, + "B": 140, + "C": 141 + }, + "offered": 64, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__burst__seed-17", + "scenario": "burst", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "9d86b2a68beb92d841eb647c274c1279e25174cd8586918c050c56e967a93782", + "terminal_counts": { + "completed": 64 + }, + "throughput_per_tick": 0.266666667, + "trace_digest": "cdedd9924498628139f9235ddf19254b56048b2d4aa0fe79f3d4f2db70bc8fb8", + "workload_digest": "baab89628aca95eaa5108a19e435dc7e0238afeeefe7f57fb6b875a5f2015416" +} diff --git a/experiments/E001/results/summary/central__burst__seed-29.json b/experiments/E001/results/summary/central__burst__seed-29.json new file mode 100644 index 0000000..d441bd8 --- /dev/null +++ b/experiments/E001/results/summary/central__burst__seed-29.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 64, + "completed": 64, + "configuration": "central", + "coordination_event_total": 256, + "coordination_events": { + "receipt": 128, + "validate": 128 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 15, + "p50": 5, + "p95": 14 + }, + "maximum_occupancy": { + "A": 5, + "B": 5, + "C": 5 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.5625, + "B": 0.583333, + "C": 0.5875 + }, + "occupancy_time": { + "A": 135, + "B": 140, + "C": 141 + }, + "offered": 64, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__burst__seed-29", + "scenario": "burst", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "431a27cedac08a40aee048619f9c019686cbc7e016271b958948dc4ad9247032", + "terminal_counts": { + "completed": 64 + }, + "throughput_per_tick": 0.266666667, + "trace_digest": "8ff8c647c7dd157ae2b79d623f2bfe3726fa71ce54a5f44f64baee450abc8f5d", + "workload_digest": "289446dc7fbf245774394957ebe2a7962cf801e33ebe64c4f3ffadabb2c88a7f" +} diff --git a/experiments/E001/results/summary/central__burst__seed-43.json b/experiments/E001/results/summary/central__burst__seed-43.json new file mode 100644 index 0000000..e969ca9 --- /dev/null +++ b/experiments/E001/results/summary/central__burst__seed-43.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 64, + "completed": 64, + "configuration": "central", + "coordination_event_total": 256, + "coordination_events": { + "receipt": 128, + "validate": 128 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 15, + "p50": 5, + "p95": 14 + }, + "maximum_occupancy": { + "A": 5, + "B": 5, + "C": 5 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.5625, + "B": 0.583333, + "C": 0.5875 + }, + "occupancy_time": { + "A": 135, + "B": 140, + "C": 141 + }, + "offered": 64, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__burst__seed-43", + "scenario": "burst", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "aa54b091ca2be4aeb4fc70985dd8274b9568e55f3b8ffc722039b85ef6261ec2", + "terminal_counts": { + "completed": 64 + }, + "throughput_per_tick": 0.266666667, + "trace_digest": "e9d048f76746f51a20e12c9228a60adbfb2c3441a46342c920606ea3a34289c2", + "workload_digest": "a392565697a4b580b3c793a580965dc6ab6e2b2556dadd0c9d750e9565425d6e" +} diff --git a/experiments/E001/results/summary/central__circular_wait__seed-17.json b/experiments/E001/results/summary/central__circular_wait__seed-17.json new file mode 100644 index 0000000..13813c0 --- /dev/null +++ b/experiments/E001/results/summary/central__circular_wait__seed-17.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 24, + "completed": 24, + "configuration": "central", + "coordination_event_total": 96, + "coordination_events": { + "receipt": 48, + "validate": 48 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 17, + "p50": 13, + "p95": 17 + }, + "maximum_occupancy": { + "A": 8, + "B": 8, + "C": 8 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.416667, + "B": 0.416667, + "C": 0.416667 + }, + "occupancy_time": { + "A": 100, + "B": 100, + "C": 100 + }, + "offered": 24, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__circular_wait__seed-17", + "scenario": "circular_wait", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "aca0781bdfdf0879c8c5610bea14289762c5eead2d83d88636997574787f9db0", + "terminal_counts": { + "completed": 24 + }, + "throughput_per_tick": 0.1, + "trace_digest": "31f883b9d3afd89c2e5eb65aea8b5950f8e6771374604172fe43feb015f400cc", + "workload_digest": "38efa2ef401872607122d7bdf4b16c932b6f926ddf93f786e4d852ef04d68345" +} diff --git a/experiments/E001/results/summary/central__circular_wait__seed-29.json b/experiments/E001/results/summary/central__circular_wait__seed-29.json new file mode 100644 index 0000000..1e9c841 --- /dev/null +++ b/experiments/E001/results/summary/central__circular_wait__seed-29.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 24, + "completed": 24, + "configuration": "central", + "coordination_event_total": 96, + "coordination_events": { + "receipt": 48, + "validate": 48 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 17, + "p50": 13, + "p95": 17 + }, + "maximum_occupancy": { + "A": 8, + "B": 8, + "C": 8 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.416667, + "B": 0.416667, + "C": 0.416667 + }, + "occupancy_time": { + "A": 100, + "B": 100, + "C": 100 + }, + "offered": 24, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__circular_wait__seed-29", + "scenario": "circular_wait", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "38d179a1bd49f7413e016e2dfdafd6e7ae8bb956feb94ca9b0afc1fafcd46fed", + "terminal_counts": { + "completed": 24 + }, + "throughput_per_tick": 0.1, + "trace_digest": "9074390aaad3b06c9c23885322830acd3cfea04209d26538a6453aaeefc8969a", + "workload_digest": "20cf796a0cb91ec2dfb5fe070d9055c9322749ad38c6a1d17afd73135c67401e" +} diff --git a/experiments/E001/results/summary/central__circular_wait__seed-43.json b/experiments/E001/results/summary/central__circular_wait__seed-43.json new file mode 100644 index 0000000..e72e200 --- /dev/null +++ b/experiments/E001/results/summary/central__circular_wait__seed-43.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 24, + "completed": 24, + "configuration": "central", + "coordination_event_total": 96, + "coordination_events": { + "receipt": 48, + "validate": 48 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 17, + "p50": 13, + "p95": 17 + }, + "maximum_occupancy": { + "A": 8, + "B": 8, + "C": 8 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.416667, + "B": 0.416667, + "C": 0.416667 + }, + "occupancy_time": { + "A": 100, + "B": 100, + "C": 100 + }, + "offered": 24, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__circular_wait__seed-43", + "scenario": "circular_wait", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "e4cbca9b6d4529ccf8083e87141b7ef83d7f1d90f50c07b5dd45ad9b1f1f1f70", + "terminal_counts": { + "completed": 24 + }, + "throughput_per_tick": 0.1, + "trace_digest": "a6204daf4730d468be5601cc6f0bc09f81a9c9e6723307bb27fdaad2633e4181", + "workload_digest": "14a8d68080a7e324c1dc73d30991bf087fbfef0b3ef31f247ab606b122d9d660" +} diff --git a/experiments/E001/results/summary/central__failed_neighbor__seed-17.json b/experiments/E001/results/summary/central__failed_neighbor__seed-17.json new file mode 100644 index 0000000..42cb37d --- /dev/null +++ b/experiments/E001/results/summary/central__failed_neighbor__seed-17.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 35, + "completed": 35, + "configuration": "central", + "coordination_event_total": 179, + "coordination_events": { + "receipt": 70, + "validate": 70, + "wait": 39 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 1, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 15, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 40, + "p50": 3, + "p95": 39 + }, + "maximum_occupancy": { + "A": 8, + "B": 2, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 37, + "mean_occupancy": { + "A": 0.991667, + "B": 0.141667, + "C": 0.1 + }, + "occupancy_time": { + "A": 238, + "B": 34, + "C": 24 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "central__failed_neighbor__seed-17", + "scenario": "failed_neighbor", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "d22f8291468507bfd3892e04645f24e1ced0731b8df67823a86038a9c6e06b82", + "terminal_counts": { + "completed": 35, + "rejected_capacity": 5 + }, + "throughput_per_tick": 0.145833333, + "trace_digest": "b335b87849bfa1991195b6df4bdcb54024e52c0d2527c5024d282c64499edfc8", + "workload_digest": "a53c20c007100f71b69900c7f47760e6c47dd01622fca3d33ce4b45f396f2163" +} diff --git a/experiments/E001/results/summary/central__failed_neighbor__seed-29.json b/experiments/E001/results/summary/central__failed_neighbor__seed-29.json new file mode 100644 index 0000000..49bac25 --- /dev/null +++ b/experiments/E001/results/summary/central__failed_neighbor__seed-29.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 35, + "completed": 35, + "configuration": "central", + "coordination_event_total": 179, + "coordination_events": { + "receipt": 70, + "validate": 70, + "wait": 39 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 1, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 15, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 40, + "p50": 3, + "p95": 39 + }, + "maximum_occupancy": { + "A": 8, + "B": 2, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 37, + "mean_occupancy": { + "A": 0.991667, + "B": 0.141667, + "C": 0.1 + }, + "occupancy_time": { + "A": 238, + "B": 34, + "C": 24 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "central__failed_neighbor__seed-29", + "scenario": "failed_neighbor", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "dbafefb267d6ac0f6db90d9b8f39fda2d71c24a74f35390c6fb6bb6123bfeb6e", + "terminal_counts": { + "completed": 35, + "rejected_capacity": 5 + }, + "throughput_per_tick": 0.145833333, + "trace_digest": "f696cc30db40c0c5d2283701eccee5ffdd198103a921f26cef4dc9e4b61f5016", + "workload_digest": "b342b76b6dc8350a638cbf7f14ebe5dcf24df46555f19ce158f662f10c3e2280" +} diff --git a/experiments/E001/results/summary/central__failed_neighbor__seed-43.json b/experiments/E001/results/summary/central__failed_neighbor__seed-43.json new file mode 100644 index 0000000..7f7a19d --- /dev/null +++ b/experiments/E001/results/summary/central__failed_neighbor__seed-43.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 35, + "completed": 35, + "configuration": "central", + "coordination_event_total": 179, + "coordination_events": { + "receipt": 70, + "validate": 70, + "wait": 39 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 1, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 15, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 40, + "p50": 3, + "p95": 39 + }, + "maximum_occupancy": { + "A": 8, + "B": 2, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 37, + "mean_occupancy": { + "A": 0.991667, + "B": 0.141667, + "C": 0.1 + }, + "occupancy_time": { + "A": 238, + "B": 34, + "C": 24 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "central__failed_neighbor__seed-43", + "scenario": "failed_neighbor", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "7f657269ea0f8d3c129e9551288441adc7edc3c1461dfa644488aed38fd4c859", + "terminal_counts": { + "completed": 35, + "rejected_capacity": 5 + }, + "throughput_per_tick": 0.145833333, + "trace_digest": "1e3f8bc5f599e7ad2af0e9a5fc0dcde4bac3b4a9bad508b3cf708d4a77197dc0", + "workload_digest": "a635909af8f1b6b03fb94ebba6e3a7e8b029c61d3d612e4723f06b6b94ee96a6" +} diff --git a/experiments/E001/results/summary/central__malformed_duplicate__seed-17.json b/experiments/E001/results/summary/central__malformed_duplicate__seed-17.json new file mode 100644 index 0000000..79b5f82 --- /dev/null +++ b/experiments/E001/results/summary/central__malformed_duplicate__seed-17.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "central", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 42, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__malformed_duplicate__seed-17", + "scenario": "malformed_duplicate", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "f65ff6f9490fb0e706e0d56578a09d6bcf847d4fd7209f63d9b9f0b93835ec30", + "terminal_counts": { + "completed": 40, + "duplicate_ignored": 1, + "rejected_invalid": 1 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "eba01c9943413ca277b5420d27d8e90bd0f70372eef4d82d09afca7770b3c2d4", + "workload_digest": "d0e1dc8fdbea45fad9363cc879767fef0ab7a24e34ef9c5ef1172458946afa4c" +} diff --git a/experiments/E001/results/summary/central__malformed_duplicate__seed-29.json b/experiments/E001/results/summary/central__malformed_duplicate__seed-29.json new file mode 100644 index 0000000..c9046b3 --- /dev/null +++ b/experiments/E001/results/summary/central__malformed_duplicate__seed-29.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "central", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 42, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__malformed_duplicate__seed-29", + "scenario": "malformed_duplicate", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "68711f9fd1cd9061dae52edf0667cf2c008251a110f2387f50f6bfcba375a3f3", + "terminal_counts": { + "completed": 40, + "duplicate_ignored": 1, + "rejected_invalid": 1 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "49082e64a82654de5a0165336ea4f9cb21e53cea3a900b9d946a161e7155e371", + "workload_digest": "af7fa4f9a7d8e3ef8aab43a79f0c32bed21feab9dbad59057fb0940540f1c4c5" +} diff --git a/experiments/E001/results/summary/central__malformed_duplicate__seed-43.json b/experiments/E001/results/summary/central__malformed_duplicate__seed-43.json new file mode 100644 index 0000000..447d308 --- /dev/null +++ b/experiments/E001/results/summary/central__malformed_duplicate__seed-43.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "central", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 42, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__malformed_duplicate__seed-43", + "scenario": "malformed_duplicate", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "d6f5fcd3ead3ec627f20209d3d954a7180f478d95c4ad978f29f575fb336c0e6", + "terminal_counts": { + "completed": 40, + "duplicate_ignored": 1, + "rejected_invalid": 1 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "043522d83db91c40f745cc120e5982fc05d9b37d207aea0fbd50d0242adcc50b", + "workload_digest": "2fbd89c3c8d0946153eadb1d2c1ceee69e153cb67663f76a7902e127599a0461" +} diff --git a/experiments/E001/results/summary/central__saturated_receiver__seed-17.json b/experiments/E001/results/summary/central__saturated_receiver__seed-17.json new file mode 100644 index 0000000..2ee07fe --- /dev/null +++ b/experiments/E001/results/summary/central__saturated_receiver__seed-17.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 47, + "completed": 47, + "configuration": "central", + "coordination_event_total": 208, + "coordination_events": { + "receipt": 94, + "validate": 94, + "wait": 20 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 31, + "p50": 3, + "p95": 28 + }, + "maximum_occupancy": { + "A": 8, + "B": 2, + "C": 2 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 20, + "mean_occupancy": { + "A": 0.879167, + "B": 0.183333, + "C": 0.1625 + }, + "occupancy_time": { + "A": 211, + "B": 44, + "C": 39 + }, + "offered": 48, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__saturated_receiver__seed-17", + "scenario": "saturated_receiver", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "4dbef3dd206768b43c86f847093e6104cc839ebfe37bff6f1aafb41734ab6c6c", + "terminal_counts": { + "completed": 47, + "rejected_capacity": 1 + }, + "throughput_per_tick": 0.195833333, + "trace_digest": "54a084429614a011e146720a56eea9465ea70f4ee1a84fb6ae5189a10cd1739c", + "workload_digest": "7609c1ccc0f8a3cdf5a4e0702f85be6b994aa117d65729408163088cc27e6c9e" +} diff --git a/experiments/E001/results/summary/central__saturated_receiver__seed-29.json b/experiments/E001/results/summary/central__saturated_receiver__seed-29.json new file mode 100644 index 0000000..ecb3e88 --- /dev/null +++ b/experiments/E001/results/summary/central__saturated_receiver__seed-29.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 47, + "completed": 47, + "configuration": "central", + "coordination_event_total": 208, + "coordination_events": { + "receipt": 94, + "validate": 94, + "wait": 20 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 31, + "p50": 3, + "p95": 28 + }, + "maximum_occupancy": { + "A": 8, + "B": 2, + "C": 2 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 20, + "mean_occupancy": { + "A": 0.879167, + "B": 0.183333, + "C": 0.1625 + }, + "occupancy_time": { + "A": 211, + "B": 44, + "C": 39 + }, + "offered": 48, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__saturated_receiver__seed-29", + "scenario": "saturated_receiver", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "a2230c30cf36bbe7d0121ef46c2d95818a3961313b6916ef1dc1ffa698525107", + "terminal_counts": { + "completed": 47, + "rejected_capacity": 1 + }, + "throughput_per_tick": 0.195833333, + "trace_digest": "9e01184fdebbede68b3ae3fbe8c82c13f5ff52a33f5ca500a4a7685770281f37", + "workload_digest": "18f3045e37826fc743bce5e5cb359a7620d23c8864a2493b75c83721331920a7" +} diff --git a/experiments/E001/results/summary/central__saturated_receiver__seed-43.json b/experiments/E001/results/summary/central__saturated_receiver__seed-43.json new file mode 100644 index 0000000..b476d02 --- /dev/null +++ b/experiments/E001/results/summary/central__saturated_receiver__seed-43.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 47, + "completed": 47, + "configuration": "central", + "coordination_event_total": 208, + "coordination_events": { + "receipt": 94, + "validate": 94, + "wait": 20 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 31, + "p50": 3, + "p95": 28 + }, + "maximum_occupancy": { + "A": 8, + "B": 2, + "C": 2 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 20, + "mean_occupancy": { + "A": 0.879167, + "B": 0.183333, + "C": 0.1625 + }, + "occupancy_time": { + "A": 211, + "B": 44, + "C": 39 + }, + "offered": 48, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__saturated_receiver__seed-43", + "scenario": "saturated_receiver", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "fafc3765bb3ac173ea664081134e1e3866f9cb16a34e5b0a36e5723a2790649a", + "terminal_counts": { + "completed": 47, + "rejected_capacity": 1 + }, + "throughput_per_tick": 0.195833333, + "trace_digest": "06a107a98efebd8337c4470bed02a129ce0b56f2ec22ddae7e6d77115b26c557", + "workload_digest": "fcdff9b343b2ed4a5aeccce76024db9a462874765576d79797e7de7531157134" +} diff --git a/experiments/E001/results/summary/central__slow_neighbor__seed-17.json b/experiments/E001/results/summary/central__slow_neighbor__seed-17.json new file mode 100644 index 0000000..bc7e420 --- /dev/null +++ b/experiments/E001/results/summary/central__slow_neighbor__seed-17.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "central", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 33, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 19, + "p50": 4, + "p95": 16 + }, + "maximum_occupancy": { + "A": 1, + "B": 6, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.120833, + "B": 0.804167, + "C": 0.1125 + }, + "occupancy_time": { + "A": 29, + "B": 193, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "central__slow_neighbor__seed-17", + "scenario": "slow_neighbor", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "5305c91b746af379917497f28e7840b401b23b9d1d9c083dc7aa07a60f6fc972", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "1bf43a79d8b920941a8efab6ca9c34e7da1aa4db3d0c665c80e12552744806a5", + "workload_digest": "4d82126140038968748a993179b96e5484077d71ba91a6ea3e18eaf541f3554c" +} diff --git a/experiments/E001/results/summary/central__slow_neighbor__seed-29.json b/experiments/E001/results/summary/central__slow_neighbor__seed-29.json new file mode 100644 index 0000000..cb9e2d6 --- /dev/null +++ b/experiments/E001/results/summary/central__slow_neighbor__seed-29.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "central", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 33, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 19, + "p50": 4, + "p95": 16 + }, + "maximum_occupancy": { + "A": 1, + "B": 6, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.120833, + "B": 0.804167, + "C": 0.1125 + }, + "occupancy_time": { + "A": 29, + "B": 193, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "central__slow_neighbor__seed-29", + "scenario": "slow_neighbor", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "ffcc40c0bca7907aca91b31c9c62e529f36ebfd6edca80271af7a18db7ac0b4e", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "4e8cb2a12821196e04f9d752bff844d5e0bb81c287693194111f8107de6d21c6", + "workload_digest": "1002d00ec8ffc8b9961f40cfe490374628c84f21db097425209874c2c5eebe0f" +} diff --git a/experiments/E001/results/summary/central__slow_neighbor__seed-43.json b/experiments/E001/results/summary/central__slow_neighbor__seed-43.json new file mode 100644 index 0000000..8c0d2a5 --- /dev/null +++ b/experiments/E001/results/summary/central__slow_neighbor__seed-43.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "central", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 33, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 19, + "p50": 4, + "p95": 16 + }, + "maximum_occupancy": { + "A": 1, + "B": 6, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.120833, + "B": 0.804167, + "C": 0.1125 + }, + "occupancy_time": { + "A": 29, + "B": 193, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "central__slow_neighbor__seed-43", + "scenario": "slow_neighbor", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "d0a407f224307136d2cc937253b9a5982229a53617f7416a616e1e1f4145bd08", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "d538d4c36d3cd8d449b02348ee49bc02c9462e577e6ff0f1b52844aaa5e8cad1", + "workload_digest": "2608f59118d63c9230f1e799f014514ff11ad583182466ed1f4408e1720826df" +} diff --git a/experiments/E001/results/summary/central__stale_feedback__seed-17.json b/experiments/E001/results/summary/central__stale_feedback__seed-17.json new file mode 100644 index 0000000..99a9a0a --- /dev/null +++ b/experiments/E001/results/summary/central__stale_feedback__seed-17.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "central", + "coordination_event_total": 161, + "coordination_events": { + "receipt": 80, + "validate": 81 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__stale_feedback__seed-17", + "scenario": "stale_feedback", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 1, + "summary_digest": "7ae730f0358397268d46ea5a4e72a33679ccabe6fcd022f38223bb7912418f86", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "772e17af507badb1e54e48af7ef6dd18ea8e4a993c47d68b967ac46ccde3aaef", + "workload_digest": "63724684c92d068fedd37a1450971e6f3cc3cb16e69b379937d9c59c248fc4ce" +} diff --git a/experiments/E001/results/summary/central__stale_feedback__seed-29.json b/experiments/E001/results/summary/central__stale_feedback__seed-29.json new file mode 100644 index 0000000..cdb8101 --- /dev/null +++ b/experiments/E001/results/summary/central__stale_feedback__seed-29.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "central", + "coordination_event_total": 161, + "coordination_events": { + "receipt": 80, + "validate": 81 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__stale_feedback__seed-29", + "scenario": "stale_feedback", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 1, + "summary_digest": "cfc721d8f6376bd4975895732d98e9d6441eb472a7f6f861f847ec1ad245e097", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "6e378b73538ff19c0151468eda2f4adc509719581b7099cdff618d7a8f8ccd1c", + "workload_digest": "7f27254100abd6d0dedd005661ee6bade06c199544f5b2bdff496dfc70eda68e" +} diff --git a/experiments/E001/results/summary/central__stale_feedback__seed-43.json b/experiments/E001/results/summary/central__stale_feedback__seed-43.json new file mode 100644 index 0000000..1426b31 --- /dev/null +++ b/experiments/E001/results/summary/central__stale_feedback__seed-43.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "central", + "coordination_event_total": 161, + "coordination_events": { + "receipt": 80, + "validate": 81 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "central__stale_feedback__seed-43", + "scenario": "stale_feedback", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 1, + "summary_digest": "49e202d4407e6048de68dd79a24b0ed54231e58727813046512d64e44fd3220f", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "b2862b088319cea6128c486fff3624ec2ebb4e9b154f0b74d39f25bd90edbf22", + "workload_digest": "727ff29b7986bd116df7a74bcf54bfc124a9504ff085ac7a4c2678303f293452" +} diff --git a/experiments/E001/results/summary/global_barrier__balanced__seed-17.json b/experiments/E001/results/summary/global_barrier__balanced__seed-17.json new file mode 100644 index 0000000..6c9ca74 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__balanced__seed-17.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "global_barrier", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__balanced__seed-17", + "scenario": "balanced", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "c587debe3dc0c8366aa3ec6801d39409b1c06ceaa88fbdcce6427ee84a3f7582", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "3c1d6236ee414ceb3660679df6b9ceece360c9f8388c330c688ad847567bd11c", + "workload_digest": "1227611241fb29235127df602f33a257841fada12439e7cfe4a0ac694ec10629" +} diff --git a/experiments/E001/results/summary/global_barrier__balanced__seed-29.json b/experiments/E001/results/summary/global_barrier__balanced__seed-29.json new file mode 100644 index 0000000..f220365 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__balanced__seed-29.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "global_barrier", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__balanced__seed-29", + "scenario": "balanced", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "c17d77c935d7c07a0e119cbec23007092799bd6f898373a9c77820c229c858f3", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "750e473e96d8e737c6125d48939eec291b254c2fa4fac0bf96489037c48e6680", + "workload_digest": "d9c4e7f9f632117715b29ce2caa0055db052d23e5a0bcba611cae8cef563455d" +} diff --git a/experiments/E001/results/summary/global_barrier__balanced__seed-43.json b/experiments/E001/results/summary/global_barrier__balanced__seed-43.json new file mode 100644 index 0000000..890a288 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__balanced__seed-43.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "global_barrier", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__balanced__seed-43", + "scenario": "balanced", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "05a19c3431b4eda8f10a1a1df0fa60fd69a187e5848d3e46078f803bd1cf90e7", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "8ce08d59943814aaa2911a59fa04c4bf96b0c7dbc17e184d4f75bdec41dba527", + "workload_digest": "cda97bf82bf994fb1e07c870ae51439315afff7f8231d9f246f226d5b22dc5c1" +} diff --git a/experiments/E001/results/summary/global_barrier__burst__seed-17.json b/experiments/E001/results/summary/global_barrier__burst__seed-17.json new file mode 100644 index 0000000..cd66dc1 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__burst__seed-17.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 64, + "completed": 64, + "configuration": "global_barrier", + "coordination_event_total": 256, + "coordination_events": { + "receipt": 128, + "validate": 128 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 15, + "p50": 5, + "p95": 14 + }, + "maximum_occupancy": { + "A": 5, + "B": 5, + "C": 5 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.5625, + "B": 0.583333, + "C": 0.5875 + }, + "occupancy_time": { + "A": 135, + "B": 140, + "C": 141 + }, + "offered": 64, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__burst__seed-17", + "scenario": "burst", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "8d9eb121466b00b8221e0e52c6922377cc381a6ee572377f565de608d9d182f7", + "terminal_counts": { + "completed": 64 + }, + "throughput_per_tick": 0.266666667, + "trace_digest": "17e9cc4cca135d658fbb0c0e98138f7e60e91c079c935218833f00936099897b", + "workload_digest": "baab89628aca95eaa5108a19e435dc7e0238afeeefe7f57fb6b875a5f2015416" +} diff --git a/experiments/E001/results/summary/global_barrier__burst__seed-29.json b/experiments/E001/results/summary/global_barrier__burst__seed-29.json new file mode 100644 index 0000000..17e22cd --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__burst__seed-29.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 64, + "completed": 64, + "configuration": "global_barrier", + "coordination_event_total": 256, + "coordination_events": { + "receipt": 128, + "validate": 128 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 15, + "p50": 5, + "p95": 14 + }, + "maximum_occupancy": { + "A": 5, + "B": 5, + "C": 5 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.5625, + "B": 0.583333, + "C": 0.5875 + }, + "occupancy_time": { + "A": 135, + "B": 140, + "C": 141 + }, + "offered": 64, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__burst__seed-29", + "scenario": "burst", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "04ab3e4c7fc056709f789ae6840830d5b441fcc1c271d96186bc389bd7190c3a", + "terminal_counts": { + "completed": 64 + }, + "throughput_per_tick": 0.266666667, + "trace_digest": "2675590da91cf1a0d328221239c194c8540ec2472510484be030251a56290159", + "workload_digest": "289446dc7fbf245774394957ebe2a7962cf801e33ebe64c4f3ffadabb2c88a7f" +} diff --git a/experiments/E001/results/summary/global_barrier__burst__seed-43.json b/experiments/E001/results/summary/global_barrier__burst__seed-43.json new file mode 100644 index 0000000..8165ff2 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__burst__seed-43.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 64, + "completed": 64, + "configuration": "global_barrier", + "coordination_event_total": 256, + "coordination_events": { + "receipt": 128, + "validate": 128 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 15, + "p50": 5, + "p95": 14 + }, + "maximum_occupancy": { + "A": 5, + "B": 5, + "C": 5 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.5625, + "B": 0.583333, + "C": 0.5875 + }, + "occupancy_time": { + "A": 135, + "B": 140, + "C": 141 + }, + "offered": 64, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__burst__seed-43", + "scenario": "burst", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "8d213ae6a029060723684004db37c8b85d022910be9342c30cca04d42d3c43dd", + "terminal_counts": { + "completed": 64 + }, + "throughput_per_tick": 0.266666667, + "trace_digest": "55ac99da66644eb186d6b80dfed04e42bb77ad3ed582de5b353f99b16c25f7f2", + "workload_digest": "a392565697a4b580b3c793a580965dc6ab6e2b2556dadd0c9d750e9565425d6e" +} diff --git a/experiments/E001/results/summary/global_barrier__circular_wait__seed-17.json b/experiments/E001/results/summary/global_barrier__circular_wait__seed-17.json new file mode 100644 index 0000000..b00e314 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__circular_wait__seed-17.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 24, + "completed": 24, + "configuration": "global_barrier", + "coordination_event_total": 96, + "coordination_events": { + "receipt": 48, + "validate": 48 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 17, + "p50": 13, + "p95": 17 + }, + "maximum_occupancy": { + "A": 8, + "B": 8, + "C": 8 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.416667, + "B": 0.416667, + "C": 0.416667 + }, + "occupancy_time": { + "A": 100, + "B": 100, + "C": 100 + }, + "offered": 24, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__circular_wait__seed-17", + "scenario": "circular_wait", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "9f00e2243a20aaa0d7a87f98cd73a6f479cdd1d6fbac2c4dab1985c0b80588e9", + "terminal_counts": { + "completed": 24 + }, + "throughput_per_tick": 0.1, + "trace_digest": "084f4fe61db6fc1a537b9c8695d72c2cf990ae74d1c5f348ccff066df3c205e4", + "workload_digest": "38efa2ef401872607122d7bdf4b16c932b6f926ddf93f786e4d852ef04d68345" +} diff --git a/experiments/E001/results/summary/global_barrier__circular_wait__seed-29.json b/experiments/E001/results/summary/global_barrier__circular_wait__seed-29.json new file mode 100644 index 0000000..b12ac42 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__circular_wait__seed-29.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 24, + "completed": 24, + "configuration": "global_barrier", + "coordination_event_total": 96, + "coordination_events": { + "receipt": 48, + "validate": 48 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 17, + "p50": 13, + "p95": 17 + }, + "maximum_occupancy": { + "A": 8, + "B": 8, + "C": 8 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.416667, + "B": 0.416667, + "C": 0.416667 + }, + "occupancy_time": { + "A": 100, + "B": 100, + "C": 100 + }, + "offered": 24, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__circular_wait__seed-29", + "scenario": "circular_wait", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "c031bcc9c0c5ff63cf800c12fe981e37ba3cb8300ba3e4f668be5d1e1c1efea1", + "terminal_counts": { + "completed": 24 + }, + "throughput_per_tick": 0.1, + "trace_digest": "2712c7b4e7c10502c489a44335565c3c408859e82cf93553f18e807b77eca674", + "workload_digest": "20cf796a0cb91ec2dfb5fe070d9055c9322749ad38c6a1d17afd73135c67401e" +} diff --git a/experiments/E001/results/summary/global_barrier__circular_wait__seed-43.json b/experiments/E001/results/summary/global_barrier__circular_wait__seed-43.json new file mode 100644 index 0000000..47af939 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__circular_wait__seed-43.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 24, + "completed": 24, + "configuration": "global_barrier", + "coordination_event_total": 96, + "coordination_events": { + "receipt": 48, + "validate": 48 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 17, + "p50": 13, + "p95": 17 + }, + "maximum_occupancy": { + "A": 8, + "B": 8, + "C": 8 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.416667, + "B": 0.416667, + "C": 0.416667 + }, + "occupancy_time": { + "A": 100, + "B": 100, + "C": 100 + }, + "offered": 24, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__circular_wait__seed-43", + "scenario": "circular_wait", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "fe6524e06912c968997c7f1fdbaa8135c6d8d68ba973fc4fea73401a0bfe5132", + "terminal_counts": { + "completed": 24 + }, + "throughput_per_tick": 0.1, + "trace_digest": "50716f05542600dcade8dc267af9e04c2dd17606a3b0beb74ddf697581c1378f", + "workload_digest": "14a8d68080a7e324c1dc73d30991bf087fbfef0b3ef31f247ab606b122d9d660" +} diff --git a/experiments/E001/results/summary/global_barrier__failed_neighbor__seed-17.json b/experiments/E001/results/summary/global_barrier__failed_neighbor__seed-17.json new file mode 100644 index 0000000..7b8279b --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__failed_neighbor__seed-17.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 36, + "completed": 36, + "configuration": "global_barrier", + "coordination_event_total": 219, + "coordination_events": { + "receipt": 72, + "validate": 72, + "wait": 75 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 2, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 10, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 46, + "p50": 3, + "p95": 43 + }, + "maximum_occupancy": { + "A": 4, + "B": 2, + "C": 6 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 40, + "mean_occupancy": { + "A": 0.5625, + "B": 0.154167, + "C": 0.745833 + }, + "occupancy_time": { + "A": 135, + "B": 37, + "C": 179 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "global_barrier__failed_neighbor__seed-17", + "scenario": "failed_neighbor", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "e84a58c21ea3579a0ca96738c81ace9d8a79ce7774e9ec1d5cdadbb9838169cb", + "terminal_counts": { + "completed": 36, + "rejected_capacity": 4 + }, + "throughput_per_tick": 0.15, + "trace_digest": "58bb8fc071af79e43d7863118f7185cd972c073d6abb692e991b8b027f60f40c", + "workload_digest": "a53c20c007100f71b69900c7f47760e6c47dd01622fca3d33ce4b45f396f2163" +} diff --git a/experiments/E001/results/summary/global_barrier__failed_neighbor__seed-29.json b/experiments/E001/results/summary/global_barrier__failed_neighbor__seed-29.json new file mode 100644 index 0000000..e2c7fbb --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__failed_neighbor__seed-29.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 36, + "completed": 36, + "configuration": "global_barrier", + "coordination_event_total": 219, + "coordination_events": { + "receipt": 72, + "validate": 72, + "wait": 75 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 2, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 10, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 46, + "p50": 3, + "p95": 43 + }, + "maximum_occupancy": { + "A": 4, + "B": 2, + "C": 6 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 40, + "mean_occupancy": { + "A": 0.5625, + "B": 0.154167, + "C": 0.745833 + }, + "occupancy_time": { + "A": 135, + "B": 37, + "C": 179 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "global_barrier__failed_neighbor__seed-29", + "scenario": "failed_neighbor", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "deadc9c7bb6f03bb10622180dcc9473c73b52acb2331388b0fa9005a45deede2", + "terminal_counts": { + "completed": 36, + "rejected_capacity": 4 + }, + "throughput_per_tick": 0.15, + "trace_digest": "371bcdb31d6be6faf737b656cadd9287827f9b2ca04ad81a7696a585a6b834c4", + "workload_digest": "b342b76b6dc8350a638cbf7f14ebe5dcf24df46555f19ce158f662f10c3e2280" +} diff --git a/experiments/E001/results/summary/global_barrier__failed_neighbor__seed-43.json b/experiments/E001/results/summary/global_barrier__failed_neighbor__seed-43.json new file mode 100644 index 0000000..5fe29e0 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__failed_neighbor__seed-43.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 36, + "completed": 36, + "configuration": "global_barrier", + "coordination_event_total": 219, + "coordination_events": { + "receipt": 72, + "validate": 72, + "wait": 75 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 2, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 10, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 46, + "p50": 3, + "p95": 43 + }, + "maximum_occupancy": { + "A": 4, + "B": 2, + "C": 6 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 40, + "mean_occupancy": { + "A": 0.5625, + "B": 0.154167, + "C": 0.745833 + }, + "occupancy_time": { + "A": 135, + "B": 37, + "C": 179 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "global_barrier__failed_neighbor__seed-43", + "scenario": "failed_neighbor", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "76d7ecd39bfcb4a2e26bcb3e90f17b37e3375177791f456ee540d0443bdf1196", + "terminal_counts": { + "completed": 36, + "rejected_capacity": 4 + }, + "throughput_per_tick": 0.15, + "trace_digest": "daa94fa0f22e6bd451b0227fc5a6b9510d2600f3ff03870ec7663cc7e3bbb94b", + "workload_digest": "a635909af8f1b6b03fb94ebba6e3a7e8b029c61d3d612e4723f06b6b94ee96a6" +} diff --git a/experiments/E001/results/summary/global_barrier__malformed_duplicate__seed-17.json b/experiments/E001/results/summary/global_barrier__malformed_duplicate__seed-17.json new file mode 100644 index 0000000..9e9d8a3 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__malformed_duplicate__seed-17.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "global_barrier", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 42, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__malformed_duplicate__seed-17", + "scenario": "malformed_duplicate", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "8d179a3fb5705dfd8efc7ddc86a5723152e101eef9fff2abd595122efff44076", + "terminal_counts": { + "completed": 40, + "duplicate_ignored": 1, + "rejected_invalid": 1 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "1f06be9a357a84417b63f21590bc6b68e7c1f2ad40a57b9f4f38e978e2016bc0", + "workload_digest": "d0e1dc8fdbea45fad9363cc879767fef0ab7a24e34ef9c5ef1172458946afa4c" +} diff --git a/experiments/E001/results/summary/global_barrier__malformed_duplicate__seed-29.json b/experiments/E001/results/summary/global_barrier__malformed_duplicate__seed-29.json new file mode 100644 index 0000000..ac653d4 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__malformed_duplicate__seed-29.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "global_barrier", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 42, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__malformed_duplicate__seed-29", + "scenario": "malformed_duplicate", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "2f41cc067a10b0b0ad5a6bd663557bb217850455479691f60f9d0cd7289cc073", + "terminal_counts": { + "completed": 40, + "duplicate_ignored": 1, + "rejected_invalid": 1 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "5326710a89a0c0bf4c34f3d7c9d571b08c57564bb8e680a79a5038cf5785df50", + "workload_digest": "af7fa4f9a7d8e3ef8aab43a79f0c32bed21feab9dbad59057fb0940540f1c4c5" +} diff --git a/experiments/E001/results/summary/global_barrier__malformed_duplicate__seed-43.json b/experiments/E001/results/summary/global_barrier__malformed_duplicate__seed-43.json new file mode 100644 index 0000000..2ed2cd1 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__malformed_duplicate__seed-43.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "global_barrier", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 42, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__malformed_duplicate__seed-43", + "scenario": "malformed_duplicate", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "51916931219ea53b524bd4019ae137c682fa0a342c0c7c8b246426bbf051e13b", + "terminal_counts": { + "completed": 40, + "duplicate_ignored": 1, + "rejected_invalid": 1 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "e8108bec0b634eedcdbd50ef0616606fa37259d11cce56a4094c05d6bbb734a6", + "workload_digest": "2fbd89c3c8d0946153eadb1d2c1ceee69e153cb67663f76a7902e127599a0461" +} diff --git a/experiments/E001/results/summary/global_barrier__saturated_receiver__seed-17.json b/experiments/E001/results/summary/global_barrier__saturated_receiver__seed-17.json new file mode 100644 index 0000000..07b446a --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__saturated_receiver__seed-17.json @@ -0,0 +1,57 @@ +{ + "active_at_end": 0, + "admitted": 48, + "completed": 48, + "configuration": "global_barrier", + "coordination_event_total": 245, + "coordination_events": { + "receipt": 96, + "validate": 96, + "wait": 53 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 34, + "p50": 3, + "p95": 30 + }, + "maximum_occupancy": { + "A": 7, + "B": 4, + "C": 2 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 20, + "mean_occupancy": { + "A": 0.85, + "B": 0.433333, + "C": 0.2625 + }, + "occupancy_time": { + "A": 204, + "B": 104, + "C": 63 + }, + "offered": 48, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__saturated_receiver__seed-17", + "scenario": "saturated_receiver", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "b5d02f59abc4fda6de223b296ba6105e7f47ca4b737f0379a84e90ab7251aae8", + "terminal_counts": { + "completed": 48 + }, + "throughput_per_tick": 0.2, + "trace_digest": "056f6f493c550e48a8a9f62895a6096ba9977cfc47365f8586db9c9ac048593c", + "workload_digest": "7609c1ccc0f8a3cdf5a4e0702f85be6b994aa117d65729408163088cc27e6c9e" +} diff --git a/experiments/E001/results/summary/global_barrier__saturated_receiver__seed-29.json b/experiments/E001/results/summary/global_barrier__saturated_receiver__seed-29.json new file mode 100644 index 0000000..6674794 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__saturated_receiver__seed-29.json @@ -0,0 +1,57 @@ +{ + "active_at_end": 0, + "admitted": 48, + "completed": 48, + "configuration": "global_barrier", + "coordination_event_total": 245, + "coordination_events": { + "receipt": 96, + "validate": 96, + "wait": 53 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 34, + "p50": 3, + "p95": 30 + }, + "maximum_occupancy": { + "A": 7, + "B": 4, + "C": 2 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 20, + "mean_occupancy": { + "A": 0.85, + "B": 0.433333, + "C": 0.2625 + }, + "occupancy_time": { + "A": 204, + "B": 104, + "C": 63 + }, + "offered": 48, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__saturated_receiver__seed-29", + "scenario": "saturated_receiver", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "5483315c7c438086e3493aea4122e0c70397f40995773f8703104495e2f35584", + "terminal_counts": { + "completed": 48 + }, + "throughput_per_tick": 0.2, + "trace_digest": "cab05ee91a831ee0076781bfbaf610c29676ad047b32b7dd65db3bcbf7fdd0c6", + "workload_digest": "18f3045e37826fc743bce5e5cb359a7620d23c8864a2493b75c83721331920a7" +} diff --git a/experiments/E001/results/summary/global_barrier__saturated_receiver__seed-43.json b/experiments/E001/results/summary/global_barrier__saturated_receiver__seed-43.json new file mode 100644 index 0000000..60d9640 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__saturated_receiver__seed-43.json @@ -0,0 +1,57 @@ +{ + "active_at_end": 0, + "admitted": 48, + "completed": 48, + "configuration": "global_barrier", + "coordination_event_total": 245, + "coordination_events": { + "receipt": 96, + "validate": 96, + "wait": 53 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 34, + "p50": 3, + "p95": 30 + }, + "maximum_occupancy": { + "A": 7, + "B": 4, + "C": 2 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 20, + "mean_occupancy": { + "A": 0.85, + "B": 0.433333, + "C": 0.2625 + }, + "occupancy_time": { + "A": 204, + "B": 104, + "C": 63 + }, + "offered": 48, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__saturated_receiver__seed-43", + "scenario": "saturated_receiver", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "eb51f98185b4cbf75ef3be9d426fbdc425e194ab6e85a74cfb64dcd5a34f922c", + "terminal_counts": { + "completed": 48 + }, + "throughput_per_tick": 0.2, + "trace_digest": "81bdb35093276c5781528165c19f40546110a17f4b8badc4a6a064f52db584f0", + "workload_digest": "fcdff9b343b2ed4a5aeccce76024db9a462874765576d79797e7de7531157134" +} diff --git a/experiments/E001/results/summary/global_barrier__slow_neighbor__seed-17.json b/experiments/E001/results/summary/global_barrier__slow_neighbor__seed-17.json new file mode 100644 index 0000000..1af7681 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__slow_neighbor__seed-17.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "global_barrier", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 33, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 19, + "p50": 4, + "p95": 16 + }, + "maximum_occupancy": { + "A": 1, + "B": 6, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.120833, + "B": 0.804167, + "C": 0.1125 + }, + "occupancy_time": { + "A": 29, + "B": 193, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "global_barrier__slow_neighbor__seed-17", + "scenario": "slow_neighbor", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "44e276de35c7883ce5a8be27bbb411e6c06ede557a9212f71969067834ac6005", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "5451c9f5742beef66d2570aafa083055a54663b25d968795c7681245251ddfcc", + "workload_digest": "4d82126140038968748a993179b96e5484077d71ba91a6ea3e18eaf541f3554c" +} diff --git a/experiments/E001/results/summary/global_barrier__slow_neighbor__seed-29.json b/experiments/E001/results/summary/global_barrier__slow_neighbor__seed-29.json new file mode 100644 index 0000000..b150209 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__slow_neighbor__seed-29.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "global_barrier", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 33, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 19, + "p50": 4, + "p95": 16 + }, + "maximum_occupancy": { + "A": 1, + "B": 6, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.120833, + "B": 0.804167, + "C": 0.1125 + }, + "occupancy_time": { + "A": 29, + "B": 193, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "global_barrier__slow_neighbor__seed-29", + "scenario": "slow_neighbor", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "df847d54abb6d0f747c1b15204972d93c72547a1339b8d6ea480580de2088529", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "941895515576421a3e43585ba694e78d89d3022e1f4b755e41cfdd16819f8b73", + "workload_digest": "1002d00ec8ffc8b9961f40cfe490374628c84f21db097425209874c2c5eebe0f" +} diff --git a/experiments/E001/results/summary/global_barrier__slow_neighbor__seed-43.json b/experiments/E001/results/summary/global_barrier__slow_neighbor__seed-43.json new file mode 100644 index 0000000..6e9d7a4 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__slow_neighbor__seed-43.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "global_barrier", + "coordination_event_total": 160, + "coordination_events": { + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 33, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 19, + "p50": 4, + "p95": 16 + }, + "maximum_occupancy": { + "A": 1, + "B": 6, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.120833, + "B": 0.804167, + "C": 0.1125 + }, + "occupancy_time": { + "A": 29, + "B": 193, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "global_barrier__slow_neighbor__seed-43", + "scenario": "slow_neighbor", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "81cfbab31e466289d832c76887b2b7000379871cd331b96bbebabce3a1aff556", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "7e79540926b1bb42e8cd037bf00d0919e38c3717020fbec31a60ca5d775dd150", + "workload_digest": "2608f59118d63c9230f1e799f014514ff11ad583182466ed1f4408e1720826df" +} diff --git a/experiments/E001/results/summary/global_barrier__stale_feedback__seed-17.json b/experiments/E001/results/summary/global_barrier__stale_feedback__seed-17.json new file mode 100644 index 0000000..d77b7e2 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__stale_feedback__seed-17.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "global_barrier", + "coordination_event_total": 161, + "coordination_events": { + "receipt": 80, + "validate": 81 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__stale_feedback__seed-17", + "scenario": "stale_feedback", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 1, + "summary_digest": "8109d0dd25ddbed76d1bf8b342dbb8ea7814f70779670d56946bf45b85769978", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "1c46457a86031b6bed8e9a79a4890791567ecf3b46f00dffedcd4d6be1b11067", + "workload_digest": "63724684c92d068fedd37a1450971e6f3cc3cb16e69b379937d9c59c248fc4ce" +} diff --git a/experiments/E001/results/summary/global_barrier__stale_feedback__seed-29.json b/experiments/E001/results/summary/global_barrier__stale_feedback__seed-29.json new file mode 100644 index 0000000..2871388 --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__stale_feedback__seed-29.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "global_barrier", + "coordination_event_total": 161, + "coordination_events": { + "receipt": 80, + "validate": 81 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__stale_feedback__seed-29", + "scenario": "stale_feedback", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 1, + "summary_digest": "a2f07750ac986d56984d2875d44d6b5e3de6818634adacb7dd97d62269e21462", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "bf400d650e24b89aa962bd44f012e5ed43f7ec76f638ad0ce924c715b6558d88", + "workload_digest": "7f27254100abd6d0dedd005661ee6bade06c199544f5b2bdff496dfc70eda68e" +} diff --git a/experiments/E001/results/summary/global_barrier__stale_feedback__seed-43.json b/experiments/E001/results/summary/global_barrier__stale_feedback__seed-43.json new file mode 100644 index 0000000..8b4dd5a --- /dev/null +++ b/experiments/E001/results/summary/global_barrier__stale_feedback__seed-43.json @@ -0,0 +1,56 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "global_barrier", + "coordination_event_total": 161, + "coordination_events": { + "receipt": 80, + "validate": 81 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "global_barrier__stale_feedback__seed-43", + "scenario": "stale_feedback", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 1, + "summary_digest": "13a2ea336f9c64a588c7f73e669043dd38889a9ec90d27d1e3080c182b367eb9", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "5dfae6e01b44826cc99fa597c854ecf0e2f4d7e6cb27534607706e52da236035", + "workload_digest": "727ff29b7986bd116df7a74bcf54bfc124a9504ff085ac7a4c2678303f293452" +} diff --git a/experiments/E001/results/summary/local_cbf__balanced__seed-17.json b/experiments/E001/results/summary/local_cbf__balanced__seed-17.json new file mode 100644 index 0000000..6912e79 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__balanced__seed-17.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "local_cbf", + "coordination_event_total": 320, + "coordination_events": { + "credit_grant": 80, + "propose": 80, + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__balanced__seed-17", + "scenario": "balanced", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "8e6fe6b5dad2ef94ba2487cac9cff6b65bade02d449c51b8e5d7c0fa078230a7", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "f369a406be455af06105ca9e0ee999c48f6f3fcec4312a59de271f526d26afd7", + "workload_digest": "1227611241fb29235127df602f33a257841fada12439e7cfe4a0ac694ec10629" +} diff --git a/experiments/E001/results/summary/local_cbf__balanced__seed-29.json b/experiments/E001/results/summary/local_cbf__balanced__seed-29.json new file mode 100644 index 0000000..26e45f9 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__balanced__seed-29.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "local_cbf", + "coordination_event_total": 320, + "coordination_events": { + "credit_grant": 80, + "propose": 80, + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__balanced__seed-29", + "scenario": "balanced", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "435aa78ff67f0933020e1d723482b0ad1060e71571824ea310ff1839fa7ba267", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "71a64d7daf71f386701d5a7e939516e8e66954acef22f458089d9a8371efd315", + "workload_digest": "d9c4e7f9f632117715b29ce2caa0055db052d23e5a0bcba611cae8cef563455d" +} diff --git a/experiments/E001/results/summary/local_cbf__balanced__seed-43.json b/experiments/E001/results/summary/local_cbf__balanced__seed-43.json new file mode 100644 index 0000000..c97be42 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__balanced__seed-43.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "local_cbf", + "coordination_event_total": 320, + "coordination_events": { + "credit_grant": 80, + "propose": 80, + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__balanced__seed-43", + "scenario": "balanced", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "87538c8616ea93b30f7773bd766dd74e60747a68ff174e39a1abc2717ed08a04", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "19c53016ae4d9183dc5c480226ea648dc53248e2501fd2b65cbb36c5c32068ba", + "workload_digest": "cda97bf82bf994fb1e07c870ae51439315afff7f8231d9f246f226d5b22dc5c1" +} diff --git a/experiments/E001/results/summary/local_cbf__burst__seed-17.json b/experiments/E001/results/summary/local_cbf__burst__seed-17.json new file mode 100644 index 0000000..68d20c9 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__burst__seed-17.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 64, + "completed": 64, + "configuration": "local_cbf", + "coordination_event_total": 512, + "coordination_events": { + "credit_grant": 128, + "propose": 128, + "receipt": 128, + "validate": 128 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 15, + "p50": 5, + "p95": 14 + }, + "maximum_occupancy": { + "A": 5, + "B": 5, + "C": 5 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.5625, + "B": 0.583333, + "C": 0.5875 + }, + "occupancy_time": { + "A": 135, + "B": 140, + "C": 141 + }, + "offered": 64, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__burst__seed-17", + "scenario": "burst", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "525e5d1d2bfd6b3e08710769c51019f015714adedb19fd488c51f0a07df491a6", + "terminal_counts": { + "completed": 64 + }, + "throughput_per_tick": 0.266666667, + "trace_digest": "7ab6e51db84216aa0b0e77e580f322059503ff45af0effeaff4f9bea17a3bac2", + "workload_digest": "baab89628aca95eaa5108a19e435dc7e0238afeeefe7f57fb6b875a5f2015416" +} diff --git a/experiments/E001/results/summary/local_cbf__burst__seed-29.json b/experiments/E001/results/summary/local_cbf__burst__seed-29.json new file mode 100644 index 0000000..aec2474 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__burst__seed-29.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 64, + "completed": 64, + "configuration": "local_cbf", + "coordination_event_total": 512, + "coordination_events": { + "credit_grant": 128, + "propose": 128, + "receipt": 128, + "validate": 128 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 15, + "p50": 5, + "p95": 14 + }, + "maximum_occupancy": { + "A": 5, + "B": 5, + "C": 5 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.5625, + "B": 0.583333, + "C": 0.5875 + }, + "occupancy_time": { + "A": 135, + "B": 140, + "C": 141 + }, + "offered": 64, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__burst__seed-29", + "scenario": "burst", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "49decbd0ee4b5fa8601388e8ab1b8ae5b1f984e316085b8e5113e4ea48b7ce13", + "terminal_counts": { + "completed": 64 + }, + "throughput_per_tick": 0.266666667, + "trace_digest": "602f99a4838e730a123108e113b9bbe54ea3602e8c7f177f58dba398d538563b", + "workload_digest": "289446dc7fbf245774394957ebe2a7962cf801e33ebe64c4f3ffadabb2c88a7f" +} diff --git a/experiments/E001/results/summary/local_cbf__burst__seed-43.json b/experiments/E001/results/summary/local_cbf__burst__seed-43.json new file mode 100644 index 0000000..f01e041 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__burst__seed-43.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 64, + "completed": 64, + "configuration": "local_cbf", + "coordination_event_total": 512, + "coordination_events": { + "credit_grant": 128, + "propose": 128, + "receipt": 128, + "validate": 128 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 15, + "p50": 5, + "p95": 14 + }, + "maximum_occupancy": { + "A": 5, + "B": 5, + "C": 5 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.5625, + "B": 0.583333, + "C": 0.5875 + }, + "occupancy_time": { + "A": 135, + "B": 140, + "C": 141 + }, + "offered": 64, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__burst__seed-43", + "scenario": "burst", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "4687004b6ea2d9014700f00a731a9b4cfb0617c2a18bddf37aac50414df5ece4", + "terminal_counts": { + "completed": 64 + }, + "throughput_per_tick": 0.266666667, + "trace_digest": "6f87977256c979d0cb7e8eea141bd20c713a66bee17ef5664555d6329b84c0cf", + "workload_digest": "a392565697a4b580b3c793a580965dc6ab6e2b2556dadd0c9d750e9565425d6e" +} diff --git a/experiments/E001/results/summary/local_cbf__circular_wait__seed-17.json b/experiments/E001/results/summary/local_cbf__circular_wait__seed-17.json new file mode 100644 index 0000000..280bc27 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__circular_wait__seed-17.json @@ -0,0 +1,57 @@ +{ + "active_at_end": 0, + "admitted": 24, + "completed": 0, + "configuration": "local_cbf", + "coordination_event_total": 540, + "coordination_events": { + "credit_deny": 180, + "propose": 180, + "wait": 180 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": null, + "p50": null, + "p95": null + }, + "maximum_occupancy": { + "A": 8, + "B": 8, + "C": 8 + }, + "maximum_unresolved_obligations": 0, + "maximum_wait": 60, + "mean_occupancy": { + "A": 2.0, + "B": 2.0, + "C": 2.0 + }, + "occupancy_time": { + "A": 480, + "B": 480, + "C": 480 + }, + "offered": 24, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__circular_wait__seed-17", + "scenario": "circular_wait", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "d3e7aee4c87e5c18317354915bb4f64970a99f5cce6648d60a2290f639cdc281", + "terminal_counts": { + "expired_deadline": 24 + }, + "throughput_per_tick": 0.0, + "trace_digest": "63347d9f5e8ed4b5fbbcfc52ac5dcaa1202789d36329b4f302fd704e2c9d57bf", + "workload_digest": "38efa2ef401872607122d7bdf4b16c932b6f926ddf93f786e4d852ef04d68345" +} diff --git a/experiments/E001/results/summary/local_cbf__circular_wait__seed-29.json b/experiments/E001/results/summary/local_cbf__circular_wait__seed-29.json new file mode 100644 index 0000000..7afa111 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__circular_wait__seed-29.json @@ -0,0 +1,57 @@ +{ + "active_at_end": 0, + "admitted": 24, + "completed": 0, + "configuration": "local_cbf", + "coordination_event_total": 540, + "coordination_events": { + "credit_deny": 180, + "propose": 180, + "wait": 180 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": null, + "p50": null, + "p95": null + }, + "maximum_occupancy": { + "A": 8, + "B": 8, + "C": 8 + }, + "maximum_unresolved_obligations": 0, + "maximum_wait": 60, + "mean_occupancy": { + "A": 2.0, + "B": 2.0, + "C": 2.0 + }, + "occupancy_time": { + "A": 480, + "B": 480, + "C": 480 + }, + "offered": 24, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__circular_wait__seed-29", + "scenario": "circular_wait", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "b21114a56de522b19cca0e9fe14a6609bcc9999f404123c96ffdd1d0f9a6d76e", + "terminal_counts": { + "expired_deadline": 24 + }, + "throughput_per_tick": 0.0, + "trace_digest": "43faf65d6891d73e54775242cb502dc0538c5072ef463bce84ebd774868a4356", + "workload_digest": "20cf796a0cb91ec2dfb5fe070d9055c9322749ad38c6a1d17afd73135c67401e" +} diff --git a/experiments/E001/results/summary/local_cbf__circular_wait__seed-43.json b/experiments/E001/results/summary/local_cbf__circular_wait__seed-43.json new file mode 100644 index 0000000..14f8ef1 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__circular_wait__seed-43.json @@ -0,0 +1,57 @@ +{ + "active_at_end": 0, + "admitted": 24, + "completed": 0, + "configuration": "local_cbf", + "coordination_event_total": 540, + "coordination_events": { + "credit_deny": 180, + "propose": 180, + "wait": 180 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": null, + "p50": null, + "p95": null + }, + "maximum_occupancy": { + "A": 8, + "B": 8, + "C": 8 + }, + "maximum_unresolved_obligations": 0, + "maximum_wait": 60, + "mean_occupancy": { + "A": 2.0, + "B": 2.0, + "C": 2.0 + }, + "occupancy_time": { + "A": 480, + "B": 480, + "C": 480 + }, + "offered": 24, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__circular_wait__seed-43", + "scenario": "circular_wait", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "2e23d2a3e88824a25f8f5a7b9fce38fe636b9d8b1c89d9e487c9b3b5a8207ca6", + "terminal_counts": { + "expired_deadline": 24 + }, + "throughput_per_tick": 0.0, + "trace_digest": "674b6c7966e484c145b9b0a1de5a6a1aa068febd8031c25c379b49e244770a7d", + "workload_digest": "14a8d68080a7e324c1dc73d30991bf087fbfef0b3ef31f247ab606b122d9d660" +} diff --git a/experiments/E001/results/summary/local_cbf__failed_neighbor__seed-17.json b/experiments/E001/results/summary/local_cbf__failed_neighbor__seed-17.json new file mode 100644 index 0000000..970265a --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__failed_neighbor__seed-17.json @@ -0,0 +1,61 @@ +{ + "active_at_end": 0, + "admitted": 36, + "completed": 36, + "configuration": "local_cbf", + "coordination_event_total": 411, + "coordination_events": { + "credit_deny": 41, + "credit_grant": 72, + "propose": 113, + "receipt": 72, + "validate": 72, + "wait": 41 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 1, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 15, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 40, + "p50": 3, + "p95": 39 + }, + "maximum_occupancy": { + "A": 8, + "B": 2, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 37, + "mean_occupancy": { + "A": 1.025, + "B": 0.154167, + "C": 0.1125 + }, + "occupancy_time": { + "A": 246, + "B": 37, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "local_cbf__failed_neighbor__seed-17", + "scenario": "failed_neighbor", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "74007b4507cd87690112c7fac0ca4d8e642b4c62c45558428d2b23cb884e06a6", + "terminal_counts": { + "completed": 36, + "rejected_capacity": 4 + }, + "throughput_per_tick": 0.15, + "trace_digest": "b801adb931cd7f24f89e37016a7a6fdc7f3e18073c1992c58b9fb6417a9e8421", + "workload_digest": "a53c20c007100f71b69900c7f47760e6c47dd01622fca3d33ce4b45f396f2163" +} diff --git a/experiments/E001/results/summary/local_cbf__failed_neighbor__seed-29.json b/experiments/E001/results/summary/local_cbf__failed_neighbor__seed-29.json new file mode 100644 index 0000000..a37c440 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__failed_neighbor__seed-29.json @@ -0,0 +1,61 @@ +{ + "active_at_end": 0, + "admitted": 36, + "completed": 36, + "configuration": "local_cbf", + "coordination_event_total": 411, + "coordination_events": { + "credit_deny": 41, + "credit_grant": 72, + "propose": 113, + "receipt": 72, + "validate": 72, + "wait": 41 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 1, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 15, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 40, + "p50": 3, + "p95": 39 + }, + "maximum_occupancy": { + "A": 8, + "B": 2, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 37, + "mean_occupancy": { + "A": 1.025, + "B": 0.154167, + "C": 0.1125 + }, + "occupancy_time": { + "A": 246, + "B": 37, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "local_cbf__failed_neighbor__seed-29", + "scenario": "failed_neighbor", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "642a7b518d9419ee6e0577c999a5aaf58fd6eb8b0bded7ff59fa5998bf9bad5d", + "terminal_counts": { + "completed": 36, + "rejected_capacity": 4 + }, + "throughput_per_tick": 0.15, + "trace_digest": "a30d3153e0549aeaa79272a49d0f006af4e6330bb188f60ebe8169726337a9a9", + "workload_digest": "b342b76b6dc8350a638cbf7f14ebe5dcf24df46555f19ce158f662f10c3e2280" +} diff --git a/experiments/E001/results/summary/local_cbf__failed_neighbor__seed-43.json b/experiments/E001/results/summary/local_cbf__failed_neighbor__seed-43.json new file mode 100644 index 0000000..5bf08d9 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__failed_neighbor__seed-43.json @@ -0,0 +1,61 @@ +{ + "active_at_end": 0, + "admitted": 35, + "completed": 35, + "configuration": "local_cbf", + "coordination_event_total": 397, + "coordination_events": { + "credit_deny": 39, + "credit_grant": 70, + "propose": 109, + "receipt": 70, + "validate": 70, + "wait": 39 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 1, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 15, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 40, + "p50": 3, + "p95": 39 + }, + "maximum_occupancy": { + "A": 8, + "B": 2, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 37, + "mean_occupancy": { + "A": 0.991667, + "B": 0.141667, + "C": 0.1 + }, + "occupancy_time": { + "A": 238, + "B": 34, + "C": 24 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "local_cbf__failed_neighbor__seed-43", + "scenario": "failed_neighbor", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "e5e61caf4f560b5e48f92f54a6b12fcb2185675299a3009879d65c61267453f9", + "terminal_counts": { + "completed": 35, + "rejected_capacity": 5 + }, + "throughput_per_tick": 0.145833333, + "trace_digest": "252ed7871228a70b1c10d987929df626657800ca9c1db97701bf59a6f63ee1ea", + "workload_digest": "a635909af8f1b6b03fb94ebba6e3a7e8b029c61d3d612e4723f06b6b94ee96a6" +} diff --git a/experiments/E001/results/summary/local_cbf__malformed_duplicate__seed-17.json b/experiments/E001/results/summary/local_cbf__malformed_duplicate__seed-17.json new file mode 100644 index 0000000..322b979 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__malformed_duplicate__seed-17.json @@ -0,0 +1,60 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "local_cbf", + "coordination_event_total": 320, + "coordination_events": { + "credit_grant": 80, + "propose": 80, + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 42, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__malformed_duplicate__seed-17", + "scenario": "malformed_duplicate", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "231cfec60ac7e8a58b94c72cc4ea4977c5185163a10317d5729ba29c0cac3781", + "terminal_counts": { + "completed": 40, + "duplicate_ignored": 1, + "rejected_invalid": 1 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "a83f4f9c124d43130c96386c894ac4bd6bcea2513e953b152ecdf2ff563a5ac8", + "workload_digest": "d0e1dc8fdbea45fad9363cc879767fef0ab7a24e34ef9c5ef1172458946afa4c" +} diff --git a/experiments/E001/results/summary/local_cbf__malformed_duplicate__seed-29.json b/experiments/E001/results/summary/local_cbf__malformed_duplicate__seed-29.json new file mode 100644 index 0000000..3379c37 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__malformed_duplicate__seed-29.json @@ -0,0 +1,60 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "local_cbf", + "coordination_event_total": 320, + "coordination_events": { + "credit_grant": 80, + "propose": 80, + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 42, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__malformed_duplicate__seed-29", + "scenario": "malformed_duplicate", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "e95be97fece49ebc5acb27120ce89ea37293db34f1feef53c54043abb1011f59", + "terminal_counts": { + "completed": 40, + "duplicate_ignored": 1, + "rejected_invalid": 1 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "b49c65a26c670da254768cd3b84b4b2310350b31f88624752f79d3fdd972b844", + "workload_digest": "af7fa4f9a7d8e3ef8aab43a79f0c32bed21feab9dbad59057fb0940540f1c4c5" +} diff --git a/experiments/E001/results/summary/local_cbf__malformed_duplicate__seed-43.json b/experiments/E001/results/summary/local_cbf__malformed_duplicate__seed-43.json new file mode 100644 index 0000000..9beedfd --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__malformed_duplicate__seed-43.json @@ -0,0 +1,60 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "local_cbf", + "coordination_event_total": 320, + "coordination_events": { + "credit_grant": 80, + "propose": 80, + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 42, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__malformed_duplicate__seed-43", + "scenario": "malformed_duplicate", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "9c17d9902b636369017f1a02420ce93711a2abe5b30812d6a2874ad2776466e2", + "terminal_counts": { + "completed": 40, + "duplicate_ignored": 1, + "rejected_invalid": 1 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "5561473b2bed48826ddc4d9b1f1d0666d64275c48a725a147a068bfc682c4d3f", + "workload_digest": "2fbd89c3c8d0946153eadb1d2c1ceee69e153cb67663f76a7902e127599a0461" +} diff --git a/experiments/E001/results/summary/local_cbf__saturated_receiver__seed-17.json b/experiments/E001/results/summary/local_cbf__saturated_receiver__seed-17.json new file mode 100644 index 0000000..d625bbb --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__saturated_receiver__seed-17.json @@ -0,0 +1,61 @@ +{ + "active_at_end": 0, + "admitted": 47, + "completed": 47, + "configuration": "local_cbf", + "coordination_event_total": 436, + "coordination_events": { + "credit_deny": 20, + "credit_grant": 94, + "propose": 114, + "receipt": 94, + "validate": 94, + "wait": 20 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 31, + "p50": 3, + "p95": 28 + }, + "maximum_occupancy": { + "A": 8, + "B": 2, + "C": 2 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 20, + "mean_occupancy": { + "A": 0.879167, + "B": 0.183333, + "C": 0.1625 + }, + "occupancy_time": { + "A": 211, + "B": 44, + "C": 39 + }, + "offered": 48, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__saturated_receiver__seed-17", + "scenario": "saturated_receiver", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "7aa6c1f4f975388820ee2e5ee9e2bac7d0c7e4c2e0f571cd06032211c5ce38a7", + "terminal_counts": { + "completed": 47, + "rejected_capacity": 1 + }, + "throughput_per_tick": 0.195833333, + "trace_digest": "eab0bf6b5cbbf45f08a11a108f1fc2d545ecbe881c06590e519e6643b0caf95e", + "workload_digest": "7609c1ccc0f8a3cdf5a4e0702f85be6b994aa117d65729408163088cc27e6c9e" +} diff --git a/experiments/E001/results/summary/local_cbf__saturated_receiver__seed-29.json b/experiments/E001/results/summary/local_cbf__saturated_receiver__seed-29.json new file mode 100644 index 0000000..c434c9d --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__saturated_receiver__seed-29.json @@ -0,0 +1,61 @@ +{ + "active_at_end": 0, + "admitted": 47, + "completed": 47, + "configuration": "local_cbf", + "coordination_event_total": 436, + "coordination_events": { + "credit_deny": 20, + "credit_grant": 94, + "propose": 114, + "receipt": 94, + "validate": 94, + "wait": 20 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 31, + "p50": 3, + "p95": 28 + }, + "maximum_occupancy": { + "A": 8, + "B": 2, + "C": 2 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 20, + "mean_occupancy": { + "A": 0.879167, + "B": 0.183333, + "C": 0.1625 + }, + "occupancy_time": { + "A": 211, + "B": 44, + "C": 39 + }, + "offered": 48, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__saturated_receiver__seed-29", + "scenario": "saturated_receiver", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "bd65920a160e3cf16bfb0a6481efff2c040783f400997318ea83406bb0a5d10b", + "terminal_counts": { + "completed": 47, + "rejected_capacity": 1 + }, + "throughput_per_tick": 0.195833333, + "trace_digest": "f820407b5558a6e8ced2072cd83d6f90acd1606e4a14d198b1094602608f7d5d", + "workload_digest": "18f3045e37826fc743bce5e5cb359a7620d23c8864a2493b75c83721331920a7" +} diff --git a/experiments/E001/results/summary/local_cbf__saturated_receiver__seed-43.json b/experiments/E001/results/summary/local_cbf__saturated_receiver__seed-43.json new file mode 100644 index 0000000..d754c02 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__saturated_receiver__seed-43.json @@ -0,0 +1,61 @@ +{ + "active_at_end": 0, + "admitted": 47, + "completed": 47, + "configuration": "local_cbf", + "coordination_event_total": 436, + "coordination_events": { + "credit_deny": 20, + "credit_grant": 94, + "propose": 114, + "receipt": 94, + "validate": 94, + "wait": 20 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 31, + "p50": 3, + "p95": 28 + }, + "maximum_occupancy": { + "A": 8, + "B": 2, + "C": 2 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 20, + "mean_occupancy": { + "A": 0.879167, + "B": 0.183333, + "C": 0.1625 + }, + "occupancy_time": { + "A": 211, + "B": 44, + "C": 39 + }, + "offered": 48, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__saturated_receiver__seed-43", + "scenario": "saturated_receiver", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "2411600691c8e58f1d33c5cde190fe4652197a359fe79b8aac861b507fe588f9", + "terminal_counts": { + "completed": 47, + "rejected_capacity": 1 + }, + "throughput_per_tick": 0.195833333, + "trace_digest": "64521570f04d3bd493f6573286a2082cd4df74ddc3bcf6d14c4007be750d9443", + "workload_digest": "fcdff9b343b2ed4a5aeccce76024db9a462874765576d79797e7de7531157134" +} diff --git a/experiments/E001/results/summary/local_cbf__slow_neighbor__seed-17.json b/experiments/E001/results/summary/local_cbf__slow_neighbor__seed-17.json new file mode 100644 index 0000000..c826393 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__slow_neighbor__seed-17.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "local_cbf", + "coordination_event_total": 320, + "coordination_events": { + "credit_grant": 80, + "propose": 80, + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 33, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 19, + "p50": 4, + "p95": 16 + }, + "maximum_occupancy": { + "A": 1, + "B": 6, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.120833, + "B": 0.804167, + "C": 0.1125 + }, + "occupancy_time": { + "A": 29, + "B": 193, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "local_cbf__slow_neighbor__seed-17", + "scenario": "slow_neighbor", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "a2decb806f6c77e8082d2efc429a50d2d53c9d213392cc9357ffb839d00f264a", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "a1798e337e26094acb72fc0e8cd7b3bce633c99b8d4fd42f587e0d5c7b248ab4", + "workload_digest": "4d82126140038968748a993179b96e5484077d71ba91a6ea3e18eaf541f3554c" +} diff --git a/experiments/E001/results/summary/local_cbf__slow_neighbor__seed-29.json b/experiments/E001/results/summary/local_cbf__slow_neighbor__seed-29.json new file mode 100644 index 0000000..6af28d6 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__slow_neighbor__seed-29.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "local_cbf", + "coordination_event_total": 320, + "coordination_events": { + "credit_grant": 80, + "propose": 80, + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 33, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 19, + "p50": 4, + "p95": 16 + }, + "maximum_occupancy": { + "A": 1, + "B": 6, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.120833, + "B": 0.804167, + "C": 0.1125 + }, + "occupancy_time": { + "A": 29, + "B": 193, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "local_cbf__slow_neighbor__seed-29", + "scenario": "slow_neighbor", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "7acde8ffc939328ce606ab5deaf87bf1b0064de21580862a6dfdaefecc68b6c7", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "7d37f0fd85793d3102c8fe9258e0ab31fd7e49c0b20b63449afe29e3860ea0f4", + "workload_digest": "1002d00ec8ffc8b9961f40cfe490374628c84f21db097425209874c2c5eebe0f" +} diff --git a/experiments/E001/results/summary/local_cbf__slow_neighbor__seed-43.json b/experiments/E001/results/summary/local_cbf__slow_neighbor__seed-43.json new file mode 100644 index 0000000..9b07993 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__slow_neighbor__seed-43.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "local_cbf", + "coordination_event_total": 320, + "coordination_events": { + "credit_grant": 80, + "propose": 80, + "receipt": 80, + "validate": 80 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 33, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 19, + "p50": 4, + "p95": 16 + }, + "maximum_occupancy": { + "A": 1, + "B": 6, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.120833, + "B": 0.804167, + "C": 0.1125 + }, + "occupancy_time": { + "A": 29, + "B": 193, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": 0, + "run_id": "local_cbf__slow_neighbor__seed-43", + "scenario": "slow_neighbor", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 0, + "summary_digest": "17dfe67fde2117b5815c6ed2c3739590a8b60fd6509e14f17a428bd9306427fb", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "6f40b533c63dc40f45d0e6a2b89734096ea5e8f4d30a61b0c02ad80b5c98311e", + "workload_digest": "2608f59118d63c9230f1e799f014514ff11ad583182466ed1f4408e1720826df" +} diff --git a/experiments/E001/results/summary/local_cbf__stale_feedback__seed-17.json b/experiments/E001/results/summary/local_cbf__stale_feedback__seed-17.json new file mode 100644 index 0000000..4ff83f3 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__stale_feedback__seed-17.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "local_cbf", + "coordination_event_total": 321, + "coordination_events": { + "credit_grant": 80, + "propose": 80, + "receipt": 80, + "validate": 81 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__stale_feedback__seed-17", + "scenario": "stale_feedback", + "schema_version": "e001.summary.v1", + "seed": 17, + "stale_authorization_count": 0, + "stale_rejection_count": 1, + "summary_digest": "d5b805dd8c881db72df3c587bbf364bc516b412fb37a3953093dffd978cb31ff", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "4677d228f284417188d20b0f91dd380c786c2bd188dcdcb2d0c684d32cf22db7", + "workload_digest": "63724684c92d068fedd37a1450971e6f3cc3cb16e69b379937d9c59c248fc4ce" +} diff --git a/experiments/E001/results/summary/local_cbf__stale_feedback__seed-29.json b/experiments/E001/results/summary/local_cbf__stale_feedback__seed-29.json new file mode 100644 index 0000000..386a54d --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__stale_feedback__seed-29.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "local_cbf", + "coordination_event_total": 321, + "coordination_events": { + "credit_grant": 80, + "propose": 80, + "receipt": 80, + "validate": 81 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__stale_feedback__seed-29", + "scenario": "stale_feedback", + "schema_version": "e001.summary.v1", + "seed": 29, + "stale_authorization_count": 0, + "stale_rejection_count": 1, + "summary_digest": "524026bd29f1a2211856a4dc8964c9cf3fb307a4db647628528aa75c51d36247", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "f34a0be3638975ef4137c40a579bcde62bae4491f214b34ddfb8353fae3e30f2", + "workload_digest": "7f27254100abd6d0dedd005661ee6bade06c199544f5b2bdff496dfc70eda68e" +} diff --git a/experiments/E001/results/summary/local_cbf__stale_feedback__seed-43.json b/experiments/E001/results/summary/local_cbf__stale_feedback__seed-43.json new file mode 100644 index 0000000..eb739a0 --- /dev/null +++ b/experiments/E001/results/summary/local_cbf__stale_feedback__seed-43.json @@ -0,0 +1,58 @@ +{ + "active_at_end": 0, + "admitted": 40, + "completed": 40, + "configuration": "local_cbf", + "coordination_event_total": 321, + "coordination_events": { + "credit_grant": 80, + "propose": 80, + "receipt": 80, + "validate": 81 + }, + "duplicate_promotion_count": 0, + "elapsed_simulation_ticks": 240, + "fault_radius": 0, + "final_unresolved_obligations": 0, + "healthy_progress_ticks": 0, + "invariant_violation_count": 0, + "invariant_violations": [], + "latency": { + "maximum": 3, + "p50": 3, + "p95": 3 + }, + "maximum_occupancy": { + "A": 1, + "B": 1, + "C": 1 + }, + "maximum_unresolved_obligations": 1, + "maximum_wait": 0, + "mean_occupancy": { + "A": 0.108333, + "B": 0.1125, + "C": 0.1125 + }, + "occupancy_time": { + "A": 26, + "B": 27, + "C": 27 + }, + "offered": 40, + "provenance_completeness_percent": 100.0, + "recovery_time": null, + "run_id": "local_cbf__stale_feedback__seed-43", + "scenario": "stale_feedback", + "schema_version": "e001.summary.v1", + "seed": 43, + "stale_authorization_count": 0, + "stale_rejection_count": 1, + "summary_digest": "e5e3ed9edde04198731d82ffd1d32956c145c7de91dc9506a60c0ec91b18ed14", + "terminal_counts": { + "completed": 40 + }, + "throughput_per_tick": 0.166666667, + "trace_digest": "2b60edebb9b26d72fa8ac6f4f96279b3a5dba5efb3fe7221358eda41984ef4bb", + "workload_digest": "727ff29b7986bd116df7a74bcf54bfc124a9504ff085ac7a4c2678303f293452" +} diff --git a/experiments/README.md b/experiments/README.md index d16a0de..9428b6d 100644 --- a/experiments/README.md +++ b/experiments/README.md @@ -4,7 +4,7 @@ Experiments convert Superloop claims into reproducible evidence. Each experiment ## E001 — Three-Ring Bounded Flow -**Status:** [Specified — E1](E001/EXPERIMENT__E001__THREE_RING_BOUNDED_FLOW__v0.1__2026-07-13.md) +**Status:** [Completed — scoped E4](E001/results/reports/E001__STAGE_A_RESULTS__v0.1__2026-07-14.md) **Registry ID:** `SW.EXPERIMENT.E001` @@ -43,3 +43,7 @@ Can three recurrent units coordinate work through local interlocks while maintai ### Success condition The CBF configuration remains bounded and live under the declared normal and degraded cases, or produces a clear negative result identifying which architectural assumption failed. The standalone specification freezes the comparison contract, run matrix, invariants, and evidence locations. + +### Result + +The local CBF configuration preserved all hard invariants and reduced fault radius relative to the global barrier under failed-neighbor S5. It incurred higher coordination cost and exposed an exactly-full-ring liveness boundary. The Stage A report recommends proceeding to noncausal pneumatic instrumentation while preserving that limitation. diff --git a/registry/CONCEPT_REGISTRY.md b/registry/CONCEPT_REGISTRY.md index 2ebdd4d..ce4781c 100644 --- a/registry/CONCEPT_REGISTRY.md +++ b/registry/CONCEPT_REGISTRY.md @@ -11,7 +11,7 @@ This registry is the identity and status index for foundational Superloop concep | `SW.CONCEPT.PNEUMATIC_COMPUTATION` | Pneumatic Computation | Formalized | E1 | Computation through pressure-differential mechanisms | | `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 | Specified | E1 | Frozen 72-run comparative simulation; implementation pending | +| `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 | ## Naming rule