Technical note / bounded addendum

A6 Composition Transition Predicate Addendum v0.1.4

EXIT / SPLIT / HOLD / DISSOLVE classification for governed A6 composition.

Transition classification for A6

A6 Composition Transition Predicate Addendum v0.1.4 defines an explicit transition-classification predicate for A6 governed composition. It separates CONTINUE, EXIT, SPLIT, HOLD_OR_FREEZE, and DISSOLVE by the preservation or loss of a unique lawful successor composition.

This addendum supplements A6 Composition Layer v0.1.1. It does not replace, silently amend, or supersede the parent DOI artifact.

The v0.1.4 revision closes the predicate-review cycle at draft level. Remaining work is fixtures and checker implementation, not predicate-completeness review.

DOI-bound addendum

Author: Kotov Ivan.

Location: Bruxelles, Belgium.

Date: 2026-07-06.

Version: v0.1.4.

Type: Technical note / bounded addendum.

License: CC BY 4.0.

Archive, source, and parent relation

Website copies and archive links

File Local copy External archive
Academic PDF Academic PDF GitHub release asset
Canonical Markdown Canonical Markdown GitHub release asset
Artifact checksums Artifact checksums GitHub source file
GitHub placement checksums GitHub placement checksums GitHub release asset
Zenodo ZIP package Zenodo ZIP package GitHub release asset

Classification boundary

EXIT is not departure.
EXIT is departure with one lawful continuation.

SPLIT is not disagreement.
SPLIT is loss of one lawful continuation under incompatible successor claims.

HOLD is not weakness.
HOLD is refusal to launder uncertainty into action.

DISSOLVE is not absence of visible claim.
DISSOLVE requires witnessed successor-space exhaustion.

Predicate-review closure

  • Lawful successor predicate classification.
  • Successor-claim incompatibility classification.
  • Successor-space exhaustion record.
  • Temporal WINDOWED state in K.T.
  • Canonical a6.* witness namespace and generated arl.* projection.
  • actor_or_role_departed classification.
  • Predicate-review cycle closed at draft level.

Reviewed source surface

Record Link
b-layer review v0.1.1Review record
b-layer review v0.1.2Review record
b-layer review v0.1.3Review record
b-layer review v0.1.4Review record
Integration hash verification recordIntegration record
Review checksumsReview checksums

SHA-256 record

MD: 61126c2d8a71a03eaa301f181168d02c1334ad0a3c5b68d778a6565707eb6152

PDF: b371dace3e74e59e32fa736f5ac3bf13d9665f9856c1e7c5c30e9190955d4c89

Zenodo ZIP: 3f2348a3c4f5af47171ccdd81e493054c176a172748a2ab19323b3c7055f2f8d

The reviewed/hash-bound artifacts were copied without modification.

Supplement to A6 Composition Layer

This page is a supplement to A6 Composition Layer v0.1.1: https://doi.org/10.5281/zenodo.20752182.

Relation: Is supplement to A6 Composition Layer v0.1.1.

Research artifact boundary

  • Not legal advice.
  • Not product certification.
  • Not deployment-ready.
  • No conformance claim.
  • No personhood claim.
  • No safety proof.
  • Does not replace the parent A6 DOI artifact.
  • Does not silently amend the reviewed artifacts.

Copyable citation

Kotov, Ivan. A6 Composition Transition Predicate Addendum v0.1.4: EXIT / SPLIT / HOLD / DISSOLVE Classification for Governed Composition. Zenodo, 2026. https://doi.org/10.5281/zenodo.21227129