@tinkerlandai/longplay-react-native 0.10.15 → 0.10.16-rc.1

package/native-sdk/ios/ScreenUiSemantics.swift

@@ -0,0 +1,133 @@
+import Foundation
+import CoreFoundation
+
+/// Display-only rules; never evaluates expressions or grants commercial authority.
+enum IndianaScreenUiSemantics {
+    typealias O = [String: Any]
+    static let reserved: Set<String> = ["constructor", "prototype", "__proto__", "__defineGetter__", "__defineSetter__", "__lookupGetter__", "__lookupSetter__", "hasOwnProperty", "isPrototypeOf", "propertyIsEnumerable", "toString", "toLocaleString", "valueOf"]
+    static func require(_ valid: Bool) throws { if !valid { throw IndianaClientError.invalidResponse } }
+    static func identifier(_ value: Any?) -> Bool { guard let s = value as? String else { return false }; return s.range(of: "^[A-Za-z][A-Za-z0-9_-]{0,63}$", options: .regularExpression) != nil && !reserved.contains(s) }
+    static func object(_ value: Any?, _ allowed: Set<String>? = nil) throws -> O {
+        guard let result = value as? O else { throw IndianaClientError.invalidResponse }
+        try require(Set(result.keys).isDisjoint(with: reserved) && (allowed == nil || Set(result.keys).isSubset(of: allowed!)))
+        return result
+    }
+    static func number(_ value: Any?) -> Double? { guard let n = value as? NSNumber, CFGetTypeID(n) != CFBooleanGetTypeID(), n.doubleValue.isFinite else { return nil }; return n.doubleValue }
+    static func bool(_ value: Any?) -> Bool { guard let n = value as? NSNumber else { return false }; return CFGetTypeID(n) == CFBooleanGetTypeID() }
+    static func scalar(_ value: Any?) -> Bool { if value is NSNull { return true }; if let s = value as? String { return s.unicodeScalars.count <= 2000 }; return bool(value) || number(value) != nil }
+    static func same(_ a: Any, _ b: Any) -> Bool { if let x = number(a), let y = number(b) { return x == y }; if a is NSNull { return b is NSNull }; if bool(a) { return bool(b) && (a as! NSNumber).boolValue == (b as! NSNumber).boolValue }; if let x = a as? String, let y = b as? String { return x == y }; return false }
+    static func stateValue(_ d: O, _ value: Any?) -> Bool {
+        switch d["type"] as? String {
+        case "enum": guard let rows = d["values"] as? [Any], let value else { return false }; return rows.contains { same($0, value) }
+        case "boolean": return bool(value)
+        case "text": return value is NSNull || (value as? String).map { Double($0.utf16.count) <= (number(d["maxLength"]) ?? -1) } == true
+        case "number": guard let n = number(value), let lo = number(d["min"]), let hi = number(d["max"]), let step = number(d["step"]), n >= lo, n <= hi, step > 0 else { return false }; let steps = (n-lo)/step; return steps.isFinite && abs(steps-steps.rounded()) <= min(1e-7, max(1,abs(steps))*Double.ulpOfOne*8)
+        default: return false
+        }
+    }
+    static func state(_ value: Any?) throws {
+        let d = try object(value), type = d["type"] as? String ?? ""
+        let fields: [String: Set<String>] = ["enum":["type","values","default"],"number":["type","min","max","step","default"],"text":["type","maxLength","default"],"boolean":["type","default"]]
+        try require(fields[type] == Set(d.keys) && scalar(d["default"]))
+        if type == "enum" { guard let rows = d["values"] as? [Any] else { throw IndianaClientError.invalidResponse }; try require((1...64).contains(rows.count) && rows.allSatisfy(scalar)); for i in rows.indices { try require(!rows.prefix(i).contains { same($0, rows[i]) }) } }
+        if type == "number" { guard let lo=number(d["min"]), let hi=number(d["max"]), let step=number(d["step"]) else { throw IndianaClientError.invalidResponse }; try require(lo <= hi && step > 0) }
+        if type == "text" { guard let length=number(d["maxLength"]) else { throw IndianaClientError.invalidResponse }; try require(length >= 0 && length <= 2000 && length.rounded() == length) }
+        try require(stateValue(d,d["default"]))
+    }
+    static func arity(_ value: Any?) throws {
+        let d = try object(value,["op","args"])
+        guard Set(d.keys) == ["op","args"], let op=d["op"] as? String, let args=d["args"] as? [Any] else { throw IndianaClientError.invalidResponse }
+        let count=args.count; let valid: Bool
+        switch op {
+        case "now": valid=count==0
+        case "concat": valid=true
+        case "lookup": valid=count>=4 && count%2==0
+        case "if": valid=count==3
+        case "sub","div","eq","ne","gt","gte","lt","lte": valid=count==2
+        case "round","floor","not","number","parse_number","money","duration": valid=count==1
+        case "add","mul","min","max","and","or": valid=count>=1
+        default: valid=false
+        }; try require(valid)
+    }
+    static func expression(_ value: Any, _ budget: inout Int) throws -> Set<String> {
+        var pending: [(Any,Int)] = [(value,1)], refs = Set<String>()
+        while let (item,depth)=pending.popLast() {
+            budget += 1; try require(budget<=2000 && depth<=12)
+            if scalar(item) { continue }
+            let d=try object(item)
+            if let ref=d["ref"] { try require(Set(d.keys)==["ref"] && identifier(ref)); refs.insert(ref as! String) }
+            else { try arity(d); let args=d["args"] as! [Any]; try require(args.count<=2000); pending.append(contentsOf:args.map { ($0,depth+1) }) }
+        }; return refs
+    }
+    static func binding(_ value: Any?) throws {
+        let d=try object(value,["target","property","expression","className"]), property=d["property"] as? String ?? ""
+        try require(identifier(d["target"]) && d["expression"] != nil && ["text","visible","disabled","checked","value","class","aria-label","aria-selected","aria-checked","aria-valuetext","tabindex"].contains(property))
+        try require((property=="class")==((d["className"]) != nil) && (d["className"] == nil || identifier(d["className"])))
+    }
+    static func ui(_ value: Any?) throws {
+        let ui=try object(value,["state","derived","bindings","controls","timers","effects","clock"])
+        let state=try object(ui["state"] ?? O()), derived=try object(ui["derived"] ?? O())
+        try require(state.count<=32 && derived.count<=96 && Set(state.keys).isDisjoint(with:derived.keys) && Array(state.keys).allSatisfy(identifier) && Array(derived.keys).allSatisfy(identifier))
+        for definition in state.values { try self.state(definition) }
+        let available=Set(state.keys).union(derived.keys); var budget=0, dependencies: [String:Set<String>]=[:]
+        for (id,expr) in derived { let refs=try expression(expr,&budget); try require(refs.isSubset(of:available)); dependencies[id]=refs }
+        var active=Set<String>(), visited=Set<String>()
+        func visit(_ id: String) throws { try require(!active.contains(id)); if visited.contains(id) { return }; active.insert(id); for ref in dependencies[id] ?? [] where derived[ref] != nil { try visit(ref) }; active.remove(id); visited.insert(id) }
+        for id in derived.keys { try visit(id) }
+        func read(_ value: Any?) throws { guard let value else { throw IndianaClientError.invalidResponse }; try require(try expression(value,&budget).isSubset(of:available)) }
+        func updates(_ value: Any?) throws { let set=try object(value); try require((1...32).contains(set.count) && Set(set.keys).isSubset(of:state.keys)); for expr in set.values { try read(expr) } }
+        func rows(_ key: String, _ max: Int) throws -> [Any] { if ui[key] == nil { return [] }; guard let rows=ui[key] as? [Any] else { throw IndianaClientError.invalidResponse }; try require(rows.count<=max); return rows }
+        try require(ui["clock"] == nil || bool(ui["clock"]))
+        for raw in try rows("bindings",256) { try binding(raw); try read(try object(raw)["expression"]) }
+        var effectTargets = Set<String>()
+        let effectBounds: [String:(Double,Double)] = ["speed":(0,4),"pitch":(0.05,4),"fill":(0.05,1),"feather":(0,1),"warp":(0,4),"warpScale":(0,32),"detailScale":(0,32),"waveScale":(0,32),"falloff":(0.1,32),"brightness":(0,32),"ambient":(0,1),"gamma":(0.05,8),"vignette":(0,1),"opacity":(0,1)]
+        for raw in try rows("effects",8) {
+            let e=try object(raw)
+            try require(identifier(e["target"]))
+            let target=e["target"] as! String; try require(effectTargets.insert(target).inserted)
+            if e["type"] as? String=="number_counter" {
+                _=try object(e,["type","target","value","prefix","format"])
+                try read(e["value"])
+                if let n=number(e["value"]) { try require(abs(n)<=1e12) }
+                if e["prefix"] != nil { guard let prefix=e["prefix"] as? String else { throw IndianaClientError.invalidResponse }; try require(prefix.unicodeScalars.count<=20) }
+                if e["format"] != nil { try require(["number","short"].contains(e["format"] as? String ?? "")) }
+                continue
+            }
+            _=try object(e,Set(effectBounds.keys).union(["type","target","color","hotColor","enabled"]))
+            try require(e["type"] as? String=="mosaic_waves")
+            for key in ["color","hotColor"] { guard let color=e[key] as? String else { throw IndianaClientError.invalidResponse }; try require(color.utf8.count==7 && color.range(of:"^#[0-9a-fA-F]{6}$",options:.regularExpression) != nil) }
+            for (key,(low,high)) in effectBounds where e[key] != nil { guard let n=number(e[key]) else { throw IndianaClientError.invalidResponse }; try require(n>=low && n<=high) }
+            if e["enabled"] != nil { try read(e["enabled"]) }
+        }
+        let controls = try rows("controls",64), controlTargets = Set((try rows("controls",64)).compactMap { ($0 as? O)?["target"] as? String })
+        var navigationTargets = Set<String>()
+        var inactiveTargets = Set<String>()
+        for raw in controls {
+            let c=try object(raw), kind=c["type"] as? String ?? ""
+            let fields: [String:Set<String>]=["input":["type","target","state","set"],"action":["type","target","set"],"carousel":["type","target","state","initialIndex","maxWidth","previousTarget","nextTarget","inactiveTargets","inactiveMaxWidth"],"scroll_latch":["type","target","state"]]
+            try require(fields[kind] != nil && Set(c.keys).isSubset(of:fields[kind]!) && identifier(c["target"]))
+            if kind != "action" {
+                guard let id=c["state"] as? String, let rawState=state[id] else { throw IndianaClientError.invalidResponse }; let d=try object(rawState)
+                if kind=="scroll_latch" { try require(d["type"] as? String=="boolean") }
+                if kind=="input", d["type"] as? String=="enum" { try require((d["values"] as! [Any]).allSatisfy { $0 is String }) }
+                if kind=="carousel", c["inactiveMaxWidth"] != nil { guard let width=number(c["inactiveMaxWidth"]) else { throw IndianaClientError.invalidResponse }; try require(c["inactiveTargets"] != nil && width>=1 && width<=10000 && width.rounded()==width) }
+                if kind=="carousel", c["inactiveTargets"] != nil { guard let ids=c["inactiveTargets"] as? [Any] else { throw IndianaClientError.invalidResponse }; try require(ids.count<=20); for id in ids { guard let article=id as? String else { throw IndianaClientError.invalidResponse }; try require(identifier(article) && article != c["target"] as? String && inactiveTargets.insert(article).inserted) } }
+                if kind=="carousel" { for field in ["previousTarget","nextTarget"] where c[field] != nil { guard let nav=c[field] as? String else { throw IndianaClientError.invalidResponse }; try require(identifier(nav) && !controlTargets.contains(nav) && navigationTargets.insert(nav).inserted) } }
+                if kind=="carousel" { let lo=number(d["min"]) ?? -1, hi=number(d["max"]) ?? -1; try require(d["type"] as? String=="number" && lo>=0 && lo.rounded()==lo && hi.rounded()==hi && number(d["step"])==1 && (c["initialIndex"]==nil || stateValue(d,c["initialIndex"]))); if c["maxWidth"] != nil { guard let width=number(c["maxWidth"]) else { throw IndianaClientError.invalidResponse }; try require(width>=1 && width<=10000 && width.rounded()==width) } }
+            }
+            if kind=="action" || c["set"] != nil { try updates(c["set"]) }
+        }
+        for raw in try rows("timers",4) { let timer=try object(raw,["afterMs","set"]); guard let delay=number(timer["afterMs"]) else { throw IndianaClientError.invalidResponse }; try require(delay>=0 && delay<=60000 && delay.rounded()==delay); try updates(timer["set"]) }
+    }
+    static func validate(_ rule: String, _ value: Any?) throws {
+        switch rule {
+        case "screenUi": try ui(value)
+        case "screenUiState": try state(value)
+        case "screenUiIdentifier": try require(identifier(value))
+        case "screenUiArity": try arity(value)
+        case "screenUiBinding": try binding(value)
+        case "screenDesktopWidth": let d=try object(value,["min","max","viewport"]); guard let lo=number(d["min"]), let hi=number(d["max"]), let width=number(d["viewport"]) else { throw IndianaClientError.invalidResponse }; try require(d.count==3 && lo>=1 && lo<=hi && hi<=1800 && width>=1 && width<=100)
+        default: throw IndianaClientError.invalidResponse
+        }
+    }
+}