ReferenceSwarm & Congregate Protocols
Governance Ladder
A signed manifest, pinned at federation handshake, that maps each action class to a governance mode and the consistency model it requires.
Spec is v1, wire-frozen
chio.federation.governance-ladder-manifest.v1, and is pinned at the federation handshake as a LadderManifestRef. The summary below is enough to follow the rest of the section.Five modes
| Mode | Coverage | Required record |
|---|---|---|
| Observation | Detection, investigation, correlation, memory, status publication | Standard signed deposits and audit only |
| Guarded response | Non-destructive escalation, decoy deployment, listing publication | Policy validation and ordinary audit |
| Receipt-backed response | Destructive actions (block, isolate, revoke) | Signed governance receipt; bilateral co-signing if cross-org |
| Partition contingency | Destructive response under partition | Staged contingency lease + later reconciliation |
| Maintenance | Operator review, export, replay | Authenticated operator access only |
Most cross-org coordination is Observation (cheap, no joint signature). Only the destructive minority requires Receipt-backed bilateral co-signing.
Per-action-class fields
The manifest declares, per action class:
mode: Observation, Guarded, Receipt-backed, Partition-contingency, Maintenance.destructive: boolean. Destructive must be at or above the declareddestructive_floor.cross_org_visibility.evidence_required.co_sign:none,bilateral_if_cross_org,bilateral_required, orn_of_m.partition_fallback(optional): withlease_kind,blast_radius_cap, and TTL.consistency_model:crdt-commutative,totally-ordered, orquorum-required.
Consistency model
Bilateral trees prove N parties signed but not that they signed consistently. A and B can co-sign credential X’s revocation at t=10 while B and C co-sign continued use of X at t=11, with both receipts independently valid. The fix is to declare consistency at the action-class level.
crdt-commutative: deposits and observations whose merge is commutative and absorbs divergence. Bilateral trees are sufficient; partition-divergent co-signs converge automatically on reconnect.totally-ordered: actions that require a hash-chained ordering anchor (workflow steps, sequential capability grants). Bilateral trees plus an anchor reference catches divergence. Requiresconsistency_anchorset tohash-chainorchio-anchor.quorum-required: destructive actions that mutate shared state. The spec’s declared signature shape is a FROST-aggregated quorum signature over a canonical body, with quorum scope declared inco_sign_quorumandconsistency_anchor: "frost-quorum". FROST aggregation is not yet implemented; the quorum tag is validated as a string today.
A ladder manifest that declares a destructive class as crdt-commutative is rejected at handshake (validation rule ladder.consistency_underspecified).
Full manifest example
A complete manifest spans the three consistency models. The ladder below mixes a CRDT-commutative pheromone deposit class, a totally-ordered capability grant, and a quorum-required revocation. Signature blocks are elided for brevity; in production the manifest body is signed under chio.federation.governance-ladder-manifest.v1#/$defs/signature.
schema: chio.federation.governance-ladder-manifest.v1
manifest_id: blueteam.cybersec.ladder.2026-05-04
participant_id: did:chio:blueteam-soc
domain: cybersec
ladder_version: 1.0.0
modes:
- observation
- guarded
- receipt_backed
- partition_contingency
- maintenance
default_unmapped_mode: receipt_backed
destructive_floor: receipt_backed
ladder_refusal_policy:
on_unknown_class: fall_back_to_default
on_intersection_empty: refuse
on_floor_disagreement: refuse
on_alias_conflict: refuse
action_classes:
# CRDT-commutative: stigmergic deposit, no anchor required
- id: whisker.pheromone_deposit
title: Whisker pheromone deposit
mode: observation
destructive: false
cross_org_visibility: treaty_only
evidence_required: [listing]
co_sign: none
consistency_model: crdt-commutative
# Totally-ordered: capability grant, parent-hash chained
- id: tom.capability_grant
title: Tom capability grant (sequential)
mode: receipt_backed
destructive: false
cross_org_visibility: treaty_only
evidence_required: [trust_activation, workflow_receipt]
co_sign: bilateral_required
consistency_model: totally-ordered
consistency_anchor: hash-chain
# Quorum-required: cross-issuer credential revocation
- id: pouncer.revoke_credential
title: Pouncer RevokeCredential (cross-issuer)
mode: receipt_backed
destructive: true
cross_org_visibility: federated
evidence_required: [trust_activation, passport_presentation, anchor_epoch]
co_sign: n_of_m
co_sign_quorum: { n: 2, m: 3, scope: treaty }
consistency_model: quorum-required
consistency_anchor: frost-quorum
partition_fallback:
lease_kind: narrow_destructive
blast_radius_cap: { unit: credential, max: 1 }
ttl_secs: 600
signature:
signer_key: ed25519:0x9c7b3f...
alg: ed25519
value: 0x7e2b1f3a...c104The destructive_floor field binds the floor below which a class may not declare destructive: true. A manifest that violates the floor is rejected at handshake with ladder.destructive_downgrade. The partition_fallback on the revocation class is structurally permitted by the schema but forbidden at execution time for quorum-required classes (a quorum signature cannot be assembled under partition by definition); the block is retained here to illustrate the field shape.
Spec shape vs. shipped subset
chio-federation treaty types implement a narrower, renamed subset: GovernanceLadderActionClass carries action_class_id, mode, destructive, consistency_model, co_sign, evidence_required, and aliases only — no cross_org_visibility, co_sign_quorum, partition_fallback, consistency_anchor, or title. The manifest struct keys on kernel_id / issuer / key_id and uses default_unknown_mode in place of the spec’s default_unmapped_mode. The wire enums are snake_case in code: consistency_model validates crdt_commutative | totally_ordered | single_kernel | quorum_required and co_sign validates none | bilateral_required | quorum_required. FROST aggregation is a spec-level design target — n_of_m and quorum_required are carried as string tags today, with no threshold-signature implementation in the workspace.Co-signed intersection record
At handshake, the two participants’ manifests are reconciled into a co-signed chio.federation.ladder-intersection.v1 record pinned to the FederationPeer record. The intersected mode is the higher-intensity of the two ladders per class, the intersected co_sign is the strictest, and the intersected consistency_model is the strictest (quorum-required > totally-ordered > crdt-commutative). Treaty scope only authorises classes present in the intersection.
schema: chio.federation.ladder-intersection.v1
intersection_id: int.blueteam-vs-treasury.2026-05-04
treaty_scope: treaty:cross-domain.incident-response.v1
left_manifest:
manifest_id: blueteam.cybersec.ladder.2026-05-04
participant_id: did:chio:blueteam-soc
ladder_version: 1.0.0
sha256: 5b41362bc82b7f3d56edc5a306db22105707d01ff4819e26faef9724a2d406c9
right_manifest:
manifest_id: treasury.financial.ladder.2026-05-04
participant_id: did:chio:treasury-cfo
ladder_version: 1.0.0
sha256: 9f86d081884c7d659a2feaa0c55ad015a3bf4f1b2b0b822cd15d6c15b0f00a08
destructive_floor: receipt_backed
intersected_classes:
- intersected_id: shared.deposit
left_id: whisker.pheromone_deposit
right_id: market.bid_publish
mode: observation
co_sign: none
consistency_model: crdt-commutative
alias_collapsed_from: []
- intersected_id: shared.revocation
left_id: pouncer.revoke_credential
right_id: credentials.passport_revoke
mode: receipt_backed
co_sign: n_of_m
consistency_model: quorum-required
alias_collapsed_from:
- cybersec.pouncer.revoke_credential
- compliance.credentials.passport_revoke
produced_at: 1746710400
co_signature:
left:
signer_key: ed25519:0x9c7b3f...
alg: ed25519
value: 0x7e2b1f3a...
right:
signer_key: ed25519:0x4d5a92...
alg: ed25519
value: 0xb2c58e91...Aliases collapse same-semantic classes published under different names across domains. If both sides declare cross-references and the references contradict, the handshake fails with ladder.alias_conflict. Classes present on only one side fall back to the other side’s default_unmapped_mode only when both refusal policies agree on fall_back_to_default; otherwise they drop from the treaty surface.
Verifier-owned workflow classes
Two action classes are layered over any participant profile by the verifier, not the participant, to compose a workflow package out of the pairwise vendor intersections above. Both are guarded and non-destructive.
workflow.grant_issue: the verifier accepts one workflow grant as the parent of several pairwise vendor intersections.workflow.aggregate_publish: the verifier accepts a vendor co-signed aggregate workflow receipt as the workflow-level evidence object.
A strict Chio verifier trust bundle MUST include these product-owned class names. A non-strict manifest MAY carry a deployment-specific alias, but the alias does not satisfy strict workflow-package verification unless verifier-owned policy maps it to the product-owned class.
Validation rules
Every named rule below MUST be enforced by participants and surfaced verbatim in the governance finding it raises so a third party can replay the dispute deterministically. These are the spec-normative codes; the shipped chio-federation treaty path raises its own chio_federation_ladder_* equivalents.
| Rule | Condition | Resolution |
|---|---|---|
ladder.invalid_schema | Body fails JSON Schema validation, signature does not verify, or canonical-JSON re-serialisation produces a different hash. | Refuse the manifest at handshake. File a Dispute case carrying the code as the finding extension. |
ladder.destructive_downgrade | An action class declares destructive: true at a mode below the declared destructive_floor. | Reject manifest. Author raises the class’s mode or weakens the destructive flag, then re-signs. |
ladder.missing_floor | destructive_floor is absent, or differs from the peer’s by more than one rung at intersection time. | Refuse handshake. Both peers reconcile floors out-of-band, then republish. |
ladder.consistency_underspecified | A destructive: true class declares crdt-commutative, or a totally-ordered / quorum-required class omits its consistency_anchor. | Reject manifest. Author tightens the consistency model or supplies the anchor. |
ladder.consistency_class_mismatch | An action class declares a consistency_model incompatible with its substrate (e.g. a pheromone-deposit class declared totally-ordered or quorum-required). | Reject. Pheromones are intrinsically crdt-commutative. |
ladder.alias_conflict | Two manifests’ aliases declarations cannot be reconciled into a single intersected id. | Refuse handshake. Operators agree on canonical id, then republish. |
ladder.partition_overcap | A partition_fallback.blast_radius_cap.max exceeds the treaty-scope cap, or ttl_secs exceeds the manifest-wide ceiling. | Reject. Author tightens the cap or TTL. |
ladder.co_sign_visibility_contradiction | co_sign: none paired with federated/public visibility on a destructive class, or bilateral_required paired with private visibility. | Reject. Author resolves the visibility/co-sign tension. |
ladder.unknown_class_default_too_low | default_unmapped_mode is observation or guarded, or is below the destructive floor. | Reject. Default MUST be receipt_backed or higher. |
ladder.quorum_misdeclared | co_sign: n_of_m declared without co_sign_quorum, or n > m, or consistency_model != quorum-required. | Reject. Supply quorum block or drop n_of_m. |
ladder.intersection_empty | Reconciliation produced no class for the requested treaty scope. | Refuse handshake. Operators expand class coverage and republish. |
ladder.amendment_downgrade_unsigned | An amendment downgrades a class without co-signature from every active peer. | Reject amendment. Collect missing peer signatures, then re-submit. |
ladder.amendment_stale | An amendment references a prior_manifest_sha256 no longer current at any active peer. | Refresh the prior hash to the current pinned manifest, re-sign. |
Amendments
A published manifest is changed only by a co-signed amendment amendment record, schema chio.federation.governance-ladder-amendment.v1. Its change_kind is one of upgrade_only, mixed, or downgrade_only.
An upgrade_only amendment raises a class’s intensity (mode, co_sign, or consistency_model) and needs only the author’s self_signature plus federation-gossip notification; peers MUST adopt by rotation_deadline. A mixed or downgrade_only amendment — one that lowers any of those fields, removes a partition_fallback cap, widens cross_org_visibility, or weakens destructive_floor — MUST carry a peer_co_signatures entry from every peer with an active intersection referencing the manifest. A missing signature rejects with ladder.amendment_downgrade_unsigned; an amendment whose prior_manifest_sha256 is no longer current at any active peer rejects with ladder.amendment_stale.
Cross-domain example
A cybersec org (Blueteam SOC) and a finance org (Treasury) federate to coordinate response to a compromised payment-issuing agent. Both publish manifests. The cybersec ladder declares pouncer.revoke_credential as receipt_backed / n_of_m / quorum-required with a 2-of-3 FROST quorum. The finance ladder declares credentials.passport_revoke as receipt_backed / bilateral_required / totally-ordered with a chio-anchor.
Each side declares the other’s id under aliases. The intersection artefact takes the strictest co_sign (n_of_m 2-of-3 wins over bilateral_required), the strictest consistency model (quorum-required wins over totally-ordered), and the higher floor (receipt_backed on both sides, identical). The intersected class lands at shared.revocation with FROST quorum required and alias_collapsed_from listing both source ids. Treasury’s side runs the FROST signing-key share ceremony for that class even though its own ladder did not require it; the intersection rules climb, never descend.
For an observation-only class (cybersec whisker.pheromone_deposit vs finance market.bid_publish) the intersection lands at observation / none / crdt-commutative with no anchor. No joint signature is needed for the steady-state cross-domain telemetry exchange; only the destructive minority pays the FROST coordination cost.