kami
6c92f85d10
Bring the Nexus/Praxis/Hexis integration in line with MAVEN_ECOSYSTEM_ARCHITECTURE.md: - Praxis over HTTP: drop the in-process praxis.db open (praxisstore/ praxistools) and call praxisd's /api/v1/tools/* API via a new praxisClient. Honors the "no component reads another's DB" invariant (AC#12). PraxisConfig.DBPath -> URL. - Hexis confirmation gate: mutating capabilities (ReadOnly=false) now park a bound pendingHexis confirmation and require a spoken "да" before executing; read-only run immediately (AC#7, no auto attention->action). - Capability safety: >1 verb match is ambiguous -> ask instead of firing the first; ambiguous Nexus resolution asks for clarification (AC#2). - Correlation IDs on Hexis execute, recorded in the cross-service trace. - Bug: importance arrives as JSON float64 over HTTP, not int. - Tests: confirm-gate, decline, read-only, and ambiguity paths. Build: vendor/ bakes in the hexis client (replace-directed at a sibling repo outside the Docker context); Dockerfile builds from vendor and no longer `go mod download`s the unreachable replace paths. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
123 lines
2.5 KiB
Go
123 lines
2.5 KiB
Go
// Copyright 2024 The Libc Authors. All rights reserved.
|
|
// Use of this source code is governed by a BSD-style
|
|
// license that can be found in the LICENSE file.
|
|
|
|
// Package libc is a partial reimplementation of C libc in pure Go.
|
|
package libc // import "modernc.org/libc"
|
|
|
|
import (
|
|
"math"
|
|
"sync/atomic"
|
|
"unsafe"
|
|
)
|
|
|
|
type integer interface {
|
|
~int | ~int32 | ~int64 | ~uint | ~uint32 | ~uint64 | ~uintptr
|
|
}
|
|
|
|
func X__sync_add_and_fetch[T integer](t *TLS, p uintptr, v T) T {
|
|
switch unsafe.Sizeof(v) {
|
|
case 4:
|
|
return T(atomic.AddInt32((*int32)(unsafe.Pointer(p)), int32(v)))
|
|
case 8:
|
|
return T(atomic.AddInt64((*int64)(unsafe.Pointer(p)), int64(v)))
|
|
default:
|
|
panic(todo(""))
|
|
}
|
|
}
|
|
|
|
func X__sync_sub_and_fetch[T integer](t *TLS, p uintptr, v T) T {
|
|
switch unsafe.Sizeof(v) {
|
|
case 4:
|
|
return T(atomic.AddInt32((*int32)(unsafe.Pointer(p)), -int32(v)))
|
|
case 8:
|
|
return T(atomic.AddInt64((*int64)(unsafe.Pointer(p)), -int64(v)))
|
|
default:
|
|
panic(todo(""))
|
|
}
|
|
}
|
|
|
|
// GoString returns the value of a C string at s.
|
|
func GoString(s uintptr) string {
|
|
if s == 0 {
|
|
return ""
|
|
}
|
|
|
|
if n := strlen(s); n != 0 {
|
|
return string(unsafe.Slice((*byte)(unsafe.Pointer(s)), n))
|
|
}
|
|
|
|
return ""
|
|
}
|
|
|
|
// GoBytes returns a byte slice from a C char* having length len bytes.
|
|
func GoBytes(s uintptr, len int) []byte {
|
|
return unsafe.Slice((*byte)(unsafe.Pointer(s)), len)
|
|
}
|
|
|
|
func X__isfinitef(tls *TLS, f float32) int32 {
|
|
d := float64(f)
|
|
if !math.IsInf(d, 0) && !math.IsNaN(d) {
|
|
return 1
|
|
}
|
|
|
|
return 0
|
|
}
|
|
|
|
func X__isfinite(tls *TLS, d float64) int32 {
|
|
if !math.IsInf(d, 0) && !math.IsNaN(d) {
|
|
return 1
|
|
}
|
|
|
|
return 0
|
|
}
|
|
|
|
func X__isfinitel(tls *TLS, d float64) int32 {
|
|
if !math.IsInf(d, 0) && !math.IsNaN(d) {
|
|
return 1
|
|
}
|
|
|
|
return 0
|
|
}
|
|
|
|
func strlen(s uintptr) (r Tsize_t) {
|
|
if s == 0 {
|
|
return 0
|
|
}
|
|
|
|
for ; *(*int8)(unsafe.Pointer(s)) != 0; s++ {
|
|
r++
|
|
}
|
|
|
|
return r
|
|
}
|
|
|
|
// size_t strlen(const char *s)
|
|
func Xstrlen(t *TLS, s uintptr) (r Tsize_t) {
|
|
if __ccgo_strace {
|
|
trc("t=%v s=%v, (%v:)", t, s, origin(2))
|
|
defer func() { trc("-> %v", r) }()
|
|
}
|
|
return strlen(s)
|
|
|
|
}
|
|
|
|
func _strlen(t *TLS, s uintptr) (r Tsize_t) {
|
|
return strlen(s)
|
|
}
|
|
|
|
func X__builtin_ilogb(tls *TLS, x float64) int32 {
|
|
return int32(math.Ilogb(x))
|
|
}
|
|
|
|
func X__builtin_ilogbl(tls *TLS, x float64) int32 {
|
|
return int32(math.Ilogb(x))
|
|
}
|
|
|
|
func X__builtin_ilogbf(tls *TLS, x float32) int32 {
|
|
// Casting to float64 is safe and mathematically correct here.
|
|
// Subnormal float32 values become normal float64 values,
|
|
// which allows math.Ilogb to correctly return their negative exponent.
|
|
return int32(math.Ilogb(float64(x)))
|
|
}
|