{
  "index_id": "icml_2026_ticket_transformer_index_001",
  "created_at_utc": "2026-06-09T19:09:00.965504+00:00",
  "acronym": "TICKET",
  "expansion": "Topos Integration using Causal Kan Extension Transformers",
  "tutorial_claim": "Every static demo lane is labeled by the categorical structure it instantiates. First-level pages tell the story; deeper drilldowns name the current computational recipe and expose the evidence trail.",
  "demo_count": 11,
  "demos": [
    {
      "demo_id": "tutorial_slides_placeholder",
      "title": "Tutorial Slides",
      "ticket_transformer": {
        "acronym": "TICKET",
        "expansion": "Topos Integration using Causal Kan Extension Transformers",
        "checks": [
          "typed_manifest",
          "subobject_classifier",
          "restriction_maps",
          "gluing_audit",
          "j_closure",
          "promotion_gate"
        ],
        "categorical_routine": "Kan-extension-style admission from a request-local artifact slice into durable Odyssey foundry state",
        "label": "TICKET(icml_2026_tutorial_slides_run)",
        "source_family": "result_communication",
        "target_foundry": "tutorial_presentation",
        "foundry_expression": "TICKET(icml_2026_tutorial_slides_run) -> restrict(result_communication, final_icml_2026_tutorial_slide_deck) -> glue(slide_admission)",
        "fsql_surface": "FROM result_communication SLICE BY artifact(\"final_icml_2026_tutorial_slide_deck\") TICKET BY target_foundry",
        "obstruction_policy": "quarantine slide claims whose citations, demo links, result summaries, or TICKET provenance do not preserve the underlying foundry evidence"
      }
    },
    {
      "demo_id": "ket_language_modeling",
      "title": "KET Language Modeling",
      "ticket_transformer": {
        "acronym": "TICKET",
        "expansion": "Topos Integration using Causal Kan Extension Transformers",
        "checks": [
          "typed_manifest",
          "subobject_classifier",
          "restriction_maps",
          "gluing_audit",
          "j_closure",
          "promotion_gate"
        ],
        "categorical_routine": "Kan-extension-style transport from local token contexts into reusable representation behavior",
        "label": "TICKET(ket_language_modeling_run)",
        "source_family": "representation_transport",
        "target_foundry": "ket_tutorial_core",
        "foundry_expression": "TICKET(ket_language_modeling_run) -> Lan_token_context(language_modeling_examples) -> glue(ket_transport_principle)",
        "fsql_surface": "FROM ket_runs SLICE BY family(\"language_modeling\") TICKET BY target_foundry",
        "obstruction_policy": "preserve failed transfer, incompatible context maps, and overbroad architectural claims as qualified tutorial surfaces"
      }
    },
    {
      "demo_id": "markdown_tangent_categories",
      "title": "Markdown Tangent Categories",
      "ticket_transformer": {
        "acronym": "TICKET",
        "expansion": "Topos Integration using Causal Kan Extension Transformers",
        "checks": [
          "typed_manifest",
          "subobject_classifier",
          "restriction_maps",
          "gluing_audit",
          "j_closure",
          "promotion_gate"
        ],
        "categorical_routine": "Tangent-category admission from typed Markdown artifacts and anchored admissible edits into reusable agentic workflow optimization structure",
        "label": "TICKET(markdown_tangent_category_framework)",
        "source_family": "tutorial_frameworks",
        "target_foundry": "markdown_tangent_categories",
        "foundry_expression": "TICKET(markdown_tangent_category_framework) -> tangent(typed_markdown_artifacts, anchored_edits) -> glue(ic_ket_udl_agentic_workflow_optimization)",
        "fsql_surface": "FROM tutorial_frameworks SLICE BY object(\"typed_markdown_artifacts\") TICKET BY target_foundry",
        "obstruction_policy": "quarantine claims that treat raw text as smooth without typed anchors, admissible edits, functorial transport, or validation semantics"
      }
    },
    {
      "demo_id": "agentic_workflow_catalog",
      "title": "Agentic Workflow Catalog",
      "ticket_transformer": {
        "acronym": "TICKET",
        "expansion": "Topos Integration using Causal Kan Extension Transformers",
        "checks": [
          "typed_manifest",
          "subobject_classifier",
          "restriction_maps",
          "gluing_audit",
          "j_closure",
          "promotion_gate"
        ],
        "categorical_routine": "Kan-extension-style admission from a request-local artifact slice into durable Odyssey foundry state",
        "label": "TICKET(agentic_workflow_catalog_run)",
        "source_family": "simulation_testbed",
        "target_foundry": "agentic_workflow_catalog",
        "foundry_expression": "TICKET(agentic_workflow_catalog_run) -> Lan_agentic_workflow_catalog(restrict(tutorial_demo_lanes)) -> glue(catalog_admission)",
        "fsql_surface": "FROM prometheus_runs SLICE BY family(\"simulation_testbed\") TICKET BY target_foundry",
        "obstruction_policy": "quarantine workflow lanes whose Toulmin surfaces, sheaf contexts, or artifact links do not preserve the shared guarantee pattern"
      }
    },
    {
      "demo_id": "guardrail_autowiring_demo_brief",
      "title": "MyFixIt Guardrail Autowiring",
      "ticket_transformer": {
        "acronym": "TICKET",
        "expansion": "Topos Integration using Causal Kan Extension Transformers",
        "checks": [
          "typed_manifest",
          "subobject_classifier",
          "restriction_maps",
          "gluing_audit",
          "j_closure",
          "promotion_gate"
        ],
        "categorical_routine": "Kan-extension-style admission from a request-local artifact slice into durable Odyssey foundry state",
        "label": "TICKET(guardrail_autowiring_run)",
        "source_family": "simulation_testbed",
        "target_foundry": "operational_decision",
        "foundry_expression": "TICKET(guardrail_autowiring_run) -> compose(service_decision, guardrail_policy, repair_ticket_context) -> glue(autowiring_admission)",
        "fsql_surface": "FROM prometheus_runs SLICE BY family(\"simulation_testbed\") TICKET BY target_foundry",
        "obstruction_policy": "block promotion when generated guardrails omit source contexts, refresh obligations, or obstruction behavior"
      }
    },
    {
      "demo_id": "foundry_automation_benchmark",
      "title": "Foundry Automation Benchmark",
      "ticket_transformer": {
        "acronym": "TICKET",
        "expansion": "Topos Integration using Causal Kan Extension Transformers",
        "checks": [
          "typed_manifest",
          "subobject_classifier",
          "restriction_maps",
          "gluing_audit",
          "j_closure",
          "promotion_gate"
        ],
        "categorical_routine": "Kan-extension-style admission from a request-local artifact slice into durable Odyssey foundry state",
        "label": "TICKET(foundry_automation_benchmark_run)",
        "source_family": "simulation_testbed",
        "target_foundry": "evaluation_harness",
        "foundry_expression": "TICKET(foundry_automation_benchmark_run) -> compose(evaluation_harness, assistant_spec, foundry_plan) -> glue(benchmark_admission)",
        "fsql_surface": "FROM prometheus_runs SLICE BY foundry(\"evaluation_harness\") TICKET BY target_foundry",
        "obstruction_policy": "quarantine model-generated plans that miss Homer, Athena, Prometheus, gluing-audit, or Scylla-review sections"
      }
    },
    {
      "demo_id": "storefront_static_baseline",
      "title": "Storefront Static Baseline",
      "ticket_transformer": {
        "acronym": "TICKET",
        "expansion": "Topos Integration using Causal Kan Extension Transformers",
        "checks": [
          "typed_manifest",
          "subobject_classifier",
          "restriction_maps",
          "gluing_audit",
          "j_closure",
          "promotion_gate"
        ],
        "categorical_routine": "Kan-extension-style admission from a request-local artifact slice into durable Odyssey foundry state",
        "label": "TICKET(storefront_static_baseline_run)",
        "source_family": "simulation_testbed",
        "target_foundry": "operational_decision",
        "foundry_expression": "TICKET(storefront_static_baseline_run) -> compose(operational_decision, store_context, inventory_staffing_pricing) -> glue(storefront_admission)",
        "fsql_surface": "FROM prometheus_runs SLICE BY foundry(\"storefront\") TICKET BY target_foundry",
        "obstruction_policy": "quarantine actions when demand-inventory, demand-staffing, pricing-customer, or inventory-customer overlaps fail to glue"
      }
    },
    {
      "demo_id": "tenk_minimum_viable_run",
      "title": "Supplemental 10-K Evidence Admission",
      "ticket_transformer": {
        "acronym": "TICKET",
        "expansion": "Topos Integration using Causal Kan Extension Transformers",
        "checks": [
          "typed_manifest",
          "subobject_classifier",
          "restriction_maps",
          "gluing_audit",
          "j_closure",
          "promotion_gate"
        ],
        "categorical_routine": "Kan-extension-style admission from a request-local artifact slice into durable Odyssey foundry state",
        "label": "TICKET(ten_k_prometheus_run)",
        "source_family": "ten_k",
        "target_foundry": "institutional_financial",
        "foundry_expression": "TICKET(ten_k_prometheus_run) -> compose(institutional_financial, document_coherence, risk_strategy_gluing) -> glue(filing_event_refresh)",
        "fsql_surface": "FROM prometheus_runs SLICE BY family(\"ten_k\") TICKET BY target_foundry",
        "obstruction_policy": "quarantine unsupported financial, risk, or narrative joins until filing evidence glues"
      }
    },
    {
      "demo_id": "democritus_minimum_viable_run",
      "title": "Infinitesimal Causality: GLP-1 Run",
      "ticket_transformer": {
        "acronym": "TICKET",
        "expansion": "Topos Integration using Causal Kan Extension Transformers",
        "checks": [
          "typed_manifest",
          "subobject_classifier",
          "restriction_maps",
          "gluing_audit",
          "j_closure",
          "promotion_gate"
        ],
        "categorical_routine": "Kan-extension-style admission from a request-local artifact slice into durable Odyssey foundry state",
        "label": "TICKET(democritus_prometheus_run)",
        "source_family": "democritus",
        "target_foundry": "causal_claims_foundry",
        "foundry_expression": "TICKET(democritus_prometheus_run) -> compose(scientific_challenge, evidence_argument, causal_structure) -> glue(extraction_drift_audit)",
        "fsql_surface": "FROM prometheus_runs SLICE BY family(\"democritus\") TICKET BY target_foundry",
        "obstruction_policy": "preserve drift, off-topic extraction, weak causal joins, and unsupported claims as obstructions"
      }
    },
    {
      "demo_id": "brand_feedback_minimum_viable_run",
      "title": "Brand Feedback Minimum Viable Run",
      "ticket_transformer": {
        "acronym": "TICKET",
        "expansion": "Topos Integration using Causal Kan Extension Transformers",
        "checks": [
          "typed_manifest",
          "subobject_classifier",
          "restriction_maps",
          "gluing_audit",
          "j_closure",
          "promotion_gate"
        ],
        "categorical_routine": "Kan-extension-style admission from a request-local artifact slice into durable Odyssey foundry state",
        "label": "TICKET(brand_product_prometheus_run)",
        "source_family": "brand_product_feedback",
        "target_foundry": "market_meaning",
        "foundry_expression": "TICKET(brand_product_prometheus_run) -> compose(market_meaning, evidence_argument, review_evidence) -> glue(product_feedback_refresh)",
        "fsql_surface": "FROM prometheus_runs SLICE BY family(\"brand_product_feedback\") TICKET BY target_foundry",
        "obstruction_policy": "quarantine biased samples, weak sentiment joins, and product/brand mismatches before promotion"
      }
    },
    {
      "demo_id": "skillopt_causal_claim_admission",
      "title": "UDL Causal-Claim Admission",
      "ticket_transformer": {
        "acronym": "TICKET",
        "expansion": "Topos Integration using Causal Kan Extension Transformers",
        "checks": [
          "typed_manifest",
          "subobject_classifier",
          "restriction_maps",
          "gluing_audit",
          "j_closure",
          "promotion_gate"
        ],
        "categorical_routine": "UDL admission from rollout traces and pullback diagnostics into durable causal-claim behavior",
        "label": "TICKET(skillopt_odyssey_causal_claim_run)",
        "source_family": "skillopt",
        "target_foundry": "causal_claims_foundry",
        "foundry_expression": "TICKET(skillopt_odyssey_causal_claim_run) -> optimize(markdown_skill, odyssey_causal_psr_diagnostics) -> glue(seed_reproducible_admission_skill)",
        "fsql_surface": "FROM skillopt_runs SLICE BY env(\"odyssey_causal_claim\") TICKET BY target_foundry",
        "obstruction_policy": "reject or quarantine skill edits that improve local rollout text while degrading held-out ticket status, DB energy, GT graph fit, or KET transfer"
      }
    }
  ]
}