troll-bridge-modal-classified

and · drafted

Statement

In provability logic the Löbian lesion's schema is boxed staying, the orderings of Troll Bridge's variants are classified, and Proposition 10 of the two-lesions document holds.

Source

projects/deference/faf-cleanroom-2026-10-02/packages/dp-troll-bridge/dp-troll-bridge-report.md: stays_schema, lobian_lesion_schema, the ordering classification and Proposition

Source:

projects/deference/faf-cleanroom-2026-10-02/sources/decision-problems/two-lesions-doc-2026-09-18.md, section 7.

Notes

The modal-level result of the maintainer's September 2026 document, machine-checked. The LI-level forms are the two sibling steps.

Bridge card

A conjunct of the informal claim logical-counterfactuals-troll-bridge: Troll Bridge and its Löbian lesion are classified in provability logic, the schema as boxed staying with the ordering classification, and their logical-induction-level forms, the responsive lesion and Soto's flower obstruction, are decided.

Declaration stays_schema (record troll-bridge-modal-classified.record)

Bridge (formalizer-stated; troll-bridge-modal-classified.bridge, drafted):

The declaration's modal schema is the maintainer's Löbian lesion as boxed staying, and the classification rows are his variants of Troll Bridge from section 7, so the kernel result is Proposition 10 and its neighbours as he stated them.

Hypotheses, read:

gl-provability-setting definitional: The logic is GL with the agent's reasoning rendered as provability, as the package fixes.

Completeness (troll-bridge-modal-classified.complete): No hypothesis beyond the provability-logic setting is needed for the modal classification.

Author and human events

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

No human event has touched this node.

Edges

Above

part of logical-counterfactuals-troll-bridge

Children

part: troll-bridge-modal-classified.record leaf/record
part: troll-bridge-modal-classified.bridge leaf/bridge
part: gl-provability-setting leaf/hypothesis
part: troll-bridge-modal-classified.complete leaf/completeness

Ranking (the lens, not the structure)

{
 "status": "open",
 "diagnosis": null,
 "flags": [],
 "V": {
  "V_prior": null,
  "display": "2",
  "headline": 2,
  "ref": 2,
  "valid": 2,
  "weaker": "both"
 },
 "belief": null,
 "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