Docs / Knowledge Base / Developed index — Engineering
Knowledge Base
Contents
Developed index — Engineering
Part hub for WWW-scale semantic and governance platforms, with IEML (computable meaning) as the semantic substrate. Leaf chapters keep implementable detail; this page holds the architecture thesis + primary literature.
At a glance
- Two layers: meaning (IEML / semantic web) and control (agents, storage contracts, zero-trust humans).
- Engineering success criterion: auditable promote/export under policy gates.
- Immutable and image-based operating systems treat the host as a pinable image: atomic updates, rollback, and claims that can be checked — structural, reproducible, attested, or merely observed. Leaf: Immutable and image-based operating systems.
1. Architecture thesis
Design laws
- Provenance first — every promotion leaves evidence.
- Vendor-neutral defaults — measure before adopting specialty stores.
- Dual-track semantics — human-readable metalanguage + machine SHACL/RDF.
- Zero-trust human surface — consent and minimization on HDT exports.
2. Leaf map
| Chapter / node | Role | Primary sources |
|---|---|---|
| WWW Platform | Integrated engineering essay | This index + org READMEs |
| IEML | Metalanguage core | Lévy (2023) SAGE; intlekt.io; Wikipedia IEML |
| IEML × RDF × Situation Monitor | IEML nine-role phrase + RDF 1.2 (triple terms, reifiers, @ar--rtl) + SM argument map, briefs, concepts, grammar in one graph; SHACL / OWL 2 RL checks; Oxigraph → Neo4j lab | W3C RDF 1.2 Concepts (CR 2026), Turtle, SHACL, OWL 2 Profiles, SKOS, PROV-O, OntoLex; research/rdf/ run 2026-10-07 |
| Knowledge OS | LTRing · TEvEP · RUT · argument map product stack | Soletrando doctrine; Global-V4 UI; IEMLdev parser |
| Agent memory & world-model repos | Graphiti · MiroFish · screenpipe · Cua · Strix read against IEML: bi-temporal edges, episodes, entity resolution, swarm simulation, computer-use agents | Repos pinned at commit (2026-10-06); Zep arXiv:2501.13956 |
| standards-storage | ChatOps / incident contracts | repo README: Avro/Arrow/JSON-LD, TritRPC, 30 workloads |
| ontogenesis | Ontology lifecycle + SHACL/SVF | repo README + RDF/OWL specs |
| human-digital-twin | Zero-trust human API / Ω lattice | repo README; OPA/Rego policy model |
| TriTRPC | Deterministic ternary RPC | repo theory + fixtures |
| agentplane | Bundle execution control plane | validate → place → run → evidence |
| Immutable and image-based operating systems | Image identity, atomic updates, verification modes | OSTree, bootc, NixOS, Silverblue as illustrations |
3. Developed content — IEML
Definition (IEML). Information Economy MetaLanguage: constructed language aiming at natural-language-scale expressivity with algebraically computable semantic operations (Pierre Lévy; INTLEKT).
Structural facts used in this bible
- Emptiness → differentiation (dyad/triad semiotic progression).
- Nine-role recursive phrases with semantic accent.
- Dictionary = paradigms of opposition (morpheme positions encode meaning).
- USL — Uniform Semantic Locator for expressions.
Full paper / primary literature
- Citation
- Lévy, P. (2023). Semantic computing with IEML. Collective Intelligence / SAGE. DOI trail: https://journals.sagepub.com/doi/10.1177/26339137231207634
- Access
- Peer-reviewed overview
Lévy research notes
- Access
- https://pierrelevyblog.com/my-research-in-a-nutshell/
INTLEKT product/docs
- Access
- https://intlekt.io/ · https://intlekt.io/ieml/
Wikipedia
- Access
- https://en.wikipedia.org/wiki/IEML
Open language DB examples
- Access
- https://github.com/Keyne/ieml-language · ieml-dictionary · libieml
Related classical background
- Saussure — signifier/signified (semiotics).
- Peirce — triadic sign.
- Shannon (1948) — quantitative information (complement, not substitute).
4. Immutable and image-based operating systems
Definition. An immutable, image-based operating system treats the running host as a versioned artifact: a tree, image or generation that can be named, replaced as a unit, and rolled back. Public systems such as OSTree, bootc, Fedora Silverblue and NixOS are illustrations of the family, not a product list.
Four verification modes are a useful vocabulary for claims about a running system. Everything else is inventory of a particular stack.
| Mode | Auditor test |
|---|---|
| Structural | Kernel still says no after reboot, update, and a privileged process inside its box |
| Reproducible | Second builder, pinned inputs, byte diff |
| Attested | TPM quote bound to a published image digest on one hardware profile |
| Observed | Model internals, traces, seeds — never treated as quotes |
What holds. Content-borne code execution is a sandbox problem; content-borne semantic steering is a model problem. Deny-by-default mounts and noexec,nosuid,nodev on data are concrete enough to test. Narrow grants do not close a prompt that travels inside an allowed document; they bound blast radius. Model instruments are observed, not attested.
A conservative pedagogical slice is one pinned image digest, structural mounts, one isolation tier, receipts a validator can reject, and a TPM2 machine if attestation is claimed. Stronger firmware floors, cluster schedulers and microVMs are separate claims, each with its own mode of evidence.
Leaf chapter: Immutable and image-based operating systems.
5. Semantic Web standards (background papers / specs)
| Spec | Role |
|---|---|
| Berners-Lee et al. — WWW architecture | Hypertext + URIs |
| RDF 1.1 (W3C) | Graph data model |
| OWL 2 (W3C) | Ontological constraints |
| JSON-LD 1.1 (W3C) | RDF in JSON |
| SHACL (W3C) | Validation shapes |
| SPARQL 1.1 | Query language |
| RDF 1.2 / SPARQL 1.2 / SHACL 1.2 (W3C drafts, 2026) | Triple terms, reifiers, base direction — see IEML × RDF × SM |