The axioms about an element alone live with the element system, in AXIOMAS.md. What follows is where the element system and QNTX meet: the element system draws the edge, QNTX decides what an edge means.
One attestation, one execution. A downstream element fires once per incoming attestation. Not a batch. Not a list. If upstream produces five attestations, downstream fires five times.
Everything flowing through the DAG is an attestation. AX results, py output via attest(), prompt results — the unit of flow is always an attestation. No ephemeral intermediaries.
Watching, not polling. The meld edge is a live subscription. When an attestation enters the system that matches the edge's filter, the downstream element fires.
The edge is the watcher. A composition edge from→to declares a reactive subscription. The meld DAG compiles down to watcher subscriptions. Each edge IS a watcher definition scoped to the composition.
Subscriptions compile eagerly. The moment two elements meld, the subscription activates. Not on play. On meld. The DAG is live from the moment it's assembled.
Compositions are DAGs. Cycles cannot form.