export { leadExtensionArgs } from "@pi-unipi/core/child-agent.js";