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


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.


claim: The Varro command grammar has five verbs: ask, show, check, run, create; unknown verbs are rejected.


claim: VSL is a declarative language for describing systems, views, workflows, actions, and bootstrap descriptors; it is distinct from the live Varro command grammar.


claim: VSL maturity progresses through draft, checked, bound, and hardened; bound and hardened require concrete lowering support to fail closed rather than remain inferred.


claim: A VSL type can declare fields in the form field <name>: <kind> required|optional, including primitive kinds, arrays, and named enums.


claim: Enums represent closed value sets that can be referenced by fields, moving constraints from prose into a typed validation surface.


claim: A VSL action declares inputs, risk/binding posture, and a lowering target; executable constructs need explicit lowering targets at bound maturity.


claim: Varro previews governed action and evidence before mutation; execution requires an explicit execute path rather than default persistence.


claim: VSL lowers into existing Helios contracts and runtime descriptors rather than creating a parallel runtime.


claim: Prose-only constraints create entropy because they can describe allowed values without giving the validator a closed, checkable value set.


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.

evidence_status: checked


type: task

claim: Full tutor grounding now has static citation checks, a public runtime contract, and runtime collect evidence, but a reviewed live tutor answer runtime with enforced citations is still future work.


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.


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, and runtime-collect routes in cycle 11.


claim: The public shell now orients reviewers to the deployed shell, citation checks, runtime contract, runtime collect evidence, and KG-3 rebuild state without claiming source-backed promotion or a live tutor runtime.


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.


claim: The frozen eval set, citation checks, runtime contract, and runtime collect surface are reviewed static surfaces, but a Build-1 live tutor answer runtime with enforced citations is not yet integrated into the public shell.