Nulltetrad Lean
From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-06-06.)
Nulltetrad Lean has 7 facts recorded in Dontopedia across 2 references, with 1 live disagreement.
Mostly:implements null vectors with(3), supports(1), implements newman penrose null vectors(1)
Maturity scale
raw canonical shape-checked rule-derived certifiedInbound mentions (2)
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.
includedItemIncluded Item(1)
- Round Additions
ex:round-additions
listedSubItemListed Sub Item(1)
- Log Entry 1
ex:log-entry-1
Other facts (7)
The long tail: predicates that appear too rarely to warrant their own section. Filter or scroll to find a specific one. Each row links to its source.
| Predicate | Value | Ref |
|---|---|---|
| Implements Null Vectors With | L Dot N Plus N Dot L Equals One | [1] |
| Implements Null Vectors With | N Squared Equals Zero | [1] |
| Implements Null Vectors With | L Squared Equals Zero | [1] |
| Supports | Gw Infrastructure | [1] |
| Implements Newman Penrose Null Vectors | Cl 1 3 | [1] |
| Filename | NullTetrad.lean | [2] |
| Defined Concept | Newman Penrose Null Vectors | [2] |
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.
References (2)
ctx:discord/blah/watt-activation/part-574ctx:discord/blah/watt-activation/571- full textwatt-activation-571text/plain2 KB
doc:agent/watt-activation-571/74380dd9-ee8b-44ee-97b2-14fc22557426Show excerpt
[2026-03-25 20:08] xenonfun: · Building BerryCurvature.lean… (2m 6s · ↓ 2.7k tokens) ⎿ ◼ BerryCurvature.lean — Berry curvature = bivector commutator ◻ ConformalScaling.lean — sync equation under conformal rescaling ◻ NullTetrad…
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.