kivgraph: Skill for Claude Code

Adding a language to Kivgraph

The rule that costs the most to discover

internal/facts/semantic.go:483:

func definitionProvenance(language Language) Provenance {
	if language == LanguageDart {
		return DartAnalyzerDefinition
	}
	return PythonIndexerDefinition
}

That was the shape until Java arrived: two functions, both if Dart, else Python. A language added through the payload route and not added here published every definition as PYTHON_INDEXER_DEF and every use as PYTHON_INDEXER_USE. Nothing failed. The provenance is legal, canonicalProvenanceValues accepts it, stage.integrity passes with 0 invariant violations, the golden probes pass, doctor goes green. The graph is wrong in the one field that says where a fact came from, and nothing but reading it would have told you.

It is a table with no default now, and NormalizeSemantic refuses a payload whose language has no provenance. That check is not decoration: Set.Validate would not have caught it, because it only rejects an empty provenance under an EXACT confidence and DEFINES is StructuralCertain. Add your two constants, or your first test fails at the door.

The same shape repeated in the indexer, where the fallthrough was TypeScript, and that one is fixed too -- see The branch that used to decide what you are.

So the work is not writing a loader. The work is finding the branches that already decide what your language is without being asked. Two of them are now failures instead of defaults, which is the only reason this file is shorter than it was. Assume there are more.

Two routes, and the one you want