The existing isolated Fly app serves this static Varro V1 surface over valid TLS.
Public factory baseline
Varro V1 is live, reviewed, and collecting learner-interface evidence.
This page is the Build 1 review surface for the Varro documentation and tutoring site. It shows what exists now, how KG-2 checked source-backed promotion readiness in Rust, and how cycle 17 collects evidence from the KG-4 learner runtime slice without claiming source-backed promotion, model calls, learner submissions, or KG mutation.
The series now tracks route verification, tutor eval pass rate, wall-clock, cost, static citation coverage, accepted useful output, source-backed readiness, runtime-boundary readiness, collect evidence, KG-4 rebuild state, the Rust runtime adapter spike, cycle 14 runtime-spike collect evidence, cycle 16 learner runtime slice, and cycle 17 learner-interface collect evidence.
Autonomous work can refresh content only; app, DNS, TLS, and secrets stay supervised.
The accepted-output index stays at 0.75 because source-backed KG promotion remains at 0/18.
Tutor seed
First learner path: write and check a VSL system.
The initial content is intentionally small: one concrete tutorial, a frozen eval set, a visible citation-check surface that requires citations or refusal, a runtime contract surface generated to the KG-2 limit, and a Rust adapter spike that validates the typed answer report. Cycle 17 collects evidence from those checked answers in a learner-facing route before any live model path is added.
- Varro is a governed query and control surface, not the owner of truth.
- The command grammar is `ask`, `show`, `check`, `run`, and `create`.
- Preview is the default posture; execution requires explicit authority.
- Out-of-scope or source-missing questions must be refused without fabrication.
Minimal checked VSL
system tutorial.hello {
mission "A first VSL system."
authority lane "operator:local"
domain software
maturity draft
context root = "helios://local/tutorial/hello"
compile workspace-runtime -> varro
runtime execution {
host governed
commit-mode host-only
}
}Evidence ledger
What the reviewer can check today.
Delivery
| Public route | verified by Rust route checker |
|---|---|
| Target app | mentormind-varro-web |
| Rollback | pinned image digest in runbook |
| Latest cycle | cycle 17 collects learner-interface evidence from KG-4 plus the checked Rust adapter fixture without claiming source-backed promotion, learner submissions, or a live model runtime |
Measurement
| Tutor eval | 1.0 pass rate on frozen v1 spike |
|---|---|
| Citation QA | 15 frozen eval items and 4 refusals checked by Rust route verification |
| Accepted output | 0.75 from reviewed surfaces, tutor eval coverage, and live deploy |
| KG readiness | 7 of 7 external source hashes verified by Rust |
| Runtime contract | 5 answer stages and 4 refusal boundaries generated to KG-2 limit |
| Runtime collect | pre-collect public route verified; no usage or live runtime evidence claimed |
| KG rebuild | 18 draft records and 16 relationships carried into KG-4 |
| Runtime adapter | 15 of 15 frozen items evaluated by Rust with 0 failures and 0 model calls |
| Runtime spike collect | 4 findings, 4 live-interface test boundaries, and 2 active gaps surfaced for the next rebuild |
| Learner interface | 15 prompt/answer cards rendered from the checked fixture with 4 refusal cases and 0 model calls |
| Learner collect | 4 collect findings and 3 still-absent boundaries recorded for the next KG rebuild |
| Kickoff cost | 0.6104224 USD lower bound |
| Route signal | in control after public verification |
Knowledge graph
| Records | KG-4 draft source-linked rebuild |
|---|---|
| Relationships | normalised records, not inline claims |
| Promotion | 0 of 18 records are source-backed |
| Active gaps | promotion execution gate; live browser/model tutor runtime |
Refinement signal
Accepted output is now separated from activity.
The useful-output score counts only review/QA-accepted, source-traced formation. It gives credit for the public surface, evaluator, citation surface, route evidence, review evidence, and SPC series, but gives no KG-promotion credit until records move through a source-backed gate.
- 1Surfaces
8 of 8 frozen Build 1 surfaces are visible or evidenced; cycles 14 and 15 add supporting QA/KG evidence, not new counted surfaces.
- 2KG
11 records are externally hash-eligible, but 0 of 18 are source-backed; draft status is preserved.
- 3Tutor
Frozen v1 eval coverage is 15 of 15 with pass rate 1.0.
- 4Deploy
The live public route passes Rust verification.