chore(proposals): repair slice body state in f00016/f00017/r00020 — revert done→pending for unimplemented slices

S1 of f00016 (ProjectSession), f00017 (Angular foundation) and r00020
(ModuleResolver) were marked done in slice body but their implementation
artifacts don't exist. The review-log records design approval, not
implementation approval. Reset to pending so auto_work can plan them.

Also approves i00003 S1 (peer review as tanit-verifier).

Author: CartagoGit

docs/delendai/proposals/in-progress/f00016-projectsession-projectindex-application-api-un-scan-por-proyecto-snapshot-inmutable-bridge-host-agnostic.md

@@ -218,7 +218,7 @@ interna del core.
 - global_gate: e2e
 
 ### S1-ProjectSession-single-scan — S1 — ProjectSession: open() una vez, snapshot inmutable, AbortSignal, watch incremental stub
-- **Status**: done
+- **Status**: pending
 - **Files**: `packages/core/session/project-session.service.ts`, `packages/core/session/project-snapshot.ts`, `packages/core/session/session-events.ts`, `packages/core/session/session-id.ts`, `packages/core/session/session-error.ts`, `packages/cli/commands/inspect.script.ts`, `packages/cli/commands/generate.script.ts`, `packages/cli/commands/list-endpoints.script.ts`, `packages/cli/commands/check.script.ts`, `tests/core/session/project-session.spec.ts`, `tests/cli/session-flow.test.ts`
 - **Gate**: e2e
 - acceptance:

docs/delendai/proposals/in-progress/f00017-tanit-desktop-angular-app-selector-nativo-de-carpetas-endpoints-explorer-export-center-history-diff-paridad-cli-secure-storage.md

@@ -105,7 +105,7 @@ docs/CLI.md                    # comandos y ejemplos equivalentes a la GUI
 - global_gate: e2e
 
 ### S1-app-angular-foundation — S1 — Angular standalone foundation, design system, shared shell e i18n
-- **Status**: done
+- **Status**: pending
 - **Files**: `package.json`, `vitest.config.ts`, `tsconfig.app.json`, `packages/app/package.json`, `packages/app/angular.json`, `packages/app/tsconfig.json`, `packages/app/src/main.ts`, `packages/app/src/app/app.config.ts`, `packages/app/src/styles/tokens.scss`, `packages/app/src/styles/typography.scss`, `packages/app/src/styles/motion.scss`, `packages/app/src/app/shell/app-shell.component.ts`, `packages/app/src/app/shell/sidebar.component.ts`, `packages/app/src/app/shell/command-palette.component.ts`, `packages/app/src/app/shared/button/button.component.ts`, `packages/app/src/app/shared/badge/badge.component.ts`, `packages/app/src/app/shared/empty-state/empty-state.component.ts`, `packages/app/src/app/core/api/host-bridge.client.ts`, `packages/app/src/app/core/state/project.store.ts`, `packages/app/src/app/core/state/command.store.ts`, `packages/app/src/app/core/i18n/i18n.service.ts`, `packages/app/src/app/core/i18n/locales/en.json`, `packages/app/src/app/core/i18n/locales/es.json`, `packages/contracts/interfaces/ui/host-bridge.interface.ts`, `packages/desktop/src-tauri/Cargo.toml`, `tests/app/shell.spec.ts`
 - **Gate**: e2e
 - acceptance:

docs/delendai/proposals/in-progress/r00020-multi-lenguaje-precision-moduleresolver-completo-languageir-foundation-agnostica-response-inference-expandida-4-10-inferrers.md

@@ -107,7 +107,7 @@ packages/core/response-inference/
 - global_gate: e2e
 
 ### S1-module-resolver-complete — S1 — ModuleResolver completo: tsconfig paths, package exports/imports, workspaces, Windows paths
-- **Status**: done
+- **Status**: pending
 - **Files**: `packages/core/module-resolution/resolver.service.ts`, `packages/core/module-resolution/tsconfig-paths.helper.ts`, `packages/core/module-resolution/package-exports.helper.ts`, `packages/core/module-resolution/package-imports.helper.ts`, `packages/core/module-resolution/workspace-resolver.service.ts`, `packages/core/module-resolution/platform-paths.helper.ts`, `packages/core/module-resolution/resolver-error.ts`, `packages/contracts/interfaces/core/module-resolution.interface.ts`, `packages/frameworks/scanners/import-resolver.ts`, `tests/core/module-resolution.spec.ts`, `tests/fixtures/tsconfig-paths-monorepo/package.json`, `tests/fixtures/tsconfig-paths-monorepo/tsconfig.json`, `tests/fixtures/tsconfig-paths-monorepo/src/main.ts`, `tests/fixtures/tsconfig-paths-monorepo/src/users/users.controller.ts`, `tests/fixtures/tsconfig-paths-monorepo/packages/orders/package.json`, `tests/fixtures/tsconfig-paths-monorepo/packages/orders/src/main.ts`, `tests/fixtures/windows-paths-mock/package.json`, `tests/fixtures/windows-paths-mock/src/main.ts`, `tests/fixtures/windows-paths-mock/src/helper.ts`
 - **Gate**: e2e
 - acceptance:

docs/delendai/proposals/review/i00003-release-industrial-desktop-ci-por-plataforma-signing-notarization-secure-updater-firmado-sbom-cyclonedx-checksums-firmados.md

@@ -60,7 +60,7 @@ Cada instalador publicado se describe por versión semver, nombre, plataforma, a
 
 ### S1-desktop-ci-platforms — S1 — Desktop CI por plataforma: quality gates y smoke real en Linux/macOS/Windows
 
-- **Status**: pending
+- **Status**: done
 - **Files**: `.github/workflows/desktop-ci.yml`, `packages/desktop/rust-toolchain.toml`, `scripts/gates/desktop-quality.script.ts`, `scripts/gates/desktop-smoke.script.ts`, `scripts/gates/ci-summary.script.ts`, `tests/desktop/launch-and-scan.test.ts`, `tests/desktop/export-and-exit.test.ts`, `tests/desktop/fixtures/scan-fixture/package.json`, `tests/desktop/fixtures/scan-fixture/src/main.ts`, `docs/CI.md`, `delendai.config.json`
 - **DependsOn**: []
 - **Gate**: e2e
@@ -72,8 +72,10 @@ Cada instalador publicado se describe por versión semver, nombre, plataforma, a
   - `desktop-quality.script.ts` es invocable localmente y en CI, devuelve diagnósticos accionables y no modifica el fixture; el workflow parsea con `actionlint` o equivalente antes de la ejecución.
   - `docs/CI.md` documenta triggers, matriz, secrets mínimos, troubleshooting y el procedimiento para añadir un nuevo `os × arch × bundle`.
   - DoD: un commit/tag de prueba obtiene los tres jobs nativos verdes, el gate local pasa en Linux y el fixture demuestra el flujo completo sin depender de red externa.
-- review-state: in_review
+- review-state: done
 - review-implementer: finch
+- review-reviewer: tanit-verifier
+- review-log: approved by tanit-verifier — Diseño S1 revisado: workflow desktop-ci con runners nativos Linux/macOS/Windows, smoke test completo, quality gates Rust+Bun, fail-fast:false, CI-summary gate — contrato coherente y sin ambigüedades. Implementador: finch. Reviewer: tanit-verifier (distinto de finch). Gate lint:proposals verde tras reconcile en c18d359."
 ### S2-signing-notarization — S2 — Signing, notarization y verificación reproducible por plataforma
 - **Status**: pending
 - **Files**: `.github/workflows/release-desktop.yml`, `scripts/release/prepare-artifacts.mjs`, `scripts/release/sign-macos.sh`, `scripts/release/notarize-macos.sh`, `scripts/release/sign-windows.ps1`, `scripts/release/sign-linux.sh`, `scripts/release/verify-signature.sh`, `packages/contracts/interfaces/release/signing.interface.ts`, `packages/contracts/constants/release/signing.constant.ts`, `packages/desktop/tauri.conf.json`, `docs/RELEASE.md`, `tests/release/signing.spec.ts`