{ "schemaVersion": 2, "snapshotDate": "2026-10-03", "scope": "Selected public source metadata from the current 15 Portfolio Wave best groups. Personal records and curation-status tags are excluded.", "groups": [ { "id": "group:Powell RL Stochastic Optimisation", "label": "Powell RL Stochastic Optimisation", "kind": "group", "weight": 1, "note": "Background collection, not a numbered foray. Membership is a reading route, not a ranking." }, { "id": "group:2nd tier", "label": "2nd tier", "kind": "group", "weight": 1, "note": "Background collection, not a numbered foray. Membership is a reading route, not a ranking." }, { "id": "group:Canon", "label": "Canon", "kind": "group", "weight": 1, "note": "Background collection, not a numbered foray. Membership is a reading route, not a ranking." }, { "id": "group:Co design for trade offs", "label": "Co design for trade offs", "kind": "group", "weight": 1, "note": "Observed collection membership; the folder name is not itself a research claim or source-use statement." }, { "id": "group:Dynamic project states", "label": "Dynamic project states", "kind": "group", "weight": 1, "note": "Observed collection membership; the folder name is not itself a research claim or source-use statement." }, { "id": "group:Dynamics ( sharing)", "label": "Dynamics ( sharing)", "kind": "group", "weight": 1, "note": "Observed collection membership; the folder name is not itself a research claim or source-use statement." }, { "id": "group:Generate WBS paths", "label": "Generate WBS paths", "kind": "group", "weight": 1, "note": "Observed collection membership; the folder name is not itself a research claim or source-use statement." }, { "id": "group:Local data, global WBS", "label": "Local data, global WBS", "kind": "group", "weight": 1, "note": "Observed collection membership; the folder name is not itself a research claim or source-use statement." }, { "id": "group:Programme decision seq.", "label": "Programme decision seq.", "kind": "group", "weight": 1, "note": "Observed collection membership; the folder name is not itself a research claim or source-use statement." }, { "id": "group:Project wiring diagrams", "label": "Project wiring diagrams", "kind": "group", "weight": 1, "note": "Observed collection membership; the folder name is not itself a research claim or source-use statement." }, { "id": "group:Projects by agents", "label": "Projects by agents", "kind": "group", "weight": 1, "note": "Historical reading collection. The former foray is subsumed by wider Agent Patterns work; it is not a neighbouring direction for Knowing enough to act together." }, { "id": "group:Semantics for WBS", "label": "Semantics for WBS", "kind": "group", "weight": 1, "note": "Observed collection membership; the folder name is not itself a research claim or source-use statement." }, { "id": "group:processes to plans", "label": "processes to plans", "kind": "group", "weight": 1, "note": "Observed collection membership; the folder name is not itself a research claim or source-use statement." }, { "id": "group:Geometry of Interaction", "label": "Geometry of Interaction", "kind": "group", "weight": 1, "note": "Observed collection membership; the folder name is not itself a research claim or source-use statement." }, { "id": "group:Knowing enough to act together", "label": "Knowing enough to act together", "kind": "group", "weight": 1, "note": "Observed collection membership; the folder name is not itself a research claim or source-use statement." } ], "sources": [ { "id": "source:RLSO ch 2", "label": "RLSO ch 2", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/06/RLSO-Cover-Chapter2-June302021.pdf" }, { "id": "source:castlelab.princeton.edu index", "label": "castlelab.princeton.edu index", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/09/RLSO-Cover-Index-Sept32021.pdf" }, { "id": "source:castlelab.princeton.edu ch 4", "label": "castlelab.princeton.edu ch 4", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/06/RLSO-Cover-Chapter4-June302021.pdf" }, { "id": "source:castlelab.princeton.edu ch 12", "label": "castlelab.princeton.edu ch 12", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/09/RLSO-Cover-Chapter12-Sept32021.pdf" }, { "id": "source:castlelab.princeton.edu ch 20", "label": "castlelab.princeton.edu ch 20", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/09/RLSO-Cover-Chapter20-Sept32021.pdf" }, { "id": "source:castlelab.princeton.edu ch 15", "label": "castlelab.princeton.edu ch 15", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/09/RLSO-Cover-Chapter15-Sept32021.pdf" }, { "id": "source:castlelab.princeton.edu ch 18", "label": "castlelab.princeton.edu ch 18", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/09/RLSO-Cover-Chapter18-Sept32021.pdf" }, { "id": "source:castlelab.princeton.edu ch7", "label": "castlelab.princeton.edu ch7", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/09/RLSO-Cover-Chapter7-Sept32021.pdf" }, { "id": "source:castlelab.princeton.edu ch 19", "label": "castlelab.princeton.edu ch 19", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/09/RLSO-Cover-Chapter19-Sept32021.pdf" }, { "id": "source:castlelab.princeton.edu ch 11", "label": "castlelab.princeton.edu ch 11", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/09/RLSO-Cover-Chapter11-Sept32021.pdf" }, { "id": "source:castlelab.princeton.edu ch 10", "label": "castlelab.princeton.edu ch 10", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/09/RLSO-Cover-Chapter10-Sept32021.pdf" }, { "id": "source:castlelab.princeton.edu ch 6", "label": "castlelab.princeton.edu ch 6", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/06/RLSO-Cover-Chapter6-June302021.pdf" }, { "id": "source:castlelab.princeton.edu ch 13", "label": "castlelab.princeton.edu ch 13", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/09/RLSO-Cover-Chapter13-Sept32021.pdf" }, { "id": "source:castlelab.princeton.edu ch 17", "label": "castlelab.princeton.edu ch 17", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/09/RLSO-Cover-Chapter17-Sept32021.pdf" }, { "id": "source:castlelab.princeton.edu ch 9", "label": "castlelab.princeton.edu ch 9", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/09/RLSO-Cover-Chapter9-Sept32021.pdf" }, { "id": "source:castlelab.princeton.edu ch 5", "label": "castlelab.princeton.edu ch 5", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/06/RLSO-Cover-Chapter5-June302021.pdf" }, { "id": "source:On State Variables, Bandit Problems and POMDPs", "label": "On State Variables, Bandit Problems and POMDPs", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:From the jungle of stochastic optimization to… Sequential Decision Analytics – Castle Labs", "label": "From the jungle of stochastic optimization to… Sequential Decision Analytics – Castle Labs", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/jungle/" }, { "id": "source:castlelab.princeton.edu ch 8", "label": "castlelab.princeton.edu ch 8", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/09/RLSO-Cover-Chapter8-Sept32021.pdf" }, { "id": "source:castlelab.princeton.edu ch 16", "label": "castlelab.princeton.edu ch 16", "kind": "source", "weight": 1, "groups": [ "group:Powell RL Stochastic Optimisation" ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/09/RLSO-Cover-Chapter16-Sept32021.pdf" }, { "id": "source:Hamming - The Art Of Doing Science And Engineering 1997", "label": "Hamming - The Art Of Doing Science And Engineering 1997", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "design", "iterable loosely coupled layer" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:FAIR Data Point", "label": "FAIR Data Point", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "technical ontologies" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://scs-ontouml.eemcs.utwente.nl/catalog/b663ca18-8085-44a7-bcfe-2c2b5ba1faa8" }, { "id": "source:As_through_a_glass_darkly_a_complex_systems_approa", "label": "As_through_a_glass_darkly_a_complex_systems_approa", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:A personal prospect of categorical cybernetics – General abstract nonsense.", "label": "A personal prospect of categorical cybernetics – General abstract nonsense.", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "behavioural approach", "chain rule", "copresheaves", "double category", "emergence", "indexed category", "lax functor", "lens", "optics", "para", "presheaves", "smc" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Hierarchical Bayesian models of delusion Daniel Williams⁎", "label": "Hierarchical Bayesian models of delusion Daniel Williams⁎", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "hierarchy", "predictive processing" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.1016/j.concog.2018.03.003" }, { "id": "source:How Kalman Filters Work, Part 1 | An Uncommon Lab", "label": "How Kalman Filters Work, Part 1 | An Uncommon Lab", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "control systems", "kalman" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:KR in bicategories of Relations", "label": "KR in bicategories of Relations", "kind": "source", "weight": 1, "groups": [ "group:2nd tier", "group:Semantics for WBS" ], "tags": [ "2 category", "bi category", "category of elements", "category rel", "dagger category", "description logic", "graph databases", "logical implication", "poset", "smc", "sql", "t box" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:12 categorical decision theory", "label": "12 categorical decision theory", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "2024 act oxford", "categories", "decision", "prioritisation", "uncertainty" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:5 diagram representation of system lifecycle properties V", "label": "5 diagram representation of system lifecycle properties V", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "2017bottomup", "interface", "system" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:2024 amodei Machines of Loving Grace", "label": "2024 amodei Machines of Loving Grace", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "adoption", "llm", "scale" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://darioamodei.com/machines-of-loving-grace" }, { "id": "source:It’s Bayes All The Way Up", "label": "It’s Bayes All The Way Up", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "bottom up top down balance", "precision", "predictive processing" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://slatestarcodex.com/2016/09/12/its-bayes-all-the-way-up/" }, { "id": "source:The why, how, and when of representations for complex system", "label": "The why, how, and when of representations for complex system", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "categories", "compexity", "higher order graphs", "maximal simplex", "topological cavity" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:On Hopfield Networks and Boltzmann Machines", "label": "On Hopfield Networks and Boltzmann Machines", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "boltzmann machine", "hopfield network" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://cybercat-institute.github.io//2024/10/14/hopfield-networks-boltzmann-machines/" }, { "id": "source:Open cybernetics systems I- feedback systems as optics – General abstract nonsense.", "label": "Open cybernetics systems I- feedback systems as optics – General abstract nonsense.", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "actegory", "lens", "optics", "residual" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Up and Down the Ladder of Abstraction", "label": "Up and Down the Ladder of Abstraction", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "bret victor", "bundle", "design thinking", "discovery", "generality", "tangent bundle", "transitions", "unbundling" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "http://worrydream.com/LadderOfAbstraction/" }, { "id": "source:2020 (Project Narrative) Functorial Dynamics and Interaction: A computational design environment", "label": "2020 (Project Narrative) Functorial Dynamics and Interaction: A computational design environment", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "arena", "containers", "context dependent interaction", "dependent lenses", "functor", "poly" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Modeling Hierarchical System with Operads", "label": "Modeling Hierarchical System with Operads", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "alternate perspective", "boundary", "hierarchy", "interface", "operad", "port graph", "system", "tree", "wiring diagram" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.4204/EPTCS.323.5" }, { "id": "source:Open cybernetic systems II parametrised optics and agency - General - LocalCharts 2", "label": "Open cybernetic systems II parametrised optics and agency - General - LocalCharts 2", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "agency", "control feedback q", "control state p", "optics", "para", "systems" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Geometric deep learning ch 1 and 2 lectures", "label": "Geometric deep learning ch 1 and 2 lectures", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "categories", "gnns", "ml" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Use uncertainty to leverage the power of your predictive brain | Aeon Essays", "label": "Use uncertainty to leverage the power of your predictive brain | Aeon Essays", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "adding noise", "generative model", "imagination", "prediction", "uncertainty" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Polynomial Functors: A Mathematical Theory of Interaction", "label": "Polynomial Functors: A Mathematical Theory of Interaction", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "bidirectional morphism", "dependent lens", "functor", "interaction", "poly category", "systems" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:2024 Oct apple on reasoning", "label": "2024 Oct apple on reasoning", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "llm", "reasoning" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:A Compositional Framework for Markov Processes", "label": "A Compositional Framework for Markov Processes", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "categories", "dagger category", "markov", "smc" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:0 diagram representation of system lifecycle properties 0: Levels of abstraction for systems", "label": "0 diagram representation of system lifecycle properties 0: Levels of abstraction for systems", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "2017bottomup", "interface", "system" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Safeguarded AI programme Our TA1", "label": "Safeguarded AI programme Our TA1", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "safeguarded ai" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Technical chapter on concept graphs .pdf", "label": "Technical chapter on concept graphs .pdf", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "bipartite", "concept graph", "graph", "graph morphism", "graph rewriting", "hierarchy", "logic", "specialisation tree", "taxonomy", "tree" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:2-Dimensional Categories", "label": "2-Dimensional Categories", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "2 category", "bi category", "functors" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:MBSE chapter Category Theory 43 S. Breiner, E. Subrahmanian, and R. D. Sriram", "label": "MBSE chapter Category Theory 43 S. Breiner, E. Subrahmanian, and R. D. Sriram", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "categories", "mbse", "opm", "sysml" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.1007/978-3-030-93582-5_85" }, { "id": "source:2017 A higher-order temporal logic for dynamical systems", "label": "2017 A higher-order temporal logic for dynamical systems", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "algebraic topology", "behavioural approach", "category theory", "dynamic", "hypergraph category", "rel category", "service offering", "sheaves", "temporal type theory", "topos" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "http://math.ucr.edu/home/baez/ACT2017/ACT2017_spivak.pdf" }, { "id": "source:2024 Autoregressive Large Language Models are Computationally Universal", "label": "2024 Autoregressive Large Language Models are Computationally Universal", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "computation", "function approximation", "functional analysis", "llm" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:concept with an attitude in nLab", "label": "concept with an attitude in nLab", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "category theory", "concept with an attitude", "field", "presheaf" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:ARIA-Safeguarded-AI-Programme-Thesis-V1", "label": "ARIA-Safeguarded-AI-Programme-Thesis-V1", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "categories", "comb", "safeguarded ai", "verification" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Decapodes", "label": "Decapodes", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "dynamical systems", "odes", "operad", "wiring diagram" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Geometric Deep Learning Grids, Groups, Graphs, Geodesics, and Gauges", "label": "Geometric Deep Learning Grids, Groups, Graphs, Geodesics, and Gauges", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "gauge", "gdl", "graph", "inductive bias", "manifold", "ml" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Simplicial sets · CombinatorialSpaces.jl", "label": "Simplicial sets · CombinatorialSpaces.jl", "kind": "source", "weight": 1, "groups": [ "group:2nd tier" ], "tags": [ "categories", "simplex" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Contents", "label": "Contents", "kind": "source", "weight": 1, "groups": [ "group:Canon" ], "tags": [ "goldblatt" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Preface 2", "label": "Preface 2", "kind": "source", "weight": 1, "groups": [ "group:Canon" ], "tags": [ "goldblatt" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Preface", "label": "Preface", "kind": "source", "weight": 1, "groups": [ "group:Canon" ], "tags": [ "goldblatt", "logic", "sheaf" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:3 arrows instead of epsilon", "label": "3 arrows instead of epsilon", "kind": "source", "weight": 1, "groups": [ "group:Canon" ], "tags": [ "goldblatt" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:1 maths is set theory ?", "label": "1 maths is set theory ?", "kind": "source", "weight": 1, "groups": [ "group:Canon" ], "tags": [ "goldblatt" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:2018 intro to ACT", "label": "2018 intro to ACT", "kind": "source", "weight": 1, "groups": [ "group:Canon" ], "tags": [ "monoid", "smcs" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Seven sketches late", "label": "Seven sketches late", "kind": "source", "weight": 1, "groups": [ "group:Canon" ], "tags": [ "smc" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Category Theory for Scientists", "label": "Category Theory for Scientists", "kind": "source", "weight": 1, "groups": [ "group:Canon" ], "tags": [ "groups", "hierarchy", "monad", "monoid", "olog", "operads", "partial order", "self similarity" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "http://math.mit.edu/~dspivak/teaching/sp13/CT4S.pdf" }, { "id": "source:201x Censi Formal tools for co-design mcdp-manual", "label": "201x Censi Formal tools for co-design mcdp-manual", "kind": "source", "weight": 1, "groups": [ "group:Co design for trade offs" ], "tags": [ "category theory", "design", "poset", "python package", "resource management", "trade offs" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://andreacensi.github.io/mcdp-manual/mcdp-manual.pdf" }, { "id": "source:Monotone Co-Design Problems; or, everything is the same", "label": "Monotone Co-Design Problems; or, everything is the same", "kind": "source", "weight": 1, "groups": [ "group:Co design for trade offs" ], "tags": [ "co design", "design", "poset", "rel category", "trade offs", "wiring diagram" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://censi.science/pub/research/2015-robotics-seminar/1511-censi-robotics-seminar-steps.pdf" }, { "id": "source:Co-Design of Complex Systems", "label": "Co-Design of Complex Systems", "kind": "source", "weight": 1, "groups": [ "group:Co design for trade offs" ], "tags": [ "co design", "trade offs" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Maitria — Mathematical Assurance and Interaction Toolkit for Reliable Intelligent Agents (book, 2026-08-10)", "label": "Maitria — Mathematical Assurance and Interaction Toolkit for Reliable Intelligent Agents (book, 2026-08-10)", "kind": "source", "weight": 1, "groups": [ "group:Co design for trade offs", "group:Dynamic project states", "group:Dynamics ( sharing)", "group:Generate WBS paths", "group:Local data, global WBS", "group:Programme decision seq.", "group:Project wiring diagrams", "group:Projects by agents", "group:Semantics for WBS", "group:processes to plans" ], "tags": [], "review": "Focused source passages inspected for the editorial use below during the 3–4 October 2026 refresh.", "url": "https://maitria.org/book.pdf" }, { "id": "source:Maitria — website and source index", "label": "Maitria — website and source index", "kind": "source", "weight": 1, "groups": [ "group:Co design for trade offs", "group:Dynamic project states", "group:Dynamics ( sharing)", "group:Generate WBS paths", "group:Local data, global WBS", "group:Programme decision seq.", "group:Project wiring diagrams", "group:Projects by agents", "group:Semantics for WBS", "group:processes to plans" ], "tags": [], "review": "Focused source passages inspected for the editorial use below during the 3–4 October 2026 refresh.", "url": "https://maitria.org/" }, { "id": "source:Maitria — mtk modelling toolkit (repository)", "label": "Maitria — mtk modelling toolkit (repository)", "kind": "source", "weight": 1, "groups": [ "group:Co design for trade offs", "group:Dynamic project states", "group:Dynamics ( sharing)", "group:Generate WBS paths", "group:Local data, global WBS", "group:Programme decision seq.", "group:Project wiring diagrams", "group:Projects by agents", "group:Semantics for WBS", "group:processes to plans" ], "tags": [], "review": "Focused source passages inspected for the editorial use below during the 3–4 October 2026 refresh.", "url": "https://github.com/maitria-coalition/mtk" }, { "id": "source:2021 Myers double categories of Open Systems", "label": "2021 Myers double categories of Open Systems", "kind": "source", "weight": 1, "groups": [ "group:Dynamic project states" ], "tags": [ "arena", "bundle", "double category", "dynamics", "i", "i ∈ bun(o)", "indexed category", "open system" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.4204/EPTCS.333.11" }, { "id": "source:2009 09 coecke the practising physicist", "label": "2009 09 coecke the practising physicist", "kind": "source", "weight": 1, "groups": [ "group:Dynamic project states" ], "tags": [ "adjoint functors", "cartesian categories", "category theory", "smc" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:2023 Myers dynamics", "label": "2023 Myers dynamics", "kind": "source", "weight": 1, "groups": [ "group:Dynamic project states" ], "tags": [ "arena", "behavioural approach", "doctrine", "dynamical system", "parameter setting doctrine", "smc", "state", "wiring diagram" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:2022 lynch Relational Composition of Physical Systems A Categorical Approach", "label": "2022 lynch Relational Composition of Physical Systems A Categorical Approach", "kind": "source", "weight": 1, "groups": [ "group:Dynamic project states" ], "tags": [ "behavioural approach", "categories", "hamiltonian", "operad", "port hamiltonian", "systems", "uwd" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:2019 spivak Lenses", "label": "2019 spivak Lenses", "kind": "source", "weight": 1, "groups": [ "group:Dynamic project states" ], "tags": [ "bundle", "fibre", "learner", "lens", "para", "smc" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:2014 coecke resources", "label": "2014 coecke resources", "kind": "source", "weight": 1, "groups": [ "group:Dynamic project states" ], "tags": [ "co slice category", "combs", "commutative monoid", "partitioned process theories", "poset", "pre ordered monoid", "resource convertibility", "resource monotones", "resource theories", "smc" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.1016/j.ic.2016.02.008" }, { "id": "source:2022 From categorical systems theory to categorical cybernetics", "label": "2022 From categorical systems theory to categorical cybernetics", "kind": "source", "weight": 1, "groups": [ "group:Dynamic project states" ], "tags": [ "behavioural approach", "control" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.32408/compositionality-4-3" }, { "id": "source:6 Complex Adaptive System Design (Part 6) | Azimuth", "label": "6 Complex Adaptive System Design (Part 6) | Azimuth", "kind": "source", "weight": 1, "groups": [ "group:Dynamics ( sharing)" ], "tags": [ "functor", "grothendieck construction", "network operad" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:5 Complex Adaptive System Design (Part 5) | Azimuth", "label": "5 Complex Adaptive System Design (Part 5) | Azimuth", "kind": "source", "weight": 1, "groups": [ "group:Dynamics ( sharing)" ], "tags": [ "dynamic", "granularity", "network operad", "operad" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:9 Complex Adaptive System Design (Part 9) | Azimuth", "label": "9 Complex Adaptive System Design (Part 9) | Azimuth", "kind": "source", "weight": 1, "groups": [ "group:Dynamics ( sharing)" ], "tags": [ "commitments", "grothendieck construction", "non commutative", "petri net", "resource management", "scheduling", "smc" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:8 Complex Adaptive System Design (Part 8)", "label": "8 Complex Adaptive System Design (Part 8)", "kind": "source", "weight": 1, "groups": [ "group:Dynamics ( sharing)" ], "tags": [ "category theory", "commitment", "constraints", "inference", "network", "petri net", "resource management", "scheduling", "tools" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://johncarlosbaez.wordpress.com/2018/08/22/complex-adaptive-systems-part-8/" }, { "id": "source:4 Complex Adaptive System Design (Part 4) | Azimuth", "label": "4 Complex Adaptive System Design (Part 4) | Azimuth", "kind": "source", "weight": 1, "groups": [ "group:Dynamics ( sharing)" ], "tags": [ "network", "network operad" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:3 Complex Adaptive System Design (Part 3) | Azimuth", "label": "3 Complex Adaptive System Design (Part 3) | Azimuth", "kind": "source", "weight": 1, "groups": [ "group:Dynamics ( sharing)" ], "tags": [ "categories", "network", "network operad", "operad", "petri net", "wiring diagram" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:The Behavioral Approach to Systems Theory | The n-Category Café", "label": "The Behavioral Approach to Systems Theory | The n-Category Café", "kind": "source", "weight": 1, "groups": [ "group:Dynamics ( sharing)" ], "tags": [ "behavioural approach", "categories", "dynamic systems", "tear zoom link", "variable sharing" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://golem.ph.utexas.edu/category/2018/06/the_behavioral_approach_to_sys.html" }, { "id": "source:The Behavioral The BehavioralApproach to Open andInterconnected Systems", "label": "The Behavioral The BehavioralApproach to Open andInterconnected Systems", "kind": "source", "weight": 1, "groups": [ "group:Dynamics ( sharing)" ], "tags": [ "bundle", "category theory", "tear zoom link", "unbundling" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.1109/MCS.2007.906923" }, { "id": "source:AlgebraicJulia blog - Composing open dynamical systems II- Undirected composition", "label": "AlgebraicJulia blog - Composing open dynamical systems II- Undirected composition", "kind": "source", "weight": 1, "groups": [ "group:Dynamics ( sharing)" ], "tags": [ "categories", "dynamic", "system", "undirected system" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.1142/S0129055X17500283" }, { "id": "source:An Algebra of Resource Sharing Machines", "label": "An Algebra of Resource Sharing Machines", "kind": "source", "weight": 1, "groups": [ "group:Dynamics ( sharing)" ], "tags": [ "compose as machine", "cospan", "indexed category", "lens", "non deterministic automata", "observation sharing", "operad", "resource sharing", "undirected system", "wiring diagram" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Categories of sigma nets", "label": "Categories of sigma nets", "kind": "source", "weight": 1, "groups": [ "group:Generate WBS paths" ], "tags": [ "commutative monoid", "generative model", "petri net", "smc" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Operads for complex system design specification, analysis and synthesis", "label": "Operads for complex system design specification, analysis and synthesis", "kind": "source", "weight": 1, "groups": [ "group:Generate WBS paths" ], "tags": [ "operad", "system" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.1098/rspa.2021.0099" }, { "id": "source:2015 hall system interdependency into infrastructure appraisal: from projects to portfolios to pathways", "label": "2015 hall system interdependency into infrastructure appraisal: from projects to portfolios to pathways", "kind": "source", "weight": 1, "groups": [ "group:Generate WBS paths" ], "tags": [ "generative model", "pathways", "portfolio" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.1186/s40551-015-0005-8" }, { "id": "source:Using categorical logic for AI planning – Topos Institute", "label": "Using categorical logic for AI planning – Topos Institute", "kind": "source", "weight": 1, "groups": [ "group:Generate WBS paths" ], "tags": [ "c set", "categories", "copresheaves", "dpo", "frame", "logic", "pddl", "planning", "span" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.1016/B978-1-55860-932-7.X5083-3" }, { "id": "source:Encoding Compositionality in Classical Planning Solutions", "label": "Encoding Compositionality in Classical Planning Solutions", "kind": "source", "weight": 1, "groups": [ "group:Generate WBS paths" ], "tags": [ "categories", "pddl", "planning", "requirements", "smc", "strips" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:7 Complex Adaptive System Design (Part 7)", "label": "7 Complex Adaptive System Design (Part 7)", "kind": "source", "weight": 1, "groups": [ "group:Generate WBS paths" ], "tags": [ "alternative viewpoint", "commitments", "deconfliction", "design", "granularity", "network operad", "resource management", "wiring diagram operad" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://johncarlosbaez.wordpress.com/2018/02/19/complex-adaptive-systems-part-7/" }, { "id": "source:Span(Graph) a Canonical Feedback Algebra of Open Transition Systems", "label": "Span(Graph) a Canonical Feedback Algebra of Open Transition Systems", "kind": "source", "weight": 1, "groups": [ "group:Generate WBS paths" ], "tags": [ "compact closed", "delay", "mealy machine", "open petri net", "open system", "smc", "span", "span(graph) category", "state machine", "stateful process", "traced category" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Robot Task Plans using Functorial Data Migrations", "label": "Robot Task Plans using Functorial Data Migrations", "kind": "source", "weight": 1, "groups": [ "group:Generate WBS paths", "group:Semantics for WBS" ], "tags": [ "alternate perspectives", "dpo", "functor", "ontology", "pddl", "planning", "schedules", "span" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:ModelCollab", "label": "ModelCollab", "kind": "source", "weight": 1, "groups": [ "group:Generate WBS paths" ], "tags": [ "categories", "stock and flow", "tools" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://modelcollab.usask.ca/" }, { "id": "source:Open Petri net", "label": "Open Petri net", "kind": "source", "weight": 1, "groups": [ "group:Generate WBS paths" ], "tags": [ "causality", "collective token philosophy", "commutative monoid", "double category", "generative model", "open system", "petri net", "reachability", "rel category" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Compositional Modeling with Stock and Flow Diagr", "label": "Compositional Modeling with Stock and Flow Diagr", "kind": "source", "weight": 1, "groups": [ "group:Generate WBS paths" ], "tags": [ "categories", "dynamic system", "hypergraph", "resource theories", "stock and flow", "stock flow link", "undirected system" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Agent model via graph rewrite", "label": "Agent model via graph rewrite", "kind": "source", "weight": 1, "groups": [ "group:Generate WBS paths" ], "tags": [ "agents", "dynamic systems", "graph rewriting", "traced smc", "transition", "wiring diagram" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.1016/j.jlamp.2023.100888" }, { "id": "source:Introducing CatColab", "label": "Introducing CatColab", "kind": "source", "weight": 1, "groups": [ "group:Generate WBS paths", "group:Semantics for WBS" ], "tags": [ "categories", "causation", "double category", "functor", "lax functor", "model", "olog", "schema", "stock and flow", "tools" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://topos.site/blog/2024-10-02-introducing-catcolab/" }, { "id": "source:Project Scheduling and Copresheaves | The n-Category Café", "label": "Project Scheduling and Copresheaves | The n-Category Café", "kind": "source", "weight": 1, "groups": [ "group:Generate WBS paths" ], "tags": [ "copresheaves", "functor", "metric space", "scheduling", "timed event graph", "timed petri net" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://golem.ph.utexas.edu/category/2013/03/project_planning_parallel_proc.html" }, { "id": "source:2024 12 Resource Allocation Using Sheaves", "label": "2024 12 Resource Allocation Using Sheaves", "kind": "source", "weight": 1, "groups": [ "group:Local data, global WBS" ], "tags": [], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:2024 12 Applying Sheaves to Model Risk", "label": "2024 12 Applying Sheaves to Model Risk", "kind": "source", "weight": 1, "groups": [ "group:Local data, global WBS" ], "tags": [], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Very Elementary Introduction to Sheaves", "label": "Very Elementary Introduction to Sheaves", "kind": "source", "weight": 1, "groups": [ "group:Local data, global WBS" ], "tags": [ "functor", "sheaves" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:2023 sheafs for design", "label": "2023 sheafs for design", "kind": "source", "weight": 1, "groups": [ "group:Local data, global WBS" ], "tags": [ "2 category", "design", "presheaves", "sheaves", "topos" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.1017/pds.2023.317" }, { "id": "source:Sheaf theory through examples", "label": "Sheaf theory through examples", "kind": "source", "weight": 1, "groups": [ "group:Local data, global WBS" ], "tags": [ "functor", "presheaves", "sheaf" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:2024 Ghrist on sheaves and flows and lattices", "label": "2024 Ghrist on sheaves and flows and lattices", "kind": "source", "weight": 1, "groups": [ "group:Local data, global WBS" ], "tags": [ "flow", "lattice", "sheaves" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:A Brief Introduction to Schemes and Sheaves", "label": "A Brief Introduction to Schemes and Sheaves", "kind": "source", "weight": 1, "groups": [ "group:Local data, global WBS" ], "tags": [ "sheaves" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:RLSO-Cover-Chapter1-June302021", "label": "RLSO-Cover-Chapter1-June302021", "kind": "source", "weight": 1, "groups": [ "group:Programme decision seq." ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2021/06/RLSO-Cover-Chapter1-June302021.pdf" }, { "id": "source:Powell-SDAM-Nov242022_final_w_frontcover", "label": "Powell-SDAM-Nov242022_final_w_frontcover", "kind": "source", "weight": 1, "groups": [ "group:Programme decision seq." ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:2018 A Unified Framework for Stochastic Optimization", "label": "2018 A Unified Framework for Stochastic Optimization", "kind": "source", "weight": 1, "groups": [ "group:Programme decision seq." ], "tags": [ "rl", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://castlelab.princeton.edu/wp-content/uploads/2018/01/Powell-UnifiedFrameworkStochasticOptimization_Jan292018.pdf" }, { "id": "source:RLbook2018", "label": "RLbook2018", "kind": "source", "weight": 1, "groups": [ "group:Programme decision seq." ], "tags": [ "rl" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:2020 Powell SEQUENTIAL DECISION ANALYTICS AND MODELING Modeling exercises with python", "label": "2020 Powell SEQUENTIAL DECISION ANALYTICS AND MODELING Modeling exercises with python", "kind": "source", "weight": 1, "groups": [ "group:Programme decision seq." ], "tags": [ "rl", "scheduling", "stochastic optimisation" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Compositional Cyber-Physical Systems Modeling", "label": "Compositional Cyber-Physical Systems Modeling", "kind": "source", "weight": 1, "groups": [ "group:Project wiring diagrams" ], "tags": [ "categories", "category of wiring diagrams", "lens", "model", "system" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.4204/EPTCS.333.9" }, { "id": "source:Wiring diagrams for computing", "label": "Wiring diagrams for computing", "kind": "source", "weight": 1, "groups": [ "group:Project wiring diagrams" ], "tags": [ "operad", "smcs", "wiring diagram" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.4204/EPTCS.333.4" }, { "id": "source:Semantics of Cyber-Physical Systems", "label": "Semantics of Cyber-Physical Systems", "kind": "source", "weight": 1, "groups": [ "group:Project wiring diagrams" ], "tags": [ "c set", "contract", "moore machine", "requirements", "slice category", "sysml", "system", "wiring diagrams" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Spivak-Operadics-The-mathematics-of-modular-design", "label": "Spivak-Operadics-The-mathematics-of-modular-design", "kind": "source", "weight": 1, "groups": [ "group:Project wiring diagrams" ], "tags": [ "modularity", "operads", "self similarity", "smc", "wiring diagram" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Higher Operads, Higher Categories", "label": "Higher Operads, Higher Categories", "kind": "source", "weight": 1, "groups": [ "group:Project wiring diagrams" ], "tags": [ "2 categories", "operads" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Operadic Modeling of Dynamical Systems: Mathematics and Computation", "label": "Operadic Modeling of Dynamical Systems: Mathematics and Computation", "kind": "source", "weight": 1, "groups": [ "group:Project wiring diagrams" ], "tags": [ "c set", "category of wiring diagrams", "co pre sheaves", "directed system", "dynamic system", "operad", "port graph", "undirected system" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.1063/1.4941578" }, { "id": "source:o1-system-card-20241205", "label": "o1-system-card-20241205", "kind": "source", "weight": 1, "groups": [ "group:Projects by agents" ], "tags": [ "llm" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:GPT Actions library - Google Drive | OpenAI Cookbook", "label": "GPT Actions library - Google Drive | OpenAI Cookbook", "kind": "source", "weight": 1, "groups": [ "group:Projects by agents" ], "tags": [ "agents", "apis", "gpt", "llm" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:orchestrating_agents", "label": "orchestrating_agents", "kind": "source", "weight": 1, "groups": [ "group:Projects by agents" ], "tags": [ "agents", "api", "llm", "prompt" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://cookbook.openai.com/examples/orchestrating_agents" }, { "id": "source:2024 THEORIZING WITH LARGE LANGUAGE MODELS", "label": "2024 THEORIZING WITH LARGE LANGUAGE MODELS", "kind": "source", "weight": 1, "groups": [ "group:Projects by agents" ], "tags": [ "collaboration", "experimentation", "llm", "reasoning" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:GPT Actions library - GitHub | OpenAI Cookbook", "label": "GPT Actions library - GitHub | OpenAI Cookbook", "kind": "source", "weight": 1, "groups": [ "group:Projects by agents" ], "tags": [ "api", "llm" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://cookbook.openai.com/examples/chatgpt/gpt_actions_library/gpt_action_github" }, { "id": "source:2nd rev Artificial Intelligence in the Knowledge Economy", "label": "2nd rev Artificial Intelligence in the Knowledge Economy", "kind": "source", "weight": 1, "groups": [ "group:Projects by agents" ], "tags": [ "agents", "llms" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:PG-Schemas: Schemas for Property Graphs", "label": "PG-Schemas: Schemas for Property Graphs", "kind": "source", "weight": 1, "groups": [ "group:Semantics for WBS" ], "tags": [ "categories", "ontology", "property graph" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:3 diagram representation of system lifecycle properties III", "label": "3 diagram representation of system lifecycle properties III", "kind": "source", "weight": 1, "groups": [ "group:processes to plans" ], "tags": [ "2017bottomup", "interface", "system" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:2 diagram representation of system lifecycle properties II", "label": "2 diagram representation of system lifecycle properties II", "kind": "source", "weight": 1, "groups": [ "group:processes to plans" ], "tags": [ "2017bottomup", "interface", "system" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:10 representation of system lifecycle properties X", "label": "10 representation of system lifecycle properties X", "kind": "source", "weight": 1, "groups": [ "group:processes to plans" ], "tags": [ "2017bottomup", "interface", "system" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:1 diagram representation of system lifecycle properties I", "label": "1 diagram representation of system lifecycle properties I", "kind": "source", "weight": 1, "groups": [ "group:processes to plans" ], "tags": [ "2017bottomup", "interface", "system" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:4 diagram representation of system lifecycle properties IV", "label": "4 diagram representation of system lifecycle properties IV", "kind": "source", "weight": 1, "groups": [ "group:processes to plans" ], "tags": [ "2017bottomup", "interface", "system" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:Toward a Theory of Design as Computation — Dorian Taylor", "label": "Toward a Theory of Design as Computation — Dorian Taylor", "kind": "source", "weight": 1, "groups": [ "group:processes to plans", "group:Knowing enough to act together" ], "tags": [ "affordance", "christopher alexander", "cognitive artefact", "computation", "design", "meat space", "morphism", "structure preserving" ], "review": "Focused source passages inspected for the editorial use below during the 3–4 October 2026 refresh.", "url": "https://doriantaylor.com/toward-a-theory-of-design-as-computation" }, { "id": "source:Process models in design and development", "label": "Process models in design and development", "kind": "source", "weight": 1, "groups": [ "group:processes to plans" ], "tags": [ "cambridge design", "importance" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.1007/s00163-017-0262-7" }, { "id": "source:Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle", "label": "Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle", "kind": "source", "weight": 1, "groups": [ "group:processes to plans" ], "tags": [ "alternate perspectives", "categories", "cmg view cycle", "mbse", "model", "opm object process model", "sysml" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim.", "url": "https://doi.org/10.3390/app11041945" }, { "id": "source:Categories and Compositionality with a view to Applications", "label": "Categories and Compositionality with a view to Applications", "kind": "source", "weight": 1, "groups": [ "group:processes to plans" ], "tags": [ "categories", "co design", "resource theories" ], "review": "Retained bibliography; tag and group metadata refreshed on 3 October 2026. No new source-use claim." }, { "id": "source:202x Improving the engineering design process by simulating iteration impact with ASM2.0", "label": "202x Improving the engineering design process by simulating iteration impact with ASM2.0", "kind": "source", "weight": 1, "groups": [ "group:processes to plans", "group:Knowing enough to act together" ], "tags": [ "cambridge design", "design", "dsm", "petri net", "tools" ], "review": "Focused source passages inspected for the editorial use below during the 3–4 October 2026 refresh.", "url": "https://doi.org/10.1007/s00163-020-00354-5" }, { "id": "source:2024 Abramsky — Retracing GoI with Phil", "label": "2024 Abramsky — Retracing GoI with Phil", "kind": "source", "weight": 1, "groups": [ "group:Geometry of Interaction" ], "tags": [ "category theory" ], "review": "Focused source passages inspected for the editorial use below during the 3–4 October 2026 refresh.", "url": "https://oxford24.github.io/assets/slides/retracing_PJS.pdf" }, { "id": "source:2008 Haghverdi and Scott — Geometry of Interaction and the Dynamics of Proof Reduction — A Tutorial", "label": "2008 Haghverdi and Scott — Geometry of Interaction and the Dynamics of Proof Reduction — A Tutorial", "kind": "source", "weight": 1, "groups": [ "group:Geometry of Interaction" ], "tags": [ "category theory" ], "review": "Focused source passages inspected for the editorial use below during the 3–4 October 2026 refresh.", "url": "https://www.site.uottawa.ca/~phil/papers/HS.GoI-tut.33.pdf" }, { "id": "source:1997 Abramsky — Semantics of Interaction — An Introduction to Game Semantics", "label": "1997 Abramsky — Semantics of Interaction — An Introduction to Game Semantics", "kind": "source", "weight": 1, "groups": [ "group:Geometry of Interaction" ], "tags": [ "category theory" ], "review": "Focused source passages inspected for the editorial use below during the 3–4 October 2026 refresh.", "url": "https://www.cs.ox.ac.uk/people/samson.abramsky/coursenotes.pdf" }, { "id": "source:2012 Malherbe Scott and Selinger — Partially Traced Categories", "label": "2012 Malherbe Scott and Selinger — Partially Traced Categories", "kind": "source", "weight": 1, "groups": [ "group:Geometry of Interaction" ], "tags": [ "category theory" ], "review": "Focused source passages inspected for the editorial use below during the 3–4 October 2026 refresh.", "url": "https://www.mathstat.dal.ca/~selinger/papers/ptrace.pdf" }, { "id": "source:2018 Ghani Hedges Winschel and Zahn — Compositional Game Theory", "label": "2018 Ghani Hedges Winschel and Zahn — Compositional Game Theory", "kind": "source", "weight": 1, "groups": [ "group:Geometry of Interaction" ], "tags": [ "category theory" ], "review": "Focused source passages inspected for the editorial use below during the 3–4 October 2026 refresh.", "url": "https://doi.org/10.1145/3209108.3209165" }, { "id": "source:2017 Bolander — A Gentle Introduction to Epistemic Planning: The DEL Approach", "label": "2017 Bolander — A Gentle Introduction to Epistemic Planning: The DEL Approach", "kind": "source", "weight": 1, "groups": [ "group:Knowing enough to act together" ], "tags": [], "review": "Focused source passages inspected for the editorial use below during the 3–4 October 2026 refresh.", "url": "https://arxiv.org/abs/1703.02192" }, { "id": "source:2017 Engesser et al — Cooperative Epistemic Multi-Agent Planning for Implicit Coordination", "label": "2017 Engesser et al — Cooperative Epistemic Multi-Agent Planning for Implicit Coordination", "kind": "source", "weight": 1, "groups": [ "group:Knowing enough to act together" ], "tags": [], "review": "Focused source passages inspected for the editorial use below during the 3–4 October 2026 refresh.", "url": "https://arxiv.org/abs/1703.02196" }, { "id": "source:2016 Moses — Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle", "label": "2016 Moses — Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle", "kind": "source", "weight": 1, "groups": [ "group:Knowing enough to act together" ], "tags": [], "review": "Focused source passages inspected for the editorial use below during the 3–4 October 2026 refresh.", "url": "https://arxiv.org/abs/1606.07525" }, { "id": "source:1990 Halpern and Moses — Knowledge and Common Knowledge in a Distributed Environment", "label": "1990 Halpern and Moses — Knowledge and Common Knowledge in a Distributed Environment", "kind": "source", "weight": 1, "groups": [ "group:Knowing enough to act together" ], "tags": [], "review": "Focused source passages inspected for the editorial use below during the 3–4 October 2026 refresh.", "url": "https://groups.csail.mit.edu/tds/papers/Halpern/JACM90.pdf" }, { "id": "source:2025 Bolander Burigana Montali — Depth-Bounded Epistemic Planning (v2)", "label": "2025 Bolander Burigana Montali — Depth-Bounded Epistemic Planning (v2)", "kind": "source", "weight": 1, "groups": [ "group:Knowing enough to act together" ], "tags": [], "review": "Focused source passages inspected for the editorial use below during the 3–4 October 2026 refresh.", "url": "https://arxiv.org/abs/2406.01139v2" }, { "id": "source:1995 Hutchins — How a Cockpit Remembers Its Speeds", "label": "1995 Hutchins — How a Cockpit Remembers Its Speeds", "kind": "source", "weight": 1, "groups": [ "group:Knowing enough to act together" ], "tags": [], "review": "Focused source passages inspected for the editorial use below during the 3–4 October 2026 refresh.", "url": "https://pages.ucsd.edu/~c8johnson/COGS102B/Hutchins95.pdf" }, { "id": "source:2023 Belardinelli and Bolander — Attention! Dynamic Epistemic Logic Models of (In)attentive Agents (corrected v2)", "label": "2023 Belardinelli and Bolander — Attention! Dynamic Epistemic Logic Models of (In)attentive Agents (corrected v2)", "kind": "source", "weight": 1, "groups": [ "group:Knowing enough to act together" ], "tags": [], "review": "Focused source passages inspected for the editorial use below during the 3–4 October 2026 refresh.", "url": "https://arxiv.org/abs/2303.13494v2" } ], "forays": [ { "id": "foray:110", "label": "110 · Processes to plans", "kind": "foray", "weight": 1, "question": "How do physical and information processes give rise to useful project tasks?", "url": "", "basis": "Editorial reading route from the maintained foray brief, checked 3 October 2026; not a claim that every source in its neighbouring collection is implemented." }, { "id": "foray:120", "label": "120 · Dynamic project states", "kind": "foray", "weight": 1, "question": "How can changes in a project state be represented and composed?", "url": "", "basis": "Editorial reading route from the maintained foray brief, checked 3 October 2026; not a claim that every source in its neighbouring collection is implemented." }, { "id": "foray:130", "label": "130 · Maitria", "kind": "foray", "weight": 1, "question": "What can the whole assurance programme teach the separate Portfolio Wave enquiries?", "url": "https://maitria.org/", "basis": "Editorial reading route from the maintained foray brief, checked 3 October 2026; not a claim that every source in its neighbouring collection is implemented.", "linkLabel": "Open the source programme" }, { "id": "foray:140", "label": "140 · Local to global", "kind": "foray", "weight": 1, "question": "When can compatible local project views be assembled into a global view?", "url": "", "basis": "Editorial reading route from the maintained foray brief, checked 3 October 2026; not a claim that every source in its neighbouring collection is implemented." }, { "id": "foray:150", "label": "150 · Generate WBS paths", "kind": "foray", "weight": 1, "question": "How can reviewed Petri-process logic generate alternative compliant work structures and schedules?", "url": "https://lawrencerowland.github.io/gimmer-crag/petri-smc-wbs.html", "basis": "Collection-to-foray orientation checked against maintained Ends / Ways / Means on 4 October 2026; not a new source-use or implementation claim." }, { "id": "foray:155", "label": "155 · Gimmer process-to-plan lab", "kind": "foray", "weight": 1, "question": "How can forward generation and observed-state policies reveal alternative ways to complete work under explicit rules?", "url": "https://lawrencerowland.github.io/gimmer-crag-project-mountain-refuge/", "basis": "Collection-to-foray orientation checked against maintained Ends / Ways / Means on 4 October 2026; not a new source-use or implementation claim." }, { "id": "foray:160", "label": "160 · Project wiring diagrams", "kind": "foray", "weight": 1, "question": "What does each process require and produce across an explicitly modelled interface?", "url": "https://lawrencerowland.github.io/building_a_wall/app-index.html", "basis": "Editorial reading route from the maintained foray brief, checked 3 October 2026; not a claim that every source in its neighbouring collection is implemented." }, { "id": "foray:170", "label": "170 · Dynamics and sharing", "kind": "foray", "weight": 1, "question": "How do open systems connect through shared services and resources?", "url": "https://lawrencerowland.github.io/shared-dynamics/", "basis": "Editorial reading route from the maintained foray brief, checked 3 October 2026; not a claim that every source in its neighbouring collection is implemented." }, { "id": "foray:173", "label": "173 · CatColab", "kind": "foray", "weight": 1, "question": "How can stocks, flows and influences make a project question inspectable?", "url": "https://catcolab.org/", "basis": "Editorial reading route from the maintained foray brief, checked 3 October 2026; not a claim that every source in its neighbouring collection is implemented.", "linkLabel": "Open the modelling tool" }, { "id": "foray:180", "label": "180 · Co-design for trade-offs", "kind": "foray", "weight": 1, "question": "How do connected design choices change the feasible resource trade-offs?", "url": "https://lawrencerowland.github.io/project-co-design/", "basis": "Editorial reading route from the maintained foray brief, checked 3 October 2026; not a claim that every source in its neighbouring collection is implemented." }, { "id": "foray:193", "label": "193 · Geometry of Interaction", "kind": "foray", "weight": 1, "question": "What remains observable when two interactive behaviours compose and their shared interface is hidden?", "url": "https://lawrencerowland.github.io/functors-for_projects/apps/geometry-of-interaction/index.html", "basis": "Editorial reading route from the maintained foray brief, checked 3 October 2026; not a claim that every source in its neighbouring collection is implemented." }, { "id": "foray:210", "label": "210 · Semantics for WBS", "kind": "foray", "weight": 1, "question": "How can end states, processes and ontologies support explainable work derivation, compared with PDDL?", "url": "https://lawrencerowland.github.io/Solway_tunnel_ontology/", "basis": "Collection-to-foray orientation checked against maintained Ends / Ways / Means on 4 October 2026; not a new source-use or implementation claim." }, { "id": "foray:220", "label": "220 · Programme decision sequences", "kind": "foray", "weight": 1, "question": "How should a next decision depend on the state and information arriving along the way?", "url": "https://lawrencerowland.github.io/Programme-decision-sequences/", "basis": "Editorial reading route from the maintained foray brief, checked 3 October 2026; not a claim that every source in its neighbouring collection is implemented." }, { "id": "foray:225", "label": "225 · Knowing enough to act together", "kind": "foray", "weight": 1, "question": "Can each participant choose a successful action from the information actually available to them?", "url": "https://lawrencerowland.github.io/knowing-enough/", "basis": "Editorial reading route from the maintained foray brief, checked 3 October 2026; not a claim that every source in its neighbouring collection is implemented." } ], "routes": [ { "source": "group:processes to plans", "target": "foray:110", "type": "reading-route", "use": "Process-based reading route; transforming states and resources precedes choosing schedule relationships.", "basis": "Maintained foray brief, checked 3 October 2026.", "confidence": "editorial", "trigger": "Revisit when the receiving foray changes its question or source requirements." }, { "source": "group:Dynamic project states", "target": "foray:120", "type": "reading-route", "use": "Reading route for interfaces, lenses and evolving project states.", "basis": "Maintained foray brief, checked 3 October 2026.", "confidence": "editorial", "trigger": "Revisit when the receiving foray changes its question or source requirements." }, { "source": "group:Local data, global WBS", "target": "foray:140", "type": "reading-route", "use": "The local-to-global enquiry draws on this sheaf source collection.", "basis": "Maintained foray brief, checked 3 October 2026.", "confidence": "editorial", "trigger": "Revisit when the receiving foray changes its question or source requirements." }, { "source": "group:Project wiring diagrams", "target": "foray:160", "type": "reading-route", "use": "Reading route for composition across typed process boundaries.", "basis": "Maintained foray brief, checked 3 October 2026.", "confidence": "editorial", "trigger": "Revisit when the receiving foray changes its question or source requirements." }, { "source": "group:Dynamics ( sharing)", "target": "foray:170", "type": "reading-route", "use": "Reading route for shared-resource and open-system composition.", "basis": "Maintained foray brief, checked 3 October 2026.", "confidence": "editorial", "trigger": "Revisit when the receiving foray changes its question or source requirements." }, { "source": "group:Generate WBS paths", "target": "foray:173", "type": "reading-route", "use": "A partial route through CatColab and stock-and-flow sources; this group is broader than foray 173.", "basis": "Maintained foray brief, checked 3 October 2026.", "confidence": "editorial", "trigger": "Revisit when the receiving foray changes its question or source requirements." }, { "source": "group:Co design for trade offs", "target": "foray:180", "type": "reading-route", "use": "Reading route for monotone co-design and connected choices.", "basis": "Maintained foray brief, checked 3 October 2026.", "confidence": "editorial", "trigger": "Revisit when the receiving foray changes its question or source requirements." }, { "source": "group:Geometry of Interaction", "target": "foray:193", "type": "reading-route", "use": "The five-paper collection for feedback, Int, game semantics and their boundaries.", "basis": "Maintained foray brief, checked 3 October 2026.", "confidence": "editorial", "trigger": "Revisit when the receiving foray changes its question or source requirements." }, { "source": "group:Programme decision seq.", "target": "foray:220", "type": "reading-route", "use": "Sequential decision models for actions chosen as information arrives.", "basis": "Maintained foray brief, checked 3 October 2026.", "confidence": "editorial", "trigger": "Revisit when the receiving foray changes its question or source requirements." }, { "source": "group:Powell RL Stochastic Optimisation", "target": "foray:220", "type": "reading-route", "use": "Companion chapters and background; not a separate foray.", "basis": "Maintained foray brief, checked 3 October 2026.", "confidence": "editorial", "trigger": "Revisit when the receiving foray changes its question or source requirements." }, { "source": "group:Knowing enough to act together", "target": "foray:225", "type": "reading-route", "use": "The nine-source starting collection for locally executable coordination.", "basis": "Maintained foray brief, checked 3 October 2026.", "confidence": "editorial", "trigger": "Revisit when the receiving foray changes its question or source requirements." }, { "source": "group:Generate WBS paths", "target": "foray:150", "type": "reading-route", "use": "The original source cluster supplies open, source-led methods for generating compliant work structures from reviewed process logic.", "basis": "150 maintained Ends / Ways / Means, adopted 12 September and clarified 19 September 2026; source register checked 4 October.", "confidence": "editorial orientation grounded in the maintained receiving brief", "trigger": "Revisit when the receiving End, source requirements or distinction between main and higher-autonomy lanes changes." }, { "source": "group:Generate WBS paths", "target": "foray:155", "type": "reading-route", "use": "The same original source cluster supports the distinct higher-autonomy lane: reviewed Petri mechanism and goal, monoidal execution semantics, alternative work structures and schedules.", "basis": "155 maintained Ends / Ways / Means, source-led methods and forward-generation procedure, checked 4 October 2026.", "confidence": "editorial orientation grounded in the maintained receiving brief", "trigger": "Revisit when the receiving End, source requirements or distinction between main and higher-autonomy lanes changes." }, { "source": "group:processes to plans", "target": "foray:150", "type": "reading-route", "use": "A selected source supplement broadens the methods without narrowing the main enquiry. The collection is wider than the selected supplement.", "basis": "150 maintained Ends / Ways / Means, 12 September processes-to-plans supplement, checked 4 October 2026.", "confidence": "editorial orientation grounded in the maintained receiving brief", "trigger": "Revisit when the receiving End, source requirements or distinction between main and higher-autonomy lanes changes." }, { "source": "group:processes to plans", "target": "foray:155", "type": "reading-route", "use": "Selected process and lifecycle sources support review, revision and retesting in the higher-autonomy lane. This route does not assert that every collection item is implemented.", "basis": "155 maintained Ends / Ways / Means, 12 September process-to-plan supplement and source register, checked 4 October 2026.", "confidence": "editorial orientation grounded in the maintained receiving brief", "trigger": "Revisit when the receiving End, source requirements or distinction between main and higher-autonomy lanes changes." }, { "source": "group:Semantics for WBS", "target": "foray:210", "type": "reading-route", "use": "Schema and semantic reading route into explainable work derivation. The ontology/PDDL comparison also needs local facts, action methods and acceptance conditions beyond this collection.", "basis": "210 original End and Ways, and maintained 3 October 2026 orientation restoring the constructive ontology-to-work question; checked 4 October.", "confidence": "editorial orientation grounded in the maintained receiving brief", "trigger": "Revisit when the receiving End, source requirements or distinction between main and higher-autonomy lanes changes." } ], "uses": [ { "source": "source:2024 Abramsky — Retracing GoI with Phil", "target": "foray:193", "type": "source-use", "role": "method input", "use": "Supplies the symmetric-feedback picture: connect both directions of the shared B interface and hide it inside the composite.", "limitation": "The picture alone does not specify game arenas or legal strategies.", "basis": "Retracing GoI with Phil, slide 5 / PDF pp.9–10 and slides 6–8.", "confidence": "editorial interpretation grounded in source passages and the maintained foray brief", "trigger": "Revisit if the source version, receiving model, action semantics or claimed guarantee changes." }, { "source": "source:2008 Haghverdi and Scott — Geometry of Interaction and the Dynamics of Proof Reduction — A Tutorial", "target": "foray:193", "type": "source-use", "role": "method input", "use": "Provides partial-function token routing and the Int construction used to explain composition by feedback.", "limitation": "The teaching implementation is a finite authored routing model; strategic usefulness does not follow from the categorical construction.", "basis": "Tutorial §4.1, PDF p.28; §4.3, PDF pp.32–33.", "confidence": "editorial interpretation grounded in source passages and the maintained foray brief", "trigger": "Revisit if the source version, receiving model, action semantics or claimed guarantee changes." }, { "source": "source:1997 Abramsky — Semantics of Interaction — An Introduction to Game Semantics", "target": "foray:193", "type": "source-use", "role": "method input", "use": "Connects feedback routing with games as objects and strategies as morphisms; composition proceeds by interaction followed by hiding.", "limitation": "A routing map is not automatically a legal or winning game strategy; internal interaction can diverge.", "basis": "Semantics of Interaction, PDF pp.3–11, especially pp.10–11.", "confidence": "editorial interpretation grounded in source passages and the maintained foray brief", "trigger": "Revisit if the source version, receiving model, action semantics or claimed guarantee changes." }, { "source": "source:2012 Malherbe Scott and Selinger — Partially Traced Categories", "target": "foray:193", "type": "source-use", "role": "semantic boundary", "use": "Clarifies when the trace operation itself is partial, a distinction needed before changing the feedback semantics.", "limitation": "A partial trace operator differs from a total trace whose output is a partial function.", "basis": "Partially Traced Categories, §3.1, Definition 3.2 and Remark 3.3 (PDF p.5).", "confidence": "editorial interpretation grounded in source passages and the maintained foray brief", "trigger": "Revisit if the source version, receiving model, action semantics or claimed guarantee changes." }, { "source": "source:2018 Ghani Hedges Winschel and Zahn — Compositional Game Theory", "target": "foray:193", "type": "source-use", "role": "possible extension", "use": "Offers a possible later connection to incentives through open games, strategies, play, coplay and best responses.", "limitation": "Supplementary bridge, not the mechanism implemented by the current routing example; open games are not simply Int(Pfn).", "basis": "Compositional Game Theory, introduction and §3 (PDF pp.1–3).", "confidence": "editorial interpretation grounded in source passages and the maintained foray brief", "trigger": "Revisit if the source version, receiving model, action semantics or claimed guarantee changes." }, { "source": "source:2017 Bolander — A Gentle Introduction to Epistemic Planning: The DEL Approach", "target": "foray:225", "type": "source-use", "role": "method input", "use": "Introduces epistemic states and information-changing actions as a way to reason about a participant’s missing knowledge.", "limitation": "Knowledge is model-relative; a formal state is not a measurement of human understanding.", "basis": "A Gentle Introduction to Epistemic Planning, introduction and section map, PDF p.1.", "confidence": "editorial interpretation grounded in source passages and the maintained foray brief", "trigger": "Revisit if the source version, receiving model, action semantics or claimed guarantee changes." }, { "source": "source:2017 Engesser et al — Cooperative Epistemic Multi-Agent Planning for Implicit Coordination", "target": "foray:225", "type": "source-use", "role": "method input", "use": "Requires planning to take the action owner’s perspective: they must be able to establish that their action and continuation work.", "limitation": "Existence of an implicitly coordinated plan does not guarantee convergence of arbitrary independent replanning.", "basis": "Cooperative Epistemic Multi-Agent Planning, introduction; §3.2, Definition 8, PDF pp.8–9; §5 conclusion, PDF p.14.", "confidence": "editorial interpretation grounded in source passages and the maintained foray brief", "trigger": "Revisit if the source version, receiving model, action semantics or claimed guarantee changes." }, { "source": "source:2016 Moses — Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle", "target": "foray:225", "type": "source-use", "role": "method input", "use": "Connects necessary action preconditions to necessary knowledge, motivating a search for information work that makes an action selectable.", "limitation": "A necessary condition is not sufficient for action, authority or completion; the formal system assumptions must be checked.", "basis": "Knowledge of Preconditions Principle, abstract and introduction, PDF p.1.", "confidence": "editorial interpretation grounded in source passages and the maintained foray brief", "trigger": "Revisit if the source version, receiving model, action semantics or claimed guarantee changes." }, { "source": "source:1990 Halpern and Moses — Knowledge and Common Knowledge in a Distributed Environment", "target": "foray:225", "type": "source-use", "role": "communication boundary", "use": "Tests communication assumptions by distinguishing distributed knowledge, common knowledge and weaker attainable forms.", "limitation": "Impossibility results depend on the system assumptions; they do not imply ordinary teamwork is impossible.", "basis": "Knowledge and Common Knowledge in a Distributed Environment, abstract, PDF p.1.", "confidence": "editorial interpretation grounded in source passages and the maintained foray brief", "trigger": "Revisit if the source version, receiving model, action semantics or claimed guarantee changes." }, { "source": "source:2025 Bolander Burigana Montali — Depth-Bounded Epistemic Planning (v2)", "target": "foray:225", "type": "source-use", "role": "optional computation", "use": "Offers depth-bounded state representations and iterative deepening as a possible computational aid.", "limitation": "Optional method, not an implemented policy guarantee; completeness depends on adequate depth bounds.", "basis": "Depth-Bounded Epistemic Planning, corrected arXiv v2, abstract and introduction, PDF p.1.", "confidence": "editorial interpretation grounded in source passages and the maintained foray brief", "trigger": "Revisit if the source version, receiving model, action semantics or claimed guarantee changes." }, { "source": "source:1995 Hutchins — How a Cockpit Remembers Its Speeds", "target": "foray:225", "type": "source-use", "role": "human and material counterweight", "use": "Moves the unit of analysis from an individual to people and material representations working together.", "limitation": "A situated explanatory account, not a correctness proof for an epistemic planner.", "basis": "How a Cockpit Remembers Its Speeds, introduction, manuscript PDF p.2.", "confidence": "editorial interpretation grounded in source passages and the maintained foray brief", "trigger": "Revisit if the source version, receiving model, action semantics or claimed guarantee changes." }, { "source": "source:2023 Belardinelli and Bolander — Attention! Dynamic Epistemic Logic Models of (In)attentive Agents (corrected v2)", "target": "foray:225", "type": "source-use", "role": "attention boundary", "use": "Challenges the assumption that available information is noticed: attention can select only some propositions.", "limitation": "The model also permits false belief about unattended content; do not silently call that factive knowledge.", "basis": "Attention!, corrected arXiv v2, abstract and introduction, PDF p.1.", "confidence": "editorial interpretation grounded in source passages and the maintained foray brief", "trigger": "Revisit if the source version, receiving model, action semantics or claimed guarantee changes." }, { "source": "source:Toward a Theory of Design as Computation — Dorian Taylor", "target": "foray:225", "type": "source-use", "role": "conceptual bridge", "use": "Suggests that a changed representation or physical arrangement can change cognitive work, rather than merely add messages.", "limitation": "Conceptual provocation, not a theorem or measured project benefit.", "basis": "Toward a Theory of Design as Computation, opening discussion of Hutchins, Norman and representational artefacts, captured PDF pp.1–2.", "confidence": "editorial interpretation grounded in source passages and the maintained foray brief", "trigger": "Revisit if the source version, receiving model, action semantics or claimed guarantee changes." }, { "source": "source:202x Improving the engineering design process by simulating iteration impact with ASM2.0", "target": "foray:225", "type": "source-use", "role": "process-work comparison", "use": "Connects the enquiry to engineering process work where knowledge is tacit and distributed and iteration is hard to understand globally.", "limitation": "ASM2.0 supplies a process-modelling comparison, not an epistemic coordination guarantee.", "basis": "ASM2.0, abstract and introduction, accepted manuscript p.1.", "confidence": "editorial interpretation grounded in source passages and the maintained foray brief", "trigger": "Revisit if the source version, receiving model, action semantics or claimed guarantee changes." }, { "source": "source:Maitria — Mathematical Assurance and Interaction Toolkit for Reliable Intelligent Agents (book, 2026-08-10)", "target": "foray:130", "type": "source-use", "role": "programme reference", "use": "A broad programme reference for investigating systems, specifications and checkable certificates across the separate forays.", "limitation": "Only orientation and selected passages were inspected for this map; no toolkit execution or full proof audit is claimed. Cross-filing does not grant the book priority over other sources.", "basis": "Stored 10 August 2026 book edition, contents and acknowledgements; programme overview checked 3 October 2026.", "confidence": "editorial interpretation grounded in source passages and the maintained foray brief", "trigger": "Revisit if the source version, receiving model, action semantics or claimed guarantee changes." }, { "source": "source:Maitria — website and source index", "target": "foray:130", "type": "source-use", "role": "source navigation", "use": "Provides an entrance to the programme’s current explanatory pages and source estate.", "limitation": "A moving publisher overview, not independent validation of reported results.", "basis": "Publisher home page checked 3 October 2026.", "confidence": "editorial interpretation grounded in source passages and the maintained foray brief", "trigger": "Revisit if the source version, receiving model, action semantics or claimed guarantee changes." }, { "source": "source:Maitria — mtk modelling toolkit (repository)", "target": "foray:130", "type": "source-use", "role": "implementation entrance", "use": "Provides the public modelling-toolkit entrance for examining producer-side strategies and the proof-production cookbook.", "limitation": "Repository availability is not successful reproduction; dependency and checker claims require their own pinned trial.", "basis": "Public repository description and README entrance checked 3 October 2026.", "confidence": "editorial interpretation grounded in source passages and the maintained foray brief", "trigger": "Revisit if the source version, receiving model, action semantics or claimed guarantee changes." } ], "tagPolicy": "Observed subject tags, lowercased; collection labels and curation-status tags omitted. Missing tags do not imply irrelevance. Replicated records counted once.", "visualPolicy": "Uniform size within each node kind. Layout and counts express navigation, never citation popularity, importance or evidential strength.", "notes": [ "The 15 groups are a dated selection, not a complete research programme.", "A reading-route edge connects a collection to a current enquiry. A source-use edge states an editorial use and its boundary. A tagged-with edge records metadata only.", "Maitria has three records filed across ten groups; they remain separately identifiable but have no size or ordering bonus.", "Legacy public bibliographic labels are retained; some have no verified public link and no new interpretive claim.", "Eight personal notes, wrappers or unidentifiable artefacts were excluded from the public projection. No private annotations or local database links are included." ] }