Content temporarily unavailable
Persisted option type preservation: PR #2259
Reviewed PR head: e3e8a9b5bce0a99d889b73f6eb7578b6d7ef3769. Original defective parent: d2935d0fcac164163adc231c6a796b8a4c234d9b. This self-audit covers the oracle migration built on that head. Production persisted.ts is unchanged from the reviewed PR after all temporary mutants. Optional raw logs remain in local scratch storage. This versioned record and the calibration command below preserve the verdict-critical reproduction steps.
The initial migration record below precedes the prep-pr follow-up at the end. That follow-up supersedes its owner hash, construction counts, and scoped readiness assessment while preserving the earlier experiments.
The migrated executable owner has SHA-256 c164515bf9705864bd5f0b27dc6e7769d1f7214cfba8158130fb12b36c04c9a0. The replay registry has SHA-256 53837b427c149964cd6dda52c7f87d71de57626790c48012527d1d2028f90889. These identify the historical initial instrument. Later sections explicitly supersede them. They are not hashes of the current owner.
Law, experiment, and inference
The SQLite guide's Add persistence to a synced Collection example composes adapter options with persistedCollectionOptions and createCollection. The public createCollection contract assigns schema input to insert, schema output to reads, and the configured key and user utilities to callers. Wrapping must preserve those roles, including when the caller has no schema. The existing public persistence option types also require a present sync property to contain a SyncConfig.
| Existing evidence | Decisive experiment | Inference and repair |
|---|---|---|
| Eight fixed core configurations and two browser configurations checked broad string/number keys. | Change only the schema-free result key types to TKey extends string ? string : number. All eight original core tests and both original browser tests pass. | Their expected answers do not generalize key preservation. Generate key domains and compare exact public key types with the independent input model. |
| Browser tests restated their expected types. | Run browser source exports and real Query Collection options through the same generated law as core. The parent implementation fails with TS2769 at createCollection; the PR implementation passes. | A receiving driver can share the model and comparison. Separate browser expectations are unnecessary. |
| Schema-free results must retain their row/key/utility contract without damaging schema-bearing options. | Restore either original overload, erase utilities, or return never from both schema-bearing overload results. Each mutant fails the generated comparison. | The repair must preserve both persistence modes and the neighboring schema-input/output law. |
The primary executable owner is now persisted-options-type-oracle.ts. Its generated TypeScript model declares input/output rows, keys, and utility signatures without importing production inference helpers. Its comparison checks exact insert input, exact get parameters, the optional non-null read result, the complete documented published-row shape, absence of any reads, and supplied utility signatures. Generated invalid row, key, utility, and sync expressions must remain compiler errors. The real Query Collection driver additionally checks exact utility namespace preservation before/after wrapping and exercises its write/refetch signatures.
Each generated shape crosses 24 related construction forms: two persistence modes, schema-free/transforming schema, typed-spread/inline arguments, and inferred/partial/full explicit arguments. Browser adds the actual Query Collection path. Partial explicit arguments select TypeScript's utility default; they do not promise inference for unspecified later type parameters. The original string, numeric, and browser row shapes survive as replay data through the same checker, without separate expected answers.
Evidence block
- Law: The source-level composition law above, from the SQLite guide and public createCollection/persistence option contracts.
- Reach: Each receiver runs 12 generated histories with seed 2259 and 12 with a fresh seed. In both campaigns, each of schema-free-local, schema-free-synced, schema-input-output, typed-spread, inferred-arguments, explicit-arguments, and row-key-arguments reaches 12 histories. Browser's query-adapter also reaches 12 in each campaign. Counts derive from the construction paths actually compiled and compared. The three fixed replay inputs do not contribute to generated reach.
- RED: With the exact parent persisted.ts temporarily restored, both receivers fail their first generated history with TS2769 at the public createCollection(persistedCollectionOptions(...)) call. The fixed-campaign command is ../../node_modules/.bin/vitest run --coverage.enabled=false --typecheck.enabled=false tests/persisted-options.test.ts -t fixed, run from each receiving package. Source restoration uses finally.
- GREEN: With PR production restored, both fixed and fresh-seed campaigns pass through core and browser. There are 48 generated histories and 1,176 consumer constructions across these four campaigns, plus shared replays. Core's nine surrounding persisted.test-d.ts tests also pass. The runner and shared harness typecheck in both packages without source errors.
- Mutants: All outcomes below are compiler comparison failures, not timeouts or setup failures. All eleven receiving-path checks were replayed again against the final generator after restoring its original names.
- Limits: This is source execution with TypeScript 5.9.3, Vitest 3.2.4, and fast-check 3.23.2. It establishes no runtime parsing, I/O, publication, generated declaration, npm resolution, other host re-export, or compiler version claim. The grammar has 1–4 non-key fields, scalar/nullable/array/ nested field types, six key domains, field optionality, and scalar utility signatures. Domain values are sampled; there is no claim that every key domain or every input appears in each fresh campaign. There is no known counterexample in the declared grammar. The coverage-map entry retains the owner and these limits for future extension.
| Hostile implementation | Receiving path | Rejection |
|---|---|---|
| Exact defective parent, both schema-free results retain TSchema | Core and browser | TS2769; seed 2259, path 0:0:0:0:0:0:0:0:0 |
| Restore only the synced schema-free result | Core | TS2769 at the synced construction |
| Restore only the local schema-free result | Core | TS2769 at the local construction |
| Widen literal/branded keys to broad string/number | Core | TS2344 at exact key equality; seed 2259, path 3:1:1:1:1:1:1; reduced key is "alpha" | "beta" |
| Erase schema-free user utilities to UtilsRecord | Core | TS2344 at utility equality and unused negative utility directive |
| Apply never to schema-bearing result types too | Core | TS2344 and unused negative schema-input directives |
| Remove undefined from the public getter result and assert the implementation return non-null | Core | TS2344 at optional read-result equality |
| Add a required leaked field to the public getter result | Core | TS2344 at complete published-row type equality |
| Add an overload that admits a present sync: undefined | Core and browser | Unused negative sync directives (TS2578); persistence is supplied so the error cannot arise from a missing adapter |
The original ten fixed tests pass the widened-key mutant. This is an executed false-green witness, not an inference from the file's name. The other mutants reject at the reduced path 0:0:0:0:0:0:0:0:0 as well.
Direct replay was verified against the parent: exactly one history ran, with the captured seed and complete shrink path, and failed without further shrinking. The same replay passed after restoration of PR production. The shared replay witness recorded numRuns: 1, failed: true for the parent and failed: false for the repair. To reproduce the repaired replay:
# From packages/db-sqlite-persistence-core
TANSTACK_DB_ORACLE_SEED=2259 \
TANSTACK_DB_ORACLE_PATH=0:0:0:0:0:0:0:0:0 \
TANSTACK_DB_ORACLE_PROPERTY=persisted-options.types.core \
pnpm exec vitest run --typecheck.enabled=false --coverage.enabled=false tests/persisted-options.test.tsNormal verification from the respective package directories:
# Core: campaigns, harness typecheck, and surrounding persistence type contracts.
pnpm exec vitest run --coverage.enabled=false tests/persisted-options.test.ts tests/persisted.test-d.ts
# Browser: campaigns; the next command separately checks the harness types.
pnpm exec vitest run --typecheck.enabled=false --coverage.enabled=false tests/persisted-options.test.ts
pnpm exec vitest run --typecheck.only --coverage.enabled=false tests/persisted-options.test.tsLocal commands invoked the same Vitest executable directly, with workspace node_modules/.bin first on PATH. The configured registry returned 403 and the public fallback returned 503 during installation; existing installed external dependencies were reused without changing the lockfile. Explicit compiler aliases target this checkout's production sources. Early failures from jsdom import URLs, missing worker/schema declarations, and an accidentally selected global TypeScript 7 compiler were setup failures and supply no RED evidence. Final compiler runs retain all diagnostics rather than suppressing source errors. ESLint, formatting, pnpm lint:changed, and git diff --check also pass.
Requirement audit
| Requirement | Outcome |
|---|---|
| ORC-001 | Authority, source-level observation, finite grammar, and receiving limits are stated above and beside the model. |
| ORC-002 | Expected rows/keys/user utilities are independently declared; the published virtual shape comes from the public WithVirtualProps/VirtualRowProps documentation. No production schema inference or virtual-row helper computes expectations. PublicShape flattens type intersections while retaining every key, readonly/optional modifier, and undefined. The Query utility relation trusts the unchanged adapter contract. |
| ORC-003 | Contract, grammar, independent row model, construction drivers, and compiler comparison have adjacent prose in the owner. |
| ORC-004 | Reconstruction: replay shapes preserve the original row/key/utility cases. Ablation: typed spreads and inferred arguments expose the parent; mode variants reject single-overload repairs; key domains reject widening; schema neighbors reject blanket-never; utility signatures reject erasure. Range: 1–4 non-key fields, six keys, optional/nullable/array/nested fields, scalar utility signatures. Exclusion: duplicate names cannot be generated; boolean/symbol keys are outside the legal domains. |
| ORC-005 | Real source entries feed the compiler. Diagnostics and exact type constraints observe the public call boundary. The original and mutant diagnostics positively identify those paths. There is no runtime information-delivery claim. |
| ORC-006 | Original implementation and eight additional wrong designs reject at the intended compiler comparison; the legacy-suite survivor demonstrates the missing distinction. |
| ORC-007 | Fixed/fresh campaigns share one grammar, comparison, and budget. Seed/path/property replay runs directly, and the shared reporter records one failed/passing replay. No command-model replay path applies. |
| ORC-008 | Not applicable: the reference computes static type shapes and introduces no stateful runtime abstraction. |
| ORC-009 | A history here is a model-only declaration/construction/compilation sequence, explicitly mapped to the source boundary. It is not a Collection sync run. |
| ORC-010 | Full compiler diagnostics retain the violated type constraint and source expression. Fast-check preserves the generated/shrunk shape and path. Generated consumers live in memory; temporary mutation experiments restore source in finally. |
| ORC-011 | No additional shared-semantic-fault hypothesis was identified for the independent shape model. The Query driver's before/after utility relation is supplemental; it does not independently specify Query Collection internals. |
| ORC-012 | This record identifies the reviewed head, scope, experiments, dispositions, and applicable/non-applicable requirements. No universal bug-class proof is claimed. |
| ORC-013 | Typed/untyped and schema-free/schema-bearing neighbors distinguish omission of the schema premise from blanket schema erasure. Exact broad/literal key cases reject widening. |
| ORC-014 | The browser public source export and actual Query adapter are receiving drivers of the shared law. No SQLite/provider/runtime-host premise is transferred by this source-only claim. |
| ORC-015 | Shared createOracleReach counters require every declared path to appear, count histories once, and report the measured counts above. Fixed replay data does not inflate them. |
| ORC-016 | No standalone unit/type examples remain in this owner. Fixed cases are model input data; both receiving runners register the same generated law. Negative type checks are emitted by the reusable comparison from each shape. |
Lossless finding ledger and reviewer assessment
The raw sources are the preceding assistant review, the user's correction, and CodeRabbit's PR comment. The GitHub review and inline-comment lists were empty at capture. There were no additional capped findings or footnotes.
| ID | Claim | Technical verdict and evidence | PR action | Durable value/destination |
|---|---|---|---|---|
| R1 | The PR does not edit its oracle. | Refuted literally: the original diff edits the coverage-map owner. This does not answer R2. | refuted; no separate code change. | Preserve the distinction between editing an owner and enforcing a reusable law. |
| R2 | Fixed assertions do not provide a generated type-preservation oracle; ban unit tests in oracle files. | Confirmed by the widened-key mutant passing all original tests. | fixed-now: generated owner, shared replay inputs, reach/replay/calibration; AGENTS, authoring skill, and ORC-016 prohibit standalone unit tests in oracle files. | Primary owner and this evidence record. |
| R3 | Browser checks repeat separate fixed expectations. | Confirmed by source inspection and the same legacy-suite survivor. | fixed-now: browser/Query receiving paths use the identical model/checker. | Receiving runner and primary owner. |
| R4 | CodeRabbit reports no actionable issue and says the fix is ready for normal merge checks. | Refuted as an oracle-sufficiency assessment: it missed R2/R3 and the executed false green. This does not establish a new defect in the PR's two-line production fix. | refuted; repair the actual coverage gap. | Keep whole-PR readiness separate from a green fixture matrix. |
| R5 | CodeRabbit's 0% docstring warning requires missing docstrings. | Refuted as an actionable documentation defect: changed public overload return types retain the same API; the warning identifies no incorrect/missing public contract. Its metric itself was not reimplemented. | refuted; no metric-driven docstrings. | The executable owner now explains the law and limits; retain useful prose rather than chasing the percentage. |
CodeRabbit's overload summary was technically accurate. Its oracle analysis had low depth and prioritized a documentation metric over a real enforcement gap. The preceding assistant review located the right owner and distinguished compile-time from runtime coverage, but was too generous in treating fixed expected shapes as sufficient independent oracle judgment. The surviving mutant corrects that assessment. This is a self-audit, not an independent external review.
Loss audit: 5 raw items = 2 fixed-now + 3 refuted. No confirmed-open, deferred, duplicate, stale, or unresolved design-decision items remain in this scoped migration. The unit-test prohibition is an explicit review requirement; the existing syntactic lint rules cannot prove semantic model independence.
Whole-PR readiness: not assessed. The focused instrument and type contract checks pass; full runtime CI, published package resolution, and integration outside the named source receiving paths were not rerun or claimed.
Prep-pr follow-up: contextual schema inference
Reviewed production remains e3e8a9b5bce0a99d889b73f6eb7578b6d7ef3769. The final executable owner has SHA-256 5fa47aeaec4790188ee46194e687ca269c507d47d97555d475edc219d45dabf4. The replay registry is unchanged from the initial migration above.
The independent prep-pr reviewer found one P2 gap: all generated core getKey callbacks annotated their row as Output. The deleted schema examples used an inline unannotated callback. A spread of an annotated callback cannot test whether the schema context supplies the output row.
An in-memory compiler-host mutant changed only the two schema-bearing input overloads to accept getKey: (row: any) => TKey. The baseline accepted both construction paths. The mutant passed the annotated path and the entire initial fixed core campaign, including its replays and all declared reaches. The original unannotated path rejected it: an invalid numeric key became accepted, producing TS2578 for the unused negative directive. This is an executed false-green witness for the migration, not a production defect on the repaired PR.
The repair adds six generated contextual schema forms: local/synced crossed with inferred/partial/full explicit arguments. They put the unannotated callback directly inside the wrapper argument. The callback's public row parameter must equal the independently declared schema output. All 24 annotated forms remain. Core therefore compiles 30 forms per shape; browser compiles the same 30 plus its actual Query Collection receiving path. Fixed regressions remain inputs to that same model, driver, and comparison.
- Law: The public schema-output contract also supplies the contextual getKey row. It must preserve the inferred key. Authority is the schema overload's documented output-row role and the original schema composition examples, rather than the mutant's behavior.
- Reach: schema-contextual-key reaches 12 generated histories in each fixed and fresh campaign on both receivers. Every prior declared state also reaches 12. Across four campaigns, 48 generated histories compile 1,464 constructions, plus shared regressions excluded from generated reach.
- RED: The initial fixed core campaign survives the contextual-row mutant. The expanded comparison rejects it with TS2344 at CallbackInput, with additional inferred-key/result mismatches. Direct replay uses seed 2259, path 0:0:0:0:0:0:0:0:0, and the appropriate receiver property.
- GREEN: The expanded core and browser campaigns and harness typechecks pass. Core also passes all nine neighboring persistence type tests. The commands retain the initial verification selectors and limit Vitest to two CPUs.
- Mutant: The same compiler-host overlay supplies the wrong contextual type to the unchanged expanded comparison. Both core and browser reject it at the callback parameter equality. The nine earlier wrong designs were also replayed against the expanded owner: all eleven receiving checks still reject at their compiler comparisons. In total, ten wrong designs reject across thirteen receiving checks. Production on disk remains the PR's two-overload correction after temporary calibration experiments.
- Limits: The initial source-only and compiler-version limits still apply. This adds no runtime, built-declaration, or package-resolution claim.
ORC-004 reconstruction now includes the original contextual schema path. Its ablation is decisive: removing the six contextual cells lets this mutant pass. ORC-005 observes the callback parameter at compilation as well as the resulting Collection. ORC-006 rejects the previously surviving wrong design. ORC-015 declares and measures the added path. The other ORC outcomes above retain their scope, with the expanded counts and owner hash stated here.
Finding ledger: one raw prep-pr finding = one repaired coverage regression. The simplifier made no changes and proposed no additional suggestions. Technical reviewer assessment: the reviewer identified a lost public path and proved its significance with a full-campaign survivor and a distinguishing old-path failure. Root independently reran the four-way probe and inspected the full-campaign overlay and diagnostics. The reviewer then inspected the expanded owner and confirmed the repair, retained paths, and declared reach, with no additional supported findings.
The bundle-size comparison could not build the cached baseline because that worktree lacks Vitest/TypeScript dependencies. A separate TypeScript 5.9.3 transpile comparison emits identical JavaScript for the parent and repaired persisted.ts. This is emit evidence, not a completed bundle measurement.
External review follow-up at 4ea6b7663
The supplied review read PR head 4ea6b76634ef3b16ec8461fb29bb4aebb51819da without running its tests. This follow-up evaluates all ten items and repairs confirmed oracle gaps. Production remains the original two schema-free result corrections; no new production defect was demonstrated. This section supersedes earlier descriptions of the current grammar, Query expectation, diagnostics, counts, and replay path. The follow-up owner SHA-256 is 8f206d9195231239989e2a2c3370fd4abaf4fe4bab32717689c0b5e04834905c. The containing Git commit identifies the complete follow-up tree. Historical hashes above describe earlier experiments, rather than a mutable current file.
Law, experiment, inference, and enforcement
| Law and authority | Experiment and inference | Final enforcement and limits |
|---|---|---|
| Public persistence utilities retain required/optional signatures, alongside caller utilities. Authority: PersistedCollectionUtils API and SQLite guide. | Removing the local result intersection passes the reviewed full campaign. The expanded comparison rejects TS2344 at LocalCapabilities. | Independent signatures observe acceptMutations, optional getLeadershipState and optional forceReloadSubset. PendingMutation/LoadSubsetOptions are trusted domain carriers, not expected-result helpers. |
| Documented persistence options and contextual callbacks remain usable across schema/sync configurations. Authority: SQLite guide and public SyncConfig/option contracts. | Old grammar omits those options and uses no-argument sync functions. Widening schemaVersion, initialRender strategy, syncMode or contextual sync input now rejects TS2344. | Twelve extra configurations per shape cross schema and sync modes with eager/on-demand/network-first. Network-first is eager. Generated schemaVersion is 1–100 and timeout is 0–10000. This checks types, not runtime option validation. |
| Query composition preserves its documented closed capabilities. Authority: QueryCollectionUtils public reference and the guide's adapter composition. | isLoading:any survives the reviewed full browser campaign. The independent model rejects it, widened refetch options, and an extra optional adapter capability. | Generated row/key write signatures plus exact state fields and refetch parameters. Non-any Promise-array envelope is independent; supplemental before/after equality preserves the full return payload. No independent QueryObserverResult payload semantics are claimed. |
| A fresh sync:undefined argument must fail for sync admission, rather than collateral corruption. | Undefined-sync admission alone already failed the old directive. Adding unrelated getKey:42 to the negative expressions masks it and passes the old full campaign. New paired observations reject that compound corruption. | Unsuppressed TS2769 must point at the exact fresh sync property. The legal neighbor changes only sync and must compile. Every other diagnostic remains fatal. Structural extra properties carried through variables have different TypeScript freshness semantics and are not this rejection claim. |
| Run budget, receiving configuration and diagnostic fidelity must remain effective. | Multiplier10 originally registers 120 runs but 120000ms. Revised registration gives 1200000ms. Source-only TS2322 and declaration-only TS4094 controls reject. | Receiver tsconfig, one compiler per receiver across campaigns, dependency caching, all original diagnostic classes, and event-loop yields between generated histories. No generated-file-only diagnostic filtering. |
Lossless finding ledger
| ID | Supplied claim | Technical verdict / evidence | PR action | Durable value |
|---|---|---|---|---|
| E1 | Local-added utilities are unchecked; removing their result intersection survives. | Confirmed by full reviewed-campaign survivor and new TS2344 rejection. | fixed-now: independent LocalCapabilities comparison. | Primary owner and local-utils recipe. |
| E2 | Deleted schemaVersion/markReady examples lost coverage; initialRender/syncMode absent. | Confirmed grammar omissions. No new runtime defect claimed. | fixed-now: generated legal options, exact declared option law, contextual readiness signature and reaches. | Primary grammar; four option/callback mutants. |
| E3 | Unused schema generic silently drops a schema; using never in inputs fixes it. | Refuted as stated. Eighteen compiler probes show current and proposed inputs both accept no-value phantom generic, reject an actual schema value (TS2769), and retain correct schema-input composition. Suggested change has no effect. | refuted: no production edit. | Two phantom-generic paths preserve useful normalization coverage. |
| E4 | Whole-program work repeats; timeout ignores multiplier; check only generated file and share compiler. | Timeout confirmed. Repeated dependency checking is avoidable. Generated-only diagnostics would hide source errors. | fixed-now: semantic builder shared across campaigns, scaled timeout, retained source/declaration diagnostics. | Deterministic affected-file telemetry and budget/source controls. |
| E5 | Fixed refetch/nonexistent-method examples violate law-only policy. | Confirmed standalone concrete expressions in Query driver. | fixed-now: reusable closed capability model replaces them. | Model parameterized by generated rows/keys, not fixed call examples. |
| E6 | Expected Query utils derive from production; shared erasure can pass. | Independent judgment gap confirmed by isLoading:any survivor. Whole-namespace any was overstated: old negative writes already detect some erasure. | fixed-now: independent model plus supplemental transparency relation. | State, namespace and refetch corruption controls. |
| E7 | Named campaigns omit runners; tests can only get 12 runs. | Registration omission confirmed. Hardcoded 12 claim refuted: multiplier 3 helper experiment executes 36 fixed and 36 random checks; normal package test globs already include runners. | fixed-now: package/root test:oracles registration. | Distinguish selection, count, reach and completion. |
| E8 | Browser uses core tsconfig, invalidating browser witness. | Config selection confirmed; current semantic compiler settings match. Both configs compile the same consumer and resolve the same browser/Query source modules. | fixed-now: select receiving package config to prevent drift. | Preserve accurate source-only browser scope. |
| E9 | Any unrelated error can satisfy bare sync directive. | Checker fragility confirmed with the two-factor control above; original admission-only mutant was already detected. | fixed-now: exact unsuppressed property diagnostic and legal same-candidate neighbor. | Reusable admission observation rejects collateral corruption. |
| E10 | Audit depends on inaccessible scratch, mutable hashes, personnel verdicts. | Mixed: versioned record already contains authority, commands, outcomes and limits, and historical hashes match. Exact overlay recipes and stale wording needed improvement. | fixed-now: versioned runnable calibration command, historical-hash clarification, technical-only reviewer assessment. | Others can reproduce decisive results without prior scratch files. |
Loss audit: 10 supplied items = 9 fixed-now + 1 refuted. No raw item, footnote, or suggested fix was dropped. Proposed remedies rejected as ineffective or unsafe remain recorded in their original item. No deferrals or unresolved product decisions remain in this scoped evaluation.
The review had high signal for missing observations and grammar dimensions, and clearly disclosed that its findings were unexecuted. Its weaker points were the ineffective input-never proposal, generated-only diagnostics suggestion, and overstatements about multiplier use, compiler settings, and missing evidence. Execution supports the oracle repairs, not a newly discovered production bug. Personnel recommendations remain in the local review ledger.
Reproducible calibration
From the repository root, with the workspace dependencies installed:
# Unmodified current fixed campaign: must succeed.
node scripts/calibrate-persisted-option-types.mjs none
# Reviewed full campaigns: both accept these wrong implementations.
node scripts/calibrate-persisted-option-types.mjs local-utils 4ea6b7663
node scripts/calibrate-persisted-option-types.mjs query-status 4ea6b7663
node scripts/calibrate-persisted-option-types.mjs collateral-sync 4ea6b7663
# Current owner rejects each at the named comparison.
node scripts/calibrate-persisted-option-types.mjs local-utils
node scripts/calibrate-persisted-option-types.mjs query-status
node scripts/calibrate-persisted-option-types.mjs collateral-sync
# Exact original production, without touching source files on disk: rejects TS2769.
node scripts/calibrate-persisted-option-types.mjs parent
ORACLE_RECEIVER=browser node scripts/calibrate-persisted-option-types.mjs parent
# Retained source and declaration diagnostic fidelity: reject TS2322 / TS4094.
node scripts/calibrate-persisted-option-types.mjs source-error
node scripts/calibrate-persisted-option-types.mjs declaration-error
# Budget must report 120 runs and two 1200000ms registrations.
ORACLE_REGISTRATION_ONLY=1 TANSTACK_DB_ORACLE_RUNS_MULTIPLIER=10 node scripts/calibrate-persisted-option-types.mjs none
# Observe builder invalidation and worker progress through both campaigns.
ORACLE_COMPILER_WORK=1 ORACLE_ALL_CAMPAIGNS=1 node scripts/calibrate-persisted-option-types.mjs noneCalibration failures intentionally exit nonzero. Classify the reported compiler constraint or missing exact admission rejection, rather than treating any nonzero exit as a killed mutant. The script creates disposable files under .context from versioned sources; it needs no existing scratch evidence and never mutates production on disk. Its optional second argument pins only the historical owner; production starts from the current checkout unless the selected overlay replaces it. To reproduce the precise historical whole tree, run the command from a checkout of the reviewed commit with this calibration script available.
The command also supports sync-regression, local-regression, widened-key, erased-utils, blanket-never, contextual-key, missing-undefined, extra-read-field, undefined-sync, query-refetch, query-namespace, schema-version, initial-render, sync-mode and contextual-sync. The widened-key control requires normal generated sampling; the other observed controls reject at seed 2259 and reduced path 0:0:0:0:0:0:0:0:0:0:0. The property and replay interface are the same as the normal receiver runners. Explicit replay starts at the requested generated path and bypasses normal campaigns and fixed examples. Fast-check 3.23 can also visit remaining sibling shrinks after a passing colon-path replay, despite numRuns: 1; a calibrated repaired replay visited 14 histories. Failing minimal replays stop after the first rejected history. No single-history claim is made for successful replays.
Follow-up evidence and requirement audit
- Law: The original composition law remains, with independent capability, option and contextual-callback observations from the public references above.
- Reach: Each core campaign compiles 44 constructions per shape; browser compiles 45. Across four 12-history campaigns this is 2136 generated constructions, plus 534 fixed-replay constructions outside generated reach. Every prior state and each new local-capabilities, configured-options, on-demand-options, network-first-options, contextual-sync and phantom-schema-argument state reaches 12 histories per campaign; query-adapter reaches 12 on browser.
- RED / mutants: Original production still fails at public composition. Local utility removal, Query state widening and collateral-error masking are demonstrated false greens on the reviewed owner and reject on the expanded owner. Twenty-one original/hostile/collateral controls reject, including source and declaration-only controls. Outcomes are compiler comparison failures or the exact missing-admission observation, not timeouts or setup failures.
- GREEN: Both receiver campaigns and neighboring core type contracts pass on unchanged PR production (11 core tests and two browser campaigns, no type errors). Both named package commands also pass at multiplier 2, with 24 histories per declared state in each campaign. Browser's command filters to the changed type property; its 99 older runtime tests are not rerun by that check. Semantic affected-file instrumentation records 290 files for the first core history and 1 for every later history across both campaigns. Declaration diagnostics are still collected separately, so this count does not claim all compiler work is eliminated. The worker heartbeat advances 24 times across the 24 generated histories. Formatting, ESLint, lint:changed and diff checks pass.
- Limits: Source compilation with TS 5.9.3 / Vitest 3.2.4 / fast-check 3.23.2 and the stated finite grammar. No runtime, package/declaration publication, or other host/compiler-version claim. Declaration diagnostics are retained for source fidelity, not proof of emitted artifact consumption.
The independent follow-up challenge found sibling S1: the initial builder rewrite omitted declaration diagnostics. An exported anonymous class with a private field survives that gate but fails TS4094 when declaration diagnostics return. The final gate retains them and the declaration-error recipe. This was an oracle-repair regression, not a production defect.
ORC-001/002 now cover independent local/Query capability and option laws. ORC-003 prose follows the revised grammar, model, driver and exact diagnostic cut. ORC-004 reconstruction retains all 30 old forms and adds configured/phantom forms; option ablations and the documented calibration controls distinguish their contribution. ORC-005/006 observe real receivers and reject the controls above. ORC-007 retains campaign parity and the shared direct replay interface. ORC-008 remains inapplicable to a static model. ORC-009's type-history mapping is unchanged. ORC-010 retains unexpected source/declaration diagnostics and original shrinking evidence; no disk restoration is needed for the overlays. ORC-011's shared Query fault is answered by the independent capability model. ORC-012 is this versioned evidence. ORC-013 observes legal option neighbors and invalid sync with a same-candidate legal neighbor. ORC-014 retains the real browser/Query receiving source paths, with no runtime provider claim. ORC-015 measures every new declared state. ORC-016 contains no standalone fixed API examples; fixed regressions remain shared model inputs.
Calibration portability follow-up
CodeRabbit review5656171283 of892bf55b8 identified four Minor items, preserved as C2-1 through C2-4 in source order. C2-1 corrected missing spaces in E7's numbers. C2-2 removed eager parent-history loading from unrelated calibrations. C2-3 restricted transform/target validation to the selected mutation. C2-4 added the missing changed-source guard for the two Collection getter controls.
The law here is reproduction integrity: selecting one control must require only that control's inputs, and a requested semantic edit must actually apply. Executing the helper's actual setup prefix with filesystem/process overlays reproduced three failures: none attempted unavailable parent history; none failed an unrelated changed overload target; and a selected getter control constructed an unchanged overlay after both its signature and return-helper targets disappeared. The same probes now avoid all historical reads for none and report Missing mutation target: missing-undefined for the no-op control. Real commands then confirm none registers normally, parent rejects TS2769, and missing-undefined rejects the public-read equality with TS2344. No production, grammar, model, observation or compiler-gate edit was needed.
All four items are fixed-now. The script's lazy parent getter and selected-only transform loops preserve the intended overlays and make independent controls usable when unrelated historical sources drift. The review accurately found portable-calibration weaknesses; no production claim follows from those setup failures. The previous owner hash and oracle evidence remain unchanged.
Adversarial round two and reserved utility decision
Reviewed head: 39065e399894913874d5f6965f75322cbac82ad7. The containing follow-up commit identifies the repaired tree. Three fresh reviewers examined enforcement, authority, and compiler infrastructure. This section supersedes the earlier current-grammar counts and the claim that production contains only the schema-free return correction. The original experiments remain historical.
Law, experiment, inference, and repair
| Law and authority | Decisive experiment | Repair |
|---|---|---|
| Schema input accepts output, so already-transformed rows remain legal input. Authority: schema guide, Core Concepts and Critical Design Principle. | A real persisted Collection with input string | number and output number accepts an output row. Restoring the old negative directive gives TS2578. The old disjoint grammar also allowed output-optional/input-required fields. | Generate the superset relation, retain exact input equality, and observe legal output insertion. No production change for this finding. |
| Public read types retain declared readonly user properties. Authority: schema-free createCollection return type and WithVirtualProps. | A getter mutant strips user-property readonly while retaining virtual modifiers. It passes the old path-0 history. A schema-free readonly row passes production and rejects the mutant at the shared published-row equality. | Generate independent modifiers and eight structural mutable/readonly neighbors across schema and sync modes. Declare and measure their reach. |
| Local persistence owns its utility names and rejects caller collisions. Authority: the user's decision, “let's just throw an error as those names are reserved,” now documented in the SQLite guide. | Before the guard, both real receivers accept a reserved caller property and resolve persistence. TypeScript permits a caller leadership return type of 'caller', while runtime returns the persistence leadership object. | Reject acceptMutations, getLeadershipState and forceReloadSubset before persistence resolution. The guard uses the existing utility object's keys. Synced wrapping preserves adapter utilities because that path adds none of these local capabilities. |
The runtime law is an explicit contract decision, rather than an inference from the previous overwrite behavior. It applies to a present reserved property, including inherited/non-enumerable properties and undefined values. The wrapper throws InvalidPersistedCollectionConfigError. This is runtime admission, not a new compile-time rejection. Successful local results cannot retain a conflicting caller signature because the conflicting construction does not return.
The existing option owner now includes a runtime receiving driver for this namespace boundary. Its independent rule uses reserved names and sync presence. The production driver records return/throw, error identity, persistence resolver calls, caller-function calls, and preservation of admitted utilities. Each history crosses schema presence, both sync modes, each reserved name, their union, a generated subset, ordinary names, three descriptor forms, and undefined/function values. A rejected configuration must do zero resolver work. No Collection is created and no SQLite operation or sync starts.
Lossless round-two ledger
| ID | Claim | Technical verdict and PR action | Durable value |
|---|---|---|---|
| R2-A1 | Caller utility preservation conflicts with local reserved-name overwrites. | Confirmed type/runtime mismatch. User chose rejection. fixed-now: runtime guard, shared generated admission judgment, real core/browser RED and GREEN, guide and changeset. | Explicit admission contract and reserved-name controls. |
| R2-A2 | Phantom schema generic acceptance lacks a guide-level meaning. | Refuted as a current correctness defect. Existing public signatures accept this source form; executable prose now labels the compatibility basis. | Distinguish source compatibility from runtime schema semantics. |
| R2-A3 | Exact Query utility equality also rejects future typed additions. | Refuted as a current defect. The current API remains the independent expected shape. Prose clarifies that an intentional documented addition updates the model. | Distinguish a current namespace check from a prohibition on API evolution. |
| R2-A4 | The transformation grammar misses the documented update-safe input domain. | Confirmed. fixed-now: compatible transform, optionality relation, and legal output admission. Exact input equality still rejects reversed schema roles. | Schema-output-rejection and blanket-never controls. |
| R2-A5 | The header implies a generated persistence utility reference page that does not exist. | Confirmed citation issue. fixed-now: cite the exported PersistedCollectionUtils interface directly. | Trace the law to the actual public API. |
| R2-E1 | Readonly user fields are absent from the grammar. | Confirmed old-owner survivor. fixed-now: generated modifiers and measured structural neighbors. | Readonly-row control, including a schema-free witness. |
| R2-S1 | Concurrent calibration processes can overwrite the same scratch runner. | Found during reconciliation: core/browser parent controls shared a filename, causing a missing-campaign setup error. fixed-now: receiver and process ID in type-runner names, process ID in runtime bundles. Repeated concurrent controls both reject TS2769. | Calibration isolation across receivers and owner versions. |
Loss audit: six supplied items plus one reconciliation finding equal five fixed-now and two refuted. No deferrals, unresolved policy decisions, or known in-scope counterexamples remain in this bounded option review. Technical reviewer assessment: the enforcement review demonstrated a concrete survivor and supplied an independent schema-free witness. The authority review verified the contract conflict and runtime mismatch. The infrastructure review accurately separated executed controls from source inspection and found no additional supported bug.
Evidence block and reproduction
- Law: Input/output and modifier preservation follow the existing public contracts. Reserved local utility rejection follows the explicit decision above. The runtime comparison does not import production's merge/classifier.
- Reach: Each type shape now compiles 52 core or 53 browser constructions. Four default campaigns cover 48 generated histories and 2520 constructions, plus 630 fixed replay constructions outside reach. Every type state reaches 12 histories per campaign, including schema-compatible-input, readonly-input, readonly-output and mutable-fields. Four runtime campaigns cover 48 histories and 6912 wrapper constructions; all ten admission states reach 12 histories in each campaign, including schema-collision.
- RED: Before production edits, both real entry points fail admission at the intended return/throw comparison: a reserved property is admitted, no config error appears, and the resolver runs once. Schema-free and schema-bearing histories both demonstrate this. The type owner rejects the original schema-free overloads with TS2769 on both receivers.
- GREEN: The type campaigns and nine neighboring core type tests pass. The final expanded admission campaigns pass on both receivers with no source errors. Three existing runtime checks also pass: local loopback utilities, manual acceptMutations, and terminal-failure fencing of direct acceptance. Formatting, ESLint, lint:changed and diff checks pass.
- Mutants: The readonly-stripping getter rejects on both receivers. The obsolete schema-output rejection fails TS2578, and blanket schema erasure fails the exact type laws. Runtime controls reject the old production, removed guard, own-properties-only guard, truthiness-only guard, and a guard missing forceReloadSubset. Failures identify admission or type comparisons, not setup errors or timeouts. The initial concurrent-runner setup error is R2-S1 above and is not counted as a mutant rejection.
- Weight and limits: The production bundle grows 64 gzip bytes and 29 brotli bytes against the merge-base on fetched origin/main. Reusing the existing utility object and inlining its acceptance callback avoids a second name registry and helper. The new rejection branch accounts for the growth. Type evidence remains source-only on TS 5.9.3. Runtime evidence stops at wrapper admission and does not establish database I/O, schema parsing, Collection mutation behavior, native hosts, or published package resolution.
From each receiving package, the normal persisted-options.test.ts command runs both type and admission campaigns. To select admission alone, add -t 'reserved local utility'. Direct runtime replay uses seed 2259, path 0:0:0, and property persisted-options.utilities.core or .browser.
The following repository-root commands use only versioned inputs:
# Old grammar accepts the readonly-stripping getter.
TANSTACK_DB_ORACLE_PATH=0 node scripts/calibrate-persisted-option-types.mjs readonly-row 39065e399
# Current grammar rejects these controls. Use the browser receiver for readonly-row too.
TANSTACK_DB_ORACLE_PATH=0:0:0:0:0:0:0:0:0:0:0:0:0 node scripts/calibrate-persisted-option-types.mjs readonly-row
ORACLE_RECEIVER=browser TANSTACK_DB_ORACLE_PATH=0:0:0:0:0:0:0:0:0:0:0:0:0 node scripts/calibrate-persisted-option-types.mjs readonly-row
TANSTACK_DB_ORACLE_PATH=0:0:0:0:0:0:0:0:0:0:0:0:0 node scripts/calibrate-persisted-option-types.mjs schema-output-rejection
TANSTACK_DB_ORACLE_PATH=0:0:0:0:0:0:0:0:0:0:0:0:0 node scripts/calibrate-persisted-option-types.mjs blanket-never
# Runtime controls bundle the same shared admission model and the real core entry.
node scripts/calibrate-persisted-option-types.mjs utility-parent
node scripts/calibrate-persisted-option-types.mjs utility-no-guard
node scripts/calibrate-persisted-option-types.mjs utility-own-only
node scripts/calibrate-persisted-option-types.mjs utility-truthy
node scripts/calibrate-persisted-option-types.mjs utility-missing-nameThe runtime controls use esbuild and write isolated bundles under .context. They leave tracked production files unchanged. A failure must show the intended comparison and selected input, rather than merely exit nonzero.
ORC-001/002 tie the revised input rule and new admission policy to their actual authorities. ORC-003/004 retain adjacent prose and add modifier, schema and property-descriptor neighbors. ORC-005/006 now include real wrapper admission and the calibrated rejection boundary. ORC-007/009/010 preserve campaign parity, replay, source/type diagnostics and isolated calibration artifacts. ORC-008 is still inapplicable: neither model adds a state machine. ORC-011 retains the independent Query formulation and identifies no new shared semantic-fault hypothesis. ORC-012 is this versioned audit. ORC-013 checks ordinary local and synced collisions beside rejected local collisions. ORC-014 uses both real receiving exports without transferring a SQLite/provider premise. ORC-015 measures the new type and admission states. ORC-016 keeps all observations in shared judgments over generated inputs, without standalone regression answers.
'%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%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%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%3c/svg%3e)
'/%3e%3c/svg%3e)