Exécutez n'importe quel Skill dans Manus
en un clic

Exécutez n'importe quel Skill dans Manus en un clic

sounio-l0-core

Étoiles4

Forks0

Mis à jour21 mars 2026 à 20:37

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

Installation

Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.

Exécuter dans Manus

Source

Sounio-lang

Sounio-lang/sounio

Ouvrir le dépôt GitHub Voir les dépôts du créateur

Téléchargement

Exécuter dans Manus

Métiers associésSOC

Basé sur la classification professionnelle SOC

Développeurs de logicielsProfessions informatiques et mathématiques·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

Plus depuis ce dépôt

même dépôt

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