V36 Gate 5: Implement Exchange pricing quote

Adds the package-owned ExchangePricingQuote builder, deterministic pricing/liquidity/wrapper artifact, generated quote roots, payment mismatch closure states, and source-safe docs/spec parity for V36 Exchange pricing.

Validation: pnpm run check:v36-gate5; pnpm run check:v36-exchange-pricing-quote; pnpm --filter @bitcode/protocol exec node --test --test-force-exit test/v36-exchange-pricing-quote.test.js; pnpm --filter @bitcode/protocol typecheck; pnpm --filter @bitcode/protocol test; pnpm run check:v36-gate4; pnpm run check:v36-gate3; pnpm run check:v36-gate2; pnpm run check:v36-gate1; node scripts/check-bitcode-spec-family.mjs --version V36 --mode draft --current-target V35; node scripts/check-bitcode-canonical-inputs.mjs --current-target V35; node scripts/check-bitcode-canon-posture-drift.mjs --active-canon V35 --draft-target V36; node scripts/check-v35-gate10-promotion-readiness.mjs --promotion-mode --skip-branch-check; git diff --cached --check.

Author: geraldarthurdavis

.bitcode/v36-pricing-liquidity-fee-quote.json

@@ -82,6 +82,9 @@ jobs:
               if [ -f scripts/check-v36-gate4-exchange-rights-transfer-review.mjs ]; then
                 node scripts/check-v36-gate4-exchange-rights-transfer-review.mjs --skip-branch-check
               fi
+              if [ -f scripts/check-v36-gate5-exchange-pricing-quote.mjs ]; then
+                node scripts/check-v36-gate5-exchange-pricing-quote.mjs --skip-branch-check
+              fi
             fi
           else
             echo "Unexpected BITCODE_SPEC.txt pointer: $POINTER" >&2

.github/workflows/bitcode-canon-quality.yml

@@ -210,6 +210,9 @@ jobs:
               if [ -f scripts/check-v36-gate4-exchange-rights-transfer-review.mjs ]; then
                 node scripts/check-v36-gate4-exchange-rights-transfer-review.mjs --skip-branch-check
               fi
+              if [ -f scripts/check-v36-gate5-exchange-pricing-quote.mjs ]; then
+                node scripts/check-v36-gate5-exchange-pricing-quote.mjs --skip-branch-check
+              fi
             fi
           else
             echo "Unexpected BITCODE_SPEC.txt pointer: $POINTER" >&2
@@ -268,6 +271,7 @@ jobs:
           pnpm --dir packages/protocol exec node --test --test-force-exit test/v36-exchange-activity-book.test.js
           pnpm --dir packages/protocol exec node --test --test-force-exit test/v36-exchange-intent-order-contracts.test.js
           pnpm --dir packages/protocol exec node --test --test-force-exit test/v36-exchange-rights-transfer-review.test.js
+          pnpm --dir packages/protocol exec node --test --test-force-exit test/v36-exchange-pricing-quote.test.js
           pnpm --filter @bitcode/api exec jest --config jest.config.cjs --runTestsByPath src/routes/__tests__/btd-crypto.test.ts --runInBand
           pnpm --filter @bitcode/api exec jest --config jest.config.cjs --runTestsByPath src/routes/__tests__/auxillaries-contract.test.ts --runInBand
           pnpm --dir packages/executions-mcp/src/mcp-server run test:mcp -- --runTestsByPath src/__tests__/unit/auth.test.ts --runInBand

.github/workflows/bitcode-gate-quality.yml

@@ -118,6 +118,37 @@ and admits no payment or delivery until repaired.
 Ledger journal state remains stronger than database projection state for
 rights-transfer preview, owner truth, and unlock state.
 
+## V36 Gate 5 ExchangePricingQuote canon
+
+Gate 5 implements `ExchangePricingQuote` as the package-owned deterministic
+pricing contract for Exchange quote review.
+`ExchangePricingQuote` names quote identity, quote state, AssetPack id, BTD
+range identity, BTC amount, measurement weight, measurement volume, liquidity
+band, wrapper analysis, treasury route, depositor route, reader route, quote
+root, network posture, settlement window, fail-closed conditions, proof roots,
+event ids, and ledger/database projection references before settlement can
+continue.
+
+Gate 5 emits `.bitcode/v36-pricing-liquidity-fee-quote.json` with
+`source-safe-exchange-pricing-quote-metadata`.
+The deterministic quote basis includes measurement weight, measurement volume, liquidity band, wrapper analysis, BTC amount, treasury route, depositor route, reader route, and quote root.
+The source-safe quote may expose quote identity, AssetPack id, BTD range
+identity, BTC amount, measurement metadata, liquidity metadata, wrapper
+metadata, route metadata, proof roots, event ids, ledger/database projection
+refs, and fail-closed conditions; it must not expose protected source, unpaid
+AssetPack source, wallet private material, provider tokens, protected prompts,
+protected model responses, private payment credentials, private buyer
+repository payloads, or secret values.
+
+wrapper analysis cannot make BTD range cells fungible chain-of-record assets.
+BTD range cells remain non-fungible source-share identities whose chain of
+record is the BTD range ledger journal, even when a wrapper is used for
+pricing, review, transfer, or market UX metadata.
+underpayment, overpayment, stale quote, or unsupported network posture fails closed.
+Ledger journal state remains stronger than database projection state for quote
+roots, settlement admission, payment matching, route allocation, and network
+posture.
+
 ## Canonical Bitcode executive summary
 
 Bitcode measures technical knowledge, finds deposits that fit reviewed Reads, synthesizes source-bearing AssetPacks, and settles read rights in BTC with BTD range and rights receipts.

BITCODE_SPEC_V36.md

@@ -114,7 +114,9 @@ Closure acceptance:
 
 - `ExchangePricingQuote` includes BTC amount, measurement weight, measurement volume, liquidity band, wrapper analysis, treasury route, depositor route, reader route, and quote root;
 - wrapper analysis cannot make BTD range cells fungible chain-of-record assets;
-- underpayment, overpayment, stale quote, or unsupported network posture fails closed.
+- underpayment, overpayment, stale quote, or unsupported network posture fails closed;
+- `.bitcode/v36-pricing-liquidity-fee-quote.json` is generated from the package-owned builder with `source-safe-exchange-pricing-quote-metadata`;
+- `pnpm run check:v36-gate5` validates package source, artifact freshness, package tests, docs, workflow wiring, BTC amount, measurement weight, measurement volume, liquidity band, wrapper analysis, treasury/depositor/reader routes, quote roots, wrapper non-fungibility, payment mismatch closure, stale quote closure, unsupported network closure, source-safety, proof roots, event ids, and ledger/database projection posture.
 
 ### Gate 6: Exchange Settlement Ledger Database Reconciliation
 

BITCODE_SPEC_V36_DELTA.md

@@ -114,6 +114,18 @@ The preview states distinguish owner-read, licensed-read, and blocked transfer s
 admitting payment/delivery for stale ownership, missing authority, policy denial,
 or missing transfer receipts.
 
+## Gate 5 closure notes
+
+Gate 5 closes when `ExchangePricingQuote` is package-owned and generated
+through `.bitcode/v36-pricing-liquidity-fee-quote.json`.
+The generated artifact carries `source-safe-exchange-pricing-quote-metadata`,
+BTC amount, measurement weight, measurement volume, liquidity band, wrapper analysis, treasury route, depositor route, reader route, quote root, proof
+roots, event ids, ledger/database projection refs, and fail-closed conditions.
+wrapper analysis cannot make BTD range cells fungible chain-of-record assets;
+the BTD range ledger journal remains the ownership and range identity record.
+underpayment, overpayment, stale quote, or unsupported network posture fails closed so settlement cannot continue with mismatched payment, expired price,
+or unsupported network state.
+
 ## Accepted boundaries
 
 - V36 owns deeper Exchange.

BITCODE_SPEC_V36_NOTES.md

@@ -57,7 +57,7 @@ No `_legacy/` source is active source truth.
 | Exchange activity book | Gate 2 | `ExchangeActivityBook`, `.bitcode/v36-exchange-activity-book.json`, package source, tests, and `check:v36-gate2` | closed | Market-wide source-safe activity rows, filters, details, proof roots, event ids, redaction posture, and telemetry bindings exist. |
 | Exchange intent and order contracts | Gate 3 | `ExchangeIntent`, `ExchangeOrder`, `.bitcode/v36-exchange-intent-order-contracts.json`, package source, tests, and `check:v36-gate3` | closed | Buy, sell, bid, ask, cancel, accept, settle, and history transitions are typed, authorized, idempotent, policy-gated, source-safe, and replayable. |
 | Rights-transfer review | Gate 4 | `ExchangeRightsTransferPreview`, `.bitcode/v36-exchange-rights-transfer-review.json`, package source, tests, and `check:v36-gate4` | closed | BTD range identity, ownership, buyer, rights scope, disclosure boundary, settlement unlock, owner-read, licensed-read, and blocked transfer states are source-safe. |
-| Pricing quote | Gate 5 | `ExchangePricingQuote`, `.bitcode/v36-pricing-liquidity-fee-quote.json`, package source, tests, and `check:v36-gate5` | draft-required | BTC price, measurement weight, measurement volume, liquidity, wrapper analysis, fee split, and quote root are deterministic. |
+| Pricing quote | Gate 5 | `ExchangePricingQuote`, `.bitcode/v36-pricing-liquidity-fee-quote.json`, package source, tests, and `check:v36-gate5` | closed | BTC price, measurement weight, measurement volume, liquidity band, wrapper analysis, treasury/depositor/reader routes, quote roots, and fail-closed payment/network posture are deterministic. |
 | Settlement reconciliation | Gate 6 | `ExchangeSettlementReceipt`, `.bitcode/v36-exchange-settlement-reconciliation.json`, observers, repair tests, and `check:v36-gate6` | draft-required | Ledger, database, object storage, finality, delivery, and rights-transfer roots reconcile. |
 | Dispute repair revenue routes | Gate 7 | `ExchangeDisputeRepairCase`, `ExchangeRevenueRoute`, `.bitcode/v36-exchange-dispute-repair-revenue-route.json`, tests, and `check:v36-gate7` | draft-required | Disputes, repairs, revenue routes, conservation proofs, runbooks, and escalation paths exist. |
 | Exchange UX and Terminal integration | Gate 8 | `/exchange`, Terminal handoff, public docs, telemetry dashboards, `.bitcode/v36-exchange-ux-proof.json`, and `check:v36-gate8` | draft-required | Master-detail UX, source-safe expanded detail, order history, and Terminal navigation are validated. |
@@ -78,7 +78,7 @@ No `_legacy/` source is active source truth.
 | Exchange vocabulary | V36 spec family names `ExchangeActivityBook`, `ExchangeIntent`, `ExchangeOrder`, `ExchangeRightsTransferPreview`, `ExchangePricingQuote`, `ExchangeSettlementReceipt`, `ExchangeDisputeRepairCase`, and `ExchangeRevenueRoute` | drafted |
 | Disclosure boundary | Exchange previews expose source-safe market, proof, fee, rights, and settlement metadata, not protected source, secrets, wallet private material, or unpaid AssetPack contents | drafted |
 | Ledger projection boundary | Ledger records and journals outrank Supabase/PostgreSQL projections for ownership, settlement, and finality | drafted |
-| Pricing determinism | Measurement weight, measurement volume, liquidity, wrapper analysis, and BTC fee roots are auditable before settlement | draft-required |
+| Pricing determinism | Measurement weight, measurement volume, liquidity band, wrapper analysis, and BTC fee roots are auditable before settlement | closed |
 | Repair posture | Dispute and repair paths exist before optimistic Exchange settlement UX is promotion-ready | draft-required |
 
 ## Gate 1 Parity
@@ -134,6 +134,19 @@ No `_legacy/` source is active source truth.
 | Ledger/database projection posture is explicit | ledger journal refs outrank database projection refs for rights-transfer preview and owner truth | closed |
 | Workflow and package tests are wired | `packages/protocol/test/v36-exchange-rights-transfer-review.test.js`, `scripts/check-v36-gate4-exchange-rights-transfer-review.mjs`, `.github/workflows/bitcode-gate-quality.yml` | closed |
 
+## Gate 5 Parity
+
+| Requirement | Source evidence | Current V36 judgment |
+| --- | --- | --- |
+| `ExchangePricingQuote` is package-owned | `packages/protocol/src/canonical/exchange-pricing-quote.js`, `packages/protocol/src/index.js`, `packages/protocol/src/index.d.ts` | closed |
+| Generated pricing artifact exists | `.bitcode/v36-pricing-liquidity-fee-quote.json`, `scripts/generate-v36-exchange-pricing-quote.mjs`, `pnpm run check:v36-exchange-pricing-quote` | closed |
+| Deterministic quote inputs are covered | BTC amount, measurement weight, measurement volume, liquidity band, wrapper analysis, treasury route, depositor route, reader route, and quote root | closed |
+| Wrapper non-fungibility boundary is enforced | wrapper analysis cannot make BTD range cells fungible chain-of-record assets | closed |
+| Payment and network failures close safely | underpayment, overpayment, stale quote, or unsupported network posture fails closed | closed |
+| Pricing payloads are source-safe | `source-safe-exchange-pricing-quote-metadata`; protected source, unpaid AssetPack source, private wallet material, provider tokens, protected prompts, protected model responses, private payment credentials, private buyer payloads, and secret values are forbidden | closed |
+| Ledger/database projection posture is explicit | ledger journal refs outrank database projection refs for quote roots, settlement admission, route allocation, and network posture | closed |
+| Workflow and package tests are wired | `packages/protocol/test/v36-exchange-pricing-quote.test.js`, `scripts/check-v36-gate5-exchange-pricing-quote.mjs`, `.github/workflows/bitcode-gate-quality.yml` | closed |
+
 ## V36 accepted boundaries
 
 - V36 owns deeper Exchange.

BITCODE_SPEC_V36_PARITY_MATRIX.md

@@ -37,6 +37,11 @@ identity, current owner, requested buyer, rights scope, settlement unlock,
 disclosure limit, and owner-read, licensed-read, and blocked transfer states.
 AssetPack source is hidden until paid settlement and rights transfer are
 complete.
+V36 Gate 5 anchors pricing through package-owned `ExchangePricingQuote` and the
+source-safe generated artifact `.bitcode/v36-pricing-liquidity-fee-quote.json`.
+The quote covers BTC amount, measurement weight, measurement volume, liquidity band, wrapper analysis, treasury route, depositor route, reader route, and
+quote root. The source-safe verdict is
+`source-safe-exchange-pricing-quote-metadata`; wrapper analysis cannot make BTD range cells fungible chain-of-record assets, and underpayment, overpayment, stale quote, or unsupported network posture fails closed.
 Promoted V35 closure owns telemetry and documentation depth over promoted V34:
 internal codebase docs, public `/docs`, telemetry taxonomy, dashboards, alert
 runbooks, incident response, operator escalation, documentation QA, developer

README.md

@@ -5,7 +5,7 @@
 - Current active canonical pointer: `BITCODE_SPEC.txt` -> `V35`
 - Current active canon: `BITCODE_SPEC_V35.md`
 - Current draft target: `BITCODE_SPEC_V36.md`
-- Current working gate: V36 Gate 5 Pricing Liquidity Fee Quote And Wrapper Analysis, following V36 Gate 4 Exchange rights-transfer review closure.
+- Current working gate: V36 Gate 6 Exchange Settlement Ledger Database Reconciliation, following V36 Gate 5 Exchange pricing/liquidity quote closure.
 - Latest closed version: V35 Telemetry And Documentation Depth, which promoted documentation surfaces, telemetry taxonomy, public docs, dashboards, alert runbooks, incident response, operator escalation, documentation QA, onboarding, local/staging telemetry rehearsal, and V35 promotion readiness.
 - Recent V35 closure anchor: V35 Gate 10 Promotion Readiness generated V35 proof support, promoted `BITCODE_SPEC.txt` to `V35`, prepared V35 active / V36 draft runtime posture, and closed telemetry/documentation-depth canon.
 - V34 Gate 2 closure anchor: deployment-depth now owns package-backed `DeploymentHostCapabilityCatalog` and `EnvironmentLaneContract` source, deterministic `.bitcode/v34-deployment-host-capability-catalog.json` and `.bitcode/v34-environment-lane-contracts.json`, and visible `value-bearing-mainnet` blocking through `blocked_future_canon_required`.
@@ -31,6 +31,7 @@
 - V36 Gate 2 closure anchor: Exchange depth now owns package-backed `ExchangeActivityBook` source, deterministic `.bitcode/v36-exchange-activity-book.json`, `source-safe-exchange-activity-book-metadata`, listing, bid, ask, cancellation, acceptance, settlement, repair, revenue route, and history entry rows, market-wide filters, detail sections, proof roots, event ids, redaction posture, ledger/database projection references, package tests, workflow wiring, and `check:v36-gate2`; activity detail never exposes protected source or unpaid AssetPack content.
 - V36 Gate 3 closure anchor: Exchange depth now owns package-backed `ExchangeIntent` and `ExchangeOrder` source, deterministic `.bitcode/v36-exchange-intent-order-contracts.json`, `source-safe-exchange-intent-order-contract-metadata`, buy, sell, bid, ask, cancel, accept, settle, and history transition rows, actor principals, organization roles, wallet posture, authority proofs, idempotency keys, policy decisions, fail-closed results, proof roots, event ids, ledger journal refs, database projection refs, package tests, workflow wiring, and `check:v36-gate3`; order history is replayable without private wallet material or secrets.
 - V36 Gate 4 closure anchor: Exchange depth now owns package-backed `ExchangeRightsTransferPreview` source, deterministic `.bitcode/v36-exchange-rights-transfer-review.json`, `source-safe-exchange-rights-transfer-review-metadata`, BTD range identity, current owner, requested buyer, rights scope, settlement unlock condition, disclosure limit, owner-read, licensed-read, and blocked transfer preview states, proof roots, event ids, ledger/database projection refs, package tests, workflow wiring, and `check:v36-gate4`; AssetPack source is hidden until paid settlement and rights transfer are complete.
+- V36 Gate 5 closure anchor: Exchange depth now owns package-backed `ExchangePricingQuote` source, deterministic `.bitcode/v36-pricing-liquidity-fee-quote.json`, `source-safe-exchange-pricing-quote-metadata`, BTC amount, measurement weight, measurement volume, liquidity band, wrapper analysis, treasury route, depositor route, reader route, quote root, proof roots, event ids, ledger/database projection refs, package tests, workflow wiring, and `check:v36-gate5`; wrapper analysis cannot make BTD range cells fungible chain-of-record assets, and underpayment, overpayment, stale quote, or unsupported network posture fails closed.
 - Purpose: concise running index of Bitcode/ENGI specification history, current work, and planned work.
 
 This roadmap is not an active system specification.

SPECIFICATIONS_ROADMAP.md

@@ -194,6 +194,9 @@
     "generate:v36-exchange-rights-transfer-review": "node scripts/generate-v36-exchange-rights-transfer-review.mjs",
     "check:v36-exchange-rights-transfer-review": "node scripts/generate-v36-exchange-rights-transfer-review.mjs --check",
     "check:v36-gate4": "node scripts/check-v36-gate4-exchange-rights-transfer-review.mjs",
+    "generate:v36-exchange-pricing-quote": "node scripts/generate-v36-exchange-pricing-quote.mjs",
+    "check:v36-exchange-pricing-quote": "node scripts/generate-v36-exchange-pricing-quote.mjs --check",
+    "check:v36-gate5": "node scripts/check-v36-gate5-exchange-pricing-quote.mjs",
     "check:spec-quality": "node scripts/run-bitcode-spec-quality.mjs --mode basic",
     "check:spec-quality:title": "node scripts/run-bitcode-spec-quality.mjs --mode strict-from-title",
     "check:spec-quality:v24": "node scripts/run-bitcode-spec-quality.mjs --mode strict-version --version V24",