AjMUdZddlmZddlmZmZmZmZmZe hdZ de d<e hdZ de d<e hd Z de d <d d gd ddgdddidd d gdddiddidgddddidgddddiddidddgiddid dddddidd dZde d<GddeZd'dZd(d Z d)d!Z d*d"Z d+d#Zd$d$d% d,d&Zy$)-uNW21B-wave-4 Phase A: floor-plan marker SEMANTIC readback sidecar (core). Pure, deterministic core for a readback that answers a question the W20A2 geometry readback does **not**: *does the image content drawn at marker N actually match the expected object class / label from the dossier inventory?* The W20A2 ``floor_plan_geometry_readback`` only observes marker number / coarse cell / base-kind — it trusts that "marker N means the object its label claims" because the metadata says so. The FP comparison gallery (W21B-wave-4 brief) showed that this trust is unsafe: a floor-plan PNG can drift from its own metadata (e.g., render a larger, more furnished dwelling than the inventory describes). This sidecar turns marker-label consistency into an explicit evidence-backed gate. Design boundaries (brief §3.1 — scenario leakage guard): - Code performs ONLY structural / exact-ID checks and reads the LLM-emitted ``semantic_match`` enum. It NEVER lexically inspects the free-text evidence fields (``observed_object_summary`` / ``mismatch_reason`` / ``reasoning_basis`` / ``source_ref``). There is no substring / regex / lexicon matching anywhere in this module — the only "meaning" signal is the structured enum the VLM emits. - ``expected_label`` / ``expected_layer`` are carried from the dossier inventory verbatim and validated by exact-string equality; the VLM must not re-label or re-classify a marker. - The gate fails closed: a synthetic-fixture readback, an unattested base marker, or an ``uncertain`` base marker never auto-passes. Only a real ``ok`` readback whose every base structural / persistent marker reads ``match`` passes. This module performs NO LLM / image / VLM / DB / ImageAsset I/O. A real VLM provider is injected via the ``vlm_provider`` slot of ``compute_semantic_readback`` (mirrors the W20A2 geometry pattern); the provider itself lives in a separate module and is wired behind an explicit opt-in selector in a later step of this wave. With ``vlm_provider=None`` (default) the synthetic-fixture path is used and ``fp_image_path`` is ignored. ) annotations)AnyCallableDictListOptional>matchmismatch uncertain frozensetSEMANTIC_MATCH_VALUES> base_openingbase_structural_unitbase_persistent_fixturebase_persistent_furnitureBASE_STRUCTURAL_LAYERS>notallOfanyOfoneOfformatmaximumminimumpatterncontainsmaxItemsminItems maxLength minLength multipleOf maxContains minContains uniqueItemsexclusiveMaximumexclusiveMinimumpatternProperties_OPENAI_UNSUPPORTED_SCHEMA_KEYSobjectFstatusfp_idobserved_marker_semantics diagnosticsstringok)typeenumr0array numberexpected_labelexpected_layerobserved_object_summarysemantic_matchmismatch_reason source_ref confidencereasoning_basisinteger)rrrr)r r r r4null)r0additionalPropertiesrequired properties)r0itemsDict[str, Any]SEMANTIC_READBACK_SCHEMAceZdZdZy)SemanticReadbackErrorz4Fail-closed signal for the semantic readback / gate.N)__name__ __module__ __qualname____doc__g/Users/manta/Documents/Projects/TheRoad-I1/backend/app/modules/pipeline/floor_plan_semantic_readback.pyrFrFs>rLrFcHt|txrt|t S)N) isinstanceintbool)values rM_is_intrSs eS ! A*UD*A&AArLcRi}|xsijdxsgD]n}t|ts t|d}|jd}t|tsE|tvsNt|jdd|d||<p|S#tt t f$rYwxYw)uBuild ``{number: {"label": ..., "layer": ...}}`` for base markers. Only ``base_*`` markers are surfaced — overlay / transient markers are out of the FP self-fidelity authority set, exactly as in the geometry readback. base_marker_inventoryr4base_layer_decisionlabel)rWlayer) getrOdictrPKeyError TypeError ValueErrorstrr)dossieroutentrynumdecisions rM_base_inventory_mapres&(C-R$$%<=CC%&  eHo&C9923 h $5K)KUYYw34!CHD J)Z0   sBB&%B&c g}t|tsddt|jdgddS|j ddk7r$|j d|j dd |j d |k7r&|j d |j d d |t |}|s|j d |j d}t|ts|j dg}g}t|D]\}}d|d} t|ts|j | d2d} | D cgc] } | |vs|  } } | r|j | d| a|d} t| s|j | d| d| |vr|j | d| d|j | |d}t|tr|tvr&|j | d|dttdD]3}t||tr|j | d|d||d5|d}|=t|ttfrt|tr|j | d |d| |vr|j | d| d!|| }|d"|d#k7r"|j | d$|d"d%|d#d&| |d'|d(k7s|j | d)|d'd*|d(d&| |j d+}t|ts|j d,g}|rd|ddSd||Dcgc]}t|dt|d"t|d't|d-t|dt|d.t|d/t|dttfr!t|dtst|dndt|d0d c}t|d1}d2g|dScc} wcc}w)3uVPure JSON-shape + exact-ID validator for VLM semantic output. Returns ``{"ok": bool, "blockers": [str], "readback": dict | None}``. Code performs only structural / exact-ID checks plus the ``semantic_match`` enum check. No semantic / lexical inspection of the free-text evidence fields is performed (W21B-wave-4 §3.1). Fzoutput is not a dict ()N)r/blockersreadbackr*r/zstatus must be 'ok' (got uV); the real-provider path only emits 'ok' — synthetic / failed are handled elsewherer+zfp_id mismatch: provider=z vs dossier=zWdossier base_marker_inventory has zero base_* markers; the VLM has nothing to attest tor,z(observed_marker_semantics must be a listzobserved_marker_semantics[]z not a dictr3z missing required fields: r4z.number must be int (got z.number=z duplicatedr8z.semantic_match=z not in )r5r6r7r9r:r<.z must be a string (got r;z(.confidence must be float|int|None (got z% not in dossier base_marker_inventoryr5rWz.expected_label=z disagrees with dossier label=z for marker #r6rYz.expected_layer=z, disagrees with dossier base_layer_decision=r-zdiagnostics must be a listr7r9r:r<r)T)rOr[r0rGrZappendrelist enumeraterSr_r sortedrPfloatrQ)outputr`r+rh inventoryentries seen_numbersidxrbprefixr@fmissingnr text_fieldconfexpdiagseris rMvalidate_semantic_outputrsH fd #1$v,2G2G1HJK  zz(t#' 8(<'?@  ! zz'e#' 7(;'>?i ! $G,I  + jj45G gt $BC L( U-cU!4%& OOvhk2 3   '9h!5.1h9  OOvh&@ J K  (Oqz OOvh&?uAF G   OOvhhqc= >A&'%%6K)K OO(*5)8/013  JeJ/5ha |,!*-03 \"  4#u.*T42H OO(B4(!L  I  OO((1#%JK A,C%&#g,6h.u5E/F.IJ447L3CD c# %&#g,6h.u5E/F.IJB7|&mA38_)j JJ} %E eT "45tDD$#& "ak*"%a(8&9":"%a(8&9":+.q1J/K+L"%a(8&9":#&q):';#<!!L/2"!L/C<@&q=!L/*#&q):';#<  #& &E{- H0BH ==K:`& s: O;O;9B-Pc|jd}|dk(r dgggdgdS|dk7rtd|dt|}i}|jd xsgD]3}|jd }t|s |jd ||<5g}g}g} t |D]U}|j|} | | j |(| d k(r|j |?| d k(sE|j |W|rd} n |s| rd} nd} | ||| gdS)uCDecide the FP self-fidelity gate state from a semantic readback. Gate states (fail-closed ordering): - ``synthetic_unverified`` — readback came from the synthetic fixture (no real VLM). Never authoritative. - ``needs_fix`` — at least one base marker reads ``mismatch``. FP render should retry (bounded) / be marked needs_fix for BG anchor consumption. - ``needs_review`` — no mismatch, but at least one base marker is ``uncertain`` or was never attested. Routes to manual visual review (brief §9) rather than a false pass. - ``pass`` — every base structural / persistent marker reads ``match``. The decision uses ONLY the structured ``semantic_match`` enum and the exact-ID join with the dossier base inventory — no text inspection. r*synthetic_fixturesynthetic_unverifiedzvsemantic gate computed from a synthetic_fixture readback; placeholder verdicts, not a production fidelity attestation.) gate_statemismatch_markersuncertain_markersunattested_base_markersr-r/zGsemantic gate requires readback.status in {ok, synthetic_fixture} (got rgr,r4r8r r needs_fix needs_reviewpass)rZrFrerSrorl) rir`r*rrverdict_by_numberrbrcrrrverdictrs rMcompute_semantic_gaterhsc,\\( #F $$0 "!#')O  ~#..4Zq :  $G,I(*9:@b@ii! 3<%*YY/?%@ c "A #%#%)+i #'', ? # * *3 /  "  # #C (  #  $ $S )! 5#  !,.#:  rLc |jd}t|tr|std|dt |}|std|dg}t |D](}||}|j ||d|ddd ddd d d *d ||dgdS)uRReturn a synthetic_fixture-status semantic readback. Every base marker is recorded as ``uncertain`` — the fixture asserts nothing about real image content. It exists so downstream code (gate, step wrapper, tests) can be exercised before a real VLM provider is wired, mirroring the W20A2 geometry synthetic fixture. r+z)dossier.fp_id missing or non-string (got rgzdossier fp_id=z has empty base_marker_inventoryrWrYrXr Nu9synthetic_fixture placeholder — no real VLM observationr3rzsynthetic_fixture: semantic verdicts are deterministic placeholders, not real VLM observations. The gate must not promote this readback to a production fidelity pass.r))rZrOr_rFrerorl)r`r+rrrsrcr|s rM"compute_synthetic_semantic_fixturers KK E eS !#7y B  $G,I #UI%E F  %'Gi n"%g,"%g,+-"-#% "O  !&&%, C  rLN) fp_image_path vlm_providerc.| t|S|||}t|ts"tdt |j dt |||jd}|ds%d j|d }td |dd |d S)uReturn a semantic readback for the dossier's fp_id. With ``vlm_provider=None`` (default) the synthetic_fixture path is used and ``fp_image_path`` is ignored. When a provider callable is passed, it is invoked as ``vlm_provider(dossier=..., fp_image_path=...)`` and its return value is run through the FULL ``validate_semantic_output`` contract (status / fp_id / shape / exact-ID joins / required fields). Any non-conforming return — including an output that merely *looks* ok at the top level but carries an unknown marker number, a re-labelled marker, or a missing field — raises ``SemanticReadbackError``. The dispatcher never returns an unvalidated provider payload. N)r`)r`rz vlm_provider returned non-dict (rgr+)rqr`r+r/z; rhz'vlm_provider output failed validation: iri) rrOr[rFr0rGrrZjoin)r`rrraresjoineds rMcompute_semantic_readbackrs&1'BB wm DC c4 #.tCy/A/A.B! D   #G7;;w+? C t93z?+#5fTcl^ D   z?rL)rRrreturnrQ)r`rCrzDict[int, Dict[str, str]])rqrr`rCr+r_rrC)rirCr`rCrrC)r`rCrrC)r`rCrz Optional[str]rz'Optional[Callable[..., Dict[str, Any]]]rrC)rJ __future__rtypingrrrrrr r __annotations__rr'rD ExceptionrFrSrerrrrrKrLrMrs&N#66$--O#PyP %.% .7.< !O#dV4(# (-  &y1'-x&8 (!'17/A ( B')/'9#)8"4#)Hf+=">(.'9)$'& Rh' W/ 4,.4n?I?B6d> d>d>  d>  d>THHH H\2 22p$(<@ " "!": "  "rL