Referência de fonte: LIB/APP.CC¶

Registro determinístico da fonte. O conteúdo completo do arquivo é reproduzido abaixo; esta página não substitui a interpretação arquitetural dos capítulos autorais.

Identidade do arquivo¶

Dependências sintáticas detectadas¶

Símbolos detectados¶

Fonte completa¶

O bloco seguinte é o arquivo textual integral na revisão indicada. Não há elisão, abreviação ou paráfrase.

1
2
3

int app_launch(int path) {
  return app_spawn(path);
}

Papel deste registro¶

O atlas garante rastreabilidade arquivo-a-arquivo. Responsabilidade, invariantes, ownership, concorrência, segurança, desempenho e interação entre subsistemas pertencem aos capítulos autorais e devem citar este arquivo quando aplicável.