Raven Scott
64a1270d18
- HRPC: bare_os.pkg_index_get, route table schema 3; pkg-swarm-index list/get; pathcap-verify --trusted - POSIX: profile 1.0.17, ctx API 1.53.0, syscalls.json schema 11 + susv4Refs; JSON schemas + matrix/dashboard - Feature bits: BARE_OS_KERNEL_FEATURE_BITS_DOC 16; contract + verify scripts; ctx.d.ts + gen helper sync - Ops: BARE_OS_HOLEPUNCH_DRIFT_TIER1 + tier1Repos; mktemp avoids false XXX marker; /proc boot_budget_summary test list - Docs: contract spine, env appendix, handbook, compatibility matrix, boot budget schema, vault threat model notes Covers bare-os P2P roadmap items 1–20 where implemented in-tree; kernel/lib/bare/README left minimal per maintainer edit.
71 lines
2.0 KiB
JSON
71 lines
2.0 KiB
JSON
{
|
|
"schemaVersion": 11,
|
|
"ctxApiVersion": "1.53.0",
|
|
"posixProfile": {
|
|
"id": "bare-os-posix-like",
|
|
"version": "1.0.17"
|
|
},
|
|
"ops": ["readFile", "writeFile", "socket"],
|
|
"opsDetail": [
|
|
{ "name": "readFile", "category": "fs", "stability": "stable" },
|
|
{ "name": "writeFile", "category": "fs", "stability": "stable" },
|
|
{
|
|
"name": "open",
|
|
"category": "fs",
|
|
"stability": "stable",
|
|
"posixAlignment": "simulated",
|
|
"mapsTo": ["vfs.readFile", "vfs.writeFile"],
|
|
"errnoHint": "ENOENT",
|
|
"susv4Refs": ["XSH/open"]
|
|
},
|
|
{
|
|
"name": "socket",
|
|
"category": "ipc",
|
|
"stability": "experimental",
|
|
"posixAlignment": "ENOTSUP",
|
|
"mapsTo": ["ctx.bare bare-tcp / bare-dgram"],
|
|
"errnoHint": "ENOSYS"
|
|
}
|
|
],
|
|
"posixXsh": {
|
|
"schema": 3,
|
|
"note": "POSIX.1 XSH-style names; socket bridge may implement SOCK_DGRAM sendmsg/recvmsg when BARE_OS_POSIX_SOCKET_FD_BRIDGE.",
|
|
"namesCsv": "open,close,read,write,readv,writev,getsockopt,setsockopt,lseek,nanosleep,clock_gettime,pipe,dup,dup2,fcntl,poll,select,umask,socket,bind,listen,accept,connect,send,recv,recvfrom,sendmsg,recvmsg,shutdown"
|
|
},
|
|
"socketMsgSurface": {
|
|
"schema": 4,
|
|
"ancillaryControl": {
|
|
"supported": false,
|
|
"errno": "ENOTSUP",
|
|
"rejectKeys": [
|
|
"cmsgs",
|
|
"control",
|
|
"controllen",
|
|
"msgHdr.control",
|
|
"msgHdr.cmsgs"
|
|
],
|
|
"note": "Binary ancillary ENOTSUP; JSON SCM_RIGHTS-shaped cmsgs when BARE_OS_POSIX_SOCKET_SCM_RIGHTS=1."
|
|
},
|
|
"logicalScmRightsOnSend": {
|
|
"env": "BARE_OS_POSIX_SOCKET_SCM_RIGHTS",
|
|
"syscallResultField": "scmRightsLocalDup"
|
|
},
|
|
"sendmsg": { "bridgePartial": true, "defaultErrno": "ENOTSUP" },
|
|
"recvmsg": { "bridgePartial": true, "defaultErrno": "ENOTSUP" }
|
|
},
|
|
"errnoHints": {
|
|
"ENOENT": 2,
|
|
"EAGAIN": 11
|
|
},
|
|
"fdModel": {
|
|
"schema": 1,
|
|
"stdio": [0, 1, 2],
|
|
"processTableSchema": 7
|
|
},
|
|
"signalModel": {
|
|
"schema": 1,
|
|
"names": ["INT", "TERM"]
|
|
},
|
|
"atMs": 0
|
|
}
|