ipvv — 49 claims

• chunkA-svatyandya — PARTIAL — ipvv chunkA-svatyandya (M00020:200-600) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkB-eligibility-gita — PARTIAL — ipvv chunkB-eligibility-gita (M00020:600-900) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkC-svatma-maya-upanishad — PARTIAL — ipvv chunkC-svatma-maya-upanishad (M00020:1200-1800) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkD-memory-pramana — PARTIAL — ipvv chunkD-memory-pramana (M00020:1800-2400) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkE-cit-acid-dvairasya — PARTIAL — ipvv chunkE-cit-acid-dvairasya (M00020:2400-3126) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkF-upoddhata-k1-7 — PARTIAL — ipvv chunkF-upoddhata-k1-7 (M00020:3126-3700) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkG-k1.2.7-1.8-citsvarupam — PARTIAL — ipvv chunkG-k1.2.7-1.8-citsvarupam (M00020:3700-4300) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkH-k1.8-caitanyamajada-pratibimba — PARTIAL — ipvv chunkH-k1.8-caitanyamajada-pratibimba (M00020:4300-5077) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkI-k1.9-1.10-kriya-karyakarana — PARTIAL — ipvv chunkI-k1.9-1.10-kriya-karyakarana (M00020:5077-5585) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkJ-k1.11-kartapi-kalpita — PARTIAL — ipvv chunkJ-k1.11-kartapi-kalpita (M00020:5585-5750) links incomplete (8 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkK-purvapaksa-siddhanta — PARTIAL — ipvv chunkK-purvapaksa-siddhanta (M00020:5750-6300) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkL-memory-error-sankaranandana — PARTIAL — ipvv chunkL-memory-error-sankaranandana (M00020:6300-6900) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkM-jnanadhikara-reflexion-core — PARTIAL — ipvv chunkM-jnanadhikara-reflexion-core (M00020:6900-7600) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkN-close-mahesvara-saktis — PARTIAL — ipvv chunkN-close-mahesvara-saktis (M00020:7600-8313) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-A-caturtho-vimarsa-aham — PARTIAL — ipvv chunkV2-A-caturtho-vimarsa-aham (M00021:29-700) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-B-sahajavimarsa-prakasavimarsa — PARTIAL — ipvv chunkV2-B-sahajavimarsa-prakasavimarsa (M00021:700-1400) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-C-vistanti-ajadapramatrsiddhi — PARTIAL — ipvv chunkV2-C-vistanti-ajadapramatrsiddhi (M00021:1400-2082) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-D-pancamo-vimarsa-jnanasakti — PARTIAL — ipvv chunkV2-D-pancamo-vimarsa-jnanasakti (M00021:2082-2800) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-E-pancamo-jnanasakti-k5 — PARTIAL — ipvv chunkV2-E-pancamo-jnanasakti-k5 (M00021:2800-3600) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-F-pancamo-vimarsa-k6 — PARTIAL — ipvv chunkV2-F-pancamo-vimarsa-k6 (M00021:3600-4400) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-G-pancamo-vimarsa-k7-10 — PARTIAL — ipvv chunkV2-G-pancamo-vimarsa-k7-10 (M00021:4400-5200) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-H-pancamo-vimarsa-k11-13 — PARTIAL — ipvv chunkV2-H-pancamo-vimarsa-k11-13 (M00021:5200-6000) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-I-pancamo-vimarsa-k14-19 — PARTIAL — ipvv chunkV2-I-pancamo-vimarsa-k14-19 (M00021:6000-6800) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-J-pancamo-vimarsa-k19-20 — PARTIAL — ipvv chunkV2-J-pancamo-vimarsa-k19-20 (M00021:6800-7600) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-K-pancamo-vimarsa-k20-21 — PARTIAL — ipvv chunkV2-K-pancamo-vimarsa-k20-21 (M00021:7600-8401) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-L-sastho-vimarsa-smrti-apohana — PARTIAL — ipvv chunkV2-L-sastho-vimarsa-smrti-apohana (M00021:8405-9200) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-M-sastho-vimarsa-k6-7 — PARTIAL — ipvv chunkV2-M-sastho-vimarsa-k6-7 (M00021:9200-10000) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-N-sastho-k8-11 — PARTIAL — ipvv chunkV2-N-sastho-k8-11 (M00021:10000-10385) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-O-saptamo-vimarsa — PARTIAL — ipvv chunkV2-O-saptamo-vimarsa (M00021:10385-11200) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-P-saptamo-k5-10 — PARTIAL — ipvv chunkV2-P-saptamo-k5-10 (M00021:11200-12000) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-Q-saptamo-k11-close — PARTIAL — ipvv chunkV2-Q-saptamo-k11-close (M00021:12000-12423) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-R-astamo-vimarsa — PARTIAL — ipvv chunkV2-R-astamo-vimarsa (M00021:12423-13200) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV2-S-astamo-close-jnanadhikara — PARTIAL — ipvv chunkV2-S-astamo-close-jnanadhikara (M00021:13200-13405) links incomplete (8 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV3-A-kriya-prathamo-k1-2 — PARTIAL — ipvv chunkV3-A-kriya-prathamo-k1-2 (M00022:57-837) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV3-B-kriya-dvitiyo-k1-7 — PARTIAL — ipvv chunkV3-B-kriya-dvitiyo-k1-7 (M00022:842-2055) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV3-C-kriya-trtiyo-k1-2 — PARTIAL — ipvv chunkV3-C-kriya-trtiyo-k1-2 (M00022:2055-3000) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV3-D-kriya-trtiyo-k3-8 — PARTIAL — ipvv chunkV3-D-kriya-trtiyo-k3-8 (M00022:3000-4000) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV3-E-kriya-trtiyo-k9-17 — PARTIAL — ipvv chunkV3-E-kriya-trtiyo-k9-17 (M00022:4000-5000) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV3-F-kriya-trtiyo-close — PARTIAL — ipvv chunkV3-F-kriya-trtiyo-close (M00022:5000-5514) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV3-G-kriya-caturtho-k1-11 — PARTIAL — ipvv chunkV3-G-kriya-caturtho-k1-11 (M00022:5514-6300) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV3-H-kriya-caturtho-k12-19 — PARTIAL — ipvv chunkV3-H-kriya-caturtho-k12-19 (M00022:6300-7200) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV3-I-kriya-caturtho-close-k20-21 — PARTIAL — ipvv chunkV3-I-kriya-caturtho-close-k20-21 (M00022:7200-7662) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV3-J-agama-prathamo-k1-7 — PARTIAL — ipvv chunkV3-J-agama-prathamo-k1-7 (M00022:7662-8500) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV3-K-agama-prathamo-k8-11-close — PARTIAL — ipvv chunkV3-K-agama-prathamo-k8-11-close (M00022:8500-9267) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV3-L-agama-dvitiyo-k1-11 — PARTIAL — ipvv chunkV3-L-agama-dvitiyo-k1-11 (M00022:9272-10000) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV3-M-agama-dvitiyo-close-k12-20 — PARTIAL — ipvv chunkV3-M-agama-dvitiyo-close-k12-20 (M00022:10000-10886) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV3-N-tattva-prathamo-k1-8 — PARTIAL — ipvv chunkV3-N-tattva-prathamo-k1-8 (M00022:10895-11600) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV3-O-tattva-trtiyo-k9-15 — PARTIAL — ipvv chunkV3-O-tattva-trtiyo-k9-15 (M00022:11600-12263) links incomplete (7 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• chunkV3-P-tattva-caturtho-close-k1-3 — PARTIAL — ipvv chunkV3-P-tattva-caturtho-close-k1-3 (M00022:12263-12539) links incomplete (8 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.