Fix Generated Feat Identity Canonicalization

This commit is contained in:
2026-04-17 21:35:54 +02:00
parent f32dd224fe
commit 1e9a81a6cf
3 changed files with 338 additions and 4 deletions
+25
View File
@@ -982,6 +982,31 @@ func validateNativeLockAllocation(dataDir string, report *ValidationReport) {
})
continue
}
if dataset.Name == "feat" {
generatedModules, err := collectGeneratedModules(dataset, lockData)
if err != nil {
report.Diagnostics = append(report.Diagnostics, Diagnostic{
Severity: SeverityError,
Path: dataset.GeneratedDir,
Message: fmt.Sprintf("collect generated feat modules for lock allocation validation: %v", err),
})
continue
}
for _, module := range generatedModules {
ids, err := collectExplicitModuleIDs(dataset.Name, module.Name, module.Data)
if err != nil {
report.Diagnostics = append(report.Diagnostics, Diagnostic{
Severity: SeverityError,
Path: module.Name,
Message: err.Error(),
})
continue
}
for key, rowID := range ids {
explicitModuleIDs[key] = rowID
}
}
}
invalid := 0
for key, rowID := range lockData {
if rowID > baseBoundaryID {