Axiomatic grounding. Equations in this appendix are intended to be traceable to the formal foundations in
math_foundations_zf.md, together with explicitly stated modeling assumptions where needed. Section references (§0–§14) point to derivation layers in that document. Working chain:$\varnothing \to \mathbb{N} \to \mathbb{Z} \to \mathbb{Q} \to \mathbb{R} \to \mathbb{C} \to (M, g_{\mu\nu}) \to \text{Kerr} \to \text{Sandy Chaos}$ .
This appendix collects compact formal elements used across the core docs.
Derivations are intentionally lightweight; this project prioritizes conceptual clarity plus falsifiable structure.
Forward evolution:
Retrodictive map:
High-fidelity retrodiction condition:
Boundary-propagation field (downstream-conditioned):
Subcritical upstream-legibility condition:
Local structural update:
Causality safety criterion:
Channel map in curved medium:
Null-geodesic Hamiltonian constraint:
Temporal alignment metric:
Packet schema (current minimal):
Planned experiment-layer extensions may add fields such as validity_window, boundary_tag, narrative_context, or audit_trace, but those are not part of the baseline protocol contract.
Observation map:
State transition map:
Read-write effect abstraction:
Consciousness proxy index:
Where:
-
$X_{neural}$ : measured neural signals, -
$C_{task}$ : current task context, -
$C_{history}$ : temporal prior/history context, -
$\hat{z}_{idea}$ : inferred semantic-affective latent representation.
- ROC/AUC (detection)
- KL divergence (distribution shift)
- Mutual information lower bounds
$I(U;Y)$ - Alignment error
$E_{align}$ - Calibration metrics (Brier score, reliability curves)
Claims should be accepted only with reproducible significance and clearly stated failure thresholds.