Runtime models that describe agent identity, continuity, and change without asserting subjective experience.
Theory of self
in GenOS.
Runtime models that describe agent identity, continuity, and change without asserting subjective experience.
What it means
in GenOS.
The term names explicit runtime descriptions of identity and continuity. It is a functional data model, not a theory establishing consciousness or a human-like self.
Runtime models that describe agent identity, continuity, and change without asserting subjective experience.
Continuity can be defined as relation C(s_t,s_t+1) over versioned states, with criteria such as identity key, lineage, and preserved constraints. The criteria are normative choices.
Explore the mechanism: Theory of self
A qualitative teaching model of this concept. It does not run GenOS or validate its implementation.
The modeled transition may proceed. Change the assumption and move through the stages to inspect the decision path.
How it works
at a glance.
Define identity criteria
Runtime models that describe agent identity, continuity, and change without asserting subjective experience.
Compare consecutive states
Continuity can be defined as relation C(s_t,s_t+1) over versioned states, with criteria such as identity key, lineage, and preserved constraints. The criteria are normative choices.
Report bounded continuity
Report bounded continuity. The term names explicit runtime descriptions of identity and continuity. It is a functional data model, not a theory establishing consciousness or a human-like self.
What is connected,
and how far.
The linked, versioned GenOS source defines this concept's supported operations and limits. The status axes describe the implementation and evidence recorded for this entry; they do not establish general mission success, scientific equivalence or behavior beyond that scope.
GenOS has bounded self-model and Self-Twin services. The philosophical theory-of-self remains a framework; runtime state does not imply subjective selfhood.
Failure modes have not yet been separately cataloged for this entry; follow the source and evidence links before relying on the mechanism.
The mechanism
behind the analogy.
An axiomatic basis for computer programming
C. A. R. Hoare · Communications of the ACM 12(10), 576–580
Sets out axiomatic reasoning about program correctness. A checked property is only as relevant as its specification and assumptions.
Open publication ↗Primary research describes the cited mechanism; specific technologies may instead cite their original technical documentation. These sources provide context and do not validate the GenOS implementation.
Scope and validation boundaries
The linked, versioned GenOS source defines this concept's supported operations and limits. The status axes describe the implementation and evidence recorded for this entry; they do not establish general mission success, scientific equivalence or behavior beyond that scope.