;; Plan: produce mermaid diagrams of key concepts from the foundational papers (meta plan (id “DIAG-001”) (title “Foundational Paper Concept Diagrams”) (version “0.1.0”) (status “active”) (created “2026-04-14”) (author “agent:hugo”) (description “Survey foundational papers in vault/papers/foundations and produce mermaid concept diagrams for key clusters (speech acts, knowledge representation, computability, agency, language/concurrency). Wire into concept notes and concept-map.md.”))

;; Agents (given agent-hugo-available)

;; Tasks (given task-survey) (given task-speech-acts) (given task-knowledge-rep) (given task-computability) (given task-agency) (given task-language-concurrency) (given task-integrate) (given task-validate)

;; Task metadata (meta task-survey (description “Skim foundations/ papers and pick the 5 thematic clusters whose concepts most benefit from a diagram. Record the chosen concept list per cluster.”) (acceptance “A short note (in plan comments or staging file) listing each cluster, the papers it draws from, and the specific concepts/relationships to diagram.”))

(meta task-speech-acts (description “Mermaid diagram of the speech-act lineage: Austin’s locutionary/illocutionary/perlocutionary triad → Searle’s taxonomy → Grice’s maxims → Vanderveken’s foundations → ACL performatives (KQML/FIPA/Elephant 2000).”) (acceptance “Diagram embedded in a relevant concept note (e.g. ACL Evolution.md or a new diagram note); renders in obsidian/markdown; nodes link to source papers.”))

(meta task-knowledge-rep (description “Mermaid diagram of knowledge representation lineage: McCarthy Programs with Common Sense → Advice Taker → Frames (Minsky) → Circumscription → Knowledge Level (Newell) → Society of Mind / Extended Mind.”) (acceptance “Diagram embedded in a concept note; shows representational vs nonmonotonic vs sub-symbolic branches.”))

(meta task-computability (description “Mermaid diagram of the computability/undecidability cluster: Gödel incompleteness → Church/Kleene recursive functions → Turing unsolvable problem → Rice’s theorem → Post’s problem. Show the citation/influence DAG.”) (acceptance “Diagram embedded; clearly distinguishes the three equivalent formulations and the corollary results.”))

(meta task-agency (description “Mermaid diagram of the agent-architecture cluster: Hewitt Actor Model → BDI (Bratman/Rao-Georgeff) → Subsumption (Brooks ‘Intelligence Without Representation’) → Shoham AGENT-0 → Dennett intentional stance.”) (acceptance “Diagram embedded; contrasts symbolic, behavior-based, and intentional-stance views.”))

(meta task-language-concurrency (description “Mermaid diagram of language/concurrency foundations: Chomsky ‘Three Models’ → Floyd ‘Assigning Meanings’ → Hoare CSP → Backus ‘Liberated from von Neumann’ → cyclic-program proof method. Show flow into modern process calculi referenced elsewhere in the vault.”) (acceptance “Diagram embedded; shows the semantics → concurrency → functional-style branches.”))

(meta task-integrate (description “Add a ‘Diagrams’ section to concept-map.md linking to each of the five new diagrams. Cross-link from each diagram back to the relevant paper notes in foundations/.”) (acceptance “concept-map.md updated; every new diagram has at least one inbound link from a paper note and one from concept-map.”))

(meta task-validate (description “Run rebuild.sh (or inspect dist/) to confirm diagrams render. Fix any mermaid syntax errors.”) (acceptance “All five diagrams render without errors in the built site.”))

;; Readiness rules (normally r-ready-survey task-survey ready-survey)

(normally r-ready-speech (and task-speech-acts completed-survey) ready-speech-acts) (normally r-ready-kr (and task-knowledge-rep completed-survey) ready-knowledge-rep) (normally r-ready-comp (and task-computability completed-survey) ready-computability) (normally r-ready-agency (and task-agency completed-survey) ready-agency) (normally r-ready-lang (and task-language-concurrency completed-survey) ready-language-concurrency)

(normally r-ready-integrate (and task-integrate completed-speech-acts completed-knowledge-rep completed-computability completed-agency completed-language-concurrency) ready-integrate)

(normally r-ready-validate (and task-validate completed-integrate) ready-validate)

;; Assignment rules — solo agent (normally r-assign-survey (and ready-survey agent-hugo-available) assign-to-survey-hugo) (normally r-assign-speech (and ready-speech-acts agent-hugo-available) assign-to-speech-acts-hugo) (normally r-assign-kr (and ready-knowledge-rep agent-hugo-available) assign-to-knowledge-rep-hugo) (normally r-assign-comp (and ready-computability agent-hugo-available) assign-to-computability-hugo) (normally r-assign-agency (and ready-agency agent-hugo-available) assign-to-agency-hugo) (normally r-assign-lang (and ready-language-concurrency agent-hugo-available) assign-to-language-concurrency-hugo) (normally r-assign-integrate (and ready-integrate agent-hugo-available) assign-to-integrate-hugo) (normally r-assign-validate (and ready-validate agent-hugo-available) assign-to-validate-hugo)

(meta r-ready-integrate (description “Integration waits for all five diagram clusters to complete”) (justification “concept-map needs the actual diagram files to link to”))

(claims agent:hugo

at “2026-04-14T09:16:23Z” (given claim-v1-survey) (normally r-cl-state-v1-survey claim-v1-survey state-claimed-v1-survey) (normally r-cl-chain-v1-survey state-claimed-v1-survey claimed-survey) )

;; Propagation rules: failures in ‘survey’ block downstream tasks (normally r-propagate-agency-from-survey-failed failed-survey upstream-blocked-agency) (normally r-propagate-agency-from-survey-permanently-failed permanently-failed-survey upstream-blocked-agency) (normally r-propagate-agency-from-survey-stale-v1 stale-v1-survey upstream-blocked-agency) (normally r-propagate-agency-from-survey-timeout-v1 timeout-v1-survey upstream-blocked-agency) (normally r-propagate-agency-from-survey-blocked upstream-blocked-survey upstream-blocked-agency) (normally r-propagate-computability-from-survey-failed failed-survey upstream-blocked-computability) (normally r-propagate-computability-from-survey-permanently-failed permanently-failed-survey upstream-blocked-computability) (normally r-propagate-computability-from-survey-stale-v1 stale-v1-survey upstream-blocked-computability) (normally r-propagate-computability-from-survey-timeout-v1 timeout-v1-survey upstream-blocked-computability) (normally r-propagate-computability-from-survey-blocked upstream-blocked-survey upstream-blocked-computability) (normally r-propagate-knowledge-rep-from-survey-failed failed-survey upstream-blocked-knowledge-rep) (normally r-propagate-knowledge-rep-from-survey-permanently-failed permanently-failed-survey upstream-blocked-knowledge-rep) (normally r-propagate-knowledge-rep-from-survey-stale-v1 stale-v1-survey upstream-blocked-knowledge-rep) (normally r-propagate-knowledge-rep-from-survey-timeout-v1 timeout-v1-survey upstream-blocked-knowledge-rep) (normally r-propagate-knowledge-rep-from-survey-blocked upstream-blocked-survey upstream-blocked-knowledge-rep) (normally r-propagate-language-concurrency-from-survey-failed failed-survey upstream-blocked-language-concurrency) (normally r-propagate-language-concurrency-from-survey-permanently-failed permanently-failed-survey upstream-blocked-language-concurrency) (normally r-propagate-language-concurrency-from-survey-stale-v1 stale-v1-survey upstream-blocked-language-concurrency) (normally r-propagate-language-concurrency-from-survey-timeout-v1 timeout-v1-survey upstream-blocked-language-concurrency) (normally r-propagate-language-concurrency-from-survey-blocked upstream-blocked-survey upstream-blocked-language-concurrency) (normally r-propagate-speech-acts-from-survey-failed failed-survey upstream-blocked-speech-acts) (normally r-propagate-speech-acts-from-survey-permanently-failed permanently-failed-survey upstream-blocked-speech-acts) (normally r-propagate-speech-acts-from-survey-stale-v1 stale-v1-survey upstream-blocked-speech-acts) (normally r-propagate-speech-acts-from-survey-timeout-v1 timeout-v1-survey upstream-blocked-speech-acts) (normally r-propagate-speech-acts-from-survey-blocked upstream-blocked-survey upstream-blocked-speech-acts)

;; Transitive propagation: upstream-blocked cascades through dependency chain (normally r-propagate-integrate-from-agency-blocked upstream-blocked-agency upstream-blocked-integrate) (normally r-propagate-integrate-from-computability-blocked upstream-blocked-computability upstream-blocked-integrate) (normally r-propagate-integrate-from-knowledge-rep-blocked upstream-blocked-knowledge-rep upstream-blocked-integrate) (normally r-propagate-integrate-from-language-concurrency-blocked upstream-blocked-language-concurrency upstream-blocked-integrate) (normally r-propagate-integrate-from-speech-acts-blocked upstream-blocked-speech-acts upstream-blocked-integrate) (normally r-propagate-validate-from-integrate-blocked upstream-blocked-integrate upstream-blocked-validate)

(claims agent:hugo

at “2026-04-14T09:16:36Z” (given survey-complete))

(claims agent:hugo

at “2026-04-14T09:16:36Z” (given completed-survey))

(claims agent:hugo

at “2026-04-14T09:16:41Z” (given claim-v1-speech-acts) (normally r-cl-state-v1-speech-acts claim-v1-speech-acts state-claimed-v1-speech-acts) (normally r-cl-chain-v1-speech-acts state-claimed-v1-speech-acts claimed-speech-acts) )

;; Propagation rules: failures in ‘speech-acts’ block downstream tasks (normally r-propagate-integrate-from-speech-acts-failed failed-speech-acts upstream-blocked-integrate) (normally r-propagate-integrate-from-speech-acts-permanently-failed permanently-failed-speech-acts upstream-blocked-integrate) (normally r-propagate-integrate-from-speech-acts-stale-v1 stale-v1-speech-acts upstream-blocked-integrate) (normally r-propagate-integrate-from-speech-acts-timeout-v1 timeout-v1-speech-acts upstream-blocked-integrate)

(claims agent:hugo

at “2026-04-14T09:16:57Z” (given completed-speech-acts))

(claims agent:hugo

at “2026-04-14T09:16:58Z” (given claim-v1-knowledge-rep) (normally r-cl-state-v1-knowledge-rep claim-v1-knowledge-rep state-claimed-v1-knowledge-rep) (normally r-cl-chain-v1-knowledge-rep state-claimed-v1-knowledge-rep claimed-knowledge-rep) )

;; Propagation rules: failures in ‘knowledge-rep’ block downstream tasks (normally r-propagate-integrate-from-knowledge-rep-failed failed-knowledge-rep upstream-blocked-integrate) (normally r-propagate-integrate-from-knowledge-rep-permanently-failed permanently-failed-knowledge-rep upstream-blocked-integrate) (normally r-propagate-integrate-from-knowledge-rep-stale-v1 stale-v1-knowledge-rep upstream-blocked-integrate) (normally r-propagate-integrate-from-knowledge-rep-timeout-v1 timeout-v1-knowledge-rep upstream-blocked-integrate)

(claims agent:hugo

at “2026-04-14T09:17:14Z” (given completed-knowledge-rep))

(claims agent:hugo

at “2026-04-14T09:17:14Z” (given claim-v1-computability) (normally r-cl-state-v1-computability claim-v1-computability state-claimed-v1-computability) (normally r-cl-chain-v1-computability state-claimed-v1-computability claimed-computability) )

;; Propagation rules: failures in ‘computability’ block downstream tasks (normally r-propagate-integrate-from-computability-failed failed-computability upstream-blocked-integrate) (normally r-propagate-integrate-from-computability-permanently-failed permanently-failed-computability upstream-blocked-integrate) (normally r-propagate-integrate-from-computability-stale-v1 stale-v1-computability upstream-blocked-integrate) (normally r-propagate-integrate-from-computability-timeout-v1 timeout-v1-computability upstream-blocked-integrate)

(claims agent:hugo

at “2026-04-14T09:17:33Z” (given completed-computability))

(claims agent:hugo

at “2026-04-14T09:17:33Z” (given claim-v1-agency) (normally r-cl-state-v1-agency claim-v1-agency state-claimed-v1-agency) (normally r-cl-chain-v1-agency state-claimed-v1-agency claimed-agency) )

;; Propagation rules: failures in ‘agency’ block downstream tasks (normally r-propagate-integrate-from-agency-failed failed-agency upstream-blocked-integrate) (normally r-propagate-integrate-from-agency-permanently-failed permanently-failed-agency upstream-blocked-integrate) (normally r-propagate-integrate-from-agency-stale-v1 stale-v1-agency upstream-blocked-integrate) (normally r-propagate-integrate-from-agency-timeout-v1 timeout-v1-agency upstream-blocked-integrate)

(claims agent:hugo

at “2026-04-14T09:17:51Z” (given completed-agency))

(claims agent:hugo

at “2026-04-14T09:17:51Z” (given claim-v1-language-concurrency) (normally r-cl-state-v1-language-concurrency claim-v1-language-concurrency state-claimed-v1-language-concurrency) (normally r-cl-chain-v1-language-concurrency state-claimed-v1-language-concurrency claimed-language-concurrency) )

;; Propagation rules: failures in ‘language-concurrency’ block downstream tasks (normally r-propagate-integrate-from-language-concurrency-failed failed-language-concurrency upstream-blocked-integrate) (normally r-propagate-integrate-from-language-concurrency-permanently-failed permanently-failed-language-concurrency upstream-blocked-integrate) (normally r-propagate-integrate-from-language-concurrency-stale-v1 stale-v1-language-concurrency upstream-blocked-integrate) (normally r-propagate-integrate-from-language-concurrency-timeout-v1 timeout-v1-language-concurrency upstream-blocked-integrate)

(claims agent:hugo

at “2026-04-14T09:18:16Z” (given completed-language-concurrency))

(claims agent:hugo

at “2026-04-14T09:18:16Z” (given claim-v1-integrate) (normally r-cl-state-v1-integrate claim-v1-integrate state-claimed-v1-integrate) (normally r-cl-chain-v1-integrate state-claimed-v1-integrate claimed-integrate) )

;; Propagation rules: failures in ‘integrate’ block downstream tasks (normally r-propagate-validate-from-integrate-failed failed-integrate upstream-blocked-validate) (normally r-propagate-validate-from-integrate-permanently-failed permanently-failed-integrate upstream-blocked-validate) (normally r-propagate-validate-from-integrate-stale-v1 stale-v1-integrate upstream-blocked-validate) (normally r-propagate-validate-from-integrate-timeout-v1 timeout-v1-integrate upstream-blocked-validate)

(claims agent:hugo

at “2026-04-14T09:18:38Z” (given completed-integrate))

(claims agent:hugo

at “2026-04-14T09:18:38Z” (given claim-v1-validate) (normally r-cl-state-v1-validate claim-v1-validate state-claimed-v1-validate) (normally r-cl-chain-v1-validate state-claimed-v1-validate claimed-validate) )