Mestrames Lineage
MestramesLineageProofs.lean · γ₁-anchored · sovereign timestamp
Fleet Role
Operator Layer — MeCiPOL 15 KCF operators
⬡ KCF-SRCH-001 through KCF-SRCH-015 — 15 search operators
⬡ MeCiPOL corpus — PEMCLAU search engine
⬡ kcf-corpus page (pemos.ca/kcf-corpus)
⬡ kcf-dual-helix — KCF operator helix structure
⬡ Planned: CLO proof operators (Coq successor path)
Cell Engine
MeCiPOL Engine
Operator Layer cell engine — sovereign compute substrate
Diamond Anchors
MOAT
MOAT-OCaml-KCF
DCJ
DCJ-053
OSS LAYER
Operator Layer
SPINE
pemos.ca/spine-oss.xml
Note
LISP→OCaml lineage: symbolic → typed functional with imperative escape. OCaml is the fleet's operator language — the 15 KCF search operators that make PEMCLAU intelligent.