Evidence by revision, on perf-lazy-bucket-snapshot from main at 2c98b4992: the RED results ran on main with the new oracle. The GREEN results, mutants and measurements ran on the branch commit that adds this record. The layout law, the ORC-010 harness and the second mutant run were added in a follow-up commit; "Follow-up: layout and cleanup" gives their results.
BucketFacadeAdapter.flush() writes child-facade rows through ordinary Collection transactions and defers their events. "Coherent publication" in packages/db/src/query/live/ARCHITECTURE.md requires the flush to be atomic: if a facade write or the root commit fails, every facade returns to its rows, order and key mapping from before the flush, and no facade publishes.
Before this change, each flush copied the stored rows of every facade, so that a rollback could restore them. The rollback read only the copies of the facades the flush wrote. Every successful flush paid for the other copies. A change to one child row in a list of 50 parents with 3 rows each copied 150 rows.
The change copies a facade's rows when the flush first defers that facade's publication. Both write paths defer before they open a sync transaction, so the copy holds the facade's rows from before the flush. The production diff in bucket-facade-adapter.ts is +19/−29.
The new owner is packages/db/tests/query/bucket-facade-rollback-oracle.property.test.ts. Its model maps each bucket to its ordered rows and keeps the operations sent since the last successful flush. It checks two laws after every flush:
| Check | main | Branch |
|---|---|---|
| Fixed campaign (seed 2081) | Fails: "step 1: reads of untouched b0: expected 1 to be +0" | Passes |
| Random campaign | Fails with the same counterexample | Passes |
| Pinned wide list (50 buckets × 3 rows, one insert) | Fails: 49 untouched facades read | Passes |
| Pinned retried failure (two written buckets and a retire) | Passes | Passes |
The generated histories reached 448 publishes, 188 rollbacks after prepare() and 84 thrown facade commits.
Rows copied per change, measured with a counter on the copy:
| Shape | main | Branch |
|---|---|---|
| Issue detail, 10 / 100 / 1,000 comments | 19.5 / 109.5 / 1,009.5 | 19.5 / 109.5 / 1,009.5 |
| List of 50 issues, 3 recent comments each | 150 | 3 |
| All issues, 100 × 10 comments | 1,009.5 | 19.5 |
| All issues, 1,000 × 10 comments | 10,009.5 | 19.5 |
The detail view does not improve, because its one bucket is the bucket the flush writes. An undo log of changed keys would cover that case.
Local scripts/bench timings could not distinguish the change: a same-code comparison gave 1.08× for writes, and reversing the run order moved the branch from 1.03–1.14× to 0.83×.
| Mutant | Outcome |
|---|---|
| Copy the rows after the first write | Assertion failure: the new oracle's fixed and random campaigns, and the existing "restores facade state without public effects when a flush fails" test |
| Skip the copy for buckets created in the flush | Equivalent within the tested domain: restore() restores only facades that existed before the flush |
| Retire copies after its deletes | Equivalent within legal histories: the graph retracts a retired bucket's rows in the same flush, so the row phase defers and copies the facade first |
| Do not restore currentOrder | Assertion failure in the new oracle (fixed and random campaigns, and the pinned reorder retry) and in the existing bucket-facade-adapter.test.ts rollback test |
| Requirement | Outcome |
|---|---|
| ORC-001 | Applicable. The atomicity law comes from "Coherent publication". The work law is this change's promise. The claim is limited to one ordered edge at the adapter boundary. |
| ORC-002 | Applicable. The model is a map of ordered rows and a list of pending operations. It does not import the adapter, its snapshot or its order maps. |
| ORC-003 | Applicable. The opening prose states both laws, the model, the grammar, the driver, the checkpoints and the limits. |
| ORC-004 | Applicable. The grammar covers activate, insert, update, delete and retire on buckets b0..b3 and ids 1..6, with publish, thrown commit and rollback outcomes. Operations are legal against the published rows plus pending operations. The outcome counts above show each outcome was reached. |
| ORC-005 | Applicable. The driver runs the real adapter over a D2 graph and compares public facade rows, keys, events and each facade's layout revision, which the live-query observer compares to detect a reorder. The work counter wraps each facade's stored-row iterators during the flush. |
| ORC-006 | Applicable. The mutants above, with outcome classes. |
| ORC-007 | Applicable. A fixed-seed campaign and a random or replayed campaign run the same property and budget, registered as bucket-facade.rollback-history. |
| ORC-008 | Applicable. The model keeps published rows and pending operations. Pending operations are needed because a thrown flush keeps its graph output for the next flush. |
| ORC-009 | Applicable. "Written buckets" means buckets with a pending row operation or a retire since the last successful flush. |
| ORC-010 | Applicable. withCleanup keeps a history's failure as the primary error: when cleanup also throws, it throws an AggregateError whose cause is the history's failure and whose errors list that failure first. A calibration test forces both failures; a harness mutant that rethrows the cleanup error fails it. |
| ORC-011 | Inapplicable. No shared fault between the model and the adapter was named. |
| ORC-013 | Inapplicable. No threshold law. |
| ORC-014 | Inapplicable. No controlled provider. |
The first version of the oracle did not observe a reorder. toArray sorts through the facade comparator, so the rows came back in order even when the adapter kept stale order state after a failed flush. The stale state stops the retried flush from marking a layout change, which the live-query observer reads through the layout revision.
A first attempt observed layout listener calls and failed on the fixed adapter (step 1: layout publications of b0: expected +0 to be 1): an order-only update publishes an update event, and layout listeners run only for a publication without row events. The revision is the observation the observer uses, so the law observes it.
| Check | Result |
|---|---|
| Fixed adapter | 6 of 6 pass, no type errors |
| Do not restore currentOrder | Assertion failures in both campaigns and the pinned reorder retry. The fixed campaign also found a row-order failure after a second thrown flush: [1, 3] instead of [3, 1]. |
| Copy the rows after the first write | Assertion failures, 3 of 6 tests |
| Skip the copy for new buckets; retire copies after its deletes | Still equivalent, as above |
| Harness mutant: rethrow the cleanup error | The ORC-010 calibration fails |
Reviewed source: the commit that adds this section, on top of 3b9b74ba2. The review raised 10 findings. The evaluation ledger is outside the repository; its verdicts are below.
Laws. The oracle now states three laws. Atomicity also requires that a failed flush removes the facades it created. Bounded work now covers every read path of the stored rows. The layout law is now derived from the rows a reader sees, not from production's classifier: a revision is required when the rows shown before and after appear in a different relative order, forbidden when the shown key sequence is identical, and allowed otherwise.
| Finding | Verdict | Change |
|---|---|---|
| 1. Work counter did not see forEach | Confirmed | The counter also wraps forEach, get and has. |
| 2. Layout model copied the production classifier | Confirmed | Three-part layout law above. |
| 3. Nested-facade rollback was claimed covered but was not | Confirmed | Pinned case: the child edge commits, the parent edge throws. The child facade is restored, the parent keeps its reference to it, and the child facade created by the flush is removed. |
| 4. Missing failure cuts | Confirmed | The grammar adds a throw from a facade's first write (open sync transaction) and a throw from the commit of a facade the flush creates. The nested case covers a second edge after the first commits. A retire on a non-empty facade cannot occur in legal histories (see mutants). |
| 5. check() skipped buckets the model lacks | Confirmed | check() compares the adapter's facade set with the model's buckets. |
| 6. A rollback after prepare() ended the history | Confirmed | The history continues after a rollback; a pinned case sends a rolled-back reorder again. |
| 7. ?? [] could restore a facade to empty | Confirmed | restore() iterates the copied rows, so a missing copy cannot occur. |
| 8. deferredEntries duplicated the copied rows' keys | Confirmed | Removed. |
| 9. Copy-before-write was a convention | Confirmed | One write() helper copies, defers, begins and commits for both write paths. |
| 10. snapshot() still copies the edge and bucket maps | Confirmed, scoped | Not changed. A lazy copy would need a copy-on-write hook across the window from flush() to publish()/rollback(), including resolve() calls after flush() returns. The changeset now says the bucket bookkeeping still grows with the number of buckets. |
Mutants (ORC-006), run against this oracle and against the previous one:
| Mutant | This oracle | Previous oracle |
|---|---|---|
| Eager copy through forEach | Assertion failure | Survived |
| Layout revision without a key change | Assertion failure | Assertion failure |
| No layout revision when membership also changes | Assertion failure | Assertion failure |
| Layout from common-row relative order only | Survives: the contract allows it | Assertion failure: the old model over-specified |
| Entries map not restored | Assertion failure | Assertion failure |
| Stale order state after a rollback | Assertion failure | Survived |
| Rows copied after the first write | Assertion failure | Assertion failure |
| Retired facade copied after its deletes | Equivalent: a retired bucket's rows retract in the same flush, so retire finds an empty facade | Equivalent |
Production delta: bucket-facade-adapter.ts is now +41/−54 against main, net −13.
Unresolved: the random campaign rarely sends a rolled-back reorder again; the pinned case covers it. The edge and bucket map copy is not measured.
Found while evaluating the medium review, and confirmed on main (f6d65eace) and on this branch before the fix.
Law. After a failed root commit, the next successful flush publishes every change that was pending at the failed flush, child rows included, exactly once. The live-query builder keeps its pending root changes when the root commit fails. Before this fix, the facade adapter had already cleared its pending child rows and activations, so rollback() restored the facades but lost their pending changes.
Witness. A live query with a Collection-valued include. One write updates the parent and the child, and the root commit throws. A retry writes only a further parent change. On main and on the unfixed branch, the parent shows the retry while the child keeps value: 1 and publishes no event, although the source holds value: 2. With the fix, the child shows value: 2 and publishes one event.
Oracle. The rollback outcome now keeps the model's operations pending, as a thrown flush does. RED before the fix: both campaigns failed with "facades held by the adapter: expected [] to deeply equal [ 'b0' ]" (a lost activation), and a pinned case failed with "rows of b0: expected [ { id: 1, v: 1 } ] to deeply equal [ { id: 1, v: 2 } ]". The includes owner gained the public witness above.
Fix. flush() keeps the pending rows and activations it consumed; rollback() puts them back. No graph output arrives between a flush and its rollback, so the maps are empty when it does.
Mutant. Dropping the pending rows on rollback fails both campaigns, the pinned case, and the includes witness (assertion failures).
Not covered by the law. When no further write reaches the live query after a failed root commit, no flush runs, so the root and the child both keep their rows from before the failure until the next write. Whether a failed commit should schedule its own retry is a design question; this change does not add one.
Bucket bookkeeping copy (finding 10). snapshot() still copies each edge's entries map and activeBuckets set on every flush. The maintainer accepted this as a documented limit. Measured per comment write, with a scratch variant that skips the copy (an upper bound, because that variant cannot roll back):
| Unlimited include | Entries copied | Copy share of a write |
|---|---|---|
| 10 parents | 20 | about 2% |
| 100 parents | 200 | about 6% |
| 1,000 parents | 2,000 | about 31% |
| 10,000 parents | 20,000 | about 83% |
A limited query ("list + 3 recent comments", limit 50) copies no entries, because only the parents in its window hold facades. A lazy copy for each edge does not help, because one edge holds all the buckets. The follow-up, if large unlimited include queries matter, is a per-bucket undo log (about +20/−15 lines plus oracle cases for activate, retire and restore of a new entry). Raw data: ~/.cw-perf/bucket-f10/RESULTS.md (local).
Retry after a failed root commit. The maintainer recorded this as a design question for later. A retry needs a public contract, a backoff and a stop condition before it can earn its code weight.
Reviewed head bf6caffb1. The review had nine findings. The evidence for each one is below.
| Finding | Verdict | Change |
|---|---|---|
| 1. Successful flushes do not check events | Confirmed | Law 1 now checks events on each successful flush. The subscriber starts from the facade's current rows (includeInitialState). Its events name only rows that a pending operation touched, at most once each. A replay of the events on the previous rows gives the shown rows. |
| 2. ARCHITECTURE.md says the adapter buffers no deltas | Confirmed | The adapter paragraph and "Coherent publication" state the retention law and the rollback invariant. |
| 3. rollback() can overwrite new pending deltas | Confirmed as an unchecked invariant | rollback() throws (code 235) when graph output arrived after the flush. The flush runs inside the graph run, so this cannot occur in a legal history. A pinned witness covers it. |
| 4. Per-flush bookkeeping copy | Accepted design | The maintainer decision is recorded below. |
| 5. Per-flush write closure | Confirmed | Removed. The copy, the deferral and the write are at the one write site. |
| 6. The retire write branch is unreachable | Confirmed, then refuted in the third review | The branch was removed, and a retire that found rows threw (code 231). A probe that threw on that branch ran the full @tanstack/db suite (11,267 tests) and reached it zero times. The third review showed that the probe measured a blind spot shared by every suite, not the contract. The branch is restored. |
| 7. Pending maps are copied, then cleared | Confirmed | The flush swaps the map references, and the rollback swaps them back. |
| 8. The oracle reads adapter internals | Confirmed, documented | The Limits section gives the reason: resolve creates facades, so the facade set and the new-facade failure need the private map and factory. Rows, events and layout revisions are public Collection state. |
| 9. The "only way to write a facade" comment is wrong | Confirmed | The comment now says this is the only place where a flush applies graph deltas. |
An earlier draft of the event law subscribed without initial state. It reported missing delete events after a thrown flush. That was a wrong observation, not a product bug. A subscriber without initial state does not receive events for rows that it was never sent, and it receives an insert for an update to such a row. The same history gives the same events on main.
Mutants, against the extended oracle (with the includes oracle and the adapter tests) and against the oracle at bf6caffb1:
| Mutant | Extended oracle | Previous oracle |
|---|---|---|
| Apply the consumed deltas again after publish | Assertion failure (20 tests) | Assertion failure (4 tests), through the work law |
| Drop the events of a delete-only facade write | Assertion failure at the successful flush (step 1) | Assertion failure only at a later rollback |
| Rollback restores over new pending deltas | Assertion failure (witness) | Survives |
| Retire deletes rows and does not throw | Assertion failure (witness) | Survives |
| Copy rows after the first write | Assertion failure (12 tests) | Assertion failure (7 tests) |
| Apply each change twice | Equivalent: the repeated identical update publishes no event | Equivalent |
Production: bucket-facade-adapter.ts is +54/−64 against main (net −10).
Reviewed head 00ef3ea07. The review had ten findings.
Regression. Round 2 made retirement throw (code 231) when a facade still had rows. It assumed that a retired facade is empty in legal histories. That holds for synced rows only. A facade is a public Collection, so a user transaction can show an optimistic row in it, and a persisting transaction can hold its sync commits. main retracted every visible key. The oracle's grammar had no step that writes a facade outside the graph, so no generated history could refute the assumption. The reach probe counted only what the existing suites generate.
Law. Retirement deletes through sync every key the facade still shows. It is a facade write of the flush, so a failed flush restores it. The architecture text says so and explains why a non-empty retirement is legal.
| Finding | Verdict | Change |
|---|---|---|
| 1. Retire throws on a facade with optimistic or held rows | Confirmed regression | The grammar gained a step that inserts an optimistic row into a held facade, and the oracle checks that the row stays visible. RED: both campaigns, plus pinned optimistic-row and held-commit cases, threw code 231. GREEN after retirement went back to retracting through the shared copy and deferral path. Code 231 is removed. |
| 2. Created-facade disposal is not observed | Confirmed | After a failed flush, every facade it created must report status === 'cleaned-up'. |
| 3. The rollback invariant wedges event delivery | Confirmed | The rollback restores the facades and discards the deferred events before it throws. The witness checks the rows and one event on the next flush. |
| 4. Rollback after cleanup restores disposed facades | Confirmed | Rollback after cleanup() does nothing. Pinned witness. |
| 5. The architecture text does not match the retire throw | Confirmed | Updated, as above. Coherent publication also states the rollback ordering and the cleanup no-op. |
| 6. The layout law over-specifies | Open law question | Proposed to the maintainer. |
| 7. No liveness after a deterministic root-commit failure | Recorded limit | See the recorded limits above. |
| 8. currentOrder.clear() in restore is redundant | Refuted | Removing it fails the adapter unit test. Only a private-state assertion catches it, so its public consequence is an open witness. |
| 9. retiredEntries.clear() on rollback is redundant | Equivalent | Removing it passes all 4,033 query tests. Restore puts each retired entry back, so the reference retains nothing. Kept, because it states that a rolled-back flush retires nothing. |
| 10. Misplaced comments | Confirmed | Moved. |
On merge, main (#2074) had taken codes 230–232, so the rollback invariant is now code 235. (#2080 holds 233; it later dropped 234.)
Mutants, against the rollback oracle, the includes oracle and the adapter tests:
| Mutant | Result |
|---|---|
| Retire throws when rows remain | Assertion failures (6 tests, both campaigns) |
| Created facades are not disposed | Assertion failures (both campaigns) |
| Rollback after cleanup restores | Assertion failure (witness) |
| The invariant check runs before restore and discard | Assertion failure (witness) |
| Copy again on each write | Assertion failures (both campaigns) |
| Retire skips the rollback copy | Assertion failure (pinned witness only) |
| Rollback drops the consumed pending changes | Assertion failures (4 tests, includes oracle too) |
Limits. Held commits and synced rows left at retirement have pinned witnesses only. The second is a contradictory graph signal. Disposal between a flush and its rollback is pinned, not generated.
Reviewed head c69662d3b. The review had ten findings. Each was checked with an executable probe on that head before any change.
Falsified law. Flush atomicity: after a failed flush, every facade shows its rows from before the flush until the next successful flush. A persisting user transaction on a facade holds its sync commits. The failed flush's insert of a new key is then not in the stored rows, so restore() sent no delete for it. When the transaction settled, the row appeared and published an insert event, before any retry. main has the same restore loop. Updates, deletes and retirement under a hold were already restored.
Why the oracle missed it. The grammar's optimistic rows came from a transaction that stays pending, which does not hold sync commits. Held commits had pinned witnesses only, and the held-commit witness did not check the facade after the transaction settled. The new hold step field holds one shown facade's commits during a flush and settles before the comparison.
RED on c69662d3b: both campaigns fail at step 1 (rollback): rows of b0 (fixed seed) and step 2 (throwNew): rows of b0 (random seed). GREEN after the fix.
| Finding | Verdict | Change |
|---|---|---|
| 1. Rollback misses held sync commits | Confirmed, narrower than stated | The leak is a transient before the retry; a retry writes the key again or deletes it. restore() now also deletes every key the flush wrote. |
| 2. Retirement misses held rows | Refuted on legal histories | The graph retracts every row it sent, including held ones, and those deletes are held in order. A probe of retire under a hold, settled after publish, ends empty. Rows the graph never retracted are finding 7. |
| 3. The code-235 error masks the root error and drops deltas | Accepted | It fires only on an invariant violation, which fails loud by design (AGENTS.md fail-fast). Precise errors for such failures are not required (maintainer decision, 2026-10-09). |
| 4. Abort is not exception-safe | Confirmed | One abort() restores, then discards every deferral in a finally. Pinned witness: a restore whose commit throws, then a later flush publishes. |
| 5. Readiness survives rollback | Confirmed state, low reach | A facade that resolve() created before its bucket activates stays ready and empty after a failed flush. In the builder, only an old previousValue can create such a facade. Open design question. |
| 6. One throwing subscriber stops other facades | Confirmed | publish() publishes every facade, then rethrows the first error. Pinned witness. |
| 7. Leftover synced rows at retirement are retracted silently | Open design question | Already on the maintainer's decision list. |
| 8. Every flush copies the bookkeeping maps | Accepted limit, plus a fix | The per-flush copy is a recorded limit. A flush with no facade changes now returns before it copies anything. Pinned work witness. |
| 9. The abort sequence is duplicated | Confirmed | Merged into abort(), as in finding 4. |
| 10. Restore deletes by visible keys | Confirmed | Under a hold, the delete of the transaction's optimistic key published a layout revision after a failed flush. restore() now reads the stored rows. |
| Mutant | Result |
|---|---|
| Restore ignores the keys the flush wrote | Both campaigns fail |
| abort() without finally | Restore-throws witness fails |
| publish() stops at the first throwing facade | Subscriber witness fails |
| Snapshot on every flush | Work witness fails |
| Restore deletes by visible keys | Both campaigns fail (layout revision after rollback) |
| Restore picks insert or update by visible rows | Survives: no generated history deletes a synced row optimistically |
Limits. One hold per step, settled before the comparison. A hold that stays open across several flushes is not generated.
'%3e%3cpath%20d='M117.436%20207.036V154.604L118.529%20153.51H129.452L130.545%20154.604V207.036L129.452%20208.13H118.529L117.436%20207.036Z'%20fill='%2305BDBA'/%3e%3cpath%20d='M117.436%2053.5225V1.09339L118.529%200H129.452L130.545%201.09339V53.5225L129.452%2054.6159H118.529L117.436%2053.5225Z'%20fill='%2305BDBA'/%3e%3cpath%20d='M69.9539%20169.238H68.4094L60.6869%20161.512V159.967L78.7201%20141.938L86.8976%20141.942L87.9948%20143.031V151.209L69.9539%20169.238Z'%20fill='%2305BDBA'/%3e%3cpath%20d='M69.9462%2038.8917H68.4017L60.6792%2046.6181V48.1626L78.7124%2066.192L86.8899%2066.1882L87.9871%2065.0986V56.9212L69.9462%2038.8917Z'%20fill='%2305BDBA'/%3e%3cpath%20d='M1.09339%2097.5104H75.3711L76.4645%2098.6038V109.526L75.3711%20110.62H1.09339L0%20109.526V98.6038L1.09339%2097.5104Z'%20fill='%2305BDBA'/%3e%3cpath%20d='M440.999%2097.5104H510.91L512.004%2098.6038V109.526L510.91%20110.62H436.633L435.539%20109.526L439.905%2098.6038L440.999%2097.5104Z'%20fill='%2305BDBA'/%3e%3cpath%20d='M212.056%20108.727L210.963%20109.821H177.079L175.986%20110.914C175.986%20113.101%20178.173%20119.657%20186.916%20119.657C190.196%20119.657%20193.472%20118.564%20194.566%20116.377L195.659%20115.284H208.776L209.869%20116.377C208.776%20122.934%20203.313%20132.774%20186.916%20132.774C168.336%20132.774%20159.589%20119.657%20159.589%20104.357C159.589%2089.0576%20168.332%2075.9408%20185.822%2075.9408C203.313%2075.9408%20212.056%2089.0576%20212.056%20104.357V108.731V108.727ZM195.659%2097.7971C195.659%2096.7037%20194.566%2089.0538%20185.822%2089.0538C177.079%2089.0538%20175.986%2096.7037%20175.986%2097.7971L177.079%2098.8905H194.566L195.659%2097.7971Z'%20fill='%23014847'/%3e%3cpath%20d='M242.66%20115.284C242.66%20117.47%20243.753%20118.564%20245.94%20118.564H255.776L256.87%20119.657V130.587L255.776%20131.681H245.94C236.103%20131.681%20227.36%20127.307%20227.36%20115.284V91.2368L226.266%2090.1434H218.617L217.523%2089.05V78.1199L218.617%2077.0265H226.266L227.36%2075.9332V66.0965L228.453%2065.0031H241.57L242.663%2066.0965V75.9332L243.757%2077.0265H255.78L256.874%2078.1199V89.05L255.78%2090.1434H243.757L242.663%2091.2368V115.284H242.66Z'%20fill='%23014847'/%3e%3cpath%20d='M283.1%20131.681H269.983L268.889%20130.587V56.2636L269.983%2055.1702H283.1L284.193%2056.2636V130.587L283.1%20131.681Z'%20fill='%23014847'/%3e%3cpath%20d='M312.61%2068.2871H299.493L298.399%2067.1937V56.2636L299.493%2055.1702H312.61L313.703%2056.2636V67.1937L312.61%2068.2871ZM312.61%20131.681H299.493L298.399%20130.587V78.1237L299.493%2077.0304H312.61L313.703%2078.1237V130.587L312.61%20131.681Z'%20fill='%23014847'/%3e%3cpath%20d='M363.98%2056.2636V67.1937L362.886%2068.2871H353.05C350.863%2068.2871%20349.769%2069.3805%20349.769%2071.5672V75.9408L350.863%2077.0342H361.793L362.886%2078.1276V89.0576L361.793%2090.151H350.863L349.769%2091.2444V130.591L348.676%20131.684H335.559L334.466%20130.591V91.2444L333.372%2090.151H325.723L324.629%2089.0576V78.1276L325.723%2077.0342H333.372L334.466%2075.9408V71.5672C334.466%2059.5438%20343.209%2055.1702%20353.046%2055.1702H362.882L363.976%2056.2636H363.98Z'%20fill='%23014847'/%3e%3cpath%20d='M404.42%20132.774C400.046%20143.704%20395.677%20150.261%20380.373%20150.261H374.906L373.813%20149.167V138.237L374.906%20137.144H380.373C385.836%20137.144%20386.929%20136.05%20388.023%20132.77V131.677L370.536%2089.05V78.1199L371.63%2077.0265H381.466L382.56%2078.1199L395.677%20115.284H396.77L409.887%2078.1199L410.98%2077.0265H420.817L421.91%2078.1199V89.05L404.424%20132.77L404.42%20132.774Z'%20fill='%23014847'/%3e%3cpath%20d='M135.454%20131.681L134.361%20130.587L134.368%2098.9172C134.368%2093.4541%20132.22%2089.2182%20125.625%2089.0806C122.234%2088.9926%20118.354%2089.0729%20114.209%2089.2488L113.59%2089.8834L113.598%20130.587L112.504%20131.681H99.3913L98.2979%20130.587V77.5388L99.3913%2076.4454L128.901%2076.1778C143.685%2076.1778%20149.668%2086.3356%20149.668%2097.8009V130.587L148.575%20131.681H135.454Z'%20fill='%23014847'/%3e%3c/g%3e%3cdefs%3e%3cclipPath%20id='clip0_235_8'%3e%3crect%20width='512'%20height='208.126'%20fill='white'/%3e%3c/clipPath%3e%3c/defs%3e%3c/svg%3e)
'%3e%3cpath%20d='M117.436%20207.036V154.604L118.529%20153.51H129.452L130.545%20154.604V207.036L129.452%20208.13H118.529L117.436%20207.036Z'%20fill='%2332E6E2'/%3e%3cpath%20d='M117.436%2053.5225V1.09339L118.529%200H129.452L130.545%201.09339V53.5225L129.452%2054.6159H118.529L117.436%2053.5225Z'%20fill='%2332E6E2'/%3e%3cpath%20d='M69.9539%20169.238H68.4094L60.6869%20161.512V159.967L78.7201%20141.938L86.8976%20141.942L87.9948%20143.031V151.209L69.9539%20169.238Z'%20fill='%2332E6E2'/%3e%3cpath%20d='M69.9462%2038.8917H68.4017L60.6792%2046.6181V48.1626L78.7124%2066.192L86.8899%2066.1882L87.9871%2065.0986V56.9212L69.9462%2038.8917Z'%20fill='%2332E6E2'/%3e%3cpath%20d='M1.09339%2097.5104H75.3711L76.4645%2098.6038V109.526L75.3711%20110.62H1.09339L0%20109.526V98.6038L1.09339%2097.5104Z'%20fill='%2332E6E2'/%3e%3cpath%20d='M440.999%2097.5104H510.91L512.004%2098.6038V109.526L510.91%20110.62H436.633L435.539%20109.526L439.905%2098.6038L440.999%2097.5104Z'%20fill='%2332E6E2'/%3e%3cpath%20d='M212.056%20108.727L210.963%20109.821H177.079L175.986%20110.914C175.986%20113.101%20178.173%20119.657%20186.916%20119.657C190.196%20119.657%20193.472%20118.564%20194.566%20116.377L195.659%20115.284H208.776L209.869%20116.377C208.776%20122.934%20203.313%20132.774%20186.916%20132.774C168.336%20132.774%20159.589%20119.657%20159.589%20104.357C159.589%2089.0576%20168.332%2075.9408%20185.822%2075.9408C203.313%2075.9408%20212.056%2089.0576%20212.056%20104.357V108.731V108.727ZM195.659%2097.7971C195.659%2096.7037%20194.566%2089.0538%20185.822%2089.0538C177.079%2089.0538%20175.986%2096.7037%20175.986%2097.7971L177.079%2098.8905H194.566L195.659%2097.7971Z'%20fill='white'/%3e%3cpath%20d='M242.66%20115.284C242.66%20117.47%20243.753%20118.564%20245.94%20118.564H255.776L256.87%20119.657V130.587L255.776%20131.681H245.94C236.103%20131.681%20227.36%20127.307%20227.36%20115.284V91.2368L226.266%2090.1434H218.617L217.523%2089.05V78.1199L218.617%2077.0265H226.266L227.36%2075.9332V66.0965L228.453%2065.0031H241.57L242.663%2066.0965V75.9332L243.757%2077.0265H255.78L256.874%2078.1199V89.05L255.78%2090.1434H243.757L242.663%2091.2368V115.284H242.66Z'%20fill='white'/%3e%3cpath%20d='M283.1%20131.681H269.983L268.889%20130.587V56.2636L269.983%2055.1702H283.1L284.193%2056.2636V130.587L283.1%20131.681Z'%20fill='white'/%3e%3cpath%20d='M312.61%2068.2871H299.493L298.399%2067.1937V56.2636L299.493%2055.1702H312.61L313.703%2056.2636V67.1937L312.61%2068.2871ZM312.61%20131.681H299.493L298.399%20130.587V78.1237L299.493%2077.0304H312.61L313.703%2078.1237V130.587L312.61%20131.681Z'%20fill='white'/%3e%3cpath%20d='M363.98%2056.2636V67.1937L362.886%2068.2871H353.05C350.863%2068.2871%20349.769%2069.3805%20349.769%2071.5672V75.9408L350.863%2077.0342H361.793L362.886%2078.1276V89.0576L361.793%2090.151H350.863L349.769%2091.2444V130.591L348.676%20131.684H335.559L334.466%20130.591V91.2444L333.372%2090.151H325.723L324.629%2089.0576V78.1276L325.723%2077.0342H333.372L334.466%2075.9408V71.5672C334.466%2059.5438%20343.209%2055.1702%20353.046%2055.1702H362.882L363.976%2056.2636H363.98Z'%20fill='white'/%3e%3cpath%20d='M404.42%20132.774C400.046%20143.704%20395.677%20150.261%20380.373%20150.261H374.906L373.813%20149.167V138.237L374.906%20137.144H380.373C385.836%20137.144%20386.929%20136.05%20388.023%20132.77V131.677L370.536%2089.05V78.1199L371.63%2077.0265H381.466L382.56%2078.1199L395.677%20115.284H396.77L409.887%2078.1199L410.98%2077.0265H420.817L421.91%2078.1199V89.05L404.424%20132.77L404.42%20132.774Z'%20fill='white'/%3e%3cpath%20d='M135.454%20131.681L134.361%20130.587L134.368%2098.9172C134.368%2093.4541%20132.22%2089.2182%20125.625%2089.0806C122.234%2088.9926%20118.354%2089.0729%20114.209%2089.2488L113.59%2089.8834L113.598%20130.587L112.504%20131.681H99.3913L98.2979%20130.587V77.5388L99.3913%2076.4454L128.901%2076.1778C143.685%2076.1778%20149.668%2086.3356%20149.668%2097.8009V130.587L148.575%20131.681H135.454Z'%20fill='white'/%3e%3c/g%3e%3cdefs%3e%3cclipPath%20id='clip0_235_26'%3e%3crect%20width='512'%20height='208.126'%20fill='white'/%3e%3c/clipPath%3e%3c/defs%3e%3c/svg%3e)
'%3e%3cg%20fill-rule='nonzero'%3e%3cpath%20d='m1099.4%20549.4v-12.5h-21.3l-12.5%2012.5z'%20fill='%23ff8b00'/%3e%3cpath%20d='m1123.4%20518.4h-26.7l-12.6%2012.5h39.3z'%20fill='%2355b2c6'/%3e%3cpath%20d='m1053.2%20561.9%206.4-6.4h21.6v12.5h-28z'%20fill='%23f00'/%3e%3cpath%20d='m1057.9%20543.3h13.8l12.6-12.5h-26.4z'%20fill='%23b4bbbf'/%3e%3cpath%20d='m1042.8%20561.9h10.4l12.4-12.5h-22.8z'%20fill='%23b4bbbf'/%3e%3cpath%20d='m1096.7%20518.4-6.4%206.4h-40.8v-12.5h47.2z'%20fill='%23b4bbbf'/%3e%3cpath%20d='m828.6%20559.7h-19.6l-3.4%208.4h-8.6l18.1-42.4h7.5l18.1%2042.4h-8.7zm-2.7-6.7-7.1-17.3-7.1%2017.3z'%20fill='%23031c4c'/%3e%3cpath%20d='m960.1%20541.3c2.5-3.7%208.8-4.1%2011.4-4.1v7.2c-3.2%200-6.4.1-8.3%201.5s-2.9%203.3-2.9%205.6v16.6h-7.8v-30.9h7.5z'%20fill='%23031c4c'/%3e%3c/g%3e%3cpath%20d='m975.8%20537.2h7.8v30.9h-7.8z'%20fill='%23031c4c'/%3e%3cpath%20d='m975.8%20523.4h7.8v9.2h-7.8z'%20fill='%23031c4c'/%3e%3cpath%20d='m1022.3%20523.4v44.7h-7.5l-.2-4.7c-1.1%201.6-2.5%202.9-4.2%203.9-1.7.9-3.8%201.4-6.2%201.4-2.1%200-4.1-.4-5.8-1.1-1.8-.8-3.4-1.8-4.7-3.2s-2.4-3.1-3.1-5c-.8-1.9-1.1-4.1-1.1-6.5s.4-4.6%201.1-6.6c.8-2%201.8-3.7%203.1-5.1s2.9-2.5%204.7-3.3%203.7-1.2%205.8-1.2c2.4%200%204.4.4%206.1%201.3s3.1%202.1%204.2%203.8v-18.3h7.8zm-16.4%2038.6c2.6%200%204.6-.9%206.2-2.6s2.4-4%202.4-6.8-.8-5-2.4-6.8c-1.6-1.7-3.6-2.6-6.2-2.6-2.5%200-4.6.9-6.1%202.6-1.6%201.7-2.4%204-2.4%206.8s.8%205%202.4%206.7c1.6%201.8%203.6%202.7%206.1%202.7'%20fill='%23031c4c'%20fill-rule='nonzero'/%3e%3cpath%20d='m885.8%20544.2h-19.3v6.7h11c-.3%203.4-1.6%206-3.8%208.1-2.2%202-5%203-8.6%203-2%200-3.9-.4-5.5-1.1-1.7-.7-3.1-1.7-4.3-3.1-1.2-1.3-2.1-2.9-2.8-4.8s-1-3.9-1-6.2.3-4.3%201-6.2c.6-1.9%201.6-3.4%202.8-4.8%201.2-1.3%202.6-2.3%204.3-3.1%201.7-.7%203.5-1.1%205.6-1.1%204.2%200%207.4%201%209.6%203l5.2-5.2c-3.9-3-8.9-4.6-14.8-4.6-3.3%200-6.3.5-9%201.6s-5%202.5-6.9%204.4-3.4%204.2-4.4%206.9-1.5%205.7-1.5%208.9.5%206.2%201.6%208.9%202.5%205%204.4%206.9%204.2%203.4%206.9%204.4c2.7%201.1%205.7%201.6%208.9%201.6s6.1-.5%208.7-1.6%204.8-2.5%206.6-4.4%203.2-4.2%204.2-6.9%201.5-5.7%201.5-8.9v-1.3c-.3-.2-.4-.7-.4-1.1'%20fill='%23031c4c'%20fill-rule='nonzero'/%3e%3cpath%20d='m946.8%20544.2h-19.3v6.7h11c-.3%203.4-1.6%206-3.8%208.1-2.2%202-5%203-8.6%203-2%200-3.9-.4-5.5-1.1-1.7-.7-3.1-1.7-4.3-3.1-1.2-1.3-2.1-2.9-2.8-4.8s-1-3.9-1-6.2.3-4.3%201-6.2c.6-1.9%201.6-3.4%202.8-4.8%201.2-1.3%202.6-2.3%204.3-3.1%201.7-.7%203.5-1.1%205.6-1.1%204.2%200%207.4%201%209.6%203l5.2-5.2c-3.9-3-8.9-4.6-14.8-4.6-3.3%200-6.3.5-9%201.6s-5%202.5-6.9%204.4-3.4%204.2-4.4%206.9-1.5%205.7-1.5%208.9.5%206.2%201.6%208.9%202.5%205%204.4%206.9%204.2%203.4%206.9%204.4c2.7%201.1%205.7%201.6%208.9%201.6s6.1-.5%208.7-1.6%204.8-2.5%206.6-4.4%203.2-4.2%204.2-6.9%201.5-5.7%201.5-8.9v-1.3c-.3-.2-.4-.7-.4-1.1'%20fill='%23031c4c'%20fill-rule='nonzero'/%3e%3c/g%3e%3c/svg%3e)
'%3e%3cg%20fill-rule='nonzero'%3e%3cpath%20d='m1099.4%20549.4v-12.5h-21.3l-12.5%2012.5z'%20fill='%23ff8b00'/%3e%3cpath%20d='m1123.4%20518.4h-26.7l-12.6%2012.5h39.3z'%20fill='%2355b2c6'/%3e%3cpath%20d='m1053.2%20561.9%206.4-6.4h21.6v12.5h-28z'%20fill='%23f00'/%3e%3cpath%20d='m1057.9%20543.3h13.8l12.6-12.5h-26.4z'%20fill='%23b4bbbf'/%3e%3cpath%20d='m1042.8%20561.9h10.4l12.4-12.5h-22.8z'%20fill='%23b4bbbf'/%3e%3cpath%20d='m1096.7%20518.4-6.4%206.4h-40.8v-12.5h47.2z'%20fill='%23b4bbbf'/%3e%3cpath%20d='m828.6%20559.7h-19.6l-3.4%208.4h-8.6l18.1-42.4h7.5l18.1%2042.4h-8.7zm-2.7-6.7-7.1-17.3-7.1%2017.3z'%20fill='%23fff'/%3e%3cpath%20d='m960.1%20541.3c2.5-3.7%208.8-4.1%2011.4-4.1v7.2c-3.2%200-6.4.1-8.3%201.5s-2.9%203.3-2.9%205.6v16.6h-7.8v-30.9h7.5z'%20fill='%23fff'/%3e%3c/g%3e%3cpath%20d='m975.8%20537.2h7.8v30.9h-7.8z'%20fill='%23fff'/%3e%3cpath%20d='m975.8%20523.4h7.8v9.2h-7.8z'%20fill='%23fff'/%3e%3cpath%20d='m1022.3%20523.4v44.7h-7.5l-.2-4.7c-1.1%201.6-2.5%202.9-4.2%203.9-1.7.9-3.8%201.4-6.2%201.4-2.1%200-4.1-.4-5.8-1.1-1.8-.8-3.4-1.8-4.7-3.2s-2.4-3.1-3.1-5c-.8-1.9-1.1-4.1-1.1-6.5s.4-4.6%201.1-6.6c.8-2%201.8-3.7%203.1-5.1s2.9-2.5%204.7-3.3%203.7-1.2%205.8-1.2c2.4%200%204.4.4%206.1%201.3s3.1%202.1%204.2%203.8v-18.3h7.8zm-16.4%2038.6c2.6%200%204.6-.9%206.2-2.6s2.4-4%202.4-6.8-.8-5-2.4-6.8c-1.6-1.7-3.6-2.6-6.2-2.6-2.5%200-4.6.9-6.1%202.6-1.6%201.7-2.4%204-2.4%206.8s.8%205%202.4%206.7c1.6%201.8%203.6%202.7%206.1%202.7'%20fill='%23fff'%20fill-rule='nonzero'/%3e%3cpath%20d='m885.8%20544.2h-19.3v6.7h11c-.3%203.4-1.6%206-3.8%208.1-2.2%202-5%203-8.6%203-2%200-3.9-.4-5.5-1.1-1.7-.7-3.1-1.7-4.3-3.1-1.2-1.3-2.1-2.9-2.8-4.8s-1-3.9-1-6.2.3-4.3%201-6.2c.6-1.9%201.6-3.4%202.8-4.8%201.2-1.3%202.6-2.3%204.3-3.1%201.7-.7%203.5-1.1%205.6-1.1%204.2%200%207.4%201%209.6%203l5.2-5.2c-3.9-3-8.9-4.6-14.8-4.6-3.3%200-6.3.5-9%201.6s-5%202.5-6.9%204.4-3.4%204.2-4.4%206.9-1.5%205.7-1.5%208.9.5%206.2%201.6%208.9%202.5%205%204.4%206.9%204.2%203.4%206.9%204.4c2.7%201.1%205.7%201.6%208.9%201.6s6.1-.5%208.7-1.6%204.8-2.5%206.6-4.4%203.2-4.2%204.2-6.9%201.5-5.7%201.5-8.9v-1.3c-.3-.2-.4-.7-.4-1.1'%20fill='%23fff'%20fill-rule='nonzero'/%3e%3cpath%20d='m946.8%20544.2h-19.3v6.7h11c-.3%203.4-1.6%206-3.8%208.1-2.2%202-5%203-8.6%203-2%200-3.9-.4-5.5-1.1-1.7-.7-3.1-1.7-4.3-3.1-1.2-1.3-2.1-2.9-2.8-4.8s-1-3.9-1-6.2.3-4.3%201-6.2c.6-1.9%201.6-3.4%202.8-4.8%201.2-1.3%202.6-2.3%204.3-3.1%201.7-.7%203.5-1.1%205.6-1.1%204.2%200%207.4%201%209.6%203l5.2-5.2c-3.9-3-8.9-4.6-14.8-4.6-3.3%200-6.3.5-9%201.6s-5%202.5-6.9%204.4-3.4%204.2-4.4%206.9-1.5%205.7-1.5%208.9.5%206.2%201.6%208.9%202.5%205%204.4%206.9%204.2%203.4%206.9%204.4c2.7%201.1%205.7%201.6%208.9%201.6s6.1-.5%208.7-1.6%204.8-2.5%206.6-4.4%203.2-4.2%204.2-6.9%201.5-5.7%201.5-8.9v-1.3c-.3-.2-.4-.7-.4-1.1'%20fill='%23fff'%20fill-rule='nonzero'/%3e%3c/g%3e%3c/svg%3e)
'%3e%3cpath%20d='M255.264%2025.3765H279.579L297.086%2097.519C300.332%20111.135%20300.976%20119.244%20300.976%20119.244H301.304C301.304%20119.244%20302.435%20111.306%20305.681%2097.519L322.373%2025.3765H349.934L367.599%2097.519C371.003%20111.622%20371.818%20119.244%20371.818%20119.244H372.304C372.304%20119.244%20372.632%20111.622%20375.866%2097.519L392.729%2025.3765H417.043L386.249%20143.717H359.174L340.536%2072.0612C336.646%2056.4997%20336.318%2049.5334%20336.318%2049.5334H335.99C335.99%2049.5334%20335.661%2056.4997%20332.099%2072.0612L314.592%20143.717H286.715L255.264%2025.3765Z'%20fill='white'/%3e%3cpath%20d='M412.984%20100.726C412.984%2073.6509%20430.491%2056.1442%20456.921%2056.1442C483.181%2056.1442%20500.688%2073.6509%20500.688%20100.726C500.688%20127.958%20483.181%20145.635%20456.921%20145.635C430.503%20145.623%20412.984%20127.958%20412.984%20100.726ZM477.99%20100.726C477.99%2083.2189%20469.565%2073.3227%20456.921%2073.3227C443.305%2073.3227%20435.682%2084.3495%20435.682%20100.726C435.682%20118.561%20444.107%20128.445%20456.921%20128.445C470.537%20128.445%20477.99%20117.418%20477.99%20100.726Z'%20fill='white'/%3e%3cpath%20d='M511.545%2057.4711H533.101V73.3609H533.587C537.319%2065.0938%20546.231%2056.8267%20561.464%2056.8267C564.054%2056.8267%20565.683%2057.155%20566.813%2057.4711V79.0263H566.169C566.169%2079.0263%20564.224%2078.3819%20558.875%2078.3819C542.182%2078.3819%20533.101%2088.266%20533.101%20106.745V143.704H511.545V57.4711Z'%20fill='white'/%3e%3cpath%20d='M576.868%2025.3765H598.423V63.3079C598.423%2085.6776%20598.095%2089.7261%20598.095%2089.7261H598.423L630.519%2057.4723H657.424L619.833%2094.7592L663.442%20143.717H637.984L606.532%20108.047L598.423%20115.986V143.705H576.868V25.3765Z'%20fill='white'/%3e%3cpath%20d='M663.757%2084.9796C663.757%2048.5072%20686.455%2024.1923%20720.496%2024.1923C754.537%2024.1923%20777.235%2048.5072%20777.235%2084.9796C777.235%20121.452%20754.537%20145.767%20720.496%20145.767C686.455%20145.767%20663.757%20121.452%20663.757%2084.9796ZM753.722%2084.9796C753.722%2060.1784%20740.434%2043.474%20720.483%2043.474C700.533%2043.474%20687.257%2060.1784%20687.257%2084.9796C687.257%20109.781%20700.545%20126.485%20720.483%20126.485C740.422%20126.485%20753.722%20109.781%20753.722%2084.9796Z'%20fill='white'/%3e%3cpath%20d='M785.488%20104.326H810.131C810.131%20118.271%20819.699%20126.052%20834.288%20126.052C846.603%20126.052%20855.041%20119.888%20855.041%20111.135C855.041%20101.25%20848.561%2098.6488%20827.966%2094.6003C809.158%2090.868%20789.22%2084.5461%20789.22%2059.9029C789.22%2039.3203%20806.727%2023.7587%20833.473%2023.7587C861.35%2023.7587%20878.541%2038.3477%20878.541%2060.3892H853.898C853.898%2049.6906%20845.631%2043.0405%20833.473%2043.0405C821.158%2043.0405%20813.535%2049.0341%20813.535%2057.7875C813.535%2067.0272%20818.884%2070.5893%20835.419%2073.9934C859.892%2079.1847%20880%2081.9323%20880%20109.165C880%20130.745%20861.192%20145.333%20833.473%20145.333C805.268%20145.333%20785.488%20128.957%20785.488%20104.326Z'%20fill='white'/%3e%3cpath%20d='M0%2084.0003C0%2087.6782%200.967855%2091.356%202.83904%2094.5177L36.7785%20153.299C40.2628%20159.299%2045.5537%20164.203%2052.1351%20166.397C65.1044%20170.72%2078.5253%20165.171%2084.9131%20154.073L93.1076%20139.878L60.7813%2084.0003L94.9143%2024.8321L103.109%2010.6369C105.561%206.37836%20108.851%202.89408%20112.723%200.119568H109.174H60.0715C50.8446%200.119568%2042.3275%205.02337%2037.7463%2013.0243L2.83904%2073.483C0.967855%2076.6446%200%2080.3225%200%2084.0003Z'%20fill='white'/%3e%3cpath%20d='M193.571%2083.9997C193.571%2080.3219%20192.603%2076.644%20190.732%2073.4824L156.341%2013.9271C149.953%202.89352%20136.532%20-2.65551%20123.563%201.60305C116.982%203.79685%20111.691%208.70065%20108.206%2014.7013L100.464%2028.0577L132.79%2083.9997L98.6569%20143.168L90.4624%20157.363C88.0105%20161.557%2084.7198%20165.106%2080.8484%20167.88H84.3972H133.5C142.727%20167.88%20151.244%20162.977%20155.825%20154.976L190.732%2094.5171C192.603%2091.3554%20193.571%2087.6776%20193.571%2083.9997Z'%20fill='white'/%3e%3c/g%3e%3cdefs%3e%3cclipPath%20id='clip0_1647_45'%3e%3crect%20width='880'%20height='168'%20fill='white'/%3e%3c/clipPath%3e%3c/defs%3e%3c/svg%3e)
'/%3e%3c/svg%3e)
'/%3e%3c/svg%3e)
