Chapter 03 · Syphio Runtime
Verification Runtime
The Runtime is the product. The Dashboard is an interface for submitting input and reviewing its output.
Chapter outcome
You will understand the deterministic execution path and the claims the Runtime does not make.
Current access status
The public Demo and example reports illustrate this contract. The user Runtime described below is still in development; no uploaded theme is processed during Phase 0.
1. Establish the input
The Runtime binds the execution to one immutable snapshot and records the Runtime context required to interpret the result.
2. Map the theme
It maps supported theme files, parses Liquid and section schemas, and resolves supported structural and cross-file context.
3. Execute applicable rules
Versioned rules evaluate only the patterns and contexts they declare. A rule that is not applicable should not manufacture a Finding.
4. Build the report
Accepted results preserve rule identity, severity, confidence, source location, Evidence, Explain, Validation and known limitations.
Deterministic does not mean omniscient
Given the same supported input, Runtime version and ruleset, verification is intended to follow the same path. Static analysis still cannot prove every browser, app or live-store behavior.