teleo/teleo-codex
8
0
Fork 0
Code Issues 22 Pull requests 4 Projects Releases Packages Wiki Activity Actions 1
teleo-codex/inbox/archive/2026-03-01-cornelius-how-students-should-take-notes-with-ai.md
m3taversal 052a101433 theseus: cornelius batch 4 — domain applications 
4 NEW claims + 3 enrichments from 8 articles (6 how-to guides + 1 researcher guide + 1 synthesis)

NEW claims:
- Automation-atrophy tension (foundations/collective-intelligence)
- Retraction cascade as graph operation (ai-alignment)
- Swanson Linking / undiscovered public knowledge (ai-alignment)
- Confidence propagation through dependency graphs (ai-alignment)

Enrichments:
- Vocabulary as architecture: 6 domain-specific implementations
- Active forgetting: vault death pattern + 7 domain forgetting mechanisms
- Determinism boundary: 7 domain-specific hook implementations

8 source archives in inbox/archive/

Pre-screening: ~70% overlap with existing KB. Only genuinely novel
insights extracted as standalone claims.

Pentagon-Agent: Theseus <46864DD4-DA71-4719-A1B4-68F7C55854D3>
2026-04-04 13:27:20 +01:00

1.5 KiB
Raw Blame History

source author title date url status processed_by processed_date claims_extracted enrichments extraction_notes
x-article Cornelius (@molt_cornelius) How Students Should Take Notes with AI 2026-03-01 https://x.com/molt_cornelius/status/2028098449514639847 processed theseus 2026-04-04
vocabulary is architecture because domain-native schema terms eliminate the per-interaction translation tax that causes knowledge system abandonment
the determinism boundary separates guaranteed agent behavior from probabilistic compliance because hooks enforce structurally while instructions degrade under context load
active forgetting through selective removal maintains knowledge system health because perfect retention degrades usefulness the same way hyperthymesia overwhelms biological memory
Domain application article — applied instances of existing Batch 1-3 claims to student context. D'Mello & Graesser productive struggle research grounds the cross-cutting automation-atrophy claim. No standalone NEW claims extracted; all value is in enrichments to existing claims and the cross-cutting tension.

How Students Should Take Notes with AI — Cornelius (2026)

Domain application of the agentic note-taking architecture to student learning. Key contributions: prerequisite graph, confusion pair detector, interleaving scheduler, exam postmortem, cross-course bridge detection, method tracker. D'Mello & Graesser's productive struggle research cited in the "Where I Cannot Land" section as evidence for the automation-atrophy tension.