Documentation
¶
Overview ¶
Package predicateaudit extracts predicate identities from owned source and configuration artifacts and validates them against the canonical grammar.
Index ¶
Constants ¶
const ( // FixtureInvalidMarker introduces one JSON source classification on the // same line as the exact malformed Go predicate occurrence it classifies. FixtureInvalidMarker = "predicate-audit:invalid" // name-derived Go occurrence that was reviewed as unrelated to predicates. FixtureUnrelatedMarker = "predicate-audit:unrelated" // FixtureStoredPredicateKind is the contract kind audited by this corpus. FixtureStoredPredicateKind = "stored-predicate" )
Variables ¶
This section is empty.
Functions ¶
Types ¶
type FixtureArtifactDisposition ¶
type FixtureArtifactDisposition struct {
File string `json:"file"`
Classification string `json:"classification"`
Basis string `json:"basis"`
}
FixtureArtifactDisposition records one exact unsupported testdata artifact that was reviewed as unrelated to predicate syntax.
type FixtureAuditResult ¶
type FixtureAuditResult struct {
Candidates []FixtureCandidate
Findings []FixtureFinding
Classifications int
Dispositions int
}
FixtureAuditResult is the complete complementary test-fixture corpus.
func AuditTestFixtures ¶
func AuditTestFixtures(manifestPath string, roots ...string) (FixtureAuditResult, error)
AuditTestFixtures audits the corpus deliberately excluded by Audit. It only walks *_test.go plus structured artifacts below directories named testdata. Go negatives use same-line source annotations; commentless fixtures use the exact checked manifest supplied by manifestPath.
type FixtureCandidate ¶
type FixtureCandidate struct {
File string
Line int
Column int
Location string
Document int
Record int
Occurrence int
Predicate string
Surface string
RuntimeAuthoritative bool
Unresolved bool
}
FixtureCandidate records one predicate occurrence in a tracked Go test or a structured artifact beneath testdata. RuntimeAuthoritative is true when internal/semantictest.Predicate validates a dynamic position at test time.
type FixtureClassificationEntry ¶
type FixtureClassificationEntry struct {
File string `json:"file"`
Location string `json:"location"`
Document *int `json:"document"`
Record *int `json:"record"`
Occurrence *int `json:"occurrence"`
Kind string `json:"kind"`
Value *string `json:"value"`
Reason string `json:"reason"`
}
FixtureClassificationEntry classifies one exact structured fixture value.
type FixtureClassificationManifest ¶
type FixtureClassificationManifest struct {
Version int `json:"version"`
Entries []FixtureClassificationEntry `json:"entries"`
}
FixtureClassificationManifest stores exact classifications for commentless structured testdata. Location remains an RFC6901-style semantic pointer; document, record, and occurrence are separate physical discriminators.
Source Files