공개 데모 · 엄선된 프리셋

See it run

3개의 프리셋 발견 — goal → falsifier → saturation 루프를 캐시해 처음부터 끝까지 보여줍니다
3
엄선된 시나리오
100%
falsifier 감사 완료
0
라이브 컴퓨팅 없음, 규칙으로
↓ 스크롤

이 데모가 보여주는 것

아래 각 시나리오는 고정된 목표와 고정된 verifier 의 짝이며 — 그 결과는 실제 과거 발견 사이클의 캐시된 실행입니다.

이것은 사전 설정되고 샌드박스화된 데모입니다. 실시간 컴퓨팅을 실행하지 않습니다: 여기서는 seed 나 verifier 를 제출할 수 없고, 이 페이지의 어떤 것도 프로세스를 생성하지 않습니다. 당신이 보는 것은 정확히 hexa kick 이 만들어내는 것입니다 — goal 의 제안, 그에 대한 falsifier 발사, saturation 검사, 그리고 verifier 의 판정이 목표 달성에 대한 유일한 권위인 검증된 결과. 당신만의 측정 가능한 목표를 당신만의 verifier 로 돌리려면 대시보드에 로그인하세요.

엄선된 프리셋 시나리오

01

가장 작은 완전수

캐시된 프리셋 실행
목표6 이 자신의 진약수의 합과 같음을 보인다
프리셋 verifier정확한 정수 검사 — 진약수의 합 == n
라운드 상한2 라운드
라운드 추적 · goal → falsifier → saturation
  1. 라운드 1
    goal 6 미만인 6 의 약수는 정확히 {1, 2, 3} 이다
    falsifier d | 6, d < 6 을 열거 → {1, 2, 3} — 빠진 원소 없음, 가짜 없음
    판정 성립 — 진약수 집합 확인됨
  2. 라운드 2
    goal 6 의 진약수의 합은 6 이다 (6 은 완전수)
    falsifier 1 + 2 + 3 = 6, 그리고 6 = 6 → 등식은 단언이 아니라 검사됨
    판정 성립 — 6 은 완전수; saturation 도달, 남은 열린 goal 없음
검증된 결과
σ(6) − 6 = 6, 즉 1 + 2 + 3 = 6. 진약수의 합이 그 수 자체와 같습니다 — 6 은 완전수이고, 2라운드의 goal 은 자신의 falsifier 를 견뎌냈습니다.
프리셋 verifier rc=0 — PASS (verifier 가 목표 달성에 대한 유일한 권위)
02

다음 완전수

캐시된 프리셋 실행
목표6 다음에 오는 완전수를 찾고 그 약수의 합을 검증한다
프리셋 verifier정확한 정수 검사 — 진약수의 합 == n, 그리고 빈틈 없음 스캔
라운드 상한2 라운드
라운드 추적 · goal → falsifier → saturation
  1. 라운드 1
    goal 28 은 완전수이므로 그 진약수의 합은 28 이다
    falsifier {1, 2, 4, 7, 14} 를 열거; 1+2+4+7+14 = 28 → 항별로 검사됨
    판정 성립 — 진약수의 합이 28 과 같음
  2. 라운드 2
    goal 28 은 6 다음의 두 번째 완전수이며, 그 사이에는 아무것도 없다
    falsifier 7..27 의 모든 n 에 대해 sigma_proper(n) == n 을 스캔 → 발견 없음
    판정 성립 — 28 은 다음 완전수; saturation 도달
검증된 결과
28 = 1 + 2 + 4 + 7 + 14. 이것은 두 번째 완전수입니다; falsifier 가 7 부터 27 까지 모든 정수를 스캔하여 더 이른 것을 찾지 못했고, 그래서 ‘다음 완전수’ 주장은 살아남았습니다.
프리셋 verifier rc=0 — PASS (verifier 가 목표 달성에 대한 유일한 권위)
03

짝수 완전수의 형태

캐시된 프리셋 실행
목표짝수 완전수를 생성하는 닫힌 형식을 발견한다
프리셋 verifier정확한 정수 검사 — 검증된 약수 합에 대해 2^(p-1)(2^p-1) 형식
라운드 상한2 라운드
라운드 추적 · goal → falsifier → saturation
  1. 라운드 1
    goal 6 과 28 은 모두 2^(p-1) · (2^p - 1) 형태에 들어맞는다
    falsifier p=2 일 때 6 = 2^1·(2^2-1); p=3 일 때 28 = 2^2·(2^3-1) → 적합성 검사됨
    판정 성립 — 알려진 두 사례 모두 형식과 일치
  2. 라운드 2
    goal 2^p - 1 이 소수일 때, 2^(p-1)·(2^p-1) 은 짝수 완전수이다
    falsifier p=5 시험: 2^5-1 = 31 은 소수 → 16·31 = 496; sigma_proper(496) == 496 검증
    판정 성립 — 496 = 1+2+4+8+16+31+62+124+248, 세 번째 짝수 완전수
검증된 결과
짝수 완전수는 2⁷ − 1 이 소수(메르센 소수)일 때마다 유클리드의 형식 2⁷⁻¹(2⁷ − 1) 을 따릅니다. falsifier 는 p=5 를 대입하여 새로운 사례 496 을 검증했습니다 — 이 패턴은 단지 단언된 것이 아니라, 새로운 시험을 견디도록 만들어졌습니다.
프리셋 verifier rc=0 — PASS (verifier 가 목표 달성에 대한 유일한 권위)

정직한 범위

↳라이브가 아닌 캐시: 위의 모든 결과는 기록된 과거 kick 실행이며, 그것이 산출된 프리셋 목표 + 프리셋 verifier 에 대해 표시됩니다. 공개 표면은 컴퓨팅을 실행하지 않습니다 — 설계상 악용 표면이 0 입니다.
↳Verifier 가 권위입니다: Phanes 는 verifier 가 통과하지 않으면 목표가 달성되었다고 결코 주장하지 않습니다. 데모는 결과와 함께 verifier 의 판정(rc=0)을 보여줍니다 — 그것을 대체하는 것이 아니라.
↳프로젝트 완성 약속 없음: Phanes 는 검증되고 falsifier 로 감사된 발견을 돌려줍니다 — 여기서는 약수 구조 결과. 소프트웨어 프로젝트를 자율적으로 완성하지 않습니다 — saturation 만이 유일한 하드 스톱입니다.

당신만의 목표를 돌리세요

위의 프리셋들은 의도적으로 제한되어 있습니다. 대시보드는 그 상한을 풉니다: 당신만의 측정 가능한 목표와 당신만의 verifier 를 가져와 그에 맞춰 전체 OUROBOROS 루프를 구동하세요 — 당신의 발견, 당신의 비공개 카탈로그.

진입 phanes발견 표면 — Phanes 작동 방식