{ "format": "ta-amps.seed-pack.proposal.v1", "status": "proposal_only", "pack_id": "probabilistic-filters-and-sketches", "title": "Probabilistic filters and sketches", "version": "0.1.0", "summary": "A collection of nouns and verbs for cache-line blocked Bloom filters, deletable Cuckoo filters, static Xor filters, multi-probe LSH and streaming sketches.", "license": "MIT", "store": "seedpack.probabilistic-filters-and-sketches", "queue_placeholder": "conformance-seed-packs", "files": [ { "path": "README.md", "sha256": "47b6c1e721ade81c8b1740635f251164ae7e7a448d2b4e281eeb651083a256d6" }, { "path": "source.json", "sha256": "265e6ac49b7cf9c93b7f196601eb8c4f35882d14e41cfa11d2b6479fb8dee4c6" }, { "path": "nouns.json", "sha256": "93be7a6dd25f010a3f506f9f4fa459f26f01116aa108aa511c3193a8177d05b6" }, { "path": "verbs.json", "sha256": "3e02e5b7bae14152a4c575e028e51e110ebf30276366e5bfbcf5e78121741996" } ], "nouns": [ { "key": "probabilistic-filters-and-sketches.v0.1.0.pack", "category_id": "noun.skill_pack", "role": "pack", "value_sha256": "6774d3e7fc512cacdd701d8414efc0587b26249493c8e570de63b6f577a2500f" }, { "key": "probabilistic-filters-and-sketches.v0.1.0.guardrail.one-sided-membership-and-safe-cuckoo-delete", "category_id": "noun.skill_pack", "role": "guardrail", "value_sha256": "afdbf87584b298a75c507df2e41e92e9f17c3da269ed8cf944ee5909f8426ea9" }, { "key": "probabilistic-filters-and-sketches.v0.1.0.guardrail.zero-inline-sketch-magic-literals", "category_id": "noun.skill_pack", "role": "guardrail", "value_sha256": "19dda403d9b662b95fca74db8cb4d98ee4a666675d9b3c4db98d82716c75249a" }, { "key": "probabilistic-filters-and-sketches.v0.1.0.spec.filter-lsh-and-sketch-grid", "category_id": "noun.benchmark_suite", "role": "spec", "value_sha256": "d90fb2aceddbf2ddd3312cd42d216b5e9887779fa4437ffbb342d5453e0ba0d6" }, { "key": "probabilistic-filters-and-sketches.v0.1.0.rules.multiprobe-recall-and-sketch-selection", "category_id": "noun.reflex_procedure", "role": "rules", "value_sha256": "10588f80a9583b47047be674e9998a470f85b2f79ae6112a43fe8a3ce0ad3845" }, { "key": "probabilistic-filters-and-sketches.v0.1.0.tool.probabilistic-sketches", "category_id": "noun.code_node", "role": "tool_card", "value_sha256": "5e45c9fd976de0dda2328a58266215cd2ed88d20f7298247a7f3247aba456b4e" }, { "key": "probabilistic-filters-and-sketches.v0.1.0.template.probabilistic-sketches-receipt", "category_id": "noun.scene_recipe", "role": "template", "value_sha256": "dbf2ba25ae086d4f1aab81fcee94b4b78b1abb0605ed95bfa5ed8da9bdc1779e" }, { "key": "probabilistic-filters-and-sketches.v0.1.0.example.probabilistic-sketches-bundle", "category_id": "noun.eval_run", "role": "example", "value_sha256": "01929f111b92e57c941f34c930cd32a10c74b75649395b6b201563a86ea3d51f" }, { "key": "probabilistic-filters-and-sketches.v0.1.0.example.probabilistic-sketches-receipt", "category_id": "noun.eval_run", "role": "example", "value_sha256": "1ca6ef71993c7a4976181964504558f14749773f0688d6ca962f9db24eec4ac7" } ], "verbs": [ { "template_id": "probabilistic-filters-and-sketches.build-and-query-membership-filters", "kind": "verb.generate_seed", "claimant": "agent", "idempotency_key": "seedpack:probabilistic-filters-and-sketches:build-and-query-membership-filters:ebea0f11a0298e7fdbba8eb8540aa4481950ccf052e2ee056a2da4a0cb59a7cd", "report_shape_sha256": "756075cecc2d916c1abb517c3460279dfcbe7ad861ff963a5949586a3dd48e9e" }, { "template_id": "probabilistic-filters-and-sketches.expand-multiprobe-lsh-and-decontaminate", "kind": "verb.probe_source", "claimant": "agent", "idempotency_key": "seedpack:probabilistic-filters-and-sketches:expand-multiprobe-lsh-and-decontaminate:428f65f2e3ba6991dc2c6f4f17cb3d637244924ae49f8da075c3d9bbf14193c7", "report_shape_sha256": "b9710bee0fbde7022ac611e95cc96b0c030450a153a0bfaccfe3b354811c1811" }, { "template_id": "probabilistic-filters-and-sketches.verify-sketch-bounds-and-ast-conformance", "kind": "verb.verify_gate", "claimant": "agent", "idempotency_key": "seedpack:probabilistic-filters-and-sketches:verify-sketch-bounds-and-ast-conformance:d5993dc4d16eed33c8e1b6ca4f0358eac1f9c646b7b589add4b527addf7c8fc8", "report_shape_sha256": "8017fed837f2a2bd4b100a41c3195d06f7349c39716a415fb838e722672247b3" } ], "code": { "path": "packs/probabilistic-filters-and-sketches/code", "files": 12, "sha256": "c7a90f34fba879cec75ce00ef8b02ec28219d757350cde2726b4ef85e7f365a1", "runs": "The library runs this code only in its own CI tests; workers run it under their own permissions. Reading, exporting or importing the pack runs none of it." }, "dependencies": [ { "pack_id": "configuration-grids-and-bounds", "keys": [] }, { "pack_id": "evaluation-design", "keys": [] }, { "pack_id": "wiring-and-conformance-checks", "keys": [] } ], "boundaries": [ "BlockedBloomFilter, CuckooFilter and StaticXorFingerprintFilter act strictly as one-sided membership shields: negative checks guarantee absence for static/unevicted keys, while positive checks still require exact downstream verification when collisions matter.", "CuckooFilter deletions apply only to keys previously inserted into the filter; deleting uninserted keys can create false negatives.", "All bit-widths, hash counts, bucket capacities, probe radii and sketch dimensions resolve from externalized configuration grid specs and pass ZeroHardcodedValuesAstGate.", "Importing the pack writes nothing, enqueues nothing and installs no code." ], "override_policy": { "automatic_merge": false, "on_conflict": "stop_and_clarify" }, "importer": null, "importer_reason": "No manifest endpoint or generic importer exists. Reading or exporting this pack writes no records, enqueues no verbs and activates nothing.", "activation": { "automatic": false, "steps": [ "An owner assigns the namespace, store and queue.", "Each noun is written create-only with existing grants and read back; its value SHA-256 must match the pin.", "A verb template is filled with exact pins and enqueued explicitly by an authorized requester." ] }, "evaluation": { "result": null, "reason": "Offline shape, category and digest validation only. No worker has run these verbs." } }