Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
48 commits
Select commit Hold shift + click to select a range
7eb3ea2
Record typed outgoing-range reads against immutable frontiers
flyingrobots Oct 19, 2026
03e0011
Run effect range read witnesses in feature-qualified CI lanes
flyingrobots Oct 19, 2026
b374bdb
Bound effect read storage with atomic resource reservations
flyingrobots Oct 19, 2026
b46455c
Share resource meters between compiled computation and graph reads
flyingrobots Oct 19, 2026
784c61a
Bind private effect frames to the runtime commit parent
flyingrobots Oct 19, 2026
da04e12
Interpret compiled atom reads through the recorded effect frame
flyingrobots Oct 19, 2026
f555aa6
Merge remote-tracking branch 'origin/main' into feat/authored-effect-…
flyingrobots Oct 19, 2026
e61e835
feat: authorize recorded reads under typed footprint laws
flyingrobots Oct 19, 2026
9b7db0c
feat: export canonical typed read-set images
flyingrobots Oct 19, 2026
6107b35
fix: guarantee read-image buffer alignment across targets
flyingrobots Oct 19, 2026
57afb57
fix: schedule read-image codec tests in runtime CI
flyingrobots Oct 19, 2026
e37a472
Merge proven unsigned addition into authored-effect bridge
flyingrobots Oct 19, 2026
b9ee20b
Decode strict executable graph-schema relations for authored effects
flyingrobots Oct 19, 2026
fcf61a8
Merge remote-tracking branch 'origin/feat/proven-unsigned-addition' i…
flyingrobots Oct 19, 2026
617603b
Merge remote-tracking branch 'origin/main' into feat/authored-effect-…
flyingrobots Oct 19, 2026
4eacdc6
Bind V2 effect publications to exact program schema and footprint law
flyingrobots Oct 19, 2026
d163d06
Bind V2 effect invocation input to its package and evaluation basis
flyingrobots Oct 19, 2026
fb53a33
Admit V2 effect publications under runtime-owner package policy
flyingrobots Oct 19, 2026
9a6a501
Install and recover V2 effect publications through the runtime WAL ca…
flyingrobots Oct 19, 2026
d27c7c7
Keep V2 WAL fixtures within determinism boundaries
flyingrobots Oct 19, 2026
48d2d8a
Require one current format in main crates
flyingrobots Oct 19, 2026
ca78d85
Unify operation package admission policy and refusals
flyingrobots Oct 19, 2026
4d615b2
Use one current operation recovery index
flyingrobots Oct 19, 2026
84e36df
Consolidate operation publication and program definitions
flyingrobots Oct 19, 2026
24c59c3
Unify package admission evidence and owner API
flyingrobots Oct 19, 2026
66571a7
Unify operation installation records and catalog
flyingrobots Oct 19, 2026
de10fb3
Unify operation invocations and admit effect grants
flyingrobots Oct 19, 2026
8947301
Bind effect programs to compiler artifacts
flyingrobots Oct 19, 2026
a6c4590
Validate ordered effect instructions and lexical scope
flyingrobots Oct 19, 2026
4523a51
Bind effect lowering to pinned lawpack adapters
flyingrobots Oct 19, 2026
09ff5d2
Check effect data types and declared failure authority
flyingrobots Oct 19, 2026
4c767d2
Authenticate imported Core type declarations
flyingrobots Oct 19, 2026
aaf8884
Preserve nominal identities in shared inference
flyingrobots Oct 19, 2026
de4fc4f
Bind intrinsic catalogs to runtime read contracts
flyingrobots Oct 19, 2026
0967d1f
Execute authored read programs in recorded frames
flyingrobots Oct 19, 2026
3d8a8b8
Buffer compiled graph mutation intents
flyingrobots Oct 19, 2026
bf2c264
Bind completed authored execution to its origin
flyingrobots Oct 19, 2026
512e82d
Enforce authored mutation emission budgets
flyingrobots Oct 19, 2026
3fe2066
Derive private authored patches at exact runtime parents
flyingrobots Oct 19, 2026
ef23584
Bind completed authored evaluations to their runtime owner
flyingrobots Oct 19, 2026
afe9003
Declare bounded authored-effect provider configuration
flyingrobots Oct 19, 2026
690cabd
Merge main byte declarations into authored effect bridge
flyingrobots Oct 19, 2026
71d70c6
Publish reproducible combined effect-provider schema component
flyingrobots Oct 19, 2026
41037d4
Bind explicit effect catalogs to selected target profiles
flyingrobots Oct 19, 2026
cf21f82
Serialize current effect proposals with derived artifact identities
flyingrobots Oct 19, 2026
2e2bbe7
Correct the effect wire fixture documentation license header
flyingrobots Oct 19, 2026
09239c7
Admit current effect envelopes through the provider output schema
flyingrobots Oct 19, 2026
cd75aa0
Separate effect publication checks from trusted host authority
flyingrobots Oct 19, 2026
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
2 changes: 2 additions & 0 deletions .ban-nondeterminism-allowlist
Original file line number Diff line number Diff line change
Expand Up @@ -49,3 +49,5 @@ std-env crates/warp-core/benches/support/action_scene.rs benchmark driver reads
std-fs crates/warp-core/benches/support/action_scene.rs benchmark driver creates and removes its own log directory; it is not linked into the runtime.
time-instant crates/warp-core/benches/support/fixtures/think_append.rs benchmark fixture measures elapsed time outside the runtime; the timings decide no history and are excluded from validation.
hand-hashed-table crates/warp-core/src/snapshot.rs state-root membership accelerator in private mod membership, whose only operations are begin and insert (no iterator, slice accessor or lookup, enforced by the compiler); exact key equality, no seed; its contents, capacity, probe counts, generation and fallback cannot affect the state root, which is independent of scratch history (tested against the ordered reference).

std-fs crates/warp-core/tests/edict_effect_admission_tests/installation.rs owned filesystem WAL fixture directory creation and cleanup only; paths never enter program, policy, installation or receipt identities.
14 changes: 8 additions & 6 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -183,8 +183,8 @@ jobs:
cargo clippy -p warp-core --features host_test --test admission_comparison_tests -- -D warnings -D missing_docs
- name: cargo clippy (scheduler-owned executable Actions)
run: |
cargo clippy -p warp-core --features native_rule_bootstrap,trusted_runtime --test executable_operation_pipeline_tests -- -D warnings -D missing_docs
cargo clippy -p warp-core --features native_rule_bootstrap,trusted_runtime,host_test --test executable_operation_pipeline_tests -- -D warnings -D missing_docs
cargo clippy -p warp-core --features native_rule_bootstrap,trusted_runtime --test executable_operation_pipeline_tests --test edict_effect_admission_tests -- -D warnings -D missing_docs
cargo clippy -p warp-core --features native_rule_bootstrap,trusted_runtime,host_test --test executable_operation_pipeline_tests --test edict_effect_admission_tests -- -D warnings -D missing_docs
- name: cargo clippy (compiler-produced compare-and-set recovery)
run: |
cargo clippy -p warp-core --features native_rule_bootstrap,trusted_runtime --test edict_projected_cas_tests -- -D warnings -D missing_docs
Expand All @@ -199,7 +199,7 @@ jobs:
run: cargo clippy -p warp-core --features native_rule_bootstrap,trusted_runtime,host_test,application_root_shadow --lib --tests -- -D warnings

- name: cargo clippy (compiler-produced pure evaluation)
run: cargo clippy -p warp-core --features trusted_runtime --lib --test edict_pure_evaluation_tests --test edict_pure_predicates_tests --test edict_pure_unsigned_subtraction_tests --test edict_unsigned_addition_tests --test edict_pure_byte_length_tests --test edict_byte_equality_tests --test edict_byte_slice_tests --test edict_node_read_tests --test edict_byte_concat_tests --test edict_byte_literal_tests --test edict_source_functions_tests -- -D warnings -D missing_docs
run: cargo clippy -p warp-core --features trusted_runtime --lib --test edict_pure_evaluation_tests --test edict_pure_predicates_tests --test edict_pure_unsigned_subtraction_tests --test edict_unsigned_addition_tests --test edict_pure_byte_length_tests --test edict_byte_equality_tests --test edict_byte_slice_tests --test edict_node_read_tests --test edict_effect_range_reads --test edict_effect_frame_tests --test edict_effect_read_image_tests --test edict_effect_graph_schema_tests --test edict_effect_package_tests --test current_operation_publication_tests --test edict_byte_concat_tests --test edict_byte_literal_tests --test edict_source_functions_tests -- -D warnings -D missing_docs

clippy-det-fixed:
name: Clippy (det_fixed)
Expand Down Expand Up @@ -376,8 +376,10 @@ jobs:
run: cargo test -p warp-core --features native_rule_bootstrap,trusted_runtime,host_test --test provider_contract_admission_tests
- name: cargo test (scheduler-owned executable Actions)
run: |
cargo test -p warp-core --features native_rule_bootstrap,trusted_runtime --test executable_operation_pipeline_tests
cargo test -p warp-core --features native_rule_bootstrap,trusted_runtime,host_test --test executable_operation_pipeline_tests
cargo test -p warp-core --features native_rule_bootstrap,trusted_runtime --test executable_operation_pipeline_tests --test edict_effect_admission_tests
cargo test -p warp-core --features native_rule_bootstrap,trusted_runtime,host_test --test executable_operation_pipeline_tests --test edict_effect_admission_tests
cargo test -p warp-core --features native_rule_bootstrap,trusted_runtime --doc admit_echo_operation_package_v2
cargo test -p warp-core --features native_rule_bootstrap,trusted_runtime --doc install_admitted_echo_operation_package_v2
- name: cargo test (compiler-produced compare-and-set recovery)
run: |
cargo test -p warp-core --features native_rule_bootstrap,trusted_runtime --test edict_projected_cas_tests
Expand All @@ -395,7 +397,7 @@ jobs:
cargo test -p warp-core --features native_rule_bootstrap,trusted_runtime,application_root_shadow,delta_validate --test application_root_shadow_tests
- name: cargo test (compiler-produced pure evaluation)
run: |
cargo test -p warp-core --features trusted_runtime --test edict_pure_evaluation_tests --test edict_pure_predicates_tests --test edict_pure_unsigned_subtraction_tests --test edict_unsigned_addition_tests --test edict_pure_byte_length_tests --test edict_byte_equality_tests --test edict_byte_slice_tests --test edict_node_read_tests --test edict_byte_concat_tests --test edict_byte_literal_tests --test edict_source_functions_tests
cargo test -p warp-core --features trusted_runtime --test edict_pure_evaluation_tests --test edict_pure_predicates_tests --test edict_pure_unsigned_subtraction_tests --test edict_unsigned_addition_tests --test edict_pure_byte_length_tests --test edict_byte_equality_tests --test edict_byte_slice_tests --test edict_node_read_tests --test edict_effect_range_reads --test edict_effect_frame_tests --test edict_effect_read_image_tests --test edict_effect_graph_schema_tests --test edict_effect_package_tests --test current_operation_publication_tests --test edict_byte_concat_tests --test edict_byte_literal_tests --test edict_source_functions_tests
cargo test -p warp-core --features trusted_runtime --lib edict_pure::
- name: cargo test (delta validation and the canonical delta merge)
run: |
Expand Down
14 changes: 14 additions & 0 deletions AGENTS.md
Original file line number Diff line number Diff line change
Expand Up @@ -62,6 +62,20 @@ tracing yields an explicit posture, never a successful all-zero receipt.
- **NEVER** push to `main` without explicit permission.
- Always use standard commits and regular pushes.

## One Current Version

Keep exactly one supported version of each data structure, wire format, and
implementation in the main crates. Replace the previous version and update
its producers and consumers together. Old versions may exist only in separate
upgrade or migration tools, never behind compatibility wrappers, aliases,
feature flags, or version-dispatch branches in the main crates.

The user confirmed on 2026-10-19 that there are no existing saved histories to
preserve. Do not invent a backward-compatibility requirement. Future persisted
data upgrades belong in explicit migration tools. See the current
[version policy](docs/topics/GeneratedRules.md#one-current-version-and-explicit-migration),
which supersedes earlier proposals and compatibility promises.

## Repository Knowledge Model

Repository knowledge has one owner for each kind of truth:
Expand Down
Loading
Loading