fix(gate): ubuntunote greens — os-agnostic e2e asserts, compat_members after build_cljw, size claim covers Linux

Smell-audited: 1: the 4 ubuntunote failures were all release-blocking
gate/test defects, no runtime code touched: two e2e asserts hardcoded
"Mac OS X"; compat_members ran BEFORE build_cljw and probed a stale
binary lacking __dump-host-classes (step moved after the build); the
campaign's size growth (mac +98.7KB, linux +~0.5MB — ADR-0172 revision
note) pushed Linux past the 7.1MB±10% claim — README now says ~7.5MB,
inside the gate band on both platforms.

Author: chaploud

.dev/decisions/0172_binary_size_budget_and_ledger.md

@@ -406,6 +406,17 @@ dispositions grounded, platform binding declared, peer number measured).
 
 ## Revision history
 
+- **2026-07-17 (ADR-0174 feature growth, conscious)**: the host-class
+  identity & member-surface campaign grew the binary macOS
+  6,974,584 → 7,073,240 B (+98.7 KB — Thread lifecycle worker + stdio
+  streams + Duration ISO parser + member tables) and Linux x86_64
+  ≈ 7.5 → 8.01 MB (+~0.5 MB; Linux codegen amplifies the same additions).
+  Legitimate F-013/F-014 growth, within the 8.8 MB ceiling on both.
+  README's claim moved 7.1 → "about 7.5 MB" so the ±10% `size_claims`
+  gate covers BOTH platforms (the Linux gate run compares the same
+  README number against its own binary — the 2026-07-17 ubuntunote
+  failure class). Linux at 8.01 MB is ~91% of ceiling — the next
+  size-relevant feature should re-measure Linux first.
 - **2026-07-16 (L2 complete + governance hardening)**: ADR-0173 C5′-b landed
   compressed `.clj` sources (7,384,984 → **7,073,080 B**; the ~450 KB
   startup gpa copy of raw text is also gone — `rt.source_resolver`

README.md

@@ -33,7 +33,7 @@ still use what other languages have already built.
 
 ## Features
 
-- **Small and quick to start** — one static binary of about 7.1 MB with the
+- **Small and quick to start** — one static binary of about 7.5 MB with the
   Wasm JIT engine included (for scale: babashka's native binary is ~71 MB;
   [measured comparison](docs/works/binary_size.md)), starting in ~5 ms, which
   suits short-lived, start-and-stop workloads (CLI tools, serverless, scripts).

test/e2e/phase14_host_class_identity.sh

@@ -71,7 +71,7 @@ assert_eq 'date_gettime'   "$(run '(.getTime (java.util.Date. 42))')" '42'
 assert_eq 'instant_millis' "$(run '(.toEpochMilli (java.time.Instant/ofEpochMilli 7))')" '7'
 
 # --- statics still dispatch (registry keys flipped with the fqcns) ---
-assert_eq 'system_getprop'  "$(run '(System/getProperty "os.name")' )" '"Mac OS X"'
+assert_eq 'system_getprop'  "$(run '(string? (System/getProperty "os.name"))' )" 'true'
 assert_eq 'thread_static'   "$(run '(pos? (System/currentTimeMillis))')" 'true'
 
 # --- Var shadowing still wins over class resolution ---

test/e2e/phase14_system_members.sh

@@ -28,7 +28,7 @@ EOF
 }
 
 # --- getProperties: map-shaped, carries the static set + overlay ---
-assert_eq 'getprops_osname' "$(run '(println (get (System/getProperties) "os.name"))')" 'Mac OS X'
+assert_eq 'getprops_osname' "$(run '(println (= (get (System/getProperties) "os.name") (System/getProperty "os.name")))')" 'true'
 assert_eq 'getprops_static' "$(run '(println (get (System/getProperties) "file.separator"))')" '/'
 assert_eq 'getprops_overlay' "$(run '(System/setProperty "cljw.test.k" "v1")
 (println (get (System/getProperties) "cljw.test.k"))')" 'v1'

test/run_all.sh

@@ -345,10 +345,6 @@ run_step "debt_id_refs"         "bash scripts/check_debt_id_refs.sh --gate"
 # cannot drift or accept-without-reason. Rule: accepted_divergences.md.
 run_step "accepted_divergences" "bash scripts/check_accepted_divergences.sh --gate"
 
-# Host-class member truth (ADR-0174 D9): compat_tiers.yaml per-class member
-# lists must match the registered descriptors (both directions) — the gate
-# that keeps the one-time refresh from re-rotting. Rule: F-013 clause 3.
-run_step "compat_members" "bash scripts/check_compat_members.sh"
 
 # Formatting gate — mirrors CI's ci_gate.sh step (1/2) so a non-canonical
 # file fails LOCALLY at smoke time, not 15 minutes later in CI (2026-07-02:
@@ -402,6 +398,12 @@ run_step "size_claims"          "bash scripts/binary_size_report.sh --check zig-
 run_step "lazy_ns_replay"      "bash scripts/check_lazy_ns_replay.sh"
 run_step "corpus_regression"   "bash scripts/check_corpus_regression.sh"
 
+# Host-class member truth (ADR-0174 D9): compat_tiers.yaml per-class member
+# lists must match the registered descriptors (both directions). Runs AFTER
+# build_cljw so the dump probes the FRESH binary — on a stale checkout the
+# pre-build zig-out binary lacks __dump-host-classes (the ubuntunote miss).
+run_step "compat_members" "bash scripts/check_compat_members.sh"
+
 run_step "e2e_phase2_exit"     "bash test/e2e/phase2_exit.sh"
 run_step "e2e_phase3_cli"      "bash test/e2e/phase3_cli.sh"
 run_step "e2e_phase3_exit"     "bash test/e2e/phase3_exit.sh"