JADC2 Assurance Closure Reopening and Remedy Verification Lab

historical closure record

An immutable fixed record of the original blind spot, local closure decision, portfolio finding, or baseline reopening decision and its declared limits.

current reopening state

A separately derived state indicating whether a new reopening decision is required after an allowlisted recurrence, rollback, contradiction, expiry, dependency, ownership, monitoring, remedy, or governance change.

remedy verification

Evidence that the correction is durable and propagated, monitoring is continuous, owners remain accountable, affected records or products are restored, completed consequences are addressed, and independent merits review is current.

recurrence mechanism

The causal mechanism supported for a recurring condition; it may be the same, different, interacting, or unresolved.

governance boundary

The prohibition on treating this fixed fictional analysis as legal review, authority, certification, accreditation, operational acceptance, deployment approval, safety, readiness, or permission to act.

JACR-DIM-01

Reopening trigger identity

Identify the exact recurrence, rollback, expiry, contradiction, dependency, ownership, monitoring, remedy, or governance event that triggered current review.

Evidence: Stable trigger identity, source, chronology, scope, materiality, and relationship to the original closure.

Do not collapse: A reopening trigger is not proof that the original closure was improper.

JACR-DIM-02

Original closure scope

Preserve the original blind spot, local closure decision, portfolio closure finding, reopening decision, assumptions, exclusions, and exact declared bounds.

Evidence: Field-for-field preserved historical records with stable IDs, chronology, evidence basis, and declared limitations.

Do not collapse: A current reopening state must not overwrite historical closure records.

JACR-DIM-03

Recurrence characterization

Separate recurrence of the observed condition from recurrence of the same cause, a new cause, or an interacting mechanism.

Evidence: Condition comparison, context comparison, candidate mechanisms, contrary evidence, and unresolved alternatives.

Do not collapse: Recurrence of a condition is not automatically recurrence of the same causal mechanism.

JACR-DIM-04

Causal-mechanism evidence

Test whether the original corrective mechanism addressed the supported cause and whether new evidence changes that causal account.

Evidence: Independent causal challenge, mechanism-specific evidence, counterfactual limits, and explicit unknowns.

Do not collapse: A repeated symptom does not establish one cause, and a correction record does not prove causal adequacy.

JACR-DIM-05

Exact artifact and version state

Tie current remedy support to exact fictional artifacts, versions, policies, schemas, configurations, dependencies, signatures, and review records.

Evidence: Exact identity, version, material-change history, equivalence evidence, rollback state, and bypass status.

Do not collapse: A closure decision is not evidence that the same correction remains installed and relevant.

JACR-DIM-06

Correction durability

Determine whether the correction remains active, effective, unbypassed, and resilient under the declared recurring condition.

Evidence: Durability tests, bypass challenge, rollback detection, recurrence challenge, and independent disposition.

Do not collapse: A technical correction is not a verified completed remedy.

JACR-DIM-07

Correction propagation

Trace correction through every dependent product, transformation, cache, claim, publication, and retained record.

Evidence: End-to-end dependency ledger, propagation proof, exception handling, superseded-state preservation, and restoration evidence.

Do not collapse: Correction in one record is not propagation across every dependent product.

JACR-DIM-08

Monitoring continuity

Show that monitors, self-health records, alert paths, retention, trusted time, operators, and escalation remained continuous across the claimed interval.

Evidence: Blind-period ledger, monitor-health evidence, alert-path continuity, retention, trusted time, and independent corroboration.

Do not collapse: A monitor returning to service is not continuous monitoring coverage.

JACR-DIM-09

Owner authority and capacity

Verify that every residual-risk and remedy owner remains recognized, authorized, resourced, informed, and capable of acting.

Evidence: Current authority, capacity, scope, resources, expiry, escalation, succession, and remedy obligations.

Do not collapse: A restored owner name is not accountable ownership with current authority and capacity.

JACR-DIM-10

Completed-consequence remedy

Keep technical containment separate from correction, restoration, notice, remedy, recurrence prevention, and completed institutional follow-through.

Evidence: Consequence record, obligations, correction, restoration, notice, remedy, recurrence prevention, and independent completion review.

Do not collapse: Remedy activity is not evidence that completed consequences were addressed.

JACR-DIM-11

Affected-party and dependent-product restoration

Verify that affected fictional records and dependent products were restored, corrected, reconciled, or explicitly left unresolved.

Evidence: Restoration inventory, before-and-after state, exception register, notice, reconciliation, and independent confirmation.

Do not collapse: A repair action is not verified restoration across every affected record or product.

JACR-DIM-12

Contrary evidence and defeaters

Preserve evidence that contradicts the closure rationale, causal mechanism, correction durability, monitoring continuity, ownership, or remedy claim.

Evidence: Contrary-evidence ledger, defeaters, response, unresolved conflict, and independent disposition.

Do not collapse: Favorable retesting does not erase contrary evidence.

JACR-DIM-13

Independent merits review

Require substantive review independent from the source, implementation, administrator, monitor, remedy owner, review pool, and governance interest.

Evidence: Reviewer independence, competence, evidence access, time, authority, challenge method, and substantive findings.

Do not collapse: A repeated test is not an independent recurrence challenge under relevant conditions.

JACR-DIM-14

Expiry and renewal

Keep historical authenticity separate from current support and trigger re-verification after material change, owner loss, evidence expiry, or operating-assumption change.

Evidence: Expiry condition, change triggers, renewal activity, current-support finding, and unresolved renewal gaps.

Do not collapse: Historical closure evidence is not automatically current remedy evidence.

JACR-DIM-15

Closure and reopening chronology

Preserve the ordered history of blind spot, local closure, portfolio finding, reopening decision, recurrence, remedy activity, review, and current state.

Evidence: Stable record IDs, event ordering, reason codes, preserved superseded states, and current-state derivation.

Do not collapse: A derived current state must not rewrite or collapse earlier decisions.

JACR-DIM-16

Residual unknowns and governance boundary

Keep unresolved causes, hidden dependencies, missing-period evidence, incomplete remedy, and prohibited authority claims explicit.

Evidence: Residual-unknown ledger, limitation statement, prohibited-use controls, escalation, and independent governance review.

Do not collapse: A resolved reopened case is not certification, accreditation, operational acceptance, or deployment approval.

JACR-ROLE-01 · reopening role

Current reopening-state custodian

Maintains the derived current reopening state without rewriting any historical blind-spot, closure, portfolio, or reopening record.

JACR-ROLE-02 · record role

Blind-spot history custodian

Preserves the original blind-spot identity, scope, limitations, evidence gap, and chronology.

JACR-ROLE-03 · record role

Local closure history custodian

Preserves the original local closure decision, evidence basis, declared bounds, and expiry.

JACR-ROLE-04 · portfolio role

Portfolio closure history custodian

Preserves the original portfolio-level finding and its dependency, independence, remedy, and residual-risk limits.

JACR-ROLE-05 · recurrence role

Recurrence triage owner

Separates recurrence of a condition from recurrence of the same causal mechanism and records the trigger identity.

JACR-ROLE-06 · causal review role

Causal-mechanism reviewer

Tests whether evidence supports the same cause, a different cause, an interacting cause, or an unresolved mechanism.

JACR-ROLE-07 · configuration role

Artifact and version steward

Maintains exact fictional artifact, version, policy, schema, dependency, and configuration identity.

JACR-ROLE-08 · technical review role

Correction durability reviewer

Examines whether a correction remains present, active, effective, unbypassed, and equivalent under relevant conditions.

JACR-ROLE-09 · evidence role

Correction propagation owner

Tracks correction through every dependent product, transformation, cache, claim, publication, and retained historical record.

JACR-ROLE-10 · monitoring role

Monitoring continuity owner

Maintains monitor self-health, alert paths, retention, trusted time, operator continuity, and blind-period findings.

JACR-ROLE-11 · risk role

Residual-risk owner

Accepts bounded residual risk only with current authority, capacity, scope, expiry, monitoring, escalation, and remedy duties.

JACR-ROLE-12 · remedy role

Completed-consequence remedy owner

Owns correction, restoration, notice, remedy, recurrence prevention, and completed institutional follow-through.

JACR-ROLE-13 · restoration role

Affected-product restoration owner

Verifies that every affected dependent product or fictional affected-party record was restored, corrected, or explicitly left unresolved.

JACR-ROLE-14 · challenge role

Contrary-evidence custodian

Preserves contrary evidence, defeaters, unresolved contradictions, and the response chronology.

JACR-ROLE-15 · review role

Independent remedy merits reviewer

Reviews causal support, correction durability, propagation, monitoring, ownership, restoration, and remedy outside the relevant failure domain.

JACR-ROLE-16 · lifecycle role

Chronology, expiry, and renewal steward

Preserves closure and reopening chronology, material-change triggers, expiry, renewal, and current-support state.

JACR-ROLE-17 · dependency role

Dependency rediscovery reviewer

Examines whether a shared source, implementation, trust root, monitor, administrator, service, supplier, or assumption was omitted or rediscovered.

JACR-ROLE-18 · governance role

Governance-boundary custodian

Prevents reopening or remedy records from being promoted as legal sufficiency, certification, accreditation, operational acceptance, deployment approval, or authority.

JACR-DIST-01

Closure decision / current support

A closure decision is historical; current support is a separately derived state.

JACR-DIST-02

Reopening / original impropriety

Reopening a record does not by itself prove the original closure was improper.

JACR-DIST-03

Condition recurrence / causal recurrence

Recurrence of a condition is not automatically recurrence of the same causal mechanism.

JACR-DIST-04

Technical correction / completed remedy

A technical correction is not verified completed institutional remedy.

JACR-DIST-05

Remedy activity / consequence remedy

Remedy activity is not evidence that every completed consequence was addressed.

JACR-DIST-06

Monitor restoration / coverage continuity

A monitor returning to service is not continuous coverage for the blind interval.

JACR-DIST-07

Owner name / accountable ownership

A restored owner name is not current accountable ownership with authority and capacity.

JACR-DIST-08

Rollback repair / propagation

Repairing one rollback is not correction propagation across every dependent product.

JACR-DIST-09

Repeated test / independent challenge

A repeated test is not an independent recurrence challenge under relevant conditions.

JACR-DIST-10

Resolved reopened case / approval

A resolved reopened case is not certification, accreditation, operational acceptance, or deployment approval.

JACR-DIST-11

Historical authenticity / current validity

An authentic historical record may no longer support the current artifact, owner, monitor, or operating assumption.

JACR-DIST-12

Containment / restoration

Containment limits continued effects; restoration addresses affected records, products, or obligations.

JACR-DIST-13

Contrary evidence / closure erasure

Contrary evidence changes current support but does not erase the original decision or its chronology.

JACR-DIST-14

Dependency rediscovery / new dependency creation

Rediscovery may reveal an earlier omission; it does not imply the dependency arose only when discovered.

JACR-DIST-15

Risk acceptance / owner continuity

A past risk acceptance does not remain current after authority, capacity, scope, or expiry changes.

JACR-DIST-16

Graph completeness / authority

A complete reopening graph is not legal sufficiency, authority, safety, readiness, certification, or permission to act.