v7.18 counterevidence · SUBCATEGORY
A deterministic counterevidence and completeness explanation. Search procedure, result state, and publication consequence remain separate.
Research-object ID: learning-access-finance-governance
Covered U.S. postsecondary institutions must provide a net-price calculator under HEA § 132(h), but its result is an estimate that may change and is neither a final aid award nor binding on the institution.
claim:v715:e77bb7ec06e99b23a2e5AUTOMATED_PUBLICATION_READY
Every mandatory applicable completeness requirement is satisfied. This procedural result does not establish factual truth.
No mandatory applicable requirement is unsatisfied.
CONFIRMATORY · SECTION: Appendix E, “Net Price Calculator,” HEA § 132(h)(3)–(4); cross-reference Volume 2, Chapter 6
Paraphrase: covered institutions must post a calculator using the federal template or a compliant alternative.
Limitation: Administrative guidance describes disclosure duties and calculator limitations; it is not an outcome evaluation.
MIXED · SECTION: Appendix E, “Net Price Calculator” disclaimer requirements
Paraphrase: the calculator must disclose that the estimate may change, is not a final or actual award, and is not binding.
Limitation: Administrative guidance describes disclosure duties and calculator limitations; it is not an outcome evaluation.
No context-only record is present.
No structured NO_MATCH record is present.
No mandatory applicable evidence requirement is missing in this bounded result.
Missingness is an unsatisfied requirement, not evidence that the claim is false.
Each row declares applicability explicitly. Open the table to inspect associated evidence and failure codes.
| Requirement | Status | Why it applies | Satisfied by | Failure code |
|---|---|---|---|---|
ECR-COUNTER-001counterevidence search | SATISFIED | The bounded pilot requires a represented counterevidence or limiting search record. |
| — |
ECR-EVIDENCE-001evidence existence | SATISFIED | Every pilot object requires at least one non-NO_MATCH evidence record. |
| — |
ECR-LOCATOR-001exact locator | SATISFIED | Every non-NO_MATCH record in this pilot requires an exact locator. |
| — |
ECR-MECHANISM-001mechanism evidence | NOT_APPLICABLE | The object is not a mechanism and is not an intersectionality object with k >= 2. | — | — |
ECR-NOMATCH-001structured no match | NOT_APPLICABLE | No NO_MATCH record is present, so structured NO_MATCH validation is not applicable. | — | — |
ECR-RELATIONSHIP-001relationship evidence | NOT_APPLICABLE | The bounded pilot object declares no required relationship-evidence obligation. | — | — |
ECR-ROLE-001evidentiary role | SATISFIED | Each pilot object requires at least one explicitly confirmatory record. |
| — |
ECR-SOURCE-001source provenance | SATISFIED | Every non-NO_MATCH record requires a registered source ID and canonical URL. |
| — |
ECR-SUBSET-001required subset evidence | NOT_APPLICABLE | Required proper-subset evidence applies only to higher-order intersectionality objects with k >= 3. | — | — |
ECR-TRACE-001claim evidence traceability | SATISFIED | The assessed object has a bounded claim and all evidence records must identify it. |
| — |
evidence:v715:470fa4d1d3b05252db182024–2025 Federal Student Aid Handbook, Appendix E: Institutional Reporting and Disclosure RequirementsSECTION: Appendix E, “Net Price Calculator,” HEA § 132(h)(3)–(4); cross-reference Volume 2, Chapter 6evidence:v715:5f623739d55fc66d547f2024–2025 Federal Student Aid Handbook, Appendix E: Institutional Reporting and Disclosure RequirementsSECTION: Appendix E, “Net Price Calculator” disclaimer requirementsNo same-claim confirmatory/disconfirmatory pair is present in this bounded record.
Publication remains ready because all mandatory requirements remain satisfied; the mixed record remains a distinct evidentiary role.
No counterevidence-specific blocker was produced.
Source classes: OFFICIAL_GUIDANCE
Retrieval identity: 922f2c9d2d71584ef9ba50a959de614318f0a90da5d730f6a09f62671ba44403
Search record: countersearch:v718:39d88952e225072016a1
Boundary: Search completion describes the recorded procedure. No result state proves truth, establishes probability, or means that undiscovered counterevidence does not exist.
NO_MATCH is a bounded search result, context-only evidence does not satisfy an affirmative requirement, and procedural sufficiency does not convert a claim into fact.
Completeness engine: wsmusings.evidence-completeness-engine.v1
Output identity: bfcd0901e426a71e10b643493bf9c3aec5a3f14550c9c0ceb26a17f5978795fe
Open the machine-readable completeness result · Open the requirement registry · Open the predecessor assessment