mcard-studio 0.0.0-stage → 0.0.2

package/assets/media/documents/adjunction_unit_counit.tikz-cd

@@ -0,0 +1,6 @@
+% Adjunction Unit and Counit Triangle Identity
+% F -| G with unit \eta: 1_C => GF and counit \varepsilon: FG => 1_D
+\begin{tikzcd}[row sep=large, column sep=large]
+F \arrow[r, "F\eta"] \arrow[dr, equal] & FGF \arrow[d, "\varepsilon F"] \\
+& F
+\end{tikzcd}

package/assets/media/documents/categorical_logic.md

@@ -0,0 +1,88 @@
+# Categorical Logic & Computable Sheaves
+
+> [!NOTE] Topos-Theoretic Grounding
+> In the Cubical Logic Model, logic is not an external syntax but the internal language of a Grothendieck topos $\mathcal{E}$. All computational entities, propositions, and morphisms are modeled as sheaves over a site of cubical contexts.
+
+---
+
+## 1. Cartesian Closed Categories & Internal Logic
+
+A category $\mathcal{C}$ is **Cartesian closed** (CCC) if it has a terminal object $1$, all binary products $A \times B$, and exponential objects $B^A$ representing function spaces.
+
+The natural bijection of morphism sets characterizes the universal property of exponentiation:
+$$\mathrm{Hom}_{\mathcal{C}}(A \times B, C) \cong \mathrm{Hom}_{\mathcal{C}}(A, C^B)$$
+
+The evaluation morphism $\mathrm{ev}_{A, B}: B^A \times A \to B$ corresponds to lambda application.
+
+```tikzcd
+\begin{tikzcd}[row sep=2.5cm, column sep=2.5cm, nodes={scale=1.2}]
+Z \times A \arrow[r, "f"] \arrow[d, "\bar{f} \times \mathrm{id}_A"'] & B \\
+B^A \times A \arrow[ur, "\mathrm{ev}_{A, B}"'] &
+\end{tikzcd}
+```
+
+---
+
+## 2. Curry-Howard-Lambek Isomorphism
+
+The tripartite equivalence between category theory, type theory, and formal logic forms the computational foundation of CLM:
+
+```tikzcd
+\begin{tikzcd}[row sep=2cm, column sep=2.5cm, nodes={scale=1.1}]
+& \text{Category Theory } (\mathcal{C})
+  \arrow[dl, leftrightarrow, "\text{Internal Logic}"']
+  \arrow[dr, leftrightarrow, "\text{Semantics}"] & \\
+\text{Intuitionistic Logic } (\mathcal{L})
+  \arrow[rr, leftrightarrow, "\text{Propositions-as-Types}"'] & &
+\text{Type Theory } (\mathcal{T})
+\end{tikzcd}
+```
+
+| Category Theory | Type Theory ($\lambda$-calculus) | Intuitionistic Logic |
+| :--- | :--- | :--- |
+| **Object** $A$ | **Type** $A$ | **Proposition** $A$ |
+| **Morphism** $f: A \to B$ | **Term** $x: A \vdash f(x): B$ | **Proof** of $A \implies B$ |
+| **Terminal Object** $1$ | **Unit Type** $\mathbf{1}$ | **Truth** $\top$ |
+| **Initial Object** $0$ | **Empty / Void Type** $\mathbf{0}$ | **Falsity** $\bot$ |
+| **Product** $A \times B$ | **Pair / Product Type** $A \times B$ | **Conjunction** $A \land B$ |
+| **Coproduct** $A + B$ | **Sum / Either Type** $A + B$ | **Disjunction** $A \lor B$ |
+| **Exponential** $B^A$ | **Function Type** $A \to B$ | **Implication** $A \implies B$ |
+
+The ==Universal Property of Exponentials== guarantees that substitution and currying preserve epistemics without loss of information.
+
+---
+
+## 3. Sheaf Semantics on Cubical Sites
+
+For any topological or site space $X$, a sheaf $\mathcal{F}$ associates to each open context $U$ a set of sections $\mathcal{F}(U)$ satisfying the gluing axiom:
+$$\mathcal{F}(U) \xrightarrow{\cong} \mathrm{Eq}\left(\prod_{i} \mathcal{F}(U_i) \rightrightarrows \prod_{i, j} \mathcal{F}(U_i \cap U_j)\right)$$
+
+> [!TIP] Morphism Extraction
+> In CLM, every MCard payload is verified through a local sheaf predicate before transition into the balanced witness space.
+
+### Epistemic Verification Checklist
+
+- [x] Formulate Cartesian closed category structure
+- [x] Prove Curry-Howard-Lambek triad coherence
+- [x] Implement local sheaf condition for VCard predicates
+- [ ] Connect Kan cubical extension fillers to univalence
+
+---
+
+## 4. Cross-Document References & Transclusions
+
+### Related Theoretical Foundations
+
+- See [[homotopy_type_theory|Cubical Homotopy Type Theory]] for higher path dimensions.
+- See [[mcard_specification|MCard Content-Addressing Architecture]] for the CAS representation.
+- Return to the [[sample.md|CLM Computable Knowledge Guide]].
+
+### Transcluded MCard Architecture Spec
+
+![[mcard_specification#Card Class Hierarchy]]
+
+### Transcluded Architecture Graphic
+
+![[sample.svg|360]]
+
+#clm/category-theory #logic/sheaves #mcard/spec #formal-proof

package/assets/media/documents/commutative_cube.tikzcd

@@ -0,0 +1,12 @@
+% Commutative Cube with Crossing-Over Morphisms
+% Canonical Source: StudyNotes / Literature/PKM/Tools/TikZJaX Demo.md & TikZ-CD Examples.md
+% Robust Scaling Strategy: row sep=2cm, column sep=2cm, nodes={scale=1.2}
+
+\begin{tikzcd}[row sep=2cm, column sep=2cm, nodes={scale=1.2}]
+A' \arrow[rr, "f'"] \arrow[dr, swap, "a"] \arrow[dd, swap, "g'"] & &
+  B' \arrow[dd, swap, "h'" near start] \arrow[dr, "b"] \\
+& A \arrow[rr, crossing over, "f" near start] & &
+  B \arrow[dd, "h"] \\
+C' \arrow[rr, "k'" near end] \arrow[dr, swap, "c"] & & D' \arrow[dr, swap, "d"] \\
+& C \arrow[rr, "k"'] \arrow[uu, <-, crossing over, "g" near end] & & D
+\end{tikzcd}

package/assets/media/documents/commutative_square.tikzcd

@@ -0,0 +1,8 @@
+% Scaled Commutative Square
+% Canonical Source: StudyNotes / Permanent/PKM/Tools/TikZ-CD Examples.md
+% Robust Scaling Strategy: row sep=2.5cm, column sep=2.5cm, nodes={scale=1.4}
+
+\begin{tikzcd}[row sep=2.5cm, column sep=2.5cm, nodes={scale=1.4}]
+A \arrow[r, "\phi"] \arrow[d, "f"'] & B \arrow[d, "\psi"] \\
+C \arrow[r, "\eta"'] & D
+\end{tikzcd}

package/assets/media/documents/composition_triangle.tikz

@@ -0,0 +1,13 @@
+% Composition Triangle Commutative Diagram
+% Canonical 3-Node TikZ Geometry with straight and angle-constrained curved arrows
+\begin{tikzpicture}
+  % Objects
+  \node (A) at (0,0) {$A$};
+  \node (B) at (2,0) {$B$};
+  \node (C) at (4,0) {$C$};
+
+  % Arrows
+  \draw[->] (A) -- node[above]{$f$} (B);
+  \draw[->] (B) -- node[above]{$g$} (C);
+  \draw[->] (A) to [out=30,in=150] node[above]{$h$} (C);
+\end{tikzpicture}

package/assets/media/documents/cubical_monad_continuation.md

@@ -0,0 +1,57 @@
+# Categorical Monads & Delimited Continuations
+
+> [!NOTE] Monadic Fiber Semantics
+> In the CLM runtime, Cordis fibers and delimited continuations (`shift` / `reset`, `park` / `resume`) correspond to computation within the continuation monad $T(A) = (A \to R) \to R$.
+
+---
+
+## 1. Monad Associativity Law
+
+A monad $(T, \eta, \mu)$ on a category $\mathcal{C}$ consists of an endofunctor $T: \mathcal{C} \to \mathcal{C}$, unit $\eta: \mathrm{Id} \implies T$, and multiplication $\mu: T^2 \implies T$ satisfying the associative coherence square:
+
+```tikzcd
+\begin{tikzcd}[row sep=2cm, column sep=2cm, nodes={scale=1.3}]
+T^3 \arrow[r, "T\mu"] \arrow[d, "\mu T"'] & T^2 \arrow[d, "\mu"] \\
+T^2 \arrow[r, "\mu"'] & T
+\end{tikzcd}
+```
+
+This guarantees that nested fiber continuations $\mu(\mu(x))$ evaluate deterministically regardless of reduction order.
+
+---
+
+## 2. Monad Unit Laws (Triangle Identities)
+
+The unit $\eta$ acts as a two-sided identity for multiplication $\mu$:
+
+```tikzcd
+\begin{tikzcd}[row sep=2cm, column sep=2.5cm, nodes={scale=1.2}]
+T \arrow[r, "\eta T"] \arrow[dr, equal, "\mathrm{id}_T"'] & T^2 \arrow[d, "\mu"] & T \arrow[l, "T\eta"'] \arrow[dl, equal, "\mathrm{id}_T"] \\
+& T &
+\end{tikzcd}
+```
+
+---
+
+## 3. Delimited Continuation Fiber Lifecycle
+
+The transition diagram for a parked Cordis fiber continuation under Maxwell's Demon gate:
+
+```tikz
+\begin{tikzpicture}[
+  scale=1.2,
+  state/.style={rectangle, rounded corners, draw=blue!80, fill=blue!10, thick, inner sep=6pt},
+  gate/.style={diamond, draw=red!80, fill=red!10, thick, inner sep=4pt},
+  arrow/.style={->, >=stealth, thick}
+]
+  \node[state] (active) {Active Fiber};
+  \node[gate] (checkpoint) [right=2.5cm of active] {VCard Gate};
+  \node[state] (parked) [below=1.8cm of checkpoint] {Parked Continuation};
+  \node[state] (resolved) [right=2.5cm of checkpoint] {Committed State};
+
+  \draw[arrow] (active) -- node[above] {Yield} (checkpoint);
+  \draw[arrow] (checkpoint) -- node[right] {$H^1 \neq 0$} (parked);
+  \draw[arrow] (checkpoint) -- node[above] {$H^1 = 0$} (resolved);
+  \draw[arrow] (parked) -| node[below, pos=0.25] {Resume / Rollback} (active);
+\end{tikzpicture}
+```

package/assets/media/documents/curry_howard_lambek.tikzcd

@@ -0,0 +1,12 @@
+% Curry-Howard-Lambek Computational Trinitarianism Diagram
+% Canonical Path: assets/media/documents/curry_howard_lambek.tikzcd
+% Equivalence of Category Theory, Type Theory, and Intuitionistic Logic
+
+\begin{tikzcd}[row sep=2.5cm, column sep=2.5cm, nodes={scale=1.2}]
+& \text{Category Theory } (\mathcal{C})
+  \arrow[dl, leftrightarrow, "\text{Internal Logic}"']
+  \arrow[dr, leftrightarrow, "\text{Semantics}"] & \\
+\text{Logic } (\mathcal{L})
+  \arrow[rr, leftrightarrow, "\text{Propositions-as-Types}"'] & &
+\text{Type Theory } (\mathcal{T})
+\end{tikzcd}

package/assets/media/documents/fiber_product_pullback.tikzcd

@@ -0,0 +1,14 @@
+% Fiber Product (Pullback) with Universal Property Cone
+% Canonical Source: StudyNotes / Permanent/PKM/Tools/TikZ-CD Examples.md & TikZJaX Demo.md
+% Robust Scaling Strategy: row sep=2.5cm, column sep=2.5cm, nodes={scale=1.3}
+
+\begin{tikzcd}[row sep=2.5cm, column sep=2.5cm, nodes={scale=1.3}]
+T
+  \arrow[drr, bend left, "XYZ"]
+  \arrow[ddr, bend right, "yzx"']
+  \arrow[dr, dotted, "{(x,y)}" description] & & \\
+& X \times_Z Y
+  \arrow[r, "p"]
+  \arrow[d, "q"'] & X \arrow[d, "f"] \\
+& Y \arrow[r, "g"'] & Z
+\end{tikzcd}

package/assets/media/documents/homotopy_type_theory.md

@@ -0,0 +1,71 @@
+# Cubical Homotopy Type Theory & Synthetic Geometry
+
+> [!IMPORTANT] Voevodsky's Univalence Axiom
+> The univalence axiom asserts that for any two types $A$ and $B$ in a universe $\mathcal{U}$, the canonical map from identity to equivalence is itself an equivalence:
+> $$(A \simeq B) \simeq (A = B)$$
+> Isomorphic structures are identical, providing synthetic foundations for computational geometry.
+
+---
+
+## 1. Cubical Sets and Interval Object
+
+In constructive cubical type theory, types are modeled as cubical sets over the formal interval category $\Box$. The formal interval $\mathbb{I}$ has endpoints $0$ and $1$:
+
+$$\mathbb{I} = \{0, 1\}$$
+
+A path in a type $A$ from $x$ to $y$ is a continuous function from the formal interval:
+$$\mathrm{Path}_A(x, y) \triangleq \mathbb{I} \to A \quad \text{such that} \quad p(0) \equiv x, \; p(1) \equiv y$$
+
+### Cubical Face Boundary Invariants
+
+| Dimension | Face Operator | Boundary Projection | Homotopy Invariant |
+| :--- | :--- | :--- | :--- |
+| **$D_0$** | $i = 0$ | $\partial \mathbb{I}^n_0$ | Source Endpoint Preservation |
+| **$D_1$** | $i = 1$ | $\partial \mathbb{I}^n_1$ | Target Endpoint Preservation |
+| **$\mathbb{I} \times \mathbb{I}$** | Diagonal $i = j$ | $\Delta \mathbb{I}^2$ | Degeneracy & Reflexivity Path |
+| **$\partial \mathbb{I}^n$** | Open Box $\sqcap$ | $\mathrm{hcomp}$ | Kan Extension Filler Existence |
+
+> [!WARNING] Kan Filler Invariant
+> Every open cubical box must admit a composite filler without requiring non-constructive choice axioms. Failure of Kan filling halts the fiber pipeline.
+
+---
+
+## 2. Categorical Commutative Square
+
+```tikzcd
+\begin{tikzcd}[row sep=2cm, column sep=2cm, nodes={scale=1.2}]
+A \arrow[r, "f"] \arrow[d, "g"'] \arrow[dr, "H", Rightarrow] & B \arrow[d, "h"] \\
+C \arrow[r, "k"'] & D
+\end{tikzcd}
+```
+
+The square commutes up to a 2-dimensional homotopy path $H: h \circ f \sim k \circ g$.
+
+---
+
+## 3. Epistemic Tasks & Progress
+
+- [x] Establish De Morgan cubical interval algebra
+- [x] Prove function extensionality via interval abstraction
+- [x] Implement Kan composition and transport operators
+- [ ] Connect higher inductive types ($S^1$, Torus) to MCard state graphs
+
+---
+
+## 4. Hyperlinks & Transclusion
+
+### Connected Foundational Documents
+
+- Explore [[categorical_logic|Categorical Logic & Sheaves]] for the underlying topos.
+- See [[mcard_specification|MCard Specification]] for concrete runtime realization.
+- Reference the main [[sample.md|CLM Knowledge Guide]].
+
+### Transcluded Curry-Howard-Lambek Isomorphism Table
+
+![[categorical_logic#Curry-Howard-Lambek Isomorphism]]
+
+### Transcluded System Logo
+
+![[sample.png|280]]
+
+#hott/cubical #kan-complex #synthetic-homotopy #univalence

package/assets/media/documents/kan_extension_cube.tikz

@@ -0,0 +1,50 @@
+% 3D Cubical Kan Extension Filler Diagram
+% Canonical Path: assets/media/documents/kan_extension_cube.tikz
+% Represents the open box \sqcap and its composite Kan filler \sqcup in Cubical Type Theory.
+
+\begin{tikzpicture}[
+  scale=2.2,
+  back/.style={loosely dashed, thin},
+  edge/.style={thick, ->, >=stealth},
+  filler/.style={very thick, dashed, draw=green!70!black, ->, >=stealth},
+  point/.style={circle, fill=black, inner sep=1.5pt}
+]
+  % 3D Isometric Coordinates
+  \coordinate (v000) at (0, 0, 0);
+  \coordinate (v100) at (2, 0, 0);
+  \coordinate (v010) at (0, 1.6, 0);
+  \coordinate (v110) at (2, 1.6, 0);
+  \coordinate (v001) at (0.8, 0.6, -1.5);
+  \coordinate (v101) at (2.8, 0.6, -1.5);
+  \coordinate (v011) at (0.8, 2.2, -1.5);
+  \coordinate (v111) at (2.8, 2.2, -1.5);
+
+  % Back edges
+  \draw[back] (v000) -- (v001);
+  \draw[back] (v001) -- (v101);
+  \draw[back] (v001) -- (v011);
+
+  % Front and side edges
+  \draw[edge] (v000) -- node[below] {$A_0$} (v100);
+  \draw[edge] (v000) -- node[left] {$B_0$} (v010);
+  \draw[edge] (v100) -- node[right] {Cv_1$} (v110);
+  \draw[edge] (v010) -- node[above] {Du_1$} (v110);
+
+  \draw[edge] (v100) -- (v101);
+  \draw[edge] (v010) -- (v011);
+  \draw[edge] (v110) -- (v111);
+
+  \draw[edge] (v011) -- (v111);
+  \draw[edge] (v101) -- (v111);
+
+  % Kan Filler diagonal arrow: (0,0,0) -> (1,1,1)
+  \draw[filler] (v000) -- node[midway, above, sloped] {$\mathrm{hcomp}(u, v, w)$} (v111);
+
+  % Vertex nodes
+  \node[point, label=below left:{$A_{000}$}] at (v000) {};
+  \node[point, label=below right:{$B_{100}$}] at (v100) {};
+  \node[point, label=above left:{$C_{010}$}] at (v010) {};
+  \node[point, label=above right:{$D_{110}$}] at (v110) {};
+  \node[point, label=above:{$A_{011}$}] at (v011) {};
+  \node[point, label=right:{$A_{111}$}] at (v111) {};
+\end{tikzpicture}

package/assets/media/documents/mcard_specification.md

@@ -0,0 +1,67 @@
+# MCard Specification: Content-Addressable Computable Cards
+
+> [!NOTE] Handle Formatting Standard
+> In the CLM architecture, all computational entities are identified by unified **MCard Handles**. A handle maps colon-delimited path tokens to persistent Content-Addressable Storage (CAS):
+> `assets:media:documents:mcard_specification.md` $\longleftrightarrow$ `assets/media/documents/mcard_specification.md`
+
+---
+
+## 1. Card Class Hierarchy
+
+The computational fabric is organized into three distinct card classes adhering to the Function-Number Duality:
+
+| Card Class | Subclass Category | Polynomial Degree | Operational Role | Epistemic Status |
+| :--- | :--- | :---: | :--- | :--- |
+| **MCard** | Immutable CAS Node | $0$ | Static Value & Data Carrier | Definition / Proposition |
+| **PCard** | Process Morphism | $\ge 1$ | Active State Transition Morphism | Execution Operator |
+| **VCard** | Witness Predicate | $0$ | Correctness Proof ($\to \text{bool}$) | Theorem / Verification Proof |
+
+```mermaid
+graph TD
+    MCard[MCard: Immutable Data] --> PCard[PCard: Morphism Process]
+    PCard --> VCard[VCard: Witness Predicate]
+```
+
+> [!CAUTION] Protocol Guard Invariant
+> Standalone `pcard://` and `vcard://` protocol URIs are prohibited. All references must resolve through the unified `mcard://` scheme with query facets (`?facet=pcard` or `?facet=vcard`).
+
+---
+
+## 2. Content Addressing & BLAKE3 Invariants
+
+Every card's identity is cryptographically bound to its payload content via BLAKE3 / SHA-256:
+
+$$\mathrm{Hash}(M) = \mathrm{BLAKE3}\big(\mathrm{payload}(M)\big)$$
+
+A Predicate Witness $V(M)$ evaluates to top $\top$ if and only if the invariant holds:
+$$V(M) = \begin{cases} \top & \text{if } \mathrm{Invariant}(M) = 1 \\ \bot & \text{otherwise} \end{cases}$$
+
+---
+
+## 3. Implementation Roadmap
+
+- [x] Standardize colon-delimited handle namespace mapping
+- [x] Integrate cryptographic BLAKE3 content hash verification
+- [x] Deploy 17-format MTR-1 media transcoding viewlet matrix
+- [x] Implement Obsidian wikilink and transclusion syntax resolution
+- [ ] Connect P2P Merkle proof synchronization across local nodes
+
+---
+
+## 4. Hyperlinks & Transclusion
+
+### Conceptual Cross-Links
+
+- Learn about [[categorical_logic|Categorical Logic & Sheaf Semantics]].
+- Explore [[homotopy_type_theory|Cubical Homotopy Type Theory & Kan Fibrations]].
+- Inspect the primary [[sample.md|CLM Computable Knowledge Guide]].
+
+### Transcluded Commutative Categorical Foundations
+
+![[categorical_logic#Curry-Howard-Lambek Isomorphism]]
+
+### Transcluded System Schematic
+
+![[sample.svg|340]]
+
+#mcard/spec #vfs/handles #cas/blake3 #clm/kernel

package/assets/media/documents/monad_triangle_identities.tikz-cd

@@ -0,0 +1,5 @@
+% Monad Associativity and Unit Laws
+\begin{tikzcd}[row sep=large, column sep=large]
+T^3 \arrow[r, "T\mu"] \arrow[d, "\mu T"'] & T^2 \arrow[d, "\mu"] \\
+T^2 \arrow[r, "\mu"'] & T
+\end{tikzcd}

package/assets/media/documents/natural_transformation_2cell.tikzcd

@@ -0,0 +1,11 @@
+% Natural Transformation (2-Cell) with Curved Functor Arrows
+% Canonical Source: StudyNotes / Permanent/PKM/Tools/TikZ-CD Examples.md
+% Scaling Strategy: column sep=3cm, row sep=2cm
+
+\begin{tikzcd}[column sep=3cm, row sep=2cm]
+\mathcal{C}
+  \arrow[r, bend left=50, "F", ""{name=U, below}]
+  \arrow[r, bend right=50, "G"', ""{name=D}]
+  & \mathcal{D}
+  \arrow[Rightarrow, from=U, to=D, "\alpha"]
+\end{tikzcd}

package/assets/media/documents/petri_net_token_flow.tikz

@@ -0,0 +1,49 @@
+% Colored Petri Net (CPN) Marking & Token Flow Transition Diagram
+% Canonical Source: StudyNotes / Hub/Tech/TikZ in Obsidian.md
+% Demonstrates places, transitions, token markings, and weighted arc invariants for CLM Layer 1 CPN VM.
+
+\begin{tikzpicture}[
+  scale=1.2, transform shape,
+  place/.style={circle,draw=black!70,fill=blue!20,thick,inner sep=0pt,minimum size=9mm},
+  transition/.style={rectangle,draw=black!70,fill=black!20,thick,inner sep=0pt,minimum size=6mm},
+  red place/.style={place,draw=red!75,fill=red!20},
+  pre/.style={<-,shorten <=1pt,>=stealth,semithick},
+  post/.style={->,shorten >=1pt,>=stealth,semithick}
+]
+  % Places
+  \node [place]     (w1)                            {};
+  \node [place]     (c1) [below=of w1]              {};
+  \node [red place] (s1) [below=of c1,xshift=-5mm]  [label=left:$s$]         {};
+  \node [red place] (s2) [below=of c1,xshift=5mm]   [label=right:$\bar s$]   {};
+  \node [place]     (c2) [below=of s1,xshift=5mm]   {};
+  \node [place]     (w2) [below=of c2]              {};
+
+  % Token markings (White fill with dark stroke for dark mode visibility)
+  \draw[fill=white,draw=black,thick] (w1) circle (3pt);
+  \draw[fill=white,draw=black,thick] (s2) ++(0,2.5pt) circle (2.5pt);
+  \draw[fill=white,draw=black,thick] (s2) ++(-2.5pt,-1.5pt) circle (2.5pt);
+  \draw[fill=white,draw=black,thick] (s2) ++(2.5pt,-1.5pt) circle (2.5pt);
+  \draw[fill=white,draw=black,thick] (w2) circle (3pt);
+
+  % Transitions
+  \node [transition] (e1) [left=of c1] {}
+    edge [pre,bend left]                  (w1)
+    edge [post]                           (s1)
+    edge [pre]                            (s2)
+    edge [post]                           (c1);
+  \node [transition] (e2) [left=of c2] {}
+    edge [pre,bend right]                 (w2)
+    edge [post]                           (s1)
+    edge [pre]                            (s2)
+    edge [post]                           (c2);
+  \node [transition] (l1) [right=of c1] {}
+    edge [pre]                            (c1)
+    edge [pre]                            (s1)
+    edge [post]                           (s2)
+    edge [post,bend right] node[swap] {2} (w1);
+  \node [transition] (l2) [right=of c2] {}
+    edge [pre]                            (c2)
+    edge [pre]                            (s1)
+    edge [post]                           (s2)
+    edge [post,bend left]  node {2}       (w2);
+\end{tikzpicture}

package/assets/media/documents/response-1789288505733.md

@@ -0,0 +1,7 @@
+{
+  "action": "dalle.text2im",
+  "action_input": "{ \"prompt\": \"A majestic and cinematic portrayal of the Monkey King, Sun Wukong. He is wearing intricate golden scale armor, a vibrant red silk cape flowing in the wind, and a crown with two exceptionally long, elegant pheasant feathers. He holds his legendary golden-tipped staff (Ruyi Jingu Bang) in a powerful stance. He is standing atop a swirling golden cloud high above a landscape of mystical, floating mountains and waterfalls. The art style is epic fantasy with a blend of traditional Chinese ink aesthetics and modern digital detail, featuring golden hour lighting and a sense of divine power.\" }",
+  "thought": "I will generate an image of the Monkey King (Sun Wukong) featuring his iconic elements like the golden armor, the phoenix-feather cap, and his magical staff, set in a mythical, cinematic environment."
+}
+
+*[PCard State: waiting | Event MCard: `2039539e89` | Model: gemini:gemini-3.8-flash]*

package/assets/media/documents/response-about-the-attached-file-956837.md

@@ -0,0 +1,29 @@
+## About the Attached File
+
+The file you've shared is a **Markdown description document** titled (loosely) *"response – the image shows a single brill…"* (filename: `response-the-image-shows-a-single-brill-913290.md`). It is not an image itself but a **textual analysis/caption** of one.
+
+### What it describes
+It details a single image of a **brilliant point of light on a black background**, broken down into:
+
+| Element | Description |
+|---|---|
+| **Core** | Small, intensely bright white-to-pale-yellow spot dead-center. |
+| **Glow / Halo** | A roughly circular luminous region fading from yellow → warm orange → deep reddish-brown → black. |
+| **Rays & Spikes** | Thin streaks of light radiating outward in several directions, plus one prominent **horizontal lens-flare line** across the frame. |
+| **Background** | Pure black at the edges with a faint circular vignette. |
+
+The author concludes the image is most likely a depiction of the **Sun** (or a bright star / eclipse-like scene) captured with a pronounced **starburst diffraction** and **horizontal lens flare**.
+
+### Provenance / Metadata
+The last line of the file carries a small status tag:
+
+- **PCard State:** `waiting`
+- **Event MCard ID:** `015162e30e`
+- **Model that generated the description:** `ollama:qwen3.8:27b-mlx`
+
+This suggests the caption was produced by a **local Ollama-hosted Qwen 3.8 (27B, MLX-quantized)** model as part of some card/event-based pipeline (possibly an image-captioning or multimodal workflow), and the file was saved as a structured response before the "waiting" step was resolved.
+
+### In short
+It's a **machine-generated image caption** (in Markdown) for a starburst/lens-flare photograph of the Sun or a similar bright celestial source, stored as part of a larger processing pipeline with a specific event identifier. There is no image file attached — only this descriptive text.
+
+*[PCard State: waiting | Event MCard: `fef69c6011` | Model: ollama:qwen3.8:27b-mlx]*

package/assets/media/documents/response-chrome-built-in-gemini-nano-wi-153124.md

@@ -0,0 +1,11 @@
+[Chrome Built-in: Gemini Nano (window.ai) - Prompt API Not Found]
+
+The Chrome Prompt API is not detected in this browser. To use native Gemini Nano:
+1. Open chrome://flags/#prompt-api-for-gemini-nano and set to 'Enabled'.
+2. Open chrome://flags/#optimization-guide-on-device-model and set to 'Enabled BypassPerfRequirement'.
+3. Open chrome://components -> locate 'Optimization Guide On Device Model' -> click 'Check for update'.
+4. Relaunch Chrome and try again.
+
+Tip: You can switch to SmolLM2-360M or Qwen2.5-0.5B to run local WebGPU models!
+
+*[PCard State: waiting | Event MCard: `adf5caac57` | Model: browser:window.ai]*

package/assets/media/documents/response-here-s-an-svg-for-the-bitcoin--737785.md

@@ -0,0 +1,44 @@
+Here's an SVG for the Bitcoin logo:
+
+```svg
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 100 100" width="200" height="200">
+  <!-- Bitcoin orange circle -->
+  <circle cx="50" cy="50" r="48" fill="#F7931A"/>
+  
+  <!-- Bitcoin symbol (₿) -->
+  <g fill="white">
+    <!-- Vertical lines -->
+    <rect x="38" y="20" width="4" height="60" rx="1"/>
+    <rect x="58" y="20" width="4" height="60" rx="1"/>
+    
+    <!-- B shape -->
+    <path d="M 42 30 
+             L 42 38 
+             C 42 38, 50 38, 50 42 
+             C 50 46, 44 46, 44 48 
+             C 44 50, 50 50, 50 54 
+             L 50 62 
+             M 42 30 
+             L 52 30 
+             C 56 30, 56 38, 52 38 
+             C 48 38, 48 42, 52 42 
+             C 56 42, 56 50, 52 50 
+             L 42 50" 
+          stroke="white" 
+          stroke-width="2.5" 
+          fill="none" 
+          stroke-linecap="round"
+          stroke-linejoin="round"/>
+  </g>
+</svg>
+```
+
+**Features:**
+- **Orange circle** (#F7931A) — Bitcoin's official brand color
+- **White ₿ symbol** — The stylized B with two vertical lines
+- **Scalable** — Uses `viewBox` for responsive sizing
+- **Clean code** — Minimal paths with rounded line caps
+
+You can save this as `bitcoin.svg` and use it in HTML, websites, or design tools. Want me to adjust the style, colors, or add details?
+
+*[PCard State: waiting | Event MCard: `5ad59c7707` | Model: ollama:ornith:35b]*

package/assets/media/documents/response-it-looks-like-a-small-white-ra-153644.md

@@ -0,0 +1,20 @@
+It looks like a small white rabbit figurine—likely ceramic, clay, or plastic—sitting on a reddish‑brown wooden surface (a table or floor with visible grain). The rabbit has its long ears folded back and is in a seated, crouched pose, lit with warm, dim light.
+
+Given the attached video (a short ~7‑second clip at 320×240), it seems the footage probably shows this little rabbit figure, perhaps with slight movement or changing lighting.
+asDdsaDS
+d
+s
+DS
+d
+s
+DS
+
+ds
+Could you tell me what you'd like to do with it? For example:
+- Describe or analyze the video's content frame by frame
+- Identify the object (toy, figurine, real animal, etc.)
+- Edit, caption, or generate something based on it
+
+Let me know and I'll take it from there. 🐰
+
+*[PCard State: waiting | Event MCard: `bd45fa9119` | Model: ollama:qwen3.8:27b-mlx]*

package/assets/media/documents/response-notice-gemini-3-8-flash-was-te-689489.md

@@ -0,0 +1,5 @@
+*(Notice: `gemini-3.8-flash` was temporarily unavailable on Google AI Studio (503). Response served by verified fallback `gemini-3-flash-preview`)*
+
+Uluwatu is most famous for its iconic temple (Pura Luhur Uluwatu) perched on a steep cliff overlooking the Indian Ocean, especially during sunset. I will generate a high-quality, cinematic image that captures this dramatic landscape, the crashing waves, and the golden hour lighting to best represent the beauty of the location.
+
+*[Generated image via Pollinations Fallback | MCard: `#7cb29d8c83`]*

package/assets/media/documents/response-notice-gemini-3-8-flash-was-te-797743.md

@@ -0,0 +1,9 @@
+*(Notice: `gemini-3.8-flash` was temporarily unavailable on Google AI Studio (503). Response served by verified fallback `gemini-3-flash-preview`)*
+
+{
+  "action": "dalle.text2im",
+  "action_input": "{ \"prompt\": \"A cinematic, epic portrayal of Son Goku reimagined as the legendary Monkey King Sun Wukong. He is wearing ornate, ancient Chinese golden armor with red silk accents and a long flowing cape. On his head, he wears a golden circlet and two long, majestic pheasant feathers. He has his iconic spiky black hair but with subtle golden fur textures on his cheeks and forearms. He is standing atop a jagged mountain peak above a sea of clouds, holding a glowing red and gold Power Pole (Ruyi Jingu Bang). The art style is a blend of modern high-detail 3D render and traditional Chinese fantasy illustration. Dramatic lighting, sunset background, mythical atmosphere.\", \"size\": \"1024x1024\" }",
+  "thought": "The user wants an image of Goku (from Dragon Ball) styled as the Monkey King (Sun Wukong) from 'Journey to the West'. This requires a fusion of Goku's iconic features (spiky hair, facial structure) with Sun Wukong's traditional attributes (golden armor, phoenix feather cap, magical staff, mythical setting). I will create a prompt that emphasizes this blend of anime and mythology."
+}
+
+*[PCard State: waiting | Event MCard: `06d49dee60` | Model: gemini:gemini-3.8-flash]*

package/assets/media/documents/response-the-clip-shows-a-single-small--867591.md

@@ -0,0 +1,5 @@
+The clip shows a single small **white rabbit‑shaped figurine (toy/statue)** sitting on a **brown wood‑grain surface** (a table or floor). The rabbit has two long upright ears, a rounded body, and is positioned facing to the side, casting a soft shadow. The footage is a short (~8 s), low‑resolution (320×240) clip, essentially a close‑up of this white rabbit object on the wooden background with little else in frame.
+
+In short: it's a brief video of a white rabbit figurine resting on a wooden surface.
+
+*[PCard State: waiting | Event MCard: `e1dbd7c9f2` | Model: ollama:qwen3.8:27b-mlx]*

package/assets/media/documents/response-the-image-shows-a-single-brill-913290.md

@@ -0,0 +1,12 @@
+The image shows a single brilliant point of light centered on an otherwise black field, rendered with a strong starburst / lens‑flare effect.
+
+Specifically:
+
+- **Core:** A small, intensely bright white‑to‑pale‑yellow spot at the exact center.
+- **Glow:** Around the core the light fades outward through yellow into a warm orange‑to‑deep‑reddish‑brown halo, which then blends into the surrounding darkness. The overall luminous region is roughly circular.
+- **Rays / spikes:** Several thin streaks of light radiate from the center in different directions (diagonally and outward), plus one prominent **horizontal flare line** stretching across the frame through the center — a typical camera lens‑flare / diffraction artifact.
+- **Background:** Pure black at the corners and edges, with a faint dark circular vignette framing the glow.
+
+In short, it is a radiant light source — most likely a depiction of the **Sun** (or a bright star / eclipse‑like scene) captured with a pronounced starburst and horizontal lens flare against a dark sky.
+
+*[PCard State: waiting | Event MCard: `015162e30e` | Model: ollama:qwen3.8:27b-mlx]*

package/assets/media/documents/response-this-image-shows-a-square-wood-821001.md

@@ -0,0 +1,9 @@
+This image shows a square wooden panel or door-like surface rendered in an aged, weathered style. Its main features are:
+
+- **Central panel:** A field of vertical wood planks with a fine, streaky grain pattern in medium brown tones, giving the look of weathered timber.
+- **Frame border:** A darker rim runs along all four edges, mottled with orange-rust colored speckles, suggesting old metal hardware or heavily aged wood.
+- **Diagonal brace:** A prominent diagonal beam crosses the panel from the bottom-left corner to the top-right corner. It shares the same dark, rust-flecked appearance as the frame, like a structural reinforcement strap on a gate, crate, or barn door.
+
+Overall, the composition resembles a rustic, distressed wooden gate or crate face, with a vertical-grain center panel reinforced by a dark, rusted frame and diagonal support. The texture and coloration give it a vintage, industrial, or "grunge" aesthetic, often used as a background or texture graphic.
+
+*[PCard State: waiting | Event MCard: `0340e574ba` | Model: ollama:qwen3.8:27b-mlx]*