상위 로드맵: #16. 기준: F1 PR #14 + 수정 PR #15 (4ed1ff8). 구현 전 PR #15의 병합 결과와 최신 dev를 대조한다.
User problem
F1의 SelectionSpec·ResolutionRecord만으로는 실제 행동의 단일 선택, 승인, 전송, 결과 학습과 중단 복구가 연결되지 않는다.
Desired outcome
personal.v1 후보를 한 번 선택하고 finalize가 검증한 효과만 기존 owner가 실행한다. 대화·행동의 실제 결과는 각 모듈에 중복 없이 전달되고 재시작 뒤 미완료 단계만 복구된다.
Dependencies
Scope
- EXTEND packages/lina-core/src/agents/judgment-store.ts·judgment-schema.ts, 후보/정책 계약 및 runtime cognition 조정기: closeCandidateSet 이후 불변 평가를 만들고 commitDecision이 선택 ID·RNG·receipt·held outbox를 한 transaction으로 기록한다.
- finalizeDecision이 같은 후보/효과 범위, 현재 objective/source/권한/의도/generation을 확인한 뒤 outbox를 release한다. 실패는 같은 선택 재시도/취소이며 재추첨하지 않는다.
- MODIFY packages/lina-runtime/src/tools/codex-tasks.ts, execution.ts와 기존 packages/lina-codex/src/tasks.ts 연결: task.start/send/interrupt/handover를 Codex TaskManager receipt에 결합한다. 프로세스 종료를 목표 완료로 취급하지 않는다.
- 대화/행동 OutcomeTarget, 목표별 결과 해석과 consumer inbox를 연결한다. 적용 키는 (agent,scope,outcomeId,consumerKind); revision 변경만으로 재적용하지 않는다. unknown 효과는 reconcile 전 보상하지 않는다.
- 관측/판단/응답 수락/선택/finalize/효과/결과해석 단계별 재시작 복구를 구현한다. 내부 세 의견을 세 경험으로 복제하지 않는다.
- MODIFY 기존 checkpoint-barrier.ts·checkpoint-cli.ts 및 저장소 소유자: 신규 writer 정지, manifest 마지막 확정, DB/blob/원본 참조 대조, pending inbox/outbox reconcile. 별도 복원기를 만들거나 다중 DB transaction을 가정하지 않는다.
Acceptance criteria
Alternatives and constraints
계약·저장 골격은 F2-1 뒤 먼저 착수할 수 있다. 최종 통합·완료는 F2-2와 F2-3 결과가 필요하다. 라이브 작업은 통제된 시험 workspace와 허용된 권한으로만 실행한다.
016 선택/실행 · 016 저장과 동시성
상위 로드맵: #16. 기준: F1 PR #14 + 수정 PR #15 (
4ed1ff8). 구현 전 PR #15의 병합 결과와 최신dev를 대조한다.User problem
F1의 SelectionSpec·ResolutionRecord만으로는 실제 행동의 단일 선택, 승인, 전송, 결과 학습과 중단 복구가 연결되지 않는다.
Desired outcome
personal.v1 후보를 한 번 선택하고 finalize가 검증한 효과만 기존 owner가 실행한다. 대화·행동의 실제 결과는 각 모듈에 중복 없이 전달되고 재시작 뒤 미완료 단계만 복구된다.
Dependencies
Scope
Acceptance criteria
Alternatives and constraints
계약·저장 골격은 F2-1 뒤 먼저 착수할 수 있다. 최종 통합·완료는 F2-2와 F2-3 결과가 필요하다. 라이브 작업은 통제된 시험 workspace와 허용된 권한으로만 실행한다.
016 선택/실행 · 016 저장과 동시성