[F2-1] 의미·예측·신경 출처의 남은 공통 계약 완성

[thisisjun786]

상위 로드맵: #16. 기준: F1 PR #14 + 수정 PR #15 (4ed1ff8). 구현 전 PR #15의 병합 결과와 최신 dev를 대조한다.

User problem

F1은 판단·의도·정책 저장의 공통 형식을 제공하지만 Purpose·Understanding·Plan, typed Forecast/Claim, NeuralProjectionRef의 상태·학습 revision 결합은 아직 부분 계약이다. 문자열 참조나 빈 detail.body로 완성을 대신할 수 없다.

Desired outcome

세 메커니즘을 연결하기 전에 목적, 근거 있는 이해, 수행 방법, 채택된 의도와 관측/가정/예측을 코드와 저장소에서 구분한다.

Dependencies

• 착수 조건: PR fix(core): align Moirai F1 judgment contracts and Codex roadmap #15 병합 후 최신 dev 기준 확인.
• 통합 완료 조건: PR fix(core): align Moirai F1 judgment contracts and Codex roadmap #15 병합 후 최신 dev 기준 확인.
• 두 조건이 다른 경우 선행 계약과 대역으로 착수할 수 있으며 실제 통합 완료로 표시하지 않는다.

Scope

• EXTEND packages/lina-core/src/agents/judgment.ts, judgment-validation.ts, judgment-schema.ts, judgment-store.ts: Purpose/Understanding/Plan과 IntentionRecord의 연결, 수락·철회·완료 근거, Forecast/Claim의 출처·단위·확인 상태를 구현한다. 논리별 새 파일이 필요하면 기존 agents 경계 안에 둔다.

• EXTEND packages/lina-core/src/agents/behavior-types.ts 및 검증·소비자: NeuralProjectionRef에 profile/state/learning revision, 허용 dimension·값·경험/source proof 결합을 갖춘다.

• NEW typed PromptAsset·PromptExperiment·PromptRun 계약을 기존 core 소유 경계에 정의한다. 자산 revision·역할·목표 참조·층 해시·presetRef, 실험의 고정 사례/반복/judge/채택 조건, 실행의 wire/outcome/usage 참조를 직렬화·검증한다.

• 불완전한 증거의 held 기록도 deferred와 같은 증거 규칙으로 좁힌다. PR #15는 새로 추가한 deferred만 제한했고 held는 PR #14의 서술 범위를 유지했다. 과거 행동 기록의 바이트·해시를 보존해야 하므로 schema 또는 policy revision으로 새 규칙을 선언하고 기존 행을 그대로 읽을 수 있는 경로를 함께 검증한다. 근거: PR #15의 Devin 리뷰 #15 discussion_r3999433202.

• ObjectiveProfile은 JudgmentStore, PersonaSchema는 AgentStore, 기억·지시·권한 원본은 기존 owner가 유지한다. OutcomeTarget(대화/행동)과 consumer receipt 계약을 후속 결과 처리와 함께 고정한다.

• 새 필드의 생성 → 직렬화 → 저장 → 과거 값 읽기 → 복원 → 소비자 경로를 명시한다. schema 변경은 기존 불변 기록·digest를 다시 쓰지 않는 명시적 버전/이전 방식으로 처리한다.

• 이 binary가 모르는 policy로 기록된 과거 행이 저장소 전체 읽기를 막지 않게 한다. 완결된 증거의 회차는 정책을 재생할 수 없으면 여전히 기록 시점에 거부하되(기존 계약 테스트 3995958855), validateLedger가 모든 transaction 앞에서 도는 감사 경로에서는 비실행 기록 하나가 무관한 회차·의도 읽기를 실패시키지 않아야 한다. 쓰기 시점과 감사 시점의 의미를 나누고, 감사 완화가 위조 회피 경로를 만들지 않는지 함께 검증한다. PR fix(core): align Moirai F1 judgment contracts and Codex roadmap #15 이전 13ff9b2에서도 같은 행은 policy snapshot mismatch로 막혔으므로 기존 제약이다. 근거: #15 discussion_r3999583983.

Acceptance criteria

• 모르는 policy revision으로 기록된 과거 비실행 행이 있는 저장소에서 무관한 회차·의도 읽기가 성공하고, 완결된 증거의 새 기록은 여전히 거부된다.
• Purpose/Understanding/Plan/Intention을 서로 바꿔 넣거나 관측과 예측을 섞는 입력을 거부한다. 유효 자료는 실제 SQLite 저장·재개 후 동일 의미/참조를 보존한다.
• 잘못된 목표/profile/state/learning/source 조합과 근거 없는 사용자 약속 채택·취소를 거부한다.
• 불완전한 증거의 held 기록이 새 규칙 아래에서 증명되지 않은 순서·추천·제외·기권·충돌·순위·양보를 거부하고, 기존 행은 원래 바이트·해시로 계속 읽힌다.
• F1 숫자 mechanismRevision, policy revision1 과거 재생, revision2 보류 및 잘림 출처 회귀가 유지된다.
• 형식 검증 통과와 사실의 진위·신경 효용 검증을 구분한다.

Alternatives and constraints

PR #8의 의미를 참고하되 QA KernelStore·DB·평가 통과를 제품에 복사하지 않는다. 프로필 정책·권한·개인정보 요구를 F4까지 미루지 않는다.

017 부분 계약 · 016 의도와 결과

[thisisjun786]

이 이슈의 후속 추적을 Linear로 이전했습니다.

• 이전 위치: JUN-29 · [F2-1] 의미·예측·신경 출처의 남은 공통 계약 완성
• 프로젝트: LINA · Moirai 판단 엔진 통합
• 전체 로드맵과 이전 대조표: Moirai F2–F4 로드맵과 마일스톤

본문·수용 체크리스트·참고 링크와 선행 조건을 보존하고 이전 결과를 확인했습니다. 이 GitHub 이슈는 추적 위치 이전으로 닫습니다. 기능 구현·검증이 완료됐다는 뜻은 아니며, 실행 이슈는 Linear의 Backlog에서 계속 관리합니다.