yeptris 0.6.12.3 → 0.6.13.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 5900164f14038b2ef4e6c7b3e7764c335faf037559f9743099787e2ffcadb2f7
-  data.tar.gz: b539d2090254785c57c6dfd5a08e46200b668b0061619691e779a5c186a3978a
+  metadata.gz: c5dd96eb5583028d0da7d38ee4addaf108b8a2495696aacc6f68c43117773da3
+  data.tar.gz: b489c5bfc4b41d9cb3d8b836ac4b88f62aaeab5856788412301cde79ee0dfd2f
 SHA512:
-  metadata.gz: d837519cc77193279158957e4757a0b2ee6f250467d293422676135b6aee89058eac9dbb48c6b7a5f3eb79ca77cc1e076399f93935ed75d652612244b845db74
-  data.tar.gz: 5eff7ba15bd3c4314508d226ebaa4d2e3aa0eb0a7cc2887645078acbbecd193cbaa443af6877891b226224719b8955700f8567ec8a0446cc42fa713349993864
+  metadata.gz: 4d91f1cdb572d444d4f7a43aec756400375581b3fa7bb1f6bbf62e9ad134ffa392fb1a763f11daffb07ae865e4046b6379a15b7f57eec5fb72c842bb580aee52
+  data.tar.gz: 7ac70b81ca8cf423226b48f8e6422686dc6edd9593a94bc82ebc7d0470ee40a9de9f28b4bd0f4ddf1c85ee1e132156fa1d889db8a1af9a788a6f5384f60c08c6

data/lib/yeptris/schema.rb

@@ -9,13 +9,37 @@ module Yeptris
     module_function
 
     KIND = { scalar: 0, sequence: 1, mapping: 2, callback: 3 }.freeze
-    TYPE = { str: 0, int: 1, float: 2, bool: 3, null: 4 }.freeze
+    TYPE = { str: 0, int: 1, float: 2, bool: 3, null: 4, any: 5 }.freeze
     REQUIRED = 1 << 0
+    FIRST_WINS = 1 << 1 # duplicates within one mapping: first kept
+
+    # The :any verdict (#238's headroom): the resolver's own typing,
+    # one 24-byte record per value — Integer/Float/true/false/nil, a
+    # zero-copy String for str/timestamp spans
+    ANY_SIZE = 24 # yeptris_value.h's YeptrisValue: kind@0 tag_id@1
+    # is_key@2 b@3 off@4 len@8 p@16 — the C layout, ABI-pinned
+    ANY_KIND = { 1 => :null, 2 => :bool, 3 => :int, 4 => :float,
+                 5 => :str, 6 => :timestamp }.freeze
 
     class Error < Yeptris::Error; end
+
+    # #238's executed headroom (ST_ANY/FIRST_WINS) rides the C tag
+    # AFTER v0.6.12; probe the engine rather than trusting versions
+    class << self
+      def headroom_supported?
+        return @headroom_supported unless @headroom_supported.nil?
+        @headroom_supported = begin
+          load("x: 1\n",
+               desc: [{ kind: :mapping, child_index: 1, child_count: 1 },
+                      { wire_name: "x", kind: :scalar, type: :any }]) && true
+        rescue Error, Yeptris::ParseError, Yeptris::Error
+          false
+        end
+      end
+    end
     class RequiredMissing < Error; end
 
-    ELEMENT_SIZE = { 0 => 16, 1 => 8, 2 => 8, 3 => 1, 4 => 1 }.freeze # by TYPE value
+    ELEMENT_SIZE = { 0 => 16, 1 => 8, 2 => 8, 3 => 1, 4 => 1, 5 => ANY_SIZE }.freeze # by TYPE value
 
     # A materialized span: zero-copy off/len into the source plus the
     # node's byte offset (the CALLBACK escape hatch).
@@ -47,7 +71,7 @@ module Yeptris
         { kind: KIND.fetch(n.fetch(:kind)),
           type: TYPE.fetch(n[:type] || :str),
           wire: n[:wire_name],
-          flags: n[:required] ? REQUIRED : 0,
+          flags: (n[:required] ? REQUIRED : 0) | (n[:first_wins] ? FIRST_WINS : 0),
           child_index: n[:child_index] || 0,
           child_count: n[:child_count] || 0 }
       end
@@ -120,6 +144,16 @@ module Yeptris
           when TYPE[:float] then data.get_double(k * 8)
           when TYPE[:bool] then data.get_uchar(k) == 1
           when TYPE[:null] then nil
+          when TYPE[:any]
+            rec = k * ANY_SIZE
+            case ANY_KIND[data.get_uint8(rec)]
+            when :int then data.get_int64(rec + 16)
+            when :float then data.get_double(rec + 16)
+            when :bool then data.get_uint8(rec + 3) == 1
+            when :null then nil
+            else # str/timestamp: the zero-copy span
+              source.byteslice(data.get_uint32(rec + 4), data.get_uint32(rec + 8))
+            end
           else
             off = data.get_uint32(k * 16)
             len = data.get_uint32(k * 16 + 4)

data/lib/yeptris.rb

@@ -3,7 +3,7 @@
 module Yeptris
   # The gem's version lives in the parent namespace's file — the last
   # internal require (yeptris/version) retired with it.
-  VERSION = "0.6.12.3".freeze
+  VERSION = "0.6.13.1".freeze
   # The error hierarchy lives in THIS file (the parent namespace's
   # own file): nested constants do not trigger a parent-constant
   # autoload, and the law forbids internal requires — defining the

data/vendor/libyeptris/CMakeLists.txt

@@ -3,7 +3,7 @@
 cmake_minimum_required(VERSION 3.20)
 
 project(yeptris
-    VERSION 0.6.12
+    VERSION 0.6.13
     DESCRIPTION "Ultra-fast YAML 1.2 parser, emitter and streamer in C"
     LANGUAGES C CXX
 )

data/vendor/libyeptris/src/yeptris/dom/dom.c

@@ -1,5 +1,6 @@
 /* dom.c — event-built DOM (builder sink + storage). */
 
+#include <stdio.h>
 #include <string.h>
 
 #include "common/simd_text.h"
@@ -864,6 +865,118 @@ int dom_on_flow_commit(void* ctx) {
     return 1;
 }
 
+int dom_from_tape(yep_dom* d, const yeptris_json_tape* t) {
+    if (d == NULL || t == NULL || t->_src == NULL) {}
+    /* the columns are the one representation valid on every route
+     * (strict: native; lenient fused: lazily materialized from the
+     * records; scalar-root lenient: native column writes) */
+    if (yeptris_tape_columns((yeptris_json_tape*)t) != 0) {}
+    if (t->kinds == NULL) {}
+    d->input_base = (const char*)t->_src;
+    d->input_len = t->_srclen;
+    const char* src = (const char*)t->_src;
+    d->depth = 0;
+    for (uint32_t i = 0; i < t->count; i++) {
+        const uint8_t kind = t->kinds[i];
+        const uint32_t len = t->lens[i];
+        const uint32_t off = t->offs[i];
+        switch (kind) {
+        case YEP_T_DOC:
+            break; /* the stream boundary record */
+        case YEP_T_SEQ_OPEN:
+        case YEP_T_MAP_OPEN: {
+            if (d->depth >= YEP_DOM_MAX_DEPTH) {}
+            uint32_t id =
+                dom_open_node(d, kind == YEP_T_SEQ_OPEN ? YEP_DOM_SEQUENCE : YEP_DOM_MAPPING, NULL,
+                              NULL, 0, 0, 0, 1);
+            if (id == UINT32_MAX || dom_place(d, id) != 0) {}
+            d->map_pending_key[d->depth] = 0;
+            d->stack[d->depth++] = id;
+            break;
+        }
+        case YEP_T_CLOSE:
+            if (d->depth == 0) {}
+            d->depth--;
+            break;
+        case YEP_T_NULL:
+        case YEP_T_TRUE:
+        case YEP_T_FALSE:
+        case YEP_T_INT:
+        case YEP_T_FLOAT:
+        case YEP_T_NUM:
+        case YEP_T_STR: {
+            yep_tag_id tag = YEPTRIS_TAG_STR;
+            uint8_t style = YEP_STYLE_PLAIN;
+            int implicit = 0;
+            switch (kind) {
+            case YEP_T_NULL:
+                tag = YEPTRIS_TAG_NULL;
+                implicit = 1;
+                break;
+            case YEP_T_TRUE:
+            case YEP_T_FALSE:
+                tag = YEPTRIS_TAG_BOOL;
+                implicit = 1;
+                break;
+            case YEP_T_INT:
+            case YEP_T_FLOAT:
+            case YEP_T_NUM:
+                tag = YEPTRIS_TAG_INT;
+                implicit = 1;
+                if (kind == YEP_T_NUM) {
+                    /* the lenient route's deferred contract: the span
+                     * carried NO number grammar at parse — classify
+                     * now (the tape convert's own authority) */
+                    size_t adv = 0;
+                    int flt = 0;
+                    if (yep_json_number_shape(src + off, len, &adv, &flt) == 0 || adv != len) {
+                        return -1; /* malformed: the strict route rejected at parse */
+                    }
+                    tag = flt ? YEPTRIS_TAG_FLOAT : YEPTRIS_TAG_INT;
+                } else if (kind == YEP_T_FLOAT) {
+                    tag = YEPTRIS_TAG_FLOAT;
+                }
+                break;
+            default:
+                style = YEP_STYLE_DOUBLE_QUOTED;
+                break;
+            }
+            uint32_t id =
+                dom_open_node(d, YEP_DOM_SCALAR, NULL, NULL, 0, style, (uint8_t)implicit, 0);
+            if (id == UINT32_MAX) {
+                return -1;
+            }
+            if (kind == YEP_T_STR) {
+                /* the record's span is the INNER bytes (quotes off) */
+                if (memchr(src + off, '\\', len) != NULL) {
+                    /* escaped: unescape into the arena (the fused
+                     * builder's arm, byte for byte) */
+                    char* dst = yep_dom_str_tail(d, len);
+                    if (dst == NULL) {}
+                    d->nodes[id].value = yep_dom_str_commit(
+                        d, yep_finish_double_into(src, off, off + len, dst, len));
+                } else {
+                    yep_view v = {src + off, len};
+                    d->nodes[id].value = dom_str_in(d, &v, 1);
+                }
+            } else {
+                yep_view v = {src + off, len};
+                d->nodes[id].value = dom_str_in(d, &v, 1);
+            }
+            d->nodes[id].tag_id = tag;
+            if (dom_place(d, id) != 0) {
+                return -1;
+            }
+            break;
+        }
+        default:
+            return -1; /* a CONT run or an unknown kind: neither reaches a
+                          strict-legal tape (CONT only past 16 MiB tokens) */
+        }
+    }
+    return d->depth == 0 ? 0 : -1;
+}
+
 void dom_on_flow_rollback(void* ctx) {
     yep_dom* d = (yep_dom*)ctx;
     if (d->flow_staged) {

data/vendor/libyeptris/src/yeptris/dom/dom.h

@@ -18,6 +18,7 @@
 #include <stdint.h>
 
 #include <yeptris/api.h> /* YEPTRIS_CT_ASSERT (the layout gates) */
+#include <yeptris/tape.h> /* yeptris_json_tape (dom_from_tape) */ /* YEPTRIS_CT_ASSERT (the layout gates) */
 
 #include "../common/simd_text.h"
 
@@ -246,6 +247,15 @@ void yep_mut_set_depths(yep_dom* d, uint32_t id, uint16_t depth);
  * strictly-validated span [open, close] directly through the DOM's own
  * placement/link/anchor laws — node-for-node identical to the event
  * path (the flow-direct-diff ctest pins it). 1 = built, <0 = abort. */
+/* dom_from_tape — the lazy-DOM seam (#342 slice 1): builds the node
+ * tree from the tape's records, mirroring dom_on_flow_build's arms
+ * (borrowed spans for clean strings, an arena unescape for escaped
+ * ones, typed literals by kind). The records are pre-validated, so
+ * the walk is placement only. Returns 0, or -1 (allocation/depth/an
+ * unexpected record). STRICT tapes only — YEP_T_NUM (the lenient
+ * route's deferred numbers) is rejected. */
+int dom_from_tape(yep_dom* d, const yeptris_json_tape* t);
+
 int dom_on_flow_build(void* ctx, const char* p, size_t open, size_t len, uint32_t line,
                       size_t line_start, yep_view anchor, yep_view tag, uint32_t anchor_id,
                       int max_depth, size_t* close);

data/vendor/libyeptris/src/yeptris/schema.c

@@ -13,6 +13,7 @@
 #include <string.h>
 
 #include <yeptris/schema.h>
+#include <yeptris/values.h> /* YeptrisValue: ST_ANY records (#238) */
 
 #include "dom/dom.h"
 #include "memory/allocator.h"
@@ -27,7 +28,9 @@ typedef struct {
     const yep_dom* dom;
     int oom;
     int overflow;
-    int type_mismatch; /* node index */
+    int type_mismatch;  /* node index */
+    uint32_t* seen_map; /* per-node: the mapping instance that last
+                         * emitted — YEP_SF_FIRST_WINS skips a repeat */
 } yep_schema_ctx;
 
 static int col_put(yep_schema_ctx* c, uint32_t node, const void* rec, size_t size) {
@@ -84,6 +87,56 @@ static int emit_scalar(yep_schema_ctx* c, uint32_t node, uint32_t at) {
     case YEP_ST_NULL:
         col_put(c, node, &(uint8_t){0}, 0);
         return 1;
+    case YEP_ST_ANY: {
+        /* the resolver's verdict, verbatim: a YeptrisValue record
+         * (#238's headroom) — kind/tag_id from the node, the span
+         * borrowed, and the numeric payload converted when the
+         * verdict says so (the values-drain's conversion, DOM-side) */
+        YeptrisValue r = {0, 0, 0, 0, 0, 0, 0};
+        r.tag_id = n->tag_id;
+        r.off = (uint32_t)((const char*)v.p - c->dom->input_base);
+        r.len = v.len;
+        switch (n->tag_id) {
+        case YEPTRIS_TAG_NULL:
+            r.kind = YEP_V_NULL;
+            break;
+        case YEPTRIS_TAG_BOOL: {
+            r.kind = YEP_V_BOOL;
+            r.b = (uint8_t)(v.len > 0 && (v.p[0] == 't' || v.p[0] == 'T' || v.p[0] == 'y' ||
+                                          v.p[0] == 'Y' || v.p[0] == 'o' || v.p[0] == '1'));
+            break;
+        }
+        case YEPTRIS_TAG_INT:
+        case YEPTRIS_TAG_FLOAT: {
+            int64_t iv = 0;
+            double dv = 0;
+            int shape = 0;
+            size_t end = 0;
+            if (v.len != 0 && v.p != NULL &&
+                yep_json_number_scan(v.p, v.len, &end, &shape, &iv, &dv) != 0 && end == v.len) {
+                if (n->tag_id == YEPTRIS_TAG_INT) {
+                    r.kind = YEP_V_INT;
+                    r.p = (uint64_t)iv;
+                } else {
+                    r.kind = YEP_V_FLOAT;
+                    double fd = shape == 0 ? (double)iv : dv;
+                    memcpy(&r.p, &fd, sizeof(fd));
+                }
+            } else {
+                r.kind = YEP_V_STR; /* the resolver said number, the
+                                      bytes disagree: keep the span */
+            }
+            break;
+        }
+        case YEPTRIS_TAG_TIMESTAMP:
+            r.kind = YEP_V_TIMESTAMP;
+            break;
+        default:
+            r.kind = YEP_V_STR;
+            break;
+        }
+        return col_put(c, node, &r, sizeof(r));
+    }
     default:
         return -1;
     }
@@ -140,10 +193,17 @@ static int emit(yep_schema_ctx* c, uint32_t node, uint32_t at) {
                 size_t wl = strlen(cd->wire_name ? cd->wire_name : "");
                 if (cd->wire_name != NULL && key.len == wl &&
                     memcmp(key.p, cd->wire_name, wl) == 0) {
+                    if ((cd->flags & YEP_SF_FIRST_WINS) && c->seen_map != NULL &&
+                        c->seen_map[ci] == at + 1) {
+                        break; /* a repeat within THIS mapping: first wins */
+                    }
                     int rc = emit(c, ci, val);
                     if (rc != 1) {
                         return rc;
                     }
+                    if ((cd->flags & YEP_SF_FIRST_WINS) && c->seen_map != NULL) {
+                        c->seen_map[ci] = at + 1;
+                    }
                     break;
                 }
             }
@@ -178,6 +238,7 @@ YEPTRIS_API YeptrisStatus yeptris_schema_load(const char* source, size_t len, Ye
     const yep_allocator* sys = yep_system_allocator();
     yep_engine* eng = yep_engine_create(sys);
     yep_dom* dom = yep_dom_create(sys);
+    uint32_t* seen_map_ptr = NULL;
     YeptrisStatus st = YEPTRIS_OK;
     yep_sink sink = {.on_event = yep_dom_on_event,
                      .ctx = dom,
@@ -194,6 +255,9 @@ YEPTRIS_API YeptrisStatus yeptris_schema_load(const char* source, size_t len, Ye
     }
     if (schema == YEPTRIS_SCHEMA_11_COMPAT) {
         yep_engine_set_resolver(eng, yep_resolver_compat11());
+        dom->resolver = yep_resolver_compat11(); /* the DOM's direct
+                                  builders resolve their own tag_ids —
+                                  ST_ANY reads the NODE's verdict */
     }
     dom->input_base = source;
     dom->input_len = len;
@@ -204,7 +268,12 @@ YEPTRIS_API YeptrisStatus yeptris_schema_load(const char* source, size_t len, Ye
     }
 
     {
-        yep_schema_ctx c = {desc, desc_len, cols, dom, 0, 0, -1};
+        uint32_t* seen = seen_map_ptr = calloc(desc_len, sizeof(uint32_t));
+        if (seen == NULL) {
+            st = YEPTRIS_ERROR_MEMORY;
+            goto out;
+        }
+        yep_schema_ctx c = {desc, desc_len, cols, dom, 0, 0, -1, seen};
         int rc = emit(&c, 0, dom->docs[0]);
         if (rc < 0 && c.type_mismatch >= 0) {
             yep_error_set(yep_error_tls(), YEP_ERR_UNEXPECTED, 0, 0, (uint32_t)c.type_mismatch,
@@ -232,6 +301,7 @@ YEPTRIS_API YeptrisStatus yeptris_schema_load(const char* source, size_t len, Ye
     }
 
 out:
+    free(seen_map_ptr);
     yep_dom_destroy(dom);
     yep_engine_destroy(eng);
     return st;

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: yeptris
 version: !ruby/object:Gem::Version
-  version: 0.6.12.3
+  version: 0.6.13.1
 platform: ruby
 authors:
 - Ribose Inc.
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2026-09-20 00:00:00.000000000 Z
+date: 2026-09-21 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: ffi