Lyotic · 기반 원칙

독립적인 상태 축

비교 중, 승인됨, 적용됨, 검증됨은 같은 종류의 상태가 아닙니다. 한 업무 안에서도 대상별 결과가 다를 수 있습니다.

상태 축

상태 축선언된 값
Workopen · awaiting-judgment · in-progress · blocked · resolved · closed · superseded
Epistemicobserved · supported · inferred · ambiguous · conflicted · unknown
Freshnessfresh · aging · stale · unknown
Authoritypermitted · needs-approval · blocked · stale
Executionnot-started · submitted · running · applied · partially-applied · failed · outcome-unknown
Controlrunning · stop-requested · halted
Verificationpending · verified · failed · inconclusive
Representationcompact · compare · decide · authorize · execute · verify · recover · handoff; disclosure collapsed/expanded; attention none/requested

상태 모델도 하나의 거대한 순서로 만들면 안 된다. 첨부 문서에서 Drift, Compare, Commit 등을 구분한 발전을 이어가되, 업무 상태, 인식 상태, 권한 상태, 실행 상태, 검증 상태, 표현 상태를 독립적으로 모델링해야 한다. Compare는 사용자가 정보를 비교하는 표현이나 동작이지 업무가 해결되었다는 상태가 아니다. Authorized는 실행이 끝났다는 뜻이 아니다. 한 Case 안에서 어떤 Action은 검증되었고 다른 Action은 미확정일 수 있다. 이 조합을 표현하지 못하면 실제 업무는 다시 성공과 실패 두 가지로 왜곡된다.

각 축의 표현

아래는 공용 런타임이 렌더링하는 상태 값입니다. 관찰됨·지지됨·추론됨·모호함·충돌·알 수 없음은 인식 상태입니다. 실행의 applied와 검증의 verified를 서로 바꾸지 않습니다. Glyph와 label을 함께 읽습니다.

인식 상태

observed, supported, inferred, ambiguous, conflicted, unknown을 구분합니다. 분류기 confidence가 이 축을 대신하지 않습니다.

실행 상태

not-started, submitted, running, applied, partially-applied, failed, outcome-unknown은 대상별 실행 값입니다.

검증 상태

pending, verified, failed, inconclusive는 검사 범위와 시점을 동반하는 검증 값입니다.

권한 상태

permitted, needs-approval, blocked, stale는 다섯 권한 계층의 평가 결과입니다.

최신성·제어·업무 상태

최신성 fresh·aging·stale·unknown, 제어 running·stop-requested·halted, 업무 생명주기를 구분합니다.

조합에서 지켜야 할 규칙

불확실성을 하나의 숫자로 줄이지 않습니다

불확실성 역시 하나의 confidence 숫자로 압축할 수 없다. 모델의 확신, 출처 간 일치, 증거의 충분성, 정보의 최신성, 실제 결과의 검증 여부는 다르다. 세 출처가 일치해도 모두 같은 오래된 기록을 복제한 것일 수 있다. 모델이 높은 확신을 보이더라도 비교한 필드의 의미가 다를 수 있다. Lyotic은 Observed, Supported, Inferred, Ambiguous, Conflicted, Unknown 같은 인식 상태와 Pending, Verified, Failed, Inconclusive 같은 검증 상태를 구분해 다룬다.