Skip to content

MVP - #1

Merged
hard-nett merged 57 commits into
mainfrom
feat/zk-wasmvm
Sep 7, 2026
Merged

MVP#1
hard-nett merged 57 commits into
mainfrom
feat/zk-wasmvm

Conversation

@hard-nett

Copy link
Copy Markdown

No description provided.

hard-nett added 27 commits June 12, 2026 12:06
Capture the approved design for hardening IBC script generation:
shared predict/observe/diff authenticity model, thin CLI + lib layout,
golden fixtures, and a 4-chain line Docker harness with tokenfactory.
Track A (lib/golden) and Track B (harness) ownership split with shared
context for orchestrated parallel implementation.
Implement ignored Docker integration test for line topology A—B—C—D,
tokenfactory matrix, hop-by-hop scenarios 1–6 with predict==trace==balance
assertions, harness docs, and honest tests/README multichain section.
Track A: pure scripts::ibc predict/observe/diff library under tests/src/ibc/,
ibc_core re-exports for back-compat, hop_count honesty + prefer-direct
invariants, golden fixtures and offline unit/golden tests.
Critic pass over plan + dual-agent prompts and shipped A/B work:
generator/lib divergence, closed-loop goldens, unproven harness.
Wire ibc binary to scripts::ibc with generate|validate|compare, fail-closed
invariants, and generation meta. Harden graph (transfer-only, path nest),
prefer-direct on any ACTIVE edge, preferred-port/side policy, audited vs
synthetic goldens, non-inverting FixtureBackend + SnapshotBackend, and
PredictedWorld checks in the multihop harness.
Post-remediation critic pass: top-5 all partial; half-publish generate,
unattested harness, and community-pin goldens remain open.
Rebuild prefer-direct single-hop denoms from public/ibc-data and document
contrast with stale multi-hop lookup table (live generate blocked on gRPC).
Package rename scripts → terp-scripts, IBC agent CLI (terp-ibc) with
preflight/validate/rebuild-from-public and RunReport JSON. Tiered CI
(ci-core/extended/heavy), local act/host exercise scripts with teardown,
authenticity lib + goldens, smart-account/hash-market/crosslink progress,
and workspace version 0.0.2.

Branch: v0.0.2-dev
Pointer for ecosystem unify: cw-private-dex product surface moves under
contracts/revenue (from headstash workspace). See spectrum UNIFY plan.
Local checkpoint only; not pushed.
…tree)

Move product SSOT from docs/plans/spectrum into terp-rs:

- Pure seam crates under crates/{private_dex_seams,compose_seams,
  bridge_auth_seams,seam_note_out,cashapp_zec_corridor}
- cw-private-dex → contracts/revenue/private-dex
- Freezes, e2e, agents, book → docs/private-bridge/

Workspace members updated. Local only; not pushed.
Add DUAL-IDENTITY checks in dep verify for cosmwasm-stack crates, document
freeze/matrix drift on groot-as-basis workflow, and set clone-cw-multi-test
package to abstract-cw-multi-test so switches emit valid patches.
… labels

Replace matrix defaults and mvp/zk-mvp branch pins with v3.1.0-zk.0.
Document versioning (BRANCHING.md) and ban cw3-base-local-freeze as product tip.
Sort GET /vote-extension provider pick and merkle leaves; sort oracle
bound sources. Aggregate attestation root matches the keeper (hex-decode
value, source_id then value/height). Sidecar emits attestations on the
JSON field terpd unmarshals so opposite present-order is a real VE input.
Brings the committed v0.0.2-dev snapshot onto the zk-wasmvm line.
Local uncommitted WIP on v0.0.2-dev is not part of this merge.
@hard-nett
hard-nett merged commit bc1c7db into main Sep 7, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant