bli-sources-refuted

and · drafted

Statement

The post-hoc transfer of large prices, the clamped re-pricing, full-scope faith for B1, coordinatewise rounding preserving coherence, and the modulus constant of the BLI sources are each refuted in Lean over FAF, in the readings the clean-room run chose.

Source

projects/deference/faf-cleanroom-2026-10-02/packages/bli-leak/bli-leak-report.md (posthoc_transfer_refuted), projects/deference/faf-cleanroom-2026-10-02/packages/bli-transfer/bli-transfer-report.md, projects/deference/faf-cleanroom-2026-10-02/packages/bli-trajectory/bli-trajectory-report.md, projects/deference/faf-cleanroom-2026-10-02/packages/bli-finite/bli-finite-report.md and projects/deference/faf-cleanroom-2026-10-02/packages/bli-superbelief/bli-superbelief-report.md. Sources: projects/deference/faf-cleanroom-2026-10-02/sources/references/bli/notion-notes-for-soto-and-diff.md and projects/deference/faf-cleanroom-2026-10-02/sources/references/bli/soto-email-thread-2023.md.

Notes

Five refutations of statements in the BLI sources, each in the reading the run chose; which reading the sources' authors meant is not settled, and the bridge carries that question. Evidence for the improvement routes (scoped faith, interval resolution) rather than against the direct route as a whole.

Bridge card

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

Declaration posthoc_transfer_refuted (record bli-sources-refuted.record)

Bridge (reconstructed; bli-sources-refuted.bridge, drafted):

The declaration refutes the Notion notes' 'modify large prices however we like' read as a transfer of logical-inductor status from the small market to the overlaid one, and the four sibling refutations read their source sentences in the way each package's report states.

Hypotheses, read:

bli-leak-setting definitional: The small market is FAF's logical inductor and the overlay is the post-hoc transfer the leak package defines.

Completeness (bli-sources-refuted.complete): No hypothesis beyond the leak package's setting is needed for the transfer refutation.

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-sources-refuted.record leaf/record
part: bli-sources-refuted.bridge leaf/bridge
part: bli-leak-setting leaf/hypothesis
part: bli-sources-refuted.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/200000",
   "mid": "201123/400000"
  },
  "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