Mermaid Lane Proof — Build-Time SVG Rendering

Math+Mermaid lane proof page — not production content.

Hand-crafted from real chapter excerpts (see LANE-REPORT-math.md for exact source files/line ranges) to verify remark-math + rehype-katex and rehype-mermaid render correctly at build time. Delete this page, its sibling test-*.md files, and this layout once Phase 1 closes.

Source A: Edge-Fog-Cloud Data Flow

(content/edge-fog/edge-fog-cloud-architecture.qmd, lines 173-181)

Start with a single path: a device observes something, a nearby tier decides what to do, and a cloud service keeps the longer record.

Telemetry path: records, flags, replay

Summaries, evidence, fleet events

Management path: config, certificates, models, firmware

Command path: authorized actions, acknowledgements, timeouts

Failure path: fallback, buffered evidence, local alarms

Recovery path: replay order, health, review trigger

Edge devices: sense, actuate, local safety

Fog gateway/site service: translate, buffer, coordinate

Cloud: history, governance, analytics, rollout policy

If you only need the big idea, use this rule: edge owns immediate physical behavior, fog owns local coordination, and cloud owns fleet-level memory and governance.

Source B: SDN Controller Change Proof Route

(content/reference-architectures/sdn-basics-controllers.qmd, lines 544-553)

A controller selection record should be short enough to review and specific enough to test — one representative path through the northbound API, southbound rule install, and rollback.

Yes

No

Application requests a network change

Check requester, scope, and approval

Validate topology freshness and controller role

Install scoped rule with timeout and counter

Observe protected receiver and affected traffic

Proof matches intent?

Accept or widen the tested scope

Rollback, narrow scope, and keep local fallback

Controller choice is a record, not a preference. The record should state what the controller is allowed to decide, what it must prove after each change, what remains local, and which condition forces a recheck.