Preserve and interpret the E001 Stage A evidence

[AUo959]

What changed

• preserve the canonical E001 archive, checksum, provenance, matrix manifest, and all 72 machine-readable summaries
• publish the Stage A comparative report with explicit hypothesis dispositions, limitations, and exit decision
• record full-ring circulation asymmetry separately as Seed/E0 Observation O001
• update the experiment index, concept registry, and readiness path
• classify E001 itself as Completed / E4-scoped without promoting a general physical or production CBF claim

Canonical evidence

• source commit: 81e7f859f71425bdba7603a61566f9fb47c116f9
• Actions run: 29305465071
• runtime: CPython 3.13.14
• runs: 72 canonical + 72 repeated
• determinism mismatches: 0
• invalid runs: 0
• workload-equivalence mismatches: 0
• archive SHA-256: 584cc15bfeb3cc74dec9d9069cde26e1abaa6f1350c0aa12ae10a9784bd1663b

Result

The local CBF model preserved all hard invariants and improved fault containment relative to the global barrier under failed-neighbor S5. It matched, but did not outperform, the central baseline on containment; it also required materially more coordination. At exactly full circular occupancy, strict local credits expired all work accountably while atomic baselines rotated the ring.

The report recommends proceeding to Stage B with pressure and flow quantities as noncausal observables. Any mechanism that uses those quantities to create credit or authorize cyclic exchange requires a new specification.

Validation

• 13 unit and invariant tests passed
• repository integrity passed
• every preserved JSON file parsed successfully
• manifest digest matched provenance
• all 72 summary digests matched the manifest
• repository archive checksum passed
• generated summaries matched the downloaded Actions artifact
• git diff --check passed

[Copilot]

Pull request overview

This PR preserves the E001 Stage A “canonical evidence” (archive, manifest, provenance, and machine summaries) and publishes the corresponding Stage A comparative report/observation, while updating the repository’s readiness and registry/index documents to reflect E001’s E4-scoped completion and the Stage B path.

Changes:

• Updates readiness, experiment index, and concept registry to reflect E001 Stage A completion and Stage B next steps.
• Adds preserved canonical evidence artifacts (compressed archive + checksum, manifest, provenance, and per-run JSON summaries).
• Adds Stage A report and records the full-ring circulation asymmetry as Observation O001 (Seed / E0).

Reviewed changes

Copilot reviewed 82 out of 83 changed files in this pull request and generated 1 comment.

Show a summary per file

File	Description
REPOSITORY_READINESS.md	Updates the current critical path and records E001 Stage A completion checklist.
registry/CONCEPT_REGISTRY.md	Marks SW.EXPERIMENT.E001 as Completed and E4-scoped.
experiments/README.md	Updates E001 status link to the Stage A report and adds a summarized result section.
experiments/E001/results/README.md	Documents the preserved Stage A canonical evidence set and links to artifacts.
experiments/E001/results/raw/E001__CANONICAL_EVIDENCE__81e7f859f71425bdba7603a61566f9fb47c116f9.tar.gz	Adds compressed canonical evidence archive.
experiments/E001/results/raw/E001__CANONICAL_EVIDENCE__81e7f859f71425bdba7603a61566f9fb47c116f9.tar.gz.sha256	Adds archive checksum file.
experiments/E001/results/reports/E001__STAGE_A_RESULTS__v0.1__2026-07-14.md	Adds the Stage A comparative report with hypothesis dispositions and exit decision.
experiments/E001/observations/README.md	Adds an index of recorded E001 observations.
experiments/E001/observations/E001__OBSERVATION__FULL_RING_CIRCULATION_ASYMMETRY__v0.1__2026-07-14.md	Records Observation O001 (full-ring circulation asymmetry) as Seed/E0.
experiments/E001/results/summary/PROVENANCE__E001__81e7f859.json	Adds provenance metadata for the canonical matrix generation/validation.
experiments/E001/results/summary/MATRIX_MANIFEST__E001__81e7f859.json	Adds the matrix manifest mapping run IDs to summary digests.
experiments/E001/results/summary/central__balanced__seed-17.json	Adds run summary (central / balanced / seed-17).
experiments/E001/results/summary/central__balanced__seed-29.json	Adds run summary (central / balanced / seed-29).
experiments/E001/results/summary/central__balanced__seed-43.json	Adds run summary (central / balanced / seed-43).
experiments/E001/results/summary/central__burst__seed-17.json	Adds run summary (central / burst / seed-17).
experiments/E001/results/summary/central__burst__seed-29.json	Adds run summary (central / burst / seed-29).
experiments/E001/results/summary/central__burst__seed-43.json	Adds run summary (central / burst / seed-43).
experiments/E001/results/summary/central__circular_wait__seed-17.json	Adds run summary (central / circular_wait / seed-17).
experiments/E001/results/summary/central__circular_wait__seed-29.json	Adds run summary (central / circular_wait / seed-29).
experiments/E001/results/summary/central__circular_wait__seed-43.json	Adds run summary (central / circular_wait / seed-43).
experiments/E001/results/summary/central__failed_neighbor__seed-17.json	Adds run summary (central / failed_neighbor / seed-17).
experiments/E001/results/summary/central__failed_neighbor__seed-29.json	Adds run summary (central / failed_neighbor / seed-29).
experiments/E001/results/summary/central__failed_neighbor__seed-43.json	Adds run summary (central / failed_neighbor / seed-43).
experiments/E001/results/summary/central__malformed_duplicate__seed-17.json	Adds run summary (central / malformed_duplicate / seed-17).
experiments/E001/results/summary/central__malformed_duplicate__seed-29.json	Adds run summary (central / malformed_duplicate / seed-29).
experiments/E001/results/summary/central__malformed_duplicate__seed-43.json	Adds run summary (central / malformed_duplicate / seed-43).
experiments/E001/results/summary/central__saturated_receiver__seed-17.json	Adds run summary (central / saturated_receiver / seed-17).
experiments/E001/results/summary/central__saturated_receiver__seed-29.json	Adds run summary (central / saturated_receiver / seed-29).
experiments/E001/results/summary/central__saturated_receiver__seed-43.json	Adds run summary (central / saturated_receiver / seed-43).
experiments/E001/results/summary/central__slow_neighbor__seed-17.json	Adds run summary (central / slow_neighbor / seed-17).
experiments/E001/results/summary/central__slow_neighbor__seed-29.json	Adds run summary (central / slow_neighbor / seed-29).
experiments/E001/results/summary/central__slow_neighbor__seed-43.json	Adds run summary (central / slow_neighbor / seed-43).
experiments/E001/results/summary/central__stale_feedback__seed-17.json	Adds run summary (central / stale_feedback / seed-17).
experiments/E001/results/summary/central__stale_feedback__seed-29.json	Adds run summary (central / stale_feedback / seed-29).
experiments/E001/results/summary/central__stale_feedback__seed-43.json	Adds run summary (central / stale_feedback / seed-43).
experiments/E001/results/summary/global_barrier__balanced__seed-17.json	Adds run summary (global_barrier / balanced / seed-17).
experiments/E001/results/summary/global_barrier__balanced__seed-29.json	Adds run summary (global_barrier / balanced / seed-29).
experiments/E001/results/summary/global_barrier__balanced__seed-43.json	Adds run summary (global_barrier / balanced / seed-43).
experiments/E001/results/summary/global_barrier__burst__seed-17.json	Adds run summary (global_barrier / burst / seed-17).
experiments/E001/results/summary/global_barrier__burst__seed-29.json	Adds run summary (global_barrier / burst / seed-29).
experiments/E001/results/summary/global_barrier__burst__seed-43.json	Adds run summary (global_barrier / burst / seed-43).
experiments/E001/results/summary/global_barrier__circular_wait__seed-17.json	Adds run summary (global_barrier / circular_wait / seed-17).
experiments/E001/results/summary/global_barrier__circular_wait__seed-29.json	Adds run summary (global_barrier / circular_wait / seed-29).
experiments/E001/results/summary/global_barrier__circular_wait__seed-43.json	Adds run summary (global_barrier / circular_wait / seed-43).
experiments/E001/results/summary/global_barrier__failed_neighbor__seed-17.json	Adds run summary (global_barrier / failed_neighbor / seed-17).
experiments/E001/results/summary/global_barrier__failed_neighbor__seed-29.json	Adds run summary (global_barrier / failed_neighbor / seed-29).
experiments/E001/results/summary/global_barrier__failed_neighbor__seed-43.json	Adds run summary (global_barrier / failed_neighbor / seed-43).
experiments/E001/results/summary/global_barrier__malformed_duplicate__seed-17.json	Adds run summary (global_barrier / malformed_duplicate / seed-17).
experiments/E001/results/summary/global_barrier__malformed_duplicate__seed-29.json	Adds run summary (global_barrier / malformed_duplicate / seed-29).
experiments/E001/results/summary/global_barrier__malformed_duplicate__seed-43.json	Adds run summary (global_barrier / malformed_duplicate / seed-43).
experiments/E001/results/summary/global_barrier__saturated_receiver__seed-17.json	Adds run summary (global_barrier / saturated_receiver / seed-17).
experiments/E001/results/summary/global_barrier__saturated_receiver__seed-29.json	Adds run summary (global_barrier / saturated_receiver / seed-29).
experiments/E001/results/summary/global_barrier__saturated_receiver__seed-43.json	Adds run summary (global_barrier / saturated_receiver / seed-43).
experiments/E001/results/summary/global_barrier__slow_neighbor__seed-17.json	Adds run summary (global_barrier / slow_neighbor / seed-17).
experiments/E001/results/summary/global_barrier__slow_neighbor__seed-29.json	Adds run summary (global_barrier / slow_neighbor / seed-29).
experiments/E001/results/summary/global_barrier__slow_neighbor__seed-43.json	Adds run summary (global_barrier / slow_neighbor / seed-43).
experiments/E001/results/summary/global_barrier__stale_feedback__seed-17.json	Adds run summary (global_barrier / stale_feedback / seed-17).
experiments/E001/results/summary/global_barrier__stale_feedback__seed-29.json	Adds run summary (global_barrier / stale_feedback / seed-29).
experiments/E001/results/summary/global_barrier__stale_feedback__seed-43.json	Adds run summary (global_barrier / stale_feedback / seed-43).
experiments/E001/results/summary/local_cbf__balanced__seed-17.json	Adds run summary (local_cbf / balanced / seed-17).
experiments/E001/results/summary/local_cbf__balanced__seed-29.json	Adds run summary (local_cbf / balanced / seed-29).
experiments/E001/results/summary/local_cbf__balanced__seed-43.json	Adds run summary (local_cbf / balanced / seed-43).
experiments/E001/results/summary/local_cbf__burst__seed-17.json	Adds run summary (local_cbf / burst / seed-17).
experiments/E001/results/summary/local_cbf__burst__seed-29.json	Adds run summary (local_cbf / burst / seed-29).
experiments/E001/results/summary/local_cbf__burst__seed-43.json	Adds run summary (local_cbf / burst / seed-43).
experiments/E001/results/summary/local_cbf__circular_wait__seed-17.json	Adds run summary (local_cbf / circular_wait / seed-17).
experiments/E001/results/summary/local_cbf__circular_wait__seed-29.json	Adds run summary (local_cbf / circular_wait / seed-29).
experiments/E001/results/summary/local_cbf__circular_wait__seed-43.json	Adds run summary (local_cbf / circular_wait / seed-43).
experiments/E001/results/summary/local_cbf__failed_neighbor__seed-17.json	Adds run summary (local_cbf / failed_neighbor / seed-17).
experiments/E001/results/summary/local_cbf__failed_neighbor__seed-29.json	Adds run summary (local_cbf / failed_neighbor / seed-29).
experiments/E001/results/summary/local_cbf__failed_neighbor__seed-43.json	Adds run summary (local_cbf / failed_neighbor / seed-43).
experiments/E001/results/summary/local_cbf__malformed_duplicate__seed-17.json	Adds run summary (local_cbf / malformed_duplicate / seed-17).
experiments/E001/results/summary/local_cbf__malformed_duplicate__seed-29.json	Adds run summary (local_cbf / malformed_duplicate / seed-29).
experiments/E001/results/summary/local_cbf__malformed_duplicate__seed-43.json	Adds run summary (local_cbf / malformed_duplicate / seed-43).
experiments/E001/results/summary/local_cbf__saturated_receiver__seed-17.json	Adds run summary (local_cbf / saturated_receiver / seed-17).
experiments/E001/results/summary/local_cbf__saturated_receiver__seed-29.json	Adds run summary (local_cbf / saturated_receiver / seed-29).
experiments/E001/results/summary/local_cbf__saturated_receiver__seed-43.json	Adds run summary (local_cbf / saturated_receiver / seed-43).
experiments/E001/results/summary/local_cbf__slow_neighbor__seed-17.json	Adds run summary (local_cbf / slow_neighbor / seed-17).
experiments/E001/results/summary/local_cbf__slow_neighbor__seed-29.json	Adds run summary (local_cbf / slow_neighbor / seed-29).
experiments/E001/results/summary/local_cbf__slow_neighbor__seed-43.json	Adds run summary (local_cbf / slow_neighbor / seed-43).
experiments/E001/results/summary/local_cbf__stale_feedback__seed-17.json	Adds run summary (local_cbf / stale_feedback / seed-17).
experiments/E001/results/summary/local_cbf__stale_feedback__seed-29.json	Adds run summary (local_cbf / stale_feedback / seed-29).
experiments/E001/results/summary/local_cbf__stale_feedback__seed-43.json	Adds run summary (local_cbf / stale_feedback / seed-43).

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.