Skip to content

Advance the canonical producer pins with current-head witness evidence #33

Description

@flyingrobots

Outcome

Advance Hello Echo's canonical producer coordinate to the current compatible Edict and Echo heads, with the full fake-free witness suite attached to the pull request evidence.

Current evidence

The canonical lock on main currently records:

  • Edict df80f92ad6242c6da31a64224666fd37aa43b0d0;
  • Echo c354d531679861fb7bbd52ab7b7703807909ab86.

After fetching on 2026-08-15, current producer heads were:

  • Edict df80f92ad6242c6da31a64224666fd37aa43b0d0;
  • Echo 490134c0753a3df6a74da366cc71c1248764dc5a.

A disposable local compatibility probe changed only the Echo coordinate in producers.lock.json and passed all three current-main suites:

  • ./tests/runtime.sh;
  • ./tests/effect-runtime.sh;
  • ./tests/patch-runtime.sh.

This is supporting evidence for a reviewed pin-advance PR, not publication authority by itself.

Acceptance criteria

  • Advance producers.lock.json to the exact current producer commits selected by the implementation PR.
  • Re-corroborate every vendored Edict lawpack/resource and Echo provider artifact byte-for-byte.
  • Run the pure compiler-to-runtime witness, bounded observation witness, validated patch witness, stale-output witness, writer-epoch assertions, formatting, and generated-host Clippy gates.
  • Record old and new producer coordinates plus the exact witness results in the PR.
  • Preserve the rule that producer checkouts must match the lock and be clean.
  • Preserve fake-free execution: no handwritten Echo package, native application callback, application-specific Echo branch, or compatibility fallback.
  • Merge only when the required CI witness gate passes at the proposed coordinates.

Non-goals

Related

Metadata

Metadata

Assignees

No one assigned

    Labels

    roadmap-aRoadmap A: standalone Hello Echoroadmap-a1Roadmap A.1: bounded Hello external effects

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions