Skip to content

refactor: W1: settle group, environment, and rank terminology - #524

Merged
dannash100 merged 6 commits into
mainfrom
workhorse/w1
Sep 3, 2026
Merged

refactor: W1: settle group, environment, and rank terminology#524
dannash100 merged 6 commits into
mainfrom
workhorse/w1

Conversation

@dannash100

@dannash100 dannash100 commented Aug 30, 2026

Copy link
Copy Markdown
Contributor

Canopy called three things a deployment: a group, one rank inside a group, and Canopy's own installation.

  • New spec servers/groups.md (GRP): the state a group holds, how its headline rank derives, what an environment names. Cardinality stays FLT's.
  • The word is retired everywhere else. AGENTS.md carries the grep check so it stays retired.
  • billing.deployment is untouched: AWS cost allocation and every machine's effective tags read it.
  • Migration SQL is exempt; an applied migration is history.

Merged over the machines/applications split, so the sweep covers what landed since.

passcod added a commit that referenced this pull request Sep 1, 2026
…tion

Split the core model: machines, application servers, and identities (V2)

W1 (PR #524) retires "deployment" for group, environment, and the Canopy
instance, and adds an AGENTS.md grep rule to keep it retired. Sweeps the
~24 uses this branch introduced, leaving main's ~322 to W1 so the two open
PRs do not both rewrite the same prose. billing.deployment keeps its
spelling, being read outside Canopy.

W1's GRP defines an environment as a group's servers at one rank, which
stops meaning one thing once servers split: rank lives only on
applications while group_id lives on both grains. So an environment is a
set of applications, a machine belongs to a group without belonging to any
of its environments, and a machine's stage is derived as the highest rank
among the applications on it, which is what APP already says about
billing. Settled in FLT because this branch is what introduces the
distinction; the cross-reference to GRP goes in when W1 lands.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
passcod added a commit that referenced this pull request Sep 2, 2026
…tion

Split the core model: machines, application servers, and identities (V2)

W1 (PR #524) retires "deployment" for group, environment, and the Canopy
instance, and adds an AGENTS.md grep rule to keep it retired. Sweeps the
~24 uses this branch introduced, leaving main's ~322 to W1 so the two open
PRs do not both rewrite the same prose. billing.deployment keeps its
spelling, being read outside Canopy.

W1's GRP defines an environment as a group's servers at one rank, which
stops meaning one thing once servers split: rank lives only on
applications while group_id lives on both grains. So an environment is a
set of applications, a machine belongs to a group without belonging to any
of its environments, and a machine's stage is derived as the highest rank
among the applications on it, which is what APP already says about
billing. Settled in FLT because this branch is what introduces the
distinction; the cross-reference to GRP goes in when W1 lands.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
# Conflicts:
#	.workhorse/specs/jobs/backup.md
#	.workhorse/specs/monitoring/maintenance.md
#	.workhorse/specs/private-server/mcp.md
#	.workhorse/specs/private-server/upgrade-plans.md
#	.workhorse/specs/public-server/certificates.md
#	.workhorse/specs/public-server/restore-replicas.md
#	.workhorse/specs/servers/domains.md
#	.workhorse/specs/servers/products.md
#	crates/commons-servers/src/backup_jobs.rs
#	crates/commons-types/src/server/kind.rs
#	crates/commons-types/src/server/product.rs
#	crates/database/src/applications.rs
#	crates/private-server/src/fns/applications.rs
#	crates/private-server/src/fns/certificates.rs
#	crates/private-server/src/fns/statuses.rs
#	crates/private-server/tests/it/server_products.rs
#	crates/public-server/src/restore.rs
#	private-web/e2e/maintenance.spec.ts
#	private-web/openapi.json
#	private-web/src/api-types.ts
#	private-web/src/routes/ServerEdit.tsx
@dannash100
dannash100 added this pull request to the merge queue Sep 3, 2026
Merged via the queue into main with commit 2b15bd8 Sep 3, 2026
10 checks passed
@dannash100
dannash100 deleted the workhorse/w1 branch September 3, 2026 21:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants