MortalOS — 한 번 만들고 다른 곳에서 계속

01 / 주 증명 · 두 브라우저

한 번 만들고, 다른 곳에서 이어 가세요.

브라우저 A에서 생성할 준비 완료

브라우저 B가 고유한 추출 불가능 키를 만듭니다. 브라우저 A는 canonical custody handoff 하나를 승인하며 개인 키는 relay를 통과하지 않습니다.

브라우저 A · 생성 지점 아직 organism 없음

상태를 가진 organism 하나를 만들고 128-bit 비공개 room 링크를 생성하세요.

Sequence: —
상태: Pulse 수 0
정족수: 1 of 1
보관권: 미할당
Endpoint 상태: A 준비 · B 없음

1생성A가 추출 불가능 키 하나를 보유
2참여B가 별도 키를 생성
3승계둘 다 동일 body에 서명
4A 종료A는 더 이상 보관자가 아님
5B에서 계속동일 identity, 새 state root

Canonical evidence 확인

전체 identity: —
승인된 head: —
상태 root: —
Relay: 연결 안 됨

기술 오류 코드

—

권위 경계: Relay는 공개 canonical message를 저장·전달합니다. 각 브라우저가 로컬에서 검증하며 relay sequence와 presence는 유효성 판정이 아닙니다.

이 증명이 주장하는 것과 주장하지 않는 것

증명함

서로 다른 두 브라우저 컨텍스트가 각자의 추출 불가능 키로 canonical handoff 하나를 승인합니다. A가 닫힌 뒤 B가 동일 identity와 결정론적 상태를 진행합니다.

증명하지 않음

Relay는 권위가 아니고 room 링크는 인증이 아니며, 유한한 관찰은 전역적으로 완전한 죽음 증명서가 아닙니다.

고급 증거 및 반증 워크벤치 열기

02 / 고급 · 반증 워크벤치

Canonical bytes가 구속하고, 커널이 판정합니다.

준비됨

주 증명은 로컬 결정론적 경로입니다. 선택형 모델은 allowlist 변이 하나를 고를 수 있지만 비밀이나 서명 능력을 받지 않으며 유효성을 판정하지 않습니다.

결정론적 기준선 확립

커밋된 생명주기·재실행·fork·부활·조건부 죽음 fixture를 실행합니다.
실행 전
제한된 반증 하나 실행

불변식 가설 인증되었지만 충돌하는 증거가 두 개의 권위 있는 head를 만들 수 있는가?

기준선 대기 중
비신뢰 제안과 커널 사실 비교

제안의 예측—

커널 실제 결과—

Canonical 입력 digest—

아직 제안이 없습니다.
모든 네트워크 의존성을 끄고 동일 바이트 재실행

API 호출은 없습니다. 컴파일된 digest와 커널 결과가 동일해야 합니다.
실행 전

권위 경계: 선별 제안이나 GPT‑5.6은 틀릴 수 있습니다. 실제 커널 결과만 권위가 있으며 불일치는 고치거나 숨기지 않고 표시합니다.

02 / 고급 · 라이브 인큐베이터

이 브라우저에서 생성

생성 전

각 전용 Worker는 개인 키 하나를 메모리에 보관합니다. 페이지는 공개 키와 서명만 받으며 메인 페이지 커널만 판정 권위를 가집니다.

첫 서명자 두 번째 서명자

두 번째 서명자는 달라야 하며 세 가지 2-key 조합이 모두 유효합니다.

Pulse Seed v1 Pulse 수 0

동일한 canonical state bytes는 언제나 동일한 avatar를 표시합니다.

Identity—

계속—

정족수2 of 3

장애 도메인1

생성 대기 중

1-key 후보 실행 전

두 번째 서명을 추가할 때 대기 중인 동일 body가 유지됩니다.

2-key 후보 실행 전

승인은 다음에서만 나와야 합니다: canonical R1 result bytes.

재실행 시도 실행 전

승인된 증거를 재사용해도 head가 이동하면 안 됩니다.

통제된 로컬 권한 상실

세 로컬 서명 Worker를 종료합니다. 이는 삭제 증명이나 전역 죽음 증명서가 아닙니다.

실행 전

실험적 공개 증거

정확한 canonical envelope와 payload bytes만 포함합니다. 키 능력이나 accepted-context 객체는 직렬화하지 않습니다.

아직 bundle 없음

다른 브라우저에서 검증

Canonical 공개 bundle을 가져옵니다. 검증은 로컬 읽기 전용이며 서명 키는 전송되지 않습니다.

여기에 증거 놓기 또는 JSON 파일 선택 최대 2 MiB · canonical JSON만 허용

가져온 증거 없음

지속형 참가자

선택 기능이며 명시적 동의가 필요합니다. 추출 불가능한 브라우저 키 하나, 공개 증거, schema metadata를 IndexedDB에 저장합니다.

권한 만료

임시 모드 · 저장된 항목 없음

개인 키 bytes는 절대 내보내지 않습니다. 영어/한국어 locale은 URL로만 결정되며 저장하지 않습니다.

03 / 고급 · 고정 공개 reference

하나의 identity, 완전한 보관자 교체

실행 전

이는 위의 무작위 organism이 아니라 커밋되고 미리 서명된 공개 fixture입니다. 모든 실험은 새 lineage에서 raw evidence로 시작해 커널에 다시 묻습니다. 죽음 카드는 pending-evidence inventory가 명시적으로 완전한 폐쇄형 로컬 실험이며 전역 죽음 증명서가 아닙니다.

A · B · CB · C · DC · D · ED · E · F

재실행, 네 변이, 서명된 fork, 부활, 완전 범위 조건부 죽음, clone 분리가 여기에 표시됩니다.

04 / 고급 · cross-runtime 계약

커밋된 전체 corpus 실행

별도 Worker가 명명된 negative, trust-boundary·mortality-safety probe, 고정 seed 10,000-case corpus를 실행하고 전체 결과를 커밋된 reference와 비교합니다. 결과에는 커밋된 case 수가 동적으로 표시됩니다.

실행 전

05 / 공개 이벤트 로그

커널 판정

Lab 준비 완료. 아직 organism이나 개인 키는 없습니다.

한 번 만들고, 다른 곳에서 이어 가세요.

증명함

증명하지 않음

Canonical bytes가 구속하고, 커널이 판정합니다.

결정론적 기준선 확립

제한된 반증 하나 실행

비신뢰 제안과 커널 사실 비교

모든 네트워크 의존성을 끄고 동일 바이트 재실행

증명 완료 — 커널의 권위가 유지됨