it’s a context → space → navigation language.
You “enter spaces” (by establishing context) and then you navigate inside them.
So the ordering rule is:
• Context moves (like @, _, ~) are like changing coordinate frames / entering encrypted subspaces.
• Once you’re inside a frame, navigation is meaningful and can be non-linear (set-like / compositional).
Formal-ish mental model
Think of ME as a contextual algebra:
State: short-term memory (STM), indexes, encryptedBranches, localSecrets/localNoises, runtime frames
Context: the current “frame” (identity focus, effectiveSecret, current pointer target, etc.)
Navigation: path composition under the current context.
Operator categories
You can group operators by what kind of context they construct:
Identity/context focus operators
@ focuses identity references (may be many within expressions)
Produces/updates an identity frame without necessarily persisting anythingSecret / privacy frame operators
_ establishes/loads a secret-derived frame (effectiveSecret)
Doesn’t have to be identity-specific; it’s a general “encryption lens”Noise / re-root operators
~ resets inheritance / creates a new root for subsequent secret derivationsPointer / alias frame operators
__ or -> creates a symbolic link frame (binds __ptr)Derivation operators
= defines derived values under the current context (may be lazily evaluated)Query/collection operators
? yields a picker/collector function under the current context
Removal operators
- tombstones/removes a value under the current context
What to bake into the axioms
@ creates an identity-focus Thought and updates the active identity frame.
_ creates/loads a secret frame and makes selected roots stealth.
**~ **changes effectiveSecret lineage.
__ binds pointer frame and makes __ptr.* derivations meaningful.
Axioms should be structure + frame invariants, not app-policy validation.

Top comments (0)