{"id":"kg0:concept:varro-governed-surface","type":"concept","claim":"Varro is a governed query and control surface over Helios authoritative sources, not the owner of truth and not a free-form chatbot.","domain":"varro","source_refs":["S1","S2"],"evidence_refs":["mentormind-program/experiments/goals-experiment/evidence/external-source-manifest.json","mentormind-program/experiments/goals-experiment/build-1/kg/kg-0-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-kickoff","created_by":"agent:codex","updated_at":"2026-06-02T09:35:08Z"}
{"id":"kg0:concept:authority-stack","type":"concept","claim":"The Varro authority stack is authoritative sources, then Varro as the presentation window, then callers; if Varro and a source disagree, the source wins.","domain":"varro","source_refs":["S1","S2"],"evidence_refs":["mentormind-program/experiments/goals-experiment/evidence/external-source-manifest.json","mentormind-program/experiments/goals-experiment/build-1/kg/kg-0-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-kickoff","created_by":"agent:codex","updated_at":"2026-06-02T09:35:08Z"}
{"id":"kg0:spec:five-verb-command-grammar","type":"spec_claim","claim":"The Varro command grammar has five verbs: ask, show, check, run, create; unknown verbs are rejected.","domain":"varro","source_refs":["S1","S2","S3"],"evidence_refs":["mentormind-program/experiments/goals-experiment/evidence/external-source-manifest.json","mentormind-program/experiments/goals-experiment/build-1/kg/kg-0-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-kickoff","created_by":"agent:codex","updated_at":"2026-06-02T09:35:08Z"}
{"id":"kg0:spec:vsl-declarative-language","type":"spec_claim","claim":"VSL is a declarative language for describing systems, views, workflows, actions, and bootstrap descriptors; it is distinct from the live Varro command grammar.","domain":"varro","source_refs":["S3"],"evidence_refs":["mentormind-program/experiments/goals-experiment/evidence/external-source-manifest.json","mentormind-program/experiments/goals-experiment/build-1/kg/kg-0-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-kickoff","created_by":"agent:codex","updated_at":"2026-06-02T09:35:08Z"}
{"id":"kg0:spec:vsl-maturity-rungs","type":"spec_claim","claim":"VSL maturity progresses through draft, checked, bound, and hardened; bound and hardened require concrete lowering support to fail closed rather than remain inferred.","domain":"varro","source_refs":["S3"],"evidence_refs":["mentormind-program/experiments/goals-experiment/evidence/external-source-manifest.json","mentormind-program/experiments/goals-experiment/build-1/kg/kg-0-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-kickoff","created_by":"agent:codex","updated_at":"2026-06-02T09:35:08Z"}
{"id":"kg0:spec:vsl-type-field-declaration","type":"spec_claim","claim":"A VSL type can declare fields in the form field <name>: <kind> required|optional, including primitive kinds, arrays, and named enums.","domain":"varro","source_refs":["S3","S7"],"evidence_refs":["mentormind-program/experiments/goals-experiment/evidence/external-source-manifest.json","mentormind-program/experiments/goals-experiment/build-1/kg/kg-0-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-kickoff","created_by":"agent:codex","updated_at":"2026-06-02T09:35:08Z"}
{"id":"kg0:spec:enum-closed-value-set","type":"spec_claim","claim":"Enums represent closed value sets that can be referenced by fields, moving constraints from prose into a typed validation surface.","domain":"varro","source_refs":["S6","S7"],"evidence_refs":["mentormind-program/experiments/goals-experiment/evidence/external-source-manifest.json","mentormind-program/experiments/goals-experiment/build-1/kg/kg-0-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-kickoff","created_by":"agent:codex","updated_at":"2026-06-02T09:35:08Z"}
{"id":"kg0:spec:action-lowering-targets","type":"spec_claim","claim":"A VSL action declares inputs, risk/binding posture, and a lowering target; executable constructs need explicit lowering targets at bound maturity.","domain":"varro","source_refs":["S3","S4"],"evidence_refs":["mentormind-program/experiments/goals-experiment/evidence/external-source-manifest.json","mentormind-program/experiments/goals-experiment/build-1/kg/kg-0-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-kickoff","created_by":"agent:codex","updated_at":"2026-06-02T09:35:08Z"}
{"id":"kg0:spec:preview-by-default","type":"spec_claim","claim":"Varro previews governed action and evidence before mutation; execution requires an explicit execute path rather than default persistence.","domain":"varro","source_refs":["S2","T1"],"evidence_refs":["mentormind-program/experiments/goals-experiment/evidence/external-source-manifest.json","mentormind-program/experiments/goals-experiment/build-1/kg/kg-0-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-kickoff","created_by":"agent:codex","updated_at":"2026-06-02T09:35:08Z"}
{"id":"kg0:concept:helios-contracts","type":"concept","claim":"VSL lowers into existing Helios contracts and runtime descriptors rather than creating a parallel runtime.","domain":"varro","source_refs":["S2","S3"],"evidence_refs":["mentormind-program/experiments/goals-experiment/evidence/external-source-manifest.json","mentormind-program/experiments/goals-experiment/build-1/kg/kg-0-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-kickoff","created_by":"agent:codex","updated_at":"2026-06-02T09:35:08Z"}
{"id":"kg0:concept:prose-entropy","type":"concept","claim":"Prose-only constraints create entropy because they can describe allowed values without giving the validator a closed, checkable value set.","domain":"varro","source_refs":["S6","G"],"evidence_refs":["mentormind-program/experiments/goals-experiment/evidence/external-source-manifest.json","mentormind-program/experiments/goals-experiment/build-1/kg/kg-0-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-kickoff","created_by":"agent:codex","updated_at":"2026-06-02T09:35:08Z"}
{"id":"kg0:decision:source-backed-promotion-gate","type":"decision","claim":"Source-backed KG promotion is gated until an adapter recomputes source hashes, checks evidence refs, passes review, and receives required approval.","domain":"varro","source_refs":["S1","S2","S3","S4","S5","S6","S7"],"evidence_refs":["mentormind-program/experiments/goals-experiment/evidence/external-source-manifest.json","mentormind-program/experiments/goals-experiment/build-1/kg/kg-0-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-kickoff","created_by":"agent:codex","updated_at":"2026-06-02T09:35:08Z"}
{"id":"kg0:task:full-tutor-grounding","type":"task","claim":"Full tutor grounding remains a future Build-1 task after the KG seed and output-shape contract are ready; the local shell does not yet integrate a tutor runtime.","domain":"varro","source_refs":["S1","S2","S3","G","T1"],"evidence_refs":["mentormind-program/experiments/goals-experiment/build-1/eval/varro-tutor-eval-v1-spike.md","mentormind-program/experiments/goals-experiment/build-1/kg/kg-0-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-kickoff","created_by":"agent:codex","updated_at":"2026-06-02T09:35:08Z"}
{"id":"kg0:task:public-release","type":"task","claim":"Public deployment to varro.mentormind.com.au is a gated milestone-2 task, not part of the current local milestone-1 pass.","domain":"varro","source_refs":["S2","S3"],"evidence_refs":["mentormind-program/experiments/goals-experiment/build-1/release/publish-site-release-plan.md","mentormind-program/experiments/goals-experiment/build-1/kg/kg-0-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-kickoff","created_by":"agent:codex","updated_at":"2026-06-02T09:35:08Z"}
{"id":"kg0:gap:source-backed-promotion-block","type":"unresolved_gap","claim":"S1-S7 are workspace-local external sources. Their manifest hashes verify now, but KG records must remain not_source_backed until a promotion adapter checks the same hashes and review/authority gates pass.","domain":"varro","source_refs":["S1","S2","S3","S4","S5","S6","S7"],"evidence_refs":["mentormind-program/experiments/goals-experiment/evidence/external-source-manifest.json","mentormind-program/experiments/goals-experiment/build-1/kg/kg-0-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-kickoff","created_by":"agent:codex","updated_at":"2026-06-02T09:35:08Z"}
{"id":"kg0:gap:tutor-runtime-not-integrated","type":"unresolved_gap","claim":"The frozen eval set can be scored through a bridge prompt and structured eval contract, but a Build-1 tutor answer surface is not yet integrated into the local shell.","domain":"varro","source_refs":["S1","S2","S3","G","T1"],"evidence_refs":["mentormind-program/experiments/goals-experiment/build-1/eval/varro-tutor-eval-v1-spike.md","mentormind-program/experiments/goals-experiment/build-1/kg/kg-0-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-kickoff","created_by":"agent:codex","updated_at":"2026-06-02T09:35:08Z"}
{"id":"kg0:gap:publish-site-execute-bound","type":"unresolved_gap","claim":"Public deployment requires a Rust publish-site adapter, release evidence, rollback plan, Claude Code review gate, and Philip approval. This kickoff creates only a release plan.","domain":"varro","source_refs":["S2","S3"],"evidence_refs":["mentormind-program/experiments/goals-experiment/build-1/release/publish-site-release-plan.md","mentormind-program/experiments/goals-experiment/build-1/kg/kg-0-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-kickoff","created_by":"agent:codex","updated_at":"2026-06-02T09:35:08Z"}