Add files via upload

Author: SIGNIAINDEX

examples/README.md

@@ -0,0 +1,28 @@
+# SIGNIA Examples
+
+These examples are runnable end-to-end using the workspace CLI (`signia-cli`).
+
+Each example includes:
+- an input fixture
+- a `run.sh` script that compiles + verifies (and optionally publishes to devnet)
+- an `expected/` directory with sample outputs
+
+## Prerequisites
+- Rust stable
+- `signia` CLI available (build from repo root):
+  - `cargo build -p signia-cli`
+  - `./target/debug/signia --help`
+
+## Running
+From the repository root:
+
+```bash
+bash examples/openapi/run.sh
+bash examples/dataset/run.sh
+bash examples/workflow/run.sh
+bash examples/repo-github/run.sh
+```
+
+Notes:
+- The `expected/` outputs are illustrative. Your actual hashes will change if inputs change.
+- The scripts rely on deterministic canonicalization for stable results per input.

examples/dataset/expected/manifest.json

@@ -0,0 +1,6 @@
+{
+  "schemaHash": "example_dataset_schema_hash",
+  "artifactHashes": [
+    "example_dataset_content_hash"
+  ]
+}

examples/dataset/expected/proof.json

@@ -0,0 +1,7 @@
+{
+  "root": "example_dataset_root",
+  "leaves": [
+    "example_dataset_schema_hash",
+    "example_dataset_content_hash"
+  ]
+}

examples/dataset/expected/schema.json

@@ -0,0 +1,22 @@
+{
+  "version": "v1",
+  "kind": "dataset",
+  "nodes": [
+    {
+      "id": "col:id",
+      "kind": "column",
+      "type": "int"
+    },
+    {
+      "id": "col:name",
+      "kind": "column",
+      "type": "string"
+    },
+    {
+      "id": "col:score",
+      "kind": "column",
+      "type": "int"
+    }
+  ],
+  "edges": []
+}

examples/dataset/run.sh

@@ -0,0 +1,23 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/../.." && pwd)"
+BIN="${ROOT_DIR}/target/debug/signia"
+
+if [ ! -x "${BIN}" ]; then
+  echo "signia CLI not found at ${BIN}"
+  echo "Build it from repo root: cargo build -p signia-cli"
+  exit 1
+fi
+
+INPUT_FILE="${ROOT_DIR}/examples/dataset/sample.csv"
+OUT_DIR="${ROOT_DIR}/examples/dataset/out"
+mkdir -p "${OUT_DIR}"
+
+echo "== compile =="
+"${BIN}" compile "${INPUT_FILE}" --type dataset --out "${OUT_DIR}"
+
+echo "== verify =="
+"${BIN}" verify "${OUT_DIR}/schema.json" "${OUT_DIR}/proof.json" --manifest "${OUT_DIR}/manifest.json"
+
+echo "done"

examples/dataset/sample.csv

@@ -0,0 +1,4 @@
+id,name,score
+1,alpha,10
+2,beta,20
+3,gamma,30

examples/openapi/expected/manifest.json

@@ -0,0 +1,4 @@
+{
+  "schemaHash": "example_openapi_schema_hash",
+  "artifactHashes": []
+}

examples/openapi/expected/proof.json

@@ -0,0 +1,6 @@
+{
+  "root": "example_openapi_root",
+  "leaves": [
+    "example_openapi_schema_hash"
+  ]
+}

examples/openapi/expected/schema.json

@@ -0,0 +1,11 @@
+{
+  "version": "v1",
+  "kind": "openapi",
+  "nodes": [
+    {
+      "id": "api:/pets:get",
+      "kind": "op"
+    }
+  ],
+  "edges": []
+}

examples/openapi/petstore.yaml

@@ -0,0 +1,11 @@
+openapi: 3.0.0
+info:
+  title: Petstore
+  version: "1.0.0"
+paths:
+  /pets:
+    get:
+      summary: List pets
+      responses:
+        "200":
+          description: OK