Commit bc4d806
feat: implement Gnosis triple API (REST + gRPC + GraphQL) via V-lang
V-API-Interfaces now expose Gnosis stateful artefact rendering:
- REST: POST /render, GET /context, GET /health
- GraphQL: render/context/health queries + GraphiQL playground
- gRPC: JSON-over-HTTP transport (gRPC-Web compatible)
All three invoke the gnosis Haskell binary via os.execute(), configurable
via GNOSIS_BIN env var. Compiles on V 0.5.0.
Added Idris2 ABI types (GnosisTypes.idr):
- RenderMode with exhaustiveness proof
- TemplateSource with NonEmptySource proof
- GnosisAPI interface for all three transports
- Transport enum with portOffset distinctness proof
Also converts v-ecosystem from orphaned gitlink to regular tracked
directory (cleanup from 2026-02-20 submodule removal).
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>1 parent 6cfef4a commit bc4d806
1,275 files changed
Lines changed: 110765 additions & 1 deletion
File tree
- v-ecosystem
- .machine_readable
- v-api-interfaces
- src/abi
- v-graphql
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- ai
- anchors
- bot_directives
- contractiles
- dust
- k9
- examples
- lust
- must
- trust
- .reuse
- .well-known
- LICENSES
- benches
- docs
- decisions
- maintenance
- practice
- theory
- whitepapers
- academic
- industry
- examples
- ffi/zig
- src
- test
- generated/abi
- licensing
- scripts/maintenance
- src
- abi
- tests
- v-grpc
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- ai
- anchors
- bot_directives
- contractiles
- dust
- k9
- examples
- lust
- must
- trust
- .reuse
- .well-known
- LICENSES
- benches
- docs
- decisions
- maintenance
- practice
- theory
- whitepapers
- academic
- industry
- examples
- ffi/zig
- src
- test
- generated/abi
- licensing
- scripts/maintenance
- src
- abi
- tests
- v-rest
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- ai
- anchors
- bot_directives
- contractiles
- dust
- k9
- examples
- lust
- must
- trust
- .reuse
- .well-known
- LICENSES
- benches
- docs
- decisions
- maintenance
- practice
- theory
- whitepapers
- academic
- industry
- examples
- ffi/zig
- src
- test
- generated/abi
- licensing
- scripts/maintenance
- src
- abi
- tests
- v-benchmarks
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- ai
- anchors
- bot_directives
- contractiles
- dust
- k9
- examples
- lust
- must
- trust
- .reuse
- .well-known
- LICENSES
- benches
- docs
- decisions
- maintenance
- practice
- theory
- whitepapers
- academic
- industry
- examples
- ffi/zig
- src
- test
- generated/abi
- licensing
- scripts/maintenance
- src/abi
- tests
- v-deno
- docs
- examples
- ffi/zig
- src
- test
- src
- abi
- bindings
- v-idris-abi
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- ai
- anchors
- bot_directives
- contractiles
- dust
- k9
- examples
- lust
- must
- trust
- .reuse
- .well-known
- LICENSES
- benches
- docs
- decisions
- maintenance
- practice
- theory
- whitepapers
- academic
- industry
- examples
- ffi/zig
- src
- test
- generated/abi
- licensing
- scripts/maintenance
- src/abi
- tests
- v-middleware
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- ai
- anchors
- bot_directives
- contractiles
- dust
- k9
- examples
- lust
- must
- trust
- .reuse
- .well-known
- LICENSES
- benches
- docs
- decisions
- maintenance
- practice
- theory
- whitepapers
- academic
- industry
- examples
- ffi/zig
- src
- test
- generated/abi
- licensing
- scripts/maintenance
- src/abi
- tests
- v-telemetry
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- ai
- anchors
- bot_directives
- contractiles
- dust
- k9
- examples
- lust
- must
- trust
- .reuse
- .well-known
- LICENSES
- benches
- docs
- decisions
- maintenance
- practice
- theory
- whitepapers
- academic
- industry
- examples
- ffi/zig
- src
- test
- generated/abi
- licensing
- scripts/maintenance
- src/abi
- tests
- v-validator
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- ai
- anchors
- bot_directives
- contractiles
- dust
- k9
- examples
- lust
- must
- trust
- .reuse
- .well-known
- LICENSES
- benches
- docs
- decisions
- maintenance
- practice
- theory
- whitepapers
- academic
- industry
- examples
- ffi/zig
- src
- test
- generated/abi
- licensing
- scripts/maintenance
- src/abi
- tests
- v-zig-ffi
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- ai
- anchors
- bot_directives
- contractiles
- dust
- k9
- examples
- lust
- must
- trust
- .reuse
- .well-known
- LICENSES
- benches
- docs
- decisions
- maintenance
- practice
- theory
- whitepapers
- academic
- industry
- examples
- ffi/zig
- src
- test
- generated/abi
- licensing
- scripts/maintenance
- src/abi
- tests
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
This file was deleted.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 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 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 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 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 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 | + | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
0 commit comments