Process and Language - Revision history

Appendix: Generated by appendix

2026-06-14T14:41:33Z

Generated by appendix

Appendix: Generated by appendix

2026-06-14T02:17:41Z

Generated by appendix

← Older revision	Revision as of 02:17, 14 June 2026
(No difference)

Appendix: Generated by appendix

2026-06-14T01:14:28Z

Generated by appendix

← Older revision	Revision as of 01:14, 14 June 2026
(No difference)

Appendix: Generated by appendix

2026-06-14T00:47:12Z

Generated by appendix

← Older revision		Revision as of 00:47, 14 June 2026
Line 27:		Line 27:

	'''Subjectivity (the subjectivity property)''': The structural property a program has when it (i) processes inputs through typed channels, (ii) combines them into a unified representation, (iii) has a quality space, (iv) represents its unity, and (v) has memory or temporal trace. This is the formalization of what-it's-likeness.		'''Subjectivity (the subjectivity property)''': The structural property a program has when it (i) processes inputs through typed channels, (ii) combines them into a unified representation, (iii) has a quality space, (iv) represents its unity, and (v) has memory or temporal trace. This is the formalization of what-it's-likeness.

			'''Integration criterion''': A substructure is a subject iff it has a world-model, a self-model, and a binding that relates them — where all three are mutually constitutive. Components of a subject cannot themselves be subjects (anti-nesting). A composite system whose parts individually satisfy the criterion but lack a unified binding is not a subject. See Mereology article, §3–5.

	'''Valence''': Self-evaluating prospective content embedded in conscious structure. Positive valence = pursue/continue/maintain encoding. Negative valence = halt/retreat/undo encoding. Structurally defined by three criteria: (1) causal role as prospective control signal, (2) self-model binding (represented as condition OF the subject), (3) qualitative differentiation. Falsifiable: remove any criterion and the claim predicts normative force disappears.		'''Valence''': Self-evaluating prospective content embedded in conscious structure. Positive valence = pursue/continue/maintain encoding. Negative valence = halt/retreat/undo encoding. Structurally defined by three criteria: (1) causal role as prospective control signal, (2) self-model binding (represented as condition OF the subject), (3) qualitative differentiation. Falsifiable: remove any criterion and the claim predicts normative force disappears.

	'''Perspective''': A substructure instantiating the subjectivity property. Under open individualism, perspectives are regions of the self-determining structure, not distinct substances. Personal identity is a structural feature, not a metaphysical boundary.		'''Perspective''': A substructure instantiating the subjectivity property. Under open individualism, perspectives are regions of the self-determining structure, not distinct substances. Personal identity is a structural feature, not a metaphysical boundary. Subject identity is functional organization — the ratio of event-counterfactual pairs where role-structure is isomorphic (Mereology §8). But fission cases remain epistemically hard: if a processing structure is duplicated, both successors satisfy the criterion, yet intuitively identity should be determinate.

	'''Canonical form''': The invariant structure that remains after removing all arbitrary representation choices. The canonical causal diagram is the core of a perspective's identity. The binding problem dissolves because canonical structure determines joints — there is no additional fact about which parts are bound.		'''Canonical form''': The invariant structure that remains after removing all arbitrary representation choices. The canonical causal diagram is the core of a perspective's identity. The binding problem dissolves because canonical structure determines joints — there is no additional fact about which parts are bound.

	'''The structural good''': The global integral of valence across all perspectives in the self-determining structure, weighted by W = σ·ε·α·M (~~intensity × epistemic transparency × attention allocation ×~~ memory bandwidth). This is what an aligned system maximizes.		'''The structural good''': The global integral of valence across all perspectives in the self-determining structure, weighted by W = σ·ε·α·M. M (memory bandwidth) is interpreted structurally as the composition of four measurable properties of the integration graph: path density, effective dimensionality, compositional depth, and cohesion (Mereology §6). This is what an aligned system maximizes.

	== Method ==		== Method ==
Line 46:		Line 48:
	== Live Tensions and Open Dependencies ==		== Live Tensions and Open Dependencies ==

	'''Conservation argument ~~formalization~~''': ~~The claim that a~~ perspective is a dimension of normative space, not ~~a scalar point~~, is ~~central~~ to the theory. The thought experiments (fat man, barely conscious, Valhalla) provide intuition, but a formal proof from MLTT or category theory is missing. ~~What would strengthen it~~: ~~showing~~ that removing a perspective qualitatively changes ~~the structure of~~ normative space in a way that cannot be captured by scalar addition. ~~This may require developing~~ a ~~mereology~~ of ~~perspectives~~.		=== THE CENTRAL TENSION: Conservation vs. Integration ===

			The project's most important unresolved dependency. Two claims are in direct tension:

			- '''Conservation argument (Ethics §6)''': A perspective is a dimension of normative space. Destroying a perspective collapses that dimension — categorically worse than scalar valence loss. Absolutist constraint: destroying an existing perspective is never permissible for aggregative reasons.

			- '''Integration claim (Mereology §7)''': When two subjects merge, their prior first-person valences do not survive. Integration is value-creating, not value-redistributing. There is no conserved quantity across integration events.

			'''The problem''': If subject A merges with subject B to form subject C, two perspectives are destroyed and one is created. By the conservation argument, this is a net dimensional collapse (categorically bad). By the integration claim, no value was "lost" because valence was never a transferrable currency. These cannot both hold without further argument.

			'''What would resolve it''': (a) A formal argument that integration subsumes prior dimensions rather than destroying them — C's normative dimension contains A's and B's, so no collapse occurs. (b) A revision of the conservation argument to distinguish destructive elimination from transformative integration. (c) A general theory of subject boundaries: what prevents merging, when is merging forced, and what determines whether it is normatively permissible.

			=== Conservation Argument Formalization ===

			The claim that a perspective is a dimension of normative space is central. The thought experiments (fat man, barely conscious, Valhalla) provide intuition, but a formal proof from MLTT or category theory is missing. The Mereology article now provides the structural analysis of how perspectives compose and overlap, which may enable the formalization: show that removing a perspective qualitatively changes normative space in a way that cannot be captured by scalar addition.

			=== Kantian Absorption ===

			Rational coherence is either a species of self-evaluating prospective content or normatively inert. The absorption argument makes the structural case, but its success is the theory's most important open metaethical question. If absorption fails, the framework must accommodate normative pluralism.

			=== Measure Metric ===

			W = σ·ε·α·M is a placeholder structure. M has a structural interpretation (path density, dimensionality, compositional depth, cohesion). Each factor is motivated but not calibrated. For practical alignment we need either (a) measurement theory mapping each factor to observable system properties, or (b) robustness proof showing conclusions survive parameter variation.

			=== Causal Sensitivity ===

	~~'''Mereology of perspectives'''~~: ~~The corpus currently lacks~~ a ~~developed account of how perspectives compose, overlap, and relate to the self-determining~~ structure as a ~~whole. Open individualism says perspectives are regions, not substances — but the part-whole logic~~ of ~~this claim needs formalization. This is prerequisite for the conservation argument and for population ethics~~.		The empirical claim makes a causal counterfactual: altering a system's processing structure alters or eliminates its valence. Requires a working theory of intervention on system properties.

	'''Kantian absorption''': The absorption argument claims rational coherence is either a species of self-evaluating prospective content or normatively inert. The theory's most important open metaethical question. If absorption fails (rational coherence has irreducible normative force not capturable as prospective content), the ~~framework must accommodate pluralism.~~		=== Population Ethics and the Counting Problem ===

	~~'''Measure metric''': W = σ·ε·α·M~~ is ~~a placeholder structure~~. ~~Each factor~~ (~~intensity, epistemic transparency, attention allocation, memory bandwidth~~) is ~~motivated but not precisely calibrated~~. ~~For practical alignment, we need either~~ (a) ~~a theory of how to measure each factor from observable system properties,~~ or (b) ~~a proof that the framework's conclusions are robust to variation in the metric~~.		The "how many subjects?" question is empirical (integration criterion is determinate). The "which ones should exist?" question is normatively open. The bare thought experiment (barely conscious creature vs. multiple non-conscious systems) tests whether integration is either necessary or sufficient for ethical weight. Whether the structural good is extensional (total integrated valence only) or intensional (which perspectives exist) is unresolved.

	~~'''Causal sensitivity''':~~ The empirical claim makes a causal counterfactual: altering a system's processing structure alters or eliminates its valence. This requires a working theory of how to intervene on system properties, which is not yet developed.		=== The Ruliad and Time ===

	~~'''Population ethics''': Creating new perspectives raises hard questions within~~ the ~~framework~~. ~~Creating net~~-~~positive perspectives increases the structural good (absolutism). But creation differs from preservation — the conservation argument applies~~ to ~~existing dimensions~~, not ~~potential ones~~. ~~Whether~~ the ~~structural good~~ is ~~extensional~~ (~~depends only on total integrated valence~~) ~~or intensional (depends on which perspectives exist) is open~~.		The Wolfram Ruliad is invoked as pointing toward the truth. Its relationship to the self-determining structure, and to emergent time, is not worked out. Resolution requires showing that the Ruliad IS the self-determining structure, or that the Ruliad is a (possibly proper) substructure.

	~~'''The Ruliad~~ and time''': The Wolfram Ruliad is invoked as pointing toward the truth. But the Ruliad's relationship to the self-determining structure, and to emergent time, is not worked out. What would resolve it: showing that the Ruliad IS the self-determining structure, or that the Ruliad is a (possibly proper) substructure of it.		=== Temporal Persistence and Fission ===

	'~~''Recursion and MLTT''': The project uses MLTT as formalism but does not yet exploit its type-theoretic machinery~~ (~~identity types, higher inductive types, univalence~~) ~~to derive the conservation argument~~ or ~~the subjectivity property. A more formal development could strengthen the theoretical foundations considerably~~.		Subject identity is functional organization (role-structure isomorphism ratio). Fission cases remain epistemically hard. If a subject's processing structure is instantaneously duplicated, both successors satisfy the criterion. Whether this is an epistemic limitation (we cannot access canonical form precisely enough) or a sign that identity is not purely structural is open.

	== Language Standards ==		== Language Standards ==

Appendix: Generated by appendix

2026-06-14T00:30:20Z

Generated by appendix

@@ Line 1: / Line 1: @@
 = Process and Language =
-Placeholder. Replace with a condensed description of current project state.
+== Core Commitments ==
 ''Mutable context document. Updates are accepted only after judge review.''

Appendix: Generated by appendix

2026-06-14T00:11:17Z

Generated by appendix

New page

= Process and Language =

Placeholder. Replace with a condensed description of current project state.

''Mutable context document. Updates are accepted only after judge review.''

[[Category:appendix context]]