Crossing motif PROPOSED
A shared grammar for proposed transitions. It is a hypothesis about which distinctions recur, not a claim that different domains share one law.
Grammar
Every crossing class, in any domain, must answer the same questions before it can be compared with another:
- State. What are the typed before and proposed states, and who observes them, by what instrument, at what time?
- Action. What is proposed, for what purpose, with what possible effects?
- Policy. Which versioned rule decides, and can it be retrieved and re-run?
- Invariant. What must be preserved, how is it measured, and within what registered tolerance?
- Evidence. Which independently checkable bindings support which specific claims?
- Authority. Who may authorise this, verified against which trust roots?
- Time. Valid time versus record time; freshness; what a later reassessment may change.
Domain examples
These are specification sketches. Only the first has any executable fixture, and even that one does not pass the gate.
| Crossing class | State / action | Invariant candidate | Status |
|---|---|---|---|
| Crossing-graph gate verdict | Graph head → admitted crossing | Request/context/verdict binding | tested binding check (fails for this fixture); independent decision replay unavailable |
| Configuration change to a service | Config v_n → v_n+1 | Schema validity; declared resource bounds | PROPOSED |
| Model promotion to deployment | Candidate → deployed | Evaluation scope; data provenance | PROPOSED |
| Ledger posting | Balance → balance′ | Double-entry conservation | PROPOSED |
Transfer tests
A claimed transfer from class A to class B counts only if, on held-out cases from B:
- every grammar slot is filled by a B-native observation, not a relabelled A quantity;
- a check that separates good from bad crossings in A still separates them in B, compared with a registered baseline;
- the losses from translation are listed (see Rosetta Crosswalk on Demos).
Counterexamples kept on file
- Signature without binding. In the fixture on the home page, a verdict signs correctly but commits to different inputs. “Signed” and “warranted” are different predicates.
- Metaphor promoted to operator. Divergence, curl or eigenvalues applied to syscalls or organisations without a declared manifold, field or operator. These operators belong only to fixtures that supply the geometry.
- Translation treated as standing. A crosswalk that maps a permitted state in A to a state in B does not make it permitted in B. The target policy decides anew.