Lookback (adversarial verify) found a comprehension-layer wrong=0 hole: an argument
slot only refused on reader._RESERVED tokens, so connective heads leaked through —
'Carol is the sibling of Dan during school.' fabricated sibling_of(carol,
dan_during_school) and realized it, while the asymmetric twin '… during the trip.'
refused (article leaked). The fabricated compound entity entered realized memory,
breaching the never-fabricate floor.
Fix: (1) argument slots must be FREE of connective tokens (a leaked connective head =
unparsed relational structure -> refuse 'extra_relational_structure'); (2) the copula
must sit STRUCTURALLY adjacent to the connective, so a dangling copula ('Monday before
Friday is.') and a period-question-as-statement ('Is Monday before Friday.') refuse
instead of fabricating a fact. determine stays sound by construction; this closes the
reader-layer hole. Bite tests added for both classes + a 'no fabricated entity enters
realized memory' assertion.
|
||
|---|---|---|
| .. | ||
| binding_graph | ||
| comprehension | ||
| cue_precision | ||
| derivation | ||
| determine | ||
| meaning_graph | ||
| proof_chain | ||
| realize | ||
| __init__.py | ||
| admissibility.py | ||
| articulation.py | ||
| articulation_legality.py | ||
| attention.py | ||
| bridge_trace.py | ||
| dialogue.py | ||
| discourse_planner.py | ||
| exhaustion.py | ||
| graph_constraint.py | ||
| graph_planner.py | ||
| grounding_accessors.py | ||
| intent.py | ||
| intent_bridge.py | ||
| intent_ratifier.py | ||
| logic_canonical.py | ||
| logic_equivalence.py | ||
| math_candidate_graph.py | ||
| math_candidate_parser.py | ||
| math_completeness.py | ||
| math_parser.py | ||
| math_problem_graph.py | ||
| math_realizer.py | ||
| math_roundtrip.py | ||
| math_solver.py | ||
| math_symbolic_equivalence.py | ||
| math_symbolic_normalizer.py | ||
| math_verifier.py | ||
| morphology.py | ||
| ood_surface_generator.py | ||
| operators.py | ||
| perturbation_suite.py | ||
| proposition.py | ||
| quantitative_comprehension.py | ||
| realizer.py | ||
| realizer_guard.py | ||
| recognizer_anchor_inject.py | ||
| recognizer_match.py | ||
| recognizer_registry.py | ||
| relational_field_reader.py | ||
| relational_symbolic_reader.py | ||
| result.py | ||
| rotor_admissibility.py | ||
| salience.py | ||
| semantic_templates.py | ||
| stream.py | ||
| surface.py | ||
| templates.py | ||