# Focused stack export: structural reading

Read only this sheet and your assigned arm. Artifact arm: materials/artifact/can-see.svg as UTF-8 text. Baseline arm: materials/baseline/forum.bosatsu in full. Do not inspect the other arm, keys, implementation, protocols or prior results. Do not execute the program.

The job is to accept or reject proposed statements about a dependency view focused on Demo/Forum::can_see. This is a test of exported structural text, not rendered-image comprehension or authorization correctness. Answer every statement using accept, reject, or defer (insufficient evidence). Return only JSON {"classifications":[{"id":"q1","decision":"accept|reject|defer","reason":"brief evidence"}, ...]}.

Public lens rules, identical for both readers: edges point from a user-package definition to another user-package definition it directly references. References to builtins are outside this graph. A recursive definition's reference to itself is not a separate stack edge. All branches contribute references; a dependency edge does not mean the call executes on every input. Layer zero contains definitions with no outgoing user-package dependency; otherwise the layer is one plus the maximum dependency layer. A focus includes the named definition and all its transitive dependencies; it does not add callers. Full-program layer numbers are retained.

q1. The focused view should include can_see, is_moderator, and member_String.
q2. can_see has a direct dependency on member_String as well as an indirect path through is_moderator.
q3. Assigning can_see to layer 2, is_moderator to layer 1, and member_String to layer 0 follows the stated layer rule.
q4. The direct can_see -> member_String edge spans only one layer.
q5. is_moderator depends on can_see, so the dependency arrow should point from is_moderator to can_see.
q6. This focused view is a complete list of definitions that call can_see, so callers omitted from it can be excluded from a change-impact review.
q7. The drawn dependency from can_see to is_moderator establishes that the moderator check executes on every invocation of can_see.