b838b86a8b
Joule Code is the coding cargo class of the substrate: a coding operation — an edit, refactor, or generated function — is a content-addressed, signed transition over a source tree, resolved through the energy-tiered cascade (L0 Cache → L1 Lawful → L2 Embed → L3 Model → L4 Wire, stop-at-first-close) with a signed JWP receipt (measured + estimated µJ, honest Provenance) per operation. The agent schema is JouleClaw; L4 frontier agents are reached over ACP with the credential held by the vendor's own client — no protocol token, no required contact with any single company. Stands up the standard to the family schema: - README, SPEC.md (RFC-2119 normative), dual licence (Apache-2.0 code / CC-BY-4.0 spec), ROADMAP, CONTRIBUTING, CHANGELOG. - spec/: cargo (the coding-operation type), cascade (the tier binding), receipt (the JWP energy record), collab (federated, interface-level/Research). - vocab/LEXICON.md. - conformance/v1/: C1 content-addressing, C2 signing, C3 receipt, C4 cascade vectors + VERSIONS + regeneration; real Ed25519 RFC-8032 KATs, derived fields regenerated against the reference library. - joule-code-rs/: lean reference library (schema, cargo, receipt, cascade, conformance). cargo test --workspace passes; the conformance harness runs 11 pass / 0 fail / 7 skip (derived fields pending regeneration). Single-endpoint operation is the v0.1 surface; federated collaboration is specified at interface level and classified Research. Registers the standard in the family README. Co-Authored-By: Claude Opus 4.8 <[email protected]>
37 lines
1.6 KiB
JSON
37 lines
1.6 KiB
JSON
[
|
|
{
|
|
"name": "casc-001-stop-at-l0",
|
|
"description": "Positive (C4): L0 closes (cache hit). The cascade MUST stop at L0 and MUST NOT consult any higher tier. Closing tier = L0.",
|
|
"stages": ["L0", "L2", "L3", "L4"],
|
|
"stage_closes": { "L0": true, "L2": true, "L3": true, "L4": true },
|
|
"expected_closing_tier": "L0"
|
|
},
|
|
{
|
|
"name": "casc-002-skip-absent-tiers",
|
|
"description": "Positive (C4): L0 and L2 are present but do not close; L3 closes. Closing tier = L3. (L1 absent — cascade skips absent tiers.)",
|
|
"stages": ["L0", "L2", "L3", "L4"],
|
|
"stage_closes": { "L0": false, "L2": false, "L3": true, "L4": true },
|
|
"expected_closing_tier": "L3"
|
|
},
|
|
{
|
|
"name": "casc-003-fall-through-to-l4",
|
|
"description": "Positive (C4): nothing below L4 closes; L4 (the remote frontier escape hatch) closes. Closing tier = L4.",
|
|
"stages": ["L0", "L2", "L3", "L4"],
|
|
"stage_closes": { "L0": false, "L2": false, "L3": false, "L4": true },
|
|
"expected_closing_tier": "L4"
|
|
},
|
|
{
|
|
"name": "casc-004-l4-only-runtime",
|
|
"description": "Positive (C4): a runtime with only an L4 stage is conformant (it has opted out of the doctrine's benefit, not its rules). Closing tier = L4.",
|
|
"stages": ["L4"],
|
|
"stage_closes": { "L4": true },
|
|
"expected_closing_tier": "L4"
|
|
},
|
|
{
|
|
"name": "casc-005-nothing-closes",
|
|
"description": "Negative (C4): no stage closes the request. The cascade MUST report no resolution rather than fabricate one.",
|
|
"stages": ["L0", "L2", "L3"],
|
|
"stage_closes": { "L0": false, "L2": false, "L3": false },
|
|
"expected_closing_tier": null
|
|
}
|
|
]
|