Deterministic workload · canonical StegGate · replayable evidence

Governed
Math Solver.

A deliberately narrow public workload for demonstrating that the same StegGate execution boundary can govern a deterministic application. The arithmetic engine is reachable only after an admissible canonical StegGate decision.

Activation boundary: the public client is installed, but production status remains fail-closed until the hosted runtime answers readiness and a deployed solve/replay cycle is directly verified. Static page availability is not runtime activation.

Try the governed solver

Arithmetic expression

Allowed: numeric literals and + - * / // % **. Arbitrary Python, names, calls, lists, and other syntax are rejected.

Runtime: checking…

Execution evidence

The public response exposes the request/result hashes and canonical StegGate decision identity. This pane is evidence projection, not a second decision authority.

No governed execution observed yet.

Execution chain

public math expression
→ normalized request hash
→ canonical portable StegGate package
→ canonical StegGate + coherence evaluation
→ deterministic arithmetic executor only after ALLOW
→ execution observation + decision/hash evidence
→ result receipt
→ deterministic replay comparison

Why this surface exists

Math Solver is not a separate StegGate product. It is a low-ambiguity reference workload. Ecosystem Chat, VACC, HIL, and this solver use different attributes and applications; the proof target is that execution remains governed by the same canonical StegGate semantics.

Current public posture

MATH-SOLVER-STEGGATE-001

ClientIMPLEMENTED / FAIL-CLOSED

RuntimePENDING DIRECT HOSTED VERIFICATION

Canonical gateStegCore portable StegGate consumer; no parallel evaluator

Proof authorityNONE — successful arithmetic is not mathematical proof authority

Production claimwithheld until hosted readiness + solve + replay are directly observed