Charter artefact (3) safety-envelope manifest. Sketch area: src/manifest/ (src/manifest/README.adoc).
The per-program, per-backend artefact listing earned and explicitly un-earned guarantees. The deliverable — not the absence of type errors.
Scope
- Schema: earned envelopes (name + scope parameters + evidence pointer) and explicitly un-earned guarantees; the backend it is relative to.
- Emitter: assemble a manifest from Core + evidence + a backend envelope.
- Reader/validator for consumers and CI.
Done when
- Emitter enforces the central rule: no guarantee without an envelope; no envelope without evidence; no composition without a composition rule.
- A consumer can read a manifest and see what is not guaranteed.
Ref: docs/architecture/DESIGN-DISCIPLINE.adoc, docs/guide/for-users.adoc.
Charter artefact (3) safety-envelope manifest. Sketch area:
src/manifest/(src/manifest/README.adoc).The per-program, per-backend artefact listing earned and explicitly un-earned guarantees. The deliverable — not the absence of type errors.
Scope
Done when
Ref:
docs/architecture/DESIGN-DISCIPLINE.adoc,docs/guide/for-users.adoc.