Lean 4k Lines Estimate
From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-06-06.)
Lean 4k Lines Estimate has 3 facts recorded in Dontopedia across 1 reference.
Maturity scale
raw canonical shape-checked rule-derived certifiedInbound mentions (1)
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.
citesExampleCites Example(1)
- Message 1 Reaction
ex:message-1-reaction
Other facts (3)
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 |
|---|---|---|
| Estimated Duration | 3 months | [1] |
| Refers to Codebase | Lean Codebase | [1] |
| Quantity of Code | 4000 | [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.
References (1)
ctx:discord/blah/watt-activation/581- full textwatt-activation-581text/plain2 KB
doc:agent/watt-activation-581/617f7169-3702-45bf-ad03-462288f17ca0Show excerpt
[2026-03-29 04:04] xenonfun: ### weird research ``` ⏺ Written to Chimera Governor - Build Plan.md. Here's the structure: 6 experiments, each with concrete pass/fail criteria: 1. Baseline — reproduce the ~12-step convergence to validat…
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.