Skip to content
This repository was archived by the owner on Aug 7, 2026. It is now read-only.

fix: add missing multi-user-consensus crate + first CI workflow - #3

Merged
kpernyer merged 2 commits into
mainfrom
next
Jul 2, 2026
Merged

kpernyer merged 2 commits into
mainfrom
next

Conversation

@kpernyer

@kpernyer kpernyer commented Jul 2, 2026 •

Copy link
Copy Markdown
Contributor

Two things, both restoring basic factory guarantees:

  1. Repairs a broken main for every consumer: the 2026-06-30 wiring commit referenced crates/multi-user-consensus in the workspace without pushing the crate itself, so any fresh checkout of main (including atelier-showcase's sibling-checkout CI step) fails cargo metadata. This is why atelier PR fix(ci): root-repo KB checkout for intent-codec fixtures #6's checks went red.
  2. First-ever CI for arena-tests (was one of two fleet repos with none): canonical RP-CI-PARITY shape — just ci aggregate in the Justfile, thin single-job ci.yml, dependabot.yml, sibling-checkout script.

Verified locally: cargo fmt --check, cargo check/clippy/test --workspace --all-targets all green against current siblings (needed a SecretProvider trait-import fix in manifold, pushed to manifold-adapters#2).

🤖 Generated with Claude Code


Note

Low Risk
Mostly CI plumbing, a test fixture crate, and integration tests; no production runtime or auth changes.

Overview
Restores a broken workspace by adding the arena-multi-user-consensus crate that was already listed in the root Cargo.toml but never committed, so fresh checkouts can run cargo metadata again.

Introduces first CI for this repo: just ci (fmt-check, check, lint, test), a single-job .github/workflows/ci.yml that clones Reflective sibling repos via scripts/ci/checkout-reflective-siblings.sh, plus weekly Dependabot for Cargo and GitHub Actions. The Justfile gains explicit check/test targets and cargo fmt --all for format checks.

Adds cross-extension smoke tests under crates/cross-extension-smoke/tests/ for Atelier showcase examples (Converge engine + finance HITL), Helm headless coordination (readiness, gates, Converge admission boundaries), and deterministic multi-user consensus at 5/30/100 users.

Reviewed by Cursor Bugbot for commit 2ecce5c. Bugbot is set up for automated code reviews on this repo. Configure here.

kpernyer and others added 2 commits July 2, 2026 10:55
…wiring commit

Commit 1d16939 wired crates/multi-user-consensus into the workspace
members and workspace.dependencies, but the crate directory and the
new cross-extension-smoke tests were never committed, leaving main
unbuildable (cargo cannot load the workspace). Add the crate and the
three smoke tests that exercise it and the atelier/helm scenarios.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
RP-CI-PARITY: add the canonical `just ci` aggregate (fmt-check,
check, lint, test) and a thin single-job GitHub Actions workflow
that runs exactly `just ci`, so the local verdict equals the CI
verdict.

- Justfile: add `ci`, `check`, and `test` recipes; normalize
  `fmt-check`/`fmt` to `--all` form. `report`, `build`, `contracts`,
  and `test-metrics` are preserved.
- .github/workflows/ci.yml: checkout + sibling checkout + zsh (the
  Justfile shell) + pinned Rust 1.96.0 toolchain + rust-cache + just.
- scripts/ci/checkout-reflective-siblings.sh: clone the Reflective-Lab
  sibling repos this workspace consumes via relative path deps,
  mirroring the local reflective/ tree topology (adapted from
  arbiter-policy).
- .github/dependabot.yml: weekly cargo + github-actions updates.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@cursor

cursor Bot commented Jul 2, 2026

Copy link
Copy Markdown

Bugbot couldn't run - usage limit reached

Bugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit.

A user or team admin can review and increase usage limits in the Cursor dashboard.

(requestId: serverGenReqId_9aab3710-606d-421a-a54c-83606dea29f2)

@kpernyer
kpernyer merged commit e1ecc70 into main Jul 2, 2026
1 of 2 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant