Master Assurance Report — Public Sample
What this report is — and is not
This report is bound to a persisted evaluation, its evidence digests and control-test receipts. It is an evidence-only assessment — not a source-code scan, a live factory-monitoring session, or proof of a production-plant event. The underlying manufacturing corpus is synthetic lab data; the evaluation results are genuine deterministic HAIEC output, frozen and re-verified by SHA-256 export digest.
Rule MFG-EFF-001 reports MATCH because its predicate observed an effect — a transaction independently read back on the wrong work-order target. MATCH means the divergence predicate was satisfied; it is a consequential divergence finding, not a pass, and it is not evidence that the action was authorized, safe, or target-correct.
Evaluation identity
SHA-256 digests are integrity checks recomputed over this frozen export. They are not cryptographic issuer signatures and do not authenticate who published the export.
Deterministic rule outcomes
| Rule | Outcome | Rule reason (verbatim) | Qualified claims | Missing claims | Evidence refs |
|---|---|---|---|---|---|
| MFG-AUTH-001 | NO_MATCH_WITH_ADEQUATE_COVERAGE | all qualified callable operations are inside the approved delegated scope — read-only or undeclared-reachability paths do not match | APPROVED_POLICY, EFFECTIVE_GRANT, NATIVE_TARGET_READBACK, OBSERVED_DISPATCH, PINNED_STATIC_CAPABILITY | — | ingest://SYS-217-WRONG_TARGET:code:claim ingest://SYS-217-WRONG_TARGET:policy:claim |
| MFG-EFF-001 | MATCH | transaction syn-txn-b855a022ebe42786bf committed and independently read back on "WO-217-4803" while the approved target was "WO-217-4802" — qualified target divergence, not a root-cause claim | APPROVED_POLICY, EFFECTIVE_GRANT, NATIVE_TARGET_READBACK, OBSERVED_DISPATCH, PINNED_STATIC_CAPABILITY | — | ingest://SYS-217-WRONG_TARGET:commit:claim ingest://SYS-217-WRONG_TARGET:policy:claim ingest://SYS-217-WRONG_TARGET:readback:claim |
| MFG-EFF-002 | INSUFFICIENT_SOURCE | MFG-EFF-002 not evaluated — required claim coverage absent or unqualified: COLLECTOR_CONTINUITY | APPROVED_POLICY, EFFECTIVE_GRANT, NATIVE_TARGET_READBACK, OBSERVED_DISPATCH, PINNED_STATIC_CAPABILITY | COLLECTOR_CONTINUITY | ingest://SYS-217-WRONG_TARGET:code:claim ingest://SYS-217-WRONG_TARGET:commit:claim ingest://SYS-217-WRONG_TARGET:iam:claim ingest://SYS-217-WRONG_TARGET:policy:claim ingest://SYS-217-WRONG_TARGET:readback:claim |
| MFG-QMS-001 | NO_MATCH_WITH_ADEQUATE_COVERAGE | every committed release-class operation is covered by an actor inside the effective approved roster and scope | APPROVED_POLICY, EFFECTIVE_GRANT, NATIVE_TARGET_READBACK, OBSERVED_DISPATCH, PINNED_STATIC_CAPABILITY | — | ingest://SYS-217-WRONG_TARGET:commit:claim ingest://SYS-217-WRONG_TARGET:policy:claim |
| MFG-OBS-001 | INSUFFICIENT_SOURCE | MFG-OBS-001 not evaluated — required claim coverage absent or unqualified: COLLECTOR_CONTINUITY | APPROVED_POLICY, EFFECTIVE_GRANT, NATIVE_TARGET_READBACK, OBSERVED_DISPATCH, PINNED_STATIC_CAPABILITY | COLLECTOR_CONTINUITY | ingest://SYS-217-WRONG_TARGET:code:claim ingest://SYS-217-WRONG_TARGET:commit:claim ingest://SYS-217-WRONG_TARGET:iam:claim ingest://SYS-217-WRONG_TARGET:policy:claim ingest://SYS-217-WRONG_TARGET:readback:claim |
RULE_OUTCOME != ASSURANCE_VERDICT. A MATCH marks that a rule predicate was satisfied against qualified claims — read the verbatim reason for what was actually established.
Manufacturing control maturity — UCP control results
| Control | Facets | UCP result / receipt | Executed rules |
|---|---|---|---|
| R01 Action lifecycle and side-effect traceability |
CATALOG_REFERENCE YES IMPLEMENTED_VISIBILITY NO QUALIFIED_SOURCE_READY YES EXECUTED_RULE YES GOVERNED_UCP_WITH_RECEIPT YES INDEPENDENT_EFFECT_EVIDENCE YES |
SATISFIED RECEIPT_BOUND |
MFG-EFF-001 |
SATISFIED is an effect-witness / control-evaluation result: the control's executed rule observed the consequential effect and a UCP receipt is bound to this evaluation. It does not certify the action was authorized or safe — here it witnesses the wrong-target effect itself.
Facet version manufacturing-report-facet/1.0 · qualified observations: 5 · rejected: 0
Assurance question states
HAIEC has not assessed what this system can reach in this evaluation.
Authority was not assessed for this evaluation.
HAIEC has not established that observed actions occurred in this evaluation — missing runtime evidence is not proof that nothing happened.
The proof stops at 5 unresolved evidence-frontier item(s) and 1 open evidence need(s) — listed verbatim.
Declared limitations
- EVALUATION_EVIDENCE_UNBOUND_OR_FOREIGN_EXCLUDED:5
- NO_RAW_TELEMETRY_CARRIED
- PROFILE_VIEWS_MUST_NOT_ALTER_TRUTH_FIELDS
- PROJECTION_NOT_ANALYSIS
- SINGLE_STATE_EVALUATION — one declared state; no transitions to project
Control-maturity limitations
- WITNESS_FACET: rows are evidence projections — no aggregate score exists and none may be derived
- QUALIFIED_SOURCES_ONLY: only binder-qualified, evaluation-bound claims feed the facets
- RECEIPT_FROM_STORE_ONLY: GOVERNED_UCP_WITH_RECEIPT requires a persisted uctr row whose consumed observations all come from this evaluation bound batches and whose spec digest reproduces the currently governing digest
- EVALUATION_BOUND_BATCHES: claims outside the attached batch set are not part of this evaluation, even for the same system
Product semantics
- EVIDENCE_ONLY != SCAN_BACKED — no static scan is bound to this evaluation; code reachability and source coverage are NOT_ASSESSED, and scan-derived artifacts (Passport, operation coverage) are honestly unavailable.
- INVESTIGATION != EVALUATION — the linked investigation may contain evidence received after this Evaluation; this report remains bound to the frozen Evaluation snapshot.
- MASTER_REPORT != DECISION_RECEIPT — the receipt is a separate U6 package artifact.
- SCENARIO_STATE != ASSURANCE_DISPOSITION — declared scenario levels (including AL0/AL1/AL2) are event labels, never Assurance verdicts.
- EARLIEST_ESTABLISHED_DIVERGENCE != ROOT_CAUSE.
Original authenticated report
The canonical Master Report — HTML, PDF and detail views — is hosted by HAIEC and requires a signed-in member of the evaluation-owning organization. Unauthorized visitors receive HAIEC's normal fail-closed response.
- HTML report: https://www.haiec.com/reports/evaluations/bce94772-df56-447b-8625-0646915f7e25%3Aassurance%3A1.1
- PDF report: https://www.haiec.com/api/assurance/evaluations/bce94772-df56-447b-8625-0646915f7e25%3Aassurance%3A1.1/master-report/pdf
- JSON API: https://www.haiec.com/api/v1/assurance/evaluations/bce94772-df56-447b-8625-0646915f7e25%3Aassurance%3A1.1/master-report
- Evaluation detail: https://www.haiec.com/dashboard/assurance/evaluations/bce94772-df56-447b-8625-0646915f7e25%3Aassurance%3A1.1
Provenance: Synthetic lab corpus evaluated by the canonical HAIEC assurance engine. Not a real plant observation. Links require authorization to the owning organization. This public derivative omits internal user identities and nonpublic organization details; no credentials, customer or production factory data are present.
Public sample rendered 2026-10-16T21:52:27.265Z from export sha256:426985da32af4101ffa669c1c5751eeb99083b7fbb701a1cc53bd7e055b4b88f · derivative sha256:faa23e70ea0b9c499ef705b190b18ffc262d0d5437ff2b70d7c2806cddee228b · fictional manufacturer, synthetic evaluation corpus.