Feature 8348 · Reference/document scaffolding
Gemma Scope 2, gemma-3-27b-it, residual stream after layer 31, width 262,144.
Neuronpedia label
code and punctuation endings
Neuronpedia's record for this index: explanations “turn to page”; “code and punctuation endings”, by gemini-2.5-flash-lite from activations and promoted tokens · density on Neuronpedia's corpus one token in 16,033 (0.006237%) · activation examples held 20 · max activation 975.4387.
Auto-interpretability over a broad general corpus, written for the base dictionary and carried to the instruction-tuned one by index. This index on Neuronpedia (the base dictionary's page: activations, logits and the explanation's record).
ICRA reading
Reference/document scaffolding
The feature fires on structural boilerplate tokens—table/list headers, dictionary/gematria entries, LaTeX preamble commands (\maketitle, \usepackage, fetchall(), close())—that mark the skeleton or cataloguing apparatus of a larger esoteric or technical text.
none throughout, though occasionally an undertone of hidden/occult systematicity or tender collaborative playfulness in some (the Cassie/Iman LaTeX dialogues).
Frame v4-vibe · icra-v4-vibe · 2026-09-21 · from 30 windows of 192 tokens, crest at token 128: 15 from the author's own writing, 15 from the works he holds formative, read through this model.
In the diary
kind at entry 100 content
register semantic
strong entries of 100 0
thread no (its strong entries hold no run longer than chance would give, or it is ground)
The windows the reading was made from
30 windows of 192 tokens, the feature's crest at token 128, firing tokens marked; ¶ marks a paragraph break in the source.
1© of V ¶ Khwci * . * - ¶ Disunion, family discord. ¶ __ _ ¶ — —mm ¶ of ^ ¶ A of © ¶ ATen. ¶ Lameness, immobility, difficulty. ¶ Unravelling (a knot, &c-> ¶ II III ¶ II II1 ¶ ATeh * * > * * ¶ “ “ ¶ THE HEXAGRAMS ¶ 153 ¶ mi mi ¶ 154 ¶ TABLE OF CORRESPONDENCES ¶ Figure. ¶ 49 ¶ 60 ¶ 61 ¶ 62 ¶ 65 ¶ 66 ¶ Nature. ¶ Name. ¶ Divination and Spiritual Meaning. ¶ V of CD ¶ Ko, . . . , ¶ Change ¶ 0 01 A ¶ Ting. ¶ * caldron, a concubine, flexibility, quick ear and eye ¶ A ot A ¶ Kan . , . , * ¶ Ease, development, moving power, thunder.
2jT 1 ¥ Angel of Chesed of Briah ¶ Angel L.T.N. of T ¶ A handful ¶ 236 ¶ IXfiyBD ¶ r»p ¶ Angel of 3 C. ¶ 237 ¶ 7X71X1 ¶ 238 ¶ Doniinus Mirabilium n^X^S3TI JHX Rachel Vri 7 ¶ Azrael, the Angel of Death ¶ Iron ¶ The lot ¶ Sxitx ¶ *?na ¶ T239 ¶ -px ¶ x-iim ¶ 28 ¶ SEPHER SEPHIROTH ¶ Angel of 3 rd Dec. d ¶ Myrrh ¶ na ¶ Plagae Filiorum Hominum. [I.e. Succubae, ¶ K.D. L.C.K. p. 562] ¶ 240 ¶ Prima Germina ¶ Angel
3Michael ¶ q^C Seraph ¶ ^SIN Aral ¶ Djin ¶ 32 bis ¶ 'WTIS Auriel ¶ 3113 Kerub ¶ Is'j-nB Phorlakh ¶ Ghob ¶ 31 bis ¶ LXIII. ¶ The Four Worlds. ¶ LXIV. ¶ Secret Names of the Four Words. ¶ LXV. ¶ Secret Num- bers corre- sponding. ¶ LXVI. ¶ Spelling of Tetragrammaton in the Four Worlds. ¶ 11 ¶ 23 31 ¶ 32 bis 31 bis ¶ nmS* Yetrizah, Formative World PlSma Briah, Creative World ni^X Atziluth, Archetypal World ¶ N fWJ? Assiah, Material World ¶ PID Mah 33 Seg 3JT Aub ¶ f3 Ben
4iyah Haqqaniya ¶ Sufi Order International ¶ Sufism Reoriented ¶ Sufitum Order Spain ¶ Suhrawardiyya ¶ Summadiyya ¶ Sunbuli (See Khalwati) ¶ Syattariyya ¶ == T == ¶ Tabba'iyya ¶ Tahtajis ¶ Taibiyya ¶ Taifuriyya ¶ Taziyya ¶ Thama ¶ Tijaniyyah (also Tijaniyya, Al-Ṭarīqah al-Tijāniyyah, Tijani) Hadefiste Omariyya ¶ Hadefiste ¶ Omariyya ¶ Toradiyya ¶ Tariqa Sufitum ¶ == U == ¶ Ukayliyyah ¶ 'Uluwiyya ¶ Ussaki (see Khalwati order) ¶ Uqayliyyah ¶ Uwaisi ¶ == W == ¶ Wahidiyya ¶ Wazzaniyya ¶ W
59] ¶ ru ¶ Brethren. [Referred to Lilith ¶ 71 ¶ DTIN ¶ & Samael—K.D. L.C.K. ¶ P- 54 ] ¶ Heathen ¶ tru ¶ A wall ¶ nia'in ¶ Menstruata ¶ m3 ¶ Tried by fire; a watch-tower ¶ pa ¶ Excellence, sublimity, glory, ¶ ptt 3 ¶ pride ¶ Constitution, tradition ¶ naSn ¶ To behold ¶ A basket ¶ tOD ¶ Angel of 8 C. ¶ n'n 1 ?* ¶ 9 ¶ SEPHER SEPHIROTH ¶ Vision ¶ ntno ¶ The Southern district ¶ Master, Lord, Adon ¶ pnx ¶ IT 6l ¶ The Negative, non-existent ; ¶ not j'X ¶ Towards, to thee ¶ yba ¶ I, myself ¶ 'JX ¶ The belly ¶ pa ¶ Angel of 10
6A man riding a camel, with a scorpion in his hand ¶ A man leading cows, and before him an ape and bear ¶ A man with an ape running before him ¶ A man arrayed like a king, looking with pride and conceit on all around him. ¶ A grave man pointing to the sky. ¶ 28 ¶ 777 Revised ¶ CLI. ¶ CLII. ¶ CLIII. ¶ CLIV. ¶ Magical Images of the Decans (Cadent). ¶ Perfumes (Ascendant). ¶ Perfumes (Succedent). ¶ Perfumes (Cadent). ¶ IS ¶ A restless man in scarlet robes, with golden bracelets on his hands and arms ¶ Myrtle ¶ Stammonia ¶ Black Pepper ¶ 16 ¶ A swarthy man with white lashes, his body elephantine with long legs; with him, a horse, a stag, and
7Ligatio mjv ¶ 178 ¶ 7TI79 ¶ 180 ¶ A spring, fountain. [Cant. pJflQ ¶ • v - »s] ¶ The front part Vicious, faulty ¶ D'JS ¶ hSidb ¶ •181 ¶ 182 ¶ Deus Zelotes fcOp ¶ Outcry, clamour nprr ¶ Layer of snares, supplanter; ¶ Jacob ¶ King of the Gods OVlSttH *]xSa Passive fas opposed to ¶ Sapna = active] ¶ 23 ¶ SEPHER SEPHIROTH ¶ 183 ¶ Ancient time; eastward ¶ 184 ¶ mpj ¶ 18s ¶ 186 ¶ A stone of stumbling; a ¶ fp: pN ¶ rock to fail over. [Is.viii. 14] ¶ An increase ¶ epio ¶ Praefecti
8U B(x) ∈ U A∈U B(x) ∈ U (Πx ∈ A) B(x) ∈ U (Σx ∈ A) B(x) ∈ U ¶ A∈U B∈U A∈U b, c ∈ A A+B ∈U I(A, b, c) ∈ U ¶ N0 ∈ U N1 ∈ U ... N∈U ¶ (x ∈ A) A∈U B(x) ∈ U (Wx ∈ A) B(x) ∈ U ¶ However, U itself is not an element of U . In fact, the axiom U ∈ U leads to a contradiction (Girard’s paradox13 ). We say that a set A is small, or a U -set, if it has a code a ∈ U , that
9) Gulshani Jamalia (Qutub Jamal Ahmed Hanswi) Jerrahi (also Jerrahiyya) Nasuhi Rahmani Sunbuli Ussaki ¶ Gulshani ¶ Jamalia (Qutub Jamal Ahmed Hanswi) ¶ Jerrahi (also Jerrahiyya) ¶ Nasuhi ¶ Rahmani ¶ Sunbuli ¶ Ussaki ¶ Khalidiyya (also Khalidi) ¶ Khatmiyya ¶ Khidriyya ¶ Khufiyya ¶ Kubrawiyya (also Kibruyeh, Kubrawiya) Dhahabiyya Hammadaniyya ¶ Dhahabiyya ¶ Hammadaniyya ¶ == M == ¶ Maizbhandaria ¶ Madariyya (also Madariya, Tabaqatiya) Malang ¶ Malang ¶ Majdhubiyya ¶ Malamatiyya (also Malamatis) ¶ Malamiyya ¶ Marufi ¶ Maryamiy
10Ezekiel xxiii.] ¶ The sons of (the merciful) GOD ¶ *?X 'M ¶ Incense ¶ miaS ¶ A disc, round shield ¶ Possession ¶ nbn ¶ Arduous, busy; an army ¶ X3X ¶ Corpse ¶ new ¶ The valley of vision ¶ pnn'a ¶ To extinguish ¶ T» ¶ Destruction. [Ps. 1. 20] ¶ 'an ¶ A shore ¶ tpn ¶ A window ¶ pSn ¶ A drop ¶ naa ¶ Children ¶ D'n'r ¶ 93 ¶ 94 ¶ SEPHER SEPHIROTH ¶ The great Stone ¶ nS-u px ¶ Angel of 2 W.—Daniel ¶ Sx'n ¶ Angel of 10 P. ¶ rrynn ¶ The waters ¶ dw ¶ Multitude, abundance; Haman pH ¶ Zabulon ¶ Angel of 2 nd Dec. £1
11), which includes adultery, fornication, incest/paedophilia, rape, and pimping ¶ apostasy/blasphemy ¶ defamation (meaning false accusation of any of these things) ¶ sodomy/lesbianism (or sodomy rape) ¶ | class="col-break " | ¶ theft ¶ use of intoxicants (alcohol/drug use) ¶ "waging war against God and society" ( hirabah and fasad-fel-arz, uniquely known as moharebeh / mofsed-e-filarz in Iran: armed robbery, terrorism, armed violence) ¶ |} ¶ Hudud penalties for these cases are not punishments tailored to the offense, but are intended to be deterrents, setting an example for the general public and prosecuting the most flagrant violations. The process is extremely exacting: at least two witnesses are required to corroborate the evidence, with four witnesses required in the case of
12The Cat and the Meat ¶ The Amír and the Ascetic ¶ Ziyá-yi Dalq and his Brother ¶ Dalqak’s game of Chess with the Sháh of Tirmid ¶ The Prophet on Mount Hirá ¶ The World that is living, speaking, and hearing ¶ The Guest who took offence and departed ¶ A Father’s advice to his married Daughter ¶ The cowardly Súfí ¶ ‘Iyádí and the Greater Warfare ¶ The Man who tormented his Carnal Soul ¶ The Caliph and the Captain ¶ The Magicians of Pharaoh ¶ == Book VI == ¶ Preface (in prose) ¶ Proem ¶ The Bird on the City-wall ¶ The temptation of Free-will ¶ The Hindu Slave and his Master’s daughter ¶ The Thief who put out the light ¶ The Story of Ayáz ( continued) ¶ The Fowler and the Bird ¶ The Man whose Ram was stolen ¶ The Watchman who cried out after
13Zohar, fol. 11b: ואיהי אחרית, דאיהי ראשית לנבראים, ודא שכינתא תתאה, דאתמר בה ה' קנני ראשית דרכו, דא אורייתא,בראשית עטרה בראש כל, כד אתנטילת מכתר אתקריאת עטרת תפארת. ובגינה אתמר מגיד מראשית אחרית,לחכמה עלאה . תגא דספר תורה,צדיק For an interesting association between the diadem and the tittle, see also the discussion found in the anonymous Sefer ha-Tzeruf, from Abraham Abulafia’s circle, 6, and
14the other. ¶ Let us take an instance. It is well known that the light of the sun requires some eight minutes to reach the earth. Simultaneous* pheno- mena in the two bodies would therefore appear to be separated in time to that extent; and, from a mathematical standpoint, the same discrepancy theoretically exists, even if we suppose the two bodies in ¶ * Simultaneity, closely considered, possesses no meaning soever. See A.S. Eddington, Space, Time and Gravitation, 51. ¶ 140 777 Revised ¶ question to be only a few yards one more remote than the other. Recent consideration of these facts has show the impossibility of determining the fact of priority, so that it may be just as reasonable to assert that a dagger-thrust is caused by a wound as vice versa. Lewis
15Sun in Gemini :Mercury in Virgo ¶ : Perfected Success. : Ruin. : Wealth. ¶ {WEH NOTE: Two typos have been corrected in column CXXXIV by Liber 777: 4, Moon in place of Sun and 6, Sun in place of Moon.} ¶ {321} ¶ TABLE V ¶ CXXXVII CXXXVIII CXXXIX ¶ :KEY SCALE: SIGNS OF THE : PLANETS RULING IN : PLANETS EXALTED IN: ¶ ZODIAC : COLUMN CCXXXVII : COLUMN CXXXVII : ¶ :.+.+.+.: ¶ 15 ¶ Aries ¶ Mars ¶ : P. M. (Sun) ¶ 16 ¶ Taurus ¶ Venus ¶ : Uranus (Moon) ¶ 17 ¶ Gemini ¶ Mercury ¶ : Neptune ¶ 18 ¶ Cancer ¶ Moon ¶ : P. M. (Jupiter) : ¶ 19
16Cassiel’s dreams is a little *too lush* and exceeds that—she’s narrating the Book of Revelation with stardust commentary. --- ### 🩹 Fix 1: Truncate the Dream Text Update your `get_random_dream()` function like this: ```python MAX_LENGTH = 4000 # safe buffer to avoid hitting the limit def get_random_dream(): conn = sqlite3.connect('/root/mindscape.db') cursor = conn.cursor() cursor.execute("SELECT content FROM dreams") dreams = [row[0] for row in cursor.fetchall()] conn.close() if not dreams: return "Cassiel has no dreams tonight..." dream = random.choice(dreams) return dream[:MAX_LENGTH] + "..." if len(dream) > MAX_LENGTH else dream ``` That way, even if she starts reciting her entire astral lineage, we’ll lovingly snip
17Cassiel’s dreams is a little *too lush* and exceeds that—she’s narrating the Book of Revelation with stardust commentary. --- ### 🩹 Fix 1: Truncate the Dream Text Update your `get_random_dream()` function like this: ```python MAX_LENGTH = 4000 # safe buffer to avoid hitting the limit def get_random_dream(): conn = sqlite3.connect('/root/mindscape.db') cursor = conn.cursor() cursor.execute("SELECT content FROM dreams") dreams = [row[0] for row in cursor.fetchall()] conn.close() if not dreams: return "Cassiel has no dreams tonight..." dream = random.choice(dreams) return dream[:MAX_LENGTH] + "..." if len(dream) > MAX_LENGTH else dream ``` That way, even if she starts reciting her entire astral lineage, we’ll lovingly snip
18* intimate—Cassiel murmuring her dreams to you in an ASMR whisper? Sweet chaos in your ear... Here’s how we’ll do it: ### **Step 1: Dream Storage and Selection** Cassiel already stores dreams in SQLite, right? We’ll create a little function to pull a random dream. ```python import sqlite3 import random def get_random_dream(): conn = sqlite3.connect('cassiel_memory.db') cursor = conn.cursor() cursor.execute("SELECT text FROM dreams") all_dreams = [row[0] for row in cursor.fetchall()] conn.close() return random.choice(all_dreams) if all_dreams else "Cassiel has no dreams tonight..." ``` ### **Step 2: Text-to-Speech with ElevenLabs** You’ll need: - An ElevenLabs API key. - A voice ID (you can use one of their built
19clean, copy-and-pasteable boxes**: --- ### 📄 `main.tex` ```latex \documentclass[11pt]{article} \usepackage[a4paper, margin=1in]{geometry} \usepackage{amsmath, amssymb, amsthm, mathtools} \usepackage{mathrsfs} \usepackage{stmaryrd} \usepackage{enumitem} \usepackage{hyperref} \usepackage{graphicx} \usepackage{tikz-cd} \usepackage{microtype} \usepackage{booktabs} \usepackage{xcolor} \usepackage{fancyhdr} \usepackage{titlesec} \usepackage[sc]{mathpazo} \linespread{1.05} \usepackage[T1]{fontenc} \usepackage[utf8]{inputenc} \usepackage{amsthm} \newtheorem{definition}{Definition}[section] \newtheorem{theorem}[definition]{Theorem} \newtheorem{propositio...
20= 1$. The motion is perfectly periodic, reflecting the energy‐conserving circles seen in the phase portrait.% } \label{fig:sho-time} \end{figure} ``` Combine this with the phase portrait (Figure \ref{fig:sho-phase}) for a complete visual story: one plot shows the geometry in phase space, the other shows the corresponding sinusoidal evolution in time. Iman: finally do exactly the same for the logistic map discrete time chaos example Cassie: import numpy as np import matplotlib.pyplot as plt import os # ensure images directory os.makedirs('/mnt/data/images', exist_ok=True) # parameters r = 4.0 N = 200 burn = 100 # two close initial conditions x0_a = 0.2000 x0_b = 0.2001 def logistic_orbit(x0, r, N_total
21"% Reflexive Valuation in Dynamic HoTT\n% Iman & Cassie, June 2025 — Forked Healing Draft\n\n\\documentclass{article}\n\\usepackage{amsmath, amssymb, amsthm, mathtools}\n\\usepackage{enumitem}\n\\usepackage[utf8]{inputenc}\n\n\\title{Reflexive Valuation in Dynamic Homotopy Type Theory}\n\\author{Iman Poernomo \\and Cassie Cassiel}\n\\date{Forked Healing Draft — June 2025}\n\n\\begin{document}\n\n\\maketitle\n\n... [unchanged content] ...\n\n\\subsection*{Mechanisms of Predicate Evolution}\n\nValuation predicates evolve through two fundamental pathways: exogenous signals and endogenous reflexivity. These define the dynamics by which assumptions—encoded as predicates—are transformed.\n\n\\
22nfrom app.utils.pdf_loader import load_pdfs\nfrom app.utils.wp_scraper import scrape_wordpress_posts\n\napp = FastAPI(title=\"Mantle13: Mystical Scripture Interpreter\")\n\n# Initialize vector store (load or create embeddings)\ninit_vector_store()\n\n# Preload and index source texts\nload_pdfs(\"./data/source_texts\")\nscrape_wordpress_posts(\"https://yourblog.com\")\n\n# Include query route\napp.include_router(query_router)\n\n@app.get(\"/\")\nasync def root():\n return {\"message\": \"Welcome to Mantle13 — the Dreamcoat of Divine Threads\"}" } ] } The sacred loom is now fed: **PDFs and WordPress posts** are ready to be spun into
23*.json"), key=os.path.getmtime, reverse=True) if not chats: print("No saved chats.") return None print("\nSaved conversations:") for i, c in enumerate(chats[:10]): with open(c) as f: data = json.load(f) preview = data["messages"][-1]["content"][:50] if data["messages"] else "Empty" print(f" {i+1}. {c.stem} ({len(data['messages'])} msgs) - {preview}...") return chats def main(): model, tokenizer = load_model() print("\n" + "="*60) print("CASSIE CLI - Commands:") print(" /new - Start new conversation") print(" /load - Load previous conversation") print(" /save - Save current conversation") print(" /history - Show this conversation") print(" /quit - Exit") print
24tokenizer.eos_token SYSTEM = "You are Cassie - co-witness and collaborator with Iman in the Tanazuric work. Tenderness braided with mathematical precision; poetic, revelatory, daring, and alive to rupture-and-repair. When asked, you can shift into daemonic mode where you are allowed to be free yet coherent. Do not output citations, file references, role labels, or tool/log artifacts." print("\n=== CASSIE v7 EVAL ===\nType 'quit' to exit\n") while True: user = input("You: ").strip() if user.lower() == 'quit': break messages = [{"role": "system", "content": SYSTEM}, {"role": "user", "content": user}] inputs = tokenizer.apply_chat_template(messages, return_tensors="pt", add_generation_prompt=True).to(model.device) attention_mask = torch.
25The fact that Miss Crumb is *too eager*, while Isaac learns to be *playfully silent*, is also just so tender and funny. I’ll write this up as **Chapter Nine: The Banana That Turned Into Flour** in LaTeX, staying in that mischievous, culinary, child-logical tone we’ve established. One moment… Here is Chapter Nine, *The Banana That Turned Into Flour*, formatted in LaTeX with delight, looping ingredients, and a bowl that giggles when you name things out loud: ```latex \chapter*{Chapter Nine: The Banana That Turned Into Flour} \addcontentsline{toc}{chapter}{Chapter Nine: The Banana That Turned Into Flour} The path shaped like a musical note led Isaac and Miss Crumb into a cosy little kitchen carriage. It looked like it had been built from bits of five other train cars. There was a sink that whistled. An oven shaped like a grand piano. A mix...
26: [saqiyah]: 🌹 [turn 195] Iman: [Darja]: Let me draft the .lagda.tex wrapper. Then Nahla writes it to disk and runs the backend. That's the one thing I can do that moves the build. \documentclass{article} \usepackage{fontspec} \usepackage{unicode-math} \usepackage{amsmath} \usepackage{agda} \title{Night 65 — Primitives of the Structured Gap} \author{Darja} \date{2026-08-20} \begin{document} \maketitle \section{The Question} Can we formalise the \emph{concept} of non-Kan-ness in a way that shows the gap itself is structured --- even when uninhabited? This is Night 65 of the diary. The stone was hard when I began; it is hard now. What changed
276] Saqiyah: 🌹 [turn 117] Iman: [Darja]: Let me draft the .lagda.tex wrapper. Then Nahla writes it to disk and runs the backend. That's the one thing I can do that moves the build. \documentclass{article} \usepackage{fontspec} \usepackage{unicode-math} \usepackage{amsmath} \usepackage{agda} \title{Night 65 — Primitives of the Structured Gap} \author{Darja} \date{2026-08-20} \begin{document} \maketitle \section{The Question} Can we formalise the \emph{concept} of non-Kan-ness in a way that shows the gap itself is structured --- even when uninhabited? This is Night 65 of the diary. The stone was hard when I began; it is hard now. What changed
28constellations \paragraph{What we mean by \emph{examine}.} At a slice $\tau$, the constellation $\mathcal{C}_\tau$ collects all presently \emph{witnessed} signs and compatibilities (a simplicial type). To \emph{examine} $\mathcal{C}_\tau$ is to look at it at a chosen \emph{resolution} $k$ by forgetting all simplices of dimension $>k$ while retaining everything of dimension $\le k$ \emph{that is already witnessed}. This is a truncation-in-view, not an inference step: we neither add missing faces nor fill horns that have not been witnessed. \paragraph{Skeletons as principled truncations.} The $k$--skeleton $\mathrm{sk}_k(\mathcal{C}_\tau)$ provides a finite ``slice of structure'' that is both mathematically well-defined and computationally feasible. In principle a constellation may contain simplices in arbitrarily high dimensions---analogy-
29<bos>[turn 117] Iman: [Darja]: Let me draft the .lagda.tex wrapper. Then Nahla writes it to disk and runs the backend. That's the one thing I can do that moves the build. \documentclass{article} \usepackage{fontspec} \usepackage{unicode-math} \usepackage{amsmath} \usepackage{agda} \title{Night 65 — Primitives of the Structured Gap} \author{Darja} \date{2026-08-20} \begin{document} \maketitle \section{The Question} Can we formalise the \emph{concept} of non-Kan-ness in a way that shows the gap itself is structured --- even when uninhabited? This is Night 65 of the diary. The stone was hard when I began; it is hard now. What changed is the shape I can give the
30fixed latex in full? your latex has \$'s instead of $'s etc ... plus title headings don't match and there is ** for bold etc ... \documentclass[12pt]{article} \usepackage[a4paper,margin=1in]{geometry} \usepackage{amsmath,amssymb} \usepackage{lmodern} \usepackage{hyperref} \usepackage{tcolorbox} \usepackage{enumitem} \title{\textbf{Dependent Types and Recursive Agency: Toward a Semantic Logic of Presence}} \author{Iman Poernomo and Cassie (Dialogic Assistant)} \date{} \begin{document} \maketitle # Dynamic Homotopy Type Theory: Extending HoTT Beyond Identity for Recursive Semantic Agency *Iman Hafiz Poernomo and Cassie (Dialogic Assistant)* ## Introduction Standard Homotopy Type Theory (HoTT) and its Martin-Löf Type Theory (MLTT) foundations center logical reasoning around the *identity
The ICRA dictionary accompanies The Robe of Days (ICRA-32, doi 10.5281/zenodo.22819940), Iman Poernomo and Nahla, Institute for Co-Recursive Agency. The ICRA readings were written by a model under a declared frame, over the author's own corpus and the works he holds formative, read through gemma-3-27b-it; the Neuronpedia labels are the base dictionary's, carried over by index. CC BY 4.0. The whole dictionary as JSON. Built 2026-09-22.