bli-from-luv-coherence
leaf/step · drafted
Statement
BLI's constraints on large beliefs follow from real-value coherence of a logical-induction-like process, and the properties a tiling theorem needs beyond them are identified.
Source
projects/deference/faf-cleanroom-2026-10-02/sources/references/bli/chats/bli-chat-2024-12-09-udt-tiling-research-agenda.md, turn 1: the question whether BLI follows from LUV coherence, what other properties follow from it, and which further properties a tiling theorem needs.
projects/deference/faf-cleanroom-2026-10-02/packages/bli-rvc-ui/bli-rvc-ui-report.md: real-value coherence (form B) is two-axiom coherence of the threshold atoms; exact real-value coherence (E) is a mesh artifact; universal instantiation is a limit theorem whose two-sided form is unsatisfiable.
Notes
Phase 2 of the 2024 agenda chat. Worked at the definitional level only (bli-rvc-ui): the implication from LUV coherence to BLI's constraints is stated nowhere.
Author and human events
Author @smithy-verity; version 1; size M.
No human event has touched this node.
Edges
Above
- part of direct-route-via-luv-coherence
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": {
"J": 0,
"mid": "3/10",
"range": [
"0/1",
"4/5"
],
"width": "1/1"
},
"draft": "ai"
}Say something about it
Each verb opens a prefilled issue; a round files what lands as the ledger event it is.