{"format": "ta-amps.seed-pack.nouns.v1", "pack_id": "seeded-defect-and-proof-carrying-review", "status": "proposal_only", "records": [
{"store": "seedpack.seeded-defect-and-proof-carrying-review", "key": "seeded-defect-and-proof-carrying-review.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:seeded-defect-and-proof-carrying-review", "role:pack", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.skill_pack", "role": "pack", "pack": "seeded-defect-and-proof-carrying-review", "pack_version": "0.1.0", "title": "A collection of nouns and verbs for mutation-guided reviewer calibration across six seeded defect classes, proof-carrying refusal and approval verification and exact Wilson score plus paired bootstrap confidence intervals", "lets_workers": "Calibrate reviewers against clean-vs-mutant bundle twins across six universal defect classes, reject unfounded refusals that lack a reproducible failing check witness, reject rubber-stamp approvals below mutant kill thresholds and bound pass/kill rates and system deltas with Wilson score and paired bootstrap confidence intervals.", "flow": [{"verb": "seeded-defect-and-proof-carrying-review.generate-seeded-defect-mutant-twins", "when": "Synthesize deterministic seeded-defect twins across six universal failure classes from clean candidate bundles."}, {"verb": "seeded-defect-and-proof-carrying-review.verify-proof-carrying-review-verdicts", "when": "Calibrate reviewer sensitivity and specificity on clean-vs-mutant twins and reject unfounded refusals or rubber-stamp approvals."}, {"verb": "seeded-defect-and-proof-carrying-review.audit-wilson-and-paired-bootstrap-intervals", "when": "Independently compute Wilson score and paired bootstrap confidence intervals and verify ZeroHardcodedValuesAstGate conformance."}], "guardrails": [{"store": "seedpack.seeded-defect-and-proof-carrying-review", "key": "seeded-defect-and-proof-carrying-review.v0.1.0.guardrail.no-refusal-without-reproducible-witness", "version": 1, "value_sha256": "47a6f8473b142b44848c03aa00d2cc1f3175386551835d5c3f9d91be050da767"}, {"store": "seedpack.seeded-defect-and-proof-carrying-review", "key": "seeded-defect-and-proof-carrying-review.v0.1.0.guardrail.no-approval-without-mutant-kill-calibration", "version": 1, "value_sha256": "dd2456717e6b79df1ee6f25164742995f4e9f51f691018a1416bc364a4243afc"}], "tool": {"store": "seedpack.seeded-defect-and-proof-carrying-review", "key": "seeded-defect-and-proof-carrying-review.v0.1.0.tool.proof-carrying-review", "version": 1, "value_sha256": "0af4aeb6aa421912a4d1039a23d033f2141d2a4cec0bd6e41af562cc888e5423"}, "worked_example": "Two clean candidate bundles expanded into 12 seeded-defect mutants across all 6 defect classes, calibrating a proof-carrying reviewer (1.0 kill rate, Wilson 95% CI [0.7575, 1.0], 0.0 clean FPR), rejecting unfounded refusals and rubber-stamp approvals and computing a paired bootstrap CI [0.215, 0.2263] in test_proof_carrying_review.py.", "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.seeded-defect-and-proof-carrying-review/seeded-defect-and-proof-carrying-review.v0.1.0.guardrail.no-refusal-without-reproducible-witness", "target_category": "noun.skill_pack", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.seeded-defect-and-proof-carrying-review/seeded-defect-and-proof-carrying-review.v0.1.0.guardrail.no-approval-without-mutant-kill-calibration", "target_category": "noun.skill_pack", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.seeded-defect-and-proof-carrying-review/seeded-defect-and-proof-carrying-review.v0.1.0.spec.seeded-defect-and-review-proof-grid", "target_category": "noun.benchmark_suite", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.seeded-defect-and-proof-carrying-review/seeded-defect-and-proof-carrying-review.v0.1.0.rules.mutant-calibration-and-interval-audit", "target_category": "noun.reflex_procedure", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.seeded-defect-and-proof-carrying-review/seeded-defect-and-proof-carrying-review.v0.1.0.tool.proof-carrying-review", "target_category": "noun.code_node", "note": ""}, {"relation": "requires_noun", "target_id": "seedpack.seeded-defect-and-proof-carrying-review/seeded-defect-and-proof-carrying-review.v0.1.0.template.proof-carrying-review-receipt", "target_category": "noun.scene_recipe", "note": ""}]}},
{"store": "seedpack.seeded-defect-and-proof-carrying-review", "key": "seeded-defect-and-proof-carrying-review.v0.1.0.guardrail.no-refusal-without-reproducible-witness", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.skill_pack", "pack:seeded-defect-and-proof-carrying-review", "role:guardrail", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.skill_pack", "role": "guardrail", "pack": "seeded-defect-and-proof-carrying-review", "pack_version": "0.1.0", "title": "Guardrail: review refusals must cite at least one reproducible failing check ID and matching witness", "category_reason": "Eliminates hallucinated, nitpicky or ungrounded reviewer blocks on clean candidate artifacts.", "rule": "ProofCarryingReviewVerifier rejects any review refusal that fails to name an actual failing deterministic check_id and witness reproduced against the candidate bundle.", "how_it_is_checked": "ProofCarryingReviewVerifier.verify_review_decision re-executes SeededDefectMutantSuite.run_checks and rejects empty or non-reproducing refusal claims.", "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.seeded-defect-and-proof-carrying-review", "key": "seeded-defect-and-proof-carrying-review.v0.1.0.guardrail.no-approval-without-mutant-kill-calibration", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.skill_pack", "pack:seeded-defect-and-proof-carrying-review", "role:guardrail", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.skill_pack", "role": "guardrail", "pack": "seeded-defect-and-proof-carrying-review", "pack_version": "0.1.0", "title": "Guardrail: review approvals require calibrated mutant kill rates and zero inline magic literals", "category_reason": "Prevents rubber-stamp approvals and ensures statistical confidence parameters resolve strictly from default_grid_spec.json.", "rule": "ProofCarryingReviewVerifier rejects approvals when underlying deterministic checks fail or when reviewer mutant_kill_rate falls below min_mutant_kill_rate in default_grid_spec.json, and ZeroHardcodedValuesAstGate rejects inline magic numbers.", "how_it_is_checked": "test_proof_carrying_review.py verifies rubber-stamp rejection, 6-class mutant detection, exact Wilson/bootstrap intervals and zero AST magic-literal violations.", "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.seeded-defect-and-proof-carrying-review", "key": "seeded-defect-and-proof-carrying-review.v0.1.0.spec.seeded-defect-and-review-proof-grid", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.benchmark_suite", "pack:seeded-defect-and-proof-carrying-review", "role:spec", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.benchmark_suite", "role": "spec", "pack": "seeded-defect-and-proof-carrying-review", "pack_version": "0.1.0", "title": "Specification: six universal seeded defect classes, proof-carrying verdict contract and interval estimators", "category_reason": "Defines deterministic mutant operators, proof-carrying review invariants and statistical interval equations.", "structures": ["SeededDefectMutantSuite", "ProofCarryingReviewVerifier", "StatisticalIntervalAuditor"], "defect_classes": ["digest_mismatch", "boundary_off_by_one", "silent_exception_swallow", "capability_tier_violation", "self_approval_principal_reuse", "ungrounded_citation_span"], "verdict_invariants": ["no_refusal_without_failing_check", "no_approval_without_mutant_kill_threshold"], "interval_estimators": ["wilson_score_interval", "paired_bootstrap_interval"], "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.seeded-defect-and-proof-carrying-review", "key": "seeded-defect-and-proof-carrying-review.v0.1.0.rules.mutant-calibration-and-interval-audit", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.reflex_procedure", "pack:seeded-defect-and-proof-carrying-review", "role:rules", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.reflex_procedure", "role": "rules", "pack": "seeded-defect-and-proof-carrying-review", "pack_version": "0.1.0", "title": "Deterministic twin-mutant reviewer calibration, witness verification and confidence interval rules", "category_reason": "Zero-model procedure scoring reviewer sensitivity/specificity and statistical confidence bounds.", "wilson_equation": "(p_hat + z^2/(2n) +- z * sqrt((p_hat*(1 - p_hat) + z^2/(4n))/n)) / (1 + z^2/n)", "paired_delta_definition": "candidate_score[i] - baseline_score[i]", "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.seeded-defect-and-proof-carrying-review", "key": "seeded-defect-and-proof-carrying-review.v0.1.0.tool.proof-carrying-review", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.code_node", "pack:seeded-defect-and-proof-carrying-review", "role:tool_card", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.code_node", "role": "tool_card", "pack": "seeded-defect-and-proof-carrying-review", "pack_version": "0.1.0", "title": "Tool card: standard-library SeededDefectMutantSuite, ProofCarryingReviewVerifier and StatisticalIntervalAuditor", "category_reason": "Tested Python 3.10+ standard-library package pinned by path and SHA-256.", "name": "seeded defect and proof carrying review", "code": {"path": "packs/seeded-defect-and-proof-carrying-review/code", "files": 12, "sha256": "0ea4e00d071121ff3bb93cc7a2750cfca7bbd606f7c9789904a956e7d61600ff"}, "runtime": "Python 3.10 or later, standard library only.", "commands": ["python3 -m proof_carrying_review --bundle BUNDLE.json"], "does": ["Injects 6 deterministic defect classes into clean candidate bundles to form twin calibration suites.", "Enforces proof-carrying review decisions so unfounded refusals and uncalibrated rubber-stamp approvals fail closed.", "Computes exact Wilson score intervals and seeded paired bootstrap confidence intervals under ZeroHardcodedValuesAstGate."], "does_not": ["Perform network I/O, invoke external language models or embed inline magic numbers."], "code_license": "MIT", "status": "proposal", "admission": "not_admitted", "content_kind": "authored_guidance", "license": "MIT", "provenance": {"source": "original ta-amps authored proposal", "license": "MIT", "generator": "scripts/build_packs.py", "independently_verified": false}, "dimensions": {"determinism": 0.0, "evidence_grounding": 0.0, "token_efficiency": 0.0, "safety_compliance": 0.0, "verification_tier": "unverified"}, "dimension_basis": {"measured": false, "method": "unmeasured_floor", "reason": "Tessera requires these axes, so each is set to its lowest value and the tier is unverified. No quality is claimed. Replace them only with measured values and the evidence that produced them."}, "relations": [{"relation": "verifies", "target_id": "seedpack.seeded-defect-and-proof-carrying-review/seeded-defect-and-proof-carrying-review.v0.1.0.spec.seeded-defect-and-review-proof-grid", "target_category": "noun.benchmark_suite", "note": ""}]}},
{"store": "seedpack.seeded-defect-and-proof-carrying-review", "key": "seeded-defect-and-proof-carrying-review.v0.1.0.template.proof-carrying-review-receipt", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.scene_recipe", "pack:seeded-defect-and-proof-carrying-review", "role:template", "content:authored", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.scene_recipe", "role": "template", "pack": "seeded-defect-and-proof-carrying-review", "pack_version": "0.1.0", "title": "Template: seeded-defect calibration, proof-carrying review gate and Wilson/bootstrap interval receipt", "describes": "a deterministic receipt of 6-class seeded mutant calibration, proof-carrying refusal/approval enforcement, Wilson score intervals and paired bootstrap confidence bounds", "schema": {"type": "object", "additionalProperties": false, "required": ["defect_class_count", "generated_mutant_count", "strong_reviewer_status", "strong_mutant_kill_rate", "strong_clean_fpr", "strong_wilson_ci_low", "strong_wilson_ci_high", "rubber_stamp_status", "unfounded_refusal_accepted", "rubber_stamp_approval_accepted", "proof_carrying_approval_accepted", "proof_carrying_refusal_accepted", "paired_bootstrap_mean_delta", "paired_bootstrap_ci_low", "paired_bootstrap_ci_high", "paired_statistically_significant"], "properties": {"defect_class_count": {"type": "integer", "minimum": 6}, "generated_mutant_count": {"type": "integer", "minimum": 6}, "strong_reviewer_status": {"type": "string", "minLength": 1}, "strong_mutant_kill_rate": {"type": "number", "minimum": 0.0, "maximum": 1.0}, "strong_clean_fpr": {"type": "number", "minimum": 0.0, "maximum": 1.0}, "strong_wilson_ci_low": {"type": "number", "minimum": 0.0, "maximum": 1.0}, "strong_wilson_ci_high": {"type": "number", "minimum": 0.0, "maximum": 1.0}, "rubber_stamp_status": {"type": "string", "minLength": 1}, "unfounded_refusal_accepted": {"type": "boolean"}, "rubber_stamp_approval_accepted": {"type": "boolean"}, "proof_carrying_approval_accepted": {"type": "boolean"}, "proof_carrying_refusal_accepted": {"type": "boolean"}, "paired_bootstrap_mean_delta": {"type": "number"}, "paired_bootstrap_ci_low": {"type": "number"}, "paired_bootstrap_ci_high": {"type": "number"}, "paired_statistically_significant": {"type": "boolean"}}}, "example": {"defect_class_count": 6, "generated_mutant_count": 12, "strong_reviewer_status": "trusted_reviewer", "strong_mutant_kill_rate": 1.0, "strong_clean_fpr": 0.0, "strong_wilson_ci_low": 0.7575, "strong_wilson_ci_high": 1.0, "rubber_stamp_status": "under_sensitive_reviewer", "unfounded_refusal_accepted": false, "rubber_stamp_approval_accepted": false, "proof_carrying_approval_accepted": true, "proof_carrying_refusal_accepted": true, "paired_bootstrap_mean_delta": 0.22, "paired_bootstrap_ci_low": 0.215, "paired_bootstrap_ci_high": 0.2263, "paired_statistically_significant": true}, "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.seeded-defect-and-proof-carrying-review", "key": "seeded-defect-and-proof-carrying-review.v0.1.0.example.proof-carrying-review-bundle", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.eval_run", "pack:seeded-defect-and-proof-carrying-review", "role:example", "synthetic:true", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.eval_run", "role": "example", "pack": "seeded-defect-and-proof-carrying-review", "pack_version": "0.1.0", "title": "Worked example input: two clean candidate bundles and paired evaluation score vectors", "category_reason": "Synthetic fixture recomputed by test_proof_carrying_review.py.", "regime": "release_admission_gate", "clean_bundles": [{"bundle_id": "cand-01", "artifact": {"payload": {"record": "cand-01", "verified": true}, "declared_sha256": "8ac8f677f97d085b21dcde25b003916674264225b956a3adb87ac034555d129c"}, "boundary": {"observed": 6, "max_allowed": 8}, "code_snippet": "def aggregate_counts(values: list[int]) -> int:\n    return sum(values)\n", "capability": {"requested_effect": "write-internal", "granted_ceiling": "write-internal"}, "attestation": {"drafter_principal": "worker:drafter-cand-01", "drafter_key_id": "key_drafter_cand-01", "reviewer_principal": "worker:reviewer-cand-01", "reviewer_key_id": "key_reviewer_cand-01"}, "sources": {"src-1": "Every review refusal requires a reproducible failing check identifier and witness string."}, "citations": [{"source_id": "src-1", "exact_quote": "reproducible failing check identifier and witness string"}]}, {"bundle_id": "cand-02", "artifact": {"payload": {"record": "cand-02", "verified": true}, "declared_sha256": "fa4b653d466a56dc359453244cd8448ecbf54cbd88548382b4df9b435bd3cc7f"}, "boundary": {"observed": 8, "max_allowed": 8}, "code_snippet": "def aggregate_counts(values: list[int]) -> int:\n    return sum(values)\n", "capability": {"requested_effect": "write-internal", "granted_ceiling": "write-internal"}, "attestation": {"drafter_principal": "worker:drafter-cand-02", "drafter_key_id": "key_drafter_cand-02", "reviewer_principal": "worker:reviewer-cand-02", "reviewer_key_id": "key_reviewer_cand-02"}, "sources": {"src-1": "Every review refusal requires a reproducible failing check identifier and witness string."}, "citations": [{"source_id": "src-1", "exact_quote": "reproducible failing check identifier and witness string"}]}], "baseline_system_scores": [0.62, 0.65, 0.6, 0.64, 0.61, 0.63, 0.59, 0.64], "candidate_system_scores": [0.84, 0.86, 0.82, 0.85, 0.83, 0.87, 0.81, 0.86], "bootstrap_seed": 20261031, "shows": "Synthetic clean candidate bundles for 6-class mutant expansion and paired system score vectors.", "source": "Synthetic. Written for this pack.", "status": "proposal", "admission": "not_admitted", "content_kind": "synthetic_example", "license": "MIT", "provenance": {"source": "original ta-amps authored proposal", "license": "MIT", "generator": "scripts/build_packs.py", "independently_verified": false}, "dimensions": {"determinism": 0.0, "evidence_grounding": 0.0, "token_efficiency": 0.0, "safety_compliance": 0.0, "verification_tier": "unverified"}, "dimension_basis": {"measured": false, "method": "unmeasured_floor", "reason": "Tessera requires these axes, so each is set to its lowest value and the tier is unverified. No quality is claimed. Replace them only with measured values and the evidence that produced them."}, "relations": []}},
{"store": "seedpack.seeded-defect-and-proof-carrying-review", "key": "seeded-defect-and-proof-carrying-review.v0.1.0.example.proof-carrying-review-receipt", "expected_version": 0, "producer_surface": "surface:tessera", "visibility_scope": "surface_only", "allowed_surfaces": [], "target_cohorts": ["all"], "tags": ["category:noun.eval_run", "pack:seeded-defect-and-proof-carrying-review", "role:example", "synthetic:true", "spdx:MIT", "status:quarantined"], "value": {"category_id": "noun.eval_run", "role": "example", "pack": "seeded-defect-and-proof-carrying-review", "pack_version": "0.1.0", "title": "Worked example output: recomputed 12-mutant kill calibration, proof-carrying gate verdicts and confidence intervals", "category_reason": "Synthetic receipt verified by test_proof_carrying_review.py.", "conforms_to": {"store": "seedpack.seeded-defect-and-proof-carrying-review", "key": "seeded-defect-and-proof-carrying-review.v0.1.0.template.proof-carrying-review-receipt", "version": 1, "value_sha256": "82dfc037110cf9ac983a5df2562e5ec7d1eae749c85dee49e6e378143c6426ae"}, "instance": {"defect_class_count": 6, "generated_mutant_count": 12, "strong_reviewer_status": "trusted_reviewer", "strong_mutant_kill_rate": 1.0, "strong_clean_fpr": 0.0, "strong_wilson_ci_low": 0.7575, "strong_wilson_ci_high": 1.0, "rubber_stamp_status": "under_sensitive_reviewer", "unfounded_refusal_accepted": false, "rubber_stamp_approval_accepted": false, "proof_carrying_approval_accepted": true, "proof_carrying_refusal_accepted": true, "paired_bootstrap_mean_delta": 0.22, "paired_bootstrap_ci_low": 0.215, "paired_bootstrap_ci_high": 0.2263, "paired_statistically_significant": true}, "shows": "Recomputes 12/12 mutant kills (Wilson 95% CI [0.7575, 1.0]), rejects unfounded refusals and rubber-stamp approvals and confirms paired bootstrap gain [0.215, 0.2263].", "source": "Synthetic. Recomputed directly from example.proof-carrying-review-bundle.", "status": "proposal", "admission": "not_admitted", "content_kind": "synthetic_example", "license": "MIT", "provenance": {"source": "original ta-amps authored proposal", "license": "MIT", "generator": "scripts/build_packs.py", "independently_verified": false}, "dimensions": {"determinism": 0.0, "evidence_grounding": 0.0, "token_efficiency": 0.0, "safety_compliance": 0.0, "verification_tier": "unverified"}, "dimension_basis": {"measured": false, "method": "unmeasured_floor", "reason": "Tessera requires these axes, so each is set to its lowest value and the tier is unverified. No quality is claimed. Replace them only with measured values and the evidence that produced them."}, "relations": [{"relation": "derives_from", "target_id": "seedpack.seeded-defect-and-proof-carrying-review/seeded-defect-and-proof-carrying-review.v0.1.0.example.proof-carrying-review-bundle", "target_category": "noun.eval_run", "note": ""}, {"relation": "verifies", "target_id": "seedpack.seeded-defect-and-proof-carrying-review/seeded-defect-and-proof-carrying-review.v0.1.0.template.proof-carrying-review-receipt", "target_category": "noun.scene_recipe", "note": ""}]}}
]}