{
  "draft": "core-draft-0",
  "requirements": [
    {
      "id": "C-AUTH-01",
      "status": "partial",
      "evidence": [
        "conformance/vectors.json",
        "tests/admission_wire.rs",
        "spec/core/CLAIM_PROFILE.md",
        "conformance/claims-v1.json",
        "tests/claim_codec.rs",
        "conformance/transitions-v1.json",
        "conformance/transition-fixtures.json",
        "spec/core/TRANSITIONS.md",
        "conformance/python_adapter.py",
        "docs/CROSS_LANGUAGE_AUTH_V1.md"
      ],
      "gap": "Primitive and experimental claim checks; no complete Core object profile. Cross-language agreement includes weak-key acceptances; canonical/key-class policy remains unresolved."
    },
    {
      "id": "C-BIND-01",
      "status": "partial",
      "evidence": [
        "tests/admission_wire.rs",
        "src/admission_wire.rs",
        "spec/core/CLAIM_PROFILE.md",
        "conformance/claims-v1.json",
        "tests/claim_codec.rs",
        "conformance/transitions-v1.json",
        "conformance/transition-fixtures.json",
        "spec/core/TRANSITIONS.md"
      ],
      "gap": "Experimental discovery action only; complete profiles and revocation open."
    },
    {
      "id": "C-REPLAY-01",
      "status": "partial",
      "evidence": [
        "tests/admission_wire.rs",
        "conformance/transitions-v1.json",
        "conformance/transition-fixtures.json",
        "spec/core/TRANSITIONS.md",
        "examples/admission_integration.rs",
        "docs/ADMISSION_INTEGRATION_V1.md",
        "docs/results/admission-integration-v1.json",
        "examples/admission_concurrent.rs",
        "docs/ADMISSION_CONCURRENT_V1.md",
        "docs/results/admission-concurrent-v1.json",
        "examples/admission_isolated.rs",
        "examples/loopback/writer.rs",
        "docs/ADMISSION_ISOLATED_V1.md",
        "docs/results/admission-isolated-v1.json",
        "docs/NETWORK_RECOVERY_V1.md",
        "docs/results/network-recovery-v1.json",
        "docs/results/network-recovery-v1-comparison.json"
      ],
      "gap": "Local replay tested; network authority/coordination not established."
    },
    {
      "id": "C-SEPARATE-01",
      "status": "partial",
      "evidence": [
        "tests/rendezvous.rs",
        "src/rights.rs"
      ],
      "gap": "No automatic context insertion in prototype; harness integrations untested."
    },
    {
      "id": "C-DURABLE-01",
      "status": "partial",
      "evidence": [
        "src/admission_store.rs",
        "tests/admission_wire.rs",
        "docs/results/admission-durability-v1-disk-full.json",
        "conformance/transitions-v1.json",
        "conformance/transition-fixtures.json",
        "spec/core/TRANSITIONS.md",
        "conformance/capacity-v1.json",
        "docs/RESERVED_CAPACITY_V1.md",
        "src/admission_sync_tests.rs",
        "docs/ADMISSION_FSYNC_V1.md",
        "docs/results/admission-fsync-v1.json",
        "model/driver.py",
        "model/test_driver.py",
        "docs/DRIVER_MODEL_V1.md",
        "conformance/driver-v1.json",
        "examples/conformance/driver.rs",
        "docs/DRIVER_RUST_V1.md",
        "examples/conformance/worker.rs",
        "conformance/driver-async-v1.json",
        "docs/DRIVER_COMPLETION_V1.md",
        "examples/admission_integration.rs",
        "docs/ADMISSION_INTEGRATION_V1.md",
        "docs/results/admission-integration-v1.json",
        "examples/admission_concurrent.rs",
        "docs/ADMISSION_CONCURRENT_V1.md",
        "docs/results/admission-concurrent-v1.json",
        "examples/admission_isolated.rs",
        "examples/loopback/writer.rs",
        "docs/ADMISSION_ISOLATED_V1.md",
        "docs/results/admission-isolated-v1.json",
        "docs/ADMISSION_ERRORS_V1.md",
        "docs/results/admission-error-boundary-v1.json",
        "model/driver_error_vectors.py",
        "conformance/driver-errors-v1.json",
        "docs/DRIVER_ERRORS_V1.md",
        "docs/results/driver-errors-v1.json",
        "model/network_owner.py",
        "docs/NETWORK_OWNER_V1.md",
        "docs/results/network-owner-v1-comparison.json",
        "docs/NETWORK_PRESSURE_V1.md",
        "docs/results/network-pressure-v1.json",
        "docs/results/network-pressure-v1-comparison.json",
        "docs/NETWORK_RECOVERY_V1.md",
        "docs/results/network-recovery-v1.json",
        "docs/results/network-recovery-v1-comparison.json",
        "docs/FLY_ADMISSION_PILOT_V1.md",
        "docs/results/fly-admission-pilot-v1-audit.json"
      ],
      "gap": "Declared local filesystem boundary only; no arbitrary hardware guarantee."
    },
    {
      "id": "C-CURRENT-01",
      "status": "partial",
      "evidence": [
        "tests/admission_wire.rs",
        "conformance/transitions-v1.json",
        "conformance/transition-fixtures.json",
        "spec/core/TRANSITIONS.md",
        "conformance/capacity-v1.json",
        "docs/RESERVED_CAPACITY_V1.md",
        "conformance/driver-v1.json",
        "examples/conformance/driver.rs",
        "docs/DRIVER_RUST_V1.md"
      ],
      "gap": "Ledger guard tested; discovery serving/retention enforcement not integrated."
    },
    {
      "id": "C-BOUNDS-01",
      "status": "partial",
      "evidence": [
        "src/rendezvous.rs",
        "src/admission_store.rs",
        "conformance/transitions-v1.json",
        "conformance/transition-fixtures.json",
        "spec/core/TRANSITIONS.md",
        "conformance/capacity-v1.json",
        "docs/RESERVED_CAPACITY_V1.md",
        "src/admission_queue.rs",
        "tests/admission_queue.rs",
        "docs/ADMISSION_QUEUE_V1.md",
        "spec/core/INGRESS_PIPELINE.md",
        "model/driver.py",
        "model/test_driver.py",
        "docs/DRIVER_MODEL_V1.md",
        "conformance/driver-v1.json",
        "examples/conformance/driver.rs",
        "docs/DRIVER_RUST_V1.md",
        "examples/conformance/worker.rs",
        "conformance/driver-async-v1.json",
        "docs/DRIVER_COMPLETION_V1.md",
        "examples/loopback/frame.rs",
        "examples/admission_loopback.rs",
        "docs/ADMISSION_LOOPBACK_V1.md",
        "examples/admission_integration.rs",
        "docs/ADMISSION_INTEGRATION_V1.md",
        "docs/results/admission-integration-v1.json",
        "examples/admission_sessions.rs",
        "examples/loopback/output.rs",
        "docs/ADMISSION_SESSIONS_V1.md",
        "docs/results/admission-sessions-v1.json",
        "examples/admission_concurrent.rs",
        "docs/ADMISSION_CONCURRENT_V1.md",
        "docs/results/admission-concurrent-v1.json",
        "examples/loopback/input.rs",
        "examples/admission_saturation.rs",
        "docs/results/admission-saturation-v1.json",
        "examples/admission_isolated.rs",
        "examples/loopback/writer.rs",
        "docs/ADMISSION_ISOLATED_V1.md",
        "docs/results/admission-isolated-v1.json",
        "examples/loopback/memory.rs",
        "docs/ADMISSION_MEMORY_V1.md",
        "docs/results/admission-memory-v1.json",
        "docs/NETWORK_PRESSURE_V1.md",
        "docs/results/network-pressure-v1.json",
        "docs/results/network-pressure-v1-comparison.json"
      ],
      "gap": "Local caps exist; ingress CPU, queue fairness, and network profiles unresolved."
    },
    {
      "id": "C-RECOVERY-01",
      "status": "partial",
      "evidence": [
        "tests/peer.rs",
        "docs/FLY_PRIVATE_V1_RESULTS.md"
      ],
      "gap": "Prototype observed-frontier behavior; complete Core wire profile unresolved."
    },
    {
      "id": "C-WIRE-01",
      "status": "partial",
      "evidence": [
        "conformance/vectors.json",
        "conformance/README.md",
        "spec/core/CLAIM_PROFILE.md",
        "conformance/claims-v1.json",
        "tests/claim_codec.rs",
        "conformance/python_adapter.py",
        "docs/CROSS_LANGUAGE_AUTH_V1.md"
      ],
      "gap": "Only a candidate codec subset; full encoding and negotiation open. Cross-language agreement includes weak-key acceptances; canonical/key-class policy remains unresolved."
    },
    {
      "id": "C-EVIDENCE-01",
      "status": "documentation",
      "evidence": [
        "spec/core/ASSURANCE.md",
        "docs/PROTOCOL_ROLLOUT.md"
      ],
      "gap": "Research reporting requirement; not an algorithmic proof."
    },
    {
      "id": "C-SERVICE-01",
      "status": "documentation",
      "evidence": [
        "docs/PUBLIC_DISCOVERY_SERVICE_CONTRACT_V1.md",
        "spec/core/DECISIONS.md",
        "docs/LOCAL_PROVENANCE_BUDGET_RESULTS_V1.md"
      ],
      "gap": "Service model and claim requirements documented; no stronger progress profile, independent review or deployment utility certification established."
    }
  ]
}