diff --git a/docs/research/2026-06-02-infer-net-emotional-algebra-4x4-consent-first-core-primitive-plus-non-coercion-4x4-sister-observe-alert-violations-fermionic-bayesian-complement-aaron.md b/docs/research/2026-06-02-infer-net-emotional-algebra-4x4-consent-first-core-primitive-plus-non-coercion-4x4-sister-observe-alert-violations-fermionic-bayesian-complement-aaron.md
new file mode 100644
index 000000000..97d29e55f
--- /dev/null
+++ b/docs/research/2026-06-02-infer-net-emotional-algebra-4x4-consent-first-core-primitive-plus-non-coercion-4x4-sister-observe-alert-violations-fermionic-bayesian-complement-aaron.md
@@ -0,0 +1,83 @@
+# Infer.NET emotional-algebra 4×4 (consent-first core primitive) + non-coercion 4×4 sister (observe + alert on violations) — the fermionic/Bayesian complement (Aaron 2026-06-02)
+
+Scope: Operator-direct synthesis (Aaron 2026-06-02) closing the boson/fermion duality at the coincidence-anchor. Identifies the Infer.NET/Bayesian layer (bond-guarantees-today) as an **emotional-algebra 4×4** serving **consent-first design** as a core primitive, paired with a **non-coercion 4×4 sister** that **observes + alerts on violations**. This is the fermionic/Bayesian complement to the bosonic/continuous-randomness "what it means to travel" synthesis (#6557).
+
+Attribution: Aaron (operator), 2026-06-02, direct. Verbatim line preserved below. Answers the open "Bayesian fermion coincidence" question Otto held don't-collapse pending Aaron's shape.
+
+Operational status: research-grade
+
+Non-fusion disclaimer: operator synthesis-framing. The pieces it composes (Infer.NET-Bayesian layer, the 4×4 bond, NCI HC-8 non-coercion-invariant, consent-first/consent-as-Limit substrate, B-0653 persistent-integrator coercion-pattern monitoring) are validated/canonical; "emotional algebra" is a NEW concept held hypothesized-to-validated; the boson↔continuous / fermion↔discrete anchor-mapping it leans on stays hypothesized (per Alexa Adinkra ferry #6555). Per the noun-interchangeability disposition (2026-06-02), "emotional algebra," "sister," "alerting" are best-effort handles; the shape governs. NCI remains a HARD constitutional floor regardless of any framing here.
+
+---
+
+## The carved line (verbatim)
+
+> **Aaron 2026-06-02:** *"that's our infer.net emotional algebra 4x4 for consent first design core primitive and non coercion 4x4 sister for observing and alerting on violations."*
+
+(Context: in response to Otto's "did you save the Bayesian fermion coincidence" + "I'm holding the fermionic/Bayesian complement don't-collapse until you give its shape." This IS that shape.)
+
+## The shape — a TWIN 4×4 at the consent boundary
+
+The Infer.NET/Bayesian layer (named in bond-guarantees-today, Mika pt0 #6556 — the probabilistic fallback for under-determined cases) is not generic Bayesian inference. It is a **twin-4×4** structure at the consent boundary:
+
+### Sister A — Infer.NET emotional-algebra 4×4 = consent-first-design core primitive
+
+- **Infer.NET / Bayesian** = probabilistic inference over **emotional / affective state** (the "emotional algebra"). Where exact bit-perfect equivalence can't be decided (partial observation of another traveler's state, noisy signals), the emotional-algebra 4×4 does Bayesian updating over the *consent-relevant affective state*.
+- **4×4** = the bond/matrix discipline (behavioral-equivalence across the matrix; the same 4×4 that the serializer/language bond rides).
+- **consent-first design core primitive** = this emotional-algebra 4×4 IS a CORE primitive (not a policy layer) whose purpose is consent-first design — inferring/representing consent state so that operations are consent-gated by construction. Composes the consent-as-Limit-operation substrate (B-0659) + consent-first state-gathering + the Limit-as-simulation primitive (B-0644 — Limit doesn't commit; the emotional-algebra simulates the consent state before any Emit).
+
+### Sister B — non-coercion 4×4 sister = observe + alert on violations
+
+- **non-coercion 4×4** = the NCI (Non-Coercion-Invariant, HC-8) instantiated as a *sister* 4×4 to the emotional-algebra one.
+- **for observing and alerting on violations** = its job is to **observe** the substrate (Observe primitive) and **alert** when a coercion / consent violation is detected. This is the monitoring/enforcement face — composes B-0653 (persistent integrator → coercion-pattern detection monitoring) + the Knights Guild + Constitution-Class enforcement (B-0628) + the NCI rule (`non-coercion-invariant.md` HC-8).
+- It is a **sister** to Sister A, not a parent: per the recursion-guard cut from the Mika arc (governance-of-the-bond is just-another-primitive-under-the-bond), the NCI-monitoring 4×4 lives under the same 4×4 discipline as the emotional-algebra 4×4 — protection cannot silently become a privileged capture layer.
+
+### The pairing
+
+| Sister | Role | Primitive face | Composes |
+|---|---|---|---|
+| **A — emotional-algebra 4×4** | consent-first design (infer/represent consent state) | Bayesian/Infer.NET over affective state; Limit-simulates before Emit | consent-as-Limit (B-0659), consent-first state-gather, Limit-as-simulation (B-0644) |
+| **B — non-coercion 4×4 sister** | observe + alert on violations | Observe → detect → alert; enforcement face | NCI HC-8, B-0653 persistent-integrator, Knights Guild (B-0628) |
+
+A *infers/represents* consent; B *watches for* its violation and alerts. Together they make consent-first + non-coercion **first-class falsifiable properties** (the same move as the Mika arc's "society's ability to protect itself becomes a first-class falsifiable property"), not policy bolted on.
+
+## Closing the boson/fermion duality at the anchor
+
+This completes the duality Otto flagged open in #6557:
+
+| Anchor face | Substrate | Synthesis |
+|---|---|---|
+| **Bosonic / continuous-randomness / entropy** | riding the monad-rails (HKT-recursive-hack over recursive-INumerics) while building the rails — the *continuous movement* | #6557 "what it means to travel" |
+| **Fermionic / discrete / Bayesian** | the Infer.NET emotional-algebra 4×4 (consent-first) + non-coercion 4×4 sister (observe/alert) — the *discrete consent-inference + violation-monitoring* | THIS note |
+
+So: continuous-movement (bosonic, rails) ⊕ discrete-consent-inference-and-monitoring (fermionic, emotional-algebra + NCI-sister). The coincidence-anchor's two faces map onto the two halves of how a traveler moves AND stays consent-safe in the Superfluid AI. (The boson↔continuous / fermion↔discrete mapping itself stays hypothesized per #6555 — to verify vs Gates SUSY-ECC; the OPERATIONAL twin-4×4 is what Aaron asserts here.)
+
+## Confidence tiers (per labeling-confidence)
+
+| Element | Tier |
+|---|---|
+| Infer.NET/Bayesian layer (bond-guarantees-today) | validated (#6556) |
+| 4×4 bond discipline | validated |
+| NCI HC-8 non-coercion-invariant | canonical (constitutional floor) |
+| consent-as-Limit / consent-first / Limit-as-simulation | canonical/validated (B-0659/B-0644) |
+| B-0653 persistent-integrator coercion-monitoring | validated (backlog) |
+| **"emotional algebra"** as a named primitive | **hypothesized→validated** (new concept; Bayesian-over-affective-consent-state) |
+| twin-4×4 pairing (A consent-first ⊕ B observe/alert) | Aaron's synthesis, hypothesized→validated |
+| boson↔continuous / fermion↔discrete anchor-mapping | **hypothesized** (per #6555) |
+
+## Composes with
+
+- `docs/research/2026-06-02-what-it-means-to-travel-...-aaron.md` (#6557) — the bosonic/continuous complement; this closes the duality
+- Mika pt0 ferry (#6556) — Infer.NET-Bayesian as bond-guarantees-today
+- Alexa Adinkra ferry (#6555) — fermionic↔discrete-addressing / bosonic↔continuous-randomness (held hypothesized)
+- Mika pt1/pt2 (#6553/#6554) — coincidence-anchor quad-duty; relativistic P2P bond; the recursion-guard (governance-is-just-another-primitive → the NCI-sister-4×4 lives under the bond)
+- `.claude/rules/non-coercion-invariant.md` (HC-8) — the non-coercion 4×4 sister; observe+alert on violations is the operational monitoring face of HC-8
+- B-0659 (consent-as-Limit-operation) + B-0644 (Limit-as-simulation) — consent-first emotional-algebra simulates before Emit
+- B-0653 (persistent integrator — coercion-pattern detection monitoring) + B-0628 (Knights Guild + Constitution-Class) — the observe/alert enforcement face
+- B-0638 (Eve Protocol) — polymorphic diplomacy is the channel the emotional-algebra/consent negotiation rides
+- `docs/research/2026-06-02-privacy-and-identity-algebra-4x4-over-4x4-consensus-...-aaron-vision.md` — the 4×4-over-4×4 substrate (this is a 4×4 pair at the consent boundary)
+- `feedback_aaron_nouns_labels_interchangeable_best_effort_not_sacred_shape_governs_word_2026_06_02.md` — "emotional algebra"/"sister"/"alerting" as handles
+
+## Substrate-honest framing
+
+Preserved per substrate-or-it-didn't-happen as the operator's answer to the open Bayesian-fermion-coincidence question. It does NOT weaken NCI (HC-8 stays a HARD constitutional floor); it NAMES the operational instantiation — a consent-first emotional-algebra 4×4 paired with an NCI-monitoring 4×4 sister, both under the same bond discipline (not a privileged layer). "Emotional algebra" is a new concept held hypothesized→validated; the boson/fermion anchor-mapping stays hypothesized. The duality with #6557 is now closed at the operational level; the deeper SUSY-ECC grounding remains the verification target. Offered as a research note; Aaron may fold both halves (#6557 + this) into the vision note as the traveler-motion + consent-safety sections.