{"format": "ta-amps.seed-pack.nouns.v1", "pack_id": "probabilistic-filters-and-sketches", "status": "proposal_only", "records": [
{"store": "seedpack.probabilistic-filters-and-sketches", "key": "probabilistic-filters-and-sketches.v0.1.0.pack", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.skill_pack", "pack:probabilistic-filters-and-sketches", "role:pack", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.skill_pack", "role": "pack", "pack": "probabilistic-filters-and-sketches", "pack_version": "0.1.0", "title": "A collection of nouns and verbs for cache-line blocked Bloom filters, deletable Cuckoo filters, static Xor filters, multi-probe LSH and streaming sketches", "lets_workers": "Shield expensive storage and network reads with cache-line BlockedBloomFilter bitsets, prune gone 404 spider targets in O(1) with CuckooFilter, pack static edge tables into ~9-10 bits per key with StaticXorFingerprintFilter, recover near-duplicate recall across 128-bit SimHash bands with MultiProbeSimHashLshExpander, detect holdout contamination with MinHashLshDecontaminator and summarize Zipfian streams with ConservativeCountMinHeavyKeeperHll.", "flow": [{"verb": "probabilistic-filters-and-sketches.build-and-query-membership-filters", "when": "Construct grid-governed BlockedBloomFilter, CuckooFilter or StaticXorFingerprintFilter structures for read shielding, O(1) target deletion or static graph membership."}, {"verb": "probabilistic-filters-and-sketches.expand-multiprobe-lsh-and-decontaminate", "when": "Expand 128-bit SimHash bands with 1-bit and budgeted 2-bit multi-probe neighbors and screen candidate corpora against evaluation holdouts via banded MinHash LSH."}, {"verb": "probabilistic-filters-and-sketches.verify-sketch-bounds-and-ast-conformance", "when": "Independently verify ConservativeCountMinHeavyKeeperHll summaries, SimHash recall curves, filter false-negative guarantees and ZeroHardcodedValuesAstGate conformance."}], "guardrails": [{"store": "seedpack.probabilistic-filters-and-sketches", "key": "probabilistic-filters-and-sketches.v0.1.0.guardrail.one-sided-membership-and-safe-cuckoo-delete", "version": 1, "value_sha256": "afdbf87584b298a75c507df2e41e92e9f17c3da269ed8cf944ee5909f8426ea9"}, {"store": "seedpack.probabilistic-filters-and-sketches", "key": "probabilistic-filters-and-sketches.v0.1.0.guardrail.zero-inline-sketch-magic-literals", "version": 1, "value_sha256": "19dda403d9b662b95fca74db8cb4d98ee4a666675d9b3c4db98d82716c75249a"}], "tool": {"store": "seedpack.probabilistic-filters-and-sketches", "key": "probabilistic-filters-and-sketches.v0.1.0.tool.probabilistic-sketches", "version": 1, "value_sha256": "5e45c9fd976de0dda2328a58266215cd2ed88d20f7298247a7f3247aba456b4e"}, "worked_example": "Synthetic filter, multi-probe LSH, holdout decontamination and streaming sketch bundle recomputed in test_probabilistic_sketches.py: verifies 0% false negatives on unioned BlockedBloomFilter shards, O(1) 404 CuckooFilter deletion with 56-char base64 round-trip, 9.936 bits/key StaticXorFingerprintFilter over 1,000 static edges, 136-key 1-bit SimHash multi-probe recall recovery (0.18 -> 0.788 at Hamming distance 24 and 100% Pigeonhole recovery), holdout contamination detection and HeavyKeeper/HLL stream summarization.", "status": "proposal", "admission": "not_admitted", "content_kind": "authored_guidance", "license": "MIT", "provenance": {"source": "original ta-amps authored proposal", "license": "MIT", "generator": "scripts/build_packs.py", "independently_verified": false}, "dimensions": {"determinism": 0.0, "evidence_grounding": 0.0, "token_efficiency": 0.0, "safety_compliance": 0.0, "verification_tier": "unverified"}, "dimension_basis": {"measured": false, "method": "unmeasured_floor", "reason": "Tessera requires these axes, so each is set to its lowest value and the tier is unverified. No quality is claimed. Replace them only with measured values and the evidence that produced them."}, "relations": [{"relation": "requires_noun", "target_id": "seedpack.probabilistic-filters-and-sketches/probabilistic-filters-and-sketches.v0.1.0.guardrail.one-sided-membership-and-safe-cuckoo-delete", "target_category": "noun.skill_pack", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.probabilistic-filters-and-sketches/probabilistic-filters-and-sketches.v0.1.0.guardrail.zero-inline-sketch-magic-literals", "target_category": "noun.skill_pack", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.probabilistic-filters-and-sketches/probabilistic-filters-and-sketches.v0.1.0.spec.filter-lsh-and-sketch-grid", "target_category": "noun.benchmark_suite", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.probabilistic-filters-and-sketches/probabilistic-filters-and-sketches.v0.1.0.rules.multiprobe-recall-and-sketch-selection", "target_category": "noun.reflex_procedure", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.probabilistic-filters-and-sketches/probabilistic-filters-and-sketches.v0.1.0.tool.probabilistic-sketches", "target_category": "noun.code_node", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.probabilistic-filters-and-sketches/probabilistic-filters-and-sketches.v0.1.0.template.probabilistic-sketches-receipt", "target_category": "noun.scene_recipe", "note": ""}]}},
{"store": "seedpack.probabilistic-filters-and-sketches", "key": "probabilistic-filters-and-sketches.v0.1.0.guardrail.one-sided-membership-and-safe-cuckoo-delete", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.skill_pack", "pack:probabilistic-filters-and-sketches", "role:guardrail", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.skill_pack", "role": "guardrail", "pack": "probabilistic-filters-and-sketches", "pack_version": "0.1.0", "title": "Guardrail: membership filters never delete uninserted keys and require Cuckoo strategy when deletions are enabled", "category_reason": "Prevents silent false negatives from deleting absent fingerprints or using append-only Bloom/Xor filters on mutable sets.", "rule": "Use BlockedBloomFilter or StaticXorFingerprintFilter only for append-only or immutable sets, require CuckooFilter whenever O(1) deletion of gone 404 items is enabled and delete only previously inserted targets.", "how_it_is_checked": "Grid constraint deletes-require-cuckoo rejects non-Cuckoo delete regimes, and unit tests verify 0% false negatives across remaining live keys after 404 pruning.", "status": "proposal", "admission": "not_admitted", "content_kind": "authored_guidance", "license": "MIT", "provenance": {"source": "original ta-amps authored proposal", "license": "MIT", "generator": "scripts/build_packs.py", "independently_verified": false}, "dimensions": {"determinism": 0.0, "evidence_grounding": 0.0, "token_efficiency": 0.0, "safety_compliance": 0.0, "verification_tier": "unverified"}, "dimension_basis": {"measured": false, "method": "unmeasured_floor", "reason": "Tessera requires these axes, so each is set to its lowest value and the tier is unverified. No quality is claimed. Replace them only with measured values and the evidence that produced them."}, "relations": []}},
{"store": "seedpack.probabilistic-filters-and-sketches", "key": "probabilistic-filters-and-sketches.v0.1.0.guardrail.zero-inline-sketch-magic-literals", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.skill_pack", "pack:probabilistic-filters-and-sketches", "role:guardrail", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.skill_pack", "role": "guardrail", "pack": "probabilistic-filters-and-sketches", "pack_version": "0.1.0", "title": "Guardrail: filter bit-widths, hash counts, probe budgets and sketch dimensions forbid hardcoded inline scalars", "category_reason": "Keeps every probabilistic structure parameterized by externalized configuration grids.", "rule": "Operational Python functions and classes in probabilistic_sketches may only inline canonical mathematical identities (-1, 0, 1, -1.0, 0.0, 1.0); all bit-widths, bucket sizes, kick limits, radices and thresholds resolve from default_grid_spec.json.", "how_it_is_checked": "ZeroHardcodedValuesAstGate.scan_paths statically scans every module in probabilistic_sketches during make check.", "status": "proposal", "admission": "not_admitted", "content_kind": "authored_guidance", "license": "MIT", "provenance": {"source": "original ta-amps authored proposal", "license": "MIT", "generator": "scripts/build_packs.py", "independently_verified": false}, "dimensions": {"determinism": 0.0, "evidence_grounding": 0.0, "token_efficiency": 0.0, "safety_compliance": 0.0, "verification_tier": "unverified"}, "dimension_basis": {"measured": false, "method": "unmeasured_floor", "reason": "Tessera requires these axes, so each is set to its lowest value and the tier is unverified. No quality is claimed. Replace them only with measured values and the evidence that produced them."}, "relations": []}},
{"store": "seedpack.probabilistic-filters-and-sketches", "key": "probabilistic-filters-and-sketches.v0.1.0.spec.filter-lsh-and-sketch-grid", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.benchmark_suite", "pack:probabilistic-filters-and-sketches", "role:spec", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.benchmark_suite", "role": "spec", "pack": "probabilistic-filters-and-sketches", "pack_version": "0.1.0", "title": "Specification: BlockedBloom, Cuckoo, StaticXor, 128-bit Multi-Probe SimHash, MinHash LSH and CMS/HeavyKeeper/HLL invariants", "category_reason": "Defines deterministic hashing, peeling, multi-probe expansion and sketch error invariants.", "structures": ["BlockedBloomFilter", "CuckooFilter", "StaticXorFingerprintFilter", "MultiProbeSimHashLshExpander", "MinHashLshDecontaminator", "ConservativeCountMinHeavyKeeperHll"], "simhash_total_bits": 128, "simhash_bands": 8, "simhash_exact_keys": 8, "simhash_one_bit_multiprobe_keys": 136, "xor_target_bits_per_key_range": [9.0, 10.5], "status": "proposal", "admission": "not_admitted", "content_kind": "authored_guidance", "license": "MIT", "provenance": {"source": "original ta-amps authored proposal", "license": "MIT", "generator": "scripts/build_packs.py", "independently_verified": false}, "dimensions": {"determinism": 0.0, "evidence_grounding": 0.0, "token_efficiency": 0.0, "safety_compliance": 0.0, "verification_tier": "unverified"}, "dimension_basis": {"measured": false, "method": "unmeasured_floor", "reason": "Tessera requires these axes, so each is set to its lowest value and the tier is unverified. No quality is claimed. Replace them only with measured values and the evidence that produced them."}, "relations": []}},
{"store": "seedpack.probabilistic-filters-and-sketches", "key": "probabilistic-filters-and-sketches.v0.1.0.rules.multiprobe-recall-and-sketch-selection", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.reflex_procedure", "pack:probabilistic-filters-and-sketches", "role:rules", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.reflex_procedure", "role": "rules", "pack": "probabilistic-filters-and-sketches", "pack_version": "0.1.0", "title": "Regime selection across probabilistic filters, multi-probe SimHash radii and streaming sketches", "category_reason": "Zero-model procedure matching workload mutability and recall requirements to deterministic probabilistic structures.", "regime_mapping": {"one_sided_read_shield": "BlockedBloomFilter", "mutable_spider_frontier": "CuckooFilter + HyperLogLog", "immutable_edge_lookup": "StaticXorFingerprintFilter", "paraphrase_candidate_lookup": "MultiProbeSimHashLshExpander", "holdout_decontamination": "MinHashLshDecontaminator", "zipfian_telemetry_stream": "ConservativeCountMinHeavyKeeperHll"}, "model_calls": 0, "status": "proposal", "admission": "not_admitted", "content_kind": "authored_guidance", "license": "MIT", "provenance": {"source": "original ta-amps authored proposal", "license": "MIT", "generator": "scripts/build_packs.py", "independently_verified": false}, "dimensions": {"determinism": 0.0, "evidence_grounding": 0.0, "token_efficiency": 0.0, "safety_compliance": 0.0, "verification_tier": "unverified"}, "dimension_basis": {"measured": false, "method": "unmeasured_floor", "reason": "Tessera requires these axes, so each is set to its lowest value and the tier is unverified. No quality is claimed. Replace them only with measured values and the evidence that produced them."}, "relations": []}},
{"store": "seedpack.probabilistic-filters-and-sketches", "key": "probabilistic-filters-and-sketches.v0.1.0.tool.probabilistic-sketches", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.code_node", "pack:probabilistic-filters-and-sketches", "role:tool_card", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.code_node", "role": "tool_card", "pack": "probabilistic-filters-and-sketches", "pack_version": "0.1.0", "title": "Tool card: standard-library probabilistic filters, multi-probe LSH expanders and streaming sketches", "category_reason": "Tested Python 3.10+ standard-library package pinned by path and SHA-256.", "name": "probabilistic filters and sketches", "code": {"path": "packs/probabilistic-filters-and-sketches/code", "files": 12, "sha256": "c7a90f34fba879cec75ce00ef8b02ec28219d757350cde2726b4ef85e7f365a1"}, "runtime": "Python 3.10 or later, standard library only.", "commands": ["python -m probabilistic_sketches --bundle BUNDLE.json"], "does": ["Implements BlockedBloomFilter with Kirsch-Mitzenmacher double hashing, bitwise union combination and theoretical/empirical FPR estimation.", "Implements CuckooFilter with partial-key cuckoo hashing, O(1) delete and compact base64 serialization plus StaticXorFingerprintFilter with 3-wise hypergraph peeling.", "Implements MultiProbeSimHashLshExpander (136 0/1-bit + budgeted 2-bit probe keys), MinHashLshDecontaminator and ConservativeCountMinHeavyKeeperHll verified by ZeroHardcodedValuesAstGate."], "does_not": ["Perform network I/O, mutate live services or inline hardcoded numeric thresholds."], "code_license": "MIT", "status": "proposal", "admission": "not_admitted", "content_kind": "authored_guidance", "license": "MIT", "provenance": {"source": "original ta-amps authored proposal", "license": "MIT", "generator": "scripts/build_packs.py", "independently_verified": false}, "dimensions": {"determinism": 0.0, "evidence_grounding": 0.0, "token_efficiency": 0.0, "safety_compliance": 0.0, "verification_tier": "unverified"}, "dimension_basis": {"measured": false, "method": "unmeasured_floor", "reason": "Tessera requires these axes, so each is set to its lowest value and the tier is unverified. No quality is claimed. Replace them only with measured values and the evidence that produced them."}, "relations": [{"relation": "verifies", "target_id": "seedpack.probabilistic-filters-and-sketches/probabilistic-filters-and-sketches.v0.1.0.spec.filter-lsh-and-sketch-grid", "target_category": "noun.benchmark_suite", "note": ""}]}},
{"store": "seedpack.probabilistic-filters-and-sketches", "key": "probabilistic-filters-and-sketches.v0.1.0.template.probabilistic-sketches-receipt", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.scene_recipe", "pack:probabilistic-filters-and-sketches", "role:template", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.scene_recipe", "role": "template", "pack": "probabilistic-filters-and-sketches", "pack_version": "0.1.0", "title": "Template: probabilistic filter, multi-probe SimHash recall, holdout decontamination and sketch receipt", "describes": "a deterministic receipt of BlockedBloom, Cuckoo and StaticXor membership checks, 128-bit SimHash multi-probe recall metrics, MinHash holdout decontamination and CMS/HeavyKeeper/HLL summaries", "schema": {"type": "object", "additionalProperties": false, "required": ["bloom_zero_false_negatives", "bloom_theoretical_fpr", "cuckoo_live_present", "cuckoo_deleted_absent", "cuckoo_base64_chars", "xor_zero_false_negatives", "xor_bits_per_key", "simhash_exact_probe_keys", "simhash_1bit_probe_keys", "simhash_pigeonhole_exact_hit", "simhash_pigeonhole_1bit_hit", "simhash_target_exact_recall", "simhash_target_1bit_recall", "contaminated_candidate_ids", "clean_candidate_ids", "heavy_hitter_top_key", "heavy_hitter_cms_estimate", "hll_distinct_estimate"], "properties": {"bloom_zero_false_negatives": {"type": "boolean"}, "bloom_theoretical_fpr": {"type": "number", "minimum": 0.0, "maximum": 1.0}, "cuckoo_live_present": {"type": "boolean"}, "cuckoo_deleted_absent": {"type": "boolean"}, "cuckoo_base64_chars": {"type": "integer", "minimum": 1}, "xor_zero_false_negatives": {"type": "boolean"}, "xor_bits_per_key": {"type": "number", "minimum": 1.0}, "simhash_exact_probe_keys": {"type": "integer", "minimum": 1}, "simhash_1bit_probe_keys": {"type": "integer", "minimum": 1}, "simhash_pigeonhole_exact_hit": {"type": "boolean"}, "simhash_pigeonhole_1bit_hit": {"type": "boolean"}, "simhash_target_exact_recall": {"type": "number", "minimum": 0.0, "maximum": 1.0}, "simhash_target_1bit_recall": {"type": "number", "minimum": 0.0, "maximum": 1.0}, "contaminated_candidate_ids": {"type": "array", "items": {"type": "string"}}, "clean_candidate_ids": {"type": "array", "items": {"type": "string"}}, "heavy_hitter_top_key": {"type": "string", "minLength": 1}, "heavy_hitter_cms_estimate": {"type": "integer", "minimum": 1}, "hll_distinct_estimate": {"type": "number", "minimum": 0.0}}}, "example": {"bloom_zero_false_negatives": true, "bloom_theoretical_fpr": 0.0, "cuckoo_live_present": true, "cuckoo_deleted_absent": true, "cuckoo_base64_chars": 56, "xor_zero_false_negatives": true, "xor_bits_per_key": 9.936, "simhash_exact_probe_keys": 8, "simhash_1bit_probe_keys": 136, "simhash_pigeonhole_exact_hit": false, "simhash_pigeonhole_1bit_hit": true, "simhash_target_exact_recall": 0.18, "simhash_target_1bit_recall": 0.788, "contaminated_candidate_ids": ["cand-contaminated"], "clean_candidate_ids": ["cand-clean"], "heavy_hitter_top_key": "verb:verify-gate", "heavy_hitter_cms_estimate": 40, "hll_distinct_estimate": 4.03}, "status": "proposal", "admission": "not_admitted", "content_kind": "authored_guidance", "license": "MIT", "provenance": {"source": "original ta-amps authored proposal", "license": "MIT", "generator": "scripts/build_packs.py", "independently_verified": false}, "dimensions": {"determinism": 0.0, "evidence_grounding": 0.0, "token_efficiency": 0.0, "safety_compliance": 0.0, "verification_tier": "unverified"}, "dimension_basis": {"measured": false, "method": "unmeasured_floor", "reason": "Tessera requires these axes, so each is set to its lowest value and the tier is unverified. No quality is claimed. Replace them only with measured values and the evidence that produced them."}, "relations": []}},
{"store": "seedpack.probabilistic-filters-and-sketches", "key": "probabilistic-filters-and-sketches.v0.1.0.example.probabilistic-sketches-bundle", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.eval_run", "pack:probabilistic-filters-and-sketches", "role:example", "synthetic:true", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.eval_run", "role": "example", "pack": "probabilistic-filters-and-sketches", "pack_version": "0.1.0", "title": "Worked example input: synthetic filter shards, 404 Cuckoo targets, 1,000 Xor edges, LSH pairs and stream events", "category_reason": "Synthetic fixture recomputed by test_probabilistic_sketches.py.", "bloom_shard_a": ["record:alpha-01", "record:alpha-02", "record:alpha-03"], "bloom_shard_b": ["record:beta-01", "record:beta-02", "record:beta-03"], "cuckoo_items": ["https://example.invalid/repo/alpha-1", "https://example.invalid/repo/alpha-2", "https://example.invalid/repo/gone-404", "https://example.invalid/repo/beta-3"], "cuckoo_gone_items": ["https://example.invalid/repo/gone-404"], "static_edge_prefix": "dag-edge", "static_edge_count": 1000, "simhash_distances": [8, 16, 24], "simhash_trials": 250, "simhash_seed": 42, "simhash_report_distance": 24, "holdout_docs": [{"id": "holdout-q1", "text": "Compute deterministic cache line blocked bloom filter false positive probability under kirsch mitzenmacher double hashing"}], "candidate_docs": [{"id": "cand-contaminated", "text": "Compute deterministic cache line blocked bloom filter false positive probability under kirsch mitzenmacher hashing"}, {"id": "cand-clean", "text": "Balanced caption line breaking avoids orphan words and trailing prepositions across narrow viewport cards"}], "stream_events": [{"key": "verb:verify-gate", "count": 40}, {"key": "verb:probe-source", "count": 12}, {"key": "verb:ingest-doc", "count": 3}, {"key": "verb:compile-dag", "count": 1}], "shows": "Synthetic filter, multi-probe LSH, holdout decontamination and streaming sketch workload.", "source": "Synthetic. Written for this pack.", "status": "proposal", "admission": "not_admitted", "content_kind": "synthetic_example", "license": "MIT", "provenance": {"source": "original ta-amps authored proposal", "license": "MIT", "generator": "scripts/build_packs.py", "independently_verified": false}, "dimensions": {"determinism": 0.0, "evidence_grounding": 0.0, "token_efficiency": 0.0, "safety_compliance": 0.0, "verification_tier": "unverified"}, "dimension_basis": {"measured": false, "method": "unmeasured_floor", "reason": "Tessera requires these axes, so each is set to its lowest value and the tier is unverified. No quality is claimed. Replace them only with measured values and the evidence that produced them."}, "relations": []}},
{"store": "seedpack.probabilistic-filters-and-sketches", "key": "probabilistic-filters-and-sketches.v0.1.0.example.probabilistic-sketches-receipt", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.eval_run", "pack:probabilistic-filters-and-sketches", "role:example", "synthetic:true", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.eval_run", "role": "example", "pack": "probabilistic-filters-and-sketches", "pack_version": "0.1.0", "title": "Worked example output: recomputed probabilistic filter, multi-probe LSH and streaming sketch receipt", "category_reason": "Synthetic receipt verified by test_probabilistic_sketches.py.", "conforms_to": {"store": "seedpack.probabilistic-filters-and-sketches", "key": "probabilistic-filters-and-sketches.v0.1.0.template.probabilistic-sketches-receipt", "version": 1, "value_sha256": "dbf2ba25ae086d4f1aab81fcee94b4b78b1abb0605ed95bfa5ed8da9bdc1779e"}, "instance": {"bloom_zero_false_negatives": true, "bloom_theoretical_fpr": 0.0, "cuckoo_live_present": true, "cuckoo_deleted_absent": true, "cuckoo_base64_chars": 56, "xor_zero_false_negatives": true, "xor_bits_per_key": 9.936, "simhash_exact_probe_keys": 8, "simhash_1bit_probe_keys": 136, "simhash_pigeonhole_exact_hit": false, "simhash_pigeonhole_1bit_hit": true, "simhash_target_exact_recall": 0.18, "simhash_target_1bit_recall": 0.788, "contaminated_candidate_ids": ["cand-contaminated"], "clean_candidate_ids": ["cand-clean"], "heavy_hitter_top_key": "verb:verify-gate", "heavy_hitter_cms_estimate": 40, "hll_distinct_estimate": 4.03}, "shows": "Recomputes exact 0% false-negative filter guarantees, O(1) Cuckoo deletion, 9.936 bits/key static Xor compactness, 136-key SimHash multi-probe recall lift, holdout contamination hit and CMS/HeavyKeeper/HLL counts.", "source": "Synthetic. Recomputed directly from example.probabilistic-sketches-bundle.", "status": "proposal", "admission": "not_admitted", "content_kind": "synthetic_example", "license": "MIT", "provenance": {"source": "original ta-amps authored proposal", "license": "MIT", "generator": "scripts/build_packs.py", "independently_verified": false}, "dimensions": {"determinism": 0.0, "evidence_grounding": 0.0, "token_efficiency": 0.0, "safety_compliance": 0.0, "verification_tier": "unverified"}, "dimension_basis": {"measured": false, "method": "unmeasured_floor", "reason": "Tessera requires these axes, so each is set to its lowest value and the tier is unverified. No quality is claimed. Replace them only with measured values and the evidence that produced them."}, "relations": [{"relation": "derives_from", "target_id": "seedpack.probabilistic-filters-and-sketches/probabilistic-filters-and-sketches.v0.1.0.example.probabilistic-sketches-bundle", "target_category": "noun.eval_run", "note": ""}, {"relation": "verifies", "target_id": "seedpack.probabilistic-filters-and-sketches/probabilistic-filters-and-sketches.v0.1.0.template.probabilistic-sketches-receipt", "target_category": "noun.scene_recipe", "note": ""}]}}
]}