add grace_schema.yaml
This commit is contained in:
65
.ai/grace_schema.yaml
Normal file
65
.ai/grace_schema.yaml
Normal file
@@ -0,0 +1,65 @@
|
|||||||
|
# Конфигурация парсера GRACE-Poly (Динамическая схема контрактов)
|
||||||
|
# Этот файл позволяет настраивать, какие теги сервер видит, как он их парсит, и какие из них используются для RAG (обхода зависимостей).
|
||||||
|
|
||||||
|
tags:
|
||||||
|
PURPOSE:
|
||||||
|
type: string
|
||||||
|
multiline: true
|
||||||
|
description: "Основное предназначение модуля или функции"
|
||||||
|
min_complexity: 2
|
||||||
|
|
||||||
|
PRE:
|
||||||
|
type: string
|
||||||
|
description: "Предусловия (Pre-conditions)"
|
||||||
|
min_complexity: 4
|
||||||
|
|
||||||
|
POST:
|
||||||
|
type: string
|
||||||
|
description: "Постусловия (Post-conditions)"
|
||||||
|
min_complexity: 4
|
||||||
|
|
||||||
|
SIDE_EFFECT:
|
||||||
|
type: string
|
||||||
|
description: "Побочные эффекты"
|
||||||
|
min_complexity: 4
|
||||||
|
|
||||||
|
DATA_CONTRACT:
|
||||||
|
type: string
|
||||||
|
min_complexity: 4
|
||||||
|
|
||||||
|
INVARIANT:
|
||||||
|
type: string
|
||||||
|
description: "Инварианты"
|
||||||
|
min_complexity: 5
|
||||||
|
|
||||||
|
RELATION:
|
||||||
|
type: array
|
||||||
|
separator: "->"
|
||||||
|
is_reference: true
|
||||||
|
min_complexity: 3
|
||||||
|
|
||||||
|
TIER:
|
||||||
|
type: string
|
||||||
|
enum: ["CRITICAL", "STANDARD", "TRIVIAL"]
|
||||||
|
|
||||||
|
COMPLEXITY:
|
||||||
|
type: string
|
||||||
|
enum: ["1", "2", "3", "4", "5"]
|
||||||
|
|
||||||
|
C:
|
||||||
|
type: string
|
||||||
|
enum: ["1", "2", "3", "4", "5"]
|
||||||
|
|
||||||
|
SEMANTICS:
|
||||||
|
type: array
|
||||||
|
separator: ","
|
||||||
|
|
||||||
|
UX_STATE:
|
||||||
|
type: string
|
||||||
|
min_complexity: 3
|
||||||
|
|
||||||
|
# Пример: Если вы решите добавить новый тег @AI_HINT, вы просто допишете сюда:
|
||||||
|
# AI_HINT:
|
||||||
|
# type: string
|
||||||
|
# multiline: true
|
||||||
|
# И сервер автоматически начнет выводить этот тег для LLM-агентов.
|
||||||
Reference in New Issue
Block a user