PASS World C starts as Open Null
PASS Finite query materializes only demanded node
PASS Dynamic bridge creation changes A→C route and revoke restores indirect path
PASS Tensive bridge drives overlap state dynamically
PASS Duality transport A→C is non-commuting
PASS Queued proposal can become stale after world mutation
PASS Default multi-world transaction yields PartialCommit and debt
PASS Compensation reconciliation restores committed counters
PASS Changing C law can close transaction across all worlds
PASS Timeline records meaningful runtime frames
