Split generic Backoff from ExponentialBackoff

CHANGELOG.md

@@ -12,6 +12,9 @@ This file records vocabulary-level changes between versions — additions, renam
 
 ### Added
 
+- `ExponentialBackoff`, a concrete child for capped geometric delay growth
+  with configurable jitter. Retry eligibility, budgets, and reset policy remain
+  caller-owned rather than requirements of the delay strategy.
 - Lean 4 formal-verification pilot for the handshake decision kernel and
   canonicalization type-tag domain separation. Proofs are pinned to Lean
   4.30.0, checked without `sorry`, independently rechecked by `leanchecker`,
@@ -23,6 +26,14 @@ This file records vocabulary-level changes between versions — additions, renam
 
 ### Changed
 
+- `Backoff` now defines the general failure-responsive delay family instead of
+  requiring exponential growth, jitter, reset-on-success, and a retry budget.
+  `Retry` explicitly selects `ExponentialBackoff` for transient failures,
+  `StateLock` composes with the generic policy family, and `Yield` no longer
+  links technical retry delay to negotiation concession.
+  The vocabulary now contains 453 patterns and its root changes from
+  `b7c42bc564f5a8d2ac3cb6140430e9d98feb82a8f9b943f550f554e9ba6360b5`
+  to `901130d88dab244cc0d4afc149c5e6eeb9c9565e117c468a8e5326287be8fefa`.
 - The shorthand vocabulary reference is now generated on demand instead of
   tracked and silently staged by the pre-commit hook. Its exporter uses the
   current `_meta.path` taxonomy and the database remains the source of truth.

README.md

@@ -140,10 +140,10 @@ registry = RegistryManager()
 pattern = registry.get_pattern("StateLock")
 
 # Look up the canonical reference
-print(pattern["sema_ref"])  # StateLock#7cd8
+print(pattern["sema_ref"])  # StateLock#8bde
 
 # Verify an inline reference before relying on it
-assert pattern["sema_ref"] == "StateLock#7cd8"
+assert pattern["sema_ref"] == "StateLock#8bde"
 ```
 
 ### Try the Protocol (No API Keys Needed)
@@ -165,7 +165,7 @@ word = hash(canonical(definition))
 Take any concept (a coordination protocol, a reasoning pattern, a trust mechanism), express it in canonical form, hash it. That hash IS the word. Change one byte in the definition, get a different word.
 
 ```
-Cooperative: sema_handshake("StateLock#7cd8")
+Cooperative: sema_handshake("StateLock#8bde")
              -> PROCEED with assurance="prefix", or HALT
 
 Strict:      sema_handshake("StateLock", "<full 64-char hash>", strict=true)
@@ -194,7 +194,7 @@ When running as an MCP server (`sema mcp`), these tools are available:
 | Tool | Description |
 |------|-------------|
 | `sema_search` | Search patterns by name, description, or meaning |
-| `sema_lookup` | Get a pattern by its reference (e.g., `StateLock#7cd8`) |
+| `sema_lookup` | Get a pattern by its reference (e.g., `StateLock#8bde`) |
 | `sema_resolve` | Get a pattern with dependencies expanded |
 | `sema_handshake` | Fail-closed semantic verification between agents |
 | `sema_mint` | Create a new pattern (validate, hash, add to vocabulary) |
@@ -267,7 +267,7 @@ claude mcp add ug   -- npx -y understanding-graph mcp
 
 With both installed, an agent can:
 
-1. Anchor an understanding-graph decision node in a sema pattern hash (e.g. `StateLock#7cd8`) so the meaning of the primitive can never drift.
+1. Anchor an understanding-graph decision node in a sema pattern hash (e.g. `StateLock#8bde`) so the meaning of the primitive can never drift.
 2. Use `graph_semantic_search` to find all past graph nodes that reference a given sema pattern — hash-stable history, not keyword matching.
 3. Call `sema_handshake` *before* writing a decision that depends on a shared concept; if it returns `HALT`, the agent writes a `tension` node instead and stops, preventing silent divergence.
 

data/presets/full.txt

@@ -82,6 +82,7 @@ Act
 Actor
 Aggregate
 Backoff
+ExponentialBackoff
 Budget
 Care
 CircuitBreaker

data/vocabulary/AgentProtocol.json

@@ -16,17 +16,17 @@
       "Protocols"
     ]
   },
-  "sema_id": "sema:AgentProtocol#mh:SHA-256:e6b4b936738cd1077a7a360a0c4f069590627d1676ee7c251a2f66e8d3a34ee9",
-  "sema_ref": "AgentProtocol#e6b4",
-  "sema_stub": "e6b4",
+  "sema_id": "sema:AgentProtocol#mh:SHA-256:6297fe3d5b335cbe8051e147ce3235c33d30bce2f4df5ad274b18ae98b502878",
+  "sema_ref": "AgentProtocol#6297",
+  "sema_stub": "6297",
   "signature": [
     "Agent(Protocol)"
   ],
   "dependencies": {
     "references": {
       "accept_spec": "sema:AcceptSpec#mh:SHA-256:c1565bf022e5596a447f7c9d9687ac3cbf1e6960f871be16f386eec02b5df2c4",
       "agent": "sema:Agent#mh:SHA-256:67659e263616d53dded32875421792f42fadf3137c87fe09cf9f5b9c163f10cf",
-      "fail_closed": "sema:FailClosed#mh:SHA-256:408814ddae0d3fa2b4022f997c1feab5eef743a155cdedeba75bc42d26e467ac",
+      "fail_closed": "sema:FailClosed#mh:SHA-256:eae70da02880916a695d85d3752a59e16201c9f81b8a9af238d31863b3b6b157",
       "greet": "sema:Greet#mh:SHA-256:58542bc100077ab85299c99424fa0ca7ea8559890678461a0d7f7aaba927c74f",
       "protocol": "sema:Protocol#mh:SHA-256:e53765fe6abfb95285f1b698b11cc01ab3f7e1d8f82f57186f60127d92c564db",
       "solution": "sema:Solution#mh:SHA-256:48442c3e14ce25ef325cbff085d095ecf4c7735b006f162eb76e23d4315f8fa2",

data/vocabulary/AmbiguityResolution.json

@@ -18,13 +18,13 @@
       "Protocols"
     ]
   },
-  "sema_ref": "AmbiguityResolution#4c6b",
-  "sema_id": "sema:AmbiguityResolution#mh:SHA-256:4c6b0db38986110f6518c3cca2657cc627ffeb0bde5986fa7ad84bcfab868424",
-  "sema_stub": "4c6b",
+  "sema_ref": "AmbiguityResolution#ede0",
+  "sema_id": "sema:AmbiguityResolution#mh:SHA-256:ede07da7ba005a40e31635c0f168f38e16f569a84bb1a57d8ca16555af403220",
+  "sema_stub": "ede0",
   "dependencies": {
     "composes_with": {
       "entropy_pump": "sema:EntropyPump#mh:SHA-256:31cfc8a45ee0ea7751661386771342dc841503e4f1af65400f1f6bb95f9cd9b7",
-      "vote": "sema:Vote#mh:SHA-256:3b66510363464c335c95a843247ddd37bbb98616a17f6a8d4bb17b1ac91bd41c"
+      "vote": "sema:Vote#mh:SHA-256:0affbbc722d42218027f581176be08d0a66c9a3dc99adbf94d411ef9fc38786c"
     }
   },
   "sema_layer": "Society",

data/vocabulary/AnchorDrop.json

@@ -30,13 +30,13 @@
       "Governance"
     ]
   },
-  "sema_id": "sema:AnchorDrop#mh:SHA-256:695ed5829808e8da3d42e7a5110adf1ec1656bba6b9798566f037c8367b9a16a",
-  "sema_ref": "AnchorDrop#695e",
-  "sema_stub": "695e",
+  "sema_id": "sema:AnchorDrop#mh:SHA-256:4196dd5918edf55c99ed25b195f117741d53ba8dd4e7f508e0703df2b4620c54",
+  "sema_ref": "AnchorDrop#4196",
+  "sema_stub": "4196",
   "dependencies": {
     "references": {
-      "consensus": "sema:Consensus#mh:SHA-256:45f490890803e907aa12e85c4751fed8e7f7273f4530fa35f5bd1713a46e3630",
-      "quorum": "sema:Quorum#mh:SHA-256:c6a5b21dbe9b2c1fa46e5e67505041c92048a0a687f5703efa45486b51c56957",
+      "consensus": "sema:Consensus#mh:SHA-256:05264b8eb7ea117841041f266bf2882404e981604258205e5621acb816a7e708",
+      "quorum": "sema:Quorum#mh:SHA-256:d634d5cf0f165f708a5f39e54d8ad42716c11e21189459585468a294d2ebc7bc",
       "system": "sema:System#mh:SHA-256:f8eb318a1113a10fead02fbf14ae433767ac1a69c9579cdb584cc622068e90b3"
     }
   },

data/vocabulary/AtomicBid.json

@@ -23,18 +23,18 @@
       "Economics"
     ]
   },
-  "sema_ref": "AtomicBid#33e1",
-  "sema_id": "sema:AtomicBid#mh:SHA-256:33e1d5689a56922e56ffedb768c82621a62e207160fc4f97228e5dddac588d65",
-  "sema_stub": "33e1",
+  "sema_ref": "AtomicBid#9c0c",
+  "sema_id": "sema:AtomicBid#mh:SHA-256:9c0c78d25ef587cbb5802e4e9243055062fa27a45f30d46896d464c840a35fcd",
+  "sema_stub": "9c0c",
   "dependencies": {
     "composes_with": {
       "act": "sema:Act#mh:SHA-256:7616721cda9e81613f7c97d4ac93ba49291f97d7c7fe6fd7c49588c33d4d3b3d",
-      "bid": "sema:Bid#mh:SHA-256:5c45e9bd8858829e5a5cde5ad4f3ab26f4bb6937f88c1ddde40798b58799a266",
-      "compensate": "sema:Compensate#mh:SHA-256:9b3b07b7a02d00b6df1ecc3ee69fa3dcd2b33e07f045c67f26deb6cf311694f2"
+      "bid": "sema:Bid#mh:SHA-256:1ebadf0e232c35605addcb43f2c2ceab124a7f710c0471cefb989189661c8d3a",
+      "compensate": "sema:Compensate#mh:SHA-256:e23bc7c0d3825460855e7ee5e2e41f512ff8e318ad741b1ba4e0303cb66e39b9"
     },
     "references": {
       "audit": "sema:Audit#mh:SHA-256:be970add829f4f162533569b04c9ffd12ea4d070d53405a4993f0785d4074f77",
-      "lazy_consensus": "sema:LazyConsensus#mh:SHA-256:cb1be5ea25df833482f581771c52a12c2f24b1865b13306e18f6423a99fa94f0"
+      "lazy_consensus": "sema:LazyConsensus#mh:SHA-256:1c07589188212ac8d7519eb64501c0e6c21d9028fc6a4026adf572b5b2db77ab"
     }
   },
   "sema_layer": "Society",

data/vocabulary/AttentionMarkets.json

@@ -33,12 +33,12 @@
       "Economics"
     ]
   },
-  "sema_id": "sema:AttentionMarkets#mh:SHA-256:787e196833bbf6e6f914b37f1097fe555e6d4197a71afe9de60a6772cc41e593",
-  "sema_ref": "AttentionMarkets#787e",
-  "sema_stub": "787e",
+  "sema_id": "sema:AttentionMarkets#mh:SHA-256:faf81f5f0d5d6d9bf0b6ac33732c08fb90d5574d168377c5c908295f978fcf13",
+  "sema_ref": "AttentionMarkets#faf8",
+  "sema_stub": "faf8",
   "dependencies": {
     "composes_with": {
-      "continuous_resource_auction": "sema:ContinuousResourceAuction#mh:SHA-256:15530861d00609a281c40ecd368dda8f2a8e15181bef54b2532752f50348e290"
+      "continuous_resource_auction": "sema:ContinuousResourceAuction#mh:SHA-256:8fe283f5ae6bd9adcf164ba848bcc731863b0f232f2dbc4fa8c389f70eb8184c"
     },
     "references": {
       "signal": "sema:Signal#mh:SHA-256:2ac0768f06e77d96b5d0bf8204205f519a24d704d496ce59519c9e8ddd546ab2",

data/vocabulary/AuditTrail.json

@@ -37,9 +37,9 @@
       "Verification"
     ]
   },
-  "sema_ref": "AuditTrail#bf18",
-  "sema_id": "sema:AuditTrail#mh:SHA-256:bf18738b25414c907d542cc6971b13ecf1fb7b415d10529f1c398a1e08109f92",
-  "sema_stub": "bf18",
+  "sema_ref": "AuditTrail#b441",
+  "sema_id": "sema:AuditTrail#mh:SHA-256:b4419b5e90a6a7c5433fe5bcb459ca9fbff9cbd7d48ccf9b44b0b64166959551",
+  "sema_stub": "b441",
   "dependencies": {
     "composes_with": {
       "snapshot": "sema:Snapshot#mh:SHA-256:390d2ec2934136d534f969b4039e6b899d2ed3956ddd8aa0ca4754068ed8d133"
@@ -49,7 +49,7 @@
       "audit": "sema:Audit#mh:SHA-256:be970add829f4f162533569b04c9ffd12ea4d070d53405a4993f0785d4074f77",
       "identity": "sema:Identity#mh:SHA-256:bfe236a2c243ed664189c99afcb9f16225b6d56cbb11e6e29522756b33c47427",
       "ledger": "sema:Ledger#mh:SHA-256:bc308b35d2c0be6d4a9159ebe2b3c4989e559628145ba9fccb970d8ec2264b04",
-      "monotonic_counter": "sema:MonotonicCounter#mh:SHA-256:21c63e6bc594106fb6bd773e2d91a2ecb0aebb43e550d55cfbe901e6a38628a3",
+      "monotonic_counter": "sema:MonotonicCounter#mh:SHA-256:33824eaaf148d996cbc3ccd7521b62dbba087070d23b5421918a446df3f01c8b",
       "sign": "sema:Sign#mh:SHA-256:d89a18b44321e4b9ba9aada7ac698f69ef9f24a2b0d92e0906168554604a301c",
       "trace": "sema:Trace#mh:SHA-256:314d8d38e6de13bf191dd0d368c8c1bcf7a2d4953b165f66daf7188b90dc37ab"
     }

data/vocabulary/Award.json

@@ -21,20 +21,20 @@
       "Economics"
     ]
   },
-  "sema_ref": "Award#af8e",
-  "sema_id": "sema:Award#mh:SHA-256:af8e239d97dd719c5e42fbc977e8b3a67a0aa31bd3f788883dea1475098ef976",
-  "sema_stub": "af8e",
+  "sema_ref": "Award#6e69",
+  "sema_id": "sema:Award#mh:SHA-256:6e6927d595e808597bf98b0955dab81ee889122e4c2e2bbb0c094697969f57c9",
+  "sema_stub": "6e69",
   "dependencies": {
     "accepts": {
-      "bid": "sema:Bid#mh:SHA-256:5c45e9bd8858829e5a5cde5ad4f3ab26f4bb6937f88c1ddde40798b58799a266"
+      "bid": "sema:Bid#mh:SHA-256:1ebadf0e232c35605addcb43f2c2ceab124a7f710c0471cefb989189661c8d3a"
     },
     "composes_with": {
       "act": "sema:Act#mh:SHA-256:7616721cda9e81613f7c97d4ac93ba49291f97d7c7fe6fd7c49588c33d4d3b3d",
-      "held_release": "sema:HeldRelease#mh:SHA-256:533b77d8341545dd80bd5a940492f028059ee8105cf523b26e4c16736ced46a5",
+      "held_release": "sema:HeldRelease#mh:SHA-256:10b0ae36dabba68fe8aad67adf8075ce5a5f0b2a3bb602c7bd3380b0dd0117d9",
       "sign": "sema:Sign#mh:SHA-256:d89a18b44321e4b9ba9aada7ac698f69ef9f24a2b0d92e0906168554604a301c"
     },
     "references": {
-      "solver": "sema:Solver#mh:SHA-256:04b58c815005971905e3d430112a06fb76b727882204a80fe58ace79b066a1d6",
+      "solver": "sema:Solver#mh:SHA-256:b7f9e18fec50d288ea829a21a59de02f65cf1ffe3eef07142389d659bd421d02",
       "state": "sema:State#mh:SHA-256:4f25e6a16ccd37dc0bc154cccc7055cb504d49daa8b712f372a425eb6c7b8cb2",
       "value": "sema:Value#mh:SHA-256:37fd75758d04cdd7f57a636ccb5394d463713d60c33b694e37ab71f4a5a896f8"
     },

data/vocabulary/Backoff.json

@@ -1,47 +1,22 @@
 {
   "handle": "Backoff",
-  "mechanism": "Exponential Delay: On failure, wait delay D before retry. On repeated failure, D *= multiplier (typically 2). Add jitter to prevent thundering herd. Cap at maximum delay. Reset on success.",
-  "gloss": "Exponential delay to reduce contention",
-  "failure_modes": [
-    "Starvation: Unlucky agents keep backing off while others succeed, never getting a slot."
-  ],
-  "invariants": [
-    "Retry budget must be finite (max_attempts set before first attempt)."
-  ],
-  "parameters": [
-    {
-      "name": "base_delay",
-      "type": "Duration",
-      "range": "[100ms, 10s]",
-      "description": "Initial wait before retry"
-    },
-    {
-      "name": "jitter_factor",
-      "type": "Float",
-      "range": "[0.0, 0.5]",
-      "description": "Randomization to prevent thundering herd"
-    },
-    {
-      "name": "max_retries",
-      "type": "Integer",
-      "range": "[1, 10]",
-      "description": "Attempts before permanent failure"
-    }
-  ],
+  "mechanism": "After an attempt encounters failure, rejection, or contention and a caller elects to try again, defer the next eligible attempt according to a delay policy. The policy may derive the delay from attempt count, failure history, feedback, or external conditions. Backoff supplies spacing; retry eligibility and retry budgets remain caller policy.",
+  "gloss": "Delay subsequent attempts after failure or contention",
   "_meta": {
     "tier": 2,
     "ring": 0,
     "supersedes": [
-      "sema:Backoff#mh:SHA-256:315a36ef873a63c30740ce89b1aeb542836a068ef0d81a6e3aaaec062d70bc60"
+      "sema:Backoff#mh:SHA-256:315a36ef873a63c30740ce89b1aeb542836a068ef0d81a6e3aaaec062d70bc60",
+      "sema:Backoff#mh:SHA-256:16c2d636281df44ed78ef3bce341e7a349fd37cbd675706e2e395172c1dccae6"
     ],
     "path": [
       "Infrastructure",
       "Primitives"
     ]
   },
-  "sema_id": "sema:Backoff#mh:SHA-256:16c2d636281df44ed78ef3bce341e7a349fd37cbd675706e2e395172c1dccae6",
-  "sema_ref": "Backoff#16c2",
-  "sema_stub": "16c2",
+  "sema_id": "sema:Backoff#mh:SHA-256:9e59718422f5408d7892feccb6d538a21103f9573b122b891ee3c8cf66303e72",
+  "sema_ref": "Backoff#9e59",
+  "sema_stub": "9e59",
   "sema_layer": "Infrastructure",
   "sema_category": "Primitives"
 }

data/vocabulary/Ballot.json

@@ -57,12 +57,12 @@
       }
     }
   },
-  "sema_ref": "Ballot#43eb",
-  "sema_id": "sema:Ballot#mh:SHA-256:43ebc85e8e87e132698c59536402d1ba715b0dbad9e6c116f97a056c60da4577",
-  "sema_stub": "43eb",
+  "sema_ref": "Ballot#84c3",
+  "sema_id": "sema:Ballot#mh:SHA-256:84c3ea1db9fa8ab818d4fd156a8ef0a43d15b50419ca42236869bd9119f35497",
+  "sema_stub": "84c3",
   "dependencies": {
     "references": {
-      "monotonic_counter": "sema:MonotonicCounter#mh:SHA-256:21c63e6bc594106fb6bd773e2d91a2ecb0aebb43e550d55cfbe901e6a38628a3",
+      "monotonic_counter": "sema:MonotonicCounter#mh:SHA-256:33824eaaf148d996cbc3ccd7521b62dbba087070d23b5421918a446df3f01c8b",
       "select": "sema:Select#mh:SHA-256:2fa0da3874e2a9a2c8664ed919d03c28a1f6b76daf9621f069d1ca1cb18a64b6"
     }
   },

data/vocabulary/BeamSearch.json

@@ -26,15 +26,15 @@
       "Strategy"
     ]
   },
-  "sema_id": "sema:BeamSearch#mh:SHA-256:fc0a0d78a67aeda031b4316da9d81b9918064f81e06ceeb198ebfd30976e9b0b",
-  "sema_ref": "BeamSearch#fc0a",
-  "sema_stub": "fc0a",
+  "sema_id": "sema:BeamSearch#mh:SHA-256:70d31a67347fab104678e9d6038acfd4b42b5c46967c71d6090b443b0a27fd14",
+  "sema_ref": "BeamSearch#70d3",
+  "sema_stub": "70d3",
   "dependencies": {
     "references": {
       "queue": "sema:Queue#mh:SHA-256:52224702509927c0b69df5580e0554e4ca381f93d291a08d7b2e8d4eaf04cdb2",
       "rank": "sema:Rank#mh:SHA-256:44ff9eebfbb89e603509718bad8954e38aa800ed22b697bb853e781aea9cb104",
       "select": "sema:Select#mh:SHA-256:2fa0da3874e2a9a2c8664ed919d03c28a1f6b76daf9621f069d1ca1cb18a64b6",
-      "solver_node": "sema:SolverNode#mh:SHA-256:fd50fc5063ba52d2670169e4a8388e475cdc69084de648606236716f9ccc13b4"
+      "solver_node": "sema:SolverNode#mh:SHA-256:45292efbd4e607174b8e0b82535d8bede20eb408a9d341b86742e1db2982ea1a"
     }
   },
   "sema_layer": "Mind",

data/vocabulary/BeliefTracking.json

@@ -43,15 +43,15 @@
       "Memory"
     ]
   },
-  "sema_id": "sema:BeliefTracking#mh:SHA-256:6142b1c96257501505d4af3e9985e1845d80257b9db3d60e7892765373cca398",
-  "sema_ref": "BeliefTracking#6142",
-  "sema_stub": "6142",
+  "sema_id": "sema:BeliefTracking#mh:SHA-256:6f91264f8bcb9a1eba37e37adf40c9fe779135fb88b8a7748de81c9f76c75c76",
+  "sema_ref": "BeliefTracking#6f91",
+  "sema_stub": "6f91",
   "dependencies": {
     "references": {
       "agent": "sema:Agent#mh:SHA-256:67659e263616d53dded32875421792f42fadf3137c87fe09cf9f5b9c163f10cf",
       "belief": "sema:Belief#mh:SHA-256:7d838b98686e17c69e96df09b2c7ec870df22bba9a9bd02dc29bd62be41d5da8",
       "cognitive_bias": "sema:CognitiveBias#mh:SHA-256:c8a4abe2e0ce048be16d25f890a50f8c7095e099b5ab2de23aa059942328f387",
-      "surprisal_update": "sema:SurprisalUpdate#mh:SHA-256:6169da6dce9141595fc8b7ac8d8743e397cd44a2da04b3499b2ce910e174c2ef"
+      "surprisal_update": "sema:SurprisalUpdate#mh:SHA-256:41a9f896757eb4b0d7132604b60e0193eaba43329953359ef5e927f69112f8df"
     }
   },
   "sema_layer": "Mind",

data/vocabulary/Bid.json

@@ -67,16 +67,16 @@
       "Economics"
     ]
   },
-  "sema_ref": "Bid#5c45",
-  "sema_id": "sema:Bid#mh:SHA-256:5c45e9bd8858829e5a5cde5ad4f3ab26f4bb6937f88c1ddde40798b58799a266",
-  "sema_stub": "5c45",
+  "sema_ref": "Bid#1eba",
+  "sema_id": "sema:Bid#mh:SHA-256:1ebadf0e232c35605addcb43f2c2ceab124a7f710c0471cefb989189661c8d3a",
+  "sema_stub": "1eba",
   "dependencies": {
     "references": {
       "artifact": "sema:Artifact#mh:SHA-256:379aeed82460aa1a42442f89572d8e621f93f900aa56686b5962dd7800adaec3",
       "budget": "sema:Budget#mh:SHA-256:f2f58874eaeb0600039600ba5b26064164c225fd44482b269ae94e37a9df15b4",
       "commitment_device": "sema:CommitmentDevice#mh:SHA-256:dbdbd8b26ed1104714cdfb072d548747682e428e086e9ea0b9c963b79f9877d4",
       "compute_budget": "sema:ComputeBudget#mh:SHA-256:47c6eb12f7537f418cdfa9358a501b394d3b4460dd2f8c85560687b1e782b8c2",
-      "solver": "sema:Solver#mh:SHA-256:04b58c815005971905e3d430112a06fb76b727882204a80fe58ace79b066a1d6",
+      "solver": "sema:Solver#mh:SHA-256:b7f9e18fec50d288ea829a21a59de02f65cf1ffe3eef07142389d659bd421d02",
       "task": "sema:Task#mh:SHA-256:f239278f610adea7e01a9fd019dc6be158a31919d61d301856dcbe2aa8b67804",
       "value": "sema:Value#mh:SHA-256:37fd75758d04cdd7f57a636ccb5394d463713d60c33b694e37ab71f4a5a896f8"
     }

data/vocabulary/BreadthGovernor.json

@@ -43,17 +43,17 @@
       "Inference"
     ]
   },
-  "sema_id": "sema:BreadthGovernor#mh:SHA-256:c7ea1965d69acf5735eb3e6bc1cb21a2d8308b8b115d115c443dfc4bb949e719",
-  "sema_ref": "BreadthGovernor#c7ea",
-  "sema_stub": "c7ea",
+  "sema_id": "sema:BreadthGovernor#mh:SHA-256:5e8cc0b3df0dc29c7a5586040b965e5beb4d49d578145ae799f895f4dcf0d193",
+  "sema_ref": "BreadthGovernor#5e8c",
+  "sema_stub": "5e8c",
   "dependencies": {
     "references": {
       "budget": "sema:Budget#mh:SHA-256:f2f58874eaeb0600039600ba5b26064164c225fd44482b269ae94e37a9df15b4",
       "context": "sema:Context#mh:SHA-256:d5f79a21faef9ef640ab687c90a25cdf457a066fb6da23d247115b267c539132",
       "decompose": "sema:Decompose#mh:SHA-256:63f31488a348d1176b6b16e770c69f196c2e03f507a240103e8297487dc4f652",
       "parallel": "sema:Parallel#mh:SHA-256:e799c1986d62c4a052090842aabe144193587f8a4d8dd23617d027b2e9b85098",
       "parsimony": "sema:Parsimony#mh:SHA-256:bbc62c0fd9b1d71a06a781b4e40cf2988b6e2b61a113bf62d7ebd3ad0f149351",
-      "prophet_fan_out": "sema:ProphetFanOut#mh:SHA-256:d47b1a26c9627e3a31433c130549fcbc96ac37bca1bd17536a15230f94dd5095",
+      "prophet_fan_out": "sema:ProphetFanOut#mh:SHA-256:b0f338cae3235461586e3303452b74e696b33b77e971e9a0c34b1b7e3b0292f6",
       "value": "sema:Value#mh:SHA-256:37fd75758d04cdd7f57a636ccb5394d463713d60c33b694e37ab71f4a5a896f8"
     }
   },