{"id":48879092,"url":"https://github.com/anathemaofficial/slime-core","last_synced_at":"2026-04-16T02:00:46.746Z","repository":{"id":342726357,"uuid":"1152232363","full_name":"AnathemaOfficial/SLIME-Core","owner":"AnathemaOfficial","description":"Sealed Law-layer Execution Environment. A structural law that removes the representability of certain effects. Rust reference runner, formal specs, invariant-driven architecture.","archived":false,"fork":false,"pushed_at":"2026-04-15T14:40:15.000Z","size":6723,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-04-15T16:36:54.393Z","etag":null,"topics":["deterministic","formal-verification","invariant","law-layer","no-std","rust","security","typestate"],"latest_commit_sha":null,"homepage":null,"language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/AnathemaOfficial.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":"AUDIT_PACK_NOTICE.md","citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2026-02-07T15:15:23.000Z","updated_at":"2026-04-15T14:40:19.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/AnathemaOfficial/SLIME-Core","commit_stats":null,"previous_names":["anathemaofficial/slime","anathemaofficial/slime-core"],"tags_count":12,"template":false,"template_full_name":null,"purl":"pkg:github/AnathemaOfficial/SLIME-Core","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AnathemaOfficial%2FSLIME-Core","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AnathemaOfficial%2FSLIME-Core/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AnathemaOfficial%2FSLIME-Core/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AnathemaOfficial%2FSLIME-Core/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/AnathemaOfficial","download_url":"https://codeload.github.com/AnathemaOfficial/SLIME-Core/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AnathemaOfficial%2FSLIME-Core/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":31867712,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-15T15:24:51.572Z","status":"online","status_checked_at":"2026-04-16T02:00:06.042Z","response_time":69,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["deterministic","formal-verification","invariant","law-layer","no-std","rust","security","typestate"],"created_at":"2026-04-16T02:00:25.300Z","updated_at":"2026-04-16T02:00:46.735Z","avatar_url":"https://github.com/AnathemaOfficial.png","language":"Rust","funding_links":[],"categories":[],"sub_categories":[],"readme":"\n\u003cimg width=\"1199\" height=\"349\" alt=\"SLIME logo 2\" src=\"https://github.com/user-attachments/assets/f884f1a8-f070-4281-831a-d14ad85c9595\" /\u003e\n\n⚠️ Before reading this repository:\n\n1. Read `INTERPRETATION_GUIDE.md`\n2. Read `INTEGRATION_PRIMER.md`\n\nIf you interpret SLIME as a firewall, security tool, policy engine,\nAI alignment system, cloud boundary, or monitoring framework,\nyou are using the wrong mental model.\n\n---\n\n# ⚠️ Canonical Reading Notice\n\nThis repository must be read as a description of a structural law,\nnot as an AI safety product or control system.\n\nSLIME does not constrain intelligence.\nSLIME does not guide behavior.\nSLIME does not prevent harm.\n\nSLIME removes the representability of certain effects.\n\nAny interpretation of SLIME as a behavioral, ethical, probabilistic,\nor any process-layer control system is incorrect.\n\n---\n\n## Repository Structure\n\nThe root directory and `specs/` define the canonical law-layer.\n\nAll executable code resides under `noncanon/`. The reference runner compiles standalone with the default stub resolver.\n\nAnything outside `noncanon/` is documentation-only and defines no runtime behavior.\n\n---\n\n## Foundational Context\n\nSLIME is part of a broader invariant-driven architecture:\n\n- SYF-Core (mathematical invariant layer) https://github.com/AnathemaOfficial/SYF-Core\n- SYF-Minimal (minimal canonical invariant spec) https://github.com/AnathemaOfficial/SYF-Minimal\n- SYF-Lab (experimental environment) https://github.com/AnathemaOfficial/SYF-Lab\n- SYF-Gate (admission verdict) https://github.com/AnathemaOfficial/SYF-Gate\n- SYF-Shield (irreversibility + capacity) https://github.com/AnathemaOfficial/SYF-Shield\n\nThese are not extensions of SLIME,\nbut parallel primitives built around invariant enforcement.\n\nSee `FULL_STACK_CONFORMANCE.md` for cross-layer integration rules (Gate / Shield / AB / SLIME / Actuator).\n\nSee `ARCHITECTURE_SECURITY_MODEL.md` for the full structural security model (monotonicity, irreversibility, binary enforcement, model limitations).\n\nSee `SAFA_ADAPTER_MAPPING.md` for how SLIME-Core concepts map to SAFA's actual API surface.\n\nSee `KNOWN_LIMITATIONS.md` for platform-specific and known security limitations.\n\n---\n\n## Formal Specification\n\nThe structural model of SLIME v0 is formally defined in:\n\n- SLIME_FORMAL_CORE.md\n\nThis document defines the invariant mapping model (A → E ∪ ∅)\nin purely formal terms, without narrative, policy, or operational framing.\n\n---\n\n# **SLIME v0**\n\n**Systemic Law Invariant Machine Environnement**\n**Sealed Execution Environment for Non-Negotiable Action Limits**\n\n---\n\n## What SLIME Is\n\n**SLIME v0** is a **sealed execution environment** that enforces **non-negotiable action limits** independent of intelligence, intent, configuration, or code quality.\n\nIt is designed to sit **in front of an existing system**, intercept actions, and allow only those that are **physically authorized** by a sealed engine.\n\nSLIME does not decide.\nSLIME does not interpret.\nSLIME applies a law that has already been decided.\n\n---\n\n## What SLIME Is Not\n\nSLIME is **not**:\n\n* an AI system\n* a governance framework\n* a policy engine\n* a rule engine\n* a monitoring tool\n* a simulator\n* a safety checklist\n* a configuration layer\n* a retry or fallback system\n\nSLIME does not optimize behavior.\nSLIME does not correct systems.\nSLIME does not explain decisions.\n\n---\n\n## Architecture Overview\n\n```\nExisting System\n      ↓\n   SLIME v0\n      ↓\n    World\n        ↓\n   (AB-S sealed internally)\n```\n\n* All actions pass through SLIME or do not occur.\n* The enforcement engine (**AB-S**) is embedded inside SLIME and is **never directly accessible**.\n* SLIME is the **only surface visible** to users or operators.\n\n---\n\n## Core Principle\n\nSLIME enforces **impossibility**, not policy.\n\nIf an action is not authorized, it does not fail —\n**it does not happen**.\n\nThere is no retry.\nThere is no override.\nThere is no exception.\n\n---\n\n## SLIME v0 Modules\n\nSLIME v0 consists of **four fixed modules**.\n\n### 1. Ingress\n\n* Accepts **declarative ActionRequests** only\n* No logic\n* No branching\n* No heuristics\n\nIngress does not validate correctness or intent.\n\n---\n\n### 2. AB-S Core (Embedded)\n\n* Fully sealed\n* No configuration\n* No inspection\n* No repair\n* No interface\n\nAB-S outputs only:\n\n* `OK(AuthorizedEffect)`\n* `Err(Impossibility)`\n\n---\n\n### 3. Egress\n\n* Maps authorized effects to **mechanical actuation**\n* Fail-closed by design\n* No retries\n* No fallback paths\n* No simulated success\n\nIf actuation cannot occur, **nothing occurs**.\n\n---\n\n### 4. Dashboard (Read-Only)\n\n* Observational only\n* Displays execution facts without semantic explanation\n* No controls\n* No tuning\n* No influence on execution\n\nThe dashboard never feeds back into SLIME.\n\n---\n\n## Inputs\n\nSLIME v0 accepts **only**:\n\n* Declarative ActionRequests from upstream systems\n* Verdicts from the embedded AB-S engine\n\nSLIME explicitly rejects:\n\n* human overrides\n* configuration flags\n* confidence scores\n* external metrics\n* adaptive parameters\n\n---\n\n## Outputs\n\nSLIME v0 produces only:\n\n* **Authorized physical effect**, or\n* **Non-event**\n\n`Err(Impossibility)` is not an error.\nIt is a terminal state.\n\nNo signal is produced for learning or optimization.\n\n---\n\n## Security Model\n\nSLIME achieves security through **structural impossibility**.\n\n* No feedback → no learning\n* No learning → no circumvention\n* No configuration → no drift\n\nSLIME does not protect the engine.\nSLIME prevents access to the engine entirely.\n\n---\n\n## Intended Use\n\nSLIME v0 allows an organization to:\n\n* plug SLIME in front of an existing system\n* redirect actions through it\n* observe what is blocked\n* enforce hard limits without modifying internal code\n* test sealed enforcement in real environments\n\nSLIME is suitable for:\n\n* autonomous systems\n* industrial control\n* financial actuation\n* high-risk automation\n* AI containment at the actuation boundary\n\n---\n\n## Versioning \u0026 Scope\n\n* **SLIME v0 is intentionally minimal**\n* Nothing may be inserted inside SLIME v0\n* Future systems may wrap or deploy SLIME\n* The core remains sealed\n\n---\n\n## Common Misinterpretations\n\nSLIME is not:\n\n- a firewall\n- a security policy engine\n- an AI alignment system\n- a monitoring system\n- a cloud boundary service\n\nIf you read it that way, you are applying the wrong mental model.\n\n---\n\n## Canonical Statement\n\n\u003e **SLIME applies a law that cannot be negotiated.\n\u003e It exposes no controls, offers no explanations, and allows no exceptions.\n\u003e What passes through SLIME is physically authorized — everything else does not exist.**\n\n---\n\n## Building the Reference Runner\n\n```bash\ncd noncanon/implementation_bundle/slime-runner\ncargo build\n```\n\nThis compiles with the default `stub_ab` feature — a standalone capacity-check\nresolver that demonstrates the SLIME interface without `serde`/`serde_json`\nas the only external dependencies (used for safe JSON parsing).\n\n**Note:** The runner binds to `127.0.0.1:8080` and requires the egress\nsocket at `/run/slime/egress.sock` to be present at startup (fail-closed).\nOn non-Unix targets, use the `integration_demo` feature for file-based\negress. See `CONFORMANCE.md` for intentional divergences from canon.\n\nFor enterprise deployments with the real law engine, see\n[SLIME Enterprise](https://github.com/AnathemaOfficial/SLIME-Enterprise) (private).\n\nFor the production multi-agent adapter, see\n[SAFA](https://github.com/AnathemaOfficial/SAFA) and `SAFA_ADAPTER_MAPPING.md`.\n\n---\n\n## Status\n\n**SLIME v0 — CANON / SEALED**\n\nDevelopment proceeds **only** by extension *around* SLIME, never inside it.\n\n---\n\n## License\n\nApache 2.0 — see [LICENSE](LICENSE).\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fanathemaofficial%2Fslime-core","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fanathemaofficial%2Fslime-core","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fanathemaofficial%2Fslime-core/lists"}