Add YAML ingestion support (from-yaml)

Extract shared _from-data helper from from-toml, add from-yaml entry
point using Typst's built-in yaml() parser. Includes YAML test fixture,
round-trip test (T9), and TOML↔YAML equivalence test (T10). Source
filter updated to include .yaml files.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: blessuselessk

flake.nix

@@ -20,7 +20,8 @@
           filter = path: type:
             type == "directory"
             || pkgs.lib.hasSuffix ".typ" path
-            || pkgs.lib.hasSuffix ".toml" path;
+            || pkgs.lib.hasSuffix ".toml" path
+            || pkgs.lib.hasSuffix ".yaml" path;
         };
 
         mkTestCheck = testFile: typixLib.mkTypstDerivation {

lib.typ

@@ -23,8 +23,9 @@
 //   render-chat-mode  chat-mode dict  → Markdown string
 //   render-prompt     prompt dict     → Markdown string (full canonical block)
 //
-// TOML ingestion (Phase 1):
+// Data ingestion (Phase 1):
 //   from-toml      TOML string     → dict (partial or full prompt)
+//   from-yaml      YAML string     → dict (partial or full prompt)
 //
 // Shorthand helpers (Phase 2, v0 — not under immutable 10-symbol contract):
 //   ctx            shorthand for p-context (positional entries)
@@ -35,5 +36,5 @@
 
 #import "src/primitives.typ": p-context, p-schema, p-checkpoint, p-chat-mode, p-prompt
 #import "src/render.typ":     render-context, render-schema, render-checkpoint, render-chat-mode, render-prompt
-#import "src/ingest.typ":     from-toml
+#import "src/ingest.typ":     from-toml, from-yaml
 #import "src/helpers.typ":    ctx, schema, field, entry, checkpoint

src/ingest.typ

@@ -1,13 +1,13 @@
 // src/ingest.typ
-// TOML ingestion layer. Parses TOML strings into core constructor dicts.
+// Data ingestion layer. Parses TOML/YAML strings into core constructor dicts.
 //
-// Public symbol: from-toml(raw)
+// Public symbols: from-toml(raw), from-yaml(raw)
 //
 // This is a core module — it imports sibling src/primitives.typ directly
 // (same layer as render.typ and validate.typ). It calls constructors to
 // ensure all validation fires on the parsed data.
 //
-// Partial TOML: missing sections produce missing keys in the result dict.
+// Partial data: missing sections produce missing keys in the result dict.
 // Full assembly: when all required sections are present, builds a prompt
 // via p-prompt(). Metadata ([rationale], constraint severity) is preserved
 // in the result but never rendered.
@@ -16,20 +16,19 @@
 
 
 // ─────────────────────────────────────────────
-// from-toml
+// _from-data (private)
 //
-// raw: string — TOML-encoded prompt data
+// data: dictionary — parsed prompt data (from toml() or yaml())
 //
 // Returns a dictionary with optional keys:
 //   context, schema, constraints, steps, inputs, checkpoints,
 //   aspect, prompt, meta, constraints-meta
 //
-// Missing TOML sections → absent keys (no panic).
+// Missing sections → absent keys (no panic).
 // Present sections with invalid data → panic via constructor validation.
 // ─────────────────────────────────────────────
 
-#let from-toml(raw) = {
-  let data = toml(bytes(raw))
+#let _from-data(data) = {
   let result = (:)
 
   // ── aspect metadata ──
@@ -140,3 +139,21 @@
 
   result
 }
+
+
+// ─────────────────────────────────────────────
+// from-toml
+//
+// raw: string — TOML-encoded prompt data
+// ─────────────────────────────────────────────
+
+#let from-toml(raw) = _from-data(toml(bytes(raw)))
+
+
+// ─────────────────────────────────────────────
+// from-yaml
+//
+// raw: string — YAML-encoded prompt data
+// ─────────────────────────────────────────────
+
+#let from-yaml(raw) = _from-data(yaml(bytes(raw)))

tests/fixtures/full-prompt.yaml

@@ -0,0 +1,38 @@
+aspect:
+  id: "ocd.networking"
+  version: "0.1.0"
+  role: "OpenClaw-aware networking aspect"
+
+context:
+  id: "networking-ctx"
+  entries:
+    - key: "firewall"
+      value: "Ports 443 (HTTPS) and 22 (SSH) open externally"
+    - key: "gateway-port"
+      value: "18789 loopback-only (proxied by Caddy)"
+
+constraints:
+  - text: "Gateway and webhook ports stay loopback-only"
+  - text: "All external traffic must route through Caddy"
+
+steps:
+  - text: "Configure NetworkManager"
+  - text: "Open firewall ports 443, 22"
+
+inputs:
+  - name: "hostname"
+    type: "string"
+    description: "Target machine hostname"
+
+schema:
+  id: "networking-output"
+  fields:
+    - name: "applied"
+      type: "bool"
+      description: "Whether the config was applied"
+
+checkpoints:
+  - id: "verify-loopback"
+    after-step: 2
+    assertion: "Gateway port 18789 is not in allowedTCPPorts"
+    on-fail: "halt"

tests/test-ingest.typ

@@ -216,6 +216,41 @@
 #assert(meta-result.at("meta", default: none) != none, message: "T8: metadata result has meta")
 
 
+// ─────────────────────────────────────────────
+// Test 9: YAML round-trip
+// from-yaml → render-prompt → assert sections present
+// (mirrors T1 but uses YAML fixture + from-yaml)
+// ─────────────────────────────────────────────
+
+#let yaml-raw = read("fixtures/full-prompt.yaml")
+#let yaml-full = from-yaml(yaml-raw)
+
+// Must have a prompt key (all required sections present)
+#assert(yaml-full.at("prompt", default: none) != none, message: "T9: YAML full prompt should assemble")
+
+#let yaml-rendered = render-prompt(yaml-full.prompt)
+#assert(type(yaml-rendered) == str, message: "T9: rendered output must be a string")
+#assert(yaml-rendered.contains("# Prompt: ocd.networking"), message: "T9: prompt header")
+#assert(yaml-rendered.contains("## Role"), message: "T9: role section")
+#assert(yaml-rendered.contains("## Context: networking-ctx"), message: "T9: context section")
+#assert(yaml-rendered.contains("## Constraints"), message: "T9: constraints section")
+#assert(yaml-rendered.contains("## Steps"), message: "T9: steps section")
+#assert(yaml-rendered.contains("## Inputs"), message: "T9: inputs section")
+#assert(yaml-rendered.contains("## Output Schema: networking-output"), message: "T9: schema section")
+#assert(yaml-rendered.contains("## Checkpoint: verify-loopback"), message: "T9: checkpoint section")
+
+
+// ─────────────────────────────────────────────
+// Test 10: YAML↔TOML equivalence
+// from-yaml and from-toml produce identical render-prompt output
+// ─────────────────────────────────────────────
+
+#let toml-rendered-t10 = render-prompt(full.prompt)
+#let yaml-rendered-t10 = render-prompt(yaml-full.prompt)
+
+#assert(toml-rendered-t10 == yaml-rendered-t10, message: "T10: YAML and TOML render identically")
+
+
 #align(center)[
   = Ingest Tests Passed!
 ]