The existing isolated Fly app serves this static Varro V1 surface over valid TLS.
Public factory baseline
The Varro V1 public route is live, reviewed, and source-backed through cycle 27.
This page is the Build 1 review surface for the Varro documentation and tutoring site. It shows what exists now, how cycle 27 promotes five broad-evidence-backed records into KG-10, how cycle 26 defined a broad-evidence manifest standard for C*/R1 cycle evidence, how cycle 25 uses a source-ref manifest to promote two bootstrap-backed KG records into KG-9, how cycle 24 rebuilt KG-8 from the live-runtime gate collect packet, how cycle 22 refuses live model execution while the generated-answer citation gate is present, how cycle 23 collects against the live-runtime gate without changing that authority boundary, how the Rust verifier now confirms 25 of 25 manifest hashes while KG-10 carries all 18 records as source-backed, and how the remaining live tutor runtime gap stays active as a source-backed gap claim with escalation esc-005 without model-call, learner-submission, production KG-store, or infrastructure claims.
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-6 promotion state, the Rust runtime adapter spike, cycle 14 runtime-spike collect evidence, cycle 16 learner runtime slice, cycle 17 learner-interface collect evidence, cycle 18 KG-5 rebuild evidence, cycle 19 source-backed promotion evidence, cycle 20 live-runtime-gap collect evidence, cycle 21 KG-7 rebuild evidence, cycle 22 runtime-gate refusal evidence, cycle 23 gate-collect evidence, cycle 24 KG-8 rebuild evidence, cycle 25 KG-9 source-ref promotion evidence, cycle 26 C*/R1 manifest standard evidence, and cycle 27 KG-10 source-backed promotion evidence.
Autonomous work can refresh content only; app, DNS, TLS, and secrets stay supervised.
The accepted-output index reaches 1.0000 only as a cumulative useful-output index after KG-10 promotion and live route verification; it does not claim a live model runtime or production KG store mutation.
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 23 collects against the live-runtime gate: candidate generated-answer citations remain checked, but live model execution is still refused until backend, secret, and learner-submission boundaries are reviewed.
- 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 27 promotes the five held broad-evidence-backed records into KG-10, preserving execution refusal and zero production KG-store mutation |
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 | 1.0000 from reviewed surfaces, 18/18 source-backed KG promotion, tutor eval coverage, and live deploy |
| Broad evidence manifest | 25 of 25 S/G/T/C/R refs hash-verified by Rust; five KG-9 records promoted into KG-10 in cycle 27 |
| 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 promotion | 18 records and 16 relationships carried into KG-10; 18 records are source-backed; the active runtime gap remains a source-backed gap claim |
| 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 |
| Live runtime collect | 4 KG-6 readiness checks, 4 blockers, 4 evidence inputs, and 1 active live-model runtime gap consumed by KG-7 and carried into KG-8 |
| Live runtime gate collect | 4 candidate citation checks, 4 execute refusal reasons, 4 unblock requirements, 4 collect findings, 4 regression checks, and 4 KG-8 rebuild inputs consumed by KG-8; live execution refused in the static no-secret envelope |
| Kickoff cost | 0.6104224 USD lower bound |
| Route signal | in control after public verification |
Knowledge graph
| Records | KG-10 promotion packet |
|---|---|
| Relationships | normalised records, not inline claims |
| Promotion | 18 of 18 records are source-backed |
| Active gaps | live model-backed tutor runtime refused pending backend, secret, route-verifier, and learner-boundary review |
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, SPC series, and the bootstrap source-ref promotion while cycle 27 applies the broad cycle-evidence readiness standard to actual KG promotion.
- 1Surfaces
8 of 8 frozen Build 1 surfaces are visible or evidenced; cycles 14 through 21 add supporting QA/KG evidence, not new counted surfaces.
- 2KG
18 records are manifest-hash verified and source-backed in KG-10; the live runtime gap remains active as a source-backed gap claim rather than a solved runtime.
- 3Tutor
Frozen v1 eval coverage is 15 of 15 with pass rate 1.0.
- 4Deploy
The live public route passes Rust verification.