Repository navigation

Commit 145a26d

committed

Sync semantic search packet schema

1 parent 1e75e11 commit 145a26dCopy full SHA for 145a26d

1 file changed

schemas
- semantic-search-packet.v1.schema.json

`‎schemas/semantic-search-packet.v1.schema.json‎`

-Original file line number
+Diff line change
         "reasoning",
         "env",
         "runtime-source",
 +        "compiler-evidence",
         "lang",
         "std",
 +        "proof",
         "capability",
         "extension",
         "compare",

Comments

(0)