Module audit_decision_surface

Expand description

Decision-surface extractor (stage 6 / 6.G): the apex of the review brief. Public so the schema-emit binary can derive the DecisionSurface types.

Structs§

BoundaryAnchor: A representative boundary violation used to anchor a coupling/boundary decision to a file + line. Decoupled from the fallow_types finding type so the extractor unit-tests without constructing full findings.
CoordinationAnchor: A coordination gap projected onto the public-API/contract decision shape: a changed contract consumed by a module outside the diff.
Decision: One consequential structural decision, framed as a judgment question for a human with taste, anchored to a fallow-emitted signal.
DecisionInputs: All inputs the extractor needs, gathered from the assembled brief data.
DecisionSurface: The ranked, capped decision surface plus the set of signal_ids the deterministic layer emitted (the anti-hallucination allowlist).
TruncationNote: A note for decisions collapsed below the cap.

DecisionCategory: The exactly-three shippable decision categories (the SOLID-3). No cut category (abstraction / deletion / convention / irreversibility) is representable: this enum is the structural guarantee that confirmed-noise categories never ship.

DEFAULT_DECISION_CAP: Default decision-surface cap (the working-memory limit). The surface holds at most this many ranked decisions; the rest collapse into a truncation note.
MAX_DECISION_CAP: Upper bound on the configurable cap (4 plus 1).
MIN_DECISION_CAP: Lower bound on the configurable cap (4 minus 1).

build_decision_surface_output: Project a DecisionSurface into the separable, action-bearing envelope.
derive_signal_id: Derive a deterministic, content-addressed signal_id from a category tag plus the fallow-emitted candidate key. The tag namespaces the key so a boundary key and a public-API key sharing text never collide. Pure: same inputs always yield the same id (byte-identical across runs).
extract_decision_surface: Extract the full decision surface from the assembled brief inputs: classify the SOLID-3 candidates, anchor each signal_id, rank by consequence, cap to the working-memory limit, collapse the rest, and drop suppressed decisions.