얼려진 fit, 레이어된 교정

"기계가 말한 걸 절대 덮어쓰지 마. 얼리고, 그 위에 교정을 얹어 — 언제든 다시 벗겨낼 수 있게."

기계가 말한 걸 얼려

검출기가 fit 을 제안하면, Loomis 는 그 생 출력을 얼려서 저장해 — 기계가 정확히 뭘 봤는지의 불변 기록. 절대 제자리 편집 안 해. 나중에 뭐가 일어나든, 원본 검출은 제안의 충실한 기록으로 남아, 덮어쓰는 순간 그걸 기록으로 만든 유일한 것 — 안 변함 — 을 잃으니까.

교정은 덮어쓰기가 아니라 레이어야

검출기가 잘못 놓은 landmark 를 인간이 살짝 밀면, 그 조정은 얼려진 fit 을 손 뻗어 바꾸지 않아. 별도의 교정 레이어 로 저장돼 — 복구 가능하고, 되돌릴 수 있고, 위에 앉아서. 기하가 실제로 쓰는 fit 은 둘에서 계산 돼: 얼려진 검출에 교정을 위에 적용한 것. 원본은 밑에 온전히 남아서, 교정은 그게 수정하는 기록에 아무 위험 없이 되돌리고, 재검토하고, 버릴 수 있어.

provenance 가 정직한 채로

기계의 제안과 인간의 편집이 별도 레이어에 사니까, 엔진은 세 개의 구별된 질문에 항상 답할 수 있어: 검출기가 뭘 제안했나, 사람이 뭘 바꿨나, 기하가 결국 뭘 썼나? 그게 provenance 고, 아무것도 파괴적으로 병합 안 됐어야만 가능해. 검출을 교정으로 덮어쓰면 세 질문이 누가 뭘 책임졌는지 더는 못 말하는 하나의 lossy blob 으로 무너져. 레이어를 떼어 놓는 게 이야기를 감사 가능하게 유지해.

같은 모양, 어디에나

이건 엔진 전체와 가족 전체에 반복되는 패턴의 한 사례야: 진실의 원천을 얼리고, 위에 편집을 레이어하고, 뷰를 재계산해. Track 6 의 채점기는 네 그림 시도를 append-only 로 보존하고, 과거 시도를 절대 변형 안 해. Track 7 의 collection 은 세션을 meta-overlay 로 조직하고 디스크의 세션 파일은 손 안 대. Pippa 자신의 대화 로그는 재구축 가능한 파생 미러가 있는 append-only ground truth 야. 여기서 모양을 한 번 보면 — 얼려진 fit, 교정 레이어, 계산된 effective 뷰 — '진실을 잃지 않고 어떻게 편집을 허용하나?' 에 대한 가족의 기본 답으로 알아볼 거야.

Code

얼려진 원천, 교정 레이어, 계산된 뷰·python

# The detector's output is FROZEN -- an immutable record of the proposal.
detection = detector.detect(photo)         # stored once, never mutated in place

# Corrections are a SEPARATE layer -- recoverable and reversible.
corrections = load_corrections(session)    # e.g. {landmark_id: new_xy, ...}

# The effective fit is COMPUTED, never a destructive merge:
effective = apply(detection, corrections)  # 'detection' stays intact underneath

# Provenance is always answerable:
#   detection   -> what the MACHINE proposed
#   corrections -> what the HUMAN changed
#   effective   -> what the GEOMETRY actually used
# Overwrite 'detection' in place and all three collapse into one lossy blob.

Exercise

네 작업에서 기록을 제자리 편집해서 이전 상태를 잃는 자리를 찾아 — 덮어쓰는 config, 변형하는 필드, 위에 저장하는 파일. 그걸 불변 원천 더하기 교정/override 레이어로, 작업 값이 둘에서 계산되게 재설계해봐. 뭘 얻는지 나열해: undo? 감사 흔적? 뭐가 바뀌고 누가 바꿨는지 말하는 능력?

Hint

단서는 편집 뒤 옛 값이 그냥 사라지는 모든 연산이야. 그걸 '원본을 얼린 채 두고, 변경을 레이어로 저장하고, effective 값을 계산' 으로 바꾸면 약간의 계산과 약간의 저장 비용으로 undo, provenance, 재현성을 사. 그 트레이드가 Loomis — 그리고 가족 전체 — 가 기본으로 그걸 치르는 이유야.