Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions .ban-nondeterminism-allowlist
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,9 @@ std-fs crates/warp-core/src/wsc/store.rs native WSC filesystem store adapter pen
std-fs crates/warp-core/src/wsc/view.rs native WSC file-open helper pending extraction to a boundary adapter.
std-fs crates/warp-core/src/causal_wal_tests.rs WAL filesystem fixture I/O only.
std-fs crates/warp-core/tests/causal_wal_hardening_tests.rs WAL filesystem fixture I/O only.
std-env crates/warp-core/tests/external_action_protocol_tests.rs external-action filesystem WAL fixture temp directory selection only.
std-fs crates/warp-core/tests/external_action_protocol_tests.rs external-action filesystem WAL fixture I/O only.
std-process crates/warp-core/tests/external_action_protocol_tests.rs external-action filesystem WAL fixture temp directory disambiguation only.
std-fs crates/warp-core/tests/external_consumer_contract_fixture_tests.rs installed-contract restart WAL fixture I/O only.
std-fs crates/warp-core/tests/executable_operation_pipeline_tests.rs executable-operation restart WAL fixture I/O only.
std-fs crates/warp-core/tests/provider_contract_admission_tests.rs provider invocation restart WAL fixture I/O only.
Expand Down
24 changes: 24 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,30 @@

### Added

- Echo now admits domain-neutral external actions through separate
request-before-effect, bounded claim, and settlement-before-resumption WAL
transactions (ADR 0026). Canonical requests bind worldline, operation,
schemas, authority scope, basis, single-claim and retained-byte budgets, input
digest, and reconciliation law. Runtime-owner adapter registration attenuates
operation and scope policy into an exact request-, basis-, and
registry-policy-bound authorization without granting Edict or the provider
seam external authority. `Succeeded`, `Rejected`, `Failed`, and
`OutcomeUnknown` settlements bind the exact request, attempt, adapter, basis,
schema, canonical result bytes, admission evidence, and nonzero external
evidence. Echo derives each lifecycle frontier from a canonical
request-id-keyed sparse Merkle index; insertion order cannot move its root,
one planned mutation advances its bounded path without replaying prior WAL
payloads, and recovery rejects substituted roots. Raw WAL builders and
commit flushes cannot mint the coordinator's opaque authority; causal
transaction coordinates come from one checked local continuation. Arbitrary
recovery reports are observation-only. A coordinator recovered from a
fallible local-store snapshot reconstructs interrupted request tokens, claim
grants, and resumable settlements; storage corruption cannot masquerade as
genesis. Recovery reconstructs requested, claimed, and settled posture from
committed WAL records, including strict filesystem reopen; duplicate,
conflicting, stale, unauthorized, malformed, and over-budget evidence fails
closed. Replay consumes retained settlement bytes and never invokes an
adapter.
- The generic Edict-operation runner now exposes complete fresh-host and
WAL-recovered application-result records beside the applied result. Report
construction fails closed unless all three schema-neutral projection
Expand Down
Loading
Loading