agent-spec 1.2.0

Intent compiler for AI agent coding: human intent compiles through requirement IR into verifiable task contracts, mechanically verified against the code
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
71
72
73
74
75
76
77
78
79

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://agent-spec.dev/schemas/agent-spec/intent-compiler/code-bindings-v1.schema.json",
  "title": "Code Bindings v1",
  "description": "Derived working data binding ready work units to code targets resolved in a provider graph. Never KLL truth: regenerate from the graph at any time; a stale graph blocks generation. Facts and digests only.",
  "type": "object",
  "required": [
    "schema",
    "entries"
  ],
  "additionalProperties": false,
  "properties": {
    "schema": {
      "const": "agent-spec/intent-compiler/code-bindings-v1"
    },
    "entries": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "requirement_id",
          "work_unit_id",
          "provider",
          "graph_fingerprint",
          "targets"
        ],
        "additionalProperties": false,
        "properties": {
          "requirement_id": {
            "type": "string"
          },
          "work_unit_id": {
            "type": "string"
          },
          "provider": {
            "type": "string"
          },
          "graph_fingerprint": {
            "type": "string",
            "pattern": "^[0-9a-f]{64}$",
            "description": "Fingerprint of the exact provider graph state the targets were resolved against."
          },
          "targets": {
            "type": "array",
            "items": {
              "type": "object",
              "required": [
                "node_id",
                "kind",
                "file",
                "provenance"
              ],
              "additionalProperties": false,
              "properties": {
                "node_id": {
                  "type": "string"
                },
                "kind": {
                  "type": "string"
                },
                "file": {
                  "type": "string"
                },
                "provenance": {
                  "enum": [
                    "syn",
                    "scip",
                    "mir"
                  ],
                  "description": "Fact origin inside the provider graph."
                }
              }
            }
          }
        }
      }
    }
  }
}