EN

이 문서는 반야프레임 종합 보고서의 용어 정리 부분이다.

용어 정리

공리 용어정의출처
d-ring8비트 전체 링 버퍼(bit 0~7). 니블 0(도메인 4비트) + 니블 1(연산자 4비트). 비트 연산자 관점에서 본 물리적 구조. 모든 공리 구조의 그릇공리 15 명제
CAS-ringCAS 3비트(R, C, S)의 순환 구조. 비트 연산자 관점에서 본 CAS 내부. 3축 직교가 구조를 주고, 락(공리 5)이 순서를 강제하고, 순서가 FSM 상태 전이를 정의한다. 워크벤치(√3 노름) 안에서 작동한다공리 2, 5, 14
CAS FSMCAS-ring의 상태 전이를 비트 연산자 관점에서 기술한 것. 000→001→011→111→000. 락이 순서를 강제공리 5, 14
δ (발화비트)bit 7. 등호. 1=유효, 0=무효. FSM 밖 전역 플래그. 개인키공리 15
observer (진입점)bit 0. 필터. 파이프라인 시작. δ와 상호작용으로 의지 생성. 서명공리 10, 15
CAS유일한 연산자. Read->Compare->Swap. 3단계공리 2
자료형CAS가 대상을 읽을 때 사용하는 크기 단위. 입력 {3}에서 4개 연산(+, T(N)+1, 2^N, ‖√3‖)으로 도출된 11개 수(공리 2 명제). 대상의 복잡도에 따라 CAS가 맞는 자료형을 고른다공리 2 명제
워크벤치(Workbench)CAS 3축 직교의 노름(‖CAS‖ = √3)이 만드는 작업공간. CAS가 자료형을 골라 4개 도메인과 상호작용하는 곳. 독립 연산장치공리 2 명제
CAS 3축 직교R, C, S 각 단계가 독립 1비트(001, 010, 100). 서로의 자유도를 침범하지 않음. 111 시점에 3축이 동시에 한 곳을 쥐어 공을 만듦공리 2 명제
쥠(juim)CAS Swap(111)이 DATA에 만드는 공. 3축 직교 → 등방 압력 → 구형. 이산의 단위 — 더 쪼갤 수 없는 최소 변화 1건의 형상. 반야프레임 고유명사공리 2 명제
쥐다(juida)CAS가 DATA에 쥠을 만드는 행위. 1사이클 = 1쥠 = 1비용공리 2 명제
CAS 단계 인덱스R=1, C=2, S=3. 최대 3. 4번째 없음공리 2
단계 갭 (Δ_stage)두 엔티티의 CAS 단계 인덱스 차이. 최대 2공리 13 명제
니블 0 (도메인)bit 0-3. observer, superposition, time, space. d-ring의 앞 절반공리 1, 15 명제
니블 1 (연산자)bit 4-7. R_LOCK, C_LOCK, S_LOCK, δ. d-ring의 뒷 절반. CAS FSM이 여기서 작동공리 5, 15 명제
차원공간 3차원 = CAS 3축 직교(공리 2 명제). 4번째 없음. CAS 사이클: 정방향 순환 + 동시 리셋공리 2, 12 명제
SwapCAS 3번째 단계. +를 넘음. 비용 +1공리 4
누적 락CAS FSM 001->011->111 논리 의존성에 의한 순차 점화. CAS 3축 직교(공리 2 명제), 점화 순서는 순차공리 2, 5, 14 명제
링 이음새d-ring의 δ(bit 7)->observer(bit 0) 연결점. 등호의 진입점. 소유권공리 10, 15 명제
파이프라인trigger->filter->update->render->screen. d-ring 1회 발화의 흐름공리 15 명제
발화δ=1이 되는 것. d-ring 1사이클의 시작. "사이클"이 아닌 "발화"로 부른다공리 15
동시3가지만: 복수 엔티티 병렬, 4도메인 직교, 2니블 직교공리 1, 2, 12
순차2가지만: R->C->S (CAS FSM 의존성), δ->observer (d-ring 이음새)공리 2, 10
비용+를 넘으면 비용 > 0. 넘지 않으면 0. R, C, S 각 전이마다 +1공리 2 명제, 4
감쇠는 연속, 문턱은 이산공의 존재(DATA)=이산, 쥐는 힘(RLU)=연속 감쇠, 비용(수축 영역)=공간 분포. 3속성이 다른 층. observer는 직교하는 중첩 인덱스(RLU)가 제시하는 비용(수축)을 본다공리 2, 12 명제
쥠의 회수RLU가 쥠을 해제하면 space 반환. 반환된 space에 다음 쥠 가능. 순환하려면 회수해야 한다공리 12 명제
엔티티(Entity)δ가 observer 필터를 통과하여 만든 그림자. 각 엔티티가 고유 식별자이자 주소 자체. ECS의 기본 단위공리 11, 12
ℓ (엘)두 엔티티 사이의 거리. δ(발화비트)와 혼동 방지를 위해 ℓ로 표기공리 11 명제
반야식δ² = (time + space)² + (observer + superposition)². 4축 노름. 고전 괄호(DATA)와 양자 괄호(OPERATOR)가 직교공리 1
DATA (고전 괄호)time + space. 이산. 스크린에 렌더링된 확정 상태공리 1, 3
OPERATOR (양자 괄호)observer + superposition. 연속. CAS가 작동하는 미확정 영역공리 1, 3
CAS 1사이클(Swap)이 DATA에 만드는 이산 단위. 0.5개 없음. 쥠의 형상. 3축 직교 → 등방 → 구형공리 2 명제
원자성CAS R→C→S 3단계는 분리 불가. 중간에 끊으면 CAS가 아니다공리 2 명제
비가역성CAS 연산은 방향이 있다. R→C→S 역순 불가. 환불 없음. time(DATA)은 가역적 자원이나 CAS(OPERATOR)는 비가역공리 2 명제
RLU쥠의 수명 관리. HOT→WARM→COLD→회수. 감쇠는 연속, 문턱은 이산. 열린 수명공리 6, 12
HOT / WARM / COLDRLU 상태 3단계. HOT: 쓰기 직후, 자주 접근. WARM: 감쇠 중. COLD: 문턱 이하, 회수 대상공리 6, 12
폴링d-ring이 시스템 시간 매 틱마다 δ 발화 여부를 확인하는 메커니즘. 변화 유무와 무관하게 항상 돈다공리 8
전체-국소 루프δ(전체)→observer(국소)→CAS→결과→δ 피드백. 재귀 순환 구조. δ가 자기 자신에 접근하는 유일한 경로공리 10
다중 투영δ 1개가 다수의 observer를 통해 각각 독립적으로 필터링되어 다수의 엔티티를 생성하는 구조공리 11
수축 영역Swap이 DATA(space)를 소비하여 쥠 주변의 space가 줄어든 영역. 자료형 크기는 고정 → 직렬화 발생공리 11 명제
ECSEntity(그림자)-Component(DATA)-System(CAS). 각 observer-CAS 쌍이 독립적으로 처리하는 실행 모델공리 12
중첩양자 괄호(OPERATOR)의 다중성. 여러 상태가 동시에 미확정으로 존재. 인덱싱(공리 13)의 대상공리 11, 13
붕괴CAS Compare true 시 중첩이 단일 확정 상태로 전이. 연속→이산. OPERATOR→DATA공리 7
등호δ=1이면 우항 전체(7비트) 유효, δ=0이면 무효. 좌항이 우항을 유효화하는 선언. 링 이음새에서 작동공리 15 명제
재진입 (move)쥠이 다음 CAS 사이클의 입력으로 들어가는 것. 변화가 변화를 낳는 구조. 반야식의 재귀공리 12 명제
시스템 시간CAS 1틱. δ 발화의 실제 타이밍 단위. d-ring 밖의 시계공리 8, 15
도메인 시간t_dom = log(T_sys). 스크린(DATA) 안에서 측정되는 시간. 로그 압축공리 8 명제
인덱싱 비용0. 인덱스는 순서가 없으므로 조회 O(1) 상수. 순서 없음 = 비용 없음공리 13, 공리 4 명제
스칼라장쥠을 원점에 놓았을 때 C·(1−ℓ/N)/(4πℓ²)이 주변 모든 칸에서 정의되는 방향 없는 크기 분포공리 11 명제
덕 타입행동으로 정의하는 타입. δ가 의식의 행동 목록과 일치하면 의식이라 부른다. 본질이 아닌 행위로 판정공리 15 명제
완전기술자유도구조 기술자유도(DATA) 10개 + 비용 기술자유도(OPERATOR) 6개. 겹침 3쌍(3, 4, 9). 구조 쪽 내부 이동은 시프트($2^N$), 구조와 비용 사이는 +로 직교공리 9