@voxgig/sdkgen 4.9.0 → 4.11.0

package/project/.sdk/tm/dart/test/vendor/omni/util.dart

@@ -1,232 +0,0 @@
-// VENDORED: @voxgig/omni sdk-20260907-0029-0 (dart/lib/util.dart)
-// Source: https://github.com/voxgig/omni @ 274708cc2d12b21707d975543953f845f8444be0  [tag: sdk-20260907-0029-0]
-// License: MIT (c) voxgig - see repository LICENSE. Do not edit: resync from upstream.
-// Omni internal JSON utilities.
-//
-// Self-contained by design: the omni runner must be able to test *any*
-// library, including libraries that provide these same operations.
-
-const String NULLMARK = '__NULL__'; // Value is JSON null.
-const String UNDEFMARK = '__UNDEF__'; // Value is not present.
-const String EXISTSMARK = '__EXISTS__'; // Value exists (not undefined).
-
-/// Absence, as distinct from a JSON null. Dart has only `null`.
-class Absent {
-  const Absent._();
-
-  static const Absent mark = Absent._();
-
-  @override
-  String toString() => 'ABSENT';
-}
-
-const Absent ABSENT = Absent.mark;
-
-/// A map (JSON object)?
-bool ismap(dynamic val) => val is Map;
-
-/// A list (JSON array)?
-bool islist(dynamic val) => val is List;
-
-/// A container (map or list)?
-bool isnode(dynamic val) => ismap(val) || islist(val);
-
-/// Absent (no value at all)?
-bool isabsent(dynamic val) => val is Absent;
-
-/// A JSON number? Booleans are not numbers.
-bool isnum(dynamic val) => val is num && val is! bool;
-
-/// Deep copy a JSON value.
-dynamic clone(dynamic val) {
-  if (val is List) {
-    return val.map<dynamic>(clone).toList();
-  }
-
-  if (val is Map) {
-    final out = <String, dynamic>{};
-    val.forEach((key, subval) => out['$key'] = clone(subval));
-    return out;
-  }
-
-  return val;
-}
-
-/// Read a value by path. Returns ABSENT when any step is missing.
-dynamic getpath(dynamic val, List<String> path) {
-  dynamic current = val;
-
-  for (final part in path) {
-    if (current is List) {
-      final index = int.tryParse(part);
-      if (null == index || 0 > index || index >= current.length) {
-        return ABSENT;
-      }
-      current = current[index];
-      continue;
-    }
-
-    if (current is Map) {
-      if (!current.containsKey(part)) {
-        return ABSENT;
-      }
-      current = current[part];
-      continue;
-    }
-
-    return ABSENT;
-  }
-
-  return current;
-}
-
-/// Depth-first walk: children first, then the containing node.
-dynamic walk(dynamic val, dynamic Function(dynamic, List<String>) apply,
-    [List<String> path = const []]) {
-  if (val is List) {
-    for (var index = 0; index < val.length; index++) {
-      val[index] = walk(val[index], apply, [...path, '$index']);
-    }
-  } else if (val is Map) {
-    for (final key in val.keys.toList()) {
-      val[key] = walk(val[key], apply, [...path, '$key']);
-    }
-  }
-
-  return apply(val, path);
-}
-
-/// Deep structural equality: numbers by value, bools never numbers.
-bool deepequal(dynamic a, dynamic b) {
-  if (identical(a, b)) {
-    return true;
-  }
-
-  if (a is bool || b is bool) {
-    return a is bool && b is bool && a == b;
-  }
-
-  if (isnum(a) || isnum(b)) {
-    if (!isnum(a) || !isnum(b)) {
-      return false;
-    }
-    final anum = (a as num).toDouble();
-    final bnum = (b as num).toDouble();
-    return anum == bnum || (anum.isNaN && bnum.isNaN);
-  }
-
-  if (isabsent(a) || isabsent(b)) {
-    return isabsent(a) && isabsent(b);
-  }
-
-  if (null == a || null == b) {
-    return null == a && null == b;
-  }
-
-  if (a is List || b is List) {
-    if (a is! List || b is! List || a.length != b.length) {
-      return false;
-    }
-    for (var index = 0; index < a.length; index++) {
-      if (!deepequal(a[index], b[index])) {
-        return false;
-      }
-    }
-    return true;
-  }
-
-  if (a is Map || b is Map) {
-    if (a is! Map || b is! Map || a.length != b.length) {
-      return false;
-    }
-    for (final key in a.keys) {
-      if (!b.containsKey(key) || !deepequal(a[key], b[key])) {
-        return false;
-      }
-    }
-    return true;
-  }
-
-  return a == b;
-}
-
-/// Render a number the same way in every port: 5.0 prints as 5.
-String numstr(num val) {
-  final asdouble = val.toDouble();
-
-  if (asdouble.isNaN || asdouble.isInfinite) {
-    return 'null';
-  }
-
-  if (asdouble == asdouble.truncateToDouble() && asdouble.abs() < 9007199254740992.0) {
-    return asdouble.toInt().toString();
-  }
-
-  return asdouble.toString();
-}
-
-/// Render a string as a JSON string literal.
-String quote(String val) {
-  final out = StringBuffer('"');
-
-  for (final ch in val.runes) {
-    if (0x22 == ch) {
-      out.write('\\"');
-    } else if (0x5C == ch) {
-      out.write('\\\\');
-    } else if (0x0A == ch) {
-      out.write('\\n');
-    } else if (0x0D == ch) {
-      out.write('\\r');
-    } else if (0x09 == ch) {
-      out.write('\\t');
-    } else if (0x20 > ch) {
-      out.write('\\u${ch.toRadixString(16).padLeft(4, '0')}');
-    } else {
-      out.writeCharCode(ch);
-    }
-  }
-
-  out.write('"');
-  return out.toString();
-}
-
-/// Compact JSON text with map keys sorted, identical in every port.
-String jsonstr(dynamic val) {
-  if (isabsent(val)) {
-    return 'undefined';
-  }
-
-  if (null == val) {
-    return 'null';
-  }
-
-  if (val is bool) {
-    return val ? 'true' : 'false';
-  }
-
-  if (val is String) {
-    return quote(val);
-  }
-
-  if (isnum(val)) {
-    return numstr(val as num);
-  }
-
-  if (val is List) {
-    return '[${val.map<String>(jsonstr).join(',')}]';
-  }
-
-  if (val is Map) {
-    final keys = val.keys.map((key) => '$key').toList()..sort();
-    return '{${keys.map((key) => '${quote(key)}:${jsonstr(val[key])}').join(',')}}';
-  }
-
-  return quote('$val');
-}
-
-/// Strings verbatim, everything else as compact JSON.
-String stringify(dynamic val) => val is String ? val : jsonstr(val);
-
-/// Render a path as a dotted string.
-String pathify(List<String> path) => path.join('.');

package/project/.sdk/tm/lean/LICENSE

@@ -1,21 +0,0 @@
-MIT License
-
-Copyright (c) 2025 voxgig
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in all
-copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-SOFTWARE.

package/project/.sdk/tm/lean/Makefile

@@ -1,32 +0,0 @@
-.PHONY: test build lint clean corpus smoke
-
-# Build every lean_lib and lean_exe declared in lakefile.toml.
-build:
-	lake build
-
-# Run the five generated test executables. `omnismoke` proves the VENDORED
-# @voxgig/omni engine itself is alive (and can still FAIL), `runner` drives
-# the SDK pipeline and the generated entity/direct tests, `feature` the
-# feature suite, `primary` the shared primary-utility corpus, and
-# `structcorpus` the vendored voxgig/struct corpus. Any one exiting non-zero
-# fails the target. The smoke test runs FIRST: a corpus suite that went green
-# on a broken engine would prove nothing.
-test:
-	lake exe omnismoke
-	lake exe runner
-	lake exe feature
-	lake exe primary
-	lake exe structcorpus
-
-corpus:
-	lake exe structcorpus
-
-smoke:
-	lake exe omnismoke
-
-# "Lint": a clean build means the code type-checks.
-lint:
-	lake build
-
-clean:
-	rm -rf .lake

package/project/.sdk/tm/lean/VERSION

@@ -1 +0,0 @@
-PROJECTVERSION

package/project/.sdk/tm/lean/src/SdkFeature.lean

@@ -1,171 +0,0 @@
-/- ProjectName SDK feature catalog.
-
-   A feature observes and modifies the operation pipeline in two ways:
-
-   - by WRAPPING THE TRANSPORT: `init` replaces the client's fetcher with one
-     that calls the previous fetcher (retry, timeout, ratelimit, cache, proxy,
-     netsim, test all do this), so features compose as a middleware chain in
-     add order;
-   - by HANDLING A HOOK: a pipeline stage (PrePoint, PreSpec, PreRequest,
-     PreResponse, PreResult, PreDone, PreUnexpected) dispatched to every active
-     feature.
-
-   Lean cannot put closures inside the struct `Value` model, so features and
-   fetchers live in module-level registries and the client `Value` carries their
-   indices. Timing uses the monotonic clock; where the donors use randomness we
-   use a deterministic counter, which keeps generated suites reproducible. -/
-
-import VoxgigStruct
-import SdkJson
-import SdkUtility
-
-open VoxgigStruct
-
-namespace SdkFeature
-
-/-- Transport: ctx -> url -> fetchdef -> (response, error). -/
-abbrev Fetcher := Value → String → Value → SIO (Value × Option Value)
-
-structure Feature where
-  name : String
-  version : String := "0.0.1"
-  /-- init ctx options -/
-  init : Value → Value → SIO Unit := fun _ _ => pure ()
-  /-- hook stage ctx -/
-  hook : String → Value → SIO Unit := fun _ _ => pure ()
-
-initialize featureReg : IO.Ref (Array Feature) ← IO.mkRef #[]
-initialize fetcherReg : IO.Ref (Array Fetcher) ← IO.mkRef #[]
-initialize seqRef : IO.Ref Nat ← IO.mkRef 0
-
-def nextSeq : SIO Nat := do seqRef.modifyGet fun n => (n + 1, n + 1)
-
-def nowMs : SIO Float := do pure (← IO.monoMsNow).toFloat
-
-def sleepMs (ms : Float) : SIO Unit := do
-  if ms > 0.0 then IO.sleep (ms.toUInt32) else pure ()
-
-/-- Deterministic id (no RNG: reproducible suites). -/
-def genId : SIO String := do pure ("k" ++ toString (← nextSeq))
-
--- ---------------------------------------------------------------------------
--- option readers
--- ---------------------------------------------------------------------------
-
-def optActive (opts : Value) : SIO Bool := do
-  match (← SdkUtility.gp opts "active") with
-  | .bool b => pure b
-  | _ => pure false
-
-def optNum (opts : Value) (k : String) (d : Float) : SIO Float := do
-  match (← SdkUtility.gp opts k) with
-  | .num n => pure n
-  | _ => pure d
-
-def optInt (opts : Value) (k : String) (d : Int) : SIO Int := do
-  match (← SdkUtility.gp opts k) with
-  | .num n => pure (fToInt n)
-  | _ => pure d
-
-def optStr (opts : Value) (k d : String) : SIO String := do
-  let s ← SdkUtility.gpS opts k
-  pure (if s == "" then d else s)
-
-def optStrList (opts : Value) (k : String) (d : Array String) : SIO (Array String) := do
-  match (← SdkUtility.gp opts k) with
-  | .list i => do
-    let its ← listItems i
-    pure (its.map SdkUtility.vs)
-  | _ => pure d
-
-/-- The feature's own options map (the client passes `{active, ...}`). -/
-def toOptsMap (opts : Value) : SIO Value := do
-  match opts with
-  | .map i => pure (.map i)
-  | _ => emptyMap
-
-def upper (s : String) : String := s.toUpper
-def lower (s : String) : String := s.toLower
-
-/-- Case-insensitive header lookup. -/
-def headerCI (headers : Value) (name : String) : SIO Value := do
-  match headers with
-  | .map i => do
-    let want := lower name
-    for k in (← keysof (.map i)) do
-      if lower k == want then return (← SdkUtility.gp (.map i) k)
-    pure .noval
-  | _ => pure .noval
-
--- ---------------------------------------------------------------------------
--- client wiring: fetcher chain + tracking buckets
--- ---------------------------------------------------------------------------
-
-def registerFetcher (f : Fetcher) : SIO Nat := do
-  fetcherReg.modifyGet fun a => (a.size, a.push f)
-
-def getFetcher (client : Value) : SIO Fetcher := do
-  match (← SdkUtility.gp client "fetcher") with
-  | .num n => do
-    let reg ← fetcherReg.get
-    pure (reg[fToInt n |>.toNat]!)
-  | _ => pure (fun _ _ _ => do pure (.noval, none))
-
-def setFetcher (client : Value) (f : Fetcher) : SIO Unit := do
-  let id ← registerFetcher f
-  SdkUtility.sp client "fetcher" (.num id.toFloat)
-
-/-- The client of a ctx. -/
-def clientOf (ctx : Value) : SIO Value := do SdkUtility.gp ctx "client"
-
-/-- A named metrics bucket on the client's `track` map. -/
-def trackBucket (client : Value) (name : String) (mk : SIO Value) : SIO Value := do
-  let track ← SdkUtility.gpMap client "track"
-  match (← SdkUtility.gp track name) with
-  | .map i => pure (.map i)
-  | _ => do
-    let b ← mk
-    SdkUtility.sp track name b
-    pure b
-
-def bumpNum (bucket : Value) (k : String) (n : Float) : SIO Unit := do
-  let cur ← SdkUtility.gp bucket k
-  let v := (match cur with | .num x => x | _ => 0.0) + n
-  SdkUtility.sp bucket k (.num v)
-
-def trackCtx (ctx : Value) (name : String) (mk : SIO Value) : SIO Value := do
-  trackBucket (← clientOf ctx) name mk
-
--- ---------------------------------------------------------------------------
--- feature registry / dispatch
--- ---------------------------------------------------------------------------
-
-def registerFeature (f : Feature) : SIO Nat := do
-  featureReg.modifyGet fun a => (a.size, a.push f)
-
-def clientFeatures (client : Value) : SIO (Array (Nat × Feature)) := do
-  let reg ← featureReg.get
-  let mut out : Array (Nat × Feature) := #[]
-  match (← SdkUtility.gp client "features") with
-  | .list i =>
-    for fv in (← listItems i) do
-      match fv with
-      | .num n => do
-        let idx := fToInt n |>.toNat
-        if h : idx < reg.size then out := out.push (idx, reg[idx])
-      | _ => pure ()
-  | _ => pure ()
-  pure out
-
-/-- Is the named feature active on this client? -/
-def isActive (client : Value) (name : String) : SIO Bool := do
-  let fo ← SdkUtility.gp (← SdkUtility.gp client "featureopts") name
-  optActive fo
-
-/-- Dispatch a pipeline stage to every active feature. -/
-def dispatch (client : Value) (stage : String) (ctx : Value) : SIO Unit := do
-  for (_, f) in (← clientFeatures client) do
-    if (← isActive client f.name) then
-      f.hook stage ctx
-
-end SdkFeature