LP-0018: OpenStreetMap integration — decentralized map data distribution by mart1n-xyz · Pull Request #71 · logos-co/lambda-prize

mart1n-xyz · 2026-05-28T11:39:53Z

Summary

Addresses review from fryorcraken and weboko, plus a scope decision: no follow-up viewer prize; the OSM registry SDK is a required Basecamp module (full API for the distribution app, limited subset for other Basecamp apps).
Integrity: downloads trust the content-addressed CID. Geofabrik MD5 is required only at local-import time.
Adoption: coverage (≥15 countries and ≥25 verified region entries on Logos testnet 0.3) plus ecosystem reuse (≥5 independent modules, including ≥3 Basecamp apps). Redundant mirroring and community vouching are discretionary.
Spec shape: no technical appendix (frozen region list kept for coverage). Prize $1500. Pinned to Logos testnet 0.3 (a later testnet is a follow-up prize, not a reset rule). CLI, cycle counts, mkLogosModule, and module-catalog publishing added, matching LP-0023.

Test plan

Review prize structure against LP-0000 template
Confirm README table entry for LP-0018 (Draft, Medium)
Confirm CID integrity vs import-time MD5 split is consistent
Confirm the SDK is a Basecamp module (not an out-of-Basecamp app)
Confirm Adoption coverage + reuse bars; mirroring/vouching discretionary
Confirm testnet 0.3 pin and no reset contingency
Confirm LEZ-only registry requirement is consistent throughout

Restates success criteria in the appendix alongside technical design so builders and evaluators have a single combined specification. Co-authored-by: Cursor <cursoragent@cursor.com>

Mirror LP-0017 registry, supportability, submission, and usability patterns; expand appendix checklist to match updated criteria. Co-authored-by: Cursor <cursoragent@cursor.com>

Aligns LP-0018 with standard on-chain prize patterns: mandatory LEZ deployment, SPEL IDL, sequencer tests, and RISC0 demo requirements. Co-authored-by: Cursor <cursoragent@cursor.com>

github-actions · 2026-05-28T11:40:05Z

✅ Validation passed

A reviewer will assess against the prize criteria.
ℹ️ Prize proposal for LP-0018.

Automated check. See solution template and TERMS.

Four other open PRs (#36, #71, #75, #90) already claimed LP-0018, all opened before this one. LP-0021 is the first number claimed by neither a merged prize nor an open PR. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

Introduce a country/subregion region model with a non-overlap invariant and Geofabrik-path keys, add parent/level to the registry schema, and thread the model through success criteria, scope, and the appendix. Add an Adoption section with independently verifiable coverage, redundant mirroring, freshness, and sustained-activity criteria plus a testnet-reset contingency. Freeze the decomposed-country leaf ids (US, China, Russia; India already fixed) so the closed set is reconstructable from the document, and add a 25 verified-entry floor alongside the 15-country bar so coverage cannot be met by tiny single subregions. Reference LP-0020 (OSM Map Viewer) as the complementary usage layer. Co-authored-by: Cursor <cursoragent@cursor.com>

weboko · 2026-08-27T23:08:40Z

+- Logos Storage module (for storing PBF files)
+- LEZ (Logos Execution Zone) program for the on-chain OSM registry
+
+Logos Storage may connect to an external Logos node until the built-in module is available.


I think this is fine to omit already

weboko · 2026-08-27T23:12:31Z

+**Required (independently verifiable):**
+
+- **Coverage.** At least **15 countries** from the predefined set (see [Appendix A.4](#a4-predefined-regions)) are covered on-chain and hosted in Logos Storage, and at least **25 total verified region entries** are covered across the set. A country counts as covered when it is a country-level entry that is registered, or a decomposed country (US, India, China, Russia) for which **at least one of its subregions** is registered. Each contributing entry must verify: the evaluator fetches the CID from Logos Storage, hashes the bytes, and confirms the hash matches Geofabrik's published MD5 for that snapshot. Entries whose stored bytes do not match Geofabrik do not count, and an unverified subregion does not make its country count. The 25-entry floor is above the 15-country minimum and forces some depth in the decomposed countries, so coverage cannot be met by decomposed countries each satisfied with a single small subregion.
+- **Redundant mirroring.** Each **covered region entry** (a country-level region, or a registered subregion of a decomposed country) is registered by **at least 3 distinct accounts**, so no single operator is the sole source for any region. This is verifiable directly from registry entries. (The *count* of distinct accounts is objective; whether those accounts are genuinely independent operators is assessed under Discretionary signals below.)


at least 3 distinct accounts sounds to me easily forgeable since accounts are just randomly generated Logos accounts

Redundant mirroring is now a Discretionary signal: a covered region hosted by more than 5 operators (same CID, distinct hosting accounts), assessed qualitatively.

weboko · 2026-08-27T23:13:46Z

+**Discretionary signals (considered in addition, per Terms & Conditions):**
+
+- **Operator independence.** The accounts behind the mirror counts are genuinely independent hosts with real account history, not one team spinning up accounts to satisfy the redundancy bar. Evaluators inspect on-chain and account histories.
+- **Ecosystem reuse.** At least a few independent applications or modules consume the OSM registry module/SDK to discover or fetch regions. Use of the SDK is confirmable by code inspection; whether the consuming projects are genuine and independent of the submitting team is discretionary.


Suggested change

- **Ecosystem reuse.** At least a few independent applications or modules consume the OSM registry module/SDK to discover or fetch regions. Use of the SDK is confirmable by code inspection; whether the consuming projects are genuine and independent of the submitting team is discretionary.

- **Ecosystem reuse.** At least 5 independent applications or modules consume the OSM registry module/SDK to discover or fetch regions. Use of the SDK is confirmable by code inspection; whether the consuming projects are genuine and independent of the submitting team is discretionary.

I would say a total of 5 modules, include 3 Basecamp applications (ui module).

Applications must be on a source forge, from independent developers, etc.

I suggest you take a similar approach to the registry λ-Prize: #127

Ecosystem reuse via the SDK: at least 5 independent modules, including at least 3 Logos Basecamp apps (UI modules), consuming the OSM distribution module. One of the 5 may use only the standalone SDK.

weboko · 2026-08-27T23:17:43Z

+
+---
+
+## Appendix: Technical Design and Requirements


This section overall looks useful but at the same time makes a lot of choices for implementors.

I would personally try to simplify it or even remove with moving abstract things into FURPS

But we can keep it, I am not strongly against.

To clarify, I expect this to be used mainly by AI :)

I would removing the appendix here and leave it to the challenger.

weboko · 2026-08-27T23:18:23Z

+
+## Prize Structure
+
+- **Total Prize:** $X


?

Suggested change

- **Total Prize:** $X

- **Total Prize:** $1500

fryorcraken · 2026-08-28T02:02:45Z

+- [ ] **Region discovery**: fetch the Geofabrik index and display available regions with version info and their level in the region tree (country / subregion), restricted to the predefined set.
+- [ ] **Host workflow**: download PBF from Geofabrik → store to Logos Storage → register on-chain via the OSM registry LEZ program.
+- [ ] **Download workflow**: fetch from Logos Storage (if hosted) or Geofabrik (direct fallback).
+- [ ] **Checksum verification**: verify a downloaded file against Geofabrik's published MD5 checksum.


Doesn't seem necessary as we want to avoid calling to Geofabrik just to do checksum. I also assume the CID also acts as a checksum

Suggested change

- [ ] **Checksum verification**: verify a downloaded file against Geofabrik's published MD5 checksum.

fryorcraken · 2026-08-28T02:05:27Z

+
+**Discretionary signals (considered in addition, per Terms & Conditions):**
+
+- **Operator independence.** The accounts behind the mirror counts are genuinely independent hosts with real account history, not one team spinning up accounts to satisfy the redundancy bar. Evaluators inspect on-chain and account histories.


Might be difficult or not of great value for onchain history.

Dropped this. Did analogue approach to your PR

fryorcraken · 2026-08-28T02:07:24Z

+**Discretionary signals (considered in addition, per Terms & Conditions):**
+
+- **Operator independence.** The accounts behind the mirror counts are genuinely independent hosts with real account history, not one team spinning up accounts to satisfy the redundancy bar. Evaluators inspect on-chain and account histories.
+- **Ecosystem reuse.** At least a few independent applications or modules consume the OSM registry module/SDK to discover or fetch regions. Use of the SDK is confirmable by code inspection; whether the consuming projects are genuine and independent of the submitting team is discretionary.


I would say a total of 5 modules, include 3 Basecamp applications (ui module).

Applications must be on a source forge, from independent developers, etc.

I suggest you take a similar approach to the registry λ-Prize: #127

fryorcraken · 2026-08-28T02:08:21Z

+
+---
+
+## Appendix: Technical Design and Requirements


I would removing the appendix here and leave it to the challenger.

…tion. Downloads now trust the content-addressed CID; Geofabrik MD5 is import-time only. Drop freshness and sustained-activity bars, promote ecosystem reuse of the SDK to a required criterion, and treat redundant mirroring as a discretionary signal. Elevate the OSM registry SDK to a primary deliverable, remove the technical appendix while keeping the frozen region list, drop the LP-0020 viewer-prize reference, set the prize to $1500, and omit the external-node implementation note. Co-authored-by: Cursor <cursoragent@cursor.com>

Keep master's prize-table statuses and solution links, and add the LP-0018 Draft row. Co-authored-by: Cursor <cursoragent@cursor.com>

Co-authored-by: Cursor <cursoragent@cursor.com>

Pin to Logos testnet 0.3, drop the reset contingency, and treat a later testnet as a follow-up prize. Add CLI, cycle counts, module-builder, catalog publishing, and a Geofabrik exception on centralised services. Fit Scope, Submission, and Evaluation to the LP-0023 shape. Keep the SDK as a Basecamp module: full API for the distribution app, limited subset for other Basecamp consumers. Co-authored-by: Cursor <cursoragent@cursor.com>

fryorcraken · 2026-08-31T02:19:40Z

+
+- [ ] Deployed and tested against Logos testnet 0.3 (the canonical Logos LEZ zone).
+- [ ] The submission builds and runs end-to-end on both **macOS (Apple Silicon)** and **Linux (x86_64)**.
+- [ ] The Logos Basecamp modules (distribution app and SDK/module) are built with [`logos-module-builder`](https://github.com/logos-co/logos-module-builder) (`mkLogosModule`).


we would also want the module to be available in a published catalogue:

The Logos Core modules published to a module catalog: a fork of logos-modules-release-base, publishing releases via logos-modules-release-action. The catalog's logos-repo.json URL must be included so evaluators can install the module through the package-manager UI / lgpd.

Co-authored-by: Cursor <cursoragent@cursor.com>

Clarify that the prize spec is outcome criteria, not direction of a participant's approach, and point back to the program Terms & Conditions. Co-authored-by: Cursor <cursoragent@cursor.com>

Four other open PRs (#36, #71, #75, #90) already claimed LP-0018, all opened before this one. LP-0021 is the first number claimed by neither a merged prize nor an open PR. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

…ap-integration

List it under adoption-first, require dual MIT and Apache-2.0, and evaluate against Adoption plus a solution PR. Co-authored-by: Cursor <cursoragent@cursor.com>

mart1n-xyz and others added 3 commits May 28, 2026 13:23

Add LP-0018 draft: OpenStreetMap decentralized map data distribution.

fce8d36

Restates success criteria in the appendix alongside technical design so builders and evaluators have a single combined specification. Co-authored-by: Cursor <cursoragent@cursor.com>

Align LP-0018 draft with template and live Basecamp prize conventions.

d96975e

Mirror LP-0017 registry, supportability, submission, and usability patterns; expand appendix checklist to match updated criteria. Co-authored-by: Cursor <cursoragent@cursor.com>

Require LEZ program for OSM registry instead of Zone SDK.

7ef7104

Aligns LP-0018 with standard on-chain prize patterns: mandatory LEZ deployment, SPEL IDL, sequencer tests, and RISC0 demo requirements. Co-authored-by: Cursor <cursoragent@cursor.com>

mart1n-xyz requested a review from fryorcraken May 28, 2026 11:41

fryorcraken mentioned this pull request Aug 17, 2026

LP-0023: LEZ Program Registry #127

Open

fryorcraken mentioned this pull request Aug 25, 2026

[LP] OSM storage and SDK logos-co/ecosystem#215

Open

weboko reviewed Aug 27, 2026

View reviewed changes

weboko approved these changes Aug 27, 2026

View reviewed changes

weboko reviewed Aug 27, 2026

View reviewed changes

fryorcraken approved these changes Aug 28, 2026

View reviewed changes

mart1n-xyz and others added 4 commits August 28, 2026 11:29

Merge master into lp-0018-openstreetmap-integration.

a27843b

Keep master's prize-table statuses and solution links, and add the LP-0018 Draft row. Co-authored-by: Cursor <cursoragent@cursor.com>

Plain down SDK wording: drop load-bearing and similar phrasing.

f23a485

Co-authored-by: Cursor <cursoragent@cursor.com>

mart1n-xyz requested review from fryorcraken and weboko August 28, 2026 10:52

fryorcraken approved these changes Aug 31, 2026

View reviewed changes

Require Basecamp modules in a published catalog (Supportability).

fdc3c2d

Co-authored-by: Cursor <cursoragent@cursor.com>

weboko approved these changes Aug 31, 2026

View reviewed changes

Add specification disclaimer note to LP-0018.

d22fb63

Clarify that the prize spec is outcome criteria, not direction of a participant's approach, and point back to the program Terms & Conditions. Co-authored-by: Cursor <cursoragent@cursor.com>

mart1n-xyz marked this pull request as ready for review September 2, 2026 07:22

mart1n-xyz and others added 2 commits September 5, 2026 14:24

Merge remote-tracking branch 'origin/master' into lp-0018-openstreetm…

8821440

…ap-integration

Align LP-0018 with the current README and mark it Open.

77555e8

List it under adoption-first, require dual MIT and Apache-2.0, and evaluate against Adoption plus a solution PR. Co-authored-by: Cursor <cursoragent@cursor.com>

mart1n-xyz merged commit 4ff20a5 into master Sep 5, 2026
1 check passed

	- Ecosystem reuse. At least a few independent applications or modules consume the OSM registry module/SDK to discover or fetch regions. Use of the SDK is confirmable by code inspection; whether the consuming projects are genuine and independent of the submitting team is discretionary.
	- Ecosystem reuse. At least 5 independent applications or modules consume the OSM registry module/SDK to discover or fetch regions. Use of the SDK is confirmable by code inspection; whether the consuming projects are genuine and independent of the submitting team is discretionary.


		Discretionary signals (considered in addition, per Terms & Conditions):

		- Operator independence. The accounts behind the mirror counts are genuinely independent hosts with real account history, not one team spinning up accounts to satisfy the redundancy bar. Evaluators inspect on-chain and account histories.

Uh oh!

Conversation

mart1n-xyz commented May 28, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Summary

Test plan

Uh oh!

github-actions Bot commented May 28, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

✅ Validation passed

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

mart1n-xyz commented May 28, 2026 •

edited

Loading

github-actions Bot commented May 28, 2026 •

edited

Loading