wangxuming/makelore
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

feat(coding): add durable project identity core

Browse Source
This commit is contained in:
brother7
2026-08-26 17:59:44 +08:00
parent 7e54b8fbda
commit 43f58fc72b
12 changed files with 717 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
electron/coding-runtime/pi/release-proof.ts
View File

@@ -1436,7 +1436,10 @@ export async function startFinalAsarProxyCompositionProof(input: {
PROXY_PROOF_MODEL_ID,
));
await providerService.setDefaultAccount(PROOF_ACCOUNT_ID);
const project = await input.composition.projects.createProject({ projectPath: input.projectPath });
const project = await input.composition.projects.createProject({
projectPath: input.projectPath,
identity: { kind: 'create' },
});
projectId = project.project.id;
await createCodingProjectAgent(input.projectPath, {
id: PROOF_AGENT_ID,
@@ -1777,7 +1780,10 @@ export async function startFinalAsarResilienceProof(input: {
keepRecentTokens: 1,
},
}, null, 2), 'utf8');
const project = await input.composition.projects.createProject({ projectPath: input.projectPath });
const project = await input.composition.projects.createProject({
projectPath: input.projectPath,
identity: { kind: 'create' },
});
projectId = project.project.id;
await createCodingProjectAgent(input.projectPath, {
id: PROOF_AGENT_ID,