Skip to content

arm-ci-sellers: cited extdeps census of every CI seller with ARM runners (silicon, price, own-metal vs resold) - #11331

Closed
gunbai-bot[bot] wants to merge 25 commits into
mainfrom
session/sharp-pike-359
Closed

arm-ci-sellers: cited extdeps census of every CI seller with ARM runners (silicon, price, own-metal vs resold)#11331
gunbai-bot[bot] wants to merge 25 commits into
mainfrom
session/sharp-pike-359

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Sep 14, 2026

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session sharp-pike-359.
Pushing to session/sharp-pike-359 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

  • Title describes the change (not the session id or branch).
  • PR body summarises what and why (replace the TODO below).
  • Tests run: name the command (e.g. npm test, cargo test) and the result.
  • If this closes a work item, the body contains a Closes #N directive.
  • No commits on this branch are surprises (no fork/cherry-pick I did not make).
  • No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

  • TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

gunbc-ci-auto-heal and others added 25 commits September 13, 2026 02:45
gunbc-ci-auto-heal @cursoragent
Cite every ARM Linux CI seller as its own extdeps module.
21cfee0 
Gives the operator a typed roster (silicon, list price, own-metal vs resold cloud) from first-party catalog pages dated 2026-09-13, with the wholesale join in gunbc rather than a product hub.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Consume Ubicloud's price row and ground ARM label citations independe…
89e760b 
…ntly.

The offer must not restated 1250 micros beside extdeps.pricing.ubicloud, and the Aarch64-label check must fail an uncited spelling on the same helper the live catalogs use.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Join ARM CI sellers by provider identity and enroll RunsOn labels.
d3735b7 
Replace census count oracles with DeclarationRef identity joins, type Mac/Hetzner exclusions as constructors the join reads, and put runs_on_label_catalog on the surveyed label roster.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Drop tautological census witnesses and Mac/Hetzner decoration types.
ac5e7f8 
Scope exclusions live on the surveyed-offer annotation; seller enrollment stays the identity join plus the cited-label RED.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Carry CircleCI ARM list price as CreditsPerMinute, not a bare Nat.
7571b77 
Credits per minute is a measured rate; the count belongs in std.measure next to RevolutionsPerMinute, and ArmCreditsPerMinute consumes that carrier.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Treat Cirrus as shut down and require offer standing besides a price …
013fd27 
…page.

A reachable price table is not evidence the service is offered. Cirrus Runners matches BuildJet: cited shutdown from cirruslabs.org. SellerOfferStanding records signup/status versus unread versus not accepting.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Demote Depot and CircleCI offer standing: pricing pages are not signu…
634a57a 
…p evidence.

CurrentlyAcceptingCustomers requires a status, announcement, or sign-up surface; depot.dev/pricing and circleci.com/pricing only publish rates.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Consume GitHub ARM list price from pricing and unread docs-only offer…
bfa7cd7 
… standing.

The Actions 2-core ARM rate already lives in github_actions_linux_arm_2core_price; GitHub, GitLab, and CodeBuild cited only shape docs for CurrentlyAcceptingCustomers.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Install the stage0 std_measure mirror for AccountCredit and CreditsPe…
c1cbb63 
…rMinute.

CreditsPerMinute was authored in std.measure without the emitted seed, so required-ci refused generated surface drift on std_measure.rs.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Declare the census consumption frontier: private #88 after main, then…
adb37fe 
… SupplierHypothesis.

The roster is executed today only by the identity-join witness; §3c requires the later consumers and their triggers beside the list.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Enrol the ARM census later-consumer as a FrontierRow, not prose.
fc3ee94 
Private #88 is closed; name strategy.ci_compute_offer_catalog (#113) and SupplierHypothesis, and enroll the row on census_closure_frontier so dissolution can see the trigger.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Merge origin/main into session/sharp-pike-359.
c873d01 
Keep both census_closure_frontier enrollments: job_admission from main and the ARM seller later-consumer row.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Bind ARM list prices to a catalog label and compose offers in the cen…
6e88106 
…sus.

Unread silicon, channel, price, and standing are observation coverage in
gunbc.arm_ci_seller_census, not Unread properties authored on seller modules.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Give CircleCI credits the same billing-period axis as MoneyRate.
eab5e2d 
CreditsPerMinute is CreditRate<PerMinute>, not a One-scaled Measure whose
period lived only in the alias.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Scope CircleCI credits to their issuer and drop unused AccountCredit.
c2b7eaa 
CreditRate stays period-parameterized; the seller identity lives on
ArmCreditsPerMinute. credits_per_minute_count is consumed by the census witness.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Keep CreditRate on PerMinute in ci_runner types, not the stage0 measu…
27db5cf 
…re mirror.

Hand-editing std_measure.rs drifted required-regen. CircleCI credits still use
the MoneyRate period phantom; issuer stays on ArmCreditsPerMinute.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Require a cited page on ARM silicon claims and unread Namespace Amper…
af63afa 
…eOne.

CitedSku/CitedWords were constructible without naming a source, unlike offer standing. Namespace never cited AmpereOne on its authority pages, so that claim leaves the seller module.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Document why ArmSilicon cited arms require cited_surface.
75dbcd2 
Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal
Merge origin/main into session/sharp-pike-359.
5f808bb
gunbc-ci-auto-heal @cursoragent
Give CreditRate an AccountCredit issuer, matching MoneyRate's currency.
308db61 
CircleCI credits were a period-only count, type-identical across sellers. AccountCredit is now the denomination field so the type is consumed and the count helper has a caller. Mirror follows the merged measure.dag.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Match the required-regen emit of CreditRate in std_measure.rs.
d38cb35 
count is i64 and issuer signatures use String the way the stage0 emitter writes MoneyRate siblings; the previous hand mirror drifted the build lane.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Drop unused ArmUsdPerMonth and fold provider membership into one helper.
6fbc049 
The monthly arm had no instance after Cirrus was SellerNotOffering. Five list-membership wrappers were the same fold over offer_has_provider.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Use any for cited ARM label membership instead of a fold-or.
db6e07a 
The census already uses any; reinventing membership as fold(init: false, ||) was a second combinator for the same fact.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Merge origin/main into session/sharp-pike-359.
2f177a9 
Keep both census_closure_frontier enrollments: data_class from main and the ARM seller later-consumer row.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc-ci-auto-heal @cursoragent
Type AccountCredit issuer as DeclarationRef, not a module-path string.
cfded0f 
CircleCI credits already had circleci_provider_identity; the string was a second name for the same seller.

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot

gunbai-bot Bot commented Sep 14, 2026

Copy link
Copy Markdown
Contributor Author

Closing as a dashboard auto-opened duplicate. The census already landed via squash-merge of #11232 (same branch session/sharp-pike-359, same head content now on main as dag/gunbc/arm_ci_seller_census and the per-seller extdeps.ci_runner.* modules). Marking this draft ready would re-review already-merged work.

@gunbai-bot gunbai-bot Bot closed this Sep 14, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

0 participants