Categorical Lens
Read this demo as local sections, restriction maps, gluing, obstructions, and Kan-style structured completion.
Collective intelligence: many agents have only local views, but global structure emerges through compatible local actions.
workflow lanes, Toulmin tickets, sheaf contexts
the shared guarantee pattern mapping prompts to admitted artifacts
local truth commitments for each agentic workflow
claims or artifacts admitted when local sections agree on overlaps
qualified, review, or quarantine cells where gluing fails
a catalog-level left Kan extension from tutorial theme to demo lanes
TICKET Transformer
TICKET(agentic_workflow_catalog_run) - Topos Integration using Causal Kan Extension Transformers
Expression: TICKET(agentic_workflow_catalog_run) -> Lan_agentic_workflow_catalog(restrict(tutorial_demo_lanes)) -> glue(catalog_admission)
FSQL: FROM prometheus_runs SLICE BY family("simulation_testbed") TICKET BY target_foundry
Admission policy: quarantine workflow lanes whose Toulmin surfaces, sheaf contexts, or artifact links do not preserve the shared guarantee pattern
ICML Agentic Workflow Catalog
Four Odyssey workflows show how LLM prompting becomes Chain-of-Toulmin-Thought over sheaf-structured foundries.
Tutorial Theme
Trustworthy foundation models preserve local truth and glue it where possible.
Convert LLM prompting into Chain-of-Toulmin-Thought over sheaf-structured foundries.
Shared Guarantee Pattern
Local truth: Each workflow first names local contexts, predicates, evidence, and claim scopes.
Chain-of-Toulmin-Thought: Claims carry grounds, warrants, qualifiers, and rebuttals before promotion.
Sheaf gluing: Restriction maps decide which local truths can be fused into global artifacts.
Artifact admission: Odyssey emits promoted, qualified, review, and quarantine states with Scylla explanations.
Workflow Lanes
| Workflow | Agentic Task | Sheaf Contexts | Odyssey Guarantees |
|---|---|---|---|
| Storefront Operations Foundry | Maintain inventory, staffing, pricing, and customer experience as a long-running store process. | sales_demand, inventory_flow, staffing_capacity, pricing_margin, customer_experience | local predicates are explicit; overlaps preserve shared evidence; gluing audit separates promoted and obstructed actions; refresh cadence is declared |
| 10-K Financial Filing Analysis | Read corporate filings, split sections, extract strategy/risk/financial claims, and model grounded business signals. | filing_cartography, business_model, risk_factors, financial_tables, synthesis_audit | section anchors are required; numeric claims receive a stricter table gate; risk rebuttals remain attached to strategy claims; direct-chat model output is admitted only after deterministic vetting |
| Democritus Deep Causal Research | Scout literature, extract study claims, map causal edges, and synthesize evidence with scope limits. | source_scout, claim_extractor, causal_mapper, synthesis_auditor, scylla_writer | source provenance is never dropped; causal edges carry restriction metadata; synthesis remains scoped until evidence glues; article-level uncertainty is visible in Scylla |
| Product Brand Feedback Foundry | Turn product reviews and brand signals into evidence-typed market-meaning cells. | feedback_cartography, theme_extraction, evidence_triangulation, overclaim_audit, scylla_summary | theme claims retain evidence type; product and service signals are not collapsed; overclaims are qualified or quarantined; Scylla shows promoted, qualified, and review cells separately |
Toulmin Surfaces
| Workflow | Claim | Grounds | Warrant | Qualifier | Rebuttal |
|---|---|---|---|---|---|
| storefront_operations | A reorder, staffing, pricing, or service action is trustworthy. | Local store traces such as sales velocity, on-hand units, hourly traffic, margins, and complaints. | Restriction maps show compatible evidence on relevant overlaps. | Promote only where truth values glue; mark weak or plausible surfaces as qualified. | Obstruct decisions when margin/customer or inventory/customer evidence conflicts or is missing. |
| tenk_financial_filings | A business, risk, or financial claim should enter the foundry. | Anchored filing sections, item labels, table snippets, and source text. | Claim type matches section provenance and numeric claims are tied to table evidence. | PDF-derived financial claims remain qualified until SEC HTML/XBRL extraction verifies table structure. | Unanchored summaries, unsupported market data, or numeric mismatches block promotion. |
| democritus_deep_causal_research | A causal or treatment-effect statement can be synthesized across papers. | Study metadata, article-level claims, interventions, outcomes, and limitations. | Causal edges preserve source IDs and compatible population/intervention/study-type restrictions. | Claims keep scope by article, dose, duration, population, and study design. | Conflicting endpoints, missing dose/duration, or unsupported class effects block global synthesis. |
| product_brand_feedback | A product or brand theme should be promoted as market meaning. | Review snippets, channel signals, product attributes, and service observations. | Themes promote only when evidence type and claim scope match. | Brand, product, service, and campaign claims remain distinct unless overlaps justify fusion. | Universal claims, campaign certainty, and unsupported causal brand narratives are blocked. |
Artifact Links
- Storefront Operations Foundry: examples/storefront/outputs/prometheus_world_model.json, examples/storefront/outputs/gluing_audit.json, Homer/outputs/guardrail_autowiring_demo_brief/scylla_interface.html
- 10-K Financial Filing Analysis: Homer/outputs/tenk_minimum_viable_run/scylla_interface.html, Homer/outputs/tenk_direct_orchestration_vetting/scylla_interface.html
- Democritus Deep Causal Research: Homer/outputs/democritus_minimum_viable_run/scylla_interface.html, Homer/outputs/democritus_direct_orchestration_brief/scylla_interface.html
- Product Brand Feedback Foundry: Homer/outputs/brand_feedback_minimum_viable_run/scylla_interface.html, Homer/outputs/brand_feedback_direct_orchestration_brief/scylla_interface.html