Function renderM0Pi

packages/pi-plugin/src/inject-compartments-pi.ts:1005–1119

(
	state: PiM0M1State,
	db: ContextDatabase,
	projectDocs = readProjectDocsForPiM0(state).renderedBlock,
	decayPressureMultiplier = 1,
	// Atomic-snapshot override: when materializeM0Pi reads markers + memories in
	// one transaction, it passes the SAME memory set here so the rendered m[0]
	// can't include a memory whose id is above the persisted maxMemoryId watermark
	// (which would duplicate it across the m[0]/m[1] split). Mirrors OpenCode,
	// where renderM0 takes memories as a parameter rather than re-reading.
	memoriesOverride?: Memory[],
	compartmentsOverride?: PiCompartment[],
	userProfileOverride?: UserMemory[],
	workspaceOverride?: WorkspaceRenderContext,
)

}

export function renderM0Pi(
	state: PiM0M1State,
	db: ContextDatabase,
	projectDocs = readProjectDocsForPiM0(state).renderedBlock,
	decayPressureMultiplier = 1,
	// Atomic-snapshot override: when materializeM0Pi reads markers + memories in
	// one transaction, it passes the SAME memory set here so the rendered m[0]
	// can't include a memory whose id is above the persisted maxMemoryId watermark
	// (which would duplicate it across the m[0]/m[1] split). Mirrors OpenCode,
	// where renderM0 takes memories as a parameter rather than re-reading.
	memoriesOverride?: Memory[],
	compartmentsOverride?: PiCompartment[],
	userProfileOverride?: UserMemory[],
	workspaceOverride?: WorkspaceRenderContext,
): string {
	const memPath = memoryProjectPath(state);
	const workspace =
		workspaceOverride ?? resolveWorkspaceRenderContextPi(state, db);
	const allMemories =
		memoriesOverride ??
		(memPath
			? workspace.isWorkspaced
				? getMemoriesByProjects(
						db,
						workspace.expandedIdentities,
						["active", "permanent"],
						Date.now(),
						workspace.ownIdentities,
						workspace.shareCategories,
					)
				: getMemoriesByProject(db, memPath, ["active", "permanent"])
			: []);
	// Use the V2 trim + render helpers (shared with OpenCode) so both harnesses
	// emit the SAME structured <project-memory><memory id= category= importance=>
	// shape and the same permanent-first / importance-DESC ordering. A divergent
	// shape here would put different bytes on the wire between OpenCode and Pi.
	// Always trim with the default memory-budget fallback (matching OpenCode),
	// not gated on a truthy injectionBudgetTokens — an unset budget must NOT mean
	// "render every memory untrimmed", which would grow m[0] without bound.
	const memoryRenderOptions: MemoryRenderOptions = {
		sourceNameByMemoryId: sourceNamesForPiMemories({
			memories: allMemories,
			projectPath: memPath,
			workspace,
		}),
	};
	const memories =
		allMemories.length > 0
			? workspace.isWorkspaced
				? trimWorkspaceMemoriesToBudgetV2(
						state.sessionId,
						allMemories,
						state.injectionBudgetTokens ?? DEFAULT_MEMORY_BUDGET_TOKENS,
						workspace,
						memoryRenderOptions,
					).renderOrder
				: trimMemoriesToBudgetV2(
						state.sessionId,