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.
guardrail layers, service-ticket contexts, admission rules
automatic wiring from Scylla spec to Odyssey checks
local predicates and refresh obligations
claims or artifacts admitted when local sections agree on overlaps
qualified, review, or quarantine cells where gluing fails
completion of a vague agent plan into structural guardrails
TICKET Transformer
TICKET(guardrail_autowiring_run) - Topos Integration using Causal Kan Extension Transformers
Expression: TICKET(guardrail_autowiring_run) -> compose(service_decision, guardrail_policy, repair_ticket_context) -> glue(autowiring_admission)
FSQL: FROM prometheus_runs SLICE BY family("simulation_testbed") TICKET BY target_foundry
Admission policy: block promotion when generated guardrails omit source contexts, refresh obligations, or obstruction behavior
MyFixIt Guardrail Autowiring
The ICML demo challenge: move from a service-request spec to model-generated Odyssey guardrails admitted by structural checks.
Challenge
Can Homer automatically construct Odyssey guardrails for a long-running service foundry from a Scylla JSON spec?
Trustworthy foundation models preserve local truth and glue it where possible.
Motivating Failure Mode
MyFixIt service automation: A repair assistant can intake requests, diagnose faults, check parts, schedule technicians, and draft quotes, but global automation is brittle when warranty, safety, and part compatibility disagree.
Represent the service workflow as local truths, restriction maps, gluing audits, obstructions, and review surfaces.
Packaged Artifact
The static MyFixIt explorer shows the service-ticket foundry as a sheaf cover with blocked quote promotion where part compatibility and warranty scope have not glued.
- prometheus_placeholders/myfixit_prometheus_sheaf_explorer.html
- guardrail_autowiring_demo_brief.json
Guardrail Layers
| Layer | Purpose | MyFixIt Instance | Autowiring Check |
|---|---|---|---|
| local_truth_layer | Every generated context must name its predicates, evidence channels, and truth-value scale. | customer_intake, fault_diagnosis, parts_inventory, technician_schedule, warranty_safety | Reject contexts that have vague responsibilities but no local predicates or evidence hooks. |
| restriction_map_layer | Every overlap must state what information survives when two local contexts meet. | diagnosis_parts shares symptom cluster, candidate part, model compatibility, and confidence. | Reject overlaps that connect agents without shared evidence and compatibility predicates. |
| gluing_audit_layer | Local claims promote only when overlap predicates are compatible. | policy_quote obstructs because warranty scope is known while part compatibility remains weak. | Require promoted, qualified, and obstructed surfaces, not a single all-clear summary. |
| process_equilibrium_layer | Long-running agent processes need refresh cadence, blocked surfaces, and next observations. | refresh after technician note, part lookup, customer photo, or warranty lookup. | Reject plans that cannot say what happens after new service evidence arrives. |
| scylla_review_layer | Humans need a stable explanation of what glued, what failed, and what evidence is missing. | Scylla admits the ticket and dispatch plan, but holds the final quote for review. | Require a human-facing review surface with trust questions and artifact links. |
Demo Flow
| Step | Label | Claim |
|---|---|---|
| service_spec | MyFixIt service request | A repair-ticket spec supplies local contexts for intake, diagnosis, parts, schedule, warranty, and safety. |
| vibe_code_attempt | Large model proposes the scaffold | Kimi or DeepSeek receives a Scylla JSON spec and emits Homer, Athena, Prometheus, audit, and Scylla sections. |
| odyssey_admission | Odyssey checks the generated guardrails | The model output is admitted only if local truth, restrictions, gluing audits, process refresh, and review surfaces are present. |
| static_icml_replay | Static tutorial console | The audience sees the same flow replayed without live network or model-server dependence. |
Admission Rule
admit_only_if_guardrails_are_structural: The model emits an impressive service plan without local predicates, restriction maps, obstruction behavior, refresh cadence, or Scylla review.