Kompilator / sposób pracy
Każdy etap
daje inny dowód.
Źródło, analiza, wygenerowany kod i działający system to kolejne wyniki. Czytaj je oddzielnie.
| Etap | Na jakie pytanie odpowiada? | Czego nie potwierdza? |
|---|---|---|
doctor | Czy sprawdzane wymagania projektu i środowiska są spełnione? | Poprawnego wykonania programu. |
parse / check | Czy źródło przechodzi parser i dostępne kontrole? | Kompletnej walidacji wszystkich reguł i zachowania w sieci. |
analyze | Jaki model i topologia wynikają ze źródła? | Obserwacji już uruchomionego systemu. |
build | Jakie pliki narzędzie przygotowało dla targetów? | Że kod został natywnie zbudowany i uruchomiony. |
artifact-gate | Czy artefakty spełniają kontrolowane warunki i przechodzą dostępne narzędzia? | Pełnego testu systemu w docelowych warunkach. |
Trzy konteksty generowania
Urządzenie
Bootstrapowe artefakty C++. Wymagania zależą od profilu i urządzenia.
Serwer
Bootstrapowe artefakty Go. Generowanie i uruchomienie są odrębne.
Aplikacja
Bootstrapowe artefakty TypeScript. Dostępność konstrukcji jest ograniczona.
Nie zgaduj na podstawie zielonego wyniku
Obecny check ma udokumentowane luki. Przyjęcie programu nie oznacza pełnej zgodności typów, portów, wszystkich efektów ani poprawności modelu biznesowego.
Zobacz potwierdzone ograniczenia ↗. Referencja rozróżnia braki kontraktu, implementacji i dowodów. To nie jest jedna ogólna ocena gotowości.
CLI i edytor pracują nad tym samym projektem
Studio i rozszerzenie VS Code mogą przedstawiać wyniki narzędzi. Nie zastępują kompilatora ani jego ograniczeń. Szczegóły interfejsów należą do dokumentacji danego narzędzia.