Merge pull request #14 from officialCodeWork/build/phase-2/step-2.2-prop-flow

feat: prop-flow — per-instance data attribution (C1, the headline case)

Author: officialCodeWork

TRACKER.md

@@ -5,8 +5,8 @@
 ## Status
 
 - **Current phase:** 2 — Instance graph & cross-file data flow
-- **Next step:** 2.2 — Prop-flow: data attribution per instance
-- **Done:** 0.1–0.4, 1.1–1.6, 2.1
+- **Next step:** 2.3 — Handler resolution through props
+- **Done:** 0.1–0.4, 1.1–1.6, 2.1, 2.2 (headline: per-instance attribution green)
 - **Gates passed:** Gate 0 (CI + red-path, PRs #5/#6) · Gate 1 (precision 1.000 ≥ 0.90, recall 0.895 ≥ 0.80 across C2/C3/C5/A2/A7/A8/D4, zero forbidden hits)
 
 ## What CodeRadar is
@@ -148,7 +148,7 @@ The heart of the project. C1 and B1 live here.
 - Design-system components (imported from `node_modules` or a configured `designSystemPackages` list): instances are still created, flagged `external-definition` — the instance is ours even when the definition isn't.
 **Accept:** fixture `a5-design-system` green (match resolves to the usage site); instance counts asserted in c1 golden; barrel-file resolution unit-tested.
 
-### [ ] 2.2 Prop-flow: data attribution per instance
+### [x] 2.2 Prop-flow: data attribution per instance
 **Failure modes:** C1 (the headline)
 **Build:**
 - For each instance, connect prop values to their origins in the parent scope: identifier props trace back through variable declarations to hook results / fetch results / store reads within the parent.

eval/fixtures/c1-prop-variants/app/HookPage.tsx

@@ -0,0 +1,13 @@
+import { useMembers } from "./hooks/useMembers";
+import { Table } from "./Table";
+
+export function HookPage() {
+  const { members } = useMembers();
+
+  return (
+    <main>
+      <h1>Member rows</h1>
+      <Table rows={members} />
+    </main>
+  );
+}

eval/fixtures/c1-prop-variants/app/QueryPage.tsx

@@ -0,0 +1,15 @@
+import { useQuery } from "@tanstack/react-query";
+
+import { fetchBilling } from "./api/billing";
+import { Table } from "./Table";
+
+export function QueryPage() {
+  const { data } = useQuery({ queryKey: ["billing"], queryFn: fetchBilling });
+
+  return (
+    <main>
+      <h1>Billing rows</h1>
+      <Table rows={data ?? []} />
+    </main>
+  );
+}

eval/fixtures/c1-prop-variants/app/Table.tsx

@@ -0,0 +1,10 @@
+export function Table({ rows }: { rows: string[] }) {
+  if (rows.length === 0) return <p>Nothing to show</p>;
+  return (
+    <ul>
+      {rows.map((r) => (
+        <li key={r}>{r}</li>
+      ))}
+    </ul>
+  );
+}

eval/fixtures/c1-prop-variants/app/api/billing.ts

@@ -0,0 +1,4 @@
+export async function fetchBilling() {
+  const res = await fetch("/api/billing");
+  return res.json();
+}

eval/fixtures/c1-prop-variants/app/hooks/useMembers.ts

@@ -0,0 +1,11 @@
+import { useEffect, useState } from "react";
+
+export function useMembers() {
+  const [members, setMembers] = useState<string[]>([]);
+  useEffect(() => {
+    fetch("/api/members")
+      .then((res) => res.json())
+      .then(setMembers);
+  }, []);
+  return { members };
+}

eval/fixtures/c1-prop-variants/golden.json

@@ -0,0 +1,37 @@
+{
+  "failureMode": "C1",
+  "note": "Prop-origin variants beyond the useState/useEffect pattern: a react-query result prop (with ?? [] derivation) and a custom-hook result prop. The same Table component must carry a different API per page.",
+  "expect": {
+    "components": [{ "name": "Table", "instances": 2 }],
+    "attributions": [
+      {
+        "component": "Table",
+        "instanceAt": "QueryPage.tsx",
+        "endpoints": ["/api/billing"]
+      },
+      {
+        "component": "Table",
+        "instanceAt": "HookPage.tsx",
+        "endpoints": ["/api/members"]
+      }
+    ],
+    "forbidden": [
+      {
+        "component": "Table",
+        "instanceAt": "QueryPage.tsx",
+        "endpoint": "/api/members",
+        "note": "poison: hook-page API attributed to the query-page table"
+      },
+      {
+        "component": "Table",
+        "instanceAt": "HookPage.tsx",
+        "endpoint": "/api/billing",
+        "note": "poison: query-page API attributed to the hook-page table"
+      }
+    ],
+    "queries": [
+      { "terms": ["Billing rows"], "status": "ok", "top": "QueryPage" },
+      { "terms": ["Member rows"], "status": "ok", "top": "HookPage" }
+    ]
+  }
+}

eval/fixtures/c1-shared-datatable/golden.json

@@ -11,14 +11,12 @@
       {
         "component": "DataTable",
         "instanceAt": "pages/UsersPage.tsx",
-        "endpoints": ["/api/users"],
-        "expectedFail": "phase-2: per-instance attribution requires prop-flow (step 2.2)"
+        "endpoints": ["/api/users"]
       },
       {
         "component": "DataTable",
         "instanceAt": "pages/InvoicesPage.tsx",
-        "endpoints": ["/api/invoices"],
-        "expectedFail": "phase-2: per-instance attribution requires prop-flow (step 2.2)"
+        "endpoints": ["/api/invoices"]
       },
       {
         "component": "UsersPage",

eval/history.jsonl

@@ -6,3 +6,4 @@
 {"generatedAt":"2026-07-13T10:09:02.527Z","commitSha":"4b4fd9e72204c47fa8ad523ff9b68fee41fc3a26","pass":77,"fail":0,"xfail":2,"unexpectedPass":0,"lineagePrecision":1,"lineageRecall":0.889,"matchAccuracy":1}
 {"generatedAt":"2026-07-13T11:04:05.130Z","commitSha":"d13b90dd99c993889f57218997984e3e2e601cfd","pass":91,"fail":0,"xfail":2,"unexpectedPass":0,"lineagePrecision":1,"lineageRecall":0.895,"matchAccuracy":1}
 {"generatedAt":"2026-07-13T11:10:56.348Z","commitSha":"b628c816231c4896f030ebc68a6621d0963d183c","pass":99,"fail":0,"xfail":2,"unexpectedPass":0,"lineagePrecision":1,"lineageRecall":0.895,"matchAccuracy":1}
+{"generatedAt":"2026-07-13T11:16:56.457Z","commitSha":"ce7a3bcbf95481114cd60ef62f8e840874ef7453","pass":108,"fail":0,"xfail":0,"unexpectedPass":0,"lineagePrecision":1,"lineageRecall":1,"matchAccuracy":1}

eval/thresholds.json

@@ -2,6 +2,6 @@
   "maxFail": 0,
   "maxUnexpectedPass": 0,
   "minMatchAccuracy": 1,
-  "minLineagePrecision": 0.9,
-  "minLineageRecall": 0.88
+  "minLineagePrecision": 0.95,
+  "minLineageRecall": 0.95
 }