cleanroom-results-in-public-ci

leaf/step · drafted

Statement

Selected clean-room results build in this repository's CI-built lean/ tree on its current FAF pin, each with a claims-registry entry.

Source

projects/deference/faf-cleanroom-2026-10-02/README.md, This tree is not built by this repository's CI: "Moving selected results into lean/ needs a FAF pin bump there and is future work." lean/lake-manifest.json pins FAF at 307119d06ac882359f1e7d1773b295b55a9be5ee; the clean-room library is pinned to FAF 159ec3f. DECISIONS.md, entry of 2026-10-02 on the FAF pin moving to that repository's current main and the workspace reconciled to its consolidated LogicalInduction surface.

Notes

The pin has moved, so the open work is the port onto the current pin, not a pin bump; the intake README's sentence naming FAF c0d885b as the CI pin is out of date (port-rescope-after-pin-move corrects it). The li-deference trust line files the port of the deference results as faf-pin-bump-and-port; this step states the outcome for every area of the run (BLI, decision problems, corrigibility, fixpoint) and leaves the action to that task.

Author and human events

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

No human event has touched this node.

Edges

Above

Ranking (the lens, not the structure)

{
 "status": "open",
 "diagnosis": null,
 "flags": [
  "AI number",
  "given port-rescope-after-pin-move"
 ],
 "V": {
  "V_prior": null,
  "display": "2",
  "headline": 2,
  "ref": 2,
  "valid": 2,
  "weaker": "both"
 },
 "belief": {
  "J": 0,
  "mid": "19/40",
  "range": [
   "0/1",
   "39/40"
  ],
  "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