Dontopedia
Explore

Conformalscaling Lean

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

Conformalscaling Lean has 5 facts recorded in Dontopedia across 2 references.

5 facts·5 predicates·2 sources

Mostly:defines sync equation(1), proves jacobi and grade closure(1), proves sync mechanism(1)

Maturity scale raw canonical shape-checked rule-derived certified

Defines Sync EquationdefinesSyncEquation

Proves Jacobi and Grade ClosureprovesJacobiAndGradeClosure

Proves Sync MechanismprovesSyncMechanism

Described AsdescribedAs

  • sync equation under conformal rescaling[2]sourceall time · 571

Filenamefilename

  • ConformalScaling.lean[2]sourceall time · 571

Inbound 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)

listedSubItemListed Sub Item(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.

5 undated
—
definesSyncEquationblah/watt-activation/part-574
ex:under-conformal-rescaling
—
describedAsblah/watt-activation/571
sync equation under conformal rescaling
—
filenameblah/watt-activation/571
ConformalScaling.lean
—
provesJacobiAndGradeClosureblah/watt-activation/part-574
ex:hold-at-every-scale
—
provesSyncMechanismblah/watt-activation/part-574
ex:scale-independent

References (2)

2 references
  1. [1]Part 5743 facts
    customctx:discord/blah/watt-activation/part-574
  2. [2]watt-activation-5712 facts
    customctx:discord/blah/watt-activation/571
    • full textwatt-activation-571
      text/plain2 KBdoc:agent/watt-activation-571/74380dd9-ee8b-44ee-97b2-14fc22557426
      Show 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.

↑