{ "excluded_counts": {}, "files": [ { "bytes": 270, "original_source_member": "Invariant_CP03R1/huggingface/spaces/gop-counterexamples/FILE_MANIFEST.json", "path": "FILE_MANIFEST.json", "sha256": "4af1a44710a985276c8ad38b928913d84eeb938e2178270fc384e99c3ee1c148" }, { "bytes": 527, "original_source_member": "Invariant_CP03R1/huggingface/spaces/gop-counterexamples/README.md", "path": "README.md", "sha256": "66e06b0b5019de4a5a1ec58665db412618d7120235a82b2ef2de2d772449dcd9" }, { "bytes": 6085, "original_source_member": "Invariant_CP03R1/huggingface/spaces/gop-counterexamples/index.html", "path": "index.html", "sha256": "56ecb6fd1bc07cb3a3497f62910c93de31d17f18ce2585a75ced272c45087bce" } ], "published_files": 3, "repository": "huggingface/spaces/gop-counterexamples", "schema": "invariant.source_member_manifest.v1", "scope": "source files + minimal repository metadata; no new training or independent experiment", "selected_from_files": 3, "source_archive": "CP03R1", "source_archive_sha256": "9507b5a42e661ae7588ab69cb395597749f043c419ebd981a6c91051516a3209" }