Simplify secondary-index store API

.github/workflows/secondary-index-required.yml

@@ -128,14 +128,13 @@ jobs:
           --test secondary_index_faults --test secondary_index_fuzz_smoke
           --test secondary_index_resources
 
-  production-store:
+  indexed-store:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@stable
       - uses: Swatinem/rust-cache@v2
-      - run: cargo test --manifest-path stores/prolly-store-sqlite/Cargo.toml indexed_profile_
-      - run: cargo test --manifest-path stores/prolly-store-sqlite/Cargo.toml production_indexed_profile_
+      - run: cargo test --manifest-path stores/prolly-store-sqlite/Cargo.toml
 
   binding-contracts:
     runs-on: ubuntu-latest

CHANGELOG.md

@@ -1,5 +1,15 @@
 # Changelog
 
+## Unreleased
+
+### Changed
+
+- Removed the production/verification indexed-store profile taxonomy and the
+  alternate `indexed_map_production(...)` constructor. All supported
+  synchronous stores now use `indexed_map(...)`.
+- Removed the derived production-profile flag from indexed-map health records
+  in Rust and portable bindings.
+
 ## 0.6.0 — 2026-07-29
 
 This is a hard-cutover release. It does not provide compatibility readers,

README.md

@@ -73,9 +73,9 @@ reflogs, patches, merge orchestration, sync planning, and repository-level GC.
   indexes with one-root atomic publication, finite operation budgets, sparse
   and multi-valued terms, `KeysOnly`/`Include`/`All` projections, exact
   historical snapshots, durable pins, safe GC, structured diagnostics, and
-  verified bounded transfer. `MemStore`, `FileNodeStore`, PGlite, redb,
-  RocksDB, and SlateDB are verification-only; production opening currently
-  requires the qualified durable SQLite adapter profile.
+  verified bounded transfer. Applications open it through one
+  `engine.indexed_map(...)` API and choose a synchronous store implementing
+  `Store`, `ManifestStore`, and `IndexedStore`.
 - Store-independent single-key, shared multi-key, complete range, cursor-page,
   and diff-page proofs for a tree root.
 - Tree statistics for inspecting shape, fill factor, fanout, and serialized size.