Skip to harness content
Open technical reference map

Mechanism

Repository controls around external coding agents

Valdris does not replace the coding interface. It installs repository-specific controls, freezes the authorized route, records external activity as evidence, evaluates applicable obligations, and blocks unsupported completion.

Execution sequence

01

Commission the repository

Generate repository-specific controls, a project adapter, coding-agent entry points, commands, authority boundaries, and proof obligations.

02

Capture and classify the request

Bind the authorized request, operator, environment, scope, exclusions, workload class, risk, and assurance requirement.

03

Freeze the route and durable goal

Select one primary work type, required supporting work, checkpoints, stop rules, and the source revision. Later evidence cannot weaken the route.

04

Resolve Layer 0

Check the foundation: intended workload, required capabilities, selected profile, acceptance rules, ownership, and proof contract.

05

Connect external coding work

Claude Code, Codex, or Hermes performs implementation. Runtime adapters normalize allowed events and watched artifacts into evidence.

06

Evaluate applicable assurance

Resolve the 13 production domains, active cross-cutting packs, gates, explicit skips, technical proof, and human-only Red Zone decisions.

07

Review, packet, and hand off

Freeze evidence for separated review, validate the run packet, state the supported assurance level, and preserve unresolved work instead of claiming unsupported completion.

Invariant operating rules

  1. Artifacts support claims; an assertion alone is not proof.
  2. Every applicable domain resolves to evidence, a failure, or an explicit reason for non-applicability.
  3. A stronger finding can add controls but cannot silently weaken the frozen route.
  4. External coding agents implement work; the harness commissions, routes, records, checks, and blocks.
  5. Human approval permits a decision but does not replace missing technical proof.
  6. Authoritative assurance requires trust outside the delivery agent and repository-local evidence.

Smallest supported category

Valdris is a repository-level SDLC assurance harness for AI coding agents. “Operating system,” “engine,” and “compiler” do not describe its demonstrated mechanism.