DSM — Deterministic State Machine

DSM is a state and identity layer in which every participant verifies state transitions directly, at the edge, with no global consensus, no validator ordering, no sequencer, and no wall clock. State lives in relationship-local hash chains anchored in a per-device sparse Merkle tree. Identity is device-bound and mnemonic-rooted. Every hash is domain-separated BLAKE3 and every signature is SPHINCS+. A transition is accepted because it is hash-adjacent to the state it consumes and satisfies the committed rules, not because anyone voted on it.

DSM is not a blockchain, a rollup, or a payment-channel network. Storage nodes hold bytes and never decide anything. The three product surfaces built on the primitive are Sovereign Finance (SoFi), an on-device AMM market with no counterparty and no operator; the offline anchor appliance, a hardware identity for offline bearer transfer built on an RP2350 and a TROPIC01 secure element; and dBTC, Bitcoin-backed DSM state whose withdrawal is a consumption of live DSM state rather than a custodian's decision.

This README is the map for release v0.1.0-beta.4. Every claim below carries one of four status tags: proven on hardware (exercised end to end on real devices, phones and the anchor appliance, against the live fleet), checked in CI (models and proofs that run in the pipeline), fenced (code present, refused by a named guard), or core-only (implemented in the core crate, not wired to a route).

Contents

1. Beta testers
2. Who this README is for
3. Status board
4. Workspace map
5. Protocol pillars
6. Sovereign Finance (SoFi)
7. dBTC
8. Offline protocol
9. Android app and frontend
10. Storage nodes and the beta fleet
11. Formal verification
12. Development workflow
13. Documentation index
14. License

Beta testers

The APK is temporarily unavailable while it is migrated to v4 (v0.1.0-beta.4). It will be back shortly on the releases page. Do not install an earlier beta in the meantime.

When it is back:

1. Uninstall any previous beta. Beta releases are clean cuts; there is no state migration between them.
2. Download the APK from the release page to your Android device.
3. Enable Install from unknown sources if prompted.
4. Open the file to install, then launch the DSM Wallet.

CI publishes the storage-node binary, the frontend bundle, and the SBOM; the APK is signed and uploaded by the maintainer.

Early beta. This release exists for developer onboarding and community feedback. It contains novel cryptographic protocols and is not ready for production use or for holding value. The app talks to a beta storage fleet on the dsm-testnet network id, and beta devices need an operator-side allowance before the fleet accepts their writes. If you want to test with real devices, open a support thread first.

Who this README is for

• Wallet and beta tester: Beta testers, then the Android app section.
• Protocol reader (SoFi, dBTC, identity): Protocol pillars, Sovereign Finance, dBTC.
• Firmware and hardware: Offline protocol and crates/.
• Contributor: Development workflow, then CONTRIBUTING.md.

Status board

Surface	Status	Evidence
Identity and genesis (mnemonic-rooted, self-attested, published to the fleet)	proven on hardware	4 devices wiped and re-created against the live fleet 2026-09-13, each identity accepted by all 5 nodes
Bilateral transfers, offline cash load/unload	proven on hardware	two-device end-to-end 2026-08-24; byte-identical state on both sides
BLE command path (ble.command, protobuf-only)	proven on hardware	phone-to-phone over BLE through the Android backend
SoFi: DLV markets, routing, routed unlock, reconcile, close, receipts	proven on hardware	full lifecycle on 4 phones 2026-09-13, see Sovereign Finance
Token surface: create, mint, burn, adopt, policy; faucet	proven on hardware	same run; capped issuance stays fenced in beta
Storage fleet: 5 nodes, quorum 3 of 5, write-once registers	proven on hardware	the live fleet every run above wrote to; BETA_ROOT_REGISTER_MEMBERS pins the 5 members
Offline protocol: appliance core, verifier, SPHINCS+, RP2350 firmware, TrustZone monitor, TROPIC01	proven on hardware	the three-signature release produced on the RP2350 + TROPIC01 appliance and accepted on the phone; silicon proof log in docs/bench-proofs/
dBTC: origin admission, burn-gated withdrawal, successor vaults	fenced	proven on hardware on signet earlier; fenced in this release while it is upgraded to align with Sovereign Finance (DSM-NATIVE dBTC V1), a small upgrade and the next thing being done; ships in v5 shortly after v4
Token emissions (DJTE)	core-only	schedule and ticket selection in dsm/src/emissions; the faucet consumes tickets
Formal models: TLA+, Lean 4, vertical validation	checked in CI	formal-validation and lean CI jobs; see Formal verification

Workspace map

dsm/
├── dsm_client/deterministic_state_machine/
│   ├── dsm/            core: state machine, crypto, bilateral, dlv, economic, ccb, vault, emissions   (member)
│   └── dsm_sdk/        SDK and route handlers: identity, tokens, dlv.*, route.*, storage, faucet, bitcoin   (member)
├── dsm_storage_node/   index-only persistence over PostgreSQL; write-once registers; Terraform + deploy   (member, excluded from the Rust board)
├── dsm_client/android/ Kotlin container: WebView + JNI bridge, BLE, USB anchor transport
├── dsm_client/frontend/ React wallet UI, pure rendering over the Envelope v3 bridge
├── crates/
│   ├── dsm-anchor-core/          hardware-free appliance core: root-advance message, three-signature release, prepare/commit/emit/finalize   (member)
│   ├── dsm-anchor-verifier/      receiver-side relay primitives and the exact counter check, tropic01-free   (member)
│   ├── dsm-sphincs/              no_std BLAKE3-keyed SPHINCS+, byte-compatible with the core, shared with firmware   (member)
│   ├── dsm-anchor-pico/          RP2350 Pico 2 W firmware over libtropic-rs   (excluded: thumbv8m-only)
│   ├── dsm-anchor-secure-monitor/ TrustZone-M Secure world: TROPIC01, partition key, counter, seal, the single NSC gateway   (excluded: thumbv8m-only)
│   ├── dsm-anchor-nonsecure-app/ TrustZone-M Non-secure world: USB-CDC, protobuf, transport   (excluded: thumbv8m-only)
│   ├── dsm-anchor-hw-verifier/   the real libtropic session driver   (excluded: needs the sibling libtropic-rs checkout)
│   ├── dsm-anchor-bench/         used-chip bench harness, non-mutating proofs only   (excluded: native serial dependency)
│   └── dsm-android-anchor/       on-device glue that installs the USB appliance into the SDK bridge   (excluded: built only by cargo-ndk)
├── tools/vertical_validation/    implementation traces, adversarial runs, KATs, formal report
├── tla/                TLA+ specs and TLC configs
├── lean4/              Lean 4 proofs
├── proto/              dsm_app.proto, the only wire format
├── ci/ scripts/ Makefile   gates, deploy helpers, the maintained entry points
└── docs/               handbook, papers and amendments, ADRs, audits, reports, anchor TrustZone docs

Membership is declared in the root Cargo.toml. The default workspace is tropic01-free by construction; the excluded crates are built from their own directories or by the Android pipeline.

Protocol pillars

• Hash-adjacent bilateral state. Each relationship is its own chain; a transition consumes its identified parent, and conflicting successors to one consumed state are excluded by the Tripwire. There is no global ordering to wait for. Code: dsm/src/core/ and dsm/src/bilateral/.
• Device state and the SMT. A device's head commits every relationship tip, its balance projections, and adoption leaves into one sparse Merkle tree. The per-device leaf cache is bounded (1024 leaves, FIFO eviction), which is a stated property, not a hidden one.
• Canonical commit bytes (CCB). Everything that is hashed or signed is a domain-separated canonical encoding produced by the core; protobuf bytes are transport and are never signed. Code: dsm/src/ccb/.
• Economic root register. Admitted economic state is rooted in a register kept on the storage fleet as write-once slots, pinned to a member set and a quorum. Storage nodes accept or refuse a write; they never interpret it.
• Genesis v3, mnemonic-rooted. Genesis is derived from the BIP39 mnemonic and self-attested on the device (createGenesisV2), then the identity record is published to the fleet and accepted at quorum. There is no MPC service and no genesis server.
• Determinism bans. No wall-clock markers in protocol or core logic. No JSON in protocol paths; Envelope v3 protobuf only, strict-fail on any other version. Hex is banned; Base32 Crockford is the only string form and only at UI, QR, and log boundaries. No unsafe in core protocol paths without review. Enforced by ci/production_safety_checks.sh.
• Post-quantum by default. BLAKE3 everywhere, always with a domain tag; SPHINCS+ (BLAKE3-keyed, byte-compatible with dsm-sphincs) for every signature. Code: dsm/src/crypto/.

Sovereign Finance (SoFi)

SoFi is an AMM market that runs on the participants' own devices. A liquidity provider owns a DLV (a deterministic liquidity vault): a constant-product pool over two adopted tokens, created from the owner's own balances, anchored in the owner's SMT, and advertised to the storage fleet. A trader finds the vault, binds a route, and settles a swap against it with evidence that both sides and any later verifier can check. There is no order book, no operator, and no pool contract; the vault is the owner's state, and the swap is a bilateral transition with a settlement bundle attached.

Lifecycle, by route name.

1. token.create registers a token under a policy and adopts it for the creator; creation charges a fee in ERA (the builtin asset), read from tokens.getFeeSchedule. token.mint credits supply under an authorized-issuance operation (op 0x0029); token.burn and token.forget are the inverses. token.adoptionQr and tokens.addByAnchor let another device adopt the token, which commits an AdoptToken advance on that device.
2. faucet.claim credits 100 ERA to a fresh device from the beta emission schedule so it can pay fees.
3. dlv.create funds the vault. The reserves leave the owner's projected balances at commit; the owner's wallet shows the debit immediately.
4. route.publishRoutingAdvertisement publishes the pair, reserves, and fee to the fleet; dlv.listOwnedAmmVaults lists what this device runs.
5. A trader calls route.syncVaultsForPair, route.listAdvertisementsForPair, and route.findAndBindBestPath to bind a path and a quote.
6. route.signRouteCommit signs the route. The final hop's output token must already be adopted on the signing device. If it is not, the route is refused locally and nothing is committed or published for it: no external commitment, no vault-pending pointer, no storage write. Adoption precedes receipt is the rule the whole surface follows.
7. route.publishExternalCommitment publishes the trader's commitment to the fleet; route.computeExternalCommitment and route.isExternalCommitmentVisible let either side check it.
8. dlv.unlockRouted executes the swap against the vault. It applies the adoption gate again and binds the unlocker's key, so a device that has not adopted the output asset is refused here even if it somehow holds a route.
9. dlv.reconcile lets the owner catch up on every settled swap in order, materializing the new reserves and a fresh owner baseline. storage.sync runs the same engine.
10. dlv.close, dlv.claim, dlv.invalidate, dlv.composeVault, and dlv.lineageQuarantine are the terminal and containment paths: close derives every close fact from the composed history; quarantine contains a lineage after a temporal trigger without clearing it.

Evidence objects. A swap produces a settlement bundle (Definition 6.14), a receipt (Definition 14.2, never gating release), a quorum bind that ties the settlement to the fleet's write-once settlement slot, and a trader fence that prevents a second settlement against the same slot. All of these are canonical commit bytes; all are foreign-verifiable from the bundle alone.

Proven on hardware, 2026-09-13. On a wiped five-node fleet with four phones: each device created its identity (accepted 5 of 5) and claimed the faucet; the owner created a token, minted supply, and funded a vault at 30 bps; two traders adopted the token and swapped, each landing the expected output; a third device that had never adopted the token was refused at dlv.unlockRouted; the owner reconciled through three vault generations; a second swap by the first trader settled against the reconciled reserves; the owner's wallet showed the vault's reserves debited from the start.

Code: the vault, routing, settlement, and receipt objects live in dsm/src/dlv/ and dsm/src/economic/; the routes in dlv_routes.rs, route_routes.rs, token_routes.rs, and faucet_routes.rs.

dBTC

dBTC is Bitcoin-backed economic state native to DSM. A real Bitcoin output is funded under a vault profile and verified at the required depth; exactly that quantity is admitted as dBTC into DSM state. From then on dBTC moves the way every other DSM asset moves: as ordinary bilateral transitions, online or offline, with no Bitcoin transaction, no confirmation, no depositor, no custodian, and no ledger.

The one rule everything follows from: holding Bitcoin-related bytes is not holding dBTC. A party may hold the vault identifier, the lineage, every public receipt, the encrypted execution capsule, the fulfillment hash, and a copy of every storage replica, and still have no withdrawal authority. Release requires, conjunctively: live dBTC state, valid authority over it, a valid consumption of it, and DLV fulfillment derived from that consumption.

The chain, top to bottom.

1. A funded Bitcoin output under a dBTC vault profile.
2. Origin admission: the verifier checks the funding transaction, the outpoint, the amount, the script against the committed profile, chain inclusion, confirmation depth, the recomputed origin identifier, the binding to one canonical DSM issuance position, and the policy commitment. Supply can rise only under a valid origin.
3. Exactly that quantity enters DSM, bound to its origin lineage. A holder's dBTC is a set of origin allocations; the wallet shows one balance, the protocol keeps the provenance.
4. dBTC circulates inside DSM. A transfer is a DSM transition and nothing else: consumed parent, exact credit, provenance preserved. No per-hop fee, no dust floor, no relay, no chain of pre-signed spends.
5. Withdrawal is a consumption first. The holder constructs an exact intent (amount, destination, fee treatment, backing generation and outpoint, successor rule) and burns live dBTC bound to that intent. The burn is a completed DSM transition; the consumed dBTC is not spendable afterwards.
6. Completion evidence exists only for that burn. The vault's unlock secret is derived from the lock, the parameter commitment, and that evidence (BLAKE3("DSM/dlv-unlock" ‖ L ‖ C ‖ σ)); its SHA-256 must equal the vault's committed fulfillment hash. The equality is the last check, never the first.
7. Sealed execution authority opens only inside the constrained vault path, bound to the committed transaction. What opens cannot sign anything else.
8. Exactly the committed transaction is signed: a full exit, or a payout plus a successor vault holding the remainder under fresh authority, same origin, new generation, new outpoint. A spent parent generation and its successor are never both live backing, and the successor floor is checked at the burn, so a vault can never be drained into dust.

Four consequences.

• No second double-spend system. DSM already answers whether the state exists and whether it may be consumed; the vault only makes Bitcoin release conditional on that answer. No federation, no signing quorum, no validator set, no global dBTC ledger.
• Knowledge is not possession. Copied lineage, copied ciphertext, copied preimage commitment, stale state, a completion proof from another burn, a preimage from another generation: all inert.
• Storage nodes are librarians. They hold descriptors, capsules, proofs, and indexes so a future holder can retrieve them. They cannot decide ownership, validate a burn, mint, sign, or pick a successor. Their compromise degrades availability and creates no authority.
• The depositor never comes back. After admission the funding party has no role. A later bearer withdraws on the strength of their own dBTC state.

Two custody domains. Online dBTC is governed by the canonical economic root and is the only dBTC that SoFi operates on. Offline dBTC is a separately allocated bearer domain using the enrolled appliance and protected-state machinery; it can withdraw by proving its own kind of state, but it never becomes SoFi-spendable liquidity by assertion. Movement between domains happens only through the canonical DSM transition defined for it.

	Bearer	Offline pay	Sub-dust transfer	Third party in a payment	A compromise costs
eCash, Cashu, Fedimint	yes	yes	yes	the mint	every coin at the mint
Lightning	no	no	yes	counterparty, watchtower	the channel
Statechain	yes	no	no	the entity	every coin it touched
Ark	no	no	no	the operator	the tree
Wrapped / federated	no	no	yes	custodian	everything
DSM-native dBTC	yes	yes	yes	none	the holder's own state

Not introduced: a Bitcoin threshold-signing federation, a vault custodian committee, a dBTC validator set, a global dBTC ledger, a mint that approves withdrawals, storage-node economic voting, a second double-spend database, a depositor liveness requirement, wall-clock settlement validity, a dBTC-only ownership model, a dBTC-only hardware appliance, or any rule that knowing a preimage constitutes ownership. Not claimed: that DSM prevents a Bitcoin reorganization deeper than the chosen confirmation depth; that dBTC survives compromise of the DSM authority needed to produce a valid burn; that storage unavailability cannot delay retrieval; that testnet or signet shortcuts imply mainnet security.

Status in this release. dBTC has been exercised on hardware on signet: origin admission, transfer, and withdrawal against real signet outputs. It is fenced in v4, not because it is unfinished, but because it is being upgraded to align with Sovereign Finance under the V1 design above; the SDK refuses new BTC→dBTC tap creation and partial exit through DBTC_PUBLIC_WITNESS_FENCE in dsm_sdk/src/handlers/bitcoin_invoke_routes.rs until that lands, with no override and no environment escape. v4 does not wait for it because Sovereign Finance does not need it. The upgrade is small and is the next thing being done; it ships in v5, shortly after v4. The TLA+ models under tla/DSM_dBTC_*.tla track the V1 design. All Bitcoin work is on signet; nothing here claims mainnet readiness. Code: origin verification in dsm/src/bitcoin/ (header chain, SPV, script, trust profile), the vault and fulfillment derivation in dsm/src/vault/, and the routes in bitcoin_invoke_routes.rs and bitcoin_query_routes.rs; Rust correspondence: tla/DBTC_RUST_CORRESPONDENCE.md.

Offline protocol

Offline bearer transfer needs one thing software cannot provide: a way to tell a physical device from a byte-for-byte clone of it. Everything else, including transfer uniqueness, is already a software property of DSM (the device state is one resource, consumed as a whole; one parent admits exactly one accepted successor). The appliance therefore gives hardware exactly one job, device identity, and keeps it out of every other decision. Code: the appliance core is crates/dsm-anchor-core/ (root_advance.rs, appliance.rs, accept.rs, enrollment.rs, tropic.rs, proto.rs), the firmware is crates/dsm-anchor-pico/, crates/dsm-anchor-secure-monitor/, and crates/dsm-anchor-nonsecure-app/, the receiver side is crates/dsm-anchor-verifier/ and crates/dsm-anchor-hw-verifier/, the signatures are crates/dsm-sphincs/, and the phone glue is crates/dsm-android-anchor/ with its SDK routes in anchor_routes.rs.

Two identity domains on one phone. The online domain is the BIP39 seed alone: no hardware, all online DSM operation. The offline domain is a fusion of three factors, and every offline release must be witnessed by all three over the same root-advance message:

Witness	Where it lives	What it proves
σ^DSM	the BIP39 seed key on the phone	the holder's DSM authority
σ^chip	a PUF-rooted, non-exportable Ed25519 key resident in the TROPIC01 secure element	this physical chip
σ^host	a BLAKE3-SPHINCS+ key sealed inside the RP2350 Secure partition, unsealed only under the enrolled firmware measurement	this firmware on this board

The appliance. dsm-anchor-core implements the compact three-state machine (prepare, commit, emit, finalize), power-loss recovery, the software-only receiver acceptance predicate, and the protobuf wire protocol. The chip and host witnesses are minted at commit, after a one-way physical counter decrement that is kept 1:1 with the SMT counter, so no valid release witness exists for an origin while that origin is still spendable. A birth fuse and a slot-0 birth cage make first provisioning one-way. The receiver reads no live chip state, no relay session, and no raw counter: it checks signatures over the message.

TrustZone-M split on the RP2350. The Secure monitor (dsm-anchor-secure-monitor) owns OTP, the host key, the TROPIC01 SPI bus, the physical counter, the prepare/commit/recovery state, and the exact-measurement seal, and exposes exactly one Non-secure-callable gateway with a fixed-slot mailbox. The Non-secure application (dsm-anchor-nonsecure-app) owns USB-CDC, protobuf, and host transport, and has no path to any Secure resource. The monitor runs from Secure SRAM after a bootrom load map and locks SAU and ACCESSCTRL before launching the app.

Receiver-side hardware verification (Path B). dsm-anchor-verifier provides the relay bridge and the exact counter check without depending on libtropic; dsm-anchor-hw-verifier drives the real TROPIC01 session over that relay and is the only crate that pulls the sibling libtropic-rs checkout. dsm-android-anchor installs the USB appliance into the SDK bridge seam on the phone and exposes the gated device-setup operations.

Proven on hardware. The appliance runs on the RP2350 Pico 2 W with the TROPIC01 secure element: the Secure monitor boots from Secure SRAM, the chip signature and the partition-sealed host signature are produced on the board, and the release is accepted on the phone. The used-chip bench harness (dsm-anchor-bench) reruns the non-mutating adoption and prepare/cancel proofs against an already-used chip without moving the counter; the silicon proof log is in docs/bench-proofs/. The TLA+ model DSM_OfflineAnchorSingleAppliance.tla covers the single-appliance case.

Android app and frontend

The wallet is a four-layer stack and no layer skips another: React frontend → Kotlin container → JNI/SDK (Rust) → core (Rust). The frontend is pure rendering; every rule lives in Rust, and the Kotlin layer carries bytes. The container loads libdsm_sdk.so (built with cargo-ndk for every ABI and staged by the Gradle refreshDsmJniLibs task), serves the React bundle from the APK's assets through a WebView asset loader, and bridges UI and SDK over a binary MessagePort channel carrying Envelope v3 protobuf bytes. BLE commands travel the same way through ble.command; the USB anchor appliance is attached through the same bridge seam.

make android        # rebuild JNI libs, rebuild and copy the frontend bundle, clean Gradle assemble
make android-libs   # only refresh the native libraries
make install        # build and install a debug APK on a connected device

Release APKs are signed by the maintainer; CI does not sign or upload them. Code: dsm_client/android/, the bridge in SinglePathWebViewBridge.kt, and dsm_client/frontend/.

Storage nodes and the beta fleet

A storage node is index-only persistence: it stores and serves bytes, keeps write-once registers, and never signs, validates, or interprets protocol rules. The beta fleet is five nodes in GCP us-central1 with a quorum of three. The client pins the five members and the quorum in dsm/src/economic/register.rs under the dsm-testnet network id; the same register profile drives the delivery fan-out, so a message is delivered to exactly the quorum's worth of members. The app ships configured for this fleet.

• Local development nodes: make nodes-up, make nodes-down, make nodes-status, make nodes-reset (PostgreSQL required). Code: dsm_storage_node/.
• Operators: Terraform and deployment scripts under dsm_storage_node/; the release workflow ships a Linux x86_64 binary with its SHA-256.
• Beta admission: the fleet meters device writes, and a beta device needs an operator-side allowance before its first publication succeeds.

Formal verification

• TLA+ (tla/): DSM.tla and the protocol core, bilateral liveness, Tripwire, non-interference, offline finality, the single-appliance offline anchor, economic-register observation, and the dBTC abstract, concrete, and trust-reduction models, each with TLC configs. Claims are indexed in PROOF_CLAIMS.md; run with tla/run_tlc.sh.
• Lean 4 (lean4/, toolchain v4.23.0): 22 files covering the core theorem set with no sorry; the lean CI job builds them on every run. A sorry-free build is a build, not a witness; the frame theorems carry their own witnesses and mutation checks.
• Vertical validation (tools/vertical_validation): tla-check, proof-check, property-tests, implementation-traces (transfer chain, signature rejection, fork divergence against the real state machine), adversarial, crypto-kat, bilateral-throughput, benchmark, formal-report, and full. The formal-validation CI job runs it.
• Production safety scan (ci/production_safety_checks.sh): the ban list (wall clock, JSON in protocol paths, hex, envelope version) enforced as a CI gate.

Audits: docs/audits/.

Development workflow

make help       # every target
make menu       # interactive
make doctor     # toolchain check
make build      # Rust workspace
make frontend   # React bundle
make typecheck  # onboarding smoke check
make lint       # fmt --check + clippy --all-targets, the second half of any green claim

On Windows use .\scripts\dev.ps1 for the Rust workspace and frontend, and WSL2 for Android builds and the shell helpers.

Workflow	macOS	Linux	Windows
Rust core / SDK	yes	yes	yes
Frontend	yes	yes	yes (Node.js 20+)
Local storage node	yes	yes	yes (PostgreSQL)
Android APK build / install	yes	yes	WSL2
Anchor firmware (crates/dsm-anchor-pico, TrustZone images)	yes	yes	WSL2

The board. The exact CI test command, run from dsm_client/deterministic_state_machine/:

cargo test --locked --workspace --exclude dsm_storage_node --release -- --nocapture --test-threads=1

It runs in --release because the shipped profile is what is gated and the crypto property tests scale their case counts up outside debug. cargo test --lib is not a board: it never compiles the integration suites. Locally, run the targeted suites for the module you changed, mutation-test any gate you touched, and let CI run the board.

CI shape. On every pull request: rust-gates (fmt, clippy, safety scan), rust-test as a three-way matrix (dsm, dsm_sdk, workspace-rest), storage-node-postgres, formal-validation, frontend, android-unit-tests, embedded (firmware crates), lean, spdx, sbom, and docker. On every push to main the exhaustive rust-board runs the single command above unchanged. Coverage runs on pushes to main and nightly and reports to Codecov. Markdown-only changes are path-ignored. Workflows: .github/workflows/.

Repository rules. One branch, one topic, descriptive names (fix/, feat/, docs/, chore/). No TODO markers. No legacy fallbacks beside new code. Every security gate ships with a mutation test that turns a named test red when the gate is removed. See CONTRIBUTING.md and SECURITY.md for reporting vulnerabilities privately.

Documentation index

• Where the code lives — core dsm/src/ (core, bilateral, dlv, economic, ccb, vault, bitcoin, emissions, crypto), SDK routes dsm_sdk/src/handlers/, storage node dsm_storage_node/, appliance crates/, Android dsm_client/android/, frontend dsm_client/frontend/
• Audits and bench proofs — hardware and design audits, the silicon proof log
• Quickstart, Contributing, Code of Conduct, Security, Support, Changelog
• Proto schema — the wire format

License

Licensed under either of

• Apache License, Version 2.0
• MIT License

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.