Documentation
¶
Overview ¶
ENGMODEL-OWNER-UNIT: FU-CODEMAP-INFERENCE
ENGMODEL-OWNER-UNIT: FU-CODEMAP-INFERENCE
ENGMODEL-OWNER-UNIT: FU-CODEMAP-INFERENCE
ENGMODEL-OWNER-UNIT: FU-CODEMAP-INFERENCE
ENGMODEL-OWNER-UNIT: FU-CODEMAP-INFERENCE
Index ¶
- func EvidenceFileKey(elem string) string
- func EvidenceLabel(elem string) string
- func EvidenceLabelLookup(elems []string) map[string]string
- func GroupedEvidenceLabels(elems []string, lookup map[string]string) []string
- func GroupedFileLabels(elems []string, lookup map[string]string) []string
- func IsVerificationCodeItem(item CodeItem) bool
- func ItemDisplayName(c CodeItem) string
- func ItemEvidenceElement(c CodeItem) string
- func ItemPath(c CodeItem) string
- func JoinLineNumbers(lines []int) string
- func LanguageFromPath(p string) string
- func LoadBundle(manifestPath string) (model.Bundle, error)
- func ModelRootDir(bundle model.Bundle) string
- func NormalizeResultStatus(s string) string
- func ParseLineNumberList(s string) ([]int, bool)
- func SanitizeNode(s string) string
- func SanitizeSourcePath(in string) string
- func SkipScanDir(name string) bool
- func SplitEvidencePathLines(elem string) (string, []int, bool)
- func SplitSourceLine(source string) (string, int)
- func UniqueExistingSources(in []string) []string
- func WithCodeIndex(bundle model.Bundle) model.Bundle
- func WithDefaultCodeRoot(bundle model.Bundle, roots []string) []string
- type CodeItem
- type RuntimeItem
- type VerificationCheck
- type VerificationResult
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func EvidenceLabel ¶
ENGMODEL-LINKS: FU-ASCIIDOC-GENERATOR, FU-CODEMAP-INFERENCE, CTRL-TRACEABILITY-COVERAGE, DEP-LOCAL-WORKSPACE TRLC-LINKS: REQ-EMG-003
func EvidenceLabelLookup ¶
TRLC-LINKS: REQ-EMG-003
func GroupedEvidenceLabels ¶
ENGMODEL-LINKS: FU-ASCIIDOC-GENERATOR, FU-CODEMAP-INFERENCE, CTRL-TRACEABILITY-COVERAGE, DEP-LOCAL-WORKSPACE TRLC-LINKS: REQ-EMG-003
func GroupedFileLabels ¶
TRLC-LINKS: REQ-EMG-003
func IsVerificationCodeItem ¶
IsVerificationCodeItem reports whether a code item is test code rather than production implementation: it lives in a test file, or it is a Rust item compiled only for tests (#[cfg(test)] module or #![cfg(test)] file). TRLC-LINKS: REQ-EMG-010, REQ-EMG-030
func LoadBundle ¶
LoadBundle loads a model bundle and attaches its lazily built CODE identifier index, so validation can resolve authored references to in-repository files and declarations. TRLC-LINKS: REQ-EMG-059 ENGMODEL-LINKS: FU-MODEL-LOADER, FU-CODEMAP-INFERENCE
func NormalizeResultStatus ¶
ENGMODEL-LINKS: FU-CODEMAP-INFERENCE, CTRL-TRACEABILITY-COVERAGE, DEP-LOCAL-WORKSPACE TRLC-LINKS: REQ-EMG-010
func SkipScanDir ¶
ENGMODEL-LINKS: FU-CODEMAP-INFERENCE, CTRL-TRACEABILITY-COVERAGE, DEP-LOCAL-WORKSPACE SkipScanDir reports whether a directory must be excluded from code/metadata walks. Dependency caches and dot-directories (tool caches like .opencode, the .engmod composition cache, .git) are not source; scanning them makes generated artifacts depend on the local environment and breaks reproducibility. TRLC-LINKS: REQ-EMG-010, REQ-EMG-012 ENGMODEL-LINKS: FU-CODEMAP-INFERENCE, DEP-LOCAL-WORKSPACE
func SplitEvidencePathLines ¶
TRLC-LINKS: REQ-EMG-003
func SplitSourceLine ¶
SplitSourceLine splits an inferred code item Source ("path:line") into path and line. TRLC-LINKS: REQ-EMG-030 ENGMODEL-LINKS: FU-CODEMAP-INFERENCE
func UniqueExistingSources ¶
TRLC-LINKS: REQ-EMG-010
func WithCodeIndex ¶
WithCodeIndex attaches the lazily built CODE identifier index unless the bundle has one, so bundles loaded by callers with model.LoadBundle resolve CODE references too. An in-memory bundle without a manifest or architecture path has no module root and gets none. TRLC-LINKS: REQ-EMG-059 ENGMODEL-LINKS: FU-MODEL-LOADER, FU-CODEMAP-INFERENCE
Types ¶
type CodeItem ¶
type CodeItem struct {
Element string
Kind string
Owner string
Description string
Source string
AbsPath string // absolute file path (symbol items), for unambiguous model-boundary scoping
EvidencePath string // model-relative path for portable publication evidence
Implements []string
ModelLinks []string
}
ENGMODEL-LINKS: FU-CODEMAP-INFERENCE, CTRL-TRACEABILITY-COVERAGE, DEP-LOCAL-WORKSPACE
func InferCodeItems ¶
ENGMODEL-LINKS: FU-CODEMAP-INFERENCE, CTRL-TRACEABILITY-COVERAGE, DEP-LOCAL-WORKSPACE TRLC-LINKS: REQ-EMG-010, REQ-EMG-057
type RuntimeItem ¶
type RuntimeItem struct {
Name string
Kind string
Owner string
Description string
Source string
Ports []string
}
ENGMODEL-LINKS: FU-CODEMAP-INFERENCE, CTRL-TRACEABILITY-COVERAGE, DEP-LOCAL-WORKSPACE
func InferRuntimeItems ¶
func InferRuntimeItems(bundle model.Bundle) ([]RuntimeItem, []validate.Diagnostic)
ENGMODEL-LINKS: FU-CODEMAP-INFERENCE, CTRL-TRACEABILITY-COVERAGE, DEP-LOCAL-WORKSPACE TRLC-LINKS: REQ-EMG-010
type VerificationCheck ¶
type VerificationCheck struct {
ID string
Name string
Kind string
Status string
Description string
Verifies []string
CodeElements []string
DerivedOwners []string
Evidence []string
Results []VerificationResult
}
ENGMODEL-LINKS: FU-CODEMAP-INFERENCE, CTRL-TRACEABILITY-COVERAGE, DEP-LOCAL-WORKSPACE
func InferVerificationChecks ¶
func InferVerificationChecks(bundle model.Bundle, requirements model.RequirementsDocument, inferredCode []CodeItem, codeRootOption string) ([]VerificationCheck, []validate.Diagnostic)
ENGMODEL-LINKS: FU-CODEMAP-INFERENCE, CTRL-TRACEABILITY-COVERAGE, DEP-LOCAL-WORKSPACE TRLC-LINKS: REQ-EMG-010
Source Files