INDEXIN / ENGINE LABS

IX-118 · Evidence · INTERACTIVE LAW STUDY

Evidence cards

Make the claim inspectable. Change a variable, run the law, and inspect the result.

LAW / CONSTRAINTinput + pinned source + actual output + digest
Make the claim inspectable.Loading the pinned engine…

WHY THIS RESULT?

Inspect the decision

Click the drawing or use its arrow keys. This record comes from the calculation shown above.

WHAT THIS DEMONSTRATES

Scope and evidence

The preserved fixture and compiled-binary hashes are verified before use. A corrupted witness must fail. Integrity detects change, not mathematical correctness; source tests and independent checks are different evidence.

Source: engine:crates/wlaw/examples/catalogue.rs

Save, share or replay this study

The study contains parameters and a result digest, not executable code. Its adapter and binary revision must match.

Calculated records (first 80,000 characters)