item-131

leaf/route · drafted

Statement

The ask-list deviation is a dimension of the counted trace, so that asking off the declared protocol is tainted by the record's own counting rather than by a self-checkable clause beside it.

Source

projects/deference/rounds/2026-10-01-thin-legitimacy-and-effective-authority/REPORT.md, Part C ("the ask-list deviation is a self-checkable clause beside the landed ones, not a new dimension of the trace wired into Counted; wiring it in as Consult2 wired the raise dimension is a mechanical extension this round did not make"); the header of lean/Workspace/Deference/Contrib/EffectiveAuthority.lean, What this does not establish. A route of the improvement claim on effective-authority-layer, filed by reading by the site-vertical-slice round (projects/enabling/rounds/2026-10-24-site-vertical-slice); the item is this round's.

Notes

Filed by the site-vertical-slice round as a route of the improvement claim on the effective-authority layer; the entry's text is the Item section below, rendered into PRIORITIES.md by checkers/priorities_render.py.

This node is item 131.

Author and human events

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

No human event has touched this node.

Edges

Above

part of effective-authority-layer.improvable
given of effective-authority-layer
given effective-authority-layer (as valid)

Ranking (the lens, not the structure)

{
 "status": "open",
 "diagnosis": null,
 "flags": [
  "given effective-authority-layer@valid",
  "given: conditionals not judged",
  "no belief"
 ],
 "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