Introduction

Generated 2026-08-02T12:03:42Z · .mis language · bin/misc · education-first GitBook

For the complete documentation index, see llms.txt. This page is also available as Markdown.

Moniversive Invariant Static (MIS) is a module / invariant / outcome language checked with bin/misc.

Extension	.mis
Compiler	bin/misc (make misc-build)
Letter-hash	Rolling SHA-256 per typed letter
Learn	Education hub · Worked examples

bin/misc path.mis --check --compact-letters

Start here

• Education hub · 01 — Language mindset · MIS showcase
• Full language breakdown · Per-file .mis catalog
• Symbol catalog · Static ML bands (1025)

Next

Education hub