From a99f11027cd08be401004b4c6bbb94c196ff077e Mon Sep 17 00:00:00 2001 From: bQUARKz Date: Sat, 7 Mar 2026 17:41:32 +0000 Subject: [PATCH] clean up agendas --- ...-builtins-protocol-and-system-services.md} | 0 ...> 002-filesystem-surface-and-semantics.md} | 0 ...s.md => 003-filesystem-fault-semantics.md} | 2 +- ...x-fault-semantics-and-command-contract.md} | 0 ... 005-audio-fault-semantics-and-surface.md} | 0 ... 006-asset-fault-semantics-and-surface.md} | 0 ...-plan.md => 007-runtime-edge-test-plan.md} | 0 ....md => 008-packed-cartridge-loader-pmc.md} | 0 ...tem-run-cart.md => 009-system-run-cart.md} | 0 ...em-fault-semantics-and-control-surface.md} | 4 +- docs/runtime/agendas/README.md | 84 ++++++++----------- .../003-vm-owned-byte-transfer-protocol.md | 2 +- .../decisions/004-host-fault-taxonomy.md | 14 ++-- ...ntrinsics-and-language-agnostic-surface.md | 6 +- 14 files changed, 50 insertions(+), 62 deletions(-) rename docs/runtime/agendas/{017-vm-owned-builtins-protocol-and-system-services.md => 001-vm-owned-builtins-protocol-and-system-services.md} (100%) rename docs/runtime/agendas/{009-filesystem-surface-and-semantics.md => 002-filesystem-surface-and-semantics.md} (100%) rename docs/runtime/agendas/{016-filesystem-fault-semantics.md => 003-filesystem-fault-semantics.md} (96%) rename docs/runtime/agendas/{014-gfx-fault-semantics-and-command-contract.md => 004-gfx-fault-semantics-and-command-contract.md} (100%) rename docs/runtime/agendas/{013-audio-fault-semantics-and-surface.md => 005-audio-fault-semantics-and-surface.md} (100%) rename docs/runtime/agendas/{012-asset-fault-semantics-and-surface.md => 006-asset-fault-semantics-and-surface.md} (100%) rename docs/runtime/agendas/{005-runtime-edge-test-plan.md => 007-runtime-edge-test-plan.md} (100%) rename docs/runtime/agendas/{002-packed-cartridge-loader-pmc.md => 008-packed-cartridge-loader-pmc.md} (100%) rename docs/runtime/agendas/{001-system-run-cart.md => 009-system-run-cart.md} (100%) rename docs/runtime/agendas/{015-system-fault-semantics-and-control-surface.md => 010-system-fault-semantics-and-control-surface.md} (93%) diff --git a/docs/runtime/agendas/017-vm-owned-builtins-protocol-and-system-services.md b/docs/runtime/agendas/001-vm-owned-builtins-protocol-and-system-services.md similarity index 100% rename from docs/runtime/agendas/017-vm-owned-builtins-protocol-and-system-services.md rename to docs/runtime/agendas/001-vm-owned-builtins-protocol-and-system-services.md diff --git a/docs/runtime/agendas/009-filesystem-surface-and-semantics.md b/docs/runtime/agendas/002-filesystem-surface-and-semantics.md similarity index 100% rename from docs/runtime/agendas/009-filesystem-surface-and-semantics.md rename to docs/runtime/agendas/002-filesystem-surface-and-semantics.md diff --git a/docs/runtime/agendas/016-filesystem-fault-semantics.md b/docs/runtime/agendas/003-filesystem-fault-semantics.md similarity index 96% rename from docs/runtime/agendas/016-filesystem-fault-semantics.md rename to docs/runtime/agendas/003-filesystem-fault-semantics.md index 558dabc7..f8f4aebc 100644 --- a/docs/runtime/agendas/016-filesystem-fault-semantics.md +++ b/docs/runtime/agendas/003-filesystem-fault-semantics.md @@ -32,7 +32,7 @@ Fechar a politica de fault de `fs` somente depois da agenda `009`. - `../decisions/003-vm-owned-byte-transfer-protocol.md` - `../decisions/004-host-fault-taxonomy.md` -- `009-filesystem-surface-and-semantics.md` +- `002-filesystem-surface-and-semantics.md` ## Regra de Sequenciamento diff --git a/docs/runtime/agendas/014-gfx-fault-semantics-and-command-contract.md b/docs/runtime/agendas/004-gfx-fault-semantics-and-command-contract.md similarity index 100% rename from docs/runtime/agendas/014-gfx-fault-semantics-and-command-contract.md rename to docs/runtime/agendas/004-gfx-fault-semantics-and-command-contract.md diff --git a/docs/runtime/agendas/013-audio-fault-semantics-and-surface.md b/docs/runtime/agendas/005-audio-fault-semantics-and-surface.md similarity index 100% rename from docs/runtime/agendas/013-audio-fault-semantics-and-surface.md rename to docs/runtime/agendas/005-audio-fault-semantics-and-surface.md diff --git a/docs/runtime/agendas/012-asset-fault-semantics-and-surface.md b/docs/runtime/agendas/006-asset-fault-semantics-and-surface.md similarity index 100% rename from docs/runtime/agendas/012-asset-fault-semantics-and-surface.md rename to docs/runtime/agendas/006-asset-fault-semantics-and-surface.md diff --git a/docs/runtime/agendas/005-runtime-edge-test-plan.md b/docs/runtime/agendas/007-runtime-edge-test-plan.md similarity index 100% rename from docs/runtime/agendas/005-runtime-edge-test-plan.md rename to docs/runtime/agendas/007-runtime-edge-test-plan.md diff --git a/docs/runtime/agendas/002-packed-cartridge-loader-pmc.md b/docs/runtime/agendas/008-packed-cartridge-loader-pmc.md similarity index 100% rename from docs/runtime/agendas/002-packed-cartridge-loader-pmc.md rename to docs/runtime/agendas/008-packed-cartridge-loader-pmc.md diff --git a/docs/runtime/agendas/001-system-run-cart.md b/docs/runtime/agendas/009-system-run-cart.md similarity index 100% rename from docs/runtime/agendas/001-system-run-cart.md rename to docs/runtime/agendas/009-system-run-cart.md diff --git a/docs/runtime/agendas/015-system-fault-semantics-and-control-surface.md b/docs/runtime/agendas/010-system-fault-semantics-and-control-surface.md similarity index 93% rename from docs/runtime/agendas/015-system-fault-semantics-and-control-surface.md rename to docs/runtime/agendas/010-system-fault-semantics-and-control-surface.md index 51244b31..51044931 100644 --- a/docs/runtime/agendas/015-system-fault-semantics-and-control-surface.md +++ b/docs/runtime/agendas/010-system-fault-semantics-and-control-surface.md @@ -20,7 +20,7 @@ Hoje: - [dispatch.rs](/Users/niltonconstantino/personal/workspace.personal/intrepid/prometeu/runtime/crates/console/prometeu-system/src/virtual_machine_runtime/dispatch.rs#L114) - [system.rs](/Users/niltonconstantino/personal/workspace.personal/intrepid/prometeu/runtime/crates/console/prometeu-hal/src/syscalls/domains/system.rs#L4) -- [001-system-run-cart.md](/Users/niltonconstantino/personal/workspace.personal/intrepid/prometeu/runtime/docs/runtime/agendas/001-system-run-cart.md) +- [009-system-run-cart.md](/Users/niltonconstantino/personal/workspace.personal/intrepid/prometeu/runtime/docs/runtime/agendas/009-system-run-cart.md) ## Alvo da Discussao @@ -43,7 +43,7 @@ Fechar a politica de fault e retorno do dominio `system`. ## Dependencias - `../decisions/004-host-fault-taxonomy.md` -- `001-system-run-cart.md` +- `009-system-run-cart.md` ## Critério de Saida Desta Agenda diff --git a/docs/runtime/agendas/README.md b/docs/runtime/agendas/README.md index 7ae74957..7a31a55f 100644 --- a/docs/runtime/agendas/README.md +++ b/docs/runtime/agendas/README.md @@ -10,65 +10,53 @@ Objetivo: As agendas atuais são: -- `001-system-run-cart.md` -- `002-packed-cartridge-loader-pmc.md` -- `005-runtime-edge-test-plan.md` -- `009-filesystem-surface-and-semantics.md` -- `012-asset-fault-semantics-and-surface.md` -- `013-audio-fault-semantics-and-surface.md` -- `014-gfx-fault-semantics-and-command-contract.md` -- `015-system-fault-semantics-and-control-surface.md` -- `016-filesystem-fault-semantics.md` -- `017-vm-owned-builtins-protocol-and-system-services.md` +- `001-vm-owned-builtins-protocol-and-system-services.md` +- `002-filesystem-surface-and-semantics.md` +- `003-filesystem-fault-semantics.md` +- `004-gfx-fault-semantics-and-command-contract.md` +- `005-audio-fault-semantics-and-surface.md` +- `006-asset-fault-semantics-and-surface.md` +- `007-runtime-edge-test-plan.md` +- `008-packed-cartridge-loader-pmc.md` +- `009-system-run-cart.md` +- `010-system-fault-semantics-and-control-surface.md` ## Sequenciamento Recomendado Ordem sugerida para discussão e futura execução: -1. `007-single-canonical-architecture.md` -2. `008-hardware-specs-reorganization.md` -3. `006-break-monolith-runtime.md` -4. `017-vm-owned-builtins-protocol-and-system-services.md` -5. `012-asset-fault-semantics-and-surface.md` -6. `013-audio-fault-semantics-and-surface.md` -7. `014-gfx-fault-semantics-and-command-contract.md` -8. `001-system-run-cart.md` -9. `015-system-fault-semantics-and-control-surface.md` -10. `009-filesystem-surface-and-semantics.md` -11. `016-filesystem-fault-semantics.md` -12. `005-runtime-edge-test-plan.md` -13. `002-packed-cartridge-loader-pmc.md` +1. `001-vm-owned-builtins-protocol-and-system-services.md` +2. `002-filesystem-surface-and-semantics.md` +3. `003-filesystem-fault-semantics.md` +4. `004-gfx-fault-semantics-and-command-contract.md` +5. `005-audio-fault-semantics-and-surface.md` +6. `006-asset-fault-semantics-and-surface.md` +7. `007-runtime-edge-test-plan.md` +8. `008-packed-cartridge-loader-pmc.md` +9. `009-system-run-cart.md` +10. `010-system-fault-semantics-and-control-surface.md` Justificativa curta: -- `007` vem primeiro porque elimina ambiguidade sobre qual documento manda. -- `008` vem em seguida porque reorganiza o terreno documental onde specs e arquitetura se apoiam. -- `006` entra depois porque refactor estrutural grande sem documentação estável tende a cristalizar decisões erradas. -- `017` entra cedo para fechar um protocolo VM-owned unico (input/random/window/builtins) sem contaminar a fronteira de syscall host-backed. -- a decisao `003` ja fechou o contrato base para trafego de bytes VM-owned e agora deve ser consumida, nao rediscutida aqui. -- a decisao `004` ja fechou a taxonomia base de falhas host-backed e agora deve ser consumida pelos dominios. -- `012`, `013` e `014` quebram o refactor de fault semantics por dominio onde a dor ja esta visivel no codigo. -- `001` vem antes de `015` porque `run_cart` ainda nao tem semantica funcional fechada. -- `015` fecha a taxonomia do dominio `system` depois de `001`. -- `009` usa as decisoes `003` e `004` para fechar o dominio de filesystem sem texto improvisado. -- `016` fica explicitamente depois de `009`, para nao classificar falhas de uma surface que ainda pode mudar. -- as discussoes de input v1 foram encerradas e migradas para a decisao `005`. -- `005` fecha a barra de qualidade antes das implementações mais arriscadas. -- `001` e `002` dependem mais fortemente de contrato de sistema, ABI e documentação estáveis. +- `001` vem primeiro para fechar o protocolo VM-owned stateful que destrava extensoes como random/window resources sem mexer em syscall host-backed. +- `002` e `003` ficam na sequencia para fechar `fs` com superficie e fault semantics consistentes. +- `004`, `005` e `006` consolidam fault semantics por dominio com base na decisao `004`. +- `007` vem depois para transformar as decisoes em cobertura de regressao na borda do runtime. +- `008` e importante, mas nao bloqueia bytecode/backend agora. +- `009` e `010` ficam no fim porque `run_cart` nao e objetivo do ciclo atual. Dependências principais: -- `008` depende de `007` -- `006` depende de `007` -- `017` depende de `007` e deve alinhar com `16`/`16a`, alem das decisoes `003` e `004` -- `009` depende das decisoes `003` e `004` -- `012` depende da decisao `004` -- `013` depende da decisao `004` -- `014` depende da decisao `004` -- `015` depende da decisao `004` e `001` -- `016` depende das decisoes `003`, `004` e da `009` -- `001` depende de `007`, das decisoes `003` e `004`, de `005` e deve alinhar com `009` quando usar `fs` -- `002` depende de `007` e deve ser alinhada com a reorganização documental de `008` +- `001` deve alinhar com `16`/`16a`, alem das decisoes `003`, `004` e `005` +- `002` depende das decisoes `003` e `004` +- `003` depende das decisoes `003`, `004` e da `002` +- `004` depende da decisao `004` +- `005` depende da decisao `004` +- `006` depende da decisao `004` +- `007` depende da estabilizacao minima das agendas de superficie/fault por dominio +- `008` depende de contrato fechado de `13-cartridge.md` + comportamento equivalente ao loader de diretorio +- `009` depende das decisoes `003`, `004`, `005` e deve alinhar com `002` quando usar `fs` +- `010` depende da decisao `004` e da `009` Regra de uso: diff --git a/docs/runtime/decisions/003-vm-owned-byte-transfer-protocol.md b/docs/runtime/decisions/003-vm-owned-byte-transfer-protocol.md index 34fb73cb..f067e745 100644 --- a/docs/runtime/decisions/003-vm-owned-byte-transfer-protocol.md +++ b/docs/runtime/decisions/003-vm-owned-byte-transfer-protocol.md @@ -152,7 +152,7 @@ Para suportar este protocolo, a VM precisa expor API canonica para: As seguintes agendas devem consumir esta decisao: -- `009-filesystem-surface-and-semantics.md` +- `002-filesystem-surface-and-semantics.md` - discussoes futuras de data bank As seguintes specs precisarao ser atualizadas: diff --git a/docs/runtime/decisions/004-host-fault-taxonomy.md b/docs/runtime/decisions/004-host-fault-taxonomy.md index e422b1bb..d25bbb94 100644 --- a/docs/runtime/decisions/004-host-fault-taxonomy.md +++ b/docs/runtime/decisions/004-host-fault-taxonomy.md @@ -113,7 +113,7 @@ Exemplos: ### System - `system` deve evitar `Panic` para falhas funcionais normais. -- A taxonomia final de `run_cart` depende da agenda `001-system-run-cart.md`. +- A taxonomia final de `run_cart` depende da agenda `009-system-run-cart.md`. ### Byte transfer @@ -142,10 +142,10 @@ Para `read`/`write` e ops que reutilizem a decisao `003`: As seguintes agendas derivam desta decisao: -- `012-asset-fault-semantics-and-surface.md` -- `013-audio-fault-semantics-and-surface.md` -- `014-gfx-fault-semantics-and-command-contract.md` -- `015-system-fault-semantics-and-control-surface.md` -- `016-filesystem-fault-semantics.md` +- `006-asset-fault-semantics-and-surface.md` +- `005-audio-fault-semantics-and-surface.md` +- `004-gfx-fault-semantics-and-command-contract.md` +- `010-system-fault-semantics-and-control-surface.md` +- `003-filesystem-fault-semantics.md` -`016-filesystem-fault-semantics.md` so deve ser discutida depois da `009-filesystem-surface-and-semantics.md`. +`003-filesystem-fault-semantics.md` so deve ser discutida depois da `002-filesystem-surface-and-semantics.md`. diff --git a/docs/runtime/decisions/005-v1-vm-owned-input-intrinsics-and-language-agnostic-surface.md b/docs/runtime/decisions/005-v1-vm-owned-input-intrinsics-and-language-agnostic-surface.md index 86ec39e7..787c5147 100644 --- a/docs/runtime/decisions/005-v1-vm-owned-input-intrinsics-and-language-agnostic-surface.md +++ b/docs/runtime/decisions/005-v1-vm-owned-input-intrinsics-and-language-agnostic-surface.md @@ -12,7 +12,7 @@ Para destravar bytecode/backend no v1, precisamos fechar o caminho de input sem: - copiar estruturas grandes de input na stack a cada consulta; - acoplar a decisao a uma unica linguagem de frontend. -As discussoes das agendas `010`, `011` e `017` convergiram para: +As discussoes das agendas historicas de input (intrinsics surface + frame semantics) e da agenda VM-owned convergiram para: - input deve sair do caminho de syscall legado; - input deve ser VM-owned, leitura-only e deterministico por frame; @@ -103,8 +103,8 @@ Os nomes acima sao apenas ilustrativos; o contrato real e o ID/versionamento can ## Follow-up Obrigatorio -- agendas `010` e `011` foram encerradas e seu conteudo foi absorvido por esta decisao; -- agenda `017-vm-owned-builtins-protocol-and-system-services.md` fica restrita a pos-v1 (stateful/`HeapRef`). +- as agendas historicas de input (`010-input-intrinsics-surface.md` e `011-input-frame-semantics-and-portability.md`) foram encerradas e seu conteudo foi absorvido por esta decisao; +- agenda `001-vm-owned-builtins-protocol-and-system-services.md` fica restrita a pos-v1 (stateful/`HeapRef`). Specs a alinhar/confirmar: