Dontopedia
Explore

Gated Cumsum Monoid

From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-06-06.)

Gated Cumsum Monoid has 5 facts recorded in Dontopedia across 2 references.

5 facts·5 predicates·2 sources

Mostly:computes new value as(1), defines tensor product(1), multiplies gates as(1)

Maturity scale raw canonical shape-checked rule-derived certified

Computes New Value AscomputesNewValueAs

  • g' · v + v'[1]all time · Part 405

Defines Tensor ProductdefinesTensorProduct

  • (g, v) ⊗ (g', v') = (g·g', g'·v + v')[1]all time · Part 405

Multiplies Gates AsmultipliesGatesAs

  • g · g'[1]all time · Part 405

Implemented inimplementedIn

Definitiondefinition

  • (g, v) ⊗ (g', v') = (g·g', g'·v + v')[2]sourceall time · 403

Inbound mentions (3)

Other subjects in dontopedia point AT this entity as a value. These are inverse relationships — e.g. "X motherOf this subject" — and answer questions the forward facts can't. Grouped by predicate.

usesMechanismUses Mechanism(2)

implementsExactlyImplements Exactly(1)

Timeline

Timeline axis is valid_time — when each source says the fact was true in the world, not when Dontopedia learned about it. Retracted rows are kept for provenance; coloured stripes indicate the context kind.

computesNewValueAsblah/watt-activation/part-405
g' · v + v'
definesTensorProductblah/watt-activation/part-405
(g, v) ⊗ (g', v') = (g·g', g'·v + v')
definitionblah/watt-activation/403
(g, v) ⊗ (g', v') = (g·g', g'·v + v')
implementedInblah/watt-activation/403
ex:attention.py
multipliesGatesAsblah/watt-activation/part-405
g · g'

References (2)

2 references
  1. [1]Part 4053 facts
    customctx:discord/blah/watt-activation/part-405
  2. customctx:discord/blah/watt-activation/403
    • full textwatt-activation-403
      text/plain2 KBdoc:agent/watt-activation-403/d55f91e3-d6ae-47d0-a701-fcf659140c12
      Show excerpt
      [2026-03-19 05:31] xenonfun: ❯ is any of this applicable to WireLM lohe_v3 style stuff? ``` ⏺ Yes — the decay gates specifically. The gated cumsum monoid (g, v) ⊗ (g', v') = (g·g', g'·v + v') is exactly what _gated_cumsum already does in at

See also

Keep researching

Missing something or suspicious of what's here? Kick off a research session — a Claude agent will investigate, cite its sources, and file new facts into a dedicated context you can review before accepting into the shared view.