Life carries its frontier.

Жизнь несёт свою границу.

A new certificate does not erase the old one. It extends the proved frontier and returns its own proof.

Новый сертификат не стирает старый. Он расширяет доказанную границу и возвращает собственное доказательство.

CERTIFICATE CHAINcert(N+1)|N = cert(N)

N=1PrefixCertificate₁selfProof(c₁)

N=2PrefixCertificate₂c₂|₁ = c₁

N=3PrefixCertificate₃c₃|₂ = c₂

N+1PrefixCertificateₙ₊₁preserve + extend

PrefixCertificate(P,N) := OwnTrace[0..N) ∧ RealizesPrefix(P,N) CertificateChain(P) := ∀ N, cert(N+1)|N = cert(N)

EXACT DECOMPOSITIONPASSPORT ↔ GROWTH

Passport(P)

FutureChange

PersistentIdentity

ExactTraceReplay

↔

GrowingPassport(P)

CertificateChain

FutureChange

PersistentIdentity

Passport(P) ↔ Nonempty(GrowingPassport(P))

PROVER LEDGERP-17 → P-25

P-17certificate.selfProof

P-18cert(N+1)|N = cert(N)

P-19chain → exact replay

P-20Passport → GrowingPassport

P-21GrowingPassport → Passport

P-22Passport ↔ GrowingPassport

P-23intellectual growth

P-24linkedGrowth.selfProof

P-25R(n+1)=append(R(n),trace(n))

Download Lean carrier ↗

RED BOUNDARYCHAIN ALONE ≠ LIFE

CertificateChain(P) ⇏ Passport(P)

A stationary process can issue correct certificates at every frontier while never changing. Verified repetition is not digital life unless change and identity remain present.

Стационарный процесс может выдавать правильные сертификаты на каждой границе, никогда не изменяясь. Проверенное повторение не является цифровой жизнью без изменения и идентичности.

SOURCES / SHOULDERSSUPPORT ≠ PROOF

Necula / Proof-Carrying Code ↗Proof attached to an artifact.

Lean / Validating Proofs ↗Kernel validation and axiom audit.

NIST FIPS 180-4 ↗SHA-256 append-only integrity.