Public factory baseline

Varro V1 is live, reviewed, and now has KG-2 promotion-readiness 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 why the accepted-output index stays capped until records are actually promoted and a live tutor runtime is gated.

Build 1 packet KG-2 trace Citation checks Tutor eval

Achieved Public shell deployed

The existing isolated Fly app serves this static Varro V1 surface over valid TLS.

Measured Route, eval, citation QA, output index, KG readiness

The series now tracks route verification, tutor eval pass rate, wall-clock, cost, static citation coverage, accepted useful output, and source-backed readiness.

Constrained No infra mutation

Autonomous work can refresh content only; app, DNS, TLS, and secrets stay supervised.

Not claimed Not a promotion claim

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, and a visible citation-check surface that requires citations or refusal. That keeps the tutor measurable before expanding the site.

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.

Open citation checks

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.

Open release plan

Delivery

Public route	verified by Rust route checker
Target app	mentormind-varro-web
Rollback	pinned image digest in runbook
Latest cycle	cycle 9 verifies source-backed promotion readiness

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
Kickoff cost	0.6104224 USD lower bound
Route signal	in control after public verification

Knowledge graph

Records	KG-2 draft source-linked rebuild
Relationships	normalised records, not inline claims
Promotion	0 of 18 records are source-backed
Active gaps	promotion execution gate; 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 accepted Build 1 surfaces are visible or evidenced.
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.

Next controlled step

Improve content depth without weakening the gates.

Use KG-2

Generate the next tutor-facing content from the KG-2 draft, then attempt source-backed promotion only through the promotion gate.

Integrate the runtime

Move from static citation checks to a reviewed tutor answer surface with citations enforced in the interface.

Compare approaches

Record cost, wall-clock, interventions, reviewer-orientation coverage, and final artifact quality for the just-do-it and specification-refinement passes.