From ac77b88864d33bd664798cd72ac5fc9c9a7dbd04 Mon Sep 17 00:00:00 2001 From: Shay Date: Tue, 26 May 2026 16:03:01 -0700 Subject: [PATCH] chore(ratify): accept four Phase C round-2 recognizers (round 2) (#309) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * chore(ratify): accept four Phase C round-2 recognizers (round 2) Operator ratification of the four Phase B round-2 proposals per ADR-0163: - 8c7645b4 — discrete_count_statement - 03627f6f — multiplicative_aggregation - 00547671 — currency_amount - 4d47a247 — temporal_aggregation (v2 widening) All four passed Phase C's admissibility replay gate at propose-time: replay_equivalent=True, wrong_count_delta=0. Each acceptance also appends the synthetic admissibility chain to teaching/cognition_chains. Post-ratification empirical signal (verified by running the train_sample lane): - correct: 3 (unchanged) - refused: 47 (unchanged) - wrong: 0 (unchanged — invariant holds) The case-level lift did not materialize because the architectural bottleneck migrated from STATEMENT admission to QUESTION admission. 44 of 47 cases now refuse on a QUESTION (vs 7 pre-ratification). The four new recognizers' matchers fire on 36 of 47 first-failed sentences, but the cases then refuse on a different (later) sentence — typically the question itself. The unlock for this round is Phase D.3 (conditional-prefix question recovery, PR #308) + a follow-up parser-grammar extension to handle mass nouns (how much), modal verbs (will be able to), and pronoun entity resolution. Those touch grammar surface, not admission wiring; separate ADR. This PR commits the ratification audit trail. The lift composes when Phase D.3 lands and the grammar layer follows. wrong=0 invariant: preserved by Phase D's skip-only construction. Statement-level recognizer matches contribute zero math state to the Cartesian product; no recognizer can introduce a wrong answer under skip-only semantics. Cross-references: ADR-0163, Phase A PR #297, Phase B round 1 PR #298, Phase C PR #301, Phase D PR #302, ratify round-1 PR #304, docs PR #305, Phase B round 2 PR #306, Phase C round-2 extension PR #307, Phase D.3 PR #308. * chore(ratify): re-pin public_demo lane SHA after round-2 ratification The four round-2 ratifications appended synthetic admissibility chains to teaching/cognition_chains/cognition_chains_v1.jsonl, which is consumed by the public_demo lane. The lane's deterministic output SHA changed accordingly — drift confirmed by CI on origin PR #309 (`✗ public_demo e323adb35ea17987.. expected 888ddd0d12635d70..`). Re-pin per the standard remediation: python scripts/verify_lane_shas.py --update python scripts/generate_claims.py This is the expected corpus-mutation cycle following ratification. No code change, no test change. The new public_demo SHA reflects the engine's new admissibility surface; the lane runner's output is byte-stable under the new corpus. Cross-references: ratify round-2 PR #309 (this branch), Phase D PR #302, Phase C PR #301. --- CLAIMS.md | 2 +- evals/public_demo/results/v1_dev.json | 2 +- scripts/verify_lane_shas.py | 2 +- .../cognition_chains/cognition_chains_v1.jsonl | 4 ++++ teaching/proposals/proposals.jsonl | 16 ++++++++++++++++ 5 files changed, 23 insertions(+), 3 deletions(-) diff --git a/CLAIMS.md b/CLAIMS.md index caa2dfce..8f95b5f0 100644 --- a/CLAIMS.md +++ b/CLAIMS.md @@ -39,7 +39,7 @@ is a CI failure (`.github/workflows/lane-shas.yml`). | ADR-0095 | `miner_loop_closure` | Miner-sourced proposals route through single reviewed teaching path | `evals/miner_loop_closure/results/v1_dev.json` | `9f071733abe7dcacf759f928548ce738fb639af3fd6e4c621a651b306d7e77ce` | | ADR-0096 | `fabrication_control_summary` | Phantom endpoints / cross-pack non-bridges / sibling collapses refuse | `evals/fabrication_control/results/v1_summary.json` | `01e1b6b711141f2b4a14551d7df3ea482d8d6dd7b364a25c509f4f8d08cda8a8` | | ADR-0098 | `demo_composition` | Demos compose from shipped modules; no parallel mechanism | `evals/demo_composition/results/v1_dev.json` | `3a3d09f3a87462737e615c2dd3481b9e13e5ff8fadee0043c37873494ded556d` | -| ADR-0099 | `public_demo` | Public showcase runs deterministically under 30s; all claims supported | `evals/public_demo/results/v1_dev.json` | `888ddd0d12635d709f91898cf06601062168694d870f776d2b0b7710e5d68cbd` | +| ADR-0099 | `public_demo` | Public showcase runs deterministically under 30s; all claims supported | `evals/public_demo/results/v1_dev.json` | `e323adb35ea17987991395424c603ff93bca08c11bc2713bd9f6338e86bb269f` | | ADR-0104 | `curriculum_loop_closure` | Curriculum-sourced proposals route through single reviewed teaching path | `evals/curriculum_loop_closure/results/v1_dev.json` | `b46d56b2d209172cc3ffaf3776dc8dcfe55093f13587c5cb67372be6dfa23e8d` | | ADR-0131 | `math_teaching_corpus_v1` | Math teaching corpus replays deterministically; all chains pass exit criterion (correct_rate=1.0, wrong=0) | `evals/math_teaching_corpus/v1/report.json` | `eaf160d145da29f9050ede8d58bf111b0f651dd40aeae9201857d0b97e014dd4` | diff --git a/evals/public_demo/results/v1_dev.json b/evals/public_demo/results/v1_dev.json index f284c5d5..9a3509da 100644 --- a/evals/public_demo/results/v1_dev.json +++ b/evals/public_demo/results/v1_dev.json @@ -13,7 +13,7 @@ { "case_id": "determinism_run_to_run_byte_equality", "details": { - "sha256": "58e4ddec73aba31b0e193d573921cd85df7fd225ba68716eeef1517b635c6141" + "sha256": "a78769179151c9825e7989c51ae21df0172a8e2d5e8a146e766ba1f60250bb21" }, "divergence": null, "passed": true diff --git a/scripts/verify_lane_shas.py b/scripts/verify_lane_shas.py index 47b56eba..65388332 100644 --- a/scripts/verify_lane_shas.py +++ b/scripts/verify_lane_shas.py @@ -39,7 +39,7 @@ PINNED_SHAS: dict[str, str] = { "domain_contract_validation": "98ace04e3f02bbc5a8ad655bb6593c3f1ee64cb67014f1122fe6c3c85f48d22f", "fabrication_control_summary": "01e1b6b711141f2b4a14551d7df3ea482d8d6dd7b364a25c509f4f8d08cda8a8", "demo_composition": "3a3d09f3a87462737e615c2dd3481b9e13e5ff8fadee0043c37873494ded556d", - "public_demo": "888ddd0d12635d709f91898cf06601062168694d870f776d2b0b7710e5d68cbd", + "public_demo": "e323adb35ea17987991395424c603ff93bca08c11bc2713bd9f6338e86bb269f", "math_teaching_corpus_v1": "eaf160d145da29f9050ede8d58bf111b0f651dd40aeae9201857d0b97e014dd4", } diff --git a/teaching/cognition_chains/cognition_chains_v1.jsonl b/teaching/cognition_chains/cognition_chains_v1.jsonl index 24f810bd..8174ed96 100644 --- a/teaching/cognition_chains/cognition_chains_v1.jsonl +++ b/teaching/cognition_chains/cognition_chains_v1.jsonl @@ -20,3 +20,7 @@ {"chain_id":"cause_analogy_reveals_relation","connective":"reveals","domains_object_k":1,"domains_subject_k":2,"intent":"cause","object":"relation","provenance":"adr-0057:discovery_promoted:2026-05-18","subject":"analogy"} {"chain_id":"verification_concept_requires_definition","connective":"requires","domains_object_k":1,"domains_subject_k":2,"intent":"verification","object":"definition","provenance":"adr-0057:discovery_promoted:2026-05-18","subject":"concept"} {"chain_id":"cause_recall_reveals_memory","connective":"reveals","domains_object_k":1,"domains_subject_k":2,"intent":"cause","object":"memory","provenance":"adr-0057:discovery_promoted:2026-05-18","subject":"recall"} +{"chain_id":"admissibility_discrete_count_statement_recognizes_86dd2ccda5844c0ac23402f9d14216e3da05190431f4aa1bdf67a05df5bfcb22","connective":"recognizes","domains_object_k":1,"domains_subject_k":2,"intent":"admissibility","object":"86dd2ccda5844c0ac23402f9d14216e3da05190431f4aa1bdf67a05df5bfcb22","provenance":"adr-0057:discovery_promoted:2026-05-27","subject":"discrete_count_statement"} +{"chain_id":"admissibility_multiplicative_aggregation_recognizes_c70663bd722672930b6e2f24596fbab28e94135aeffd05e7037fc6f35e5702f7","connective":"recognizes","domains_object_k":1,"domains_subject_k":2,"intent":"admissibility","object":"c70663bd722672930b6e2f24596fbab28e94135aeffd05e7037fc6f35e5702f7","provenance":"adr-0057:discovery_promoted:2026-05-27","subject":"multiplicative_aggregation"} +{"chain_id":"admissibility_currency_amount_recognizes_25df92963a15941294c232f37c91987bb35f91e8f3a483f950da43f84c2b7684","connective":"recognizes","domains_object_k":1,"domains_subject_k":2,"intent":"admissibility","object":"25df92963a15941294c232f37c91987bb35f91e8f3a483f950da43f84c2b7684","provenance":"adr-0057:discovery_promoted:2026-05-27","subject":"currency_amount"} +{"chain_id":"admissibility_temporal_aggregation_recognizes_9684dd780b4d0d387facdce18b474e09413d671b0d4cb944c2754ba2a0bb6208","connective":"recognizes","domains_object_k":1,"domains_subject_k":2,"intent":"admissibility","object":"9684dd780b4d0d387facdce18b474e09413d671b0d4cb944c2754ba2a0bb6208","provenance":"adr-0057:discovery_promoted:2026-05-27","subject":"temporal_aggregation"} diff --git a/teaching/proposals/proposals.jsonl b/teaching/proposals/proposals.jsonl index 1e6c6964..d7c9b2e9 100644 --- a/teaching/proposals/proposals.jsonl +++ b/teaching/proposals/proposals.jsonl @@ -54,3 +54,19 @@ {"chain_id":"admissibility_rate_with_currency_recognizes_7741c837933c975e52d01fe4a97d18c6609cce3dceaf934ba6eccefda0c6837a","event":"accepted_corpus_append","proposal_id":"46ce297f797ff16da12db5de422ca3c9","provenance":{"adr_id":"adr-0057","raw":"adr-0057:discovery_promoted:2026-05-27","review_date":"2026-05-27","source":"discovery_promoted"}} {"event":"transition","note":"","proposal_id":"a3b892546977c5f0f64c578d6052adbd","to":"accepted"} {"chain_id":"admissibility_temporal_aggregation_recognizes_d6e31f6bc8e77067ef6388ff95b7fa47b20c51bc0ab5223c454e533909dcbb17","event":"accepted_corpus_append","proposal_id":"a3b892546977c5f0f64c578d6052adbd","provenance":{"adr_id":"adr-0057","raw":"adr-0057:discovery_promoted:2026-05-27","review_date":"2026-05-27","source":"discovery_promoted"}} +{"event":"created","proposal":{"claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:gsm8k-train-sample-v1-0010","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:gsm8k-train-sample-v1-0020","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:gsm8k-train-sample-v1-0023","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:gsm8k-train-sample-v1-0027","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:gsm8k-train-sample-v1-0037","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:gsm8k-train-sample-v1-0040","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:dcs-v1-0007","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:dcs-v1-0008","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:dcs-v1-0009","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:dcs-v1-0010","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:dcs-v1-0011","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:dcs-v1-0012","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:dcs-v1-0013","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:dcs-v1-0014","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:dcs-v1-0015","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:dcs-v1-0016","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:dcs-v1-0017","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:dcs-v1-0018","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:dcs-v1-0019","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:dcs-v1-0020","source":"corpus"}],"operator_note":"","polarity":"affirms","proposal_id":"8c7645b4dc8ddb436a1beb7b9d135c00","proposed_chain":{"connective":"recognizes","intent":"admissibility","object":"86dd2ccda5844c0ac23402f9d14216e3da05190431f4aa1bdf67a05df5bfcb22","recognizer_spec":{"canonical_pattern":{"anchor_count_max":5,"anchor_count_min":1,"anchor_kind":"discrete_count","graph_intent":"count","observed_count_kinds":["integer","word"],"observed_counted_nouns":["Pokemon cards","apples","balloons","books","cats","chickens","dogs","followers","goat","horses","kittens","marbles","motorcycles","nephews","paintbrushes","paperclips","parakeets","pounds","puppies","seashells","stickers","sunflowers","swallows","turtles","typewriters"],"outcome":"admissible","shape_category":"discrete_count_statement","unresolved_notes":["'pounds' here is the counted-noun under a discrete-count reading; the temporal modifier 'by June' is not encoded because the schema only captures count + counted_noun + subject_role.","Edge case: 'dozen' is an integer-scale word that resolves to 12 in convention; the schema preserves it as count_token to let Phase C decide whether to expand.","Edge case: comma-grouped large integer. The count_token preserves the surface ',' so Phase C can decide whether to strip or honor the grouping.","Edge case: word-form count ('a hundred'); the count_kind='word' preserves the surface representation for Phase C.","Enumeration of three count-noun pairs; subject is implicit ('the pet shop').","Five count-noun anchors share the same subject (pronominal 'he'); this is the canonical multi-item enumeration form.","Two count anchors share the counted_noun lemma ('paperclips') across the elided second mention; the schema records each occurrence rather than collapsing them, so Phase C can derive subtractive intent if it chooses."]},"coverage":{"anchors_discrete_count":28,"count_kind:integer":23,"count_kind:word":5,"counted_noun:Pokemon cards":1,"counted_noun:apples":1,"counted_noun:balloons":1,"counted_noun:books":1,"counted_noun:cats":2,"counted_noun:chickens":1,"counted_noun:dogs":1,"counted_noun:followers":2,"counted_noun:goat":1,"counted_noun:horses":1,"counted_noun:kittens":1,"counted_noun:marbles":1,"counted_noun:motorcycles":1,"counted_noun:nephews":1,"counted_noun:paintbrushes":1,"counted_noun:paperclips":2,"counted_noun:parakeets":1,"counted_noun:pounds":1,"counted_noun:puppies":1,"counted_noun:seashells":1,"counted_noun:stickers":1,"counted_noun:sunflowers":1,"counted_noun:swallows":1,"counted_noun:turtles":1,"counted_noun:typewriters":1},"exemplar_count":20,"exemplar_digest":"f1534a3ea3251cad081e4b4508204a4b5c944d9994bac1ab31ffc98cad00c6f3","shape_category":"discrete_count_statement"},"subject":"discrete_count_statement"},"provenance":null,"replay_evidence":null,"review_state":"pending","source":{"emitted_at_revision":"1f5ffcf6c7ab65a46aa4557c8c28a9b30b8a1c4b","kind":"exemplar_corpus","source_id":"f1534a3ea3251cad081e4b4508204a4b5c944d9994bac1ab31ffc98cad00c6f3"},"source_candidate_id":"397f672d1211b4461ebd6c78168e497fbeab4056aeb44554039b138dc2fe934e"}} +{"event":"replay","proposal_id":"8c7645b4dc8ddb436a1beb7b9d135c00","replay_evidence":{"baseline":{"intent_accuracy":1.0,"surface_groundedness":1.0,"term_capture_rate":1.0,"versor_closure_rate":1.0},"candidate":{"intent_accuracy":1.0,"surface_groundedness":1.0,"term_capture_rate":1.0,"versor_closure_rate":1.0},"capability_axes":{"G1_verb_classes":{"correct":20,"refused":0,"wrong":0},"G2_comparatives":{"correct":29,"refused":0,"wrong":0},"G3_numerics":{"correct":20,"refused":6,"wrong":0},"G4_multi_clause":{"correct":32,"refused":0,"wrong":0},"G5_aggregate":{"correct":20,"refused":0,"wrong":0},"S1_rate_events":{"correct":20,"refused":0,"wrong":0}},"gsm8k_train_sample":{"correct":3,"refused":47,"wrong":0},"regressed_metrics":[],"replay_equivalent":true,"wrong_count_delta":0}} +{"event":"created","proposal":{"claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:gsm8k-train-sample-v1-0025","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:gsm8k-train-sample-v1-0045","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:gsm8k-train-sample-v1-0047","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ma-v1-0004","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ma-v1-0005","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ma-v1-0006","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ma-v1-0007","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ma-v1-0008","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ma-v1-0009","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ma-v1-0010","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ma-v1-0011","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ma-v1-0012","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ma-v1-0013","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ma-v1-0014","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ma-v1-0015","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ma-v1-0016","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ma-v1-0017","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ma-v1-0018","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ma-v1-0019","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ma-v1-0020","source":"corpus"}],"operator_note":"","polarity":"affirms","proposal_id":"03627f6f6426e71fd91f01ecba59d046","proposed_chain":{"connective":"recognizes","intent":"admissibility","object":"c70663bd722672930b6e2f24596fbab28e94135aeffd05e7037fc6f35e5702f7","recognizer_spec":{"canonical_pattern":{"anchor_count_max":1,"anchor_count_min":1,"anchor_kind":"multiplicative_aggregate","graph_intent":"aggregate","observed_inner_units":["apples","bottles","bricks","candies","cupcakes","donuts","doughnuts","eggs","fruits","marbles","novels","ounces","peaches","pencils","questions","sandwiches","sticks","strawberries"],"observed_outer_units":["bag","bags","baskets","boxes","bundles","cartons","cases","crates","jars","macaroons","pallets","shelves","survey","trays"],"outcome":"admissible","shape_category":"multiplicative_aggregation","unresolved_notes":["'apiece' is treated as the same axis as 'each' for inner-count framing; the recognizer Phase C derives should admit both.","Canonical multiplicative form: outer container count + each + inner count. Phase C should derive a recognizer that admits both the 'where each holds N' and the comma-only form (e.g., '6 baskets, each holding 50 strawberries').","Edge case: 'per pallet' uses spatial 'per' (not temporal); the categorizer routes correctly because no time-unit follows.","Edge case: composite word-form outer count ('two dozen') and word-form inner count ('six'). Phase C should derive a recognizer admitting word-form composites in both positions.","Edge case: minimal 'each' with no outer count; outer_count='1' is the canonical default for the schema.","Edge case: word-form outer count combined with integer inner.","Minimal-form multiplicative: leading 'each' with implicit outer_count=1. The exemplar records '1' so the schema's outer_count field stays a string token, not null.","Outer count is word-form ('six') while inner is integer; the schema preserves both surface representations.","The inner_unit 'ounces' is a weight-per-item, not a count of inner items. Phase C may distinguish 'inner_kind=weight' vs 'inner_kind=count' but the current schema collapses both into the inner_count+inner_unit pair."]},"coverage":{"anchors_multiplicative_aggregate":20,"inner_unit:apples":2,"inner_unit:bottles":1,"inner_unit:bricks":1,"inner_unit:candies":1,"inner_unit:cupcakes":1,"inner_unit:donuts":1,"inner_unit:doughnuts":1,"inner_unit:eggs":1,"inner_unit:fruits":1,"inner_unit:marbles":2,"inner_unit:novels":1,"inner_unit:ounces":1,"inner_unit:peaches":1,"inner_unit:pencils":1,"inner_unit:questions":1,"inner_unit:sandwiches":1,"inner_unit:sticks":1,"inner_unit:strawberries":1,"outer_unit:bag":1,"outer_unit:bags":2,"outer_unit:baskets":2,"outer_unit:boxes":4,"outer_unit:bundles":1,"outer_unit:cartons":1,"outer_unit:cases":1,"outer_unit:crates":1,"outer_unit:jars":2,"outer_unit:macaroons":1,"outer_unit:pallets":1,"outer_unit:shelves":1,"outer_unit:survey":1,"outer_unit:trays":1},"exemplar_count":20,"exemplar_digest":"b55d98c3fc427348195599265dda477c933719a7f229eb3361200cde3554b34e","shape_category":"multiplicative_aggregation"},"subject":"multiplicative_aggregation"},"provenance":null,"replay_evidence":null,"review_state":"pending","source":{"emitted_at_revision":"1f5ffcf6c7ab65a46aa4557c8c28a9b30b8a1c4b","kind":"exemplar_corpus","source_id":"b55d98c3fc427348195599265dda477c933719a7f229eb3361200cde3554b34e"},"source_candidate_id":"6975762fe1f135fa68a789b20f2182f1e1b615b372fd93b32c288f4698e03a74"}} +{"event":"replay","proposal_id":"03627f6f6426e71fd91f01ecba59d046","replay_evidence":{"baseline":{"intent_accuracy":1.0,"surface_groundedness":1.0,"term_capture_rate":1.0,"versor_closure_rate":1.0},"candidate":{"intent_accuracy":1.0,"surface_groundedness":1.0,"term_capture_rate":1.0,"versor_closure_rate":1.0},"capability_axes":{"G1_verb_classes":{"correct":20,"refused":0,"wrong":0},"G2_comparatives":{"correct":29,"refused":0,"wrong":0},"G3_numerics":{"correct":20,"refused":6,"wrong":0},"G4_multi_clause":{"correct":32,"refused":0,"wrong":0},"G5_aggregate":{"correct":20,"refused":0,"wrong":0},"S1_rate_events":{"correct":20,"refused":0,"wrong":0}},"gsm8k_train_sample":{"correct":3,"refused":47,"wrong":0},"regressed_metrics":[],"replay_equivalent":true,"wrong_count_delta":0}} +{"event":"created","proposal":{"claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:gsm8k-train-sample-v1-0019","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:gsm8k-train-sample-v1-0026","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:gsm8k-train-sample-v1-0028","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ca-v1-0004","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ca-v1-0005","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ca-v1-0006","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ca-v1-0007","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ca-v1-0008","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ca-v1-0009","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ca-v1-0010","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ca-v1-0011","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ca-v1-0012","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ca-v1-0013","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ca-v1-0014","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ca-v1-0015","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ca-v1-0016","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ca-v1-0017","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ca-v1-0018","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ca-v1-0019","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:ca-v1-0020","source":"corpus"}],"operator_note":"","polarity":"affirms","proposal_id":"00547671b0289be2f2e9bd3d611141a1","proposed_chain":{"connective":"recognizes","intent":"admissibility","object":"25df92963a15941294c232f37c91987bb35f91e8f3a483f950da43f84c2b7684","recognizer_spec":{"canonical_pattern":{"anchor_count_max":1,"anchor_count_min":1,"anchor_kind":"currency_amount","graph_intent":"amount","observed_amount_kinds":["decimal","integer"],"observed_currency_symbols":["$","\u00a3","\u00a5","\u20ac"],"outcome":"admissible","shape_category":"currency_amount","unresolved_notes":["'each saved up $40' could imply two distinct $40 savings; the exemplar records a single amount anchor because the surface form does not commit to per-person duplication.","Decimal amount.","Edge case: 'even' is a colloquial marker of round amount; the schema ignores it.","Edge case: 'to fund her trip' is a purpose modifier, not a per-unit framing; categorizer routes to CURRENCY_AMOUNT.","Edge case: decimal amount with a temporal modifier 'at the spring festival' that is not a window-unit; categorizer keeps CURRENCY_AMOUNT.","Euro currency.","Pound sterling currency; Phase C should derive a recognizer that admits all four symbols in the schema's enum.","Source statement carries a double-space between 'appointments,' and 'which'; preserved verbatim. '$400 each' is a bare amount (per-item, not per-time), so it routes to CURRENCY_AMOUNT rather than RATE_WITH_CURRENCY.","Subject is the pronominal antecedent of an earlier sentence; preserved as 'it' so Phase C can resolve via prior context.","Yen currency."]},"coverage":{"amount_kind:decimal":2,"amount_kind:integer":18,"anchors_currency_amount":20,"currency_symbol:$":17,"currency_symbol:\u00a3":1,"currency_symbol:\u00a5":1,"currency_symbol:\u20ac":1},"exemplar_count":20,"exemplar_digest":"c18204546c8353c28db3260be9550b3a990542e7b57669a3b31171133c38db55","shape_category":"currency_amount"},"subject":"currency_amount"},"provenance":null,"replay_evidence":null,"review_state":"pending","source":{"emitted_at_revision":"1f5ffcf6c7ab65a46aa4557c8c28a9b30b8a1c4b","kind":"exemplar_corpus","source_id":"c18204546c8353c28db3260be9550b3a990542e7b57669a3b31171133c38db55"},"source_candidate_id":"8d8c745817695c9ff5c97e66df67cc0bcaa6bd6b700b05edde3a91dfdc60cb5e"}} +{"event":"replay","proposal_id":"00547671b0289be2f2e9bd3d611141a1","replay_evidence":{"baseline":{"intent_accuracy":1.0,"surface_groundedness":1.0,"term_capture_rate":1.0,"versor_closure_rate":1.0},"candidate":{"intent_accuracy":1.0,"surface_groundedness":1.0,"term_capture_rate":1.0,"versor_closure_rate":1.0},"capability_axes":{"G1_verb_classes":{"correct":20,"refused":0,"wrong":0},"G2_comparatives":{"correct":29,"refused":0,"wrong":0},"G3_numerics":{"correct":20,"refused":6,"wrong":0},"G4_multi_clause":{"correct":32,"refused":0,"wrong":0},"G5_aggregate":{"correct":20,"refused":0,"wrong":0},"S1_rate_events":{"correct":20,"refused":0,"wrong":0}},"gsm8k_train_sample":{"correct":3,"refused":47,"wrong":0},"regressed_metrics":[],"replay_equivalent":true,"wrong_count_delta":0}} +{"event":"created","proposal":{"claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:gsm8k-train-sample-v1-0017","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:gsm8k-train-sample-v1-0034","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:gsm8k-train-sample-v1-0036","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:gsm8k-train-sample-v1-0048","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:tav2-v1-0005","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:tav2-v1-0006","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:tav2-v1-0007","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:tav2-v1-0008","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:tav2-v1-0009","source":"corpus"},{"epistemic_status":"coherent","polarity":"affirms","ref":"exemplar:tav2-v1-0010","source":"corpus"}],"operator_note":"","polarity":"affirms","proposal_id":"4d47a2472e85d2d3e7ddf37f0f4c886d","proposed_chain":{"connective":"recognizes","intent":"admissibility","object":"9684dd780b4d0d387facdce18b474e09413d671b0d4cb944c2754ba2a0bb6208","recognizer_spec":{"canonical_pattern":{"anchor_count_max":2,"anchor_count_min":1,"anchor_kind":"event_count_per_window","graph_intent":"aggregate","observed_window_quantifiers":["each","every","per"],"observed_window_units":["day","hour","minute","month","second","week","year"],"outcome":"admissible","shape_category":"temporal_aggregation","unresolved_notes":["Edge case: leading 'Every year,' with a year window \u2014 the longest window unit in the schema.","Novel 'for N hours' widening (matches case 0036/0017 quantifier).","Novel 'for N minutes' widening.","Novel 'within N hours' widening; count_token='1' encodes the single crossing event.","Novel 'within N minutes' widening. count_token='1' encodes the single boil event.","Novel leading 'Every month,' form.","Widening target: 'for N days' window-quantifier form not in v1 (v1's window_quantifier set was {each, every, per}). The schema collapses 'for 20 days' to window_unit='day' with quantifier='per' and an implicit '20' multiplier.","Widening target: 'for N hours on ' composite. Two day-windowed anchors (Wednesday, Thursday); the comparative inner 'three times as long' is not captured by the schema and is flagged for operator review.","Widening target: 'within N seconds' window form. Mirrors v1 case ta-v1-0002 in shape but with the 'within' quantifier variant absent from v1.","Widening target: leading-clause 'Every week,' form (v1 covered only trailing 'every week' position)."]},"coverage":{"anchors_event_count_per_window":11,"window_quantifier:each":2,"window_quantifier:every":3,"window_quantifier:per":6,"window_unit:day":3,"window_unit:hour":2,"window_unit:minute":2,"window_unit:month":1,"window_unit:second":1,"window_unit:week":1,"window_unit:year":1},"exemplar_count":10,"exemplar_digest":"1d04c4fbe662b8026c1b5c974f201d73bf62d837c87f234bd7a5b30de9b161e2","shape_category":"temporal_aggregation"},"subject":"temporal_aggregation"},"provenance":null,"replay_evidence":null,"review_state":"pending","source":{"emitted_at_revision":"1f5ffcf6c7ab65a46aa4557c8c28a9b30b8a1c4b","kind":"exemplar_corpus","source_id":"1d04c4fbe662b8026c1b5c974f201d73bf62d837c87f234bd7a5b30de9b161e2"},"source_candidate_id":"623c9377bbd139c5107d96899f21a66f8a4562c30225976d6e1d8a470f42480e"}} +{"event":"replay","proposal_id":"4d47a2472e85d2d3e7ddf37f0f4c886d","replay_evidence":{"baseline":{"intent_accuracy":1.0,"surface_groundedness":1.0,"term_capture_rate":1.0,"versor_closure_rate":1.0},"candidate":{"intent_accuracy":1.0,"surface_groundedness":1.0,"term_capture_rate":1.0,"versor_closure_rate":1.0},"capability_axes":{"G1_verb_classes":{"correct":20,"refused":0,"wrong":0},"G2_comparatives":{"correct":29,"refused":0,"wrong":0},"G3_numerics":{"correct":20,"refused":6,"wrong":0},"G4_multi_clause":{"correct":32,"refused":0,"wrong":0},"G5_aggregate":{"correct":20,"refused":0,"wrong":0},"S1_rate_events":{"correct":20,"refused":0,"wrong":0}},"gsm8k_train_sample":{"correct":3,"refused":47,"wrong":0},"regressed_metrics":[],"replay_equivalent":true,"wrong_count_delta":0}} +{"event":"transition","note":"","proposal_id":"8c7645b4dc8ddb436a1beb7b9d135c00","to":"accepted"} +{"chain_id":"admissibility_discrete_count_statement_recognizes_86dd2ccda5844c0ac23402f9d14216e3da05190431f4aa1bdf67a05df5bfcb22","event":"accepted_corpus_append","proposal_id":"8c7645b4dc8ddb436a1beb7b9d135c00","provenance":{"adr_id":"adr-0057","raw":"adr-0057:discovery_promoted:2026-05-27","review_date":"2026-05-27","source":"discovery_promoted"}} +{"event":"transition","note":"","proposal_id":"03627f6f6426e71fd91f01ecba59d046","to":"accepted"} +{"chain_id":"admissibility_multiplicative_aggregation_recognizes_c70663bd722672930b6e2f24596fbab28e94135aeffd05e7037fc6f35e5702f7","event":"accepted_corpus_append","proposal_id":"03627f6f6426e71fd91f01ecba59d046","provenance":{"adr_id":"adr-0057","raw":"adr-0057:discovery_promoted:2026-05-27","review_date":"2026-05-27","source":"discovery_promoted"}} +{"event":"transition","note":"","proposal_id":"00547671b0289be2f2e9bd3d611141a1","to":"accepted"} +{"chain_id":"admissibility_currency_amount_recognizes_25df92963a15941294c232f37c91987bb35f91e8f3a483f950da43f84c2b7684","event":"accepted_corpus_append","proposal_id":"00547671b0289be2f2e9bd3d611141a1","provenance":{"adr_id":"adr-0057","raw":"adr-0057:discovery_promoted:2026-05-27","review_date":"2026-05-27","source":"discovery_promoted"}} +{"event":"transition","note":"","proposal_id":"4d47a2472e85d2d3e7ddf37f0f4c886d","to":"accepted"} +{"chain_id":"admissibility_temporal_aggregation_recognizes_9684dd780b4d0d387facdce18b474e09413d671b0d4cb944c2754ba2a0bb6208","event":"accepted_corpus_append","proposal_id":"4d47a2472e85d2d3e7ddf37f0f4c886d","provenance":{"adr_id":"adr-0057","raw":"adr-0057:discovery_promoted:2026-05-27","review_date":"2026-05-27","source":"discovery_promoted"}}