Requirement Verification Report
Requirement Verification Report
Generated by scripts/generate-req-tests.mjs.
Generated stubs are not proof of behavior. They are pending verification slots.
Summary
| Metric | Count |
|---|---|
| Requirements | 35 |
| EARS statements | 42 |
| Verification-map covered statements | 42 |
| Generated stub slots | 42 |
| Non-generated @Spec references outside generated artifacts | 76 |
| Statements with non-generated @Spec trace | 30 |
| Pending generated-only statements | 12 |
| Code-only @Spec references | 0 |
A non-generated trace is not automatically execution proof. Mark a statement verified only after the referenced test, guardrail, smoke check, or manual review has run or been recorded.
Pending Generated-Only Statements
| Statement | Pattern | Source |
|---|---|---|
| REQ-COUPON-001:S1 | Ubiquitous | examples/coupon-order-system/spec.md:49 |
| REQ-COUPON-002:S1 | Event-driven | examples/coupon-order-system/spec.md:51 |
| REQ-COUPON-003:S1 | State-driven | examples/coupon-order-system/spec.md:53 |
| REQ-COUPON-004:S1 | Unwanted | examples/coupon-order-system/spec.md:55 |
| REQ-COUPON-005:S1 | Unwanted | examples/coupon-order-system/spec.md:57 |
| REQ-COUPON-006:S1 | Unwanted | examples/coupon-order-system/spec.md:60 |
| REQ-COUPON-007:S1 | Unwanted | examples/coupon-order-system/spec.md:62 |
| REQ-COUPON-008:S1 | Unwanted | examples/coupon-order-system/spec.md:64 |
| REQ-COUPON-009:S1 | Optional | examples/coupon-order-system/spec.md:66 |
| REQ-REL-003:S1 | Event-driven | spec/features/release-and-versioning/spec.md:42 |
| REQ-SESSION-001:S1 | Event-driven | examples/account-session-heading-style/spec.md:44 |
| REQ-SESSION-001:S2 | Unwanted | examples/account-session-heading-style/spec.md:48 |
Planned Verification Evidence
| Statement | Planned evidence |
|---|---|
| REQ-AGENT-001:S1 | guardrail | scripts/check-agent-protocol.mjs | npm run check:agent | verified |
| REQ-AGENT-002:S1 | guardrail | scripts/check-agent-protocol.mjs | npm run check:agent | verified |
| REQ-AGENT-003:S1 | guardrail | scripts/check-agent-protocol.mjs | npm run check:agent | verified |
| REQ-AGENT-004:S1 | guardrail | scripts/check-agent-protocol.mjs | npm run check:agent | verified |
| REQ-AGENT-004:S2 | guardrail | scripts/check-agent-protocol.mjs | npm run check:agent | verified |
| REQ-AGENT-004:S3 | guardrail | scripts/check-agent-protocol.mjs | npm run check:agent | verified |
| REQ-AGENT-005:S1 | guardrail | scripts/check-agent-protocol.mjs | npm run check:agent | verified |
| REQ-AGENT-005:S2 | test | tests/method-update-propagation.test.mjs | npm run test:project | verified |
| REQ-AGENT-005:S3 | test | tests/method-update-propagation.test.mjs | npm run test:project | verified |
| REQ-AGENT-006:S1 | test | tests/agent-mode-router.test.mjs | npm run test:project | verified |
| REQ-AGENT-006:S2 | test | tests/agent-mode-router.test.mjs | npm run test:project | verified |
| REQ-AGENT-006:S3 | guardrail | scripts/check-agent-protocol.mjs | npm run check:agent | verified |
| REQ-AUTHOR-001:S1 | guardrail | scripts/check-spec-authoring.mjs | npm run check:authoring | verified |
| REQ-AUTHOR-002:S1 | guardrail | scripts/check-spec-authoring.mjs | npm run check:authoring | verified |
| REQ-AUTHOR-003:S1 | guardrail | scripts/check-spec-authoring.mjs | npm run check:authoring | verified |
| REQ-AUTHOR-004:S1 | guardrail | scripts/check-spec-authoring.mjs | npm run check:authoring | verified |
| REQ-AUTHOR-005:S1 | guardrail | scripts/check-spec-authoring.mjs | npm run check:authoring | verified |
| REQ-BRIDGE-001:S1 | guardrail | npm run check:reqs | npm run check | verified |
| REQ-BRIDGE-002:S1 | test | tests/spec-bridge.test.mjs | npm run test:project | verified |
| REQ-BRIDGE-003:S1 | guardrail | npm run check:reqs | npm run check | verified |
| REQ-BRIDGE-004:S1 | test | tests/spec-bridge.test.mjs | npm run test:project | verified |
| REQ-COUPON-001:S1 | Simulation T03 |
| REQ-COUPON-002:S1 | Simulation T02, T09, T10 |
| REQ-COUPON-003:S1 | Simulation T08 |
| REQ-COUPON-004:S1 | Simulation T02 |
| REQ-COUPON-005:S1 | Simulation T04 |
| REQ-COUPON-006:S1 | Simulation T05 |
| REQ-COUPON-007:S1 | Simulation T06 |
| REQ-COUPON-008:S1 | Simulation T07 |
| REQ-COUPON-009:S1 | Generated requirement stub; premium entitlement adapter test |
| REQ-DISC-001:S1 | test | tests/public-discovery.test.mjs | npm run test:project | verified |
| REQ-DISC-002:S1 | test | tests/public-discovery.test.mjs | npm run test:project | verified |
| REQ-DISC-003:S1 | test | tests/public-discovery.test.mjs | npm run test:project | verified |
| REQ-GOV-001:S1 | guardrail | tests/spec-governance.test.mjs | npm run test:project | verified |
| REQ-GOV-002:S1 | guardrail | tests/spec-governance.test.mjs | npm run test:project | verified |
| REQ-GOV-003:S1 | guardrail | npm run check:reqs | npm run check | verified |
| REQ-REL-001:S1 | test | tests/release-versioning.test.mjs | npm run test:project | verified |
| REQ-REL-002:S1 | test | tests/release-versioning.test.mjs | npm run test:project | verified |
| REQ-REL-003:S1 | manual release guardrail | release checklist in this spec | tag and release command after npm run check | mapped |
| REQ-REL-004:S1 | test | tests/release-versioning.test.mjs | npm run test:project | verified |
| REQ-SESSION-001:S1 | Integration test for successful callback exchange |
| REQ-SESSION-001:S2 | Integration test for recoverable setup failure |
Non-Generated @Spec References
| Reference | Source |
|---|---|
| REQ-AGENT-001:S1 | scripts/check-agent-protocol.mjs:23 |
| REQ-AGENT-002:S1 | scripts/check-agent-protocol.mjs:24 |
| REQ-AGENT-003:S1 | scripts/check-agent-protocol.mjs:48 |
| REQ-AGENT-004:S1 | scripts/check-agent-protocol.mjs:49 |
| REQ-AGENT-004:S1 | scripts/check-agent-protocol.mjs:113 |
| REQ-AGENT-004:S1 | scripts/check-spec-authoring.mjs:15 |
| REQ-AGENT-004:S1 | tests/spec-authoring-quality.test.mjs:23 |
| REQ-AGENT-004:S2 | scripts/check-agent-protocol.mjs:49 |
| REQ-AGENT-004:S2 | scripts/check-agent-protocol.mjs:113 |
| REQ-AGENT-004:S2 | scripts/check-agent-protocol.mjs:129 |
| REQ-AGENT-004:S2 | scripts/check-agent-protocol.mjs:191 |
| REQ-AGENT-004:S2 | scripts/check-spec-authoring.mjs:15 |
| REQ-AGENT-004:S2 | tests/spec-authoring-quality.test.mjs:23 |
| REQ-AGENT-004:S2 | tests/spec-authoring-quality.test.mjs:47 |
| REQ-AGENT-004:S3 | scripts/check-agent-protocol.mjs:49 |
| REQ-AGENT-004:S3 | scripts/check-agent-protocol.mjs:113 |
| REQ-AGENT-004:S3 | scripts/check-agent-protocol.mjs:129 |
| REQ-AGENT-004:S3 | scripts/check-agent-protocol.mjs:191 |
| REQ-AGENT-004:S3 | scripts/check-spec-authoring.mjs:15 |
| REQ-AGENT-004:S3 | tests/spec-authoring-quality.test.mjs:23 |
| REQ-AGENT-004:S3 | tests/spec-authoring-quality.test.mjs:47 |
| REQ-AGENT-005:S1 | scripts/check-agent-protocol.mjs:50 |
| REQ-AGENT-005:S1 | scripts/check-agent-protocol.mjs:99 |
| REQ-AGENT-005:S1 | scripts/check-agent-protocol.mjs:130 |
| REQ-AGENT-005:S1 | scripts/check-agent-protocol.mjs:155 |
| REQ-AGENT-005:S1 | tests/method-update-propagation.test.mjs:13 |
| REQ-AGENT-005:S1 | tests/method-update-propagation.test.mjs:36 |
| REQ-AGENT-005:S2 | scripts/check-agent-protocol.mjs:99 |
| REQ-AGENT-005:S2 | scripts/check-agent-protocol.mjs:155 |
| REQ-AGENT-005:S2 | tests/method-update-propagation.test.mjs:13 |
| REQ-AGENT-005:S2 | tests/method-update-propagation.test.mjs:25 |
| REQ-AGENT-005:S3 | scripts/check-agent-protocol.mjs:99 |
| REQ-AGENT-005:S3 | scripts/check-agent-protocol.mjs:130 |
| REQ-AGENT-005:S3 | scripts/check-agent-protocol.mjs:155 |
| REQ-AGENT-005:S3 | tests/method-update-propagation.test.mjs:13 |
| REQ-AGENT-005:S3 | tests/method-update-propagation.test.mjs:25 |
| REQ-AGENT-006:S1 | scripts/check-agent-protocol.mjs:51 |
| REQ-AGENT-006:S1 | scripts/check-agent-protocol.mjs:83 |
| REQ-AGENT-006:S1 | scripts/check-agent-protocol.mjs:131 |
| REQ-AGENT-006:S1 | tests/agent-mode-router.test.mjs:13 |
| REQ-AGENT-006:S2 | scripts/check-agent-protocol.mjs:83 |
| REQ-AGENT-006:S2 | tests/agent-mode-router.test.mjs:25 |
| REQ-AGENT-006:S3 | scripts/check-agent-protocol.mjs:51 |
| REQ-AGENT-006:S3 | scripts/check-agent-protocol.mjs:83 |
| REQ-AGENT-006:S3 | scripts/check-agent-protocol.mjs:131 |
| REQ-AGENT-006:S3 | tests/agent-mode-router.test.mjs:35 |
| REQ-AUTHOR-001:S1 | scripts/check-spec-authoring.mjs:31 |
| REQ-AUTHOR-001:S1 | scripts/check-spec-authoring.mjs:45 |
| REQ-AUTHOR-001:S1 | tests/spec-authoring-quality.test.mjs:13 |
| REQ-AUTHOR-001:S1 | tests/spec-authoring-quality.test.mjs:37 |
| REQ-AUTHOR-002:S1 | scripts/check-spec-authoring.mjs:31 |
| REQ-AUTHOR-002:S1 | scripts/check-spec-authoring.mjs:45 |
| REQ-AUTHOR-002:S1 | tests/spec-authoring-quality.test.mjs:13 |
| REQ-AUTHOR-002:S1 | tests/spec-authoring-quality.test.mjs:37 |
| REQ-AUTHOR-003:S1 | scripts/check-spec-authoring.mjs:31 |
| REQ-AUTHOR-003:S1 | scripts/check-spec-authoring.mjs:45 |
| REQ-AUTHOR-003:S1 | tests/spec-authoring-quality.test.mjs:13 |
| REQ-AUTHOR-003:S1 | tests/spec-authoring-quality.test.mjs:37 |
| REQ-AUTHOR-004:S1 | scripts/check-spec-authoring.mjs:31 |
| REQ-AUTHOR-004:S1 | scripts/check-spec-authoring.mjs:61 |
| REQ-AUTHOR-004:S1 | tests/spec-authoring-quality.test.mjs:37 |
| REQ-AUTHOR-005:S1 | scripts/check-spec-authoring.mjs:84 |
| REQ-AUTHOR-005:S1 | tests/spec-authoring-quality.test.mjs:62 |
| REQ-BRIDGE-001:S1 | scripts/generate-req-tests.mjs:611 |
| REQ-BRIDGE-002:S1 | tests/spec-bridge.test.mjs:13 |
| REQ-BRIDGE-003:S1 | scripts/generate-req-tests.mjs:612 |
| REQ-BRIDGE-004:S1 | tests/spec-bridge.test.mjs:22 |
| REQ-DISC-001:S1 | tests/public-discovery.test.mjs:28 |
| REQ-DISC-002:S1 | tests/public-discovery.test.mjs:43 |
| REQ-DISC-003:S1 | tests/public-discovery.test.mjs:54 |
| REQ-GOV-001:S1 | tests/spec-governance.test.mjs:28 |
| REQ-GOV-002:S1 | tests/spec-governance.test.mjs:51 |
| REQ-GOV-003:S1 | scripts/generate-req-tests.mjs:613 |
| REQ-REL-001:S1 | tests/release-versioning.test.mjs:13 |
| REQ-REL-002:S1 | tests/release-versioning.test.mjs:37 |
| REQ-REL-004:S1 | tests/release-versioning.test.mjs:23 |