d577ec47e5
All checks were successful
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (push) Successful in 10m25s
Routes were checked and released between separate enforcement points, and nothing booked an intermediary's two holds together or fed netting. A forward is now one double-entry on any op-ledger store: the upstream peer's cover is debited what the intermediary is paid, the downstream peer credited what it pays on, its fees the difference. Pending when the forward is accepted, posted on the route's fulfilment, released by the sweep if the outgoing deadline passes first. - Both legs become real in one write against cover already held, so an intermediary cannot be stranded inside its own book. - A peer's account forbids overdraft and counts reservations as gone, so a forward its cover does not reach is refused when it is offered. - The pair of holds is checked as a route before anything is reserved; a fulfilment shown after the outgoing deadline pays nothing on. - Released forwards are the peers' obligations. Over random forwards, releases and lapses among four peers, the positions netted from them equal what the ledger says each peer gained or lost after every step, no money enters or leaves the book, and they settle in fewer payments than there are parties. Five seeded faults are each caught. agreed-terms.md 6.1 and 7. Co-Authored-By: Claude Fable 5.2 <[email protected]>
66 lines
1.8 KiB
TOML
66 lines
1.8 KiB
TOML
[workspace]
|
|
resolver = "2"
|
|
members = [
|
|
"crates/jcp-schema",
|
|
"crates/jcp-grant",
|
|
"crates/jcp-runtime",
|
|
"crates/jcp-receipt",
|
|
"crates/jcp-action-receipt",
|
|
"crates/jcp-bridge",
|
|
"crates/jcp-energy",
|
|
"crates/jcp-wire",
|
|
"crates/jcp-threshold",
|
|
"crates/jcp-channel",
|
|
"crates/jcp-conformance",
|
|
"crates/jcp-cli",
|
|
"crates/jcp-gateway",
|
|
"crates/jcp-trace",
|
|
"crates/jcp-a2a",
|
|
"crates/jcp-x402",
|
|
"crates/jcp-openpay",
|
|
"crates/jcp-cite",
|
|
"crates/jcp-policy",
|
|
"crates/jcp-prompt",
|
|
"crates/jcp-orchestrate",
|
|
"crates/jcp-intercept",
|
|
"crates/jcp-efficiency",
|
|
"crates/jcp-flow",
|
|
"crates/jcp-logseal",
|
|
"crates/jcp-terms",
|
|
"crates/jcp-relay",
|
|
]
|
|
|
|
[workspace.package]
|
|
version = "0.1.0"
|
|
edition = "2021"
|
|
license = "Apache-2.0"
|
|
repository = "https://github.com/transaction-science/open-standards"
|
|
|
|
[workspace.dependencies]
|
|
jcp-schema = { path = "crates/jcp-schema" }
|
|
jcp-grant = { path = "crates/jcp-grant" }
|
|
jcp-runtime = { path = "crates/jcp-runtime" }
|
|
jcp-receipt = { path = "crates/jcp-receipt" }
|
|
jcp-action-receipt = { path = "crates/jcp-action-receipt" }
|
|
jcp-bridge = { path = "crates/jcp-bridge" }
|
|
jcp-energy = { path = "crates/jcp-energy" }
|
|
|
|
blake3 = "1"
|
|
ed25519-dalek = { version = "2", features = ["rand_core"] }
|
|
bs58 = "0.5"
|
|
serde = { version = "1", features = ["derive"] }
|
|
serde_json = "1"
|
|
hex = "0.4"
|
|
thiserror = "2"
|
|
|
|
[workspace.lints.clippy]
|
|
all = "warn"
|
|
|
|
# The arithmetic under every receipt signature is built optimized even in test
|
|
# builds. Unoptimized it is some two orders of magnitude slower, which prices
|
|
# out the tests most worth having: replaying a log at every prefix verifies
|
|
# each receipt once for every prefix after it.
|
|
[profile.dev.package.curve25519-dalek]
|
|
opt-level = 3
|
|
[profile.dev.package.ed25519-dalek]
|
|
opt-level = 3
|