@techierathore/techieflow 1.2.0 → 1.2.1

package/.tfcore/hooks/guard-db.sh

@@ -43,8 +43,8 @@ if not isinstance(cmd, str) or not cmd.strip():
 WRITE_VERBS = r"\b(insert|update|delete|create|alter|drop|truncate|grant|revoke|replace|merge|upsert)\b"
 CLIENTS = r"\b(psql|pgcli|sqlite3|mysql|mariadb|sqlcmd|mongosh|mongo)\b"
 MIGRATORS = (r"\bdotnet\s+ef\s+database\s+(update|drop)\b"
-             r"|\bdotnet\s+run\b[^|;&]*--project\s+\S*(db|migration|migrations)\b"
-             r"|\bdbup\b|\bflyway\s+(migrate|clean|undo)\b|\bliquibase\s+(update|rollback|drop-all)\b"
+             r"|\bdotnet\s+run\b[^|;&]*--project\s+\S*(db|dbup|migration|migrations)\b"
+             r"|\bflyway\s+(migrate|clean|undo)\b|\bliquibase\s+(update|rollback|drop-all)\b"
              r"|\balembic\s+(upgrade|downgrade)\b|\bprisma\s+(migrate|db\s+push)\b|\bknex\s+migrate\b"
              r"|\brails\s+db:(migrate|reset|drop|schema:load)\b|\bsequelize\s+db:migrate\b|\bgoose\s+(up|down|reset)\b")
 DROP_DB = r"\b(dropdb|drop\s+database|mongo(sh)?\b[^|;&]*dropDatabase)\b"
@@ -75,6 +75,10 @@ def phase():
 SEG = (r"(?:^|[;&|(`\n]|\$\()\s*(?:sudo\s+(?:-\S+\s+)*)?(?:env\s+(?:\S+=\S*\s+)*)?"
        r"(?:[\w./\\-]*\bexec\s+(?:-\S+\s+)*\S+\s+)?")
 CLIENT_AT = SEG + r"(?:\S*/)?" + CLIENTS
+# DbUp is a library: it runs as the command word of a segment (`dbup upgrade`, `./App.DbUp.exe`,
+# `dotnet App.DbUp.dll`) or through `dotnet run --project …DbUp`. A bare word "dbup" anywhere blocked a
+# miss sentence naming DbUp and every grep for it (Chatur TF-014).
+MIGRATORS += r"|" + SEG + r"(?:dotnet\s+)?(?:\S*[/\\.])?dbup(?:-cli)?\b"
 INTERP = r"(?:python3?|py|node|deno|bun|ruby|perl|pwsh|powershell(?:\.exe)?|tsx|ts-node)"
 INTERP_AT = SEG + r"(?:\S*/)?" + INTERP + r"\b"
 DB_LIBS = (r"\bsqlite3\b|better-sqlite3|\bsql\.js\b|node:sqlite|\bpsycopg|\bpymysql\b|mysql\.connector|\bmysql2\b"
@@ -171,7 +175,14 @@ if direct_write or re.search(DROP_DB, low):
           "is fine. Owner rule 2026-09-05.", file=sys.stderr)
     sys.exit(2)
 
-if re.search(MIGRATORS, low):
+# a quoted argument is a mention (a miss sentence, a search pattern), unless it is the code a shell runs
+# (`bash -c "…"`) or the project `dotnet run --project` builds (Chatur TF-014)
+def _mention(m):
+    keep = re.search(r"(?:\s-c|\s/c|\s-command|--project|-p)\s*=?\s*$", low[:m.start()])
+    return m.group(0) if keep else '""'
+
+
+if re.search(MIGRATORS, re.sub(r"\"(?:[^\"\\]|\\.)*\"|'[^']*'", _mention, low)):
     ph = phase()
     # triage-and-fix step 3 is fix-issues steps 2 to 5 under its own marker (AppManager TF-027)
     if ph in ("build-phase", "fix-issues", "triage-and-fix"):

package/.tfcore/utils/tf-build.sh

@@ -201,6 +201,31 @@ cross_side() { # side: clear what another side built with its own paths in it, t
   done
   [[ $cleared -eq 1 ]] && echo "note  the scoped stylesheets and static asset lists were built on the other side of this machine; cleared so the $1 build writes them itself"
 }
+# Lekhak TF-036: on WSL a target with no MAUI head starts on the WSL rungs. A test project inside a solution
+# that has a MAUI head is built Windows-side with that solution, and ~/.dotnet/dotnet then could not write
+# the obj/ Windows owns (MSB3491): tf-doc-tests.sh said NOT-RUN where `tf-build.sh test` on the solution
+# had just passed. Such a target starts on the side its solution builds on, the Windows side. Outside such
+# a solution, a target whose obj/ (or a referenced project's) was last built Windows-side starts there.
+# The record alone is not enough: a failed WSL attempt writes it before it fails.
+if [[ "$PLATFORM" == "wsl" && $maui -eq 0 && "$TARGET" == *.csproj ]]; then
+  won=""; tname="$(basename "$TARGET")"
+  for sln in *.slnx *.sln; do
+    [[ -f "$sln" ]] && grep -q "$tname" "$sln" || continue
+    while IFS= read -r p; do
+      [[ -f "$p" ]] && grep -qiE '<UseMaui>[[:space:]]*true|Microsoft\.NET\.Sdk\.Maui|net[0-9.]+-(android|ios|maccatalyst|windows10)' "$p" \
+        && { won="$sln has a MAUI head, so it builds on the Windows side"; break 2; }
+    done < <(grep -oE '"[^"]+\.csproj"|Path="[^"]+\.csproj"' "$sln" | sed 's/^Path=//' | tr -d '"' | tr '\\' '/')
+  done
+  if [[ -z "$won" ]]; then
+    for d in ${pdirs[@]+"${pdirs[@]}"}; do
+      [[ "$(cat "$d/obj/.tf-build-side" 2>/dev/null)" == windows ]] && { won="$d/obj was last built on the Windows side"; break; }
+    done
+  fi
+  if [[ -n "$won" ]]; then
+    rungs=("cmd.exe" "winrun" "powershell.exe" "dotnet" "$HOME/.dotnet/dotnet")
+    echo "note  $won; this $MODE starts there too (rungs: cmd.exe, winrun, powershell.exe, then the WSL ones)"
+  fi
+fi
 WRONG_RUNG='NETSDK1178|Microsoft\.(iOS|Android|MacCatalyst|tvOS)\.Sdk|Workload ID|not recognized|WindowsAppSDK|command not found|No such file or directory|is not recognized as an internal or external command|The term .* is not recognized|workload.*not installed|Inadequate permissions'
 
 # A Mac Catalyst build after Platforms/MacCatalyst/Info.plist (or an .entitlements file) changed: the

package/.tfcore/utils/tf-mockup-parity.mjs

@@ -246,7 +246,9 @@ const PROBE = (wanted = []) => {
     if (!c) return null;
     const { r, g, b } = c;
     const mx = Math.max(r, g, b), mn = Math.min(r, g, b);
-    if (mx - mn < 28) return 'neutral';
+    // a grey with a tint is still a grey: Sevak's dark nav text #a6adc5 (spread 31, saturation 21%) read as
+    // accent beside the app's near-white, once TF-007 had the mockup read settled and not mid-fade
+    if (mx - mn < 28 || (mx - mn) / (255 - Math.abs(mx + mn - 255)) < 0.25) return 'neutral';
     // By hue, never by one channel. "Red is highest, so green above 120 is a warning" put a deep
     // amber (180, 83, 9) in `negative` beside a light amber in `warning` — one warning tone on two
     // sides of the line, reported as a colour difference on TfLens /misses (TF-045).
@@ -662,7 +664,13 @@ const CLAUSES = {
     : m.token.fits && !a.token.fits
       ? `value cell is narrower than its longest unbreakable token ("${a.token.token}") — it breaks mid-token`
       : false),
+  // Sevak TF-010: a sample box the app draws is graded on being there with a size, nothing it says
+  size: (m, a) => (!m.in_sample ? null
+    : m.w > 0 && m.h > 0 && (!(a.w > 0) || !(a.h > 0)) ? `the mockup draws this sample box ${m.w}×${m.h}; the app draws it ${a.w ?? 0}×${a.h ?? 0}` : false),
 };
+// Sevak TF-010: inside a box the mockup marks data-tf-sample, what the sample says is the app's real data
+// ("Yes, it can run" against this PC's truthful "No"), so its colour, its text and its badge are not graded
+const SAMPLE_SKIP = new Set(['color', 'badge', 'wrap', 'token']);
 
 // Which clauses require having reached INSIDE a container rather than merely
 // touching its outer box. TF-011's `harness` screen graded three column CONTAINERS
@@ -800,8 +808,10 @@ function diff(mock, app, screen, width, skip = null) {
     return false;
   };
 
+  const sampleKeys = Object.keys(mock.index).filter((k) => mock.index[k].sample);
   for (const key of Object.keys(mock.index)) {
-    const m = mock.index[key];
+    const inSample = sampleKeys.some((k) => key === k || key.startsWith(k + ' > '));
+    const m = inSample ? { ...mock.index[key], in_sample: true } : mock.index[key];
     let a = app.index[key];
     let appKey = key;
 
@@ -829,6 +839,7 @@ function diff(mock, app, screen, width, skip = null) {
     // wrapper div and become the always-present finding TF-012 warns about — the
     // fastest way to train a reader to skim the whole report.
     if (!a) {
+      if (inSample && m.badge === true) continue;   // a sample badge reading otherwise in the app is its data (TF-010)
       const parentKey = key.includes(' > ') ? key.slice(0, key.lastIndexOf(' > ')) : null;
       const parentPaired = parentKey ? !!app.index[parentKey] : false;
       // an icon is missing only when the paired parent carries fewer icons than the mockup's
@@ -870,6 +881,7 @@ function diff(mock, app, screen, width, skip = null) {
     compared++;
     for (const [name, fn] of Object.entries(CLAUSES)) {
       if (skip && skip.has(name)) continue;     // a clause the mockup says nothing about in this theme (TF-024)
+      if (inSample && SAMPLE_SKIP.has(name)) continue;
       const r = fn(m, a);
       if (r === null) continue;
       clauseCoverage[name]++;

package/.tfcore/utils/tf-theme.mjs

@@ -72,11 +72,23 @@ const RESTORE = (before) => {
   }
 };
 
+const SETTLE_ANIMATIONS = () => {
+  let n = 0;
+  for (const a of document.getAnimations()) {   // getAnimations() flushes style, so a fade the change just started is in it
+    try { if (Number.isFinite(a.effect?.getComputedTiming().endTime)) { a.finish(); n++; } } catch (e) { /* not finishable */ }
+  }
+  return n;
+};
+
 // Draws the page in `want` and returns the function that puts it back.
 export async function useTheme(page, want, settle = 350) {
   await page.emulateMedia({ colorScheme: want }).catch(() => {});
   const before = await page.evaluate(FORCE, want).catch(() => null);
   if (settle) await page.waitForTimeout(settle);
+  // Sevak TF-007: a theme change starts the page's CSS fades (`transition: all .12s`), and the mockup,
+  // read with no settle, gave its light colour in dark mode. Every fade and finite animation is run to
+  // its end, so what is read is the colour the page settles on; a spinner (infinite) is left running.
+  await page.evaluate(SETTLE_ANIMATIONS).catch(() => {});
   return async () => {
     if (before) await page.evaluate(RESTORE, before).catch(() => {});
     await page.emulateMedia({ colorScheme: null }).catch(() => {});

package/.tfcore/utils/tf-verify-verdict.py

@@ -24,7 +24,8 @@ For each row, the seven checks in order, and the first that fails is the verdict
 Verdicts: PASS · FAIL (acceptance) · BUILD-FAIL · RENDER-FAIL · ASSET-FAIL · VISUAL-FAIL · MOCKUP-FAIL ·
 PERF-FAIL · NOT-TESTED (no test carried the id, or every test carrying it was skipped; the screen
 checks passed or did not run) ·
-NOT-OBSERVABLE (an NFR row with no budget and no unit test) · NOT-DRIVEN (its screen was never driven:
+NOT-OBSERVABLE (an NFR row with no budget and no unit test) · NOT-BUILT (a Not Started row whose only
+failing check is its route answering 404: it keeps Not Started and emits no miss, Chatur TF-013) · NOT-DRIVEN (its screen was never driven:
 the head could not be booted, or has no driver) · DEFECT-OPEN (every check passed, but the old Remarks
 carry a defect no verify can see, tf_defect.py: the row goes to Needs re-verify, and so to a fix, with
 the defect kept; AppManager TF-021). A row is Verified only on PASS. NOT-* rows keep their
@@ -174,8 +175,16 @@ def main(argv):
         # it. It is neither a pass nor a defect, so it grades exactly like a row with no test at
         # all — never Verified, no gate record (TF-022). `t` is kept for the note.
         skipped_only = bool(t) and t.get("result") == "NOT-TESTED"
+        # Sevak TF-009: a row whose unit tests passed while its on-app test was skipped (Sevak TF-004)
+        # was written "no unit test carrying its id"; the tests ran, they just do not count
+        unit_only = ""
+        if skipped_only and t.get("passed"):
+            why = re.sub(r"^on-app test skipped [(](.*)[)]; a unit test.*$", r"\1", t.get("reason") or "")
+            unit_only = f"{t['passed']} unit test(s) named {rid} passed but do not count while its on-app test was skipped" \
+                + (f": {why}" if why else "")
         if skipped_only:
-            notes.append(f"acceptance not measured ({len(t.get('skipped') or [])} test(s) skipped, none ran)")
+            if not unit_only:
+                notes.append(f"acceptance not measured ({len(t.get('skipped') or [])} test(s) skipped, none ran)")
             t = None
         # the OS zoom keys (coding-standards-dotnet.md §9b): a row whose acceptance carries "zoom-check: keys"
         # or "zoom-check: kept" is graded by tf-verify-zoom.sh --json-out zoom/<REQ>.json, which stands as its
@@ -201,6 +210,7 @@ def main(argv):
         if t:
             checks.append(("acceptance", True, t["result"] != "PASS", "FAIL", "assert-fail", quoted(t.get("reason")) or "test failed", t.get("screenshot") or ""))
         # 3 render
+        bad = []   # Chatur TF-015: an UNREACHABLE first screen left it unset for the Mac note below
         if scr:
             if scr.get("render") == "UNREACHABLE":
                 f = next((x for w in scr["widths"] for x in w.get("findings", [])), {})
@@ -280,12 +290,25 @@ def main(argv):
                     notes.append(f"perf not measured: {g['reason']}")
 
         ran = [c[0] for c in checks if c[1]]
-        first = next((c for c in checks if c[1] and c[2]), None)
+        failed = [c for c in checks if c[1] and c[2]]
+        first = failed[0] if failed else None
         verdict, cls, detail, evidence = (first[3], first[4], first[5], first[6]) if first else (None, None, "", "")
+        # Chatur TF-013: a Not Started row whose only failing check is its route answering 404 (the mockup
+        # comparison could not open it either, for the same reason) was never built; it is not a defect to
+        # re-verify, so it keeps Not Started and emits no miss
+        if verdict == "RENDER-FAIL" and all(re.search(r"HTTP 404\b", c[5] or "") for c in failed) \
+                and scr and scr.get("render") == "UNREACHABLE" \
+                and (r.get("status") or prior).strip("`* ").lower().startswith("not started") \
+                and all(re.search(r"answered HTTP 404\b", f.get("detail", "")) for w in scr["widths"] for f in w.get("findings", [])[:1]):
+            verdict, cls, evidence = "NOT-BUILT", None, ""
+            detail = f"{detail}: the screen is not built yet, nothing to re-verify"
 
         # the honest non-verdicts
         if verdict is None:
-            if r["class"] == "NFR" and not r.get("perf_budget") and not t:
+            if unit_only:
+                verdict = "NOT-TESTED"
+                detail = unit_only + (f"; screen {r['screen']} renders and looks right{nonames}" if driven else "")
+            elif r["class"] == "NFR" and not r.get("perf_budget") and not t:
                 verdict = "NOT-OBSERVABLE"
                 detail = "NFR row with no perf-budget and no unit test carrying its id"
             elif not t and r.get("screen") and not driven:
@@ -338,6 +361,7 @@ def main(argv):
         marks = {"FAIL": "⚠ acceptance", "BUILD-FAIL": "⚠ build", "RENDER-FAIL": "⚠ render", "ASSET-FAIL": "⚠ assets",
                  "VISUAL-FAIL": "⚠ visual", "MOCKUP-FAIL": "⚠ mockup-parity", "PERF-FAIL": "⚠ perf",
                  "NOT-TESTED": "not verified", "NOT-OBSERVABLE": "not observable", "NOT-DRIVEN": "not verified", "PASS": "PASS",
+                 "NOT-BUILT": "not built",
                  "DEFECT-OPEN": "checks pass, defect open"}
         remark = f"{today} verify: {marks[verdict]} — {detail}"
         if evidence:

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@techierathore/techieflow",
-  "version": "1.2.0",
+  "version": "1.2.1",
   "description": "TechieFlow: a spec-driven development framework for AI coding agents, for Claude Code and OpenCode. One command installs it into any project.",
   "license": "Apache-2.0",
   "repository": {