Assemble digest-locked Edict provider package

[flyingrobots]

Closes #655

Outcome

This completes the digest-locked Echo Edict provider package. The checked distribution now contains:

• the current deterministic provider corpus introduced by Generate Echo Edict lawpack, target profile, authority facts, and provenance #652;
• the audited lowerer and verifier components from Implement the Echo Edict WIT lowerer component #653 and Implement the Echo Target IR semantic verifier component #654;
• one explicit 25-file package occurrence;
• ten routed artifacts, 24 exact schema-domain bindings, and two component materials;
• exact raw occurrence digests and Edict domain-framed semantic digests;
• a package root that binds the manifest contract, provider coordinate, ABI/API, paths, and digests without making the manifest self-referential.

It also proves that the exact checked package is ready for the pinned native Edict host boundary before any guest component execution. It does not claim Echo installation, runtime admission, scheduling, execution, commitment, observation, receipt production, or runtime authority.

Plain-English walkthrough

1. Echo validates the authored provider semantics and requires every generated artifact domain to have one exact owning schema binding.
2. The package builder admits the checked generated corpus, the exact audited component bytes, and the exact Edict contract publication. It rejects discovery, mutable-name lookup, winner selection, lazy schema loading, and network access.
3. The package manifest routes each semantic artifact by both its canonical Edict digest and its exact packaged byte digest. Component materials remain opaque until a separate host preflight.
4. An independent host witness constructs the exact Edict c75 schema registry, validates all five canonical primary artifacts and all 14 declared resources under their owning CDDL roots, recomputes their domain-framed digests, checks field-by-field ownership, and verifies adjacent identity edges.
5. The same witness decodes and attests both frozen-WIT components and validates lowerer/verifier requests into host-owned opaque proofs. It never invokes guest code.
6. A fixed 35-file crate-local carrier tree makes every compile-time provider input available inside the published echo-wesley-gen archive. Owner, package, carrier, and Cargo archive inventories must corroborate exactly.
7. Write mode supports a deliberate staged regeneration sequence while strict check mode reports drift without rewriting files.

Soundness and refusal

• Recursive CDDL alternatives rely on Edict's bounded discriminator scan, not CBOR map entry order. The pinned contract scans the complete map for exactly one discriminator before entering a recursive branch and rejects missing, unknown, duplicate, mismatching, or ambiguous dispatch.
• Schema validity alone is not admission. Negative witnesses cover malformed manifests, schemas, components, and artifacts; schema-valid resource replacement; changed digests; same-union field swaps; and authority-source disagreement.
• Generated authority-facts documents attest provider semantics only. They do not grant Echo runtime authority.
• Raw byte identity, canonical semantic identity, and generator/release identity remain separate propositions.
• No Jim-specific checkpoint, rope, causal-anchor, editor, or application semantics enter the provider waist.
• Reads are not represented as synthetic mutations.

RED / GREEN evidence

The development REDs were carried by the focused semantic-closure, package-readiness, and archive-carrier witnesses:

cargo +1.90.0 test -p echo-wesley-gen   --test provider_semantic_source   generated_artifacts_require_their_owner_schema_bindings

cargo +1.94.0 test   --manifest-path tests/edict-provider-host-v1/Cargo.toml   --locked   --test package_contract

cargo +1.90.0 test -p echo-wesley-gen   --test provider_package_assets

They failed closed while the package exposed only the earlier nine bindings, before the native package contract existed, and before the crate archive carried the complete exact input closure.

The completed GREEN gate is:

cargo +1.90.0 fmt -p echo-wesley-gen --all -- --check

cargo +1.90.0 clippy -p echo-wesley-gen   --lib --bins --tests --   -D warnings -D missing-docs

cargo +1.90.0 test -p echo-wesley-gen --all-targets

cargo +1.94.0 test   --manifest-path tests/edict-provider-host-v1/Cargo.toml   --locked   --test package_contract

cargo +1.94.0 clippy   --manifest-path tests/edict-provider-host-v1/Cargo.toml   --locked   --test package_contract   -- -D warnings

bash scripts/verify-edict-provider-host-v1.sh

cargo +1.90.0 run --locked -p echo-wesley-gen   --bin echo-edict-provider-artifacts -- --check

cargo +1.90.0 run --locked -p echo-wesley-gen   --bin echo-edict-provider-package -- --check

cargo +1.90.0 run --locked -p echo-wesley-gen   --bin echo-edict-provider-assets -- --check-package-list

node --test scripts/tests/classify_changes.test.cjs
git diff --check
cargo +1.90.0 xtask pr-preflight --full

The full preflight passed all seven repository checks. The prompt-era cargo xtask verify command does not exist in this checkout; cargo xtask pr-preflight --full is the repository-defined final branch gate.

The actual extracted Cargo archive was also compiled successfully with local patches for the two unpublished direct Echo dependencies:

cargo +1.90.0 package -p echo-wesley-gen   --locked   --allow-dirty   --config 'patch.crates-io.echo-edict-canonical.path="crates/echo-edict-canonical"'   --config 'patch.crates-io.warp-core.path="crates/warp-core"'

Cargo packaged 78 files and verified the extracted crate.

Dependency rationale

• The native readiness witness pins exact Edict revision c75c3f550d049485ba00eae0dc272c6dd6aca11f. That revision contains the schema-registry, bounded recursive-dispatch, component-preflight, and request-proof contract being tested; an exact revision prevents a moving host proof.
• wesley-core = 0.3.0-alpha.1 is the published additive generation-contract release used by Echo.
• echo-edict-canonical = 0.1.0 and warp-core = 0.1.1 are not yet available from crates.io. Ordinary packaging therefore stops at registry dependency resolution, while the local-patch witness proves the selected extracted archive itself is complete. Publication must follow the documented Echo dependency release order; this PR does not publish crates.

Documentation and compatibility

Updated the changelog, provider/crate/package READMEs, application-contract-hosting architecture guide, determinism classification, CI gates, and exact-byte Git attributes.

Compatibility notes:

• no Echo runtime installation or invocation API changes;
• no guest component execution is added;
• no hidden filesystem, environment, registry, or network discovery enters the pure package model;
• the package/archive CLIs are explicit filesystem boundaries with check/write modes;
• exact identity-bearing inputs are protected from checkout text normalization;
• generated and packaged evidence moves when exact authored source or generator identity moves, while set-like source reordering preserves semantic artifact bytes.

Review

A strict full-branch self-review and independent Code Lawyer review are clean. The review specifically rechecked all 24 schema bindings, the 14-resource field-level digest closure, adjacent primary identity edges, exact c75 native preflight, the 35-carrier Cargo archive inventory, recursive-dispatch soundness, exact-byte checkout portability, and the Echo runtime-authority boundary.

Summary by CodeRabbit

• New Features

  • Added deterministic, digest-locked provider package generation and validation.
  • Added tools to synchronize provider assets and detect package or asset drift.
  • Added canonical data encoding, provider manifests, schemas, components, and packaged artifacts.
  • Added readiness checks for provider package identity, schema bindings, and component integrity.

• Documentation

  • Expanded guidance for provider packaging, publishing, verification, provenance, and consumption.

• Bug Fixes

  • Improved exact-byte handling and protected corpus operations from unsafe filesystem entries.

• Tests

  • Added comprehensive coverage for package generation, tampering, drift detection, identity validation, and readiness checks.

[coderabbitai]

Warning

Review limit reached

@flyingrobots, you've reached your PR review limit, so we couldn't start this review.

Next review available in: 2 minutes

Enable usage-based reviews in Billing to review now. Otherwise, wait until the next included review is available.
You're only billed for reviews past your plan's rate limits ($0.25/file).

How can I continue?

After more reviews become available, a review can be triggered using the @coderabbitai review command as a PR comment. Alternatively, push new commits to this PR.

To avoid repeated limits, reduce automatic review volume by pausing incremental auto-reviews earlier, using label-based review opt-in, excluding WIP or generated PR titles, or requesting reviews manually when the PR is ready. If your team needs uninterrupted high-volume reviews, an organization admin can enable usage-based reviews.

How do review limits work?

CodeRabbit enforces per-developer PR review limits for each organization. Most developers receive the normal plan review availability.

For paid Pro and Pro+ PR reviews, CodeRabbit uses adaptive limits for sustained high-volume activity. When a developer's recent PR review activity reaches the 95th percentile or higher among CodeRabbit users, additional reviews become available more gradually as earlier reviews age out of the rolling window.

Please refer docs for additional details.

Review details

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: ASSERTIVE

Plan: Pro

Run ID: 787bd377-0f21-4b60-ae2a-6bdd694724db

📥 Commits

Reviewing files that changed from the base of the PR and between 5ee9294 and 814010b.

⛔ Files ignored due to path filters (12)

• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/components/lowerer.echo-dpo.component.wasm is excluded by !**/*.wasm
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/components/verifier.echo-dpo.component.wasm is excluded by !**/*.wasm
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/evidence/provenance.provider-generation.json is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/evidence/review.provider-generation.json is excluded by !**/generated/**
• schemas/edict-provider/components/v1/lowerer.echo-dpo.component.wasm is excluded by !**/*.wasm
• schemas/edict-provider/components/v1/verifier.echo-dpo.component.wasm is excluded by !**/*.wasm
• schemas/edict-provider/generated/v1/evidence/provenance.provider-generation.json is excluded by !**/generated/**
• schemas/edict-provider/generated/v1/evidence/review.provider-generation.json is excluded by !**/generated/**
• schemas/edict-provider/package/v1/components/lowerer.echo-dpo.component.wasm is excluded by !**/*.wasm
• schemas/edict-provider/package/v1/components/verifier.echo-dpo.component.wasm is excluded by !**/*.wasm
• schemas/edict-provider/package/v1/generated/evidence/provenance.provider-generation.json is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/evidence/review.provider-generation.json is excluded by !**/generated/**

📒 Files selected for processing (14)

• CHANGELOG.md
• crates/echo-edict-canonical/README.md
• crates/echo-edict-canonical/src/lib.rs
• crates/echo-edict-canonical/tests/canonical_contract.rs
• crates/echo-edict-provider-verifier/README.md
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/provider-manifest.echo.json
• crates/echo-wesley-gen/assets/v1/repository/crates/echo-edict-canonical/src/lib.rs.source
• crates/echo-wesley-gen/src/bin/echo-edict-provider-assets.rs
• crates/echo-wesley-gen/tests/provider_package_corpus.rs
• det-policy.yaml
• schemas/edict-provider/components/v1/README.md
• schemas/edict-provider/package/v1/provider-manifest.echo.json
• scripts/tests/classify_changes.test.cjs
• xtask/src/provider_lowerer_component.rs

📝 Walkthrough

Walkthrough

The PR adds a deterministic Edict provider-package pipeline: canonical contracts and manifests, digest-based assembly and admission, symlink-safe corpus publication, package-local asset synchronization, expanded semantic validation, host readiness tests, CI drift checks, and supporting documentation.

Changes

Edict provider package

Layer / File(s)	Summary
Contracts and package carriers .gitattributes, crates/echo-wesley-gen/assets/v1/...	Adds canonical Edict CDDL contracts, semantic and provider manifests, canonical-CBOR source material, repository carriers, and exact-byte preservation rules.
Semantic component and schema identity crates/echo-wesley-gen/src/provider_semantics.rs, crates/echo-wesley-gen/src/provider_package.rs, schemas/edict-provider/...	Declares lowerer/verifier components, validates component closure and owner schema bindings, and implements deterministic provider manifest assembly and digest admission.
Exact corpus and publication tooling crates/echo-wesley-gen/src/provider_corpus.rs, crates/echo-wesley-gen/src/provider_corpus_fs.rs, crates/echo-wesley-gen/src/bin/*	Adds bounded symlink-safe corpus reads/writes, checked corpus construction and diffing, package publication, and package-local asset synchronization.
Package, corpus, and host validation crates/echo-wesley-gen/tests/*, tests/edict-provider-host-v1/*, scripts/verify-edict-provider-host-v1.sh	Adds package tampering, inventory, asset drift, identity closure, schema, component, and pre-execution readiness tests.
Publication checks and documentation .github/workflows/ci.yml, det-policy.yaml, README.md, docs/architecture/*, schemas/edict-provider/*	Adds CI freshness checks, deterministic-policy coverage, and documentation for package identity, asset carriers, and host readiness.

Estimated code review effort: 5 (Critical) | ~120 minutes

Possibly related issues

• flyingrobots/echo#650 — The PR implements the provider package, generated artifact, component, and validation slices described by this parent issue.

Possibly related PRs

• flyingrobots/echo#671 — Provides the existing provider artifact-generation pipeline extended here with checked-corpus helpers and package assembly.

Suggested labels: tooling

🚥 Pre-merge checks | ✅ 3 | ❌ 2

❌ Failed checks (1 warning, 1 inconclusive)

Check name	Status	Explanation	Resolution
Docstring Coverage	⚠️ Warning	Docstring coverage is 71.30% which is insufficient. The required threshold is 80.00%.	Write docstrings for the functions missing them to satisfy the coverage threshold.
Linked Issues check	❓ Inconclusive	Core package assembly is present, but required lowerer/verifier WASM and generated package files are path-filtered, so full #655 compliance can't be verified.	Provide the excluded package files or a review that includes them so component provenance, generated outputs, and exact package inventory can be checked.

✅ Passed checks (3 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	The title matches the main change: assembling the digest-locked Edict provider package.
Out of Scope Changes check	✅ Passed	The changes stay within package assembly, validation, docs, CI, tests, and exact-byte asset handling; no unrelated scope drift is evident.

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch provider/655-digest-locked-package

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[coderabbitai]

Actionable comments posted: 4

🤖 Prompt for all review comments with AI agents

Verify each finding against current code. Fix only still-valid issues, skip the
rest with a brief reason, keep changes minimal, and validate.

Inline comments:
In
`@crates/echo-wesley-gen/assets/v1/repository/crates/echo-edict-canonical/src/lib.rs.source`:
- Around line 338-358: Introduce a decoder-wide node/allocation budget and
enforce it in checked_collection_length and the container decoding logic around
the map/array reservation and push operations. Charge map keys and values as
separate nodes, validate each requested cardinality before reserve or push, and
return a typed CanonicalValueError when the budget is exceeded instead of
allowing oversized allocations.

In
`@crates/echo-wesley-gen/assets/v1/repository/crates/echo-wesley-gen/Cargo.toml.source`:
- Around line 6-12: Align the carrier manifest with the available assets by
either adding crates/echo-wesley-gen/src/main.rs and
crates/echo-wesley-gen/README.md to the exact provider source inventory, or
removing the corresponding default-run and readme declarations from the
manifest; ensure the assembled package passes Cargo validation and preserves
only references to shipped files.

In `@crates/echo-wesley-gen/src/bin/echo-edict-provider-assets.rs`:
- Around line 358-374: Sort both actual_assets and expected_assets before
comparing them, preserving the existing inventory validation while making
ordering independent of Cargo output or ASSETS definition order. When they
differ, update the bail! error in this validation block to include the expected
and actual asset path lists, not only their counts, so same-length mismatches
identify the exact paths.

In `@det-policy.yaml`:
- Around line 46-49: Update the echo-edict-provider-artifacts entry in
det-policy.yaml to include the repository’s .gitattributes file in its paths,
ensuring changes to exact-byte preservation rules remain classified as
DET_CRITICAL.

🪄 Autofix (Beta)

Fix all unresolved CodeRabbit comments on this PR:

• Push a commit to this branch (recommended)
• Create a new PR with the fixes

---

ℹ️ Review info

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: ASSERTIVE

Plan: Pro

Run ID: 6c566ca2-76bb-4f50-b604-f499cefbb4f8

📥 Commits

Reviewing files that changed from the base of the PR and between 937ccfa and 5ee9294.

⛔ Files ignored due to path filters (51)

• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/components/lowerer.echo-dpo.component.wasm is excluded by !**/*.wasm
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/components/verifier.echo-dpo.component.wasm is excluded by !**/*.wasm
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/evidence/provenance.provider-generation.json is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/evidence/review.provider-generation.json is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/primary/authority-facts.echo-dpo.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/primary/authority-facts.echo-lawpack.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/primary/generated-artifact-profile.echo-dpo-registration.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/primary/lawpack.echo-dpo.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/primary/schema.echo-provider-artifacts.cddl is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/primary/target-profile.echo-dpo.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/resources/resource.conformance-corpus.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/resources/resource.lawpack-compatibility.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/resources/resource.lawpack-exports.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/resources/resource.lawpack-target-adapter.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/resources/resource.lawpack-verifier.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/resources/resource.target-bundle-profile.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/resources/resource.target-cost-algebra.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/resources/resource.target-footprint-algebra.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/resources/resource.target-intrinsics.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/resources/resource.target-ir.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/resources/resource.target-lowerer-contract.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/resources/resource.target-obstruction-taxonomy.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/resources/resource.target-operation-profiles.cbor is excluded by !**/generated/**
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/generated/resources/resource.target-verifier-contract.cbor is excluded by !**/generated/**
• schemas/edict-provider/generated/v1/evidence/provenance.provider-generation.json is excluded by !**/generated/**
• schemas/edict-provider/generated/v1/evidence/review.provider-generation.json is excluded by !**/generated/**
• schemas/edict-provider/package/v1/components/lowerer.echo-dpo.component.wasm is excluded by !**/*.wasm
• schemas/edict-provider/package/v1/components/verifier.echo-dpo.component.wasm is excluded by !**/*.wasm
• schemas/edict-provider/package/v1/generated/evidence/provenance.provider-generation.json is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/evidence/review.provider-generation.json is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/primary/authority-facts.echo-dpo.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/primary/authority-facts.echo-lawpack.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/primary/generated-artifact-profile.echo-dpo-registration.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/primary/lawpack.echo-dpo.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/primary/schema.echo-provider-artifacts.cddl is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/primary/target-profile.echo-dpo.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/resources/resource.conformance-corpus.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/resources/resource.lawpack-compatibility.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/resources/resource.lawpack-exports.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/resources/resource.lawpack-target-adapter.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/resources/resource.lawpack-verifier.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/resources/resource.target-bundle-profile.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/resources/resource.target-cost-algebra.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/resources/resource.target-footprint-algebra.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/resources/resource.target-intrinsics.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/resources/resource.target-ir.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/resources/resource.target-lowerer-contract.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/resources/resource.target-obstruction-taxonomy.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/resources/resource.target-operation-profiles.cbor is excluded by !**/generated/**
• schemas/edict-provider/package/v1/generated/resources/resource.target-verifier-contract.cbor is excluded by !**/generated/**
• tests/edict-provider-host-v1/Cargo.lock is excluded by !**/*.lock

📒 Files selected for processing (46)

• .gitattributes
• .github/workflows/ci.yml
• CHANGELOG.md
• crates/echo-wesley-gen/README.md
• crates/echo-wesley-gen/assets/v1/edict-provider/contracts/v1/edict-provider-contracts.cddl
• crates/echo-wesley-gen/assets/v1/edict-provider/contracts/v1/manifest.json
• crates/echo-wesley-gen/assets/v1/edict-provider/echo-provider-semantics-v1.json
• crates/echo-wesley-gen/assets/v1/edict-provider/generation-settings-v1.json
• crates/echo-wesley-gen/assets/v1/edict-provider/package/v1/provider-manifest.echo.json
• crates/echo-wesley-gen/assets/v1/repository/Cargo.lock.source
• crates/echo-wesley-gen/assets/v1/repository/Cargo.toml.source
• crates/echo-wesley-gen/assets/v1/repository/crates/echo-edict-canonical/Cargo.toml.source
• crates/echo-wesley-gen/assets/v1/repository/crates/echo-edict-canonical/src/lib.rs.source
• crates/echo-wesley-gen/assets/v1/repository/crates/echo-wesley-gen/Cargo.toml.source
• crates/echo-wesley-gen/assets/v1/repository/rust-toolchain.toml.source
• crates/echo-wesley-gen/src/bin/echo-edict-provider-artifacts.rs
• crates/echo-wesley-gen/src/bin/echo-edict-provider-assets.rs
• crates/echo-wesley-gen/src/bin/echo-edict-provider-package.rs
• crates/echo-wesley-gen/src/lib.rs
• crates/echo-wesley-gen/src/main.rs
• crates/echo-wesley-gen/src/provider_artifacts.rs
• crates/echo-wesley-gen/src/provider_corpus.rs
• crates/echo-wesley-gen/src/provider_corpus_fs.rs
• crates/echo-wesley-gen/src/provider_package.rs
• crates/echo-wesley-gen/src/provider_semantics.rs
• crates/echo-wesley-gen/tests/provider_artifact_corpus.rs
• crates/echo-wesley-gen/tests/provider_canonical_contract.rs
• crates/echo-wesley-gen/tests/provider_contract_pack.rs
• crates/echo-wesley-gen/tests/provider_generation_input.rs
• crates/echo-wesley-gen/tests/provider_generation_provenance.rs
• crates/echo-wesley-gen/tests/provider_generation_review.rs
• crates/echo-wesley-gen/tests/provider_package.rs
• crates/echo-wesley-gen/tests/provider_package_assets.rs
• crates/echo-wesley-gen/tests/provider_package_corpus.rs
• crates/echo-wesley-gen/tests/provider_primary_artifacts.rs
• crates/echo-wesley-gen/tests/provider_semantic_source.rs
• det-policy.yaml
• docs/architecture/application-contract-hosting.md
• schemas/edict-provider/README.md
• schemas/edict-provider/echo-provider-semantics-v1.json
• schemas/edict-provider/package/README.md
• schemas/edict-provider/package/v1/provider-manifest.echo.json
• scripts/tests/classify_changes.test.cjs
• scripts/verify-edict-provider-host-v1.sh
• tests/edict-provider-host-v1/Cargo.toml
• tests/edict-provider-host-v1/tests/package_contract.rs