Alignment Workspace

bli-exactness-limits.bridge

leaf/bridge · drafted

Statement

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.

Source

projects/deference/faf-cleanroom-2026-10-02/packages/bli-exactness/bli-exactness-report.md against projects/deference/faf-cleanroom-2026-10-02/sources/references/bli/soto-2023.

No passage is quoted: the bridge reconstructs the source's claim from the package report's statement of what it formalizes, so the attribution stands unvetted until a reader sets the two texts side by side.

Author and human events

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

No human event has touched this node.

Edges

Above

Ranking (the lens, not the structure)
{
 "status": "open",
 "diagnosis": null,
 "flags": [
  "AI number",
  "attribution unvetted"
 ],
 "V": {
  "V_prior": null,
  "display": "2",
  "headline": 2,
  "ref": 2,
  "valid": 2,
  "weaker": "both"
 },
 "belief": {
  "J": 0,
  "mid": "7/10",
  "range": [
   "1/5",
   "1/1"
  ],
  "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.

comment · challenge · estimate · want