I0913 — Konfigurace providerů je generovaná a levný profil je deklarován
Generovat konfiguraci Fly z kanonického objektu — aplikace, region, port, zdroje, autostart a autostop, health check, souběžnost — a deklarovat levný nákladový profil jako data, která vidí čtenář i kontrola.
ZRUŠENO vlna 3 · p0 · profil implementation · bezpečné paralelně
Součást fly-deployment — Image kontejneru je projekcí modelu repozitáře a jeho smoke test je jeho důkazem.
Cíl
Generovat konfiguraci Fly z kanonického objektu — aplikace, region, port, zdroje, autostart a autostop, health check, souběžnost — a deklarovat levný nákladový profil jako data, která vidí čtenář i kontrola.
Proč
fly.toml v kořeni repozitáře je pro vývojáře vynikající a jako druhý zdroj pravdy nepřijatelný. Jeho generování zachovává pohodlí a odstraňuje drift; deklarace nákladového profilu činí nákladnou změnu záměrnou a viditelnou v revizi.
Aktuální stav
Fly.io není cíl (příkaz vlastníka, 2026-10-12: Fly.io je odpojeno; dodává se binárky release, GitHub Pages a image v GHCR). fly.toml se už negeneruje a není ve stromě; objekt nasazení nenese blok poskytovatele a deployment/v1 jej odmítá. Nic, co tento úkol žádá, neexistuje ani se už nechce; jeho uzavření je úkon vlastníka. Před 2026-10-12 se fly.toml generoval z .ai/repo/deployments/majordomus.yaml příkazem majordomus generate deployment (změřeno na master 6042f4286, 2026-09-10). Změřeno na 722228ef3c, 2026-10-12.
Cílový stav
fly.toml je generovaný, označený jako generovaný se zdrojem a příkazem regenerace, validovaný vlastním validátorem poskytovatele a každá hodnota v něm se dohledá ke kanonickému objektu.
Rozsah
- fly.toml
- apps/majordomus-cli/src/deploy/fly.rs
Mimo rozsah
- Druhý konfigurační soubor pro profil vysoké dostupnosti
- Jakýkoli svazek, služba nebo adresa navíc, kterou nasazení nevyžaduje
- Jakákoli hodnota tajemství
Závislosti
- I0902HOTOVO Objekt nasazení se stává typovaným Rustem, který odmítá nesmysly
- I0903HOTOVO Čtení nasazení se deklaruje jednou a promítá se všude
Co na tom čeká
- I0914ZRUŠENO Jedno jádro nasazení, jeden příkaz a nanečisto, které nic nemění
- I0926BLOKOVÁNO Dokumentace nasazení je generovaná a dosažitelná
- I0931ZRUŠENO Aplikace existuje, běží na jednom stroji a URL odpovídá
Kritéria přijetí
- Každá hodnota v generované konfiguraci vede ke kanonickému objektu a změna objektu změní konfiguraci při regeneraci
- Generovaný soubor nese hlavičku s názvem svého zdroje a příkazu pro regeneraci, aniž by narušil formát
- Region je zvolen záměrně pro zamýšlené publikum a uložen v kanonickém objektu místo pevně zakódování v projekci
- Levný profil — jeden stroj, sdílený CPU, deklarovaná paměť, minimum běžících nula, autostart zapnut, autostop povolen, jeden region, žádný svazek — je deklarován jako data a ověřován kontrolou
- Zdravotní kontrola služby míří na kanonickou trasu s odkladem startu převzatým ze změřeného studeného startu
- Limity souběžnosti následují naměřené chování serveru, ne libovolné číslo
- Vlastní validátor konfigurace poskytovatele vygenerovaný soubor přijímá
Validace
- majordomus generate --check
- fly config validate
Požadované důkazy
- generated_flytoml
- region_from_spec
- cheap_profile
- fly_config_validate
Důkazy
Nic nezaznamenáno. Za každým tokenem výše musí stát příkaz nebo artefakt, než lze tento úkol dokončit; vyprávění se odmítá.
Riziko
Profil vysoké dostupnosti zve k druhému konfiguračnímu souboru. Musí to být odvozený override téhož základu nebo zdokumentovaná próza, nikdy paralelní soubor k údržbě.
Zpráva o dokončení
Zrušeno 2026-10-14 na masteru e28daccd9b: celý jeho výsledek je generovaný fly.toml validovaný `fly config validate` a fly.toml ze stromu zmizel. Vlastník odpojil Fly.io dne 2026-10-12; tento repozitář nasazuje release binárky, image z GHCR a GitHub Pages (commit 9af3fa65a4 odstranil fly.toml).
Časová osa
- zahájeno
- —
- ověřeno
- —
- dokončeno
- —
Tato tři pole, důkazy výše a stav závislostí jsou vše, z čeho se stav skládá. Neexistuje žádné pole stavu, které by s nimi mohlo být v rozporu.
Kanonický záznam: .ai/repo/project/issues/I0913.yaml. Zpětně ho přečtete pomocí majordomus plan show I0913.