ambitgraph 0.4.0__tar.gz → 0.5.0__tar.gz

{ambitgraph-0.4.0/ambitgraph.egg-info → ambitgraph-0.5.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: ambitgraph
-Version: 0.4.0
+Version: 0.5.0
 Summary: Read-only codebase scan: reusable units, families, roles, ownership candidates, duplication.
 Author: AmbitGraph
 License: Proprietary

{ambitgraph-0.4.0 → ambitgraph-0.5.0}/ambit_map/export.py

@@ -23,6 +23,10 @@ GRAPH_EXPORT_CAP = 200          # the brief's cap
 EXPORT_INDEX = "index.html"
 EXPORT_MAP = reg.EXPORT_MAP_REL
 EXPORT_LIBRARY = "library.html"
+# The Whole map tab. NOT map.html -- that is the default GRAPH seed page
+# and every existing link plus the manifest resolve to it; renaming it to
+# free the nicer name would break links to fix an aesthetic.
+EXPORT_OVERVIEW = reg.EXPORT_OVERVIEW_REL
 MANIFEST_NAME = "ambitgraph-map.export.json"   # U4 review fix (blocker): the
 # scoped-prune manifest -- lists every relative path THIS export wrote, so
 # the NEXT export deletes only what it itself owns, never a hand-placed file.
@@ -139,6 +143,8 @@ def page_rows(model, dialects):
     # existing link and the manifest resolve to it. A real row now, not a copy.
     rows.append(Row(EXPORT_MAP, "/graph", index_query, 0))
 
+    rows.append(Row(EXPORT_OVERVIEW, "/overview", "", 0))
+
     routes_by_uid = lib._routes_by_uid(dialects)
     units_iter = model.units.values() if hasattr(model, "units") else ()
     order = fam.families_in_use(units_iter, routes_by_uid)

{ambitgraph-0.4.0 → ambitgraph-0.5.0}/ambit_map/graph.py

@@ -1972,3 +1972,76 @@ GRAPH_JS = '''
  box.scrollTop = (H - box.clientHeight) / 2;
 })();
 '''
+
+
+# ---------------------------------------------------------------------------
+# 3.16 THE ISLANDS RENDERER (islands-render wave, 2026-09-05) -- the Whole
+# map tab's drawing half. COMPOSES AND DRAWS ONLY: island_layout.py already
+# decided every position (its own C7); this function's one piece of
+# arithmetic is pack_islands's own documented contract -- every island's
+# placement is normalized into the [0,1] whole-map unit square, so
+# composing means multiplying by a fixed pixel side, never recomputing a
+# bounding box or re-deriving a layout.
+#
+# REUSES the Graph tab's pan/zoom mechanism byte-for-byte: GRAPH_JS (drag
+# to pan, the three zoom buttons, SVG width/height-attribute zoom -- never
+# viewBox alone, the exact trap a design-panel review caught before this
+# was written) and the SAME .cm-canvas/.cm-canvas-wrap/.cm-zoom-ctrl
+# classes/button ids, so the script needs no adaptation. An island node
+# carries no edges (islands.py's own C5), so GRAPH_JS's edge-click/.cm-desc
+# half simply never fires here -- it is not wired to anything, and nothing
+# breaks by its absence (every DOM lookup in GRAPH_JS null-checks first).
+# ---------------------------------------------------------------------------
+
+
+def render_islands_canvas(layout):
+    """The `<div class="cm-canvas-wrap">...` markup for a DRAWABLE
+    product-layout.json payload (the caller decides drawability -- this
+    function assumes `layout["islands"]` is non-empty and never checks)."""
+    side = reg.ISLANDS_CANVAS_SIDE
+    pad = reg.ISLANDS_CANVAS_PADDING
+    w = side + 2 * pad
+    h = w
+
+    boundary_parts = []
+    node_parts = []
+    for isl in layout.get("islands", ()):
+        bx = isl["x"] * side + pad
+        by = isl["y"] * side + pad
+        bs = isl["scale"] * side
+        # A subtle region under the nodes, never a hard border or a label
+        # (design-panel finding: pack_islands shelves islands with zero
+        # gap, so shared placement alone can read as one cluster when it
+        # is two touching ones).
+        boundary_parts.append(
+            '<rect class="isl-island" x="{x}" y="{y}" width="{s}" height="{s}" '
+            'rx="6"></rect>'.format(x=_n(bx), y=_n(by), s=_n(bs)))
+        for node in isl.get("nodes", ()):
+            gx = bx + node["x"] * bs
+            gy = by + node["y"] * bs
+            degree = node.get("d", 0)
+            r = min(reg.ISL_NODE_RADIUS_MAX,
+                    reg.ISL_NODE_RADIUS_MIN + degree * reg.ISL_NODE_RADIUS_PER_DEGREE)
+            node_parts.append(
+                '<a href="{href}"><circle class="isl-node" cx="{cx}" cy="{cy}" '
+                'r="{r}"></circle></a>'.format(
+                    href=reg.href_unit(node["u"]), cx=_n(gx), cy=_n(gy), r=_n(r)))
+
+    svg = (
+        '<svg class="isl-svg" viewBox="0 0 {w} {h}" width="{w}" height="{h}" '
+        'data-zoom="1" role="img" aria-label="{aria}" data-amg-object="islands">'
+        '<g class="isl-islands">{boundaries}</g>'
+        '<g class="isl-nodes">{nodes}</g></svg>'
+    ).format(w=_n(w), h=_n(h), aria=reg.esc(reg.OVERVIEW_CANVAS_LABEL),
+             boundaries="".join(boundary_parts), nodes="".join(node_parts))
+
+    return (
+        '<div class="cm-canvas-wrap"><div class="cm-zoom-ctrl">'
+        '<button type="button" id="cmZoomOut" title="{zo}" aria-label="{zo}">{zog}</button>'
+        '<button type="button" id="cmZoomReset" title="{zr}" aria-label="{zr}">{zrg}</button>'
+        '<button type="button" id="cmZoomIn" title="{zi}" aria-label="{zi}">{zig}</button>'
+        '</div><div class="cm-canvas" data-canvas="1">{svg}</div></div>'
+    ).format(zo=reg.esc(reg.GRAPH_ZOOM_OUT_LABEL), zog=reg.esc(reg.GRAPH_ZOOM_OUT_GLYPH),
+             zr=reg.esc(reg.GRAPH_ZOOM_RESET_LABEL), zrg=reg.esc(reg.GRAPH_ZOOM_RESET_GLYPH),
+             zi=reg.esc(reg.GRAPH_ZOOM_IN_LABEL), zig=reg.esc(reg.GRAPH_ZOOM_IN_GLYPH),
+             svg=svg)

{ambitgraph-0.4.0 → ambitgraph-0.5.0}/ambit_map/langmirror.py

@@ -118,6 +118,15 @@ JAVA_LANGS = ("java",)
 # count gate.
 C_LANGS = ("c",)
 
+# RB_LANGS (Ruby wave 1): the identical one-tag grouping shape as
+# PY_LANGS/JAVA_LANGS/C_LANGS -- "rb" is the only tag ambitgraph/langs.py's
+# "rb" LangSpec ever declares (naming_exts {".rb"}), so this carries no
+# reader-tolerance member either. Read by kind_key's include branch, which
+# maps a resolved `require_relative` onto the include/static row (see
+# registry.py's own comment there), and by the unit story's type-kind
+# count gate.
+RB_LANGS = ("rb",)
+
 # TYPE_SYMBOL_KINDS (Java W1 repair -- the wall-legal PRODUCT-side
 # mirror of ambitgraph/codelib.py's own _TYPE_SYMBOL_KINDS): the literal
 # kind strings symbols.py's own class alternation emits for a Java type
@@ -149,6 +158,26 @@ TYPE_SYMBOL_KINDS = ("class", "interface", "enum", "record")
 # never a cross-wall import.
 C_TYPE_SYMBOL_KINDS = ("struct", "union", "enum", "typedef")
 
+# RB_TYPE_SYMBOL_KINDS (Ruby wave 1 -- the wall-legal PRODUCT-side mirror
+# of ambitgraph/codelib.py's own _RB_TYPE_SYMBOL_KINDS): the literal kind
+# strings extract_ruby_symbols emits for a Ruby scope-opener declaration --
+# "class" and "module", the two keywords _RB_SCOPE_LINE_RX matches. Unlike
+# TYPE_SYMBOL_KINDS/C_TYPE_SYMBOL_KINDS above, this set already includes
+# "class" itself (Ruby genuinely has classes), so it feeds BOTH halves of
+# codelib.py's carve identically -- the same shape TYPE_SYMBOL_KINDS takes
+# for Java, never C's shape (which unions "class" in separately because C
+# never emits that literal kind at all). Consumed by
+# ambit_map/unitpage.py's class-count bucket under the RB_LANGS gate
+# above, WIDENING THE COUNT ONLY -- the word stays reg.UNIT_STORY_CLASSES
+# for Ruby (unitpage.py's own class_word ternary is not gated on RB_LANGS
+# at all): Ruby genuinely has classes, so mirroring C's word-swap here
+# would render "N type(s)" about a language whose classes are exactly what
+# the count is naming. Diffed against ambitgraph.codelib._RB_TYPE_SYMBOL_KINDS
+# by tests/test_langs_mirror_diff.py (DIFFED_FACT_NAMES entry
+# "rb_type_symbol_kinds") -- one origin (symbols.py's own kind literals),
+# two independently-declared copies, never a cross-wall import.
+RB_TYPE_SYMBOL_KINDS = ("class", "module")
+
 # NAMESPACE_LANGS (Java W1 repair -- the wall-legal PRODUCT-side mirror of
 # ambitgraph/langs.py's own NAMESPACE_LANGS): the `lang` tags whose units
 # get the java-namespace treatment (the languages whose LangSpec declares
@@ -220,7 +249,13 @@ KIND_READER_LANGS = {
     # include/static's word for word. A C repo's include reader is
     # therefore named as having run, where a missing member would report
     # the include plane unmeasured on every C repo forever.
-    "include/static": frozenset({"jsp", "c"}),
+    # "rb" joins this row the same way (Ruby wave 1): a resolved
+    # `require_relative` IS a static include -- a literal path read from
+    # the source text, spliced in at include time, never varying at
+    # runtime -- the identical claim this row already makes. Without the
+    # member a Ruby repo's 236-edge include lane would report the include
+    # plane unmeasured despite having just drawn every one of them.
+    "include/static": frozenset({"jsp", "c", "rb"}),
     "include/import.py": frozenset({"py"}),
     "include/import.js": frozenset({"js"}),
     # Java W1 (2026-09-02), additive: langs.py's java LangSpec gains
@@ -254,7 +289,10 @@ KIND_READER_LANGS = {
     # without the member a C repo would be told the calls reader never
     # heard of C, the exact defect this table's own NAMESPACE_LANGS
     # comment records for java.
-    "calls": frozenset({"jsp", "java", "py", "js", "c"}),
+    # "rb" joins this row the same way (Ruby wave 1): langs.py's rb
+    # LangSpec declares call_lane=True and edges.py builds Ruby its own
+    # definer pool, landed independently of this stage.
+    "calls": frozenset({"jsp", "java", "py", "js", "c", "rb"}),
     "reference/script": frozenset({"jsp"}),
     "route/mount": frozenset({"py", "js"}),
     "ui/component-use": frozenset({"js"}),
@@ -278,7 +316,7 @@ KIND_READER_LANGS = {
 # ===========================================================================
 _GRAMMAR_EXTS = frozenset({
     ".jsp", ".jspf", ".java", ".js", ".mjs", ".cjs", ".jsx", ".ts", ".tsx",
-    ".py", ".sh", ".sql", ".c", ".h",
+    ".py", ".sh", ".sql", ".c", ".h", ".rb",
 })
 
 
@@ -322,6 +360,9 @@ _GRAMMAR_EXTS = frozenset({
 # ===========================================================================
 _JSP_JAVA = frozenset({"jsp", "jspf", "java"})
 _C = frozenset({"c"})
+# _RB (Ruby wave 1): the identical one-tag alias shape as _C above -- "rb"
+# is the only tag any Ruby-declared sentence ever carries this wave.
+_RB = frozenset({"rb"})
 BLIND_SENTENCE_LANGS = (
     ("Java declarations inside JSP scriptlet blocks", _JSP_JAVA),
     ("A Java class whose modifiers are written on their own line", _JSP_JAVA),
@@ -362,6 +403,54 @@ BLIND_SENTENCE_LANGS = (
     ("A quoted C include with no candidate anywhere in this scan", _C),
     ("A quoted C include this scan does hold a file for, but position "
      "does not license,", _C),
+    # Ruby wave 1's own two STATIC, structural gaps (ambitgraph.symbols.
+    # BLIND_SENTENCES), anchored on their opening words -- the same
+    # shape as the C declaration grammar's own gaps just above.
+    ("A Ruby heredoc body, from its opener line", _RB),
+    ("A Ruby percent literal (", _RB),
+    # Ruby wave 1's seven PER-SCAN symbol-grammar sentences
+    # (ambitgraph.symbols.rb_symbol_blind_sentences), anchored on the
+    # fixed prefix constants declared beside that function -- retyped
+    # here by value, exactly as the C include lane's four prefixes are
+    # above.
+    ("A method definition line whose name does not fit any Ruby method "
+     "name shape is refused outright", _RB),
+    ("A method defined directly on one specific runtime object, or a "
+     "singleton class opened on an object other than self, is refused",
+     _RB),
+    ("A private, protected, or module_function marker changes the "
+     "default visibility of every method written after it, a stateful "
+     "effect this wave discloses rather than simulates", _RB),
+    ("An attr_accessor, attr_reader, or attr_writer call defines one or "
+     "more methods by name that this wave does not read as symbols",
+     _RB),
+    ("A define_method, method_missing, class_eval, instance_eval, "
+     "alias, or alias_method call can define or rename a method by a "
+     "name this wave cannot predict", _RB),
+    ("A class, module, or method opener sharing its physical line with "
+     "another statement, separated by a semicolon, is read for its own "
+     "name only", _RB),
+    ("A method definition found indented with no enclosing class, "
+     "module, or singleton scope on the stack sits inside a block "
+     "construct this wave does not track", _RB),
+    # Ruby wave 1's six PER-SCAN edges.py sentences (the include lane's
+    # three, ambitgraph.edges.rb_include_blind_sentences, plus the call
+    # ceiling's three, ambitgraph.edges.rb_call_blind_sentences),
+    # anchored on their own fixed prefix constants, same discipline.
+    ("A require naming a plain load-path string, rather than a "
+     "relative file, searches the Ruby runtime load path and is never "
+     "drawn as an edge", _RB),
+    ("A require_relative naming a file this scan does hold somewhere, "
+     "but not at the position this call computes to, draws no edge",
+     _RB),
+    ("A require_relative naming no file anywhere in this scan draws no "
+     "edge", _RB),
+    ("Ruby calls need neither a receiver nor parentheses, so an EXACT "
+     "count of receiverless, parenless call sites is impossible", _RB),
+    ("A method whose name is a setter or an operator can never be "
+     "reached by either call site shape this lane recognizes", _RB),
+    ("A method name defined in more than one place is dropped from the "
+     "call resolution pool entirely rather than guessed at", _RB),
 )
 
 

{ambitgraph-0.4.0 → ambitgraph-0.5.0}/ambit_map/page.py

@@ -14,7 +14,13 @@ from . import objects as ob
 from . import unitpage as up
 
 DEFAULT_SCREEN = "library"
-RAIL = (("graph", "/graph", "Graph", "ic-node"),
+# Broad to narrow, and the order the ruling itself listed: the whole shape,
+# then one file's neighbourhood, then the inventory. "ic-grid" is REUSED from
+# the kit (four separated blocks for a view of separate regions) -- it was
+# used only by the internal kit-demo page, so no customer surface is made
+# ambiguous, and the sprite's pinned token order is left alone.
+RAIL = (("overview", "/overview", reg.TAB_WHOLE_MAP, "ic-grid"),
+        ("graph", "/graph", "Graph", "ic-node"),
         ("library", "/library", "Library", "ic-layers"))
 
 
@@ -103,6 +109,61 @@ def render_page(model, now_iso, screens=None, active=None, q="",
     return ob.document("Library", inner, "library", RAIL)
 
 
+OVERVIEW_ABSENT = "absent"    # no artifact was written for this run
+OVERVIEW_STALE = "stale"      # an artifact exists but no longer matches the code
+OVERVIEW_EMPTY = "empty"      # a current artifact exists but names zero islands
+OVERVIEW_DRAWABLE = "drawable"  # a current artifact exists and has islands to draw
+
+_OVERVIEW_SENTENCES = {
+    OVERVIEW_ABSENT: reg.OVERVIEW_NO_LAYOUT,
+    OVERVIEW_STALE: reg.OVERVIEW_LAYOUT_STALE,
+    OVERVIEW_EMPTY: reg.OVERVIEW_LAYOUT_EMPTY,
+}
+
+
+def render_overview_page(model, now_iso, layout=None, dialects=None, state=OVERVIEW_ABSENT):
+    """The Whole map tab -- the islands view (founder ruling, 2026-08-29;
+    the drawing half, islands-render wave, 2026-09-05).
+
+    `state` is the caller's own fail-closed classification of THIS run's
+    `product-layout.json` (serve.py's dispatch computes it via
+    `islands.read_product_layout` + `islands.layout_is_fresh`) -- one of
+    the four module-level constants above. `layout` carries the REAL
+    payload dict ONLY when `state == OVERVIEW_DRAWABLE`; every other state
+    keeps `layout=None`, because there is nothing to compose and this
+    function must never receive position data it isn't about to draw.
+
+    Four honest states, never conflated: no artifact was written
+    (ABSENT); one exists but the code has changed since (STALE -- drawn
+    NEVER, a picture from a population that no longer matches the code on
+    disk would be exactly the guess-with-a-progress-bar this product
+    refuses to ship); one is current but connects nothing (EMPTY -- a
+    real, checked state, never a blank canvas a reader could mistake for
+    a bug); one is current and has islands (DRAWABLE -- the only state
+    that composes and draws `graph.render_islands_canvas(layout)`,
+    computing no layout of its own, per island_layout.py's own C7).
+    """
+    if state == OVERVIEW_DRAWABLE and layout is None:
+        raise ValueError("state=drawable requires the real layout payload")
+    if state != OVERVIEW_DRAWABLE and layout is not None:
+        raise ValueError("layout must be None unless state=drawable")
+    # cased=False: ob.hero runs title_case() by default, which rendered the
+    # founder's ruled phrase as "Whole Map". His words are not ours to
+    # re-case -- the same U1-D hazard the hero's own docstring warns about
+    # for a reader's search query. The tests passed while the PAGE was
+    # wrong, because they pinned the constant and not the render.
+    hero = ob.hero([("AmbitGraph", "/library"), (reg.TAB_WHOLE_MAP, None)],
+                    reg.KICKER_WHOLE_MAP, reg.TAB_WHOLE_MAP, "", cased=False)
+    if state == OVERVIEW_DRAWABLE:
+        body = gph.render_islands_canvas(layout)
+    else:
+        body = ob.note(reg.esc(_OVERVIEW_SENTENCES[state]))
+    inner = ob.block("overview", reg.OVERVIEW_CANVAS_LABEL, body,
+                      shown=True, cased=False)
+    return ob.document(reg.TAB_WHOLE_MAP, hero + inner, "overview", RAIL,
+                        extra_js=(gph.GRAPH_JS if state == OVERVIEW_DRAWABLE else ""))
+
+
 def render_damaged_page(damaged, now_iso):
     """One honest document: no active tab (there is nothing to switch to
     and a lit tab would be a lie), one hero, one block."""

{ambitgraph-0.4.0 → ambitgraph-0.5.0}/ambit_map/registry.py

@@ -121,6 +121,11 @@ JAVA_LANGS = langm.JAVA_LANGS
 # and unitpage.py's class-count bucket reads it as the gate on
 # C_TYPE_SYMBOL_KINDS below.
 C_LANGS = langm.C_LANGS
+# The fifth src_lang bucket, same alias-only shape as the four above:
+# kind_key's include branch reads it to route a resolved Ruby
+# require_relative, and unitpage.py's class-count bucket reads it as the
+# gate on RB_TYPE_SYMBOL_KINDS below.
+RB_LANGS = langm.RB_LANGS
 # Java W1 repair (2026-09-02), additive: the same alias-only
 # shape, for unitpage.py's own class-count bucket -- see langmirror.py's
 # own comment on this field for the producer/consumer/diff story.
@@ -130,6 +135,13 @@ TYPE_SYMBOL_KINDS = langm.TYPE_SYMBOL_KINDS
 # field for the producer/consumer/diff story, and for why "enum" being a
 # member of both sets is safe (the two language gates are disjoint).
 C_TYPE_SYMBOL_KINDS = langm.C_TYPE_SYMBOL_KINDS
+# The Ruby half of the same bucket -- the kind strings extract_ruby_symbols
+# emits for a scope-opener declaration ("class"/"module"); see
+# langmirror.py's own comment on this field for the producer/consumer/diff
+# story. Unlike C_TYPE_SYMBOL_KINDS, this set already includes "class"
+# itself, so unitpage.py's count gate widens with it directly while its
+# word stays on the CLASSES branch -- Ruby genuinely has classes.
+RB_TYPE_SYMBOL_KINDS = langm.RB_TYPE_SYMBOL_KINDS
 # Java W1 repair, additive: the language gate that
 # TYPE_SYMBOL_KINDS' unitpage consumer needs -- same alias-only shape;
 # see langmirror.py's own comment on this field.
@@ -530,6 +542,26 @@ def kind_key(plane, kind="", src_lang=""):
             # union check is what holds the two together.
             if kind == "include" and src_lang in C_LANGS:
                 return "include/static"
+            # Ruby wave 1: the Ruby include lane's own edge kind is
+            # "require_relative", never "include" or "static" -- it is
+            # the literal string ambitgraph/edges.py stamps onto a RESOLVED
+            # require_relative row (a HELD, never-drawn plain `require`
+            # never reaches this function at all: load.py shunts an
+            # unresolved row into unresolved_refs before an IncludeEdge is
+            # ever built, so "require" can never arrive here as a kind).
+            # It lands on the include/static row for the identical reason
+            # a C `#include` does: the target is a literal path read from
+            # the source text, resolved once at include time, never
+            # varying at runtime. The src_lang gate is what keeps the
+            # reuse honest, exactly as it does for the C arm above --
+            # without it, a foreign producer's edge spelled kind
+            # "require_relative" would inherit this row by accident.
+            # langmirror.KIND_READER_LANGS' include/static row carries
+            # "rb" beside "jsp"/"c" for the same reason, and
+            # tests/test_langs_mirror_diff.py's include-rows union check
+            # is what holds the two together.
+            if kind == "require_relative" and src_lang in RB_LANGS:
+                return "include/static"
             if kind == "import":
                 if src_lang in PY_LANGS:
                     return "include/import.py"
@@ -1663,6 +1695,10 @@ _STATIC = contextvars.ContextVar("ambit_map_static_export", default=None)
 # The default graph seed page's exported filename, spelled ONCE here so the
 # rewriter and the writer cannot disagree about it.
 EXPORT_MAP_REL = "map.html"
+# The Whole map tab's exported filename, spelled ONCE. export.py reads it
+# from here rather than keeping a second literal -- two spellings of one
+# filename is how a rewriter and a writer silently disagree.
+EXPORT_OVERVIEW_REL = "overview.html"
 
 StaticCtx = namedtuple("StaticCtx", "depth graph_slugs foot_html")
 
@@ -1721,6 +1757,13 @@ def static_href(value, ctx):
         return esc(p + "library/" + _famfile(f))
     if path == "/search":
         return esc(p + "library.html")
+    if path == "/overview":
+        # the Whole map tab. static_href is FAIL-CLOSED, so a rail link
+        # with no mapping here does not become one dead link -- it raises
+        # StaticHrefUnknown and REFUSES THE WHOLE EXPORT. That is the
+        # right severity: the rail is on every page, so an unmappable tab
+        # is a broken artifact, not a broken corner of one.
+        return esc(p + EXPORT_OVERVIEW_REL)
     if path == "/unit" and u is not None:
         return esc(p + "unit/" + export_slug("unit", u) + ".html")
     if path == "/table" and t is not None:
@@ -2839,6 +2882,64 @@ GRAMMARLESS_TABLE_SENTENCE = (
     "statement can still appear here."
 )
 
+# The Whole map tab (founder ruling, 2026-08-29). His ruled phrase, and it
+# invents no name: it is panel D's own existing headline wording ("Terrarium,
+# whole map: 186 connected files"), so the no-new-names law is satisfied by
+# CITATION rather than by argument. Shortening it to "Map" collides with
+# map.html's meaning and re-opens a question he already closed.
+TAB_WHOLE_MAP = "Whole map"
+# Kicker for the Whole map surface, in the register its siblings use
+# ("Code map", "Code library").
+KICKER_WHOLE_MAP = "Code map"
+# The canvas block's own label. Distinct from the page title on purpose:
+# "Whole map" was rendering three times on one page (crumb, hero, block).
+# Mirrors graph.py, whose canvas block keeps a stable label and puts the
+# no-edges note INSIDE it. "Islands" is the product's own word for the
+# object -- panel D's "6 separate islands".
+OVERVIEW_CANVAS_LABEL = "Islands"
+# The artifact-absent state. ABSENCE CLAIMS NOTHING, BUT A CHECK THAT RAN SAYS
+# IT CHECKED -- the same law W6's stranger clause runs on. The subject stays on
+# what this RUN did, never on the reader's codebase, and the way onward points
+# at a surface that actually exists (an offer whose target is unreachable is
+# worse than no offer).
+OVERVIEW_NO_LAYOUT = ("No whole-map layout was written for this run, so there is "
+                      "nothing to draw here. The Library lists every unit the "
+                      "scan read.")
+# The artifact-STALE state (islands-render wave, 2026-09-05): a run whose
+# code changed since its layout was computed is a DIFFERENT fact from one
+# that wrote nothing at all -- OVERVIEW_NO_LAYOUT is false of it too. A
+# stale artifact is drawn NEVER (a picture computed from a population that
+# no longer matches the code on disk would be exactly the guess-with-a-
+# progress-bar this product refuses to ship); this sentence names why the
+# tab shows nothing without claiming absence.
+OVERVIEW_LAYOUT_STALE = ("A whole-map layout exists for this run, but the code has "
+                         "changed since it was written, so this view will not draw "
+                         "a picture that no longer matches it. The Library lists "
+                         "every unit the current scan read.")
+# The artifact-DRAWABLE-BUT-EMPTY state: a fresh, current layout that
+# names zero islands (every unit isolated with no unit-to-unit records at
+# all, or none scanned). Still a real, checked state -- never a blank
+# <svg> a reader could mistake for a bug.
+OVERVIEW_LAYOUT_EMPTY = ("The whole-map layout for this run is current, but it "
+                         "connects nothing -- every unit the scan read stands "
+                         "alone. The Library lists them.")
+# The whole-map canvas is a fixed-size square (island_layout.pack_islands's
+# own contract: every island's placement is already normalized into the
+# [0,1] unit square -- composing means multiplying by this side length,
+# never recomputing a bounding box). Padding keeps edge-island dots off
+# the viewBox border.
+ISLANDS_CANVAS_SIDE = 720
+ISLANDS_CANVAS_PADDING = 24
+# Node radius floor and ceiling, in pixels: a degree-0 node (every
+# singleton island's only member) must never shrink toward invisible --
+# it is still a real, clickable unit page (islands-render panel finding).
+ISL_NODE_RADIUS_MIN = 3.0
+ISL_NODE_RADIUS_MAX = 11.0
+# Linear pixels-per-degree above the floor, capped at the ceiling -- no
+# global max-degree pass needed (one run's node sizes stay comparable to
+# another's, and the renderer stays a pure per-node function).
+ISL_NODE_RADIUS_PER_DEGREE = 0.6
+
 LABEL_SEARCH = "Find a function"
 LABEL_GLANCE = "The library — at a glance"
 LABEL_TABLES = "Busiest tables — the data the code leans on"

{ambitgraph-0.4.0 → ambitgraph-0.5.0}/ambit_map/serve.py

@@ -107,6 +107,7 @@ from pathlib import Path
 from . import registry as reg
 from . import library as lib
 from . import graph as gph
+from . import islands
 from . import page as pg
 from . import objects as ob
 from . import unitpage as up
@@ -129,7 +130,7 @@ SERVER_VERSION = "AmbitGraph/1"
 # copied by value from ambitgraph/console.py:66 -- ambit_map imports no
 # company code (the ambit_telegraph/store.py precedent)
 _ALLOWED_HOSTS = frozenset({"127.0.0.1", "localhost", "[::1]", "::1"})
-_ROUTES = ("/", "/library", "/graph", "/search", "/unit", "/table",
+_ROUTES = ("/", "/library", "/graph", "/overview", "/search", "/unit", "/table",
            "/paths", "/table-closure", "/health", "/ping", "/stop")
 # H4: named here, beside the route it gates, rather than as a literal
 # buried in _handle_stop -- daemon.py (the launcher, a different module
@@ -637,6 +638,12 @@ def route(path, raw_query):
         active = "stop"
     elif path == "/graph":
         active = "graph"
+    elif path == "/overview":
+        # the Whole map tab (founder ruling 2026-08-29). NOT "/map":
+        # map.html is already the default graph seed page and the export
+        # manifest points at it, so the LABEL carries his ruled phrase
+        # while the ROUTE stays plumbing that names nothing.
+        active = "overview"
     elif path == "/search":
         active = "search"
     elif path == "/unit":
@@ -701,6 +708,29 @@ def render(state, r, now_iso, snapshot=False) -> str:
                               dialects=state.dialects,
                               stale=(bool(state.stale_reason) or state.pending_rebuild),
                               stale_text=(reg.STALE_TAG_ONCE if snapshot else reg.STALE_TAG_SERVE))
+    elif r["active"] == "overview":
+        # The four states are pg.render_overview_page's own to classify
+        # into a sentence or a drawing (islands-render wave, 2026-09-05).
+        # This dispatch's job is ONLY to read the three facts that decide
+        # which state applies: does an artifact exist, is it fresh
+        # against THIS run's own current population, does it name any
+        # islands. state.model/state.dialects/state.run_dir are read here
+        # the same unsynchronized way every other route already reads
+        # them (docs/ROADMAP.md names the file-wide hardening item; this
+        # route does not fix it alone).
+        data = islands.read_product_layout(state.run_dir)
+        if not data:
+            ov_state, ov_layout = pg.OVERVIEW_ABSENT, None
+        elif not islands.layout_is_fresh(
+                data, pth.assemble_table(state.model, state.dialects), state.model.unit_ids):
+            ov_state, ov_layout = pg.OVERVIEW_STALE, None
+        elif not data.get("islands"):
+            ov_state, ov_layout = pg.OVERVIEW_EMPTY, None
+        else:
+            ov_state, ov_layout = pg.OVERVIEW_DRAWABLE, data
+        doc = pg.render_overview_page(
+            state.model, now_iso, layout=ov_layout, dialects=state.dialects,
+            state=ov_state)
     elif r["active"] == "search":
         raw_q = r["q"] if isinstance(r["q"], str) else ""
         inner = lib.render_search(state.model, r["q"], now_iso, uncap=r["uncap"],

{ambitgraph-0.4.0 → ambitgraph-0.5.0}/ambit_map/theme.py

@@ -324,6 +324,10 @@ p.note{color:var(--muted);font-size:.92rem;margin:0;max-width:80ch;}
 .cm-zoom-ctrl button:hover{background:#e0e7ff;color:#1e40af;}
 text.cm-name{font:500 13px ui-monospace,monospace;fill:#1e293b;}
 text.cm-meta{font:11px system-ui,sans-serif;fill:#64748b;}
+.isl-svg{display:block;}
+.isl-island{fill:var(--soft-bg,#f8fafc);stroke:var(--border,#e2e8f0);stroke-width:1;}
+.isl-node{fill:var(--accent,#2c3e50);}
+.isl-svg a:hover .isl-node,.isl-svg a:focus .isl-node{fill:var(--accent-dark,#1a1a2e);}
 text.cm-elbl{font:500 11px ui-monospace,monospace;paint-order:stroke;stroke:#ffffff;stroke-width:3px;}
 .cm-desc{margin-top:10px;padding:11px 14px;border:1px solid var(--line);border-radius:10px;background:#f8fafc;color:var(--ink);font-size:.9rem;min-height:1.4em;}
 .cm-form{display:flex;gap:8px;flex-wrap:wrap;margin-bottom:10px;}

{ambitgraph-0.4.0 → ambitgraph-0.5.0}/ambit_map/unitpage.py

@@ -845,15 +845,31 @@ def render_unit(model, uid, now_iso, uncap=frozenset(), dialects=None, judged=No
         # language renders byte-identically to before this branch existed.
         java_ns = u.lang in reg.NAMESPACE_LANGS
         c_ns = u.lang in reg.C_LANGS
+        # Ruby wave 1: rb_ns widens the COUNT only, never the word below --
+        # see that ternary's own comment for why. reg.RB_TYPE_SYMBOL_KINDS
+        # already contains "class" itself (Ruby's own type-kind set, unlike
+        # C's), so a Ruby unit's "class" symbols are counted twice over by
+        # this `or` (once by the bare `s.kind == "class"` clause, once by
+        # this one) -- harmless, `sum` over a boolean-per-symbol expression
+        # never double-counts the SAME symbol twice, since each symbol
+        # contributes at most one `1` regardless of how many of the three
+        # clauses it satisfies.
+        rb_ns = u.lang in reg.RB_LANGS
         c = sum(1 for s in u.symbols
                 if s.kind == "class"
                 or (java_ns and s.kind in reg.TYPE_SYMBOL_KINDS)
-                or (c_ns and s.kind in reg.C_TYPE_SYMBOL_KINDS))
+                or (c_ns and s.kind in reg.C_TYPE_SYMBOL_KINDS)
+                or (rb_ns and s.kind in reg.RB_TYPE_SYMBOL_KINDS))
         # ... and the WORD that bucket is counted under is decided by the
-        # SAME gate. C has no classes at all -- what it declares is
-        # structs, unions, enums and typedefs -- so a C unit's first
-        # sentence would otherwise state a construct the language does not
-        # have, about a file that cannot contain one. Every other language
+        # SAME gate -- for C only. C has no classes at all -- what it
+        # declares is structs, unions, enums and typedefs -- so a C unit's
+        # first sentence would otherwise state a construct the language
+        # does not have, about a file that cannot contain one. Ruby is the
+        # opposite case: it genuinely has classes (and modules, counted
+        # alongside them just above), so mirroring the C gate onto this
+        # word too would render "N type(s)" about a language whose classes
+        # are exactly what the count just named -- rb_ns is deliberately
+        # ABSENT from this ternary. Every other language, Ruby included,
         # keeps reg.UNIT_STORY_CLASSES, the default, byte for byte.
         class_word = reg.UNIT_STORY_TYPES if c_ns else reg.UNIT_STORY_CLASSES
         other = len(u.symbols) - f - c

{ambitgraph-0.4.0 → ambitgraph-0.5.0}/ambitgraph/cli.py

@@ -1423,6 +1423,13 @@ def build_cockpit_html(runs_dir, repo_root=None, demo: bool = False,
         # run, no scan.json is simply no tab (#15).
         from . import urcode as uc
         urcode_result = uc.read_urcode(portal)
+    prompts_result = None
+    if portal is not None:
+        # The Manager screen's standing prompts: data the coordinating
+        # seat keeps current; read once per build, never raises — no
+        # declared root is simply no block (#15).
+        from . import prompts as pr
+        prompts_result = pr.read_prompts(portal)
 
     html = build_shell(runs, budget, events, library,
                        tasks=shell_tasks, demo=demo, depth=depth,
@@ -1433,7 +1440,8 @@ def build_cockpit_html(runs_dir, repo_root=None, demo: bool = False,
                        cockpit_event_available=cockpit_event_available,
                        secretary=secretary_result,
                        reports=reports_result,
-                       urcode=urcode_result)
+                       urcode=urcode_result,
+                       prompts=prompts_result)
     return _CockpitBuild(html, runs, events, portal_error=portal_error)
 
 
@@ -2509,17 +2517,12 @@ def build_parser() -> argparse.ArgumentParser:
     mo.add_argument("--messages", required=True)
     mo.add_argument("--by", required=True)
     mo.add_argument("--reason", default="")
-    sp = tsub.add_parser("spend", help="record what a seat spent against a "
-                         "grant (the seat reports its own spend; there is "
-                         "no --by)")
-    sp.add_argument("--messages", required=True)
-    sp.add_argument("--grant", dest="grant_id", required=True)
-    sp.add_argument("--seat", required=True,
-                    help="the seat that spent it; the author IS the seat, "
-                    "so there is no --by — a seat may only report its own "
-                    "spend, and only against a grant that names it")
-    sp.add_argument("--tokens", type=int, required=True)
-    sp.add_argument("--turns", type=int, required=True)
+    # The `spend` verb is GONE (Telegraph T16). It was the only writer of
+    # the meter file kind, and it was never run: no `meter-*.jsonl` has
+    # existed on this machine, and every grant that ever lived expired at
+    # 0 tokens and 0 turns. A grant's BUDGET stays — it is the declared
+    # ceiling, and the ceiling verdicts still test against it — but nothing
+    # counts against that ceiling any more, and nothing ever did.
     ex = tsub.add_parser("export", help="write the Household artifact the "
                          "Cockpit reads — one versioned JSON file composed "
                          "from the real ledger; the Cockpit reads this FILE "