{"id":"kg4: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-4-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}
{"id":"kg4: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-4-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}
{"id":"kg4: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-4-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}
{"id":"kg4: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-4-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}
{"id":"kg4: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-4-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}
{"id":"kg4: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-4-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}
{"id":"kg4: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-4-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}
{"id":"kg4: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-4-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}
{"id":"kg4: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/bootstrap/tutorial-01-first-vsl-system.md","mentormind-program/experiments/goals-experiment/build-1/kg/kg-4-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}
{"id":"kg4: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-4-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}
{"id":"kg4: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/bootstrap/glossary.md","mentormind-program/experiments/goals-experiment/evidence/external-source-manifest.json","mentormind-program/experiments/goals-experiment/build-1/kg/kg-4-source-trace.md"],"evidence_status":"source_ref_hash_verified","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}
{"id":"kg4:decision:source-backed-promotion-gate","type":"decision","claim":"Source-backed KG promotion has a Rust readiness verifier that recomputes S1-S7 hashes and checks evidence refs; actual promotion remains blocked because the current promotion envelope is execute-disabled and human-only.","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/evidence/cycle-9-source-backed-readiness.json","mentormind-program/experiments/goals-experiment/envelopes/kg-promote-source-backed-record-envelope.json","mentormind-program/experiments/goals-experiment/build-1/kg/kg-4-source-trace.md"],"evidence_status":"checked","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}
{"id":"kg4:task:full-tutor-grounding","type":"task","claim":"Full tutor grounding now has static citation checks, a public runtime contract, runtime collect evidence, a deterministic Rust runtime adapter spike, and runtime-spike collect evidence, but a reviewed live tutor answer runtime with enforced citations is still future work.","domain":"varro","source_refs":["S1","S2","S3","G","T1","C10","C11","C13","C14"],"evidence_refs":["mentormind-program/experiments/goals-experiment/build-1/eval/varro-tutor-eval-v1-spike.md","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-10-tutor-runtime-contract.md","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-11-runtime-collect.md","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-13-rust-tutor-runtime-spike.md","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-14-runtime-spike-collect.md","mentormind-program/experiments/goals-experiment/build-1/kg/kg-4-source-trace.md"],"evidence_status":"checked","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}
{"id":"kg4:task:public-release","type":"task","claim":"Public deployment to varro.mentormind.com.au has a checked content-only path on the already-provisioned app; future content refreshes still require the review gate, runbook deploy command, rollback path, and Rust route verification across all active public routes.","domain":"varro","source_refs":["S2","S3","R1","C3","C4","C10","C11"],"evidence_refs":["mentormind-program/experiments/goals-experiment/factory/deploy-runbook.md","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-3-deploy.txt","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-10-route-verify.txt","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-11-route-verify.txt","mentormind-program/experiments/goals-experiment/build-1/kg/kg-4-source-trace.md"],"evidence_status":"checked","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}
{"id":"kg4:qa:public-route-live-verified","type":"qa_result","claim":"The content-only public deploy path is live on mentormind-varro-web, rollback-proven by the runbook setup proof, and verified by the Rust route verifier through the root, citation, runtime-contract, runtime-collect, KG rebuild, runtime-spike, and runtime-spike-collect routes in cycle 14.","domain":"varro","source_refs":["R1","C3","C4","C10","C11","C12","C13","C14"],"evidence_refs":["mentormind-program/experiments/goals-experiment/factory/deploy-runbook.md","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-3-deploy.txt","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-12-route-verify.txt","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-13-route-verify.txt","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-14-route-verify.txt","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-14-fly-status.txt","mentormind-program/experiments/goals-experiment/build-1/kg/kg-4-source-trace.md"],"evidence_status":"checked","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}
{"id":"kg4:qa:reviewer-surface-oriented","type":"qa_result","claim":"The public shell now orients reviewers to the deployed shell, citation checks, runtime contract, runtime collect evidence, KG-4 rebuild state, runtime adapter spike evidence, and runtime-spike collect evidence without claiming source-backed promotion or a live tutor runtime.","domain":"varro","source_refs":["C4","C8","C9","C10","C11","C12","C13","C14"],"evidence_refs":["mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-8-accepted-output-index.md","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-9-source-backed-readiness.json","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-10-tutor-runtime-contract.md","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-11-runtime-collect.md","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-12-kg3-rebuild.md","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-13-rust-tutor-runtime-spike.md","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-14-runtime-spike-collect.md","mentormind-program/experiments/goals-experiment/build-1/kg/kg-4-source-trace.md"],"evidence_status":"checked","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}
{"id":"kg4:gap:source-backed-promotion-execution-gate","type":"unresolved_gap","claim":"S1-S7 hashes verify and KG evidence refs are present, but zero records are promoted to source_backed because the existing promotion envelope still requires human-only execution and has execute_enabled=false.","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/evidence/cycle-9-source-backed-readiness.json","mentormind-program/experiments/goals-experiment/envelopes/kg-promote-source-backed-record-envelope.json","mentormind-program/experiments/goals-experiment/build-1/kg/kg-4-source-trace.md"],"evidence_status":"checked","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}
{"id":"kg4:gap:tutor-runtime-not-integrated","type":"unresolved_gap","claim":"The frozen eval set, citation checks, runtime contract, runtime collect surface, deterministic Rust runtime adapter spike, and runtime-spike collect surface are reviewed static or fixture-backed evidence, but a Build-1 live tutor answer runtime with enforced citations is not yet integrated into the public shell.","domain":"varro","source_refs":["S1","S2","S3","G","T1","C10","C11","C13","C14"],"evidence_refs":["mentormind-program/experiments/goals-experiment/build-1/eval/varro-tutor-eval-v1-spike.md","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-7-tutor-surface-collect.md","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-10-tutor-runtime-contract.md","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-11-runtime-collect.md","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-13-rust-tutor-runtime-spike.md","mentormind-program/experiments/goals-experiment/build-1/evidence/cycle-14-runtime-spike-collect.md","mentormind-program/experiments/goals-experiment/build-1/kg/kg-4-source-trace.md"],"evidence_status":"checked","promotion_state":"not_source_backed","build_attempt_id":"build_attempt:varro-v1-cycle-15-kg4-rebuild","created_by":"agent:codex","updated_at":"2026-06-02T16:45:00Z"}