What does 'Correct by Construction' mean in TIDAR?

It means the system's architecture is designed using type-level invariants so that invalid states (like unbalanced triads) are impossible to represent or compile, moving error detection from runtime to construction time.

What is Middle-path collapse?

Middle-path collapse is a design pattern where only the 'Middle' nodes in the triadic structure are permitted to emit final results, providing a single, proven path for data output.

How does the 40-agent structure function?

The structure is a depth-3 tree with a branching factor of 3. It includes 1 root coordinator, 3 branch managers, 9 sub-coordinators, and 27 leaf workers, ensuring GF(3) balance is maintained at every level of the hierarchy.

What is the significance of GF(3) in this skill?

GF(3) refers to ternary logic (-1, 0, +1). In TIDAR, every triad of agents must sum to zero, ensuring the system remains in a perfectly balanced state during complex read/write operations.

TIDAR Correct-by-Construction

Name: TIDAR Correct-by-Construction
Author: plurigrid

byplurigrid

•

Developer Tools

Implements triadic agent orchestration with strict type-level invariants to ensure system states are mathematically balanced and correct by construction.

TIDAR (Triadic Interleaving Dispatch with Agents for Reading/writing) is a high-reliability coordination framework that enforces GF(3) conservation through a specialized 40-agent hierarchical tree. By utilizing triadic logic where every grouping of minus, middle, and plus nodes must sum to zero, it ensures that invalid system states are mathematically unrepresentable. This skill is ideal for architects building complex agentic workflows that require mandatory pre-hook ordering, middle-path result emission, and strict type safety to eliminate runtime state errors.

Key Features

01Atomic Triads: Prevents the creation of partial or unbalanced states during construction.

02GF(3) Conservation: Mathematically enforces balanced triadic states at the type level.

03Mandatory Pre-hooks: Enforces strict read-before-write ordering within the state machine.

0440-Agent Hierarchy: Organized structure comprising root, branch, sub-coordinator, and leaf nodes.

05Middle-Path Collapse: Ensures final results are only emitted via proven middle-agent pathways.

068 GitHub stars

Use Cases

01Implementing complex dispatch systems requiring strictly ordered read/write phases.

02Developing topological computing systems that require mathematical conservation of logic.

03Designing high-reliability agentic workflows where state consistency is mission-critical.

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add plurigrid/asi tidar-correct-by-construction

For use in Claude.ai and ChatGPT

Download Skill