97 lines
2.4 KiB
Go
97 lines
2.4 KiB
Go
package instruction
|
|
|
|
import (
|
|
"context"
|
|
"strings"
|
|
|
|
"reasonix/internal/memory"
|
|
)
|
|
|
|
// VerifyCheck is a host-observable project check extracted from structured
|
|
// project memory. It is runtime-only and is not serialized into prompts.
|
|
type VerifyCheck struct {
|
|
Command string
|
|
SourcePath string
|
|
Line int
|
|
}
|
|
|
|
type contextKey struct{}
|
|
|
|
func WithChecks(ctx context.Context, checks []VerifyCheck) context.Context {
|
|
if len(checks) == 0 {
|
|
return ctx
|
|
}
|
|
cp := append([]VerifyCheck(nil), checks...)
|
|
return context.WithValue(ctx, contextKey{}, cp)
|
|
}
|
|
|
|
func FromContext(ctx context.Context) []VerifyCheck {
|
|
checks, ok := ctx.Value(contextKey{}).([]VerifyCheck)
|
|
if !ok || len(checks) == 0 {
|
|
return nil
|
|
}
|
|
return append([]VerifyCheck(nil), checks...)
|
|
}
|
|
|
|
// ExtractHostChecks reads only the structured "Reasonix host checks" section.
|
|
// Ordinary project instructions remain guidance and do not become hard gates.
|
|
func ExtractHostChecks(docs []memory.Source) []VerifyCheck {
|
|
seen := map[string]bool{}
|
|
var checks []VerifyCheck
|
|
for _, doc := range docs {
|
|
inSection := false
|
|
for i, raw := range strings.Split(doc.Body, "\n") {
|
|
line := strings.TrimRight(raw, "\r")
|
|
if heading, ok := markdownHeading(line); ok {
|
|
inSection = strings.EqualFold(heading, "Reasonix host checks")
|
|
continue
|
|
}
|
|
if !inSection {
|
|
continue
|
|
}
|
|
command, ok := verifyBullet(line)
|
|
if !ok || seen[command] {
|
|
continue
|
|
}
|
|
seen[command] = true
|
|
checks = append(checks, VerifyCheck{
|
|
Command: command,
|
|
SourcePath: doc.Path,
|
|
Line: i + 1,
|
|
})
|
|
}
|
|
}
|
|
return checks
|
|
}
|
|
|
|
func markdownHeading(line string) (string, bool) {
|
|
line = strings.TrimSpace(line)
|
|
if !strings.HasPrefix(line, "#") {
|
|
return "", false
|
|
}
|
|
i := 0
|
|
for i < len(line) && line[i] == '#' {
|
|
i++
|
|
}
|
|
if i == 0 || i >= len(line) || line[i] != ' ' {
|
|
return "", false
|
|
}
|
|
heading := strings.TrimSpace(line[i+1:])
|
|
heading = strings.TrimSpace(strings.TrimRight(heading, "#"))
|
|
return heading, heading != ""
|
|
}
|
|
|
|
func verifyBullet(line string) (string, bool) {
|
|
line = strings.TrimSpace(line)
|
|
if len(line) < 2 || (line[:2] != "- " && line[:2] != "* ") {
|
|
return "", false
|
|
}
|
|
body := strings.TrimSpace(line[2:])
|
|
const prefix = "verify:"
|
|
if len(body) < len(prefix) || !strings.EqualFold(body[:len(prefix)], prefix) {
|
|
return "", false
|
|
}
|
|
command := strings.TrimSpace(body[len(prefix):])
|
|
return command, command != ""
|
|
}
|