@salang/sa 0.1.2 → 0.1.4

package/sa_std/time.sai

@@ -0,0 +1,37 @@
+// SA-facing contracts for monotonic, system, and UTC time helpers.
+// Time values are exposed as raw integers; the UTC calendar helper writes into SaTimeDate.
+@extern sa_time_instant_ns() -> u64
+@extern sa_time_unix_s() -> i64
+@extern sa_time_unix_ms() -> i64
+@extern sa_time_unix_ns() -> i64
+// Runtime returns plain i32 status (not Fallible {status,value}); match that ABI.
+@extern sa_time_utc_now(&out: ptr) -> i32
+@extern sa_time_sleep_ns(ns: u64) -> i32
+@extern sa_time_sleep_ms(ms: u64) -> i32
+// JS Date.toISOString shape for an i64 unix-millis value (UTC, millis
+// precision, fresh buffer handle read back via sa_fmt_buffer_data/len).
+@extern sa_time_iso_from_unix_ms(ms: i64) -> u64
+// Strict-ISO Date.parse: `YYYY-MM-DD`, optional `THH:MM:SS[.sss]`,
+// optional `Z`/`±HH:MM` (date-only means UTC midnight, like JS).
+// Returns plain i32 status (0 ok, 1 invalid); anything else
+// (RFC2822, 2-digit years, words) is out of the subset.
+@extern sa_time_parse_iso(&iso: ptr, len: u64, &out_ms: ptr) -> i32
+// Date getters over i64 unix millis (UTC; JS month 0-based, Sunday 0).
+@extern sa_time_get_full_year(ms: i64) -> i64
+@extern sa_time_get_month(ms: i64) -> i64
+@extern sa_time_get_date(ms: i64) -> i64
+@extern sa_time_get_hours(ms: i64) -> i64
+@extern sa_time_get_minutes(ms: i64) -> i64
+@extern sa_time_get_seconds(ms: i64) -> i64
+@extern sa_time_get_milliseconds(ms: i64) -> i64
+@extern sa_time_get_day(ms: i64) -> i64
+// Date setters over i64 unix millis (field 0..6 = FullYear..Milliseconds,
+// month 0-based in). Out-of-range components roll over like JS (month 13
+// -> next January, date 0 -> last of previous month, hours 25 -> +1 day).
+// Returns the new millis; unknown field ids return the input unchanged.
+@extern sa_time_set_field(ms: i64, field: u64, value: i64) -> i64
+// Fixed UTC string forms (fmt 0..3 = toString/toDateString/toTimeString/
+// toUTCString); byte-exact with Node under UTC (including the
+// "(Coordinated Universal Time)" suffix). Unknown fmt yields an empty
+// handle (frontends only send 0..3 via fixed table extras).
+@extern sa_time_format_utc(ms: i64, fmt: u64) -> u64

package/sa_std/time.sal

@@ -0,0 +1,35 @@
+#def Time_NS_PER_US = 1000
+#def Time_NS_PER_MS = 1000000
+#def Time_NS_PER_S  = 1000000000
+#def Time_MS_PER_S  = 1000
+#def Time_S_PER_MIN = 60
+#def Time_S_PER_HOUR = 3600
+#def Time_S_PER_DAY = 86400
+#def Time_S_PER_WEEK = 604800
+#def TimeDate_SIZE = 32
+#def TimeDate_unix_ms = +0
+#def TimeDate_unix_ns = +8
+#def TimeDate_year = +16
+#def TimeDate_month = +18
+#def TimeDate_day = +19
+#def TimeDate_hour = +20
+#def TimeDate_minute = +21
+#def TimeDate_second = +22
+#def TimeDate_millisecond = +24
+
+#def Duration_SIZE = 8
+#def Duration_nanos = +0
+#def DURATION_ZERO = 0
+#def DURATION_MIN = 0
+#def DURATION_MAX = 18446744073709551615
+
+#def Instant_SIZE = 8
+#def Instant_nanos = +0
+
+#def SystemTime_SIZE = 8
+#def SystemTime_nanos = +0
+#def SYSTEM_TIME_UNIX_EPOCH = 0
+
+#def SystemTimeError_SIZE = 8
+#def SystemTimeError_ALIGN = 8
+#def SystemTimeError_duration = +0

package/sa_std/time.sla

@@ -0,0 +1,67 @@
+@import "sa_std/time.sa"
+@import "sa_std/core/result.sa"
+
+struct Duration {
+    ns: u64,
+}
+
+impl Duration {
+    fn from_millis(ms: u64) -> Duration {
+        let ns: u64 = TIME_DURATION_FROM_MILLIS(ms);
+        return Duration { ns: ns };
+    }
+
+    fn as_millis(self) -> u64 {
+        let ms: u64 = TIME_DURATION_AS_MILLIS(self.ns);
+        return ms;
+    }
+}
+
+struct Instant {
+    ns: u64,
+}
+
+impl Instant {
+    fn now() -> Instant {
+        let ns: u64 = TIME_NOW_NS();
+        return Instant { ns: ns };
+    }
+
+    fn from_raw_ns(ns: u64) -> Instant {
+        return Instant { ns: ns };
+    }
+
+    fn raw_ns(self) -> u64 {
+        return self.ns;
+    }
+
+    fn elapsed(self) -> Duration {
+        let ns: u64 = TIME_INSTANT_ELAPSED(self.ns);
+        return Duration { ns: ns };
+    }
+}
+
+struct SystemTime {
+    ms: u64,
+}
+
+impl SystemTime {
+    fn now() -> SystemTime {
+        let ms: u64 = TIME_NOW_UNIX_MS();
+        return SystemTime { ms: ms };
+    }
+
+    fn unix_epoch() -> SystemTime {
+        return SystemTime { ms: 0 };
+    }
+
+    fn duration_since(self, earlier: SystemTime) -> Result<Duration, i32> {
+        let elapsed_ms: u64 = self.ms - earlier.ms;
+        let ns: u64 = TIME_DURATION_FROM_MILLIS(elapsed_ms);
+        return Ok(Duration { ns: ns });
+    }
+}
+
+fn thread_sleep(duration: Duration) -> void {
+    TIME_THREAD_SLEEP_NS(duration.ns);
+}

package/sa_std/tls_client.sai

@@ -0,0 +1,39 @@
+// sa_std TLS-client surface — real std.crypto.tls backend living in the sci runtime.
+//
+// A TLS client connection is an opaque u64 handle (0 == invalid). connect()
+// performs the TCP dial and the TLS handshake in one call and always verifies
+// the peer: the hostname is sent as SNI and checked against the peer
+// certificate, and the chain is verified against the process-wide CA bundle
+// (OS trust store, optionally extended with sa_std_tls_client_add_ca_file).
+// There is no verification-disabled mode.
+//
+// Error codes: 0 = OK; negative = error (-1 unsupported, -5 I/O,
+// -12 out of memory, -22 invalid argument, -100 certificate verification
+// failure). close() consumes the handle.
+//
+// String/JSON outputs are returned as registered u64 buffer handles, following
+// the same convention as sa_std.fs.read_* and sa_std.http2: read bytes/length
+// with sa_std_tls_client_buffer_data / sa_std_tls_client_buffer_len and
+// release with sa_std_tls_client_buffer_free.
+
+@extern sa_std_tls_client_supported(&out_supported: ptr) -> i32
+
+@extern sa_std_tls_client_connect(&host: ptr, host_len: u64, port: u32, &out_handle: ptr) -> i32
+
+@extern sa_std_tls_client_add_ca_file(&path: ptr, path_len: u64) -> i32
+// Trust-anchor rule (std.crypto.Bundle): the bundle keeps only the FIRST
+// certificate seen for a given subject name. Pinning a second, different
+// certificate with an identical subject is silently ignored -- it returns
+// OK but changes nothing. Regenerate with a distinguishing subject field
+// if you must re-pin.
+
+@extern sa_std_tls_client_read(handle: u64, &buf: ptr, cap: u64, &out_read: ptr) -> i32
+@extern sa_std_tls_client_write(handle: u64, &buf: ptr, len: u64, &out_written: ptr) -> i32
+@extern sa_std_tls_client_close(handle: u64) -> i32
+
+@extern sa_std_tls_client_status_json(&out_handle: ptr) -> i32
+
+// buffer handle accessors (sci convention)
+@extern sa_std_tls_client_buffer_data(buffer: u64) -> &ptr
+@extern sa_std_tls_client_buffer_len(buffer: u64) -> u64
+@extern sa_std_tls_client_buffer_free(^buffer: u64) -> i32