0-3-2-understand-fixpoint-meter

name	0.3.2-understand-fixpoint_meter
description	[0.3.2] zero newly-accreted structure across a cycle = stabilized; the kernel's own closure clause, measured

understand-fixpoint_meter

CALL NUMBER: ee_v2_layer.fixpoint_meter DEFINITION: zero newly-accreted structure across a cycle = stabilized; the kernel's own closure clause, measured

Invoke this skill to understand fixpoint_meter down to its primitives. The RELATIVE ROOT below is the least-fixed-point closure of everything it bundles from — the full import cone, grouped by the lib each prim comes from. Projected from a prover-typed KB (MAP/SWI-Prolog consistency gate): every reference below resolves.

THE RELATIVE ROOT (the import cone, by lib)

CONSUMERS (what needs this)

automatability_test, cycle, grade_raiser, order_3_introspection

---

Projected from the the_toy_stack KB (57 concepts / 84 relations) — consistency-typed by MAP; the facet list after the colon IS the cross-lib dependency web.

(leaf — this is an actual skill.)