diff --git a/src/lifecycle/uninstall-postcondition.ts b/src/lifecycle/uninstall-postcondition.ts
index 8a1302d9..239d8340 100644
--- a/src/lifecycle/uninstall-postcondition.ts
+++ b/src/lifecycle/uninstall-postcondition.ts
@@ -1,4 +1,4 @@
-// Kept after P0 (#702) / P1 zero-ref scan: still used by Core uninstall-executor.
+// Kept after P0 (#702) / P1 / P5 zero-ref scans: still used by Core uninstall-executor.
 // Keep: product-path touch so pure openspec archive PRs still run the macOS test matrix.
 // Keep: product-path touch so the post-1.12 openspec/changes/archive cleanup PR still runs the macOS test matrix.
 // Keep: product-path touch so the post-1.12 runbook/ADR wording PR still runs the macOS test matrix.
diff --git a/src/lifecycle/update-planner.ts b/src/lifecycle/update-planner.ts
index f6a23406..3997b1e3 100644
--- a/src/lifecycle/update-planner.ts
+++ b/src/lifecycle/update-planner.ts
@@ -1,4 +1,4 @@
-// Kept after P0 (#702) dry-run Core preview: still required by update planning
+// Kept after P0 (#702) / P1 / P5 zero-ref scans: still required by update planning
 // (src/planning/updates.ts, Core update-production, lifecycle-updates-production).
 // Install/ensure --dry-run no longer imports this module.
 import type {
diff --git a/src/services/index.ts b/src/services/index.ts
index 7cbafaa4..aa99e792 100644
--- a/src/services/index.ts
+++ b/src/services/index.ts
@@ -1,18 +1,7 @@
+// KEEP (P5): published v1 facade only (agents + update planning).
+// Commands import execution / self-upgrade production modules directly;
+// unused barrel re-exports of those leftovers were removed after P0–P4.
 export { inspectRegisteredAgents, resolveAgent, resolveAgentInspection } from './agents'
 export type { ResolvedAgentInspection } from './agents'
-export {
-  type AgentExecutionOutcome,
-  type ExecuteAgentLifecycleInput,
-  executeAgentLifecycle,
-  type LifecycleExecutionObservedAgent,
-  type LifecycleExecutionServicePorts,
-} from '../core/execution-executor'
-export {
-  createProductionLifecycleExecutionService,
-  type ProductionLifecycleExecutionDependencies,
-  type ProductionLifecycleExecutionOptions,
-  type ProductionLifecycleExecutionService,
-} from './lifecycle-execution-production'
 export { getSingleAgentUpdateStatus, planAgentUpdates } from './update'
 export type { ManagedUpdateBucket, PendingAgentUpdate, PlannedAgentUpdates, SingleAgentUpdateStatus } from './update'
-export { createProductionSelfUpgradeInvocation, type ProductionSelfUpgradeInvocation } from './self-upgrade-production'
diff --git a/test/core/update-ownership.test.ts b/test/core/update-ownership.test.ts
index 057e0243..6f3c84cd 100644
--- a/test/core/update-ownership.test.ts
+++ b/test/core/update-ownership.test.ts
@@ -41,6 +41,13 @@ describe('CLI Core update ownership', () => {
   it('does not retain deprecated Core re-export shims under services', async () => {
     await expect(source('src/services/lifecycle-updates.ts')).rejects.toThrow()
     await expect(source('src/services/lifecycle-execution.ts')).rejects.toThrow()
+
+    const barrel = await source('src/services/index.ts')
+    expect(barrel).not.toMatch(/from ['"]\.\.\/core\/execution-executor['"]/u)
+    expect(barrel).not.toMatch(/from ['"]\.\/lifecycle-execution-production['"]/u)
+    expect(barrel).not.toMatch(/from ['"]\.\/self-upgrade-production['"]/u)
+    expect(barrel).toContain("from './agents'")
+    expect(barrel).toContain("from './update'")
   })
 })