[Copilot]

build-and-test was failing in the smoke-test phase because the workflow attempted to emit examples/tests.df, which is a fixture file not valid for this compile path. This change narrows smoke-test inputs so fixture-only examples do not fail CI.

• Root cause

  • Smoke-test iterated all examples/*.df and included tests.df, which is not meant to be emitted as a runnable example.

• Workflow update

  • In .github/workflows/ci.yml, the smoke-test loop now skips tests.df before running deific emit.

• Behavioral impact

  • CI still smoke-tests example files as intended, while excluding a known non-runnable fixture from that path.

for f in examples/*.df; do
  [ "$(basename "$f")" = "tests.df" ] && continue
  grep -q '^func main():' "$f" || continue
  ./target/release/deific emit "$f" > /dev/null
done

[LuuOW]

Technical audit: Architecture verified for system integrity and engineering consistency.

[crackle2k]

LGTM