| Filename | Latest commit message | Latest commit date |
|---|---|---|
0074239638
conformance vectors, ROADMAP
874 tests pass workspace-wide, 0 fail, 52 ignored.
jouleclaw-cascade::lawful (NEW)
LawfulPrimitive trait + LawfulRegistry + LawfulHit. The L1 trait
surface every consumer can plug their lexicon into. Tiny by design
— three methods (id, try_resolve, declared_cost_uj). Pattern-lang's
pattern-core + cortex-ir synthesizer is the largest known consumer
(688+ primitives); smaller consumers ship a handful of arithmetic
helpers. Runtimes that ship no lawful library construct an empty
registry and the cascade walks past L1 to L2. 5 unit tests
passing.
jouleclaw-edge (NEW — replaces deferred joule-edge port)
End-to-end edge demo + LawfulRegistryTier shim. Registers every
portable JouleClaw tier (EbmTier, MrlTier, LiquidTier, PrismTier,
LmmTier) plus an L1 wrapper that delegates to a consumer-supplied
LawfulRegistry. `cargo run --bin jouleclaw-edge` prints the
cascade trace for 6 representative queries. The OpenIE-IP-bound
tier types (joule_l1::LawfulTier/PlannerTier/WorldModelTier,
lean_bridge::LeanProofTier, synth::SynthesisTier) were dropped
during the port — they re-enter at the consumer site through the
registry shim and any consumer-side tiers the consumer cares to
register. 3 lib tests passing.
conformance/v1 (3 wire vectors)
cache-hit/ — L0 repeat-query receipt
with empty tools_touched
breaker-trips-on-budget-exhaust/ — thermodynamic kill-switch
proof (budget_uj=100 vs L3
inference estimate)
joule-mcp-cbor-negotiation/ — 4-row capability handshake
matrix (the canonical tag
is x-jouleclaw/joule-mcp@1)
Each vector ships input.txt + receipt.json + README.md. Receipt
bodies use the standard Receipt schema from jouleclaw-prov.
ROADMAP.md
Plans the deferred work explicitly:
near-term (v0.2): gemma4 port, edge-server, conformance vector
population, SHA256SUMS + release signature
medium-term (v0.3): split jouleclaw-omni into separate per-
subsystem crates (hal/tensor/diffusion/
musicgen/whisper/gaussian3d/video/fusion/
modality-*); extract jouleclaw-backend-{cuda,
rocm,vulkan} from the omni HAL
long-term (v1.0): multi-machine cascade; hardware-attested
receipt schema v2; second-language reference
impl (Go or Zig)
Explicitly NOT on the roadmap: training framework, a specific
signing key topology, a blessed retrieval API.
Public sites (separate commits below)
transaction.science main site → 5-card open-standards grid live
(commit
|
||
| .. | ||
| matrix.json | ||
| README.md | ||
Conformance vector — joule-mcp CBOR negotiation
Exercises the x-jouleclaw/joule-mcp@1 capability handshake. Two
endpoints that both advertise the capability MUST elect the CBOR wire;
when either side omits it the wire MUST stay JSON-RPC.
The matrix
| Side A advertises | Side B advertises | Negotiated wire |
|---|---|---|
| (none) | (none) | JSON-RPC |
| (none) | x-jouleclaw/joule-mcp@1 |
JSON-RPC |
x-jouleclaw/joule-mcp@1 |
(none) | JSON-RPC |
x-jouleclaw/joule-mcp@1 |
x-jouleclaw/joule-mcp@1 |
CBOR |
A conforming runtime MUST pass cargo test -p jouleclaw-mcp with the
negotiate_* tests green, which encode this matrix verbatim. The
canonical capability tag is x-jouleclaw/joule-mcp@1 — implementations
MUST advertise that exact string. Tags with different versions or
namespaces do NOT trigger CBOR.
Acceptance bounds
For each row of the matrix the function call
negotiate(&local_caps, &remote_caps)
MUST return the indicated WireEncoding value. There is no platform
variation here — this is a pure protocol-level test, not a measurement.
Files
matrix.json— the four-row matrix above in machine-readable formREADME.md— this file
This vector has no receipt.json — it tests the protocol handshake,
not a cascade walk.