docs: Update ADR-0003 (#107)

zharinov · web-flow · commit d76d9736db1e · 2025-12-11T13:50:31.000Z
diff --git a/AGENTS.md b/AGENTS.md
@@ -133,7 +133,7 @@ Boolean = [
 
 5.  **Alternations**
     - Tagged: `[ L1: (a) @x  L2: (b) @y ]`
-      → Discriminated Union: `{ tag: "L1", x: Node } | { tag: "L2", y: Node }`.
+      → Discriminated Union: `{ "$tag": "L1", "$data": { x: Node } } | { "$tag": "L2", "$data": { y: Node } }`.
     - Untagged: `[ (a) @x  (b) @x ]`
       → Merged Struct: `{ x: Node }`. Captures must be type-compatible across branches.
     - Mixed: `[ (a) @x  (b) ]` (invalid) - the diagnostics will be reported, but we infer as for untagged
diff --git a/README.md b/README.md
@@ -182,7 +182,9 @@ for (const stmt of result.statements) {
       console.log(`Assignment to ${stmt.$data.target}`);
       break;
     case "Call":
-      console.log(`Call to ${stmt.$data.func} with ${stmt.$data.args.length} args`);
+      console.log(
+        `Call to ${stmt.$data.func} with ${stmt.$data.args.length} args`,
+      );
       break;
   }
 }
diff --git a/docs/adr/ADR-0003-query-intermediate-representation.md b/docs/adr/ADR-0003-query-intermediate-representation.md

Original file line number	Diff line number	Diff line change
`@@ -182,7 +182,9 @@ for (const stmt of result.statements) {`
`182`	`182`	console.log(`Assignment to ${stmt.$data.target}`);
`183`	`183`	`break;`
`184`	`184`	`case "Call":`
`185`		- console.log(`Call to ${stmt.$data.func} with ${stmt.$data.args.length} args`);
	`185`	`+ console.log(`
	`186`	+ `Call to ${stmt.$data.func} with ${stmt.$data.args.length} args`,
	`187`	`+ );`
`186`	`188`	`break;`
`187`	`189`	`}`
`188`	`190`	`}`