Joseph M OBrien joe

0 Followers · 0 Following

• Joined on 2026-03-15

Repositories

1

Projects Packages Public Activity Starred Repositories

disyn-symbolic (0.1.0)

Published 2026-06-08 01:41:01 -05:00 by joe

Installation

Set up this registry in the Cargo configuration file (for example ~/.cargo/config.toml):

[registry]
default = "gitea"

[registries.gitea]
index = "sparse+" # Sparse index
# index = "" # Git

[net]
git-fetch-with-cli = true

To install the package using Cargo, run the following command:

cargo add disyn-symbolic@0.1.0

For more information on the Cargo registry, see the documentation.

About this package

Symbolic verifier and repair engine for the disyn agent pipeline

disyn-symbolic

Symbolic verifier and repair engine for the disyn agent pipeline.

Features

• RuleSetVerifier — configurable rule-based plan verification
• SimpleRepairEngine — removes steps that violate rules
• 10-layer verification taxonomy
• Formal verifier trait (FormalVerifier) with FoT stub types

License

MIT OR Apache-2.0

Dependencies

ID	Version
disyn-core	^0.1.0
serde_json	^1
uuid	^1

Details

Cargo

2026-06-08 01:41:01 -05:00

2

Repository Site

MIT OR Apache-2.0

8.2 KiB

Assets (1)

disyn-symbolic-0.1.0.crate 8.2 KiB

Versions (1) View all

0.1.0 2026-06-08