{
  "asif_version": "0.4",
  "profile": "asif.portable-continuation/0.2",
  "scope": "Synthetic profile shape, selected semantic invariants and destination report outcomes",
  "checks": 128,
  "passed": 128,
  "real_runtime_tests": 0,
  "independent_implementations": 0,
  "operational_authorization": false,
  "results": [
    {
      "case": "action-specific",
      "passed": true,
      "outcome": "ready"
    },
    {
      "case": "another-agent",
      "passed": true,
      "outcome": "adaptation_required"
    },
    {
      "case": "another-computer",
      "passed": true,
      "outcome": "ready"
    },
    {
      "case": "pending-remote-operation",
      "passed": true,
      "outcome": "blocked"
    },
    {
      "case": "future-profile-version-refused",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "future-profile-feature-refused",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "future-report-version-refused",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "previous-core-version-refused",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "future-core-version-refused",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "missing-core-version-refused",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "previous-profile-version-refused",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "previous-profile-feature-refused",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "previous-report-version-refused",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "profile-not-gated",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "profile-declaration-without-data",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "untyped-context",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "orphan-tool-result",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "changed-tool-result",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "stale-context",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "wrong-checkpoint-config",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "mixed-workspace-boundary",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "workspace-traversal",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "missing-path-selector",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "dependency-cycle",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "incomplete-dependency-closure",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "missing-skill-resource",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "missing-instruction-rule",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "missing-policy-binding",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "incomplete-context-accounting",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "corrupt-resource",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "replacement-without-baseline",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "unsafe-operation-restart",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "unbound-open-call",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "undeclared-secret",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "changed-source-digest",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "expired-assessment",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "missing-assessment",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "optional-downgrade",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "context-overflow",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "unknown-tokenizer",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "silent-model-substitution",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "unverified-dependency-version",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "unsupported-platform",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "missing-root-binding",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "partial-capture-marked-ready",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "partial-configuration-marked-ready",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "unknown-authority-marked-ready",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "unavailable-resource-marked-ready",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "adaptation-without-mapping",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "pending-operation-marked-ready",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "synthetic-import-claim",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "wrong-service-account",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "destination-case-collision",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "accepted-adaptations-simulated",
      "passed": true,
      "outcome": "ready"
    },
    {
      "case": "same-capture-await_decision",
      "passed": true,
      "outcome": "ready"
    },
    {
      "case": "same-capture-reconcile_operation",
      "passed": true,
      "outcome": "ready"
    },
    {
      "case": "same-capture-model_request",
      "passed": true,
      "outcome": "blocked"
    },
    {
      "case": "same-capture-resume_native",
      "passed": true,
      "outcome": "blocked"
    },
    {
      "case": "action-scopes-and-transitive-empty-dependency",
      "passed": true,
      "outcome": "accepted"
    },
    {
      "case": "shared-resource-requiredness-union",
      "passed": true,
      "outcome": "accepted"
    },
    {
      "case": "core-requirement-promotes-optional-capability",
      "passed": true,
      "outcome": "accepted"
    },
    {
      "case": "environment-requirements-follow-parent-and-scope",
      "passed": true,
      "outcome": "accepted"
    },
    {
      "case": "opaque-resource-lookalikes-ignored",
      "passed": true,
      "outcome": "accepted"
    },
    {
      "case": "optional-subject-must-be-inventoried",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "optional-flag-cannot-be-promoted",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "core-requirement-needs-destination-evidence",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "recovery-identity-must-match",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "recovery-refusal-cannot-be-ready",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "unknown-model-fit-cannot-be-supported",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "optional-unavailable-resource-cannot-claim-support",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "extra-subject-refused",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "optional-unsupported-does-not-block-wait",
      "passed": true,
      "outcome": "ready"
    },
    {
      "case": "optional-unaccepted-adaptation-does-not-block-wait",
      "passed": true,
      "outcome": "ready"
    },
    {
      "case": "unavailable-unselected-history-outside-inventory",
      "passed": true,
      "outcome": "accepted"
    },
    {
      "case": "destination-case-prefix",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "destination-case-prefix-reversed",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "destination-NFC-prefix",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "destination-NFD-prefix-reversed",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "destination-case-duplicate",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "destination-case-sensitive-distinct",
      "passed": true,
      "outcome": "ready"
    },
    {
      "case": "destination-unnormalized-distinct",
      "passed": true,
      "outcome": "ready"
    },
    {
      "case": "destination-directory-ancestor",
      "passed": true,
      "outcome": "ready"
    },
    {
      "case": "destination-directory-ancestor-reversed",
      "passed": true,
      "outcome": "ready"
    },
    {
      "case": "snapshot-required",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-digest-mismatch",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-noncanonical-base64",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-oversize-declaration",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-invalid-calendar-date",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-invalid-offset",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-excess-time-precision",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-byte-count-mismatch",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-invalid-base64",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-format-unsupported",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-unavailable-refused",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-version-missing",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-version-invalid-type",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-version-unsupported",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-evidence-missing",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-producer-mismatch",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-destination-mismatch",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-runtime-extension-type-mismatch",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-runtime-mismatch",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-mode-mismatch",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-expires-before-report",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-observed-after-assessment",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-duplicate-components",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-component-reference-missing",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-binding-required",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-unknown-component-not-supported",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-dependency-version-mismatch",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-model-budget-mismatch",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-workspace-root-mismatch",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-workspace-mismatch",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-service-account-mismatch",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-operation-identity-mismatch",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-feature-missing",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-BOM-refused",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-duplicate-JSON-key",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-invalid-UTF8",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "snapshot-nonobject-refused",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "caller-current-snapshot-matches",
      "passed": true,
      "outcome": "ready"
    },
    {
      "case": "reserialized-snapshot-requires-new-fingerprint",
      "passed": true,
      "outcome": "ready"
    },
    {
      "case": "current-runtime-change-invalidates-report",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "current-dependency-change-invalidates-report",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "current-policy-change-invalidates-report",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "current-model-change-invalidates-report",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "current-service-change-invalidates-report",
      "passed": true,
      "outcome": "rejected"
    },
    {
      "case": "current-workspace-change-invalidates-report",
      "passed": true,
      "outcome": "rejected"
    }
  ]
}