harn-hostlib 0.8.21

Opt-in code-intelligence and deterministic-tool host builtins for the Harn VM
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://harnlang.com/schemas/hostlib/tools/run_command.response.json",
  "title": "tools.run_command response",
  "type": "object",
  "properties": {
    "command_id": { "type": "string" },
    "status": {
      "type": "string",
      "enum": ["completed", "running", "timed_out", "killed", "blocked", "spawn_failed"]
    },
    "pid": { "type": ["integer", "null"] },
    "process_group_id": { "type": ["integer", "null"] },
    "handle_id": { "type": ["string", "null"] },
    "started_at": { "type": "string", "format": "date-time" },
    "ended_at": { "type": ["string", "null"], "format": "date-time" },
    "duration_ms": { "type": "integer", "minimum": 0 },
    "exit_code": { "type": ["integer", "null"] },
    "signal": { "type": ["string", "null"] },
    "timed_out": { "type": "boolean" },
    "stdout": { "type": "string" },
    "stderr": { "type": "string" },
    "output_path": { "type": "string" },
    "stdout_path": { "type": "string" },
    "stderr_path": { "type": "string" },
    "line_count": { "type": "integer", "minimum": 0 },
    "byte_count": { "type": "integer", "minimum": 0 },
    "output_sha256": { "type": "string" },
    "sandbox": {
      "type": "object",
      "properties": {
        "kind": { "type": "string" },
        "enforced": { "type": "boolean" }
      },
      "required": ["kind", "enforced"],
      "additionalProperties": false
    },
    "audit_id": { "type": "string" },
    "policy_context": {
      "type": "object",
      "additionalProperties": true
    },
    "command": { "type": "string" },
    "command_or_op_descriptor": { "type": "string" }
  },
  "required": [
    "command_id",
    "status",
    "pid",
    "process_group_id",
    "handle_id",
    "started_at",
    "ended_at",
    "duration_ms",
    "exit_code",
    "signal",
    "timed_out",
    "stdout",
    "stderr",
    "output_path",
    "stdout_path",
    "stderr_path",
    "line_count",
    "byte_count",
    "output_sha256",
    "sandbox",
    "audit_id"
  ],
  "additionalProperties": false
}