mcpplibs
diff --git a/‎.github/workflows/ci.yml‎
Lines changed: 1 addition & 99 deletions b/‎.github/workflows/ci.yml‎
Lines changed: 1 addition & 99 deletions
@@ -32,7 +32,7 @@ on:
 env:
   MCPP_SOURCE_REF: ${{ github.event.inputs.mcpp_ref || vars.MCPP_SOURCE_REF }}
   MCPP_VERSION: 2026.8.26.2
-  XLINGS_VERSION: v2026.8.17.2
+  XLINGS_VERSION: v2026.8.27.1
   XLINGS_NON_INTERACTIVE: '1'
 
 jobs:
@@ -190,104 +190,6 @@ jobs:
                  grep kal_random syms.txt; exit 1; }
           echo "  ok  kal_random_fill is weak, kal_time_sleep is strong"
 
-      # ⭐⭐ ASKING WHETHER A STREAM IS A TERMINAL GETS THE RIGHT ANSWER.
-      #
-      # musl's `isatty' asks with TIOCGWINSZ; this port answered only TCGETS,
-      # so every `isatty' returned 0 — for a real terminal as readily as for a
-      # pipe. Nothing failed: `std::print' simply never took its terminal path,
-      # and a program deciding on colour or on line buffering decided wrongly
-      # and in silence.
-      #
-      # ⭐ THE CRITERION IS A RELATION, NOT A VALUE. `isatty` under a pipe and
-      # under a pseudo-terminal must DIFFER, and must differ the same way the
-      # system's own C library does. A test asserting "0 in a pipe" alone would
-      # have passed throughout the defect.
-      - name: Asking whether a stream is a terminal is answered, not refused
-        if: runner.os == 'Linux' && matrix.target == ''
-        run: |
-          d="$(mktemp -d)"; mkdir -p "$d/src"
-          cat > "$d/mcpp.toml" <<TOML
-          [package]
-          name    = "isattyprobe"
-          version = "0.1.0"
-
-          [dependencies]
-          openkal-musl = { path = "$PWD" }
-
-          [targets.isattyprobe]
-          kind = "bin"
-          main = "src/main.c"
-
-          [build]
-          cxx_runtime = "host-coupled"
-          TOML
-          sed -i 's/^          //' "$d/mcpp.toml"
-          printf '#include <unistd.h>\n#include <stdio.h>\nint main(void){ printf("%%d\\n", isatty(1)); return 0; }\n' > "$d/src/main.c"
-          ( cd "$d" && "$MCPP" build --toolchain '${{ matrix.toolchain }}' )
-          bin="$(find "$d/target" -name isattyprobe -type f | head -1)"
-          test -n "$bin" || { echo "::error::the probe did not build"; exit 1; }
-
-          # The control: the system's own C library, through the same harness.
-          # Without it a `script` that fails to allocate a pty would make the
-          # port look broken.
-          printf '#include <unistd.h>\n#include <stdio.h>\nint main(void){ printf("%%d\\n", isatty(1)); return 0; }\n' > "$d/ctrl.c"
-          cc "$d/ctrl.c" -o "$d/ctrl"
-          ctrl_pipe="$("$d/ctrl" | cat | tr -d '\r')"
-          ctrl_tty="$(script -qec "$d/ctrl" /dev/null | tr -d '\r' | head -1)"
-          [ "$ctrl_pipe" = 0 ] && [ "$ctrl_tty" = 1 ] \
-            || { echo "::error::the harness cannot tell a pty from a pipe (control gave $ctrl_pipe/$ctrl_tty) — this check would prove nothing"
-                 exit 1; }
-
-          port_pipe="$("$bin" | cat | tr -d '\r')"
-          port_tty="$(script -qec "$bin" /dev/null | tr -d '\r' | head -1)"
-          echo "  control: pipe=$ctrl_pipe tty=$ctrl_tty    port: pipe=$port_pipe tty=$port_tty"
-          [ "$port_pipe" = "$ctrl_pipe" ] && [ "$port_tty" = "$ctrl_tty" ] \
-            || { echo "::error::isatty over this port disagrees with the system's own C library"; exit 1; }
-          echo "  ok  isatty answers the same as the system's own C library"
-
-      # ⭐⭐ THE INTERNAL OVERLAY STOPS AT THIS PACKAGE'S BOUNDARY.
-      #
-      # musl reaches its own declarations through `src/include`, whose headers
-      # define `hidden`, `weak` and `weak_alias` — names that mean something
-      # only to musl's own sources. This package publishes the path it is built
-      # from, so every consumer used to see them too, and which consumer broke
-      # on which name was found one at a time (openkal-musl#13).
-      #
-      # `[build] private_include_dirs` (mcpp 2026.8.27.1) says which entries of
-      # `include_dirs` stop here. This asserts the DIRECTORY is absent from a
-      # consumer's command line — not that one macro no longer collides, which
-      # would go green again the moment the package patched that macro while
-      # the leak stayed.
-      - name: What this package is built from is not what it publishes
-        working-directory: examples/cross-hello
-        run: |
-          extra=''
-          [ -n '${{ matrix.target }}' ] && extra='--target ${{ matrix.target }}'
-          "$MCPP" build --toolchain '${{ matrix.toolchain }}' $extra
-          test -s compile_commands.json \
-            || { echo "::error::no compile_commands.json — nothing to check"; exit 1; }
-
-          # ⚠️ A DENOMINATOR. With no consumer row the greps below are
-          # vacuously true, which is the false green this check must not have.
-          rows="$(grep -c '"file"' compile_commands.json || true)"
-          [ "${rows:-0}" -ge 1 ] \
-            || { echo "::error::compile_commands.json has no rows"; exit 1; }
-
-          bad=0
-          for d in musl/src/include musl/src/internal musl-generated/internal; do
-            if grep -q -- "$d" compile_commands.json; then
-              echo "::error::the internal overlay '$d' reached a consumer"
-              bad=1
-            fi
-          done
-          # The control: a PUBLIC directory must still be there, or this check
-          # would pass for a build that published nothing at all.
-          grep -q -- 'port/include' compile_commands.json \
-            || { echo "::error::no public include directory reached the consumer — the check above proves nothing"
-                 exit 1; }
-          [ "$bad" = 0 ] || exit 1
-          echo "  ok  the internal overlay stops here; the public headers do not"
-
       # A program above this package names one package. It does not name
       # openkal, it does not name an implementation, and it says nothing about
       # the platform.