bli-exactness-limits

and · drafted

Statement

Exact reflection fails on FAF's diagonal liar at interval resolution, a logical inductor violates exact no-net-update and exact self-trust at day 1, and the propositionally coherent logical-induction criterion of Soto's 2023 notes is empty as printed.

Source

projects/deference/faf-cleanroom-2026-10-02/packages/bli-exactness/bli-exactness-report.md: exact_reflection_fails_liar, the day-1 witness and pclic_empty; three audit rounds. Sources: projects/deference/faf-cleanroom-2026-10-02/sources/references/bli/soto-2023 (PDFs 05 and 20).

Notes

The strongest results of the clean-room BLI area and the reason the improvement route route-interval-resolution exists: every exact form died and an interval or limit neighbour survived. Kernel-checked; no human has read it, and whether the exact forms refuted are the ones the sources meant is the bridge's question.

Bridge card

Connected to no informal claim yet: held by no frame.

Declaration exact_reflection_fails_liar (record bli-exactness-limits.record)

Bridge (reconstructed; bli-exactness-limits.bridge, drafted):

The declaration's liar is the diagonal sentence of Soto's PDF 05 rendered at FAF's interval resolution, so its failure is the failure of exact reflection as the 2023 notes state it, and pclic_empty's criterion is PDF 20's PC-LIC as printed.

Hypotheses, read:

faf-liar-interval-setting definitional: The expert is FAF's logical inductor and the liar sentence is evaluated at the interval resolution the package fixes.

Completeness (bli-exactness-limits.complete): No hypothesis beyond FAF's inductor and the interval resolution is needed for the three failures.

Author and human events

Author @smithy-verity; version 1; size M.

No human event has touched this node.

Edges

Above

part of updateless-dt-programme
root (shared-claim) of updateless-dt-programme

Children

part: bli-exactness-limits.record leaf/record
part: bli-exactness-limits.bridge leaf/bridge
part: faf-liar-interval-setting leaf/hypothesis
part: bli-exactness-limits.complete leaf/completeness

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": null,
 "draft": "ai",
 "root": {
  "status": "open",
  "Pr": {
   "hi": "1/1",
   "lo": "1729/100000",
   "mid": "469287/800000"
  },
  "value": null,
  "cost": "132/1",
  "margin": "no established leaves"
 }
}

Say something about it

Each verb opens a prefilled issue; a round files what lands as the ledger event it is.

comment · challenge · estimate · want