From 3041fdf46bd2dff4fe06d78765f24b3aaa9ba183 Mon Sep 17 00:00:00 2001 From: bQUARKz Date: Sat, 7 Mar 2026 17:34:37 +0000 Subject: [PATCH] clean up --- .../agendas/010-input-intrinsics-surface.md | 31 ---------------- ...1-input-frame-semantics-and-portability.md | 35 ------------------- ...d-builtins-protocol-and-system-services.md | 13 ++----- docs/runtime/agendas/README.md | 12 ++----- ...ntrinsics-and-language-agnostic-surface.md | 3 +- 5 files changed, 6 insertions(+), 88 deletions(-) delete mode 100644 docs/runtime/agendas/010-input-intrinsics-surface.md delete mode 100644 docs/runtime/agendas/011-input-frame-semantics-and-portability.md diff --git a/docs/runtime/agendas/010-input-intrinsics-surface.md b/docs/runtime/agendas/010-input-intrinsics-surface.md deleted file mode 100644 index a4b41a63..00000000 --- a/docs/runtime/agendas/010-input-intrinsics-surface.md +++ /dev/null @@ -1,31 +0,0 @@ -# Agenda 010 - Input Intrinsics Surface (Fechada no v1) - -## Status - -Fechada para v1 pela decisao: - -- `../decisions/005-v1-vm-owned-input-intrinsics-and-language-agnostic-surface.md` - -## O Que Foi Fechado - -1. Input sai da fronteira de syscall e entra em VM-owned intrinsics. -2. Superficie obrigatoria do dominio: `button`, `pad`, `touch`. -3. Sem `axis` no v1. -4. Snapshot de input congelado no inicio do frame logico. -5. API de linguagem pode ser encadeada/ergonomica, mas o contrato normativo e language-agnostic. -6. Sem capability gate e sem custo de certificacao por syscall para leitura de input. - -## Efeito Pratico - -- Toolchain/backend devem emitir `INTRINSIC ` para input. -- Syscalls de input legadas devem ser removidas/desativadas da superficie oficial. - -## Risco Residual - -- Nenhum bloqueador do bytecode v1 permanece nesta agenda. -- Novas discussoes de input so devem reabrir em caso de mudanca de versao de contrato. - -## Follow-up - -- Validar alinhamento de specs (`06`, `16`, `16a`) com a decisao `005`. -- Validar runtime/verifier contra IDs finais de input intrinsics. diff --git a/docs/runtime/agendas/011-input-frame-semantics-and-portability.md b/docs/runtime/agendas/011-input-frame-semantics-and-portability.md deleted file mode 100644 index 3df411ea..00000000 --- a/docs/runtime/agendas/011-input-frame-semantics-and-portability.md +++ /dev/null @@ -1,35 +0,0 @@ -# Agenda 011 - Input Frame Semantics and Portability (Fechada no v1) - -## Status - -Fechada para v1 pela decisao: - -- `../decisions/005-v1-vm-owned-input-intrinsics-and-language-agnostic-surface.md` - -## O Que Foi Fechado - -1. A amostragem de input ocorre antes do frame logico. -2. O estado observado pelo guest fica congelado durante todo o frame. -3. Semantica de `button`: - - `pressed` no frame de transicao up -> down - - `released` no frame de transicao down -> up - - `down` enquanto pressionado - - `hold` contando frames pressionado -4. `touch` e single-point no perfil handheld v1, com coordenadas `(x, y)` e persistencia do ultimo estado no snapshot vigente. -5. `pad` e `touch` sao obrigatorios como elementos do contrato de plataforma. -6. Leitura de input nao participa de capability gate de syscall nem de scoring de certificacao por syscall. - -## Efeito Pratico - -- O runtime deve expor input como leitura deterministica de snapshot VM-owned. -- O host deve fornecer os sinais necessarios para pad/touch a cada frame. - -## Risco Residual - -- Nenhum bloqueador de bytecode v1 permanece nesta agenda. -- Edge cases de app model/window system ficam para agendas futuras (fora de input v1). - -## Follow-up - -- Manter `06-input-peripheral.md` e `07-touch-peripheral.md` alinhadas com esta semantica. -- Cobrir no runtime testes de regressao para determinismo por frame. diff --git a/docs/runtime/agendas/017-vm-owned-builtins-protocol-and-system-services.md b/docs/runtime/agendas/017-vm-owned-builtins-protocol-and-system-services.md index 2fbb4088..d6ab38f8 100644 --- a/docs/runtime/agendas/017-vm-owned-builtins-protocol-and-system-services.md +++ b/docs/runtime/agendas/017-vm-owned-builtins-protocol-and-system-services.md @@ -1,17 +1,8 @@ # Agenda - VM-Owned Stateful Protocol (Pos-v1) -## Base Ja Fechada (Nao Reabrir Nesta Agenda) +## Escopo Ja Fechado (Nao Reabrir) -Esta agenda passa a considerar fechado no v1: - -- input VM-owned por `INTRINSIC `; -- sem tabela dedicada de preload VM-owned no v1; -- `HOSTCALL`/`SYSCALL` host-backed preservados sem redesign; -- surface de linguagem livre (exemplo PBS apenas ilustrativo, nao normativo); -- snapshot de input congelado por frame; -- input sem capability/telemetria de certificacao. - -Fonte normativa do recorte v1: +Input VM-owned v1 ja foi fechado na decisao abaixo e saiu desta agenda: - `../decisions/005-v1-vm-owned-input-intrinsics-and-language-agnostic-surface.md` diff --git a/docs/runtime/agendas/README.md b/docs/runtime/agendas/README.md index 09388988..7ae74957 100644 --- a/docs/runtime/agendas/README.md +++ b/docs/runtime/agendas/README.md @@ -14,8 +14,6 @@ As agendas atuais são: - `002-packed-cartridge-loader-pmc.md` - `005-runtime-edge-test-plan.md` - `009-filesystem-surface-and-semantics.md` -- `010-input-intrinsics-surface.md` -- `011-input-frame-semantics-and-portability.md` - `012-asset-fault-semantics-and-surface.md` - `013-audio-fault-semantics-and-surface.md` - `014-gfx-fault-semantics-and-command-contract.md` @@ -38,10 +36,8 @@ Ordem sugerida para discussão e futura execução: 9. `015-system-fault-semantics-and-control-surface.md` 10. `009-filesystem-surface-and-semantics.md` 11. `016-filesystem-fault-semantics.md` -12. `010-input-intrinsics-surface.md` -13. `011-input-frame-semantics-and-portability.md` -14. `005-runtime-edge-test-plan.md` -15. `002-packed-cartridge-loader-pmc.md` +12. `005-runtime-edge-test-plan.md` +13. `002-packed-cartridge-loader-pmc.md` Justificativa curta: @@ -56,7 +52,7 @@ Justificativa curta: - `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. -- `010` e `011` isolam o dominio maior de input fora de syscall, tratando `pad` e `touch` como superfícies centrais, `button` como parte de `pad`, e explicitando a migracao da leitura de input para intrinsics. +- 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. @@ -71,8 +67,6 @@ Dependências principais: - `014` depende da decisao `004` - `015` depende da decisao `004` e `001` - `016` depende das decisoes `003`, `004` e da `009` -- `010` depende de `007` -- `011` depende de `010` - `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` 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 3f2d9ece..86ec39e7 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 @@ -103,8 +103,7 @@ Os nomes acima sao apenas ilustrativos; o contrato real e o ID/versionamento can ## Follow-up Obrigatorio -- agenda `010-input-intrinsics-surface.md` deve considerar input v1 fechado; -- agenda `011-input-frame-semantics-and-portability.md` deve considerar semantica base fechada; +- 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`). Specs a alinhar/confirmar: