diff --git a/docs/pbs/pull-requests/INDEX.md b/docs/pbs/pull-requests/INDEX.md
index 5b48cc1a..a5ffb5e6 100644
--- a/docs/pbs/pull-requests/INDEX.md
+++ b/docs/pbs/pull-requests/INDEX.md
@@ -143,3 +143,15 @@ Foco: fechar lacunas estruturais em identidade canonica de intrinsic/modulo/entr
 3. `PR-08.3-qualified-entrypoint-identity-contract.md`
 4. `PR-08.4-call-func-callee-module-identity-correctness.md`
 5. `PR-08.5-intrinsic-registry-single-source-sync-with-runtime.md`
+
+### Onda O9 - ModuleId-Only Contract Cutover
+
+Foco: remover definitivamente `moduleKey` textual do contrato estrutural FE->BE, endurecer entrypoint qualificado e alinhar specs/matriz com o modelo `ModuleId`-only.
+
+1. `PR-09.1-irbackend-modulekey-hard-removal-from-contract.md`
+2. `PR-09.2-pbs-frontend-moduleid-only-lowering-and-import-surfaces.md`
+3. `PR-09.3-lower-to-irvm-moduleid-only-ordering-and-strict-qualified-entrypoint.md`
+4. `PR-09.4-specs-refresh-moduleid-only-entrypointref-and-bytecode-alignment.md`
+5. `PR-09.5-hard-gates-no-modulekey-regression-and-migration-cleanup.md`
+6. `PR-09.6-isa-intrinsic-registry-single-source-artifact.md`
+7. `PR-09.7-compiler-normalization-to-isa-registry-artifact.md`