@fabrika/provider-zerops 0.4.5 → 0.4.7

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@fabrika/provider-zerops",
-	"version": "0.4.5",
+	"version": "0.4.7",
 	"type": "module",
 	"repository": {
 		"type": "git",
@@ -43,13 +43,13 @@
 	},
 	"dependencies": {
 		"zod": "^3.25.76",
-		"@fabrika/auth": "^0.4.5",
-		"@fabrika/auth-core": "^0.4.5",
-		"@fabrika/iam-contract": "^0.4.5",
-		"@fabrika/installation-init": "^0.4.5",
-		"@fabrika/operations-contract": "^0.4.5",
-		"@fabrika/provider-contract": "^0.4.5",
-		"@fabrika/proxy-core": "^0.4.5",
+		"@fabrika/auth": "0.4.7",
+		"@fabrika/auth-core": "0.4.7",
+		"@fabrika/iam-contract": "0.4.7",
+		"@fabrika/installation-init": "0.4.7",
+		"@fabrika/operations-contract": "0.4.7",
+		"@fabrika/provider-contract": "0.4.7",
+		"@fabrika/proxy-core": "0.4.7",
 		"yaml": "^2.9.1"
 	}
 }

package/src/api/client.ts

@@ -354,6 +354,16 @@ export const createZeropsApi = (options: ZeropsApiOptions): ZeropsApi => {
 			return readResponse('configure autoscaling', processNilSchema, payload).process ?? null
 		},
 
+		configureCustomAutoscaling: async ({ serviceId, autoscaling, signal }) => {
+			const payload = await request('configure custom autoscaling', 'PUT', `/service-stack/${serviceId}/autoscaling`, {
+				body: {
+					customAutoscaling: { verticalAutoscaling: autoscaling.vertical, horizontalAutoscaling: autoscaling.horizontal },
+				},
+				signal,
+			})
+			return readResponse('configure custom autoscaling', processNilSchema, payload).process ?? null
+		},
+
 		getService: async ({ serviceId, signal }) =>
 			readResponse('get service', serviceSchema, await request('get service', 'GET', `/service-stack/${serviceId}`, { signal })),
 

package/src/api/readers.ts

@@ -12,6 +12,7 @@ import type {
 	ZeropsProjectStatus,
 	ZeropsRoleCode,
 	ZeropsService,
+	ZeropsServiceAutoscaling,
 	ZeropsServiceEnv,
 	ZeropsServiceStatus,
 	ZeropsUserInfo,
@@ -121,6 +122,41 @@ export const processSchema = z.object({
 	appVersion: nestedIdSchema,
 }).transform(({ appVersion, ...process }): ZeropsProcess => ({ ...process, appVersionId: appVersion?.id }))
 
+const nullableNumber = z.number().nullish().transform((value) => value ?? null)
+
+const scalingResourceSchema = z.object({ cpuCoreCount: nullableNumber, memoryGBytes: nullableNumber, diskGBytes: nullableNumber }).nullish()
+	.transform((resource) => resource ?? { cpuCoreCount: null, memoryGBytes: null, diskGBytes: null })
+
+const scalingFreeResourceSchema = z.object({
+	cpuCoreCount: nullableNumber,
+	cpuCorePercent: nullableNumber,
+	memoryGBytes: nullableNumber,
+	memoryPercent: nullableNumber,
+}).nullish().transform((resource) => resource ?? { cpuCoreCount: null, cpuCorePercent: null, memoryGBytes: null, memoryPercent: null })
+
+/**
+ * Strict where `optional` is lenient: the custom autoscaling is sent back whole, so a field read as absent would be
+ * reset. One that does not parse makes the whole object absent, and nothing is sent.
+ */
+const verticalAutoscalingSchema = z.object({
+	cpuMode: z.enum(['DEDICATED', 'SHARED']).nullish().transform((value) => value ?? null),
+	minResource: scalingResourceSchema,
+	maxResource: scalingResourceSchema,
+	minFreeResource: scalingFreeResourceSchema,
+	startCpuCoreCount: nullableNumber,
+	swapEnabled: z.boolean().nullish().transform((value) => value ?? null),
+})
+
+const serviceAutoscalingSchema = z.object({
+	// A service with no custom vertical autoscaling reads `null` here (measured 2026-10-15): every field inherits.
+	verticalAutoscaling: verticalAutoscalingSchema.nullish().transform((vertical) => vertical ?? verticalAutoscalingSchema.parse({})),
+	horizontalAutoscaling: z.object({ minContainerCount: nullableNumber, maxContainerCount: nullableNumber }).nullish()
+		.transform((horizontal) => horizontal ?? { minContainerCount: null, maxContainerCount: null }),
+}).transform(({ verticalAutoscaling, horizontalAutoscaling }): ZeropsServiceAutoscaling => ({
+	vertical: verticalAutoscaling,
+	horizontal: horizontalAutoscaling,
+}))
+
 export const serviceSchema = z.object({
 	id: idSchema,
 	name: z.string(),
@@ -130,6 +166,8 @@ export const serviceSchema = z.object({
 	activeAppVersion: nestedIdSchema,
 	subdomainAccess: optional(z.boolean()),
 	autoscalingProfileId: optional(z.string()),
+	customAutoscaling: optional(serviceAutoscalingSchema),
+	currentAutoscaling: optional(serviceAutoscalingSchema),
 }).transform(({ activeAppVersion, ...service }): ZeropsService => ({ ...service, activeAppVersionId: activeAppVersion?.id }))
 
 export const projectSchema = z.object({

package/src/api/types.ts

@@ -162,6 +162,40 @@ export type ZeropsServiceStatus =
 	| 'SCALING'
 	| 'REPAIR_FAILED'
 
+/** One bound of vertical autoscaling. `null` inherits the service type's value. */
+export interface ZeropsScalingResource {
+	cpuCoreCount: number | null
+	memoryGBytes: number | null
+	diskGBytes: number | null
+}
+
+/** The free capacity below which vertical autoscaling scales up. `null` inherits the service type's value. */
+export interface ZeropsScalingFreeResource {
+	cpuCoreCount: number | null
+	cpuCorePercent: number | null
+	memoryGBytes: number | null
+	memoryPercent: number | null
+}
+
+/**
+ * A service's autoscaling, as `ResponseServiceStack.customAutoscaling` (what was set) and `.currentAutoscaling` (what
+ * applies) carry it, every field nullable. VERIFIED live 2026-10-15 (`docs/reference/zerops-platform.md`).
+ */
+export interface ZeropsServiceAutoscaling {
+	vertical: {
+		cpuMode: 'DEDICATED' | 'SHARED' | null
+		minResource: ZeropsScalingResource
+		maxResource: ZeropsScalingResource
+		minFreeResource: ZeropsScalingFreeResource
+		startCpuCoreCount: number | null
+		swapEnabled: boolean | null
+	}
+	horizontal: {
+		minContainerCount: number | null
+		maxContainerCount: number | null
+	}
+}
+
 /** One service. VERIFIED: `ResponseServiceStack` (narrowed to the fields fabrika reads). */
 export interface ZeropsService {
 	id: string
@@ -175,6 +209,10 @@ export interface ZeropsService {
 	subdomainAccess?: boolean
 	/** Provider profile identifier, e.g. `oltp-production`. VERIFIED: `ResponseServiceStack.autoscalingProfileId`. */
 	autoscalingProfileId?: string
+	/** The autoscaling set on the service; absent when the platform sent none or one this client cannot read whole. */
+	customAutoscaling?: ZeropsServiceAutoscaling
+	/** The autoscaling that applies, the service type's values included; absent like `customAutoscaling`. */
+	currentAutoscaling?: ZeropsServiceAutoscaling
 }
 
 /** One project. VERIFIED: `ResponseProject` (narrowed). */
@@ -447,6 +485,15 @@ export interface ZeropsApi {
 	 */
 	configureAutoscaling(input: { serviceId: string; autoscalingProfileId: string; signal: AbortSignal }): Promise<ZeropsProcess | null>
 
+	/**
+	 * Replace a service's custom autoscaling: the same `PUT /service-stack/{id}/autoscaling`, body
+	 * `{ customAutoscaling: { verticalAutoscaling, horizontalAutoscaling } }`. VERIFIED live 2026-10-15: it answers
+	 * `{ process: null }` and `currentAutoscaling` reads the change at once. The platform replaces the whole object: a
+	 * field left out, or under a key it does not know, is reset to the service type's value and the call still answers
+	 * 200, so the caller sends what `getService().customAutoscaling` read, changed where it means to.
+	 */
+	configureCustomAutoscaling(input: { serviceId: string; autoscaling: ZeropsServiceAutoscaling; signal: AbortSignal }): Promise<ZeropsProcess | null>
+
 	// ── service-stack / project: reading state ────────────────────────────────────
 
 	/** One service by id. VERIFIED: `GET /service-stack/{id}`. */

package/src/api.ts

@@ -30,6 +30,7 @@ export {
 	type ZeropsProjectStatus,
 	type ZeropsRoleCode,
 	type ZeropsService,
+	type ZeropsServiceAutoscaling,
 	type ZeropsServiceEnv,
 	type ZeropsServiceEnvWrite,
 	type ZeropsServiceStatus,

package/src/control.ts

@@ -49,7 +49,7 @@ import {
 	zeropsNamespaceTargetCodec,
 } from './namespace'
 import { createZeropsDeployer, ZEROPS_VERSION_DEADLINE_MS } from './provider'
-import { allowedReferenceHosts, foreignReferenceHost, serviceReferenceHosts } from './service-references'
+import { allowedReferenceHosts, assertNoPlatformOnlyReference, foreignReferenceHost, serviceReferenceHosts } from './service-references'
 import { normalizeZeropsSourceRepository } from './source'
 import type { ZeropsSourcePort, ZeropsSourcePrivateBinding } from './source/port'
 import type { ZeropsRunState, ZeropsRuntimeTarget } from './types'
@@ -434,7 +434,9 @@ export const createZeropsControlProvider = (options: ZeropsControlProviderOption
 			if (!checkpoint.triggered) {
 				// A throw keeps the run running; the next maintenance pass retries the deletion.
 				await deleteVersion(api, checkpoint.appVersionId, signal)
-				await log(`deleted app-version ${checkpoint.appVersionId}; its build was never requested`)
+				await log(
+					`deploy interrupted: Control stopped before it requested the build; deleted app-version ${checkpoint.appVersionId}; run the deploy again`,
+				)
 				return { state: 'failed' }
 			}
 			let version: ZeropsAppVersion | null
@@ -466,6 +468,8 @@ export const createZeropsControlProvider = (options: ZeropsControlProviderOption
 				assertAuthoredManagedName(input.name)
 				assertNoFrameworkReference(input.name)
 				assertNoFrameworkReference(input.value)
+				assertNoPlatformOnlyReference(input.name)
+				assertNoPlatformOnlyReference(input.value)
 				assertOwnReferencesOnly(input.environment, input.name, input.value)
 				const target = decodeEnvironment(input.environment).target
 				try {

package/src/execution.ts

@@ -55,6 +55,20 @@ const FILE_SWEEP_SCHEDULE = '41 * * * *'
  */
 export const ZEROPS_SCAN_MIN_RAM_GB = 2
 
+/**
+ * The RAM in GB a container of an application with a database starts with. Its start script runs `fabrika db
+ * test-isolation`, whose CLI and `bun test` child together peak at 161 MiB of anonymous memory for the Notes example
+ * and 225 MiB for the CRM example (measured locally, 2026-10-15), beside Bun's own mapped binary. Zerops' 0.125 GB
+ * floor kills that within a second, faster than vertical autoscaling reacts.
+ */
+export const ZEROPS_START_MIN_RAM_GB = 0.5
+
+/** The minimum RAM in GB the deploy service's containers need to start, or null when Zerops' floor suffices. */
+export function zeropsStartMinRam(execution: ZeropsLockedExecution): number | null {
+	if (execution.contract.scan === true) return ZEROPS_SCAN_MIN_RAM_GB
+	return execution.databaseUrl === null ? null : ZEROPS_START_MIN_RAM_GB
+}
+
 /** What a scanning application adds: ClamAV in the image with its first signatures, refreshed at start and daily. */
 const SCANNER_PACKAGE = 'clamav'
 const FRESHCLAM = 'sudo freshclam --stdout --quiet'
@@ -113,7 +127,7 @@ export function zeropsContractRun(artifact: ContractArtifact): ZeropsContractRun
 /**
  * A scanning application's deploy service must start its containers with `ZEROPS_SCAN_MIN_RAM_GB`: below it the
  * scanner is killed for memory, and every upload stays quarantined. Zerops ignores a changed `verticalAutoscaling` of
- * an existing service on a re-import, so an existing service is raised through Zerops itself.
+ * an existing service on a re-import, so the deploy's `raise-start-memory` step raises an existing service.
  */
 export function assertScanMemory(services: readonly { readonly [key: string]: JsonValue }[], deployService: string, run: ZeropsContractRun): void {
 	if (run.scan !== true) return

package/src/exposure.ts

@@ -7,6 +7,7 @@ import type { ZeropsImportResult } from './api'
 /**
  * The provenance marker: a service variable on the deploy service listing the object-storage service ids the platform
  * created, each from an import that carried `objectStoragePolicy: private`. A bucket adopted by hostname has none.
+ * The import's answer is the only evidence of creation, so `apply-import` records it here before any other step runs.
  */
 export const STORAGE_PROVENANCE_KEY = 'FABRIKA_STORAGE_PROVENANCE'
 
@@ -30,6 +31,17 @@ export const createdServices = (result: ZeropsImportResult): ReadonlyMap<string,
 			.map((service) => [service.name, service.id]),
 	)
 
+/** How the deploy service holds the marker: a release up to v0.4.2 wrote it sensitive, which reads back without its value. */
+export type StorageProvenanceMarker = 'absent' | 'readable' | 'sensitive'
+
+/** The refusal of a bucket no evidence names, with the two remedies an operator has without sudo. */
+export const unprovenBucketReason = (input: { bucketId: string; deployService: string; marker: StorageProvenanceMarker }): string => {
+	const unreadable = input.marker === 'sensitive'
+		? `; \`${STORAGE_PROVENANCE_KEY}\` on \`${input.deployService}\` was written sensitive by an earlier release and cannot be read`
+		: ''
+	return `is a bucket the platform did not create private (no provenance${unreadable}). If a Fabrika import created it (its \`${CREATE_ACTION}\` process ran under the platform's Zerops token), set \`${STORAGE_PROVENANCE_KEY}\` on \`${input.deployService}\` to \`${input.bucketId}\`, not sensitive; otherwise delete the bucket and deploy again`
+}
+
 export interface ExposureFinding {
 	readonly hostname: string
 	readonly reason: string

package/src/index.ts

@@ -29,6 +29,7 @@ export type {
 	ZeropsProjectStatus,
 	ZeropsRoleCode,
 	ZeropsService,
+	ZeropsServiceAutoscaling,
 	ZeropsServiceEnv,
 	ZeropsServiceEnvWrite,
 	ZeropsServiceStatus,
@@ -108,6 +109,7 @@ export { ZEROPS_PROXY_MANIFEST_PATH, type ZeropsProxyManifestCarrier, zeropsProx
 export type * from './schema.generated'
 export { isZeropsUploadDestination, normalizeZeropsSourceRepository } from './source'
 export type { ZeropsSourceRepository } from './source'
+export { ZeropsSourceRateLimitedError } from './source/port'
 export type {
 	ZeropsSourceArchive,
 	ZeropsSourcePort,

package/src/installation/admin-options.ts

@@ -19,7 +19,7 @@ export interface PlatformAdminInput {
 	readonly iamHost: string
 	/** The scheme a browser speaks to this installation. With `iamHost` it composes IAM's public origin. */
 	readonly scheme: 'http' | 'https'
-	/** The `px_` provisioning key `platform install` printed. Environment only. */
+	/** The `px_` provisioning key `platform install` wrote to its secrets file. Environment only. */
 	readonly provisioningKey: string
 	/** Replace an outstanding enrollment instead of reporting it. */
 	readonly reissue: boolean
@@ -78,7 +78,7 @@ const provisioningKey = (env: Record<string, string | undefined>): string => {
 	const value = readEnv(env, 'FABRIKA_IAM_PROVISIONING_KEY')
 	if (value === undefined) {
 		throw new Error(
-			'FABRIKA_IAM_PROVISIONING_KEY is required. It has no flag: the key platform install printed comes from the environment only.',
+			'FABRIKA_IAM_PROVISIONING_KEY is required. It has no flag: load it from the secrets file platform install wrote, into the environment only.',
 		)
 	}
 	return value

package/src/installation/guide.md

@@ -152,8 +152,10 @@ URL stops working.
 
 The sidecar is a GitHub repository the operator owns. Its workflow runs `platform deploy` at the pinned tag.
 
-Steps 4 and 5 do not depend on this step: the installation from step 1 already runs. The sidecar is what
-upgrades it later (step 6). Run this step before or after step 5. Only `platform upgrade` needs it.
+The installation from step 1 already runs, and the sidecar is what upgrades it later (step 6). But `init`
+triggers the workflow, and its run redeploys every platform service, control included. A deploy that is in
+flight when control restarts fails, and its log names no reason. So run this step BEFORE step 5, and wait for
+its run to end before the first `control deploy` (see the check below). Step 4 can run meanwhile.
 
 `init` takes the integration token step 1 minted, never the personal one. The secrets file holds it as
 `FABRIKA_ZEROPS_ACCESS_TOKEN`, beside the provisioning key. Run `init` from a directory that is NOT inside
@@ -169,9 +171,16 @@ one too. Otherwise pass `--checkout=<dir>` outside one:
 - Without `--repo` the repository is `contember/fabrika-zerops-<installation>`. Pass `--repo` for any
   other organization.
 - Keep the local checkout path. `platform upgrade` needs it later (`--sidecar=<dir>`).
+- `--tag` is written only into a NEW sidecar. An existing one keeps its `fabrika.ref`. When that pins another
+  tag, `init` writes the GitHub Environment and then refuses to trigger the run, which would deploy the other
+  tag. Its message names the fix: `fabrika platform upgrade --provider=zerops --to=<tag> --sidecar=<dir>`.
 
-**Check.** The `platform` workflow run in the sidecar repository ends green:
-`gh run list --repo <owner>/<name>`.
+**Check.** The `platform` workflow run in the sidecar repository ends green. Wait for it before step 5:
+
+```bash
+gh run list --repo <owner>/<name> --workflow=platform.yml --limit=1   # its id, status and conclusion
+gh run watch <run id> --repo <owner>/<name> --exit-status              # returns when the run ends; non-zero if it failed
+```
 
 ## Step 4. Mint a machine key for `fabrika control`
 
@@ -210,17 +219,22 @@ places it on the namespace's shared PostgreSQL (`cheap` preset). Use the config
 **Repository access decides how you register** (step 5.2). Check it first:
 `curl -s -o /dev/null -w '%{http_code}\n' https://api.github.com/repos/<owner>/<name>`.
 
-- `200`: the repository is public. Register it with `--installation-id=none`. Control reads it without a token.
+- `200`: the repository is public. Register it with `--installation-id=none`. Control reads it without a token,
+  or with the organization's GitHub App once that App is connected and installed on the repository.
 - `404`: GitHub hides it from an anonymous caller, so it is private (or the name is wrong). `register` refuses
   it with `--installation-id=none`. Ask the human to connect the GitHub App in the console first (Settings →
   Source, a browser flow), then register without `--installation-id`.
 
 **Use the installation's release in the application.** The application's `@fabrika/*` packages, the CLI
-among them, must be the version of the tag you installed: for `v0.4.3`, `^0.4.3`. Another version can build
-a manifest this installation's control refuses or reads differently. From the fabrika clone of step 0, run
-`bun scripts/release.ts example-pin <application checkout> --tag=<tag>`. It rewrites every `@fabrika/*` range
-and commits nothing. Commit and push the change in the application repository, then run `bun install` there.
-Check with `bun pm ls | grep @fabrika/cli`.
+among them, must be exactly the version of the tag you installed: for `v0.4.3`, `0.4.3`, not a range such as
+`^0.4.3`, which resolves a later patch. Another version can build a manifest this installation's control
+refuses or reads differently. The example's `main` pins the latest release; for an older installation, from
+the fabrika clone of step 0, run `bun scripts/release.ts example-pin <application checkout> --tag=<tag>`. It
+pins every `@fabrika/*` package exactly and commits nothing. Run `bun install` in the application repository,
+then commit and push `package.json` and `bun.lock`. Check that every `@fabrika/*` package, the transitive ones
+included, is the tag's version: `bun pm ls --all | grep @fabrika/`. Releases up to v0.4.6 name their own
+`@fabrika/*` dependencies by a range, so a transitive one can still resolve a later patch of that line. Then
+install the newest patch instead (step 6 upgrades an installation).
 
 1. **Create a namespace** with the preset and core package the human chose (see Decisions). Without a
    custom domain bound to its proxy, pass `--public-access=zerops-subdomain`; the default is
@@ -232,6 +246,9 @@ Check with `bun pm ls | grep @fabrika/cli`.
    fabrika control namespaces get    --namespace=<id>
    ```
 
+   The namespace's Zerops project is `fabrika-<env>-<namespace id>`, beside the installation's
+   `fabrika-<env>`. Pass `--project=<name>` for another name; it cannot change after `create`.
+
    `create` returns while the state is `pending`. Provisioning takes several minutes. Poll `get` every
    30 seconds until it is `ready`.
 
@@ -263,8 +280,12 @@ Check with `bun pm ls | grep @fabrika/cli`.
      once and refuses one that is not publicly readable, so the failure shows here and not at deploy. A
      private repository needs the GitHub App connected in the console first (Settings → Source, a browser
      flow for the human); then omit the flag.
+   - The public origin is where IAM returns a person after sign-in; without one, sign-in to the application
+     fails with "… is not a registered return origin for this app". For a host the namespace lists, `register`
+     sets `https://<free host>` itself and prints `public origin https://<host>` on stderr. For a custom domain
+     the namespace cannot list, add `--public-origin=https://<domain>`.
    - `register` CREATES and refuses a second registration. A changed manifest goes through
-     `control apps environments put` with the same placement flags.
+     `control apps environments put` with the same placement flags. `put` derives no public origin.
 
 3. **Deploy and follow it.**
 
@@ -275,7 +296,13 @@ Check with `bun pm ls | grep @fabrika/cli`.
    ```
 
    A failed run's log ends with `deploy failed: <reason>`. For example, `source resolve failed
-   (ref_not_found)` means control could not read the repository or the ref.
+   (ref_not_found)` means control could not read the repository or the ref. `GitHub rate limit for
+   anonymous reads reached; resets at <time>` means GitHub refused control's tokenless reads: every tenant
+   behind the cloud's egress address shares that limit. Deploy again after the reset, or connect the GitHub
+   App in the console so reads of that organization's repositories carry a token. A namespace that hits the
+   limit stays `provisioning` and retries on its own. A run that ends with
+   `deploy interrupted: …; run the deploy again` lost Control mid-run, typically to step 3's workflow
+   redeploying it: deploy again once Control is back.
 
    The deploy fails when the repository at the deployed commit does not match the registered manifest.
    Commit and push, rebuild the manifest, `apps environments put` it, and deploy again.
@@ -283,6 +310,13 @@ Check with `bun pm ls | grep @fabrika/cli`.
    On an environment named `prod`, a change that widens access waits for a person to approve it in the
    console before it deploys.
 
+4. **Give the administrator a role in the application.** The step 2 grant administers the installation; it
+   holds none of the application's actions, so the application answers `forbidden` to the administrator.
+   No `fabrika` command grants an application role. The human does it in the console: Access → Users → the
+   administrator → Add grant. Pick the application `<id>@<env>` (the example: `notes@<env>`), Named role / policy,
+   a role the application declares (the example's `editor` reads, writes and deletes notes), the global scope,
+   and Add grant. It takes effect at the next sign-in.
+
 **Check.** The run ends `succeeded`. `https://<host>/healthz` answers 200, and `/` redirects to the IAM
 sign-in. A green run proves only that Zerops accepted the build: have the human sign in and use the app.
 

package/src/installation/index.ts

@@ -172,13 +172,16 @@ It writes TWO secrets into that Environment and GENERATES NEITHER — both alrea
 installation, so a value invented here would not be one it accepts. Both are environment only:
 
 	FABRIKA_ZEROPS_ACCESS_TOKEN       required   the INTEGRATION token install minted (the \`control\` service's env)
-	FABRIKA_IAM_PROVISIONING_KEY      required   the px_ key install printed
+	FABRIKA_IAM_PROVISIONING_KEY      required   the px_ key install wrote to its --secrets-file
 	FABRIKA_ZEROPS_API_URL            optional   region API base, when not the default
 
 Each is sent to GitHub over \`gh\` stdin, and never printed and never written to disk.
 
 The generated pipeline pins a published TAG of contember/fabrika-platform and refuses a branch, at
 init and again in the workflow. It uploads that checkout's exact committed archive to every installation service.
+\`--tag\` is written only to a new sidecar: an existing \`fabrika.ref\` is the operator's and stays. When it pins
+another tag, init writes the Environment and then refuses to trigger the run, which would deploy that other tag;
+\`platform upgrade --to=<tag>\` moves the pin and starts the run.
 
 ── platform deploy ───────────────────────────────────────────────────────────────────────────────
 
@@ -275,7 +278,7 @@ Options (a flag beats the environment variable beside it):
   --scheme=<http|https>             FABRIKA_PLATFORM_SCHEME         default https
   ${REISSUE_FLAG}                                                         replace an outstanding enrollment
 
-  FABRIKA_IAM_PROVISIONING_KEY      required   the px_ admin key \`install\` printed, environment only
+  FABRIKA_IAM_PROVISIONING_KEY      required   the px_ admin key \`install\` wrote to its --secrets-file, environment only
 
 ── platform upgrade ──────────────────────────────────────────────────────────────────────────────
 

package/src/installation/init.ts

@@ -258,6 +258,12 @@ const readPlatform = async (input: InitInput, { log, prompts, effects }: InitCol
 	})
 }
 
+/** The local checkout and the tag its `fabrika.ref` pins, which an existing sidecar keeps whatever `--tag` says. */
+interface ScaffoldedSidecar {
+	readonly dir: string
+	readonly pinned: string
+}
+
 /**
  * Create or refresh the sidecar repository — the first step that leaves this disk.
  *
@@ -265,7 +271,7 @@ const readPlatform = async (input: InitInput, { log, prompts, effects }: InitCol
  * outward step: an Environment cannot be written to a repository that does not exist, and a workflow
  * cannot be triggered without one.
  */
-const scaffold = async (input: InitInput, { log, prompts, effects }: InitCollaborators): Promise<string | undefined> => {
+const scaffold = async (input: InitInput, { log, prompts, effects }: InitCollaborators): Promise<ScaffoldedSidecar | undefined> => {
 	log.step('Scaffold the sidecar repository')
 	const exists = await effects.repositoryExists(input.repo)
 	const question = exists
@@ -293,7 +299,22 @@ const scaffold = async (input: InitInput, { log, prompts, effects }: InitCollabo
 	if (pinned !== input.fabrikaRef) {
 		log.warn(`the existing pin ${pinned} was kept; ${input.fabrikaRef} was not written, because fabrika.ref is operator-owned`)
 	}
-	return result.dir
+	return { dir: result.dir, pinned }
+}
+
+/**
+ * Refuse to trigger a run that would deploy a tag other than `--tag`: the run deploys the kept pin, so a sidecar reused
+ * for a new installation would roll an older release over it. The Environment is already written, so the pin moves by
+ * `upgrade`, whose push triggers the run with it.
+ */
+const assertPinnedAsRequested = (input: InitInput, sidecar: ScaffoldedSidecar): void => {
+	if (sidecar.pinned === input.fabrikaRef) return
+	throw new Error(
+		`the platform workflow was NOT triggered: ${input.repo} pins ${sidecar.pinned}, not ${input.fabrikaRef}, and a run deploys the pin. `
+			+ `The ${input.installation} Environment is written. To deploy ${input.fabrikaRef}, move the pin: `
+			+ `fabrika platform upgrade --provider=zerops --to=${input.fabrikaRef} --sidecar=${sidecar.dir}. `
+			+ `To deploy ${sidecar.pinned}, run init again with --tag=${sidecar.pinned}`,
+	)
 }
 
 /** Run the whole thing for `<installation>`. */
@@ -320,8 +341,8 @@ export const runInit = async (input: InitInput, collaborators: InitCollaborators
 			: [url(settingsUrl)],
 	)
 
-	const dir = await scaffold(input, collaborators)
-	if (dir === undefined) {
+	const sidecar = await scaffold(input, collaborators)
+	if (sidecar === undefined) {
 		return
 	}
 
@@ -338,6 +359,7 @@ export const runInit = async (input: InitInput, collaborators: InitCollaborators
 	log.ok(`Environment ${input.installation} written: ${Object.keys(config.secrets).join(', ')} and ${Object.keys(config.vars).join(', ')}.`)
 
 	log.step('Trigger the deploy')
+	assertPinnedAsRequested(input, sidecar)
 	log.info("The pipeline runs the whole ordered sequence in the operator's CI; this machine deploys nothing.")
 	if (!(await prompts.confirm(`Run the platform workflow on ${input.repo} now?`, true))) {
 		log.action('OPERATOR ACTION — run it when ready', [
@@ -351,7 +373,7 @@ export const runInit = async (input: InitInput, collaborators: InitCollaborators
 	}
 
 	log.step('Done')
-	log.ok(`Sidecar repository: ${input.repo} (local checkout: ${dir})`)
+	log.ok(`Sidecar repository: ${input.repo} (local checkout: ${sidecar.dir})`)
 	log.info('Roll this installation forward by bumping fabrika.ref to a newer published tag and pushing.')
 	log.info("Who may administer the installation is IAM's to say: this repository holds no admission list to close later.")
 	// The origin comes off the live control service, never from what was typed here: an operator who

package/src/installation/install.ts

@@ -131,7 +131,7 @@ const installPreparedPlatform = async (
 	log.ok(
 		'IAM signing keys (1 × ES256), the IAM RPC key, the proxy key, the provisioning key, the Operations sync key and the vault key',
 	)
-	log.info('None of them is written to disk. Only the provisioning key is printed, once, at the end.')
+	log.info(`None of them is printed: every one goes to ${input.secretsFile} (mode 0600) before the first is placed.`)
 
 	log.step("Mint the control plane's Zerops token")
 	log.info('An INTEGRATION token, client role NO_ACCESS with ADMIN on this one project — never the personal token you authenticated with.')

package/src/manifest.ts

@@ -19,7 +19,7 @@ import {
 	type ZeropsRuntimePackage,
 } from './execution'
 import { assertAuthoredManagedDocument, assertAuthoredManagedInputs } from './managed-env'
-import { allowedReferenceHosts, foreignReferenceHost } from './service-references'
+import { allowedReferenceHosts, foreignReferenceHost, platformOnlyServiceReference } from './service-references'
 import type { ZeropsAppConfig, ZeropsNamespaceResourceRequirement, ZeropsProxySpec, ZeropsSharedPostgresBinding } from './types'
 
 export const FABRIKA_MANIFEST_VERSION = 3
@@ -32,11 +32,13 @@ const SHA256_PATTERN = /^[0-9a-f]{64}$/
  *
  * Restated here rather than imported from `./namespace` — that module imports THIS one, and the
  * literal is part of the manifest's parse contract, so it belongs on the parsing side. The reasoning
- * for the database path and the TLS mode lives with `ZEROPS_SHARED_POSTGRES_CONNECTION_STRING`; a test
- * asserts the two never diverge.
+ * for the port, the database path and the TLS mode lives with `ZEROPS_SHARED_POSTGRES_CONNECTION_STRING`;
+ * a test asserts the two never diverge.
  */
 const SHARED_POSTGRES_CONNECTION_STRING: ZeropsSharedPostgresBinding['connectionString'] =
-	'${postgres_connectionTlsString}/${postgres_dbName}?sslmode=require'
+	'${postgres_connectionString}/${postgres_dbName}?sslmode=disable'
+/** The form an artifact built before the binding moved to the direct port carries: still decoded, as the current form. */
+const LEGACY_SHARED_POSTGRES_CONNECTION_STRING = '${postgres_connectionTlsString}/${postgres_dbName}?sslmode=require'
 
 export interface FabrikaImportDocument {
 	readonly project?: { readonly [key: string]: JsonValue }
@@ -122,7 +124,8 @@ const manifestProxySchema = z.object({
 const namespaceResourcesSchema = z.array(z.object({
 	resourceKey: z.literal('service:postgres'),
 	hostname: z.literal('postgres'),
-	connectionString: z.literal(SHARED_POSTGRES_CONNECTION_STRING),
+	connectionString: z.union([z.literal(SHARED_POSTGRES_CONNECTION_STRING), z.literal(LEGACY_SHARED_POSTGRES_CONNECTION_STRING)])
+		.transform((): ZeropsSharedPostgresBinding['connectionString'] => SHARED_POSTGRES_CONNECTION_STRING),
 })).max(1)
 
 const manifestAppSchema = z.object({
@@ -245,27 +248,34 @@ const importServiceSchema = z.intersection(
 const importProjectSchema = z.intersection(z.record(manifestJsonSchema), z.object({ envIsolation: z.literal(ENV_ISOLATION) }))
 	.superRefine(forbidFields(['envVariables'], 'invalid fabrika manifest: Zerops import contains a forbidden project environment field'))
 
-/** The first foreign host referenced by any string leaf OR key of `value`, however deeply nested. */
-const foreignReferenceInValue = (value: unknown, allowed: ReadonlySet<string>): string | null => {
+/** The first match of `find` in any string leaf OR key of `value`, however deeply nested. */
+const firstInValue = (value: unknown, find: (text: string) => string | null): string | null => {
 	if (typeof value === 'string') {
-		return foreignReferenceHost(value, allowed)
+		return find(value)
 	}
 	if (Array.isArray(value)) {
 		for (const entry of value) {
-			const host = foreignReferenceInValue(entry, allowed)
-			if (host !== null) return host
+			const found = firstInValue(entry, find)
+			if (found !== null) return found
 		}
 		return null
 	}
 	if (typeof value === 'object' && value !== null) {
 		for (const [key, entry] of Object.entries(value)) {
-			const host = foreignReferenceHost(key, allowed) ?? foreignReferenceInValue(entry, allowed)
-			if (host !== null) return host
+			const found = find(key) ?? firstInValue(entry, find)
+			if (found !== null) return found
 		}
 	}
 	return null
 }
 
+/** The first foreign host referenced by any string leaf OR key of `value`, however deeply nested. */
+const foreignReferenceInValue = (value: unknown, allowed: ReadonlySet<string>): string | null =>
+	firstInValue(value, (text) => foreignReferenceHost(text, allowed))
+
+const platformOnlyReferenceMessage = (where: string, reference: string): string =>
+	`invalid fabrika manifest: ${where} references \`${reference}\`, the PostgreSQL superuser's password, which only the platform uses (ADR-0017)`
+
 const importDocumentSchema = z.object({ project: importProjectSchema.optional(), services: z.array(importServiceSchema).min(1) })
 	.strict()
 	.superRefine(({ services }, ctx) => {
@@ -288,6 +298,11 @@ const importDocumentSchema = z.object({ project: importProjectSchema.optional(),
 				})
 				return
 			}
+			const platformOnly = firstInValue(service, platformOnlyServiceReference)
+			if (platformOnly !== null) {
+				ctx.addIssue({ code: 'custom', message: platformOnlyReferenceMessage(`Zerops service \`${service.hostname}\``, platformOnly) })
+				return
+			}
 		}
 	})
 
@@ -386,8 +401,18 @@ const isDescriptorSetup = (value: JsonValue, setup: string): value is { readonly
 	typeof value === 'object' && value !== null && !Array.isArray(value) && value['setup'] === setup
 
 /**
- * The `${host_…}` reference `FABRIKA_APP_DATABASE_URL` is generated from: the namespace's shared PostgreSQL, or the
- * application's one PostgreSQL service. Two candidates would make the generated migration pick one.
+ * `FABRIKA_APP_DATABASE_URL`, the provisioning credential of the application's role family (ADR-0017), as `${host_…}`
+ * references: the service's superuser, because its own user `db` can neither create roles nor create in the database
+ * (measured 2026-10-15). The direct port, because pgBouncer on `portTls` admits only the service's own users and refuses
+ * the roles the migration creates, which reuse this URL's host, port and options. `disable`, because `ha` offers no TLS
+ * on that port and `Bun.SQL`'s `prefer` does not fall back to plaintext; the port stays inside the project's network.
+ */
+const zeropsProvisioningDatabaseUrl = (host: string): string =>
+	`postgresql://\${${host}_superUser}:\${${host}_superUserPassword}@\${${host}_hostname}:\${${host}_port}/\${${host}_dbName}?sslmode=disable`
+
+/**
+ * The PostgreSQL service `FABRIKA_APP_DATABASE_URL` is generated for: the namespace's shared one, or the application's
+ * one PostgreSQL service. Two candidates would make the generated migration pick one.
  */
 const applicationDatabaseUrl = (
 	services: FabrikaManifestImportDocument['services'],
@@ -398,11 +423,8 @@ const applicationDatabaseUrl = (
 	if (own.length + (shared === undefined ? 0 : 1) > 1) {
 		throw new Error('invalid fabrika manifest: a contract application has one PostgreSQL database; it declares more than one')
 	}
-	if (shared !== undefined) return shared.connectionString
-	const host = own[0]
-	// The direct port, not `portTls`: the application's own roles (`app_<id>`, `run_<id>`) are refused by the TLS endpoint,
-	// which admits only the service's own users (measured 2026-10-15). `prefer` is TLS on `single`; `ha` offers none there.
-	return host === undefined ? null : `\${${host}_connectionString}/\${${host}_dbName}?sslmode=prefer`
+	const host = shared?.hostname ?? own[0]
+	return host === undefined ? null : zeropsProvisioningDatabaseUrl(host)
 }
 
 /** The hostname the `FABRIKA_APP_STORAGE_*` references name: the application's one object-storage service. */
@@ -526,13 +548,13 @@ export function parseFabrikaManifest(value: unknown, expected: ManifestExpectati
 	}
 	// Only the selected setup and what it extends reach this app's service, so a sibling setup for another
 	// placement may reference services this app does not own.
-	const foreignInDescriptor = foreignReferenceInValue(
-		executionZeropsDocument(parsedDescriptor, selectedSetup),
-		allowedReferenceHosts(serviceHostnames),
-	)
+	const executed = executionZeropsDocument(parsedDescriptor, selectedSetup)
+	const foreignInDescriptor = foreignReferenceInValue(executed, allowedReferenceHosts(serviceHostnames))
 	if (foreignInDescriptor !== null) {
 		throw new Error(`invalid fabrika manifest: zerops.yaml references service \`${foreignInDescriptor}\`, which this app does not own`)
 	}
+	const platformOnlyInDescriptor = firstInValue(executed, platformOnlyServiceReference)
+	if (platformOnlyInDescriptor !== null) throw new Error(platformOnlyReferenceMessage('zerops.yaml', platformOnlyInDescriptor))
 	if (contract === undefined && (proxy !== undefined || schema?.contract === true)) {
 		// An endpoint table without the contract would deploy a contract application with an authored run section.
 		throw new Error('invalid fabrika manifest: a contract application carries its contract (`target.contract`), which locks its setup down')

package/src/namespace/constants.ts

@@ -10,21 +10,21 @@ export const ZEROPS_NAMESPACE_IAM_KEY_VARIABLE = 'FABRIKA_IAM_KEY'
 export const ZEROPS_NAMESPACE_SUBDOMAIN_VARIABLE = 'zeropsSubdomain'
 
 /**
- * How an app reaches the namespace-owned PostgreSQL service — port, database and TLS mode NAMED, not
- * defaulted. Every part settled against a live account, none of it safe to infer:
+ * How an app reaches the namespace-owned PostgreSQL service as its own user `db` — port, database and TLS mode NAMED,
+ * not defaulted. Every part settled against a live account, none of it safe to infer:
  *
- *   • `${x_connectionTlsString}` is `postgresql://${user}:${password}@${hostname}:${portTls}` — no
- *     database path. With none, the libpq/postgres.js convention falls back to the USER name.
- *   • `dbName` and `user` are both literally `db` on EVERY PostgreSQL service, whatever its hostname
- *     (checked on a service named `wu2db`). So the fallback lands right today — by construction rather
- *     than by luck, but still by a rule nobody wrote down. `/${x_dbName}` says it out loud.
- *   • THE TLS PORT, NOT THE DIRECT ONE, and this is the one that changed. `postgresql:single@18`
- *     speaks TLS on both; `postgresql:ha@18` speaks it ONLY on `portTls` and answers `sslmode=require`
- *     on the direct port with "Server does not support SSL". A namespace picks `ha` for `prod` and
- *     `single` everywhere else, so a DSN naming the direct port is one preset away from failing.
- *   • `portTls` preserves SESSION state on both — same backend pid across statements, `SET SESSION`
- *     kept, advisory lock held and visible — so the migration runner's session-level lock is safe
- *     there. It is a TLS endpoint, not the transaction pool the port number suggests.
- *   • `verify-full` fails (`self signed certificate`), so `require` is the strongest mode available.
+ *   • `${x_connectionString}` is `postgresql://${user}:${password}@${hostname}:${port}` — no database path. With
+ *     none, the libpq/postgres.js convention falls back to the USER name.
+ *   • `dbName` and `user` are both literally `db` on EVERY PostgreSQL service, whatever its hostname (checked on a
+ *     service named `wu2db`). `/${x_dbName}` says it out loud rather than relying on that fallback.
+ *   • THE DIRECT PORT, NOT `portTls`. `portTls` (6432) is pgBouncer with a static user list: only `db`, `postgres` and
+ *     `zps` log in there, and a role fabrika creates is refused (`08P01`, measured 2026-10-15). A contract
+ *     application's runtime role reuses its database URL's host and port, so only the direct port serves it.
+ *   • `sslmode=disable`, the one mode that connects on both service types: `postgresql:ha@18` answers `require` on the
+ *     direct port with "Server does not support SSL", and `Bun.SQL`'s `prefer` waits out its 30 s connection timeout
+ *     against a server without TLS instead of falling back. The direct port stays inside the project's network.
+ *
+ * A contract application does not connect with this: its `FABRIKA_APP_DATABASE_URL` names the service's superuser,
+ * the provisioning credential of its role family (ADR-0017, `zeropsProvisioningDatabaseUrl` in `../manifest.ts`).
  */
-export const ZEROPS_SHARED_POSTGRES_CONNECTION_STRING = '${postgres_connectionTlsString}/${postgres_dbName}?sslmode=require'
+export const ZEROPS_SHARED_POSTGRES_CONNECTION_STRING = '${postgres_connectionString}/${postgres_dbName}?sslmode=disable'

package/src/namespace/errors.ts

@@ -1,5 +1,6 @@
 import { ProviderNamespaceError } from '@fabrika/provider-contract'
 import { ZeropsApiError, ZeropsServiceEnvValueTooLargeError } from '../api'
+import { ZeropsSourceRateLimitedError } from '../source/port'
 
 /**
  * Lifecycle codes this provider defines where the platform has none of its own. They are an
@@ -16,6 +17,8 @@ export const ZEROPS_PROXY_DEPLOY_FAILED = 'proxyDeployFailed'
 
 export const ZEROPS_SUBDOMAIN_NOT_PUBLISHED = 'subdomainNotPublished'
 
+export const ZEROPS_SOURCE_RATE_LIMITED = 'githubRateLimited'
+
 export const namespaceError = (code: string, message: string, retryable: boolean, detail?: string): ProviderNamespaceError =>
 	new ProviderNamespaceError(message, code, retryable, detail)
 
@@ -43,6 +46,8 @@ export const asNamespaceError = (cause: unknown, mode: 'provision' | 'reconcile'
 	if (cause instanceof ProviderNamespaceError) return cause
 	// The same value is refused again on every retry; only a smaller manifest or a new carrier fixes it.
 	if (cause instanceof ZeropsServiceEnvValueTooLargeError) return namespaceError(cause.code, cause.message, false)
+	// The limit resets on its own: the namespace stays `provisioning` and the cron's reconcile retries it.
+	if (cause instanceof ZeropsSourceRateLimitedError) return namespaceError(ZEROPS_SOURCE_RATE_LIMITED, cause.message, true)
 	if (cause instanceof ZeropsApiError) {
 		const { summary, detail } = splitApiMessage(cause.message, cause.code)
 		return namespaceError(

package/src/namespace/operator.ts

@@ -103,6 +103,13 @@ const namespacePresentation = (
 	}
 }
 
+/**
+ * The Zerops project a namespace creates when the plan names none: `fabrika-<env>-<id>`, beside the `fabrika-<env>` that
+ * `platform install` creates for the installation, so a namespace reads as fabrika's in the Zerops GUI.
+ */
+export const defaultZeropsNamespaceProjectName = (namespace: { readonly id: string; readonly env: string }): string =>
+	`fabrika-${namespace.env}-${namespace.id}`
+
 /** Build the provider-owned namespace planning surface without any network collaborators. */
 export const createZeropsNamespaceOperator = (
 	options: ZeropsNamespaceOperatorOptions,
@@ -130,7 +137,7 @@ export const createZeropsNamespaceOperator = (
 			const target = zeropsNamespacePreset({
 				preset: input.preset,
 				env: input.env,
-				projectName: planOptions.projectName ?? input.id,
+				projectName: planOptions.projectName ?? defaultZeropsNamespaceProjectName(input),
 				proxySource: options.proxySource,
 				...(planOptions.corePackage === undefined ? {} : { corePackage: planOptions.corePackage }),
 				...(planOptions.publicAccess === undefined ? {} : { publicAccess: planOptions.publicAccess }),

package/src/plan.ts

@@ -5,6 +5,7 @@ export type ZeropsStepKind =
 	| 'apply-import'
 	| 'verify-exposure'
 	| 'write-service-env'
+	| 'raise-start-memory'
 	| 'reserve-version'
 	| 'upload-source'
 	| 'trigger-build'
@@ -43,6 +44,11 @@ export const buildZeropsPlan = (manifest: FabrikaManifest, target: ZeropsRuntime
 		description: 'Read back that no service has subdomain access and every bucket is one the platform created private',
 	})
 	steps.push({ id: 'write-service-env', kind: 'write-service-env', description: 'Write the managed service variables' })
+	steps.push({
+		id: 'raise-start-memory',
+		kind: 'raise-start-memory',
+		description: "Raise the deploy service's minimum RAM to what its start script needs",
+	})
 	steps.push({ id: 'reserve-version', kind: 'reserve-version', description: 'Reserve a Zerops app version' })
 	steps.push({ id: 'upload-source', kind: 'upload-source', description: 'Upload the resolved repository snapshot' })
 	steps.push({ id: 'trigger-build', kind: 'trigger-build', description: 'Trigger the Zerops build+deploy pipeline' })

package/src/provider.ts

@@ -33,10 +33,11 @@ import {
 	type ZeropsAppVersion,
 	type ZeropsLogAccess,
 	type ZeropsProcess,
+	type ZeropsServiceAutoscaling,
 } from './api'
 import { defaultZeropsCollaborators, type ZeropsCollaboratorFactory, type ZeropsCollaborators } from './collaborators'
 import { assertZeropsInvariants, renderYaml } from './compile'
-import { FABRIKA_CHECK_VERSION, PLATFORM_TYPESCRIPT_VERSION, renderLockedExecutionDescriptor } from './execution'
+import { FABRIKA_CHECK_VERSION, PLATFORM_TYPESCRIPT_VERSION, renderLockedExecutionDescriptor, zeropsStartMinRam } from './execution'
 import {
 	createdServices,
 	type ExposureFinding,
@@ -45,6 +46,8 @@ import {
 	isObjectStorageType,
 	parseStorageProvenance,
 	STORAGE_PROVENANCE_KEY,
+	type StorageProvenanceMarker,
+	unprovenBucketReason,
 } from './exposure'
 import {
 	assertAuthoredManagedDocument,
@@ -66,7 +69,7 @@ import {
 	verifyZeropsArtifactSourceDescriptor,
 } from './manifest'
 import { buildZeropsPlan, resolveDeployHostname, type ZeropsStep } from './plan'
-import { allowedReferenceHosts, foreignReferenceHost } from './service-references'
+import { allowedReferenceHosts, assertNoPlatformOnlyReference, foreignReferenceHost } from './service-references'
 import { isZeropsUploadDestination } from './source'
 import type { ZeropsRunState, ZeropsRuntimeSource, ZeropsRuntimeTarget } from './types'
 import { deleteVersion } from './version-attempt'
@@ -236,13 +239,16 @@ export function interpolateManifest(
 			if (foreign !== null) {
 				throw new Error(`zerops: manifest variable \`${name}\` references service \`${foreign}\`, which this app does not own`)
 			}
+			assertNoPlatformOnlyReference(value)
 			return value
 		})
+		if (substituted === text) return substituted
 		// Adjacent values can spell a reference neither of them carries alone.
-		const foreign = substituted === text ? null : foreignReferenceHost(substituted, hosts)
+		const foreign = foreignReferenceHost(substituted, hosts)
 		if (foreign !== null) {
 			throw new Error(`zerops: a substituted value references service \`${foreign}\`, which this app does not own`)
 		}
+		assertNoPlatformOnlyReference(substituted)
 		return substituted
 	}
 	const services = document.services.map((service) => substituteRecord(service, resolve))
@@ -450,6 +456,44 @@ const awaitVersion = async (env: StepEnv, appVersionId: string, processId: strin
 	}
 }
 
+const declaredBuckets = (artifact: FabrikaManifest): string[] =>
+	artifact.target.importDocument.services.filter((service) => isObjectStorageType(service.type)).map((service) => service.hostname)
+
+interface CreatedBucket {
+	readonly hostname: string
+	readonly id: string
+}
+
+/** The declared buckets this import reports creating. */
+const createdBucketsOf = (artifact: FabrikaManifest, created: ReadonlyMap<string, string>): CreatedBucket[] =>
+	declaredBuckets(artifact).flatMap((hostname) => {
+		const id = created.get(hostname)
+		return id === undefined ? [] : [{ hostname, id }]
+	})
+
+/**
+ * Record this import's buckets in the provenance marker before any other step can fail: the import's answer is the only
+ * evidence of creation, since a re-apply reports nothing for a service that exists. Merged here, never narrowed;
+ * `write-service-env` sets the verified set. A sensitive marker of an earlier release cannot be merged and is replaced.
+ */
+const recordCreatedBuckets = async (env: StepEnv, buckets: readonly CreatedBucket[], signal: AbortSignal): Promise<void> => {
+	const { zerops, log, run } = env
+	const serviceId = run.target.serviceId
+	try {
+		const records = await zerops.api.listServiceEnv({ serviceId, signal })
+		const recorded = parseStorageProvenance(readableContent(records.find((record) => record.key === STORAGE_PROVENANCE_KEY)))
+		if (buckets.every((bucket) => recorded.has(bucket.id))) return
+		const value = formatStorageProvenance([...recorded, ...buckets.map((bucket) => bucket.id)])
+		await zerops.api.putServiceEnv({ serviceId, key: STORAGE_PROVENANCE_KEY, value, sensitive: false, signal })
+		log(`  ${STORAGE_PROVENANCE_KEY}: recorded the bucket(s) this import created`)
+	} catch (error) {
+		// The run log is then the one record of the evidence; the refusal a later run raises names the remedy.
+		const named = buckets.map((bucket) => `\`${bucket.hostname}\` (${bucket.id})`).join(', ')
+		log(`  [warn] this import created bucket(s) ${named}, but ${STORAGE_PROVENANCE_KEY} on ${serviceId} could not record them`)
+		throw error
+	}
+}
+
 /**
  * The exposure read-back (ADR-0043): before a version can activate, every declared service must read
  * `subdomainAccess: false`, and every object-storage service must be one this import created or the provenance
@@ -463,10 +507,14 @@ const verifyExposure = async (env: StepEnv): Promise<void> => {
 		return
 	}
 	const created = env.attempt.created ?? new Map<string, string>()
-	const buckets = artifact.target.importDocument.services.filter((service) => isObjectStorageType(service.type)).map((service) => service.hostname)
+	const buckets = declaredBuckets(artifact)
 	const records = buckets.length === 0 ? [] : await zerops.api.listServiceEnv({ serviceId: target.serviceId, signal })
-	const marker = readableContent(records.find((record) => record.key === STORAGE_PROVENANCE_KEY))
-	const known = new Set([...parseStorageProvenance(marker), ...(target.createdBuckets ?? [])])
+	const marker = records.find((record) => record.key === STORAGE_PROVENANCE_KEY)
+	const markerState: StorageProvenanceMarker = marker === undefined ? 'absent' : marker.sensitive ? 'sensitive' : 'readable'
+	if (markerState === 'sensitive') {
+		log(`  [warn] ${STORAGE_PROVENANCE_KEY} was written sensitive by an earlier release; it names no bucket until it is rewritten readable`)
+	}
+	const known = new Set([...parseStorageProvenance(readableContent(marker)), ...(target.createdBuckets ?? [])])
 	const findings: ExposureFinding[] = []
 	const bucketIds: string[] = []
 	for (const hostname of manifestServiceHostnames(artifact)) {
@@ -488,7 +536,10 @@ const verifyExposure = async (env: StepEnv): Promise<void> => {
 		if (created.get(hostname) === service.id || known.has(service.id)) {
 			bucketIds.push(service.id)
 		} else {
-			findings.push({ hostname, reason: 'is a bucket the platform did not create private (no provenance); create it through a Fabrika import' })
+			findings.push({
+				hostname,
+				reason: unprovenBucketReason({ bucketId: service.id, deployService: artifact.target.deployService, marker: markerState }),
+			})
 		}
 	}
 	if (findings.length > 0) {
@@ -592,6 +643,67 @@ const writeServiceEnv = async (env: StepEnv): Promise<void> => {
 	}
 }
 
+/** The custom autoscaling with its minimum RAM raised to `minRam`; every other field is sent back as it was read. */
+const withMinRam = (custom: ZeropsServiceAutoscaling, minRam: number): ZeropsServiceAutoscaling => ({
+	...custom,
+	vertical: { ...custom.vertical, minResource: { ...custom.vertical.minResource, memoryGBytes: minRam } },
+})
+
+/**
+ * Raises the deploy service's minimum RAM to what the generated start script needs (`zeropsStartMinRam`), before the
+ * version's containers start. An import cannot: Zerops ignores a changed `verticalAutoscaling` of an existing service,
+ * so an existing service converges here, on every deploy. It only raises, and decides by reading the service back.
+ */
+const raiseStartMemory = async (env: StepEnv): Promise<void> => {
+	const { run, zerops, log, signal, dryRun } = env
+	const locked = lockedExecutionFor(run.artifact, run, dryRun)
+	const minRam = locked === null ? null : zeropsStartMinRam(locked)
+	const hostname = run.artifact.target.deployService
+	if (minRam === null) {
+		log(`  ${hostname} needs no more than the platform's minimum RAM`)
+		return
+	}
+	if (dryRun) {
+		log(`  [dry-run] would raise the minimum RAM of ${hostname} to ${minRam} GB where it is lower`)
+		return
+	}
+	const serviceId = run.target.serviceId
+	assertRunning(signal)
+	const service = await zerops.api.getService({ serviceId, signal })
+	const custom = service.customAutoscaling
+	const current = service.currentAutoscaling
+	if (custom === undefined || current === undefined) {
+		throw new Error(`zerops: ${hostname} did not report its autoscaling whole, so its minimum RAM cannot be raised to ${minRam} GB`)
+	}
+	const before = current.vertical.minResource.memoryGBytes
+	if (before !== null && before >= minRam) {
+		log(`  minimum RAM of ${hostname}: ${before} GB, unchanged (its start needs ${minRam} GB)`)
+		return
+	}
+	const maxRam = current.vertical.maxResource.memoryGBytes
+	if (maxRam !== null && maxRam < minRam) {
+		throw new Error(`zerops: ${hostname} may use at most ${maxRam} GB of RAM and its start needs ${minRam} GB; raise verticalAutoscaling.maxRam`)
+	}
+	assertRunning(signal)
+	let process: ZeropsProcess | null
+	try {
+		process = await zerops.api.configureCustomAutoscaling({ serviceId, autoscaling: withMinRam(custom, minRam), signal })
+	} catch (error) {
+		if (error instanceof ZeropsApiError && error.status >= 400 && error.status < 500 && error.status !== 408) {
+			throw new Error(`zerops: raising the minimum RAM of ${hostname} to ${minRam} GB was refused (${error.code === '' ? error.status : error.code})`)
+		}
+		throw error
+	}
+	if (process !== null) {
+		await waitForProcess({ api: zerops.api, processId: process.id, sleep: zerops.sleep, signal, label: `the autoscaling change of ${hostname}` })
+	}
+	const after = (await zerops.api.getService({ serviceId, signal })).currentAutoscaling?.vertical.minResource.memoryGBytes ?? null
+	if (after === null || after < minRam) {
+		throw new Error(`zerops: ${hostname} reads back a minimum RAM of ${after ?? 'nothing'} GB after it was raised to ${minRam} GB`)
+	}
+	log(`  minimum RAM of ${hostname}: ${before ?? 'the platform default'} → ${after} GB`)
+}
+
 /** Run one step's effect. Resolves on success, throws on failure (caught + recorded by `runSteps`). */
 const runStep = async (spec: ZeropsStep, env: StepEnv): Promise<void> => {
 	const { run, zerops, compiled, log, signal, dryRun, attempt } = env
@@ -612,17 +724,27 @@ const runStep = async (spec: ZeropsStep, env: StepEnv): Promise<void> => {
 			const result = await zerops.api.importServices({ projectId: target.projectId, yaml: compiled.yaml, signal })
 			log(`  imported: ${result.services.map((service) => `${service.name} (${service.id})`).join(', ') || '(none reported)'}`)
 			attempt.created = createdServices(result)
+			const createdBuckets = createdBucketsOf(artifact, attempt.created)
+			// A cancel may not separate a created bucket from its evidence; only a lost lease stops the step then.
+			const settling = createdBuckets.length === 0 ? signal : followLeaseLoss(signal)
 			// An import ANSWERS before its services exist. Triggering a pipeline on a service Zerops is
 			// still creating answers 400 `projectImportInvalidParameter`, which is what the first deploy
 			// into a fresh namespace hit; a re-apply onto services that already exist reports none.
 			const pending = result.services.flatMap((service) => service.processes.map((process) => ({ service: service.name, id: process.id })))
 			for (const process of pending) {
-				assertRunning(signal)
-				await waitForProcess({ api: zerops.api, processId: process.id, sleep: zerops.sleep, signal, label: `the ${process.service} import` })
+				assertRunning(settling)
+				await waitForProcess({
+					api: zerops.api,
+					processId: process.id,
+					sleep: zerops.sleep,
+					signal: settling,
+					label: `the ${process.service} import`,
+				})
 			}
 			if (pending.length > 0) {
 				log(`  awaited ${pending.length} import process(es)`)
 			}
+			if (createdBuckets.length > 0) await recordCreatedBuckets(env, createdBuckets, settling)
 			return
 		}
 
@@ -636,6 +758,11 @@ const runStep = async (spec: ZeropsStep, env: StepEnv): Promise<void> => {
 			return
 		}
 
+		case 'raise-start-memory': {
+			await raiseStartMemory(env)
+			return
+		}
+
 		case 'reserve-version': {
 			if (dryRun) {
 				log(`  [dry-run] would reserve an app version on service ${target.serviceId}`)

package/src/service-references.ts

@@ -2,11 +2,17 @@
  * `${<host>_<KEY>}` — Zerops resolves it across services regardless of `envIsolation`, so the host is the boundary.
  * `${RUNTIME_<host>_<KEY>}`, the build-time bridge, counts as a reference to that host until measured otherwise.
  */
-const SERVICE_REFERENCE = /\$\{(?:RUNTIME_)?([a-z0-9]{1,25})_[A-Za-z0-9_]+\}/g
+const SERVICE_REFERENCE = /\$\{(?:RUNTIME_)?([a-z0-9]{1,25})_([A-Za-z0-9_]+)\}/g
 
 /** Namespace services every app in it may reference; the proxy is deliberately not one of them. */
 const SHARED_NAMESPACE_HOSTNAMES: readonly string[] = ['postgres']
 
+/**
+ * Service variables only the platform references: a PostgreSQL service's superuser is the provisioning credential of an
+ * application's database roles (ADR-0017), and on Zerops it shares the container's environment with application code.
+ */
+const PLATFORM_ONLY_SERVICE_KEYS: ReadonlySet<string> = new Set(['superuserpassword'])
+
 /** Hosts named by cross-service references in `text`, deduplicated, in order of first appearance. */
 export function serviceReferenceHosts(text: string): string[] {
 	const hosts: string[] = []
@@ -26,3 +32,23 @@ export function allowedReferenceHosts(ownHostnames: readonly string[]): Readonly
 export function foreignReferenceHost(text: string, allowed: ReadonlySet<string>): string | null {
 	return serviceReferenceHosts(text).find((host) => !allowed.has(host)) ?? null
 }
+
+/**
+ * The first reference in `text` to a service variable only the platform may reference, or null. The key is compared
+ * without case, because whether Zerops resolves one case-insensitively is not measured.
+ */
+export function platformOnlyServiceReference(text: string): string | null {
+	for (const match of text.matchAll(SERVICE_REFERENCE)) {
+		const key = match[2]
+		if (key !== undefined && PLATFORM_ONLY_SERVICE_KEYS.has(key.toLowerCase())) return match[0]
+	}
+	return null
+}
+
+/** Refuse an application value that references a platform-only service variable, naming only the reference. */
+export function assertNoPlatformOnlyReference(text: string): void {
+	const reference = platformOnlyServiceReference(text)
+	if (reference !== null) {
+		throw new Error(`zerops: application configuration references \`${reference}\`, the PostgreSQL superuser's password, which only the platform uses`)
+	}
+}

package/src/source/port.ts

@@ -55,3 +55,14 @@ export interface ZeropsSourcePort {
 	resolve(input: ZeropsSourceResolveInput): Promise<ZeropsSourceResolution>
 	upload(input: ZeropsSourceUploadInput): Promise<ZeropsSourceUploadResult>
 }
+
+/**
+ * The source refused a read for GitHub's rate limit. The read succeeds again once the limit resets, so a namespace
+ * mutation that hits it stays retryable. The message is the user's: whose limit, when it resets, how to avoid it.
+ */
+export class ZeropsSourceRateLimitedError extends Error {
+	constructor(message: string) {
+		super(message)
+		this.name = 'ZeropsSourceRateLimitedError'
+	}
+}

package/src/types.ts

@@ -92,13 +92,14 @@ export interface ZeropsProxySpec extends Pick<ContractProxyApp, 'endpoints' | 'r
 /**
  * A typed reference to the namespace-owned PostgreSQL service; it never contains its credential.
  *
- * The reference names its DATABASE and its TLS MODE rather than inheriting either from the driver — see
- * `ZEROPS_SHARED_POSTGRES_CONNECTION_STRING` in `./namespace.ts` for what the account proved about both.
+ * The reference names its PORT, its DATABASE and its TLS MODE rather than inheriting any from the driver — see
+ * `ZEROPS_SHARED_POSTGRES_CONNECTION_STRING` in `./namespace.ts` for what the account proved about each. It is the
+ * service user's; a contract application's `FABRIKA_APP_DATABASE_URL` is generated from `hostname` instead.
  */
 export interface ZeropsSharedPostgresBinding {
 	readonly resourceKey: 'service:postgres'
 	readonly hostname: 'postgres'
-	readonly connectionString: '${postgres_connectionTlsString}/${postgres_dbName}?sslmode=require'
+	readonly connectionString: '${postgres_connectionString}/${postgres_dbName}?sslmode=disable'
 }
 
 export type ZeropsNamespaceResourceRequirement = ZeropsSharedPostgresBinding