Run any Skill in Manus with one click

sounio-l0-core

Stars4

Forks0

UpdatedMarch 21, 2026 at 20:37

L0 epistemic core of Sounio: language identity, epistemic invariants, and effect discipline; use when explaining or extending the L0 language semantics.

Installation

Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.

Run Skill in Manus

Source

Sounio-lang

Sounio-lang/sounio

View GitHub Repository View Creator Repositories

Download

Run Skill in Manus

Related occupationsSOC

Based on SOC occupation classification

Software DevelopersComputer and Mathematical Occupations·SOC 15-1252

SKILL.md

readonly

name	sounio-l0-core
description	L0 epistemic core of Sounio: language identity, epistemic invariants, and effect discipline; use when explaining or extending the L0 language semantics.

Sounio L0 Core

Workflow

Anchor on language identity

Read docs/MV_CORE_CHECKLIST.md first.
Confirm: explicit effects, epistemic integrity, and Sounio-native syntax.

Epistemic invariants

Use stdlib/epistemic/SEMANTICS.md for Knowledge/uncertainty/confidence/provenance rules.
Never allow implicit Knowledge→T unwrapping.

Effects and purity

Consult .claude/commands/sounio-effects.md for effect expectations.
Ensure side effects are declared on functions (with IO, with Panic, etc.).

Units and refinements (when relevant)

Use .claude/commands/sounio-units.md to keep unit syntax and checks consistent.

References

docs/MV_CORE_CHECKLIST.md
stdlib/epistemic/SEMANTICS.md
docs/spec/LANGUAGE_SPECIFICATION.md
.claude/commands/sounio-effects.md
.claude/commands/sounio-units.md

More from this repository

same repository

sounio-check

Sounio-lang/sounio

Type-check a Sounio .sio file using the souc compiler

2026-03-254

sounio-run

Sounio-lang/sounio

JIT-execute a Sounio .sio file and show output

2026-03-254

sounio-check

Sounio-lang/sounio

Type-check a Sounio .sio file using the souc compiler

2026-03-254

sounio-run

Sounio-lang/sounio

Compile and run a Sounio .sio file and show output

2026-03-254

sounio-bootstrap

Sounio-lang/sounio

Work on the self-hosted Sounio compiler bootstrap path: self-hosted/main.sio pipeline modes (--lex, --parse, --check, --ir-dump, --native-compile), frontend corpus gates, and bootstrap binary milestones.

2026-03-254

sounio-native-codegen

Sounio-lang/sounio

Work on the native x86-64 code generation backend: register allocation, instruction encoding, peephole optimization, frame sizing, ELF output, and the compile_ir_function pipeline; use when editing any sprint 52–65+ native/*.sio files.

2026-03-254

name	sounio-l0-core
description	L0 epistemic core of Sounio: language identity, epistemic invariants, and effect discipline; use when explaining or extending the L0 language semantics.

Sounio L0 Core

Workflow

Anchor on language identity

Read docs/MV_CORE_CHECKLIST.md first.
Confirm: explicit effects, epistemic integrity, and Sounio-native syntax.

Epistemic invariants

Use stdlib/epistemic/SEMANTICS.md for Knowledge/uncertainty/confidence/provenance rules.
Never allow implicit Knowledge→T unwrapping.

Effects and purity

Consult .claude/commands/sounio-effects.md for effect expectations.
Ensure side effects are declared on functions (with IO, with Panic, etc.).

Units and refinements (when relevant)

Use .claude/commands/sounio-units.md to keep unit syntax and checks consistent.

References

docs/MV_CORE_CHECKLIST.md
stdlib/epistemic/SEMANTICS.md
docs/spec/LANGUAGE_SPECIFICATION.md
.claude/commands/sounio-effects.md
.claude/commands/sounio-units.md