{
  "asif_version": "0.4",
  "scope": "Local vendor-neutral reference implementation checks",
  "checks": 158,
  "passed": 158,
  "independent_implementations": 0,
  "real_runtime_tests": 0,
  "results": [
    {
      "case": "validate-attachment-availability.session",
      "passed": true
    },
    {
      "case": "validate-audio-and-transcript.session",
      "passed": true
    },
    {
      "case": "validate-awaiting-approval.session",
      "passed": true
    },
    {
      "case": "validate-compaction-with-attachment.session",
      "passed": true
    },
    {
      "case": "validate-action-specific.session",
      "passed": true
    },
    {
      "case": "validate-another-agent.session",
      "passed": true
    },
    {
      "case": "validate-another-computer.session",
      "passed": true
    },
    {
      "case": "validate-pending-remote-operation.session",
      "passed": true
    },
    {
      "case": "validate-image-and-document.session",
      "passed": true
    },
    {
      "case": "validate-multi-agent-review.session",
      "passed": true
    },
    {
      "case": "validate-redacted-attachment.session",
      "passed": true
    },
    {
      "case": "validate-task-dependencies.session",
      "passed": true
    },
    {
      "case": "validate-task-partial-history.session",
      "passed": true
    },
    {
      "case": "validate-tool-call-completed.session",
      "passed": true
    },
    {
      "case": "validate-tool-call-partial.session",
      "passed": true
    },
    {
      "case": "validate-tool-generated-files.session",
      "passed": true
    },
    {
      "case": "call-progression-partial capture",
      "passed": true
    },
    {
      "case": "call-progression-completion and late result",
      "passed": true
    },
    {
      "case": "call-progression-select completed version only",
      "passed": true
    },
    {
      "case": "call-progression-unlinked duplicate invocation",
      "passed": true
    },
    {
      "case": "call-progression-amendment changed invocation ID",
      "passed": true
    },
    {
      "case": "call-progression-amendment changed tool",
      "passed": true
    },
    {
      "case": "call-progression-amendment changed actor",
      "passed": true
    },
    {
      "case": "call-progression-amendment dropped execution",
      "passed": true
    },
    {
      "case": "call-progression-amendment changed execution",
      "passed": true
    },
    {
      "case": "call-progression-completed predecessor cannot be retried by amendment",
      "passed": true
    },
    {
      "case": "call-progression-partial knowledge cannot regress to unknown",
      "passed": true
    },
    {
      "case": "call-progression-external-only predecessor is not verifiable",
      "passed": true
    },
    {
      "case": "call-progression-missing local predecessor",
      "passed": true
    },
    {
      "case": "call-progression-wrong predecessor kind",
      "passed": true
    },
    {
      "case": "call-progression-future predecessor",
      "passed": true
    },
    {
      "case": "call-progression-conflicting selected amendments",
      "passed": true
    },
    {
      "case": "call-progression-separate branches select separate amendments",
      "passed": true
    },
    {
      "case": "call-progression-historical branch retains partial state",
      "passed": true
    },
    {
      "case": "call-progression-late amendment preserves terminal result",
      "passed": true
    },
    {
      "case": "call-progression-partial to partial refinement",
      "passed": true
    },
    {
      "case": "call-progression-unknown to partial refinement",
      "passed": true
    },
    {
      "case": "call-progression-unknown to complete refinement",
      "passed": true
    },
    {
      "case": "call-progression-three-version refinement chain",
      "passed": true
    },
    {
      "case": "call-progression-selected chain cannot skip its intermediate version",
      "passed": true
    },
    {
      "case": "call-progression-retry uses new invocation identity",
      "passed": true
    },
    {
      "case": "call-progression-external binding cannot also declare a local invocation",
      "passed": true
    },
    {
      "case": "call-progression-amendment changed retry relationship",
      "passed": true
    },
    {
      "case": "call-progression-retry cannot reference its own identity",
      "passed": true
    },
    {
      "case": "call-progression-unchanged external invocation accepts a late result",
      "passed": true
    },
    {
      "case": "task-semantics-branch-local dependency revisions and descriptive status",
      "passed": true
    },
    {
      "case": "task-semantics-partial task histories retain predecessor gaps",
      "passed": true
    },
    {
      "case": "task-semantics-dangling dependency",
      "passed": true
    },
    {
      "case": "task-semantics-partial coverage does not excuse dangling identity",
      "passed": true
    },
    {
      "case": "task-semantics-external-looking string is still a local task ID",
      "passed": true
    },
    {
      "case": "task-semantics-dependency cannot name an event ID",
      "passed": true
    },
    {
      "case": "task-semantics-self dependency",
      "passed": true
    },
    {
      "case": "task-semantics-two-task selected cycle",
      "passed": true
    },
    {
      "case": "task-semantics-later removal cannot conceal an earlier cycle",
      "passed": true
    },
    {
      "case": "task-semantics-three-task cycle including a forward declaration",
      "passed": true
    },
    {
      "case": "task-semantics-revision edges are not unioned across history",
      "passed": true
    },
    {
      "case": "task-semantics-duplicate dependency ID",
      "passed": true
    },
    {
      "case": "task-semantics-empty dependency ID",
      "passed": true
    },
    {
      "case": "task-semantics-task revisions cannot supersede event envelopes",
      "passed": true
    },
    {
      "case": "task-semantics-task revisions cannot supersede external events",
      "passed": true
    },
    {
      "case": "task-semantics-predecessor revision must decrease",
      "passed": true
    },
    {
      "case": "task-semantics-missing predecessor is invalid with complete coverage",
      "passed": true
    },
    {
      "case": "task-semantics-uninspected coverage does not declare a partial transition",
      "passed": true
    },
    {
      "case": "task-semantics-missing selected predecessor cannot be borrowed from another branch",
      "passed": true
    },
    {
      "case": "task-semantics-partial selection explicitly retains cross-branch predecessor gap",
      "passed": true
    },
    {
      "case": "task-semantics-known selected predecessor cannot be skipped even with partial coverage",
      "passed": true
    },
    {
      "case": "task-semantics-known predecessor must be named",
      "passed": true
    },
    {
      "case": "task-semantics-duplicate task revision",
      "passed": true
    },
    {
      "case": "task-semantics-reopen requires explanation",
      "passed": true
    },
    {
      "case": "task-semantics-reopen into proposed requires explanation",
      "passed": true
    },
    {
      "case": "task-semantics-retired task requires explanation to reactivate",
      "passed": true
    },
    {
      "case": "task-semantics-failed task requires explanation to reactivate",
      "passed": true
    },
    {
      "case": "task-semantics-cancelled task requires explanation to reactivate",
      "passed": true
    },
    {
      "case": "task-semantics-explicit reactivation of superseded task",
      "passed": true
    },
    {
      "case": "task-semantics-omitted dependencies do not inherit earlier list",
      "passed": true
    },
    {
      "case": "task-semantics-empty dependencies replace earlier list",
      "passed": true
    },
    {
      "case": "task-semantics-unknown target status does not satisfy dependency",
      "passed": true
    },
    {
      "case": "task-semantics-revision numbers need not be contiguous",
      "passed": true
    },
    {
      "case": "task-semantics-later contiguous revisions do not erase predecessor gaps",
      "passed": true
    },
    {
      "case": "task-semantics-checkpoint before reopening retains earlier task revisions",
      "passed": true
    },
    {
      "case": "call-progression-retains-immutable-evidence",
      "passed": true
    },
    {
      "case": "strict-duplicate-key",
      "passed": true
    },
    {
      "case": "strict-nonfinite",
      "passed": true
    },
    {
      "case": "bounded-depth",
      "passed": true
    },
    {
      "case": "unknown-number-preservation",
      "passed": true
    },
    {
      "case": "pointer-escaped-keys",
      "passed": true
    },
    {
      "case": "pointer-invalid-escape",
      "passed": true
    },
    {
      "case": "path-../a",
      "passed": true
    },
    {
      "case": "path-/tmp/a",
      "passed": true
    },
    {
      "case": "path-a\\b",
      "passed": true
    },
    {
      "case": "path-C:a",
      "passed": true
    },
    {
      "case": "path-NUL",
      "passed": true
    },
    {
      "case": "path-a/../b",
      "passed": true
    },
    {
      "case": "path-a.",
      "passed": true
    },
    {
      "case": "request-typed-inputs",
      "passed": true
    },
    {
      "case": "request-tool-only-resource",
      "passed": true
    },
    {
      "case": "request-shared-tool-input-resource",
      "passed": true
    },
    {
      "case": "request-unavailable-tool-resource",
      "passed": true
    },
    {
      "case": "request-external-tool-resource",
      "passed": true
    },
    {
      "case": "request-unselected-unavailable-tool",
      "passed": true
    },
    {
      "case": "request-schema-reference-lookalikes",
      "passed": true
    },
    {
      "case": "request-missing-tool-resource",
      "passed": true
    },
    {
      "case": "delta-excluded-child",
      "passed": true
    },
    {
      "case": "delta-excluded-directory",
      "passed": true
    },
    {
      "case": "delta-excluded-glob",
      "passed": true
    },
    {
      "case": "delta-excluded-root",
      "passed": true
    },
    {
      "case": "delta-allowed-subtree",
      "passed": true
    },
    {
      "case": "delta-unrelated-exclusion",
      "passed": true
    },
    {
      "case": "delta-missing-target",
      "passed": true
    },
    {
      "case": "restore-case-prefix",
      "passed": true
    },
    {
      "case": "restore-case-prefix-reversed",
      "passed": true
    },
    {
      "case": "restore-NFC-prefix",
      "passed": true
    },
    {
      "case": "restore-NFD-prefix-reversed",
      "passed": true
    },
    {
      "case": "restore-case-duplicate",
      "passed": true
    },
    {
      "case": "restore-case-sensitive-distinct",
      "passed": true
    },
    {
      "case": "restore-unnormalized-distinct",
      "passed": true
    },
    {
      "case": "restore-directory-ancestor",
      "passed": true
    },
    {
      "case": "restore-directory-ancestor-reversed",
      "passed": true
    },
    {
      "case": "configuration-order",
      "passed": true
    },
    {
      "case": "predicate-component-prefix",
      "passed": true
    },
    {
      "case": "predicate-combination",
      "passed": true
    },
    {
      "case": "predicate-unknown",
      "passed": true
    },
    {
      "case": "policy-deny-precedence",
      "passed": true
    },
    {
      "case": "policy-default-ask",
      "passed": true
    },
    {
      "case": "contradictory-decisions",
      "passed": true
    },
    {
      "case": "explicit-decision-amendment",
      "passed": true
    },
    {
      "case": "unexplained-task-reopen",
      "passed": true
    },
    {
      "case": "explained-task-reopen",
      "passed": true
    },
    {
      "case": "terminal-result-final",
      "passed": true
    },
    {
      "case": "missing-actor",
      "passed": true
    },
    {
      "case": "provenance-span",
      "passed": true
    },
    {
      "case": "causal-self-cycle",
      "passed": true
    },
    {
      "case": "stream-assembled-arguments",
      "passed": true
    },
    {
      "case": "stream-missing-fragment",
      "passed": true
    },
    {
      "case": "external-call-binding",
      "passed": true
    },
    {
      "case": "restore-selected-tree",
      "passed": true
    },
    {
      "case": "restored-bytes-inventory.csv",
      "passed": true
    },
    {
      "case": "restored-bytes-totals.csv",
      "passed": true
    },
    {
      "case": "restored-bytes-summary.md",
      "passed": true
    },
    {
      "case": "restore-no-overwrite",
      "passed": true
    },
    {
      "case": "restore-rollback",
      "passed": true
    },
    {
      "case": "rollback-cleaned",
      "passed": true
    },
    {
      "case": "delta-deletion",
      "passed": true
    },
    {
      "case": "delta-absent-deletion",
      "passed": true
    },
    {
      "case": "restore-case-collision",
      "passed": true
    },
    {
      "case": "deterministic-package",
      "passed": true
    },
    {
      "case": "package-raw-document",
      "passed": true
    },
    {
      "case": "signature-verification",
      "passed": true
    },
    {
      "case": "signature-wrong-key",
      "passed": true
    },
    {
      "case": "package-content-tamper",
      "passed": true
    },
    {
      "case": "package-traversal",
      "passed": true
    },
    {
      "case": "package-unlisted-member",
      "passed": true
    },
    {
      "case": "package-compression-refused",
      "passed": true
    },
    {
      "case": "redaction-duplicates-base64-no-value-leak",
      "passed": true
    },
    {
      "case": "capability-hash-vector-utf8",
      "passed": true
    },
    {
      "case": "capability-hash-vector-escaped",
      "passed": true
    },
    {
      "case": "capability-hash-vector-reordered",
      "passed": true
    },
    {
      "case": "capability-hash-vector-crlf",
      "passed": true
    }
  ]
}