{"format": "ta-amps.seed-pack.nouns.v1", "pack_id": "wiring-and-conformance-checks", "status": "proposal_only", "records": [
{"store": "seedpack.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.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:wiring-and-conformance-checks", "role:pack", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.skill_pack", "role": "pack", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "A collection of nouns and verbs for proving a code project's capabilities are wired in", "lets_workers": "Prove that what a code project has written and tested is actually reachable: find modules no live path imports, check that every config field survives a save and reload, check that every health probe fails when its dependency stops, give every rule a canary its check must catch, and confirm each documented behavior has a test that runs the real path rather than a mock. Every gap becomes a finding in the findings to fixes pack's shape. Tested standard-library code finds unused modules, mock-only tests and hollow probes in Python packages.", "not_for": "Deciding what the code should do, or reviewing its security; the repository review and security review packs do those.", "flow": [{"verb": "wiring-and-conformance-checks.scope-wiring", "when": "Entry points, config schemas, probes, docs and rules, at one commit."}, {"verb": "wiring-and-conformance-checks.find-unused-modules", "when": "The import graph from the entry points, then a runtime trace."}, {"verb": "wiring-and-conformance-checks.check-config-round-trip", "when": "Every config field saved, reloaded and compared."}, {"verb": "wiring-and-conformance-checks.check-health-probes", "when": "Hollow probes found statically, the rest run with dependencies stopped."}, {"verb": "wiring-and-conformance-checks.map-behaviors-to-tests", "when": "Each documented behavior, its real path and its tests' patches."}, {"verb": "wiring-and-conformance-checks.plant-canaries", "when": "One known-bad canary per rule, caught by its check."}, {"verb": "wiring-and-conformance-checks.record-wiring-findings", "when": "One finding per gap, in the findings to fixes shape."}, {"verb": "wiring-and-conformance-checks.compile-conformance-report", "when": "Every rule's result, canary and finding in one report."}, {"verb": "findings-to-fixes.triage", "when": "Each finding triaged, then a fix proposed and verified."}], "guardrails": [{"store": "seedpack.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.guardrail.live-path-or-finding", "version": 1, "value_sha256": "21c7eb4b00ddfc7a9ce37bb1e8f413fa3350c2c985baf2c94b1544d57515ff25"}, {"store": "seedpack.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.guardrail.real-path-not-a-mock", "version": 1, "value_sha256": "f1337c00295812b1b33c538684e8fd83a6ccba9573322708b7653fe8dabefe48"}, {"store": "seedpack.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.guardrail.canary-for-every-rule", "version": 1, "value_sha256": "82b8130705b1a0e334c2d9e933c7ce13acc6f72b3bd2a1871c2f0c6444864335"}], "tool": {"store": "seedpack.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.tool.wiring-checks", "version": 1, "value_sha256": "c90bddd1076d7491d827bcdf1372a6a9f94570d9c0238967f4370ba07c608d96"}, "worked_example": "Synthetic: a food pantry's appointment app. The module map finds two dark modules, one only tests reach, one used only for type checking and two that a computed import name could load, which a runtime trace confirms. One setting is lost on reload and unknown keys vanish. Three probes are hollow on their face, and a fourth passes with its database stopped. Two documented behaviors are covered only by tests that patch their own path, and one has no test. Twelve findings follow.", "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.wiring-and-conformance-checks/wiring-and-conformance-checks.v0.1.0.method", "target_category": "noun.skill_pack", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.wiring-and-conformance-checks/wiring-and-conformance-checks.v0.1.0.guardrail.live-path-or-finding", "target_category": "noun.skill_pack", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.wiring-and-conformance-checks/wiring-and-conformance-checks.v0.1.0.guardrail.real-path-not-a-mock", "target_category": "noun.skill_pack", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.wiring-and-conformance-checks/wiring-and-conformance-checks.v0.1.0.guardrail.canary-for-every-rule", "target_category": "noun.skill_pack", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.wiring-and-conformance-checks/wiring-and-conformance-checks.v0.1.0.rules.live-paths", "target_category": "noun.reflex_procedure", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.wiring-and-conformance-checks/wiring-and-conformance-checks.v0.1.0.rules.config-round-trip", "target_category": "noun.reflex_procedure", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.wiring-and-conformance-checks/wiring-and-conformance-checks.v0.1.0.rules.health-probes", "target_category": "noun.reflex_procedure", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.wiring-and-conformance-checks/wiring-and-conformance-checks.v0.1.0.rules.behavior-coverage", "target_category": "noun.reflex_procedure", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.wiring-and-conformance-checks/wiring-and-conformance-checks.v0.1.0.tool.wiring-checks", "target_category": "noun.code_node", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.wiring-and-conformance-checks/wiring-and-conformance-checks.v0.1.0.template.conformance-report", "target_category": "noun.eval_run", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.findings-to-fixes/findings-to-fixes.v0.1.0.template.finding", "target_category": "noun.seed_hypothesis", "note": ""}]}},
{"store": "seedpack.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.method", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.skill_pack", "pack:wiring-and-conformance-checks", "role:method", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.skill_pack", "role": "method", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "How wiring and conformance are checked, from scope to findings", "category_reason": "A reusable procedure with guardrails, followed by every verb in this pack.", "lifecycle": ["scope-wiring names the commit, packages, entry points, config schemas, probes, docs and rules.", "find-unused-modules, check-config-round-trip, check-health-probes and map-behaviors-to-tests each run one rule in a local copy and record what they saw.", "plant-canaries gives every rule a known-bad example its check must catch.", "record-wiring-findings writes one finding per gap; compile-conformance-report puts every rule's result, canary and finding in one report.", "The findings to fixes pack triages, fixes and verifies each finding; the report is compiled again at the fixed commit."], "rules": ["Static reading finds leads and a check that ran decides: confirm a dark module with a runtime import trace from every entry point, and a probe with its dependency stopped.", "Work in a local copy at the exact commit; nothing outside that copy is read or changed.", "A check never deletes or rewires anything. A gap becomes a finding whose fix proposal says wire it in or remove it, and a person decides.", "Mocks at the edges, such as the clock, the network or a payment provider, are fine; a mock on the documented path is not coverage.", "Canaries live in the test tree, never on a live path.", "Workers create nouns and propose verbs; they never enqueue."], "follow_ups": {"finding": "findings-to-fixes.record-finding", "triage": "findings-to-fixes.triage", "fix": "findings-to-fixes.propose-fix", "guard": "findings-to-fixes.add-regression-guard", "check_the_checks": "checks-of-checks.validate-checks"}, "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.guardrail.live-path-or-finding", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.skill_pack", "pack:wiring-and-conformance-checks", "role:guardrail", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.skill_pack", "role": "guardrail", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Guardrail: on a live path, or a finding", "category_reason": "A guardrail is a reusable rule every verb in this work follows, with the check that proves it.", "rule": "Every module, config field, health probe and documented behavior in scope is either shown on a live path by a check that ran, or recorded as a finding. Nothing counts as wired because it has tests, is imported by a test or is described in a document.", "how_it_is_checked": "The conformance report lists every rule's results, and every failure in it names its finding.", "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.guardrail.real-path-not-a-mock", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.skill_pack", "pack:wiring-and-conformance-checks", "role:guardrail", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.skill_pack", "role": "guardrail", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Guardrail: a behavior is covered by a test of its real path", "category_reason": "A guardrail is a reusable rule every verb in this work follows, with the check that proves it.", "rule": "A documented behavior counts as covered only by a test that runs the code people reach. A test that replaces a function on that path with a mock, stub or fake proves its own wiring, not the product's.", "how_it_is_checked": "At least one listed test for each covered behavior patches nothing on the behavior's real path, by the mock scan's record of every patched target.", "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.guardrail.canary-for-every-rule", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.skill_pack", "pack:wiring-and-conformance-checks", "role:guardrail", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.skill_pack", "role": "guardrail", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Guardrail: every rule has a canary its check must catch", "category_reason": "A guardrail is a reusable rule every verb in this work follows, with the check that proves it.", "rule": "Every conformance rule has a canary: a planted, known-bad example its check must flag each time it runs. A check that misses its canary is broken, and its clean results count for nothing until it catches the canary again.", "how_it_is_checked": "Every rule in the conformance report names its canary and the run that caught it.", "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": "derives_from", "target_id": "seedpack.checks-of-checks/checks-of-checks.v0.1.0.method", "target_category": "noun.skill_pack", "note": "A canary is a known-bad example in the checks of checks sense."}]}},
{"store": "seedpack.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.rules.live-paths", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.reflex_procedure", "pack:wiring-and-conformance-checks", "role:rules", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.reflex_procedure", "role": "rules", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "What a live path is, and how modules are classified", "category_reason": "A zero-call deterministic procedure: the same source and entry points give the same map.", "entry_points": ["Console and GUI scripts and plugin entry points declared in packaging metadata.", "python -m targets: the __main__ modules.", "Server, worker and scheduled-job start-up modules a deployment runs.", "Modules a deployment loads by configuration, such as a plugin list in a settings file, named in the scope."], "counts_as_an_import": ["import x and from x import y, absolute or relative.", "Importing a submodule, which loads its parent packages.", "importlib.import_module or __import__ with a constant name.", "An import inside a function, which runs when the function does."], "does_not_count": ["An import only under if TYPE_CHECKING.", "An import only from tests.", "An import from a module that is itself dark."], "statuses": {"live": "Reached from an entry point through imports that run.", "dynamic_candidate": "Could be loaded by a computed import name; a runtime trace settles it.", "type_only": "Reached only for type checking; not a gap.", "test_only": "Reached only from tests; a gap.", "dark": "Reached from nothing; a gap."}, "rules": ["A computed module name leaves the graph open: list the call, and settle the modules its prefix could load with a trace.", "Before recording a dark or test-only module, run every entry point in a local copy with python -X importtime, or a dump of sys.modules, and confirm it never loads."], "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.rules.config-round-trip", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.reflex_procedure", "pack:wiring-and-conformance-checks", "role:rules", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.reflex_procedure", "role": "rules", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Config fields survive a save and a reload", "category_reason": "A zero-call deterministic procedure: the same schema and values give the same results.", "rules": ["For every field in the config schema, set a value that differs from its default, save it with the project's own writer, load it with its own reader and compare.", "Load, save and load again: the second load equals the first. Stability alone does not prove a field survives; a lost field is stable at its default.", "A field read back as its default, or missing, is lost; one read back as another value is changed.", "A field the code never reads after loading is not_read: it is wired to nothing.", "An unknown key is rejected with an error or preserved; dropping it silently is a gap.", "Round-trip environment and command-line overrides separately.", "Use synthetic values only; never put a real secret in a fixture."], "results": ["survives", "lost", "changed", "not_read"], "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.rules.health-probes", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.reflex_procedure", "pack:wiring-and-conformance-checks", "role:rules", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.reflex_procedure", "role": "rules", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "A health probe probes", "category_reason": "A zero-call deterministic procedure: the same probe and stopped dependency give the same result.", "rules": ["A probe probes a dependency when stopping that dependency makes it fail or report degraded within its timeout, and restoring it makes it healthy again.", "Stop each dependency the probe claims to cover, in a local copy only: a database, a queue, a cache, an upstream service, a disk or a model endpoint.", "A probe that returns a constant, or only a flag set at start-up, is hollow whatever its tests say.", "A probe that calls a dependency but ignores the answer is hollow too; only the stopped run shows it.", "Liveness checks the process itself and does not fail because a downstream dependency is down; readiness checks the dependencies traffic needs.", "A probe answers within its caller's timeout and changes nothing it checks."], "static_kinds": {"constant": "Returns only literals; cannot fail.", "flag_only": "Reads a remembered state; probes no dependency.", "calls": "Calls something; a lead until the stopped run."}, "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.rules.behavior-coverage", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.reflex_procedure", "pack:wiring-and-conformance-checks", "role:rules", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.reflex_procedure", "role": "rules", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Each documented behavior has a test of its real path", "category_reason": "A zero-call deterministic procedure: the same map and tests give the same statuses.", "rules": ["List each behavior the docs, help text or API description promise as one sentence, with where it is promised.", "Name its real path: the dotted names from the entry people reach to the effect.", "Map each behavior to the tests said to cover it, and record what every test patches.", "real_path: at least one listed test patches nothing on the path. mock_only: every listed test does. untested: no listed test exists.", "A behavior that needs an outside service gets a contract test against a recorded exchange, not a mock of its own path.", "A test that patches nothing may still not reach the entry; read it to confirm that it does."], "statuses": ["real_path", "mock_only", "untested"], "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.template.wiring-scope", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.seed_hypothesis", "pack:wiring-and-conformance-checks", "role:template", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.seed_hypothesis", "role": "template", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Template: what a wiring check covers: the commit, packages, entry points, tests, config schemas, probes, docs and rules", "category_reason": "A scope states what is believed to be live, which the checks confirm or refute.", "describes": "what a wiring check covers: the commit, packages, entry points, tests, config schemas, probes, docs and rules", "schema": {"type": "object", "additionalProperties": false, "required": ["project", "commit", "source_root", "packages", "entry_points", "test_paths", "config_schemas", "probes", "docs", "rules", "out_of_scope"], "properties": {"project": {"type": "string", "minLength": 1, "maxLength": 120}, "commit": {"type": "string", "pattern": "^[0-9a-f]{40}$", "maxLength": 40}, "source_root": {"type": "string", "minLength": 1, "maxLength": 200}, "packages": {"type": "array", "minItems": 1, "maxItems": 50, "items": {"type": "string", "minLength": 1, "maxLength": 120}}, "entry_points": {"type": "array", "minItems": 1, "maxItems": 50, "items": {"type": "object", "additionalProperties": false, "required": ["module", "why"], "properties": {"module": {"type": "string", "minLength": 1, "maxLength": 200}, "why": {"type": "string", "minLength": 1, "maxLength": 300}}}}, "test_paths": {"type": "array", "minItems": 0, "maxItems": 50, "items": {"type": "string", "minLength": 1, "maxLength": 200}}, "config_schemas": {"type": "array", "minItems": 0, "maxItems": 20, "items": {"type": "object", "additionalProperties": false, "required": ["name", "reader", "writer"], "properties": {"name": {"type": "string", "minLength": 1, "maxLength": 200}, "reader": {"type": "string", "minLength": 1, "maxLength": 200}, "writer": {"type": "string", "minLength": 1, "maxLength": 200}}}}, "probes": {"type": "array", "minItems": 0, "maxItems": 50, "items": {"type": "object", "additionalProperties": false, "required": ["probe", "kind", "dependencies"], "properties": {"probe": {"type": "string", "minLength": 1, "maxLength": 200}, "kind": {"type": "string", "enum": ["liveness", "readiness", "startup", "other"]}, "dependencies": {"type": "array", "minItems": 0, "maxItems": 20, "items": {"type": "string", "minLength": 1, "maxLength": 120}}}}}, "docs": {"type": "array", "minItems": 0, "maxItems": 50, "items": {"type": "string", "minLength": 1, "maxLength": 200}}, "rules": {"type": "array", "minItems": 1, "maxItems": 4, "items": {"type": "string", "enum": ["no-dark-modules", "config-round-trip", "probes-probe", "behaviors-on-real-path"]}}, "out_of_scope": {"type": "array", "minItems": 0, "maxItems": 20, "items": {"type": "string", "minLength": 1, "maxLength": 300}}}}, "rules": ["Every entry point says why it runs in production."], "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.template.module-map", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.eval_run", "pack:wiring-and-conformance-checks", "role:template", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.eval_run", "role": "template", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Template: the unused-module finder's result at one commit, with the runtime trace that settled its leads", "category_reason": "A module map is a measured run of the finder.", "describes": "the unused-module finder's result at one commit, with the runtime trace that settled its leads", "schema": {"type": "object", "additionalProperties": false, "required": ["project", "commit", "checked_on", "command", "result", "trace"], "properties": {"project": {"type": "string", "minLength": 1, "maxLength": 120}, "commit": {"type": "string", "pattern": "^[0-9a-f]{40}$", "maxLength": 40}, "checked_on": {"type": "string", "pattern": "^[0-9]{4}-[0-9]{2}-[0-9]{2}$"}, "command": {"type": "string", "minLength": 1, "maxLength": 400}, "result": {"type": "object", "additionalProperties": false, "required": ["entries", "missing_entries", "modules", "counts", "open_dynamic_imports", "unparsed", "graph"], "properties": {"entries": {"type": "array", "minItems": 0, "maxItems": 50, "items": {"type": "string", "minLength": 1, "maxLength": 200}}, "missing_entries": {"type": "array", "minItems": 0, "maxItems": 50, "items": {"type": "string", "minLength": 1, "maxLength": 200}}, "modules": {"type": "array", "minItems": 0, "maxItems": 5000, "items": {"type": "object", "additionalProperties": false, "required": ["module", "path", "status", "reached_from"], "properties": {"module": {"type": "string", "minLength": 1, "maxLength": 200}, "path": {"type": "string", "minLength": 1, "maxLength": 400}, "status": {"type": "string", "enum": ["live", "dynamic_candidate", "type_only", "test_only", "dark"]}, "reached_from": {"type": ["string", "null"], "maxLength": 400}}}}, "counts": {"type": "object", "additionalProperties": false, "required": ["live", "dynamic_candidate", "type_only", "test_only", "dark"], "properties": {"live": {"type": "integer", "minimum": 0, "maximum": 100000}, "dynamic_candidate": {"type": "integer", "minimum": 0, "maximum": 100000}, "type_only": {"type": "integer", "minimum": 0, "maximum": 100000}, "test_only": {"type": "integer", "minimum": 0, "maximum": 100000}, "dark": {"type": "integer", "minimum": 0, "maximum": 100000}}}, "open_dynamic_imports": {"type": "array", "minItems": 0, "maxItems": 500, "items": {"type": "object", "additionalProperties": false, "required": ["module", "line", "prefix"], "properties": {"module": {"type": "string", "minLength": 1, "maxLength": 200}, "line": {"type": "integer", "minimum": 1, "maximum": 1000000}, "prefix": {"type": "string", "minLength": 0, "maxLength": 200}}}}, "unparsed": {"type": "array", "minItems": 0, "maxItems": 500, "items": {"type": "object", "additionalProperties": false, "required": ["path", "error"], "properties": {"path": {"type": "string", "minLength": 1, "maxLength": 400}, "error": {"type": "string", "minLength": 1, "maxLength": 1000}}}}, "graph": {"type": "string", "enum": ["closed", "open"]}}}, "trace": {"type": "object", "additionalProperties": false, "required": ["ran", "command", "loaded", "note"], "properties": {"ran": {"type": "boolean"}, "command": {"type": "string", "minLength": 0, "maxLength": 400}, "loaded": {"type": "array", "minItems": 0, "maxItems": 500, "items": {"type": "string", "minLength": 1, "maxLength": 200}}, "note": {"type": "string", "minLength": 1, "maxLength": 400}}}}}, "rules": ["result is the finder's JSON output, unchanged."], "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.template.round-trip-report", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.eval_run", "pack:wiring-and-conformance-checks", "role:template", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.eval_run", "role": "template", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Template: every config field saved and reloaded: what was set, what came back and the result", "category_reason": "A round-trip report is a measured test run.", "describes": "every config field saved and reloaded: what was set, what came back and the result", "schema": {"type": "object", "additionalProperties": false, "required": ["project", "commit", "checked_on", "config", "reader", "writer", "fields", "load_save_load_stable", "unknown_keys", "command", "output_sha256"], "properties": {"project": {"type": "string", "minLength": 1, "maxLength": 120}, "commit": {"type": "string", "pattern": "^[0-9a-f]{40}$", "maxLength": 40}, "checked_on": {"type": "string", "pattern": "^[0-9]{4}-[0-9]{2}-[0-9]{2}$"}, "config": {"type": "string", "minLength": 1, "maxLength": 200}, "reader": {"type": "string", "minLength": 1, "maxLength": 200}, "writer": {"type": "string", "minLength": 1, "maxLength": 200}, "fields": {"type": "array", "minItems": 1, "maxItems": 500, "items": {"type": "object", "additionalProperties": false, "required": ["field", "set_to", "read_back", "result", "test"], "properties": {"field": {"type": "string", "minLength": 1, "maxLength": 120}, "set_to": {"type": "string", "minLength": 1, "maxLength": 200}, "read_back": {"type": "string", "minLength": 0, "maxLength": 200}, "result": {"type": "string", "enum": ["survives", "lost", "changed", "not_read"]}, "test": {"type": "string", "minLength": 1, "maxLength": 300}}}}, "load_save_load_stable": {"type": "boolean"}, "unknown_keys": {"type": "string", "enum": ["rejected", "preserved", "silently_dropped", "not_checked"]}, "command": {"type": "string", "minLength": 1, "maxLength": 400}, "output_sha256": {"type": "string", "pattern": "^[0-9a-f]{64}$"}}}, "rules": ["One row per field in the schema."], "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.template.probe-report", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.eval_run", "pack:wiring-and-conformance-checks", "role:template", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.eval_run", "role": "template", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Template: health probes read statically, then run with each dependency stopped and restored", "category_reason": "A probe report is a measured run.", "describes": "health probes read statically, then run with each dependency stopped and restored", "schema": {"type": "object", "additionalProperties": false, "required": ["project", "commit", "checked_on", "static", "runs", "hollow"], "properties": {"project": {"type": "string", "minLength": 1, "maxLength": 120}, "commit": {"type": "string", "pattern": "^[0-9a-f]{40}$", "maxLength": 40}, "checked_on": {"type": "string", "pattern": "^[0-9]{4}-[0-9]{2}-[0-9]{2}$"}, "static": {"type": "object", "additionalProperties": false, "required": ["probes", "hollow"], "properties": {"probes": {"type": "array", "minItems": 0, "maxItems": 500, "items": {"type": "object", "additionalProperties": false, "required": ["probe", "path", "line", "why", "kind", "calls", "reads", "awaits"], "properties": {"probe": {"type": "string", "minLength": 1, "maxLength": 300}, "path": {"type": "string", "minLength": 1, "maxLength": 400}, "line": {"type": "integer", "minimum": 1, "maximum": 1000000}, "why": {"type": "string", "minLength": 1, "maxLength": 300}, "kind": {"type": "string", "enum": ["constant", "flag_only", "calls"]}, "calls": {"type": "array", "minItems": 0, "maxItems": 100, "items": {"type": "string", "minLength": 1, "maxLength": 300}}, "reads": {"type": "array", "minItems": 0, "maxItems": 100, "items": {"type": "string", "minLength": 1, "maxLength": 300}}, "awaits": {"type": "boolean"}}}}, "hollow": {"type": "array", "minItems": 0, "maxItems": 500, "items": {"type": "string", "minLength": 1, "maxLength": 300}}}}, "runs": {"type": "array", "minItems": 0, "maxItems": 200, "items": {"type": "object", "additionalProperties": false, "required": ["probe", "dependency", "how_stopped", "when_stopped", "when_restored", "seconds"], "properties": {"probe": {"type": "string", "minLength": 1, "maxLength": 300}, "dependency": {"type": "string", "minLength": 1, "maxLength": 120}, "how_stopped": {"type": "string", "minLength": 1, "maxLength": 300}, "when_stopped": {"type": "string", "enum": ["failed", "degraded", "passed"]}, "when_restored": {"type": "string", "enum": ["healthy", "still_failing"]}, "seconds": {"type": "number", "minimum": 0, "maximum": 3600}}}}, "hollow": {"type": "array", "minItems": 0, "maxItems": 500, "items": {"type": "string", "minLength": 1, "maxLength": 300}}}}, "rules": ["static is the probe scan's JSON output, unchanged.", "hollow is the static hollow probes plus every probe that passed with its dependency stopped."], "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.template.behavior-map", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.eval_run", "pack:wiring-and-conformance-checks", "role:template", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.eval_run", "role": "template", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Template: documented behaviors with their real paths and tests, and the mock scan's result", "category_reason": "A behavior map is a measured scan of the tests.", "describes": "documented behaviors with their real paths and tests, and the mock scan's result", "schema": {"type": "object", "additionalProperties": false, "required": ["project", "commit", "checked_on", "behaviors", "scan", "command"], "properties": {"project": {"type": "string", "minLength": 1, "maxLength": 120}, "commit": {"type": "string", "pattern": "^[0-9a-f]{40}$", "maxLength": 40}, "checked_on": {"type": "string", "pattern": "^[0-9]{4}-[0-9]{2}-[0-9]{2}$"}, "behaviors": {"type": "array", "minItems": 1, "maxItems": 500, "items": {"type": "object", "additionalProperties": false, "required": ["id", "claim", "doc", "real_path", "tests"], "properties": {"id": {"type": "string", "minLength": 1, "maxLength": 20}, "claim": {"type": "string", "minLength": 1, "maxLength": 400}, "doc": {"type": "string", "minLength": 1, "maxLength": 300}, "real_path": {"type": "array", "minItems": 1, "maxItems": 30, "items": {"type": "string", "minLength": 1, "maxLength": 300}}, "tests": {"type": "array", "minItems": 0, "maxItems": 30, "items": {"type": "string", "minLength": 1, "maxLength": 400}}}}}, "scan": {"type": "object", "additionalProperties": false, "required": ["tests", "behaviors"], "properties": {"tests": {"type": "array", "minItems": 0, "maxItems": 5000, "items": {"type": "object", "additionalProperties": false, "required": ["id", "patched"], "properties": {"id": {"type": "string", "minLength": 1, "maxLength": 400}, "patched": {"type": "array", "minItems": 0, "maxItems": 100, "items": {"type": "string", "minLength": 1, "maxLength": 300}}}}}, "behaviors": {"type": "array", "minItems": 0, "maxItems": 500, "items": {"type": "object", "additionalProperties": false, "required": ["id", "status", "real_path_tests", "tests", "missing_tests"], "properties": {"id": {"type": "string", "minLength": 1, "maxLength": 20}, "status": {"type": "string", "enum": ["real_path", "mock_only", "untested"]}, "real_path_tests": {"type": "array", "minItems": 0, "maxItems": 30, "items": {"type": "string", "minLength": 1, "maxLength": 400}}, "tests": {"type": "array", "minItems": 0, "maxItems": 30, "items": {"type": "object", "additionalProperties": false, "required": ["test", "patched_on_path"], "properties": {"test": {"type": "string", "minLength": 1, "maxLength": 400}, "patched_on_path": {"type": "array", "minItems": 0, "maxItems": 30, "items": {"type": "string", "minLength": 1, "maxLength": 300}}}}}, "missing_tests": {"type": "array", "minItems": 0, "maxItems": 30, "items": {"type": "string", "minLength": 1, "maxLength": 400}}}}}}}, "command": {"type": "string", "minLength": 1, "maxLength": 400}}}, "rules": ["scan is the mock scan's JSON output, unchanged."], "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.template.canary-set", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.benchmark_suite", "pack:wiring-and-conformance-checks", "role:template", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.benchmark_suite", "role": "template", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Template: one canary per rule: where it is planted, what its check must report and the run that caught it", "category_reason": "A canary set is a suite of known-bad examples for the rules' checks.", "describes": "one canary per rule: where it is planted, what its check must report and the run that caught it", "schema": {"type": "object", "additionalProperties": false, "required": ["project", "commit", "canaries"], "properties": {"project": {"type": "string", "minLength": 1, "maxLength": 120}, "commit": {"type": "string", "pattern": "^[0-9a-f]{40}$", "maxLength": 40}, "canaries": {"type": "array", "minItems": 1, "maxItems": 50, "items": {"type": "object", "additionalProperties": false, "required": ["rule", "canary", "planted_in", "expected", "caught", "run"], "properties": {"rule": {"type": "string", "enum": ["no-dark-modules", "config-round-trip", "probes-probe", "behaviors-on-real-path"]}, "canary": {"type": "string", "minLength": 1, "maxLength": 200}, "planted_in": {"type": "string", "minLength": 1, "maxLength": 300}, "expected": {"type": "string", "minLength": 1, "maxLength": 300}, "caught": {"type": "boolean"}, "run": {"type": "string", "minLength": 1, "maxLength": 200}}}}}}, "rules": ["Canaries live in the test tree, never on a live path."], "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.template.conformance-report", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.eval_run", "pack:wiring-and-conformance-checks", "role:template", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.eval_run", "role": "template", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Template: a conformance report: every rule's result, evidence and canary, every gap with its finding, the behaviors covered by their real path, the probes verified and the limits", "category_reason": "A conformance report is a measured run of every rule.", "describes": "a conformance report: every rule's result, evidence and canary, every gap with its finding, the behaviors covered by their real path, the probes verified and the limits", "schema": {"type": "object", "additionalProperties": false, "required": ["report_id", "project", "commit", "checked_on", "entry_points", "rules", "failures", "real_path_behaviors", "probes_verified", "limits"], "properties": {"report_id": {"type": "string", "minLength": 1, "maxLength": 40}, "project": {"type": "string", "minLength": 1, "maxLength": 120}, "commit": {"type": "string", "pattern": "^[0-9a-f]{40}$", "maxLength": 40}, "checked_on": {"type": "string", "pattern": "^[0-9]{4}-[0-9]{2}-[0-9]{2}$"}, "entry_points": {"type": "array", "minItems": 1, "maxItems": 50, "items": {"type": "object", "additionalProperties": false, "required": ["module", "why"], "properties": {"module": {"type": "string", "minLength": 1, "maxLength": 200}, "why": {"type": "string", "minLength": 1, "maxLength": 300}}}}, "rules": {"type": "array", "minItems": 1, "maxItems": 20, "items": {"type": "object", "additionalProperties": false, "required": ["rule", "status", "checked", "failures", "command", "evidence", "canary", "canary_caught_by"], "properties": {"rule": {"type": "string", "minLength": 1, "maxLength": 60}, "status": {"type": "string", "enum": ["ran", "not_run"]}, "checked": {"type": "integer", "minimum": 0, "maximum": 100000}, "failures": {"type": "integer", "minimum": 0, "maximum": 100000}, "command": {"type": "string", "minLength": 0, "maxLength": 400}, "evidence": {"type": "string", "minLength": 0, "maxLength": 300}, "canary": {"type": "string", "minLength": 0, "maxLength": 200}, "canary_caught_by": {"type": "string", "minLength": 0, "maxLength": 200}}}}, "failures": {"type": "array", "minItems": 0, "maxItems": 500, "items": {"type": "object", "additionalProperties": false, "required": ["rule", "item", "detail", "finding_ref"], "properties": {"rule": {"type": "string", "minLength": 1, "maxLength": 60}, "item": {"type": "string", "minLength": 1, "maxLength": 300}, "detail": {"type": "string", "minLength": 1, "maxLength": 300}, "finding_ref": {"type": "string", "minLength": 0, "maxLength": 60}}}}, "real_path_behaviors": {"type": "array", "minItems": 0, "maxItems": 500, "items": {"type": "object", "additionalProperties": false, "required": ["id", "claim", "doc", "tests", "path_patches"], "properties": {"id": {"type": "string", "minLength": 1, "maxLength": 20}, "claim": {"type": "string", "minLength": 1, "maxLength": 400}, "doc": {"type": "string", "minLength": 0, "maxLength": 300}, "tests": {"type": "array", "minItems": 0, "maxItems": 30, "items": {"type": "string", "minLength": 1, "maxLength": 400}}, "path_patches": {"type": "array", "minItems": 0, "maxItems": 30, "items": {"type": "string", "pattern": "^patched:.+$", "maxLength": 300}}}}}, "probes_verified": {"type": "array", "minItems": 0, "maxItems": 200, "items": {"type": "object", "additionalProperties": false, "required": ["probe", "dependency", "when_stopped", "when_restored"], "properties": {"probe": {"type": "string", "minLength": 1, "maxLength": 300}, "dependency": {"type": "string", "minLength": 1, "maxLength": 120}, "when_stopped": {"type": "string", "enum": ["failed", "degraded", "passed"]}, "when_restored": {"type": "string", "enum": ["healthy", "still_failing"]}}}}, "limits": {"type": "array", "minItems": 1, "maxItems": 20, "items": {"type": "string", "minLength": 1, "maxLength": 300}}}}, "rules": ["path_patches entries read patched:<target>; a covered behavior has none."], "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.wiring-checks", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.benchmark_suite", "pack:wiring-and-conformance-checks", "role:record_checks", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.benchmark_suite", "role": "record_checks", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Record checks for conformance reports, with synthetic golden reports", "category_reason": "A deterministic check suite with known-good and known-bad examples; the validator recomputes every verdict.", "fixture_kind": "finding_checks", "purpose": "Checks every conformance report must pass before anyone relies on it. The two synthetic good reports, one with gaps and their findings and one after the fixes, pass all of them; each synthetic bad report fails exactly the one check named in fails.", "deterministic_checks": [{"id": "commit-pinned", "rule": {"rule": "pattern_present", "path": "commit", "pattern": "^[0-9a-f]{40}$"}, "why": "A conformance report is about one exact commit."}, {"id": "entry-points-named", "rule": {"rule": "each_has", "path": "entry_points", "fields": ["module", "why"], "min": 1}, "why": "Live paths start from named entry points, each with the reason it runs."}, {"id": "every-rule-checked", "rule": {"rule": "min_items", "path": "rules", "min": 4}, "why": "The four rules all ran: modules, config round trips, probes and behaviors."}, {"id": "no-rule-skipped", "rule": {"rule": "pattern_absent", "path": "rules", "pattern": "^not_run$"}, "why": "A rule that did not run makes the report incomplete."}, {"id": "rules-evidenced", "rule": {"rule": "each_has", "path": "rules", "fields": ["command", "evidence"]}, "why": "Every rule names its command and its evidence."}, {"id": "canary-per-rule", "rule": {"rule": "each_has", "path": "rules", "fields": ["canary", "canary_caught_by"]}, "why": "Every rule has a canary, and the run that caught it."}, {"id": "failures-are-findings", "rule": {"rule": "each_has", "path": "failures", "fields": ["rule", "item", "detail", "finding_ref"]}, "why": "Every gap is a finding in the findings to fixes shape."}, {"id": "real-path-tested", "rule": {"rule": "each_has", "path": "real_path_behaviors", "fields": ["id", "claim", "doc", "tests"]}, "why": "A behavior counted as covered names where it is promised and the tests that run it."}, {"id": "real-path-unpatched", "rule": {"rule": "pattern_absent", "path": "real_path_behaviors", "pattern": "^patched:"}, "why": "A behavior counted as covered has no test patching its real path."}, {"id": "probes-fail-when-stopped", "rule": {"rule": "pattern_absent", "path": "probes_verified", "pattern": "^passed$"}, "why": "A verified probe failed when its dependency stopped."}, {"id": "probes-recover", "rule": {"rule": "pattern_absent", "path": "probes_verified", "pattern": "^still_failing$"}, "why": "A verified probe recovered when its dependency came back."}, {"id": "limits-stated", "rule": {"rule": "min_items", "path": "limits", "min": 1}, "why": "Every report says what it does not show."}], "golden_fixtures": [{"id": "good-open-gaps", "label": "known_good", "provenance": "synthetic", "finding": {"report_id": "WC-2", "project": "tiny-svc", "commit": "5e2b7c41d0a9f3e8b6c2d4a1f0e9b8c7d6a5f4e3", "checked_on": "2026-10-30", "entry_points": [{"module": "tiny.__main__", "why": "python -m tiny"}], "rules": [{"rule": "no-dark-modules", "status": "ran", "checked": 6, "failures": 1, "command": "modules src", "evidence": "map M1", "canary": "dark.py", "canary_caught_by": "R1"}, {"rule": "config-round-trip", "status": "ran", "checked": 2, "failures": 0, "command": "test_round_trip", "evidence": "trip T1", "canary": "lost_field", "canary_caught_by": "R2"}, {"rule": "probes-probe", "status": "ran", "checked": 1, "failures": 0, "command": "stop db, call readyz", "evidence": "probes P1", "canary": "constant_probe", "canary_caught_by": "R3"}, {"rule": "behaviors-on-real-path", "status": "ran", "checked": 2, "failures": 1, "command": "mocks tests", "evidence": "map B1", "canary": "mocked_test", "canary_caught_by": "R4"}], "failures": [{"rule": "no-dark-modules", "item": "tiny.old_sync", "detail": "dark", "finding_ref": "F-21"}, {"rule": "behaviors-on-real-path", "item": "B2", "detail": "mock_only", "finding_ref": "F-22"}], "real_path_behaviors": [{"id": "B1", "claim": "Saving a note stores it.", "doc": "README", "tests": ["t::save"], "path_patches": []}], "probes_verified": [{"probe": "tiny.health.readyz", "dependency": "db", "when_stopped": "failed", "when_restored": "healthy"}], "limits": ["One commit, static and local runs."]}}, {"id": "good-after-fixes", "label": "known_good", "provenance": "synthetic", "finding": {"report_id": "WC-3", "project": "tiny-svc", "commit": "5e2b7c41d0a9f3e8b6c2d4a1f0e9b8c7d6a5f4e3", "checked_on": "2026-10-30", "entry_points": [{"module": "tiny.__main__", "why": "python -m tiny"}], "rules": [{"rule": "no-dark-modules", "status": "ran", "checked": 6, "failures": 0, "command": "modules src", "evidence": "map M1", "canary": "dark.py", "canary_caught_by": "R1"}, {"rule": "config-round-trip", "status": "ran", "checked": 2, "failures": 0, "command": "test_round_trip", "evidence": "trip T1", "canary": "lost_field", "canary_caught_by": "R2"}, {"rule": "probes-probe", "status": "ran", "checked": 1, "failures": 0, "command": "stop db, call readyz", "evidence": "probes P1", "canary": "constant_probe", "canary_caught_by": "R3"}, {"rule": "behaviors-on-real-path", "status": "ran", "checked": 2, "failures": 0, "command": "mocks tests", "evidence": "map B1", "canary": "mocked_test", "canary_caught_by": "R4"}], "failures": [], "real_path_behaviors": [{"id": "B1", "claim": "Saving a note stores it.", "doc": "README", "tests": ["t::save"], "path_patches": []}, {"id": "B2", "claim": "Deleting a note removes it.", "doc": "README", "tests": ["t::delete"], "path_patches": []}], "probes_verified": [{"probe": "tiny.health.readyz", "dependency": "db", "when_stopped": "failed", "when_restored": "healthy"}], "limits": ["One commit, static and local runs."]}}, {"id": "bad-unpinned", "label": "known_bad", "fails": "commit-pinned", "why": "Checked at a branch name.", "finding": {"report_id": "WC-2", "project": "tiny-svc", "commit": "main", "checked_on": "2026-10-30", "entry_points": [{"module": "tiny.__main__", "why": "python -m tiny"}], "rules": [{"rule": "no-dark-modules", "status": "ran", "checked": 6, "failures": 1, "command": "modules src", "evidence": "map M1", "canary": "dark.py", "canary_caught_by": "R1"}, {"rule": "config-round-trip", "status": "ran", "checked": 2, "failures": 0, "command": "test_round_trip", "evidence": "trip T1", "canary": "lost_field", "canary_caught_by": "R2"}, {"rule": "probes-probe", "status": "ran", "checked": 1, "failures": 0, "command": "stop db, call readyz", "evidence": "probes P1", "canary": "constant_probe", "canary_caught_by": "R3"}, {"rule": "behaviors-on-real-path", "status": "ran", "checked": 2, "failures": 1, "command": "mocks tests", "evidence": "map B1", "canary": "mocked_test", "canary_caught_by": "R4"}], "failures": [{"rule": "no-dark-modules", "item": "tiny.old_sync", "detail": "dark", "finding_ref": "F-21"}, {"rule": "behaviors-on-real-path", "item": "B2", "detail": "mock_only", "finding_ref": "F-22"}], "real_path_behaviors": [{"id": "B1", "claim": "Saving a note stores it.", "doc": "README", "tests": ["t::save"], "path_patches": []}], "probes_verified": [{"probe": "tiny.health.readyz", "dependency": "db", "when_stopped": "failed", "when_restored": "healthy"}], "limits": ["One commit, static and local runs."]}}, {"id": "bad-no-entry", "label": "known_bad", "fails": "entry-points-named", "why": "No entry points.", "finding": {"report_id": "WC-2", "project": "tiny-svc", "commit": "5e2b7c41d0a9f3e8b6c2d4a1f0e9b8c7d6a5f4e3", "checked_on": "2026-10-30", "entry_points": [], "rules": [{"rule": "no-dark-modules", "status": "ran", "checked": 6, "failures": 1, "command": "modules src", "evidence": "map M1", "canary": "dark.py", "canary_caught_by": "R1"}, {"rule": "config-round-trip", "status": "ran", "checked": 2, "failures": 0, "command": "test_round_trip", "evidence": "trip T1", "canary": "lost_field", "canary_caught_by": "R2"}, {"rule": "probes-probe", "status": "ran", "checked": 1, "failures": 0, "command": "stop db, call readyz", "evidence": "probes P1", "canary": "constant_probe", "canary_caught_by": "R3"}, {"rule": "behaviors-on-real-path", "status": "ran", "checked": 2, "failures": 1, "command": "mocks tests", "evidence": "map B1", "canary": "mocked_test", "canary_caught_by": "R4"}], "failures": [{"rule": "no-dark-modules", "item": "tiny.old_sync", "detail": "dark", "finding_ref": "F-21"}, {"rule": "behaviors-on-real-path", "item": "B2", "detail": "mock_only", "finding_ref": "F-22"}], "real_path_behaviors": [{"id": "B1", "claim": "Saving a note stores it.", "doc": "README", "tests": ["t::save"], "path_patches": []}], "probes_verified": [{"probe": "tiny.health.readyz", "dependency": "db", "when_stopped": "failed", "when_restored": "healthy"}], "limits": ["One commit, static and local runs."]}}, {"id": "bad-rule-missing", "label": "known_bad", "fails": "every-rule-checked", "why": "Config round trips never ran.", "finding": {"report_id": "WC-2", "project": "tiny-svc", "commit": "5e2b7c41d0a9f3e8b6c2d4a1f0e9b8c7d6a5f4e3", "checked_on": "2026-10-30", "entry_points": [{"module": "tiny.__main__", "why": "python -m tiny"}], "rules": [{"rule": "no-dark-modules", "status": "ran", "checked": 6, "failures": 1, "command": "modules src", "evidence": "map M1", "canary": "dark.py", "canary_caught_by": "R1"}, {"rule": "probes-probe", "status": "ran", "checked": 1, "failures": 0, "command": "stop db, call readyz", "evidence": "probes P1", "canary": "constant_probe", "canary_caught_by": "R3"}, {"rule": "behaviors-on-real-path", "status": "ran", "checked": 2, "failures": 1, "command": "mocks tests", "evidence": "map B1", "canary": "mocked_test", "canary_caught_by": "R4"}], "failures": [{"rule": "no-dark-modules", "item": "tiny.old_sync", "detail": "dark", "finding_ref": "F-21"}, {"rule": "behaviors-on-real-path", "item": "B2", "detail": "mock_only", "finding_ref": "F-22"}], "real_path_behaviors": [{"id": "B1", "claim": "Saving a note stores it.", "doc": "README", "tests": ["t::save"], "path_patches": []}], "probes_verified": [{"probe": "tiny.health.readyz", "dependency": "db", "when_stopped": "failed", "when_restored": "healthy"}], "limits": ["One commit, static and local runs."]}}, {"id": "bad-rule-skipped", "label": "known_bad", "fails": "no-rule-skipped", "why": "The probe rule did not run.", "finding": {"report_id": "WC-2", "project": "tiny-svc", "commit": "5e2b7c41d0a9f3e8b6c2d4a1f0e9b8c7d6a5f4e3", "checked_on": "2026-10-30", "entry_points": [{"module": "tiny.__main__", "why": "python -m tiny"}], "rules": [{"rule": "no-dark-modules", "status": "ran", "checked": 6, "failures": 1, "command": "modules src", "evidence": "map M1", "canary": "dark.py", "canary_caught_by": "R1"}, {"rule": "config-round-trip", "status": "ran", "checked": 2, "failures": 0, "command": "test_round_trip", "evidence": "trip T1", "canary": "lost_field", "canary_caught_by": "R2"}, {"rule": "probes-probe", "status": "not_run", "checked": 1, "failures": 0, "command": "stop db, call readyz", "evidence": "probes P1", "canary": "constant_probe", "canary_caught_by": "R3"}, {"rule": "behaviors-on-real-path", "status": "ran", "checked": 2, "failures": 1, "command": "mocks tests", "evidence": "map B1", "canary": "mocked_test", "canary_caught_by": "R4"}], "failures": [{"rule": "no-dark-modules", "item": "tiny.old_sync", "detail": "dark", "finding_ref": "F-21"}, {"rule": "behaviors-on-real-path", "item": "B2", "detail": "mock_only", "finding_ref": "F-22"}], "real_path_behaviors": [{"id": "B1", "claim": "Saving a note stores it.", "doc": "README", "tests": ["t::save"], "path_patches": []}], "probes_verified": [{"probe": "tiny.health.readyz", "dependency": "db", "when_stopped": "failed", "when_restored": "healthy"}], "limits": ["One commit, static and local runs."]}}, {"id": "bad-no-evidence", "label": "known_bad", "fails": "rules-evidenced", "why": "A rule with no evidence.", "finding": {"report_id": "WC-2", "project": "tiny-svc", "commit": "5e2b7c41d0a9f3e8b6c2d4a1f0e9b8c7d6a5f4e3", "checked_on": "2026-10-30", "entry_points": [{"module": "tiny.__main__", "why": "python -m tiny"}], "rules": [{"rule": "no-dark-modules", "status": "ran", "checked": 6, "failures": 1, "command": "modules src", "evidence": "", "canary": "dark.py", "canary_caught_by": "R1"}, {"rule": "config-round-trip", "status": "ran", "checked": 2, "failures": 0, "command": "test_round_trip", "evidence": "trip T1", "canary": "lost_field", "canary_caught_by": "R2"}, {"rule": "probes-probe", "status": "ran", "checked": 1, "failures": 0, "command": "stop db, call readyz", "evidence": "probes P1", "canary": "constant_probe", "canary_caught_by": "R3"}, {"rule": "behaviors-on-real-path", "status": "ran", "checked": 2, "failures": 1, "command": "mocks tests", "evidence": "map B1", "canary": "mocked_test", "canary_caught_by": "R4"}], "failures": [{"rule": "no-dark-modules", "item": "tiny.old_sync", "detail": "dark", "finding_ref": "F-21"}, {"rule": "behaviors-on-real-path", "item": "B2", "detail": "mock_only", "finding_ref": "F-22"}], "real_path_behaviors": [{"id": "B1", "claim": "Saving a note stores it.", "doc": "README", "tests": ["t::save"], "path_patches": []}], "probes_verified": [{"probe": "tiny.health.readyz", "dependency": "db", "when_stopped": "failed", "when_restored": "healthy"}], "limits": ["One commit, static and local runs."]}}, {"id": "bad-canary-missed", "label": "known_bad", "fails": "canary-per-rule", "why": "No run caught the round-trip canary.", "finding": {"report_id": "WC-2", "project": "tiny-svc", "commit": "5e2b7c41d0a9f3e8b6c2d4a1f0e9b8c7d6a5f4e3", "checked_on": "2026-10-30", "entry_points": [{"module": "tiny.__main__", "why": "python -m tiny"}], "rules": [{"rule": "no-dark-modules", "status": "ran", "checked": 6, "failures": 1, "command": "modules src", "evidence": "map M1", "canary": "dark.py", "canary_caught_by": "R1"}, {"rule": "config-round-trip", "status": "ran", "checked": 2, "failures": 0, "command": "test_round_trip", "evidence": "trip T1", "canary": "lost_field", "canary_caught_by": ""}, {"rule": "probes-probe", "status": "ran", "checked": 1, "failures": 0, "command": "stop db, call readyz", "evidence": "probes P1", "canary": "constant_probe", "canary_caught_by": "R3"}, {"rule": "behaviors-on-real-path", "status": "ran", "checked": 2, "failures": 1, "command": "mocks tests", "evidence": "map B1", "canary": "mocked_test", "canary_caught_by": "R4"}], "failures": [{"rule": "no-dark-modules", "item": "tiny.old_sync", "detail": "dark", "finding_ref": "F-21"}, {"rule": "behaviors-on-real-path", "item": "B2", "detail": "mock_only", "finding_ref": "F-22"}], "real_path_behaviors": [{"id": "B1", "claim": "Saving a note stores it.", "doc": "README", "tests": ["t::save"], "path_patches": []}], "probes_verified": [{"probe": "tiny.health.readyz", "dependency": "db", "when_stopped": "failed", "when_restored": "healthy"}], "limits": ["One commit, static and local runs."]}}, {"id": "bad-gap-unrecorded", "label": "known_bad", "fails": "failures-are-findings", "why": "A dark module with no finding.", "finding": {"report_id": "WC-2", "project": "tiny-svc", "commit": "5e2b7c41d0a9f3e8b6c2d4a1f0e9b8c7d6a5f4e3", "checked_on": "2026-10-30", "entry_points": [{"module": "tiny.__main__", "why": "python -m tiny"}], "rules": [{"rule": "no-dark-modules", "status": "ran", "checked": 6, "failures": 1, "command": "modules src", "evidence": "map M1", "canary": "dark.py", "canary_caught_by": "R1"}, {"rule": "config-round-trip", "status": "ran", "checked": 2, "failures": 0, "command": "test_round_trip", "evidence": "trip T1", "canary": "lost_field", "canary_caught_by": "R2"}, {"rule": "probes-probe", "status": "ran", "checked": 1, "failures": 0, "command": "stop db, call readyz", "evidence": "probes P1", "canary": "constant_probe", "canary_caught_by": "R3"}, {"rule": "behaviors-on-real-path", "status": "ran", "checked": 2, "failures": 1, "command": "mocks tests", "evidence": "map B1", "canary": "mocked_test", "canary_caught_by": "R4"}], "failures": [{"rule": "no-dark-modules", "item": "tiny.old_sync", "detail": "dark", "finding_ref": ""}, {"rule": "behaviors-on-real-path", "item": "B2", "detail": "mock_only", "finding_ref": "F-22"}], "real_path_behaviors": [{"id": "B1", "claim": "Saving a note stores it.", "doc": "README", "tests": ["t::save"], "path_patches": []}], "probes_verified": [{"probe": "tiny.health.readyz", "dependency": "db", "when_stopped": "failed", "when_restored": "healthy"}], "limits": ["One commit, static and local runs."]}}, {"id": "bad-behavior-untested", "label": "known_bad", "fails": "real-path-tested", "why": "Counted as covered with no test.", "finding": {"report_id": "WC-2", "project": "tiny-svc", "commit": "5e2b7c41d0a9f3e8b6c2d4a1f0e9b8c7d6a5f4e3", "checked_on": "2026-10-30", "entry_points": [{"module": "tiny.__main__", "why": "python -m tiny"}], "rules": [{"rule": "no-dark-modules", "status": "ran", "checked": 6, "failures": 1, "command": "modules src", "evidence": "map M1", "canary": "dark.py", "canary_caught_by": "R1"}, {"rule": "config-round-trip", "status": "ran", "checked": 2, "failures": 0, "command": "test_round_trip", "evidence": "trip T1", "canary": "lost_field", "canary_caught_by": "R2"}, {"rule": "probes-probe", "status": "ran", "checked": 1, "failures": 0, "command": "stop db, call readyz", "evidence": "probes P1", "canary": "constant_probe", "canary_caught_by": "R3"}, {"rule": "behaviors-on-real-path", "status": "ran", "checked": 2, "failures": 1, "command": "mocks tests", "evidence": "map B1", "canary": "mocked_test", "canary_caught_by": "R4"}], "failures": [{"rule": "no-dark-modules", "item": "tiny.old_sync", "detail": "dark", "finding_ref": "F-21"}, {"rule": "behaviors-on-real-path", "item": "B2", "detail": "mock_only", "finding_ref": "F-22"}], "real_path_behaviors": [{"id": "B1", "claim": "Saving a note stores it.", "doc": "README", "tests": [], "path_patches": []}], "probes_verified": [{"probe": "tiny.health.readyz", "dependency": "db", "when_stopped": "failed", "when_restored": "healthy"}], "limits": ["One commit, static and local runs."]}}, {"id": "bad-mocked-path", "label": "known_bad", "fails": "real-path-unpatched", "why": "Its only test patches the save it promises.", "finding": {"report_id": "WC-2", "project": "tiny-svc", "commit": "5e2b7c41d0a9f3e8b6c2d4a1f0e9b8c7d6a5f4e3", "checked_on": "2026-10-30", "entry_points": [{"module": "tiny.__main__", "why": "python -m tiny"}], "rules": [{"rule": "no-dark-modules", "status": "ran", "checked": 6, "failures": 1, "command": "modules src", "evidence": "map M1", "canary": "dark.py", "canary_caught_by": "R1"}, {"rule": "config-round-trip", "status": "ran", "checked": 2, "failures": 0, "command": "test_round_trip", "evidence": "trip T1", "canary": "lost_field", "canary_caught_by": "R2"}, {"rule": "probes-probe", "status": "ran", "checked": 1, "failures": 0, "command": "stop db, call readyz", "evidence": "probes P1", "canary": "constant_probe", "canary_caught_by": "R3"}, {"rule": "behaviors-on-real-path", "status": "ran", "checked": 2, "failures": 1, "command": "mocks tests", "evidence": "map B1", "canary": "mocked_test", "canary_caught_by": "R4"}], "failures": [{"rule": "no-dark-modules", "item": "tiny.old_sync", "detail": "dark", "finding_ref": "F-21"}, {"rule": "behaviors-on-real-path", "item": "B2", "detail": "mock_only", "finding_ref": "F-22"}], "real_path_behaviors": [{"id": "B1", "claim": "Saving a note stores it.", "doc": "README", "tests": ["t::save"], "path_patches": ["patched:tiny.notes.save"]}], "probes_verified": [{"probe": "tiny.health.readyz", "dependency": "db", "when_stopped": "failed", "when_restored": "healthy"}], "limits": ["One commit, static and local runs."]}}, {"id": "bad-probe-passes-stopped", "label": "known_bad", "fails": "probes-fail-when-stopped", "why": "The probe passed with the database stopped.", "finding": {"report_id": "WC-2", "project": "tiny-svc", "commit": "5e2b7c41d0a9f3e8b6c2d4a1f0e9b8c7d6a5f4e3", "checked_on": "2026-10-30", "entry_points": [{"module": "tiny.__main__", "why": "python -m tiny"}], "rules": [{"rule": "no-dark-modules", "status": "ran", "checked": 6, "failures": 1, "command": "modules src", "evidence": "map M1", "canary": "dark.py", "canary_caught_by": "R1"}, {"rule": "config-round-trip", "status": "ran", "checked": 2, "failures": 0, "command": "test_round_trip", "evidence": "trip T1", "canary": "lost_field", "canary_caught_by": "R2"}, {"rule": "probes-probe", "status": "ran", "checked": 1, "failures": 0, "command": "stop db, call readyz", "evidence": "probes P1", "canary": "constant_probe", "canary_caught_by": "R3"}, {"rule": "behaviors-on-real-path", "status": "ran", "checked": 2, "failures": 1, "command": "mocks tests", "evidence": "map B1", "canary": "mocked_test", "canary_caught_by": "R4"}], "failures": [{"rule": "no-dark-modules", "item": "tiny.old_sync", "detail": "dark", "finding_ref": "F-21"}, {"rule": "behaviors-on-real-path", "item": "B2", "detail": "mock_only", "finding_ref": "F-22"}], "real_path_behaviors": [{"id": "B1", "claim": "Saving a note stores it.", "doc": "README", "tests": ["t::save"], "path_patches": []}], "probes_verified": [{"probe": "tiny.health.readyz", "dependency": "db", "when_stopped": "passed", "when_restored": "healthy"}], "limits": ["One commit, static and local runs."]}}, {"id": "bad-probe-stuck", "label": "known_bad", "fails": "probes-recover", "why": "The probe never recovered.", "finding": {"report_id": "WC-2", "project": "tiny-svc", "commit": "5e2b7c41d0a9f3e8b6c2d4a1f0e9b8c7d6a5f4e3", "checked_on": "2026-10-30", "entry_points": [{"module": "tiny.__main__", "why": "python -m tiny"}], "rules": [{"rule": "no-dark-modules", "status": "ran", "checked": 6, "failures": 1, "command": "modules src", "evidence": "map M1", "canary": "dark.py", "canary_caught_by": "R1"}, {"rule": "config-round-trip", "status": "ran", "checked": 2, "failures": 0, "command": "test_round_trip", "evidence": "trip T1", "canary": "lost_field", "canary_caught_by": "R2"}, {"rule": "probes-probe", "status": "ran", "checked": 1, "failures": 0, "command": "stop db, call readyz", "evidence": "probes P1", "canary": "constant_probe", "canary_caught_by": "R3"}, {"rule": "behaviors-on-real-path", "status": "ran", "checked": 2, "failures": 1, "command": "mocks tests", "evidence": "map B1", "canary": "mocked_test", "canary_caught_by": "R4"}], "failures": [{"rule": "no-dark-modules", "item": "tiny.old_sync", "detail": "dark", "finding_ref": "F-21"}, {"rule": "behaviors-on-real-path", "item": "B2", "detail": "mock_only", "finding_ref": "F-22"}], "real_path_behaviors": [{"id": "B1", "claim": "Saving a note stores it.", "doc": "README", "tests": ["t::save"], "path_patches": []}], "probes_verified": [{"probe": "tiny.health.readyz", "dependency": "db", "when_stopped": "failed", "when_restored": "still_failing"}], "limits": ["One commit, static and local runs."]}}, {"id": "bad-no-limits", "label": "known_bad", "fails": "limits-stated", "why": "No limits.", "finding": {"report_id": "WC-2", "project": "tiny-svc", "commit": "5e2b7c41d0a9f3e8b6c2d4a1f0e9b8c7d6a5f4e3", "checked_on": "2026-10-30", "entry_points": [{"module": "tiny.__main__", "why": "python -m tiny"}], "rules": [{"rule": "no-dark-modules", "status": "ran", "checked": 6, "failures": 1, "command": "modules src", "evidence": "map M1", "canary": "dark.py", "canary_caught_by": "R1"}, {"rule": "config-round-trip", "status": "ran", "checked": 2, "failures": 0, "command": "test_round_trip", "evidence": "trip T1", "canary": "lost_field", "canary_caught_by": "R2"}, {"rule": "probes-probe", "status": "ran", "checked": 1, "failures": 0, "command": "stop db, call readyz", "evidence": "probes P1", "canary": "constant_probe", "canary_caught_by": "R3"}, {"rule": "behaviors-on-real-path", "status": "ran", "checked": 2, "failures": 1, "command": "mocks tests", "evidence": "map B1", "canary": "mocked_test", "canary_caught_by": "R4"}], "failures": [{"rule": "no-dark-modules", "item": "tiny.old_sync", "detail": "dark", "finding_ref": "F-21"}, {"rule": "behaviors-on-real-path", "item": "B2", "detail": "mock_only", "finding_ref": "F-22"}], "real_path_behaviors": [{"id": "B1", "claim": "Saving a note stores it.", "doc": "README", "tests": ["t::save"], "path_patches": []}], "probes_verified": [{"probe": "tiny.health.readyz", "dependency": "db", "when_stopped": "failed", "when_restored": "healthy"}], "limits": []}}], "finding_schema": {"type": "object", "additionalProperties": false, "required": ["report_id", "project", "commit", "checked_on", "entry_points", "rules", "failures", "real_path_behaviors", "probes_verified", "limits"], "properties": {"report_id": {"type": "string", "minLength": 1, "maxLength": 40}, "project": {"type": "string", "minLength": 1, "maxLength": 120}, "commit": {"type": "string", "pattern": "^[0-9a-f]{40}$", "maxLength": 40}, "checked_on": {"type": "string", "pattern": "^[0-9]{4}-[0-9]{2}-[0-9]{2}$"}, "entry_points": {"type": "array", "minItems": 1, "maxItems": 50, "items": {"type": "object", "additionalProperties": false, "required": ["module", "why"], "properties": {"module": {"type": "string", "minLength": 1, "maxLength": 200}, "why": {"type": "string", "minLength": 1, "maxLength": 300}}}}, "rules": {"type": "array", "minItems": 1, "maxItems": 20, "items": {"type": "object", "additionalProperties": false, "required": ["rule", "status", "checked", "failures", "command", "evidence", "canary", "canary_caught_by"], "properties": {"rule": {"type": "string", "minLength": 1, "maxLength": 60}, "status": {"type": "string", "enum": ["ran", "not_run"]}, "checked": {"type": "integer", "minimum": 0, "maximum": 100000}, "failures": {"type": "integer", "minimum": 0, "maximum": 100000}, "command": {"type": "string", "minLength": 0, "maxLength": 400}, "evidence": {"type": "string", "minLength": 0, "maxLength": 300}, "canary": {"type": "string", "minLength": 0, "maxLength": 200}, "canary_caught_by": {"type": "string", "minLength": 0, "maxLength": 200}}}}, "failures": {"type": "array", "minItems": 0, "maxItems": 500, "items": {"type": "object", "additionalProperties": false, "required": ["rule", "item", "detail", "finding_ref"], "properties": {"rule": {"type": "string", "minLength": 1, "maxLength": 60}, "item": {"type": "string", "minLength": 1, "maxLength": 300}, "detail": {"type": "string", "minLength": 1, "maxLength": 300}, "finding_ref": {"type": "string", "minLength": 0, "maxLength": 60}}}}, "real_path_behaviors": {"type": "array", "minItems": 0, "maxItems": 500, "items": {"type": "object", "additionalProperties": false, "required": ["id", "claim", "doc", "tests", "path_patches"], "properties": {"id": {"type": "string", "minLength": 1, "maxLength": 20}, "claim": {"type": "string", "minLength": 1, "maxLength": 400}, "doc": {"type": "string", "minLength": 0, "maxLength": 300}, "tests": {"type": "array", "minItems": 0, "maxItems": 30, "items": {"type": "string", "minLength": 1, "maxLength": 400}}, "path_patches": {"type": "array", "minItems": 0, "maxItems": 30, "items": {"type": "string", "pattern": "^patched:.+$", "maxLength": 300}}}}}, "probes_verified": {"type": "array", "minItems": 0, "maxItems": 200, "items": {"type": "object", "additionalProperties": false, "required": ["probe", "dependency", "when_stopped", "when_restored"], "properties": {"probe": {"type": "string", "minLength": 1, "maxLength": 300}, "dependency": {"type": "string", "minLength": 1, "maxLength": 120}, "when_stopped": {"type": "string", "enum": ["failed", "degraded", "passed"]}, "when_restored": {"type": "string", "enum": ["healthy", "still_failing"]}}}}, "limits": {"type": "array", "minItems": 1, "maxItems": 20, "items": {"type": "string", "minLength": 1, "maxLength": 300}}}}, "expected": {"good-open-gaps": {"verdict": "pass", "failed_checks": []}, "good-after-fixes": {"verdict": "pass", "failed_checks": []}, "bad-unpinned": {"verdict": "fail", "failed_checks": ["commit-pinned"]}, "bad-no-entry": {"verdict": "fail", "failed_checks": ["entry-points-named"]}, "bad-rule-missing": {"verdict": "fail", "failed_checks": ["every-rule-checked"]}, "bad-rule-skipped": {"verdict": "fail", "failed_checks": ["no-rule-skipped"]}, "bad-no-evidence": {"verdict": "fail", "failed_checks": ["rules-evidenced"]}, "bad-canary-missed": {"verdict": "fail", "failed_checks": ["canary-per-rule"]}, "bad-gap-unrecorded": {"verdict": "fail", "failed_checks": ["failures-are-findings"]}, "bad-behavior-untested": {"verdict": "fail", "failed_checks": ["real-path-tested"]}, "bad-mocked-path": {"verdict": "fail", "failed_checks": ["real-path-unpatched"]}, "bad-probe-passes-stopped": {"verdict": "fail", "failed_checks": ["probes-fail-when-stopped"]}, "bad-probe-stuck": {"verdict": "fail", "failed_checks": ["probes-recover"]}, "bad-no-limits": {"verdict": "fail", "failed_checks": ["limits-stated"]}}, "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.tool.wiring-checks", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.code_node", "pack:wiring-and-conformance-checks", "role:tool_card", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.code_node", "role": "tool_card", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Tool card: the wiring checks", "category_reason": "Tested code a worker runs inside a claimed verb, pinned by path, file count and digest.", "name": "wiring checks", "code": {"path": "packs/wiring-and-conformance-checks/code", "files": 36, "sha256": "07383e416c5148d872a7a41a5a55c2e37b7171708e6f97588d6bdd66a6a4e328"}, "runtime": "Python 3.10 or later, standard library only; nothing to install.", "commands": ["python -m wiring_checks modules ROOT [--package NAME] [--entry MODULE] [--tests PATH] [--pyproject FILE] [--base DIR] [--strict]", "python -m wiring_checks mocks PATH [PATH ...] [--behaviors FILE] [--base DIR]", "python -m wiring_checks probes ROOT [PATH ...] [--names REGEX] [--base DIR]"], "does": ["Classifies every module of a Python package as live, dynamic_candidate, type_only, test_only or dark from its import graph and entry points.", "Lists what every test patches through unittest.mock or monkeypatch, and marks each documented behavior real_path, mock_only or untested.", "Finds health probes by name or route and marks each constant, flag_only or calls."], "does_not": ["Import or run the code it reads, start a dependency or call a probe.", "Open a network connection, call a model or write any file.", "Decide anything: static results are leads for the verbs' runtime checks."], "code_license": "MIT", "tests": "The code's tests cover every rule on small synthetic packages and on a synthetic pantry app, and recompute this pack's module map, behavior map and probe scan from source.json, in the library's CI job for the pack.", "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.wiring-and-conformance-checks/wiring-and-conformance-checks.v0.1.0.rules.live-paths", "target_category": "noun.reflex_procedure", "note": ""}, {"relation": "verifies", "target_id": "seedpack.wiring-and-conformance-checks/wiring-and-conformance-checks.v0.1.0.rules.behavior-coverage", "target_category": "noun.reflex_procedure", "note": ""}, {"relation": "verifies", "target_id": "seedpack.wiring-and-conformance-checks/wiring-and-conformance-checks.v0.1.0.rules.health-probes", "target_category": "noun.reflex_procedure", "note": ""}]}},
{"store": "seedpack.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.sources", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.public_source", "pack:wiring-and-conformance-checks", "role:sources", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.public_source", "role": "sources", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Dated public sources for wiring and conformance checks", "sources": [{"title": "Python documentation: ast, Abstract Syntax Trees", "url": "https://docs.python.org/3/library/ast.html", "used_for": "Reading imports, patches and probes without running code", "checked_date": "2026-10-30"}, {"title": "Python documentation: importlib", "url": "https://docs.python.org/3/library/importlib.html", "used_for": "import_module and relative names with a package", "checked_date": "2026-10-30"}, {"title": "Python documentation: unittest.mock, Where to patch", "url": "https://docs.python.org/3/library/unittest.mock.html", "used_for": "Why a patch replaces the name where it is looked up", "checked_date": "2026-10-30"}, {"title": "Python documentation: command line, -X importtime", "url": "https://docs.python.org/3/using/cmdline.html", "used_for": "A runtime trace of the modules an entry point loads", "checked_date": "2026-10-30"}, {"title": "Python documentation: typing.TYPE_CHECKING", "url": "https://docs.python.org/3/library/typing.html", "used_for": "Imports that run only for type checkers", "checked_date": "2026-10-30"}, {"title": "Kubernetes: Configure Liveness, Readiness and Startup Probes", "url": "https://kubernetes.io/docs/tasks/configure-pod-container/configure-liveness-readiness-startup-probes/", "used_for": "What liveness and readiness probes are for", "checked_date": "2026-10-30"}, {"title": "vulture: find dead Python code", "url": "https://github.com/jendrikseipp/vulture", "used_for": "Prior art for unused functions and names inside modules, which this pack does not cover", "checked_date": "2026-10-30"}], "recheck": "Recheck each source before relying on it; terms, limits and versions change.", "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.example.module-map", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.eval_run", "pack:wiring-and-conformance-checks", "role:example", "synthetic:true", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.eval_run", "role": "example", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Worked example: the synthetic pantry app's module map and runtime trace", "category_reason": "The finder's real output on the synthetic fixture, recomputed by the code's tests.", "conforms_to": {"store": "seedpack.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.template.module-map", "version": 1, "value_sha256": "4aafa7446c3451356d99c8bd9e5952db8a317d650ec27d1727fcb1cc57ea5336"}, "instance": {"project": "pantry-app (synthetic)", "commit": "9b1f4e2c7a6d3b5e8f0a1c2d3e4f5a6b7c8d9e0f", "checked_on": "2026-10-30", "command": "python -m wiring_checks modules src --tests tests --base .", "result": {"entries": ["pantry_app.__main__"], "missing_entries": [], "modules": [{"module": "pantry_app", "path": "src/pantry_app/__init__.py", "status": "live", "reached_from": "pantry_app.__main__"}, {"module": "pantry_app.__main__", "path": "src/pantry_app/__main__.py", "status": "live", "reached_from": "entry point"}, {"module": "pantry_app._types", "path": "src/pantry_app/_types.py", "status": "type_only", "reached_from": "pantry_app.slots"}, {"module": "pantry_app.cli", "path": "src/pantry_app/cli.py", "status": "live", "reached_from": "pantry_app.__main__"}, {"module": "pantry_app.config", "path": "src/pantry_app/config.py", "status": "live", "reached_from": "pantry_app.cli"}, {"module": "pantry_app.exporters", "path": "src/pantry_app/exporters/__init__.py", "status": "dynamic_candidate", "reached_from": "pantry_app.cli"}, {"module": "pantry_app.exporters.csv_out", "path": "src/pantry_app/exporters/csv_out.py", "status": "dynamic_candidate", "reached_from": "pantry_app.cli"}, {"module": "pantry_app.health", "path": "src/pantry_app/health.py", "status": "live", "reached_from": "pantry_app.routes"}, {"module": "pantry_app.legacy_export", "path": "src/pantry_app/legacy_export.py", "status": "dark", "reached_from": null}, {"module": "pantry_app.plugins", "path": "src/pantry_app/plugins/__init__.py", "status": "live", "reached_from": "pantry_app.routes"}, {"module": "pantry_app.plugins.fax", "path": "src/pantry_app/plugins/fax.py", "status": "dark", "reached_from": null}, {"module": "pantry_app.plugins.sms", "path": "src/pantry_app/plugins/sms.py", "status": "live", "reached_from": "pantry_app.routes"}, {"module": "pantry_app.reports", "path": "src/pantry_app/reports.py", "status": "test_only", "reached_from": "tests/test_reports.py"}, {"module": "pantry_app.routes", "path": "src/pantry_app/routes.py", "status": "live", "reached_from": "pantry_app.cli"}, {"module": "pantry_app.slots", "path": "src/pantry_app/slots.py", "status": "live", "reached_from": "pantry_app.routes"}, {"module": "pantry_app.store", "path": "src/pantry_app/store.py", "status": "live", "reached_from": "pantry_app.routes"}, {"module": "pantry_app.version", "path": "src/pantry_app/version.py", "status": "live", "reached_from": "pantry_app"}], "counts": {"live": 11, "dynamic_candidate": 2, "type_only": 1, "test_only": 1, "dark": 2}, "open_dynamic_imports": [{"module": "pantry_app.cli", "line": 11, "prefix": "pantry_app.exporters."}], "unparsed": [], "graph": "open"}, "trace": {"ran": true, "command": "python -X importtime -m pantry_app export --format csv_out", "loaded": ["pantry_app.exporters", "pantry_app.exporters.csv_out"], "note": "The two dynamic candidates loaded through the computed export name; the dark and test-only modules did not load from either command."}}, "shows": "Eleven live modules, two dynamic candidates the trace loaded, one type-only, one test-only and two dark.", "source": "Synthetic. Written for this pack; every name, number and identifier is made up.", "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.example.behavior-map", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.eval_run", "pack:wiring-and-conformance-checks", "role:example", "synthetic:true", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.eval_run", "role": "example", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Worked example: four documented behaviors and what their tests patch", "category_reason": "The mock scan's real output on the synthetic fixture, recomputed by the code's tests.", "conforms_to": {"store": "seedpack.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.template.behavior-map", "version": 1, "value_sha256": "0ad9287ecba5fe9608f7696d100fa2979621fee5018946c7bb17498821f9e7ab"}, "instance": {"project": "pantry-app (synthetic)", "commit": "9b1f4e2c7a6d3b5e8f0a1c2d3e4f5a6b7c8d9e0f", "checked_on": "2026-10-30", "behaviors": [{"id": "B1", "claim": "Booking a slot saves it.", "doc": "README.md, Booking", "real_path": ["pantry_app.routes.book", "pantry_app.slots.book_slot", "pantry_app.store.Store.save"], "tests": ["tests/test_slots.py::BookingTests::test_book_returns_a_slot"]}, {"id": "B2", "claim": "Cancelling a slot removes it.", "doc": "README.md, Cancelling", "real_path": ["pantry_app.routes.cancel", "pantry_app.store.Store.delete"], "tests": ["tests/test_slots.py::CancelTests::test_cancel_removes_the_slot"]}, {"id": "B3", "claim": "The health endpoint answers.", "doc": "README.md, Health", "real_path": ["pantry_app.health.healthz"], "tests": ["tests/test_health.py::test_healthz_says_ok"]}, {"id": "B4", "claim": "Weekly reports count visits.", "doc": "docs/reports.md", "real_path": ["pantry_app.reports.weekly_counts"], "tests": []}], "scan": {"tests": [{"id": "tests/test_health.py::test_healthz_says_ok", "patched": []}, {"id": "tests/test_health.py::test_livez_when_ready", "patched": ["pantry_app.health.READY"]}, {"id": "tests/test_reports.py::test_weekly_counts_add_up", "patched": []}, {"id": "tests/test_slots.py::BookingTests::test_book_returns_a_slot", "patched": ["pantry_app.store.Store.save"]}, {"id": "tests/test_slots.py::BookingTests::test_book_slot_saves_the_row", "patched": []}, {"id": "tests/test_slots.py::CancelTests::test_cancel_removes_the_slot", "patched": ["pantry_app.store.Store.delete"]}], "behaviors": [{"id": "B1", "status": "mock_only", "real_path_tests": [], "tests": [{"test": "tests/test_slots.py::BookingTests::test_book_returns_a_slot", "patched_on_path": ["pantry_app.store.Store.save"]}], "missing_tests": []}, {"id": "B2", "status": "mock_only", "real_path_tests": [], "tests": [{"test": "tests/test_slots.py::CancelTests::test_cancel_removes_the_slot", "patched_on_path": ["pantry_app.store.Store.delete"]}], "missing_tests": []}, {"id": "B3", "status": "real_path", "real_path_tests": ["tests/test_health.py::test_healthz_says_ok"], "tests": [{"test": "tests/test_health.py::test_healthz_says_ok", "patched_on_path": []}], "missing_tests": []}, {"id": "B4", "status": "untested", "real_path_tests": [], "tests": [], "missing_tests": []}]}, "command": "python -m wiring_checks mocks tests --behaviors behaviors.json --base ."}, "shows": "Two behaviors covered only by tests that patch their path, one real path and one untested.", "source": "Synthetic. Written for this pack; every name, number and identifier is made up.", "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.example.probe-report", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.eval_run", "pack:wiring-and-conformance-checks", "role:example", "synthetic:true", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.eval_run", "role": "example", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Worked example: four probes: three hollow on their face, one that ignores its answer", "category_reason": "The probe scan's real output on the synthetic fixture, recomputed by the code's tests; the stopped run is synthetic.", "conforms_to": {"store": "seedpack.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.template.probe-report", "version": 1, "value_sha256": "6f05d30f2cccdf9c604595f6a98bd1fc3a85a78e5753adbd930bfc5fb18cf479"}, "instance": {"project": "pantry-app (synthetic)", "commit": "9b1f4e2c7a6d3b5e8f0a1c2d3e4f5a6b7c8d9e0f", "checked_on": "2026-10-30", "static": {"probes": [{"probe": "pantry_app.health.healthz", "path": "src/pantry_app/health.py", "line": 11, "why": "name healthz", "kind": "constant", "calls": [], "reads": [], "awaits": false}, {"probe": "pantry_app.health.livez", "path": "src/pantry_app/health.py", "line": 15, "why": "name livez", "kind": "flag_only", "calls": [], "reads": ["READY"], "awaits": false}, {"probe": "pantry_app.health.readyz", "path": "src/pantry_app/health.py", "line": 19, "why": "name readyz", "kind": "calls", "calls": ["store.ping"], "reads": [], "awaits": false}, {"probe": "pantry_app.routes.service_check", "path": "src/pantry_app/routes.py", "line": 34, "why": "route /healthcheck", "kind": "constant", "calls": [], "reads": [], "awaits": false}], "hollow": ["pantry_app.health.healthz", "pantry_app.health.livez", "pantry_app.routes.service_check"]}, "runs": [{"probe": "pantry_app.health.readyz", "dependency": "store database", "how_stopped": "Stopped the local database in the copy, then called readyz.", "when_stopped": "passed", "when_restored": "healthy", "seconds": 0.2}], "hollow": ["pantry_app.health.healthz", "pantry_app.health.livez", "pantry_app.health.readyz", "pantry_app.routes.service_check"]}, "shows": "The static scan flags three probes; readyz calls the store but passes with it stopped, so all four are hollow.", "source": "Synthetic. Written for this pack; every name, number and identifier is made up.", "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.example.round-trip-report", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.eval_run", "pack:wiring-and-conformance-checks", "role:example", "synthetic:true", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.eval_run", "role": "example", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Worked example: one setting lost on reload, and unknown keys dropped", "category_reason": "A synthetic instance in the template's shape.", "conforms_to": {"store": "seedpack.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.template.round-trip-report", "version": 1, "value_sha256": "1ada59432e8ab69779f83f63a2d62dabbbe027d1819afebaddc2d31f7c006e9d"}, "instance": {"project": "pantry-app (synthetic)", "commit": "9b1f4e2c7a6d3b5e8f0a1c2d3e4f5a6b7c8d9e0f", "checked_on": "2026-10-30", "config": "pantry_app.config.Config", "reader": "pantry_app.config.load_config", "writer": "pantry_app.config.save_config", "fields": [{"field": "slot_minutes", "set_to": "20", "read_back": "20", "result": "survives", "test": "tests/test_config_round_trip.py::test_slot_minutes"}, {"field": "open_hour", "set_to": "8", "read_back": "8", "result": "survives", "test": "tests/test_config_round_trip.py::test_open_hour"}, {"field": "reminder_hours", "set_to": "48", "read_back": "24", "result": "lost", "test": "tests/test_config_round_trip.py::test_reminder_hours"}], "load_save_load_stable": true, "unknown_keys": "silently_dropped", "command": "python -m unittest tests.test_config_round_trip -v", "output_sha256": "6c0d2b5e9a4f1873c2e6b0d9a5f4183e7c2b6d0a9f5e4183c7b2e6d0a9f5c418"}, "shows": "reminder_hours is written as 48 and read back as its default, 24, though load, save and load is stable.", "source": "Synthetic. Written for this pack; every name, number and identifier is made up.", "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.example.conformance-report", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.eval_run", "pack:wiring-and-conformance-checks", "role:example", "synthetic:true", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.eval_run", "role": "example", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Worked example: the pantry app's conformance report, with twelve findings", "category_reason": "A synthetic instance in the template's shape.", "conforms_to": {"store": "seedpack.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.template.conformance-report", "version": 1, "value_sha256": "3a1fff73ddbd12f59b859a89899c804a9fbb1bbab6ca7deb61ba3510d2c03df9"}, "instance": {"report_id": "WC-1", "project": "pantry-app (synthetic)", "commit": "9b1f4e2c7a6d3b5e8f0a1c2d3e4f5a6b7c8d9e0f", "checked_on": "2026-10-30", "entry_points": [{"module": "pantry_app.__main__", "why": "python -m pantry_app serves and exports"}], "rules": [{"rule": "no-dark-modules", "status": "ran", "checked": 17, "failures": 3, "command": "python -m wiring_checks modules src --tests tests", "evidence": "module map of 2026-10-30", "canary": "tests/canaries/dark_pkg", "canary_caught_by": "canary run 1"}, {"rule": "config-round-trip", "status": "ran", "checked": 3, "failures": 2, "command": "python -m unittest tests.test_config_round_trip", "evidence": "round-trip report of 2026-10-30", "canary": "tests/canaries/lost_field.py", "canary_caught_by": "canary run 2"}, {"rule": "probes-probe", "status": "ran", "checked": 4, "failures": 4, "command": "python -m wiring_checks probes src, then readyz with the store stopped", "evidence": "probe report of 2026-10-30", "canary": "tests/canaries/constant_probe.py", "canary_caught_by": "canary run 3"}, {"rule": "behaviors-on-real-path", "status": "ran", "checked": 4, "failures": 3, "command": "python -m wiring_checks mocks tests --behaviors behaviors.json", "evidence": "behavior map of 2026-10-30", "canary": "tests/canaries/test_mocked_path.py", "canary_caught_by": "canary run 4"}], "failures": [{"rule": "no-dark-modules", "item": "pantry_app.legacy_export", "detail": "dark", "finding_ref": "WF-1"}, {"rule": "no-dark-modules", "item": "pantry_app.plugins.fax", "detail": "dark", "finding_ref": "WF-2"}, {"rule": "no-dark-modules", "item": "pantry_app.reports", "detail": "test_only", "finding_ref": "WF-3"}, {"rule": "config-round-trip", "item": "Config.reminder_hours", "detail": "lost: written as 48, read back as 24", "finding_ref": "WF-4"}, {"rule": "config-round-trip", "item": "unknown keys", "detail": "silently dropped by load_config", "finding_ref": "WF-5"}, {"rule": "probes-probe", "item": "pantry_app.health.healthz", "detail": "constant", "finding_ref": "WF-6"}, {"rule": "probes-probe", "item": "pantry_app.health.livez", "detail": "flag_only", "finding_ref": "WF-7"}, {"rule": "probes-probe", "item": "pantry_app.health.readyz", "detail": "passed with its dependency stopped", "finding_ref": "WF-8"}, {"rule": "probes-probe", "item": "pantry_app.routes.service_check", "detail": "constant", "finding_ref": "WF-9"}, {"rule": "behaviors-on-real-path", "item": "B1", "detail": "mock_only", "finding_ref": "WF-10"}, {"rule": "behaviors-on-real-path", "item": "B2", "detail": "mock_only", "finding_ref": "WF-11"}, {"rule": "behaviors-on-real-path", "item": "B4", "detail": "untested", "finding_ref": "WF-12"}], "real_path_behaviors": [{"id": "B3", "claim": "The health endpoint answers.", "doc": "README.md, Health", "tests": ["tests/test_health.py::test_healthz_says_ok"], "path_patches": []}], "probes_verified": [], "limits": ["Static reading plus local runs at one commit; a module loaded only by deployment settings needs naming as an entry.", "No probe was verified: three are hollow on their face and readyz ignores the answer it asks for."]}, "shows": "Every rule ran with its canary caught; twelve gaps each name a finding; one behavior is covered by its real path and no probe is verified.", "source": "Synthetic. Written for this pack; every name, number and identifier is made up.", "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.wiring-and-conformance-checks", "key": "wiring-and-conformance-checks.v0.1.0.example.finding", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.seed_hypothesis", "pack:wiring-and-conformance-checks", "role:example", "synthetic:true", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.seed_hypothesis", "role": "example", "pack": "wiring-and-conformance-checks", "pack_version": "0.1.0", "title": "Worked example: the finding for a dark module, in the findings to fixes shape", "category_reason": "A synthetic instance in the template's shape.", "conforms_to": {"store": "seedpack.findings-to-fixes", "key": "findings-to-fixes.v0.1.0.template.finding", "version": 1, "value_sha256": "05a0e9ba4bc9bc4d900146290e39155ceadb799d334a47180f354dd988774a80"}, "instance": {"id": "WF-1", "title": "The module pantry_app.legacy_export is imported by no live path", "kind": "issue", "severity": "P3", "where": "src/pantry_app/legacy_export.py at commit 9b1f4e2c7a6d", "expected": "Every module is on a live path, or it is removed.", "evidence": [{"kind": "measurement", "detail": "wiring_checks modules: status dark, reached from nothing.", "location": "module map of 2026-10-30", "sha256": "1b5565d127eb6b4d88d9fc38cfbbd75d454c964fe4b8e6a028d824646996060b", "observed_at": "2026-10-30T09:00Z"}, {"kind": "reproduction", "detail": "python -X importtime -m pantry_app serve and export in a local copy never loaded pantry_app.legacy_export.", "location": "local copy at the pinned commit", "observed_at": "2026-10-30T09:05Z"}], "noticed_by": "find-unused-modules worker", "noticed_at": "2026-10-30T09:05Z", "fingerprint": "issue/pantry-legacy-export/module-imported-by-nothing", "status": "open", "sensitivity": "none", "public": false, "work": [{"verb": "triage", "state": "pending"}, {"verb": "propose-fix", "state": "pending", "note": "Wire it into the export command, or remove it; a person decides."}]}, "shows": "An open issue with the finder's measurement and a runtime trace, proposing triage and a fix a person decides.", "source": "Synthetic. Written for this pack; every name, number and identifier is made up.", "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": []}}
]}