Skip to content

feat(zygon): visualize memory content flow - #13

Open
sealuck wants to merge 4 commits into
zygon/mainfrom
feat/zygon-memory-content-flow
Open

sealuck wants to merge 4 commits into
zygon/mainfrom
feat/zygon-memory-content-flow

Conversation

@sealuck

@sealuck sealuck commented Jul 21, 2026

Copy link
Copy Markdown
Owner

Summary

  • project Graph v5 memory evidence into layout-only writer-to-reader topology without exposing content dependencies as tensor I/O
  • retain allocation Nodes in the source Graph while hiding them from the Model Explorer operation graph
  • replace hidden allocation roots with a scrollable Storage legend named by root SSA; argument/global roots remain visible
  • keep allocation and real user-input paths weakly colored by default, while leaving explicit parameter/buffer and global paths quiet until their legend item or member Node is selected
  • suppress only explicit parameter/buffer and global memref SSA edges so lifted state does not turn the collapsed inputs group into a dense star; preserve user and unclassified MLIR inputs
  • derive presentation-only Storage access order from viewer.graph_order; focused epoch gaps appear in a separate gray Storage access order overlay labelled next access (no content flow)
  • use Alignment-Key source names in lowered labels such as sub_1 [linalg.generic] while retaining exact operation text in Node details
  • carry explicit member Node IDs so a Storage with one visible access and no rendered edge remains selectable
  • preserve the final writer-to-Model Output connection when the returned Storage allocation is hidden
  • preserve structured DPS ins/outs roles, coalesced exact Views, collapsed-namespace projection, Output styling, current selection, and Buffer Focus
  • publish ai-edge-model-explorer==0.1.32+zygon.7

Semantics

Colored content edges remain reaching-writer evidence. Access-order constraints only preserve the final MLIR artifact's straight-line Storage timeline across complete overwrites; they do not claim byte propagation or reconstruct Tensor SSA. Linked Tensor/Buffer graphs are tracked by sealuck/mlirdebugger#287.

Verification

  • server/adapter Python tests: 40 passed
  • ChromeHeadless UI tests: 63 passed
  • production Angular build
  • desktop Playwright inspection of the ResNet18 complete graph and expanded alloc_11 Focus
  • canonical ResNet contract: 59 allocation paths plus one real user-input path visible, 102 on-demand parameter/buffer paths, exactly one ordinary input edge, and alloc_11 represented by 22 content plus 4 access-order edges
  • companion clean-environment wheel installation and native regressions in sealuck/mlirdebugger#377

Companion change for sealuck/mlirdebugger#354.

@sealuck
sealuck force-pushed the feat/zygon-memory-content-flow branch from 2575037 to b41e44c Compare July 22, 2026 08:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant