Updates

experimental/hyper-p2p-contradiction-graph/.gitignore

@@ -0,0 +1,2 @@
+node_modules/
+*-storage/

experimental/hyper-p2p-contradiction-graph/CHANGELOG.md

@@ -0,0 +1,19 @@
+# Changelog
+
+<!-- legacy: v0.1.0 -->
+
+- Initial release.
+<!-- legacy: v0.2.0 -->
+
+- Production-grade docs, validation, and expanded tests.
+<!-- legacy: v0.3.0 -->
+
+- Wave 6: presence-tier API tables, architecture wire section, validation test.
+
+<!-- legacy: v0.3.1 -->
+
+- Wave 7: correct protocol in docs, getStats(), wire tables, category README.
+## [0.3.2] - 2026-05-21
+
+### Changed
+- Exhaustive documentation pass (api, architecture, README) per DOC_STANDARDS.md.

experimental/hyper-p2p-contradiction-graph/README.md

@@ -0,0 +1,43 @@
+# hyper-p2p-contradiction-graph
+
+Production experimental (wave 4) module: Hyperswarm discovery + Protomux when `topic` is set.
+
+**Category:** Experimental (Wave 4)
+
+**Composes with:** `hyper-p2p-pheromone-trail`, `hyper-p2p-whisper-mesh`, `hyper-p2p-entropy-beacon`
+
+**Protocol:** `contradiction-graph/v1`
+
+## When to use
+
+Multi-peer apps that need experimental (wave 4) over a shared Hyperswarm topic.
+
+## When not to use
+
+Single-process tools with no P2P topic (use local APIs only or skip `ready()`).
+
+## Quick start
+
+```js
+const { HyperP2PContradictionGraph } = require('hyper-p2p-contradiction-graph')
+const topic = process.argv[2] // 64-char hex or string
+const mod = new HyperP2PContradictionGraph({ topic, enableBackgroundTimers: false })
+await mod.ready()   // joins swarm when topic set
+// ... application logic ...
+await mod.close()
+```
+
+## Docs
+
+- [docs/api.md](docs/api.md) — constructor, methods, events, errors
+- [docs/architecture.md](docs/architecture.md) — wire types, state, composition
+- [../_shared/PRODUCTION.md](../../_shared/PRODUCTION.md) — production checklist
+- [../_shared/DOC_STANDARDS.md](../../_shared/DOC_STANDARDS.md) — documentation standards
+
+- Integration: [`../../real_tests/integration/`](../../../real_tests/integration/) — `contradiction-graph-two-node.js`
+
+## Test
+
+```bash
+npm install && npm test
+```

experimental/hyper-p2p-contradiction-graph/docs/api.md

@@ -0,0 +1,90 @@
+# API: hyper-p2p-contradiction-graph
+
+**Protocol:** `contradiction-graph/v1`
+
+**Export:** `HyperP2PContradictionGraph`
+
+## Overview
+
+Production experimental (wave 4) module: Hyperswarm discovery + Protomux when `topic` is set.
+
+## Constructor
+
+```js
+const mod = new HyperP2PContradictionGraph(opts)
+```
+
+| Option | Type | Default | Description |
+|--------|------|---------|-------------|
+| `topic` | varies | null | topic |
+| `keyPair` | KeyPair | random Ed25519 | keyPair |
+
+## Methods
+
+### `claim(subject, predicate, value)`
+
+- **Returns:** `value`
+- **Throws:** — (none documented in method body)
+
+### `contradicts(a, b)`
+
+- **Returns:** `value`
+- **Throws:** — (none documented in method body)
+
+### `conflictSet(—)`
+
+- **Returns:** `value`
+- **Throws:** — (none documented in method body)
+
+### `merge(remote)`
+
+- **Returns:** `value`
+- **Throws:** — (none documented in method body)
+
+### `toJSON(—)`
+
+- **Returns:** `value`
+- **Throws:** — (none documented in method body)
+
+### `ready(—)`
+
+- **Returns:** `Promise`
+- **Throws:** — (none documented in method body)
+
+### `getStats(—)`
+
+- **Returns:** `object`
+- **Throws:** — (none documented in method body)
+
+### `close(—)`
+
+- **Returns:** `Promise<void>`
+- **Throws:** — (none documented in method body)
+
+## Events
+
+| Event | Payload |
+|-------|---------|
+| `claim` | entry |
+| `closed` | no payload |
+
+## getStats()
+
+Returns `{ ...this._stats }` — typically `ops`, `errors`, and module-specific counters (`created`, `relays`, `open`, `peers`, etc.).
+Library-only modules may include `mode: 'local'`.
+
+## Errors
+
+Stable message substrings: see [`../_shared/ERROR_CODES.md`](../../_shared/ERROR_CODES.md).
+
+## P2P
+
+When `topic` is set, `ready()` joins Hyperswarm and opens Protomux `contradiction-graph/v1`.
+
+## Testing
+
+```bash
+npm install && npm test
+```
+
+Integration: [`../../real_tests/integration/contradiction-graph-two-node.js`](../../../real_tests/integration/contradiction-graph-two-node.js)

experimental/hyper-p2p-contradiction-graph/docs/architecture.md

@@ -0,0 +1,43 @@
+# Architecture: hyper-p2p-contradiction-graph
+
+**Category:** Experimental (Wave 4)
+
+```mermaid
+flowchart LR
+  App[Application] --> Mod[HyperP2PContradictionGraph]
+  Mod --> Mux[Protomux contradiction-graph/v1]
+  Mux --> Swarm[Hyperswarm]
+```
+
+## Sequence (P2P)
+
+```mermaid
+sequenceDiagram
+  participant App
+  participant Mod as Module
+  participant SW as Hyperswarm
+  participant Peer
+  App->>Mod: ready(topic)
+  Mod->>SW: join(topic)
+  SW->>Peer: connection
+  Mod->>Peer: gossip / Protomux
+  Peer-->>Mod: onmessage
+  Mod-->>App: emit(event)
+```
+
+## Wire messages
+
+| type | fields | direction | behavior |
+|------|--------|-----------|----------|
+| `claim` | entry | gossip | Handled in onmessage / gossipSend |
+
+## State model
+
+- In-memory `Map` / `Set` structures for hot path
+- Optional Hyperbee/Hypercore persistence when `storageDir` or `memoryOnly` is configured
+- `close()` tears down swarm, timers, and clears ephemeral state
+
+## Composition
+
+Composes with: `hyper-p2p-pheromone-trail`, `hyper-p2p-whisper-mesh`, `hyper-p2p-entropy-beacon`.
+

experimental/hyper-p2p-contradiction-graph/examples/basic.js

@@ -0,0 +1,10 @@
+require('bare-process/global')
+const { HyperP2PContradictionGraph } = require('../index.js')
+async function main () {
+  const g = new HyperP2PContradictionGraph()
+  g.claim('svc', 'alive', true)
+  g.claim('svc', 'alive', false)
+  console.log('conflicts', g.conflictSet().length)
+  await g.close()
+}
+main().catch(console.error)

experimental/hyper-p2p-contradiction-graph/index.js

@@ -0,0 +1,101 @@
+require('bare-process/global')
+const EventEmitter = require('bare-events')
+const b4a = require('b4a')
+const { initModuleSwarm, gossipSend } = require('../../_shared/p2p-bare.js')
+
+const PROTOCOL = 'contradiction-graph/v1'
+
+class HyperP2PContradictionGraph extends EventEmitter {
+  constructor (opts = {}) {
+    super()
+    this._stats = { ops: 0, errors: 0 }
+
+    this.topic = opts.topic || null
+    this.keyPair = opts.keyPair || require('hypercore-crypto').keyPair()
+    this.peerId = b4a.toString(this.keyPair.publicKey, 'hex')
+    this._claims = []
+    this.swarm = null
+    this._peerMsgs = null
+  }
+
+  _claimKey (c) {
+    return `${c.subject}|${c.predicate}`
+  }
+
+  claim (subject, predicate, value) {
+    const entry = {
+      id: b4a.toString(require('hypercore-crypto').hash(b4a.from(JSON.stringify([subject, predicate, value]))), 'hex').slice(0, 12),
+      subject: String(subject),
+      predicate: String(predicate),
+      value,
+      peerId: this.peerId,
+      at: Date.now()
+    }
+    this._claims.push(entry)
+    if (this._peerMsgs) gossipSend(this, { type: 'claim', entry })
+    this.emit('claim', entry)
+    return entry
+  }
+
+  contradicts (a, b) {
+    if (!a || !b) return false
+    return a.subject === b.subject && a.predicate === b.predicate && a.value !== b.value
+  }
+
+  conflictSet () {
+    const groups = new Map()
+    for (const c of this._claims) {
+      const k = this._claimKey(c)
+      if (!groups.has(k)) groups.set(k, [])
+      groups.get(k).push(c)
+    }
+    const conflicts = []
+    for (const [, claims] of groups) {
+      const values = new Set(claims.map((c) => JSON.stringify(c.value)))
+      if (values.size > 1) conflicts.push(claims)
+    }
+    return conflicts
+  }
+
+  merge (remote) {
+    if (!remote || !remote.claims) return 0
+    let n = 0
+    for (const entry of remote.claims) {
+      if (!this._claims.find((c) => c.id === entry.id)) {
+        this._claims.push(entry)
+        n++
+      }
+    }
+    return n
+  }
+
+  toJSON () {
+    return { claims: this._claims }
+  }
+
+  async ready () {
+    if (this.swarm || !this.topic) return this
+    await initModuleSwarm(this, {
+      keyPair: this.keyPair,
+      topic: this.topic,
+      protocol: PROTOCOL,
+      onmessage: (data) => {
+        if (data && data.type === 'claim' && data.entry) this.merge({ claims: [data.entry] })
+      }
+    })
+    return this
+  }
+
+
+  getStats () {
+    return { ...this._stats }
+  }
+
+  async close () {
+    if (this.swarm) await this.swarm.destroy().catch(() => {})
+    this.swarm = null
+    this.emit('closed')
+  }
+}
+
+module.exports = { HyperP2PContradictionGraph, PROTOCOL }

experimental/hyper-p2p-contradiction-graph/package.json

@@ -0,0 +1,23 @@
+{
+  "name": "hyper-p2p-contradiction-graph",
+  "version": "0.3.1",
+  "description": "Opposing claims contradiction lattice for Bare/Pear P2P.",
+  "main": "index.js",
+  "type": "commonjs",
+  "license": "Apache-2.0",
+  "scripts": { "test": "brittle-bare test/test.js" },
+  "dependencies": {
+    "bare-events": "^2.8.0",
+    "bare-process": "^4.4.0",
+    "b4a": "^1.6.7",
+    "hypercore-crypto": "^3.0.0",
+    "protomux": "^3.0.0",
+    "compact-encoding": "^2.0.0"
+  },
+  "peerDependencies": { "hyperswarm": "^4.0.0", "bare": ">=1.0.0" },
+  "devDependencies": { "brittle": "^3.0.0" },
+  "imports": {
+    "process": { "bare": "bare-process", "default": "process" },
+    "events": { "bare": "bare-events", "default": "events" }
+  }
+}

experimental/hyper-p2p-contradiction-graph/test/test.js

@@ -0,0 +1,46 @@
+require('bare-process/global')
+const test = require('brittle')
+const { HyperP2PContradictionGraph } = require('../index.js')
+
+test('contradiction-graph: conflict set', async (t) => {
+  const g = new HyperP2PContradictionGraph()
+  const a = g.claim('node', 'status', 'up')
+  const b = g.claim('node', 'status', 'down')
+  t.ok(g.contradicts(a, b))
+  t.is(g.conflictSet().length, 1)
+  await g.close()
+})
+
+test('contradiction-graph: merge', async (t) => {
+  const a = new HyperP2PContradictionGraph()
+  const b = new HyperP2PContradictionGraph()
+  a.claim('s', 'p', 1)
+  b.merge(a.toJSON())
+  t.is(b._claims.length, 1)
+  await a.close()
+  await b.close()
+})
+test('hyper-p2p-contradiction-graph: close without leak', async (t) => {
+  const m = new HyperP2PContradictionGraph()
+  await m.close()
+  t.pass()
+})
+test('hyper-p2p-contradiction-graph: validation rejects invalid input', async (t) => {
+  const m = new HyperP2PContradictionGraph()
+  try {
+    if (typeof m.addNeighbor === 'function') m.addNeighbor(null)
+    else if (typeof m.buildCircuit === 'function') m.buildCircuit([])
+    else if (typeof m.grant === 'function') m.grant(null, -1)
+    else if (typeof m.enqueue === 'function') m.enqueue('bad', null)
+    else if (typeof m.reportSample === 'function') m.reportSample(null, -1, -1)
+    else if (typeof m.fanout === 'function') m.fanout(null, 0)
+    else if (typeof m.probe === 'function') m.probe(null)
+    else if (typeof m.resolve === 'function') m.resolve(null)
+    else if (typeof m.acquire === 'function') m.acquire(null)
+    else throw new Error('no validation hook')
+    t.fail('expected throw')
+  } catch (err) {
+    t.ok(err instanceof Error)
+  }
+  await m.close()
+})