Paste one ayah or an entire surah, preserving the original Arabic orthography. The analysis runs on every token in order.
Input: ACE controller Arabic passage | 2 tokens
| NDCL-01 | Exact ND | NO MATCH | Alternative not matched |
| NDCL-02 | Prepend + ND | NO MATCH | Alternative not matched |
| NDCL-03 | ND + Append | NO MATCH | Alternative not matched |
| NDCL-04 | Prepend + ND + Append | NO MATCH | Alternative not matched |
| DCL-01 | Token Length | EVIDENCE | Token: وْفَ; source length field: 2 |
| DCL-02 | Suffix Removal | EVIDENCE | Physical suffix: َ; families/indices: suff1 [1]; suff3 [1, 4, 7, 13, 14]; suff_nouns [5]; ace_nominal_accusative [5] |
| DCL-03 | Length After Suffix Removal | EVIDENCE | Preserved stem after suffix removal: وْف |
| DCL-04 | Length Without Vowels | EVIDENCE | Normalized stem: وف; reported structural length: 2 |
| DCL-05 | Root Candidates | EVIDENCE | Root candidates: أوف, ووف, ويف |
| DCL-06 | Form Candidates | EVIDENCE | R006 Form candidates: none reported |
| DCL-07 | Form Identifier | EVIDENCE | R006 forms: unresolved; R007 voice: undetermined |
| DCL-08 | T Categories | EVIDENCE | R007 T candidates: none reported |
| DCL-09 | Person / Declension Index | EVIDENCE | Actual prefix: وَلَسَ; compatible Form.T.Index: none reported; prefix-person compatibility applied by MOD-038 |
| DCL-10 | Dictionary Verification | EVIDENCE | Dictionary ROOT status: ROOT_NOT_FOUND; matching record IDs: none; no full-token validation required |
| Feature | Existing / trace value |
|---|---|
| Full Token | وَلَسَوْفَ |
| R-L — Raw Length (code points including marks) | 10 |
| R-L — Raw Letter Count | 5 |
| Suffix Removed (upstream R001/R002) | َ |
| R-U — Preserved Stem (with marks) | وْف |
| R-U — Normalized Stem | وف |
| R-U Length (existing controller) | 2 |
| Prefix (controller fallback) | وَلَسَ |
| R006 Actual Prefix Removed | NOT AVAILABLE |
| R006 Actual After Prefix | NOT AVAILABLE |
| R006 Actual Prefix Arithmetic | NOT AVAILABLE |
| R006 Actual Form-Specific Marker Removed | NOT AVAILABLE |
| R006 Actual After Form Removal | NOT AVAILABLE |
| R006 Actual Form Arithmetic | NOT AVAILABLE |
| R006 Form-Specific Adjustment Rationale | NOT AVAILABLE |
| F-I — R006 Form Candidates | [] |
| I-V — Internal Vowels (existing output) | NOT AVAILABLE |
| S-T — Physical Suffix Families | ["suff1","suff3","suff_nouns","ace_nominal_accusative"] |
| S-I — Physical Suffix Indices | {"suff1":[1],"suff3":[1,4,7,13,14],"suff_nouns":[5],"ace_nominal_accusative":[5]} |
| P-R — Existing Pattern Evidence | {"أوف":{"initial hamza restored (contracted)":"initial hamza restored (contracted)"},"ووف":{"hollow w (contracted)":"hollow w (contracted)"},"ويف":{"hollow y (contracted)":"hollow y (contracted)"}} |
| R007 T Candidates | [] |
| R008 Index (parsed from existing candidates) | [] |
| R008 Form.T.Index Candidates | [] |
| R008 Status | UNRESOLVED |
| R008 Guard Accepted | [] |
| R008 Guard Rejected | [] |
| R008 Guard Unverified | [] |
| Authoritative Full Pattern | NOT AVAILABLE |
| Authoritative Full Structural Units | NOT AVAILABLE |
| Prefix / S-I Synchronization (existing verdict) | NOT AVAILABLE |
| Stage | Execution | Outcome | Reason |
|---|---|---|---|
| R006 | HANDOFF_COMPLETE | UNRESOLVED | Result retained in token diagnostic evidence |
| R007 | HANDOFF_COMPLETE | HYPOTHESIS | Result retained in token diagnostic evidence |
| R008 | HANDOFF_COMPLETE | UNRESOLVED | Result retained in token diagnostic evidence |
| R009 | HANDOFF_COMPLETE | UNRESOLVED | Result retained in token diagnostic evidence |
| R010 | SKIPPED | Dictionary review queue is rendered after token loop; not a per-token verifier | |
| R011 | HANDOFF_COMPLETE | DIAGNOSTIC_RESULT | Read-only R011 results included in full diagnostic JSON |
{
"r011_mod151_read_only": {
"أوف": {
"15": {
"status": "NOT_TESTED",
"matches": [],
"tested": 1,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"16": {
"status": "NOT_TESTED",
"matches": [],
"tested": 1,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"17": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": "NOT_TESTED",
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"18": {
"status": "NOT_TESTED",
"matches": [],
"tested": 2,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"19": {
"status": "NOT_TESTED",
"matches": [],
"tested": 2,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"20": {
"status": "NOT_TESTED",
"matches": [],
"tested": 18,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"21": {
"status": "NOT_TESTED",
"matches": [],
"tested": 3,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"22": {
"status": "NOT_TESTED",
"matches": [],
"tested": 3,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"23": {
"status": "NOT_TESTED",
"matches": [],
"tested": 2,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"24": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"25": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
}
},
"ووف": {
"15": {
"status": "NOT_TESTED",
"matches": [],
"tested": 1,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"16": {
"status": "NOT_TESTED",
"matches": [],
"tested": 1,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"17": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": "NOT_TESTED",
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"18": {
"status": "NOT_TESTED",
"matches": [],
"tested": 2,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"19": {
"status": "NOT_TESTED",
"matches": [],
"tested": 2,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"20": {
"status": "NOT_TESTED",
"matches": [],
"tested": 18,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"21": {
"status": "NOT_TESTED",
"matches": [],
"tested": 3,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"22": {
"status": "NOT_TESTED",
"matches": [],
"tested": 3,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"23": {
"status": "NOT_TESTED",
"matches": [],
"tested": 2,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"24": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"25": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
}
},
"ويف": {
"15": {
"status": "NOT_TESTED",
"matches": [],
"tested": 1,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"16": {
"status": "NOT_TESTED",
"matches": [],
"tested": 1,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"17": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": "NOT_TESTED",
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"18": {
"status": "NOT_TESTED",
"matches": [],
"tested": 2,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"19": {
"status": "NOT_TESTED",
"matches": [],
"tested": 2,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"20": {
"status": "NOT_TESTED",
"matches": [],
"tested": 18,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"21": {
"status": "NOT_TESTED",
"matches": [],
"tested": 3,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"22": {
"status": "NOT_TESTED",
"matches": [],
"tested": 3,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"23": {
"status": "NOT_TESTED",
"matches": [],
"tested": 2,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"24": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"25": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
}
}
},
"stage_audit_mod151": [
{
"stage": "R006",
"state": "HANDOFF_COMPLETE",
"outcome": "UNRESOLVED",
"reason": "Result retained in token diagnostic evidence",
"calls": 1
},
{
"stage": "R007",
"state": "HANDOFF_COMPLETE",
"outcome": "HYPOTHESIS",
"reason": "Result retained in token diagnostic evidence",
"calls": 1
},
{
"stage": "R008",
"state": "HANDOFF_COMPLETE",
"outcome": "UNRESOLVED",
"reason": "Result retained in token diagnostic evidence",
"calls": 1
},
{
"stage": "R009",
"state": "HANDOFF_COMPLETE",
"outcome": "UNRESOLVED",
"reason": "Result retained in token diagnostic evidence",
"calls": 1
},
{
"stage": "R010",
"state": "SKIPPED",
"outcome": null,
"reason": "Dictionary review queue is rendered after token loop; not a per-token verifier",
"calls": 0
},
{
"stage": "R011",
"state": "HANDOFF_COMPLETE",
"outcome": "DIAGNOSTIC_RESULT",
"reason": "Read-only R011 results included in full diagnostic JSON",
"calls": 1
}
],
"original_analysis_group": {
"token_no": 1,
"token": "وَلَسَوْفَ",
"expected": "",
"form": "",
"root_type": "surface-test",
"voice": "Undetermined",
"suffix": "َ",
"pronoun": "",
"pronoun_role": "",
"analysis_token": "وْفَ",
"stem": "وْف",
"normalized_stem": "وف",
"prefix": "وَلَسَ",
"nominal_prefix": "",
"nominal_core": "",
"stem_length": 2,
"root_candidates": [
"أوف",
"ووف",
"ويف"
],
"root_patterns": {
"أوف": {
"initial hamza restored (contracted)": "initial hamza restored (contracted)"
},
"ووف": {
"hollow w (contracted)": "hollow w (contracted)"
},
"ويف": {
"hollow y (contracted)": "hollow y (contracted)"
}
},
"findings": {
"suff1": [
1
],
"suff3": [
1,
4,
7,
13,
14
],
"suff_nouns": [
5
],
"ace_nominal_accusative": [
5
]
},
"status": "Matched"
},
"r006": {
"form_candidates": [],
"perfect_forms": [],
"evidence": [],
"structural_trace": [],
"status": "UNRESOLVED"
},
"r008": {
"form_t_index_candidates": [],
"index_candidates": [],
"status": "UNRESOLVED",
"comments": [],
"details": []
},
"mod105_native_r008": {
"status": "UNRESOLVED",
"candidates": []
},
"mod105_controller_retained_sources": [],
"r009": {
"original": "وْفَ",
"remaining": "وْف",
"r005_root_candidate": "",
"root_candidate": "",
"root_length": 0,
"accepted_root_candidates": [],
"accepted_root_count": 0,
"rejected_root_candidates": [],
"rejected_root_count": 0,
"accepted_details": [],
"rejected_details": [],
"accepted_roots_by_address": [],
"original_skeleton": "وف",
"stem_skeleton": "وف",
"addresses": [],
"details": [],
"status": "UNRESOLVED",
"comments": [
"No R008 Form.T.Index hypothesis to verify"
]
},
"r009_dictionary_exact_root_mod103": [],
"r007_text": "R006 Forms: unresolved; Voice: undetermined; T: unresolved; R006 UNRESOLVED",
"mod035_form_t_index": [],
"r007_t_candidates": [],
"r007_voice": "undetermined",
"r007_status": "R006 UNRESOLVED",
"nominal_evidence": "",
"resolved_findings": [],
"dictionary_root_verification": {
"status": "ROOT_NOT_FOUND",
"roots": [
"أوف",
"ووف",
"ويف"
],
"records": [],
"reason": "No extracted root found in dictionary"
},
"legacy_record_verification": {
"status": "ROOT_NOT_FOUND",
"records": [],
"root_records": [],
"roots": [
"أوف",
"ووف",
"ويف"
],
"reason": "",
"tested": 0,
"untestable": 0
}
}| NDCL-01 | Exact ND | NO MATCH | Alternative not matched |
| NDCL-02 | Prepend + ND | NO MATCH | Alternative not matched |
| NDCL-03 | ND + Append | NO MATCH | Alternative not matched |
| NDCL-04 | Prepend + ND + Append | NO MATCH | Alternative not matched |
| DCL-01 | Token Length | EVIDENCE | Token: وَلَسَوْفَ; source length field: 5 |
| DCL-02 | Suffix Removal | EVIDENCE | Physical suffix: َ; families/indices: suff1 [1]; suff3 [1, 4, 7, 13, 14]; suff_nouns [5]; ace_nominal_accusative [5] |
| DCL-03 | Length After Suffix Removal | EVIDENCE | Preserved stem after suffix removal: وَلَسَوْف |
| DCL-04 | Length Without Vowels | EVIDENCE | Normalized stem: ولسوف; reported structural length: 5 |
| DCL-05 | Root Candidates | EVIDENCE | Root candidates: none reported |
| DCL-06 | Form Candidates | EVIDENCE | R006 Form candidates: none reported |
| DCL-07 | Form Identifier | EVIDENCE | R006 forms: unresolved; R007 voice: undetermined |
| DCL-08 | T Categories | EVIDENCE | R007 T candidates: none reported |
| DCL-09 | Person / Declension Index | EVIDENCE | Actual prefix: (none); compatible Form.T.Index: none reported; prefix-person compatibility applied by MOD-038 |
| DCL-10 | Dictionary Verification | EVIDENCE | Dictionary ROOT status: NO_ROOT_CANDIDATE; matching record IDs: none; no full-token validation required |
| Feature | Existing / trace value |
|---|---|
| Full Token | وَلَسَوْفَ |
| R-L — Raw Length (code points including marks) | 10 |
| R-L — Raw Letter Count | 5 |
| Suffix Removed (upstream R001/R002) | َ |
| R-U — Preserved Stem (with marks) | وَلَسَوْف |
| R-U — Normalized Stem | ولسوف |
| R-U Length (existing controller) | 5 |
| Prefix (controller fallback) | NOT AVAILABLE |
| R006 Actual Prefix Removed | NOT AVAILABLE |
| R006 Actual After Prefix | NOT AVAILABLE |
| R006 Actual Prefix Arithmetic | NOT AVAILABLE |
| R006 Actual Form-Specific Marker Removed | NOT AVAILABLE |
| R006 Actual After Form Removal | NOT AVAILABLE |
| R006 Actual Form Arithmetic | NOT AVAILABLE |
| R006 Form-Specific Adjustment Rationale | NOT AVAILABLE |
| F-I — R006 Form Candidates | [] |
| I-V — Internal Vowels (existing output) | NOT AVAILABLE |
| S-T — Physical Suffix Families | ["suff1","suff3","suff_nouns","ace_nominal_accusative"] |
| S-I — Physical Suffix Indices | {"suff1":[1],"suff3":[1,4,7,13,14],"suff_nouns":[5],"ace_nominal_accusative":[5]} |
| P-R — Existing Pattern Evidence | [] |
| R007 T Candidates | [] |
| R008 Index (parsed from existing candidates) | [] |
| R008 Form.T.Index Candidates | [] |
| R008 Status | UNRESOLVED |
| R008 Guard Accepted | [] |
| R008 Guard Rejected | [] |
| R008 Guard Unverified | [] |
| Authoritative Full Pattern | NOT AVAILABLE |
| Authoritative Full Structural Units | NOT AVAILABLE |
| Prefix / S-I Synchronization (existing verdict) | NOT AVAILABLE |
| Stage | Execution | Outcome | Reason |
|---|---|---|---|
| R006 | HANDOFF_COMPLETE | UNRESOLVED | Result retained in token diagnostic evidence |
| R007 | HANDOFF_COMPLETE | HYPOTHESIS | Result retained in token diagnostic evidence |
| R008 | HANDOFF_COMPLETE | UNRESOLVED | Result retained in token diagnostic evidence |
| R009 | HANDOFF_COMPLETE | UNRESOLVED | Result retained in token diagnostic evidence |
| R010 | SKIPPED | Dictionary review queue is rendered after token loop; not a per-token verifier | |
| R011 | HANDOFF_COMPLETE | DIAGNOSTIC_RESULT | Read-only R011 results included in full diagnostic JSON |
{
"r011_mod151_read_only": {
"": {
"15": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 1,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"16": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 1,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"17": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": "NOT_TESTED",
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"18": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 2,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"19": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 2,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"20": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 18,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"21": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 3,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"22": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 3,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"23": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 2,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"24": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"25": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
}
}
},
"stage_audit_mod151": [
{
"stage": "R006",
"state": "HANDOFF_COMPLETE",
"outcome": "UNRESOLVED",
"reason": "Result retained in token diagnostic evidence",
"calls": 1
},
{
"stage": "R007",
"state": "HANDOFF_COMPLETE",
"outcome": "HYPOTHESIS",
"reason": "Result retained in token diagnostic evidence",
"calls": 1
},
{
"stage": "R008",
"state": "HANDOFF_COMPLETE",
"outcome": "UNRESOLVED",
"reason": "Result retained in token diagnostic evidence",
"calls": 1
},
{
"stage": "R009",
"state": "HANDOFF_COMPLETE",
"outcome": "UNRESOLVED",
"reason": "Result retained in token diagnostic evidence",
"calls": 1
},
{
"stage": "R010",
"state": "SKIPPED",
"outcome": null,
"reason": "Dictionary review queue is rendered after token loop; not a per-token verifier",
"calls": 0
},
{
"stage": "R011",
"state": "HANDOFF_COMPLETE",
"outcome": "DIAGNOSTIC_RESULT",
"reason": "Read-only R011 results included in full diagnostic JSON",
"calls": 1
}
],
"original_analysis_group": {
"token_no": 1,
"token": "وَلَسَوْفَ",
"expected": "",
"form": "",
"root_type": "surface-test",
"voice": "Undetermined",
"suffix": "َ",
"pronoun": "",
"pronoun_role": "",
"analysis_token": "وَلَسَوْفَ",
"stem": "وَلَسَوْف",
"normalized_stem": "ولسوف",
"prefix": "",
"nominal_prefix": "",
"nominal_core": "",
"stem_length": 5,
"root_candidates": [],
"root_patterns": [],
"findings": {
"suff1": [
1
],
"suff3": [
1,
4,
7,
13,
14
],
"suff_nouns": [
5
],
"ace_nominal_accusative": [
5
]
},
"status": "Matched"
},
"r006": {
"form_candidates": [],
"perfect_forms": [],
"evidence": [],
"structural_trace": [],
"status": "UNRESOLVED"
},
"r008": {
"form_t_index_candidates": [],
"index_candidates": [],
"status": "UNRESOLVED",
"comments": [],
"details": []
},
"mod105_native_r008": {
"status": "UNRESOLVED",
"candidates": []
},
"mod105_controller_retained_sources": [],
"r009": {
"original": "وَلَسَوْفَ",
"remaining": "وَلَسَوْف",
"r005_root_candidate": "",
"root_candidate": "",
"root_length": 0,
"accepted_root_candidates": [],
"accepted_root_count": 0,
"rejected_root_candidates": [],
"rejected_root_count": 0,
"accepted_details": [],
"rejected_details": [],
"accepted_roots_by_address": [],
"original_skeleton": "ولسوف",
"stem_skeleton": "ولسوف",
"addresses": [],
"details": [],
"status": "UNRESOLVED",
"comments": [
"No R008 Form.T.Index hypothesis to verify"
]
},
"r009_dictionary_exact_root_mod103": [],
"r007_text": "R006 Forms: unresolved; Voice: undetermined; T: unresolved; R006 UNRESOLVED",
"mod035_form_t_index": [],
"r007_t_candidates": [],
"r007_voice": "undetermined",
"r007_status": "R006 UNRESOLVED",
"nominal_evidence": "",
"resolved_findings": [],
"dictionary_root_verification": {
"status": "NO_ROOT_CANDIDATE",
"roots": [],
"records": [],
"reason": "No extracted root candidate"
},
"legacy_record_verification": {
"status": "NO_ROOT_CANDIDATE",
"records": [],
"roots": [],
"reason": "R005 produced no root candidate"
}
}| NDCL-01 | Exact ND | NO MATCH | Alternative not matched |
| NDCL-02 | Prepend + ND | NO MATCH | Alternative not matched |
| NDCL-03 | ND + Append | NO MATCH | Alternative not matched |
| NDCL-04 | Prepend + ND + Append | NO MATCH | Alternative not matched |
| DCL-01 | Token Length | EVIDENCE | Token: يَرْضَى; source length field: 4 |
| DCL-02 | Suffix Removal | EVIDENCE | Physical suffix: (none); families/indices: surface_zero [0] |
| DCL-03 | Length After Suffix Removal | EVIDENCE | Preserved stem after suffix removal: يَرْضَى |
| DCL-04 | Length Without Vowels | EVIDENCE | Normalized stem: يرضى; reported structural length: 4 |
| DCL-05 | Root Candidates | EVIDENCE | Root candidates: يرض, رضى |
| DCL-06 | Form Candidates | EVIDENCE | R006 Form candidates: 1 |
| DCL-07 | Form Identifier | EVIDENCE | R006 forms: 1; R007 voice: active-imperfect |
| DCL-08 | T Categories | EVIDENCE | R007 T candidates: 2 |
| DCL-09 | Person / Declension Index | EVIDENCE | Actual prefix: يَ; compatible Form.T.Index: none reported; prefix-person compatibility applied by MOD-038 |
| DCL-10 | Dictionary Verification | EVIDENCE | Dictionary ROOT status: ROOT_NOT_FOUND; matching record IDs: none; no full-token validation required |
| Feature | Existing / trace value |
|---|---|
| Full Token | يَرْضَى |
| R-L — Raw Length (code points including marks) | 7 |
| R-L — Raw Letter Count | 4 |
| Suffix Removed (upstream R001/R002) | NOT AVAILABLE |
| R-U — Preserved Stem (with marks) | يَرْضَى |
| R-U — Normalized Stem | يرضى |
| R-U Length (existing controller) | 4 |
| R006 Actual Prefix Removed | يَ |
| R006 Actual After Prefix | رْضَى |
| R006 Actual Prefix Arithmetic | 4 − 1 = 3 (يَ) |
| R006 Actual Form-Specific Marker Removed | None |
| R006 Actual After Form Removal | رْضَى |
| R006 Actual Form Arithmetic | 3 − 0 = 3 |
| R006 Form-Specific Adjustment Rationale | Form I imperfect: remove the matched person prefix; no Form-specific marker. |
| F-I — R006 Form Candidates | [1] |
| I-V — Internal Vowels (existing output) | NOT AVAILABLE |
| S-T — Physical Suffix Families | ["surface_zero"] |
| S-I — Physical Suffix Indices | {"surface_zero":[0]} |
| P-R — Existing Pattern Evidence | {"يرض":{"Form I T24-8":"Form I T24-8"},"رضى":{"prefix + radicals":"prefix + radicals"}} |
| R007 T Candidates | [2] |
| R008 Index (parsed from existing candidates) | [1] |
| R008 Form.T.Index Candidates | ["1.2.1"] |
| R008 Status | HYPOTHESIS |
| R008 Guard Accepted | [] |
| R008 Guard Rejected | [] |
| R008 Guard Unverified | [{"address":"1.2.1","r007_consistency":"SUPPORTED AS INDEX HYPOTHESIS","structural_guard":"UNVERIFIED: no complete pattern supplied"}] |
| Authoritative Full Pattern | NOT AVAILABLE |
| Authoritative Full Structural Units | NOT AVAILABLE |
| Prefix / S-I Synchronization (existing verdict) | NOT AVAILABLE |
| Stage | Execution | Outcome | Reason |
|---|---|---|---|
| R006 | HANDOFF_COMPLETE | STRUCTURAL HYPOTHESIS | Result retained in token diagnostic evidence |
| R007 | HANDOFF_COMPLETE | HYPOTHESIS | Result retained in token diagnostic evidence |
| R008 | HANDOFF_COMPLETE | HYPOTHESIS | Result retained in token diagnostic evidence |
| R009 | HANDOFF_COMPLETE | ORDER_COMPATIBLE | Result retained in token diagnostic evidence |
| R010 | SKIPPED | Dictionary review queue is rendered after token loop; not a per-token verifier | |
| R011 | HANDOFF_COMPLETE | DIAGNOSTIC_RESULT | Read-only R011 results included in full diagnostic JSON |
{
"r011_mod151_read_only": {
"يرض": {
"15": {
"status": "NOT_TESTED",
"matches": [],
"tested": 1,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"16": {
"status": "NOT_TESTED",
"matches": [],
"tested": 1,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"17": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": "NOT_TESTED",
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"18": {
"status": "NOT_TESTED",
"matches": [],
"tested": 2,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"19": {
"status": "NOT_TESTED",
"matches": [],
"tested": 2,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"20": {
"status": "NOT_TESTED",
"matches": [],
"tested": 18,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"21": {
"status": "NOT_TESTED",
"matches": [],
"tested": 3,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"22": {
"status": "NOT_TESTED",
"matches": [],
"tested": 3,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"23": {
"status": "NOT_TESTED",
"matches": [],
"tested": 2,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"24": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"25": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
}
},
"رضى": {
"15": {
"status": "NOT_TESTED",
"matches": [],
"tested": 1,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"16": {
"status": "NOT_TESTED",
"matches": [],
"tested": 1,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"17": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": "NOT_TESTED",
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"18": {
"status": "NOT_TESTED",
"matches": [],
"tested": 2,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"19": {
"status": "NOT_TESTED",
"matches": [],
"tested": 2,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"20": {
"status": "NOT_TESTED",
"matches": [],
"tested": 18,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"21": {
"status": "NOT_TESTED",
"matches": [],
"tested": 3,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"22": {
"status": "NOT_TESTED",
"matches": [],
"tested": 3,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"23": {
"status": "NOT_TESTED",
"matches": [],
"tested": 2,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"24": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
},
"25": {
"status": "NOT_TESTED",
"matches": [],
"tested": 0,
"skipped": 0,
"inventory_complete": false,
"dictionary_t17": null,
"dictionary_fields": [],
"nominal_evidence": [],
"form_hypotheses": [
1
],
"t20_recovered_roots": [],
"t21_recovered_roots": []
}
}
},
"stage_audit_mod151": [
{
"stage": "R006",
"state": "HANDOFF_COMPLETE",
"outcome": "STRUCTURAL HYPOTHESIS",
"reason": "Result retained in token diagnostic evidence",
"calls": 1
},
{
"stage": "R007",
"state": "HANDOFF_COMPLETE",
"outcome": "HYPOTHESIS",
"reason": "Result retained in token diagnostic evidence",
"calls": 1
},
{
"stage": "R008",
"state": "HANDOFF_COMPLETE",
"outcome": "HYPOTHESIS",
"reason": "Result retained in token diagnostic evidence",
"calls": 1
},
{
"stage": "R009",
"state": "HANDOFF_COMPLETE",
"outcome": "ORDER_COMPATIBLE",
"reason": "Result retained in token diagnostic evidence",
"calls": 1
},
{
"stage": "R010",
"state": "SKIPPED",
"outcome": null,
"reason": "Dictionary review queue is rendered after token loop; not a per-token verifier",
"calls": 0
},
{
"stage": "R011",
"state": "HANDOFF_COMPLETE",
"outcome": "DIAGNOSTIC_RESULT",
"reason": "Read-only R011 results included in full diagnostic JSON",
"calls": 1
}
],
"original_analysis_group": {
"token_no": 2,
"token": "يَرْضَى",
"expected": "",
"form": "",
"root_type": "surface-test",
"voice": "Undetermined",
"suffix": "",
"pronoun": "",
"pronoun_role": "",
"analysis_token": "يَرْضَى",
"stem": "يَرْضَى",
"normalized_stem": "يرضى",
"prefix": "يَ",
"nominal_prefix": "",
"nominal_core": "",
"stem_length": 4,
"root_candidates": [
"يرض",
"رضى"
],
"root_patterns": {
"يرض": {
"Form I T24-8": "Form I T24-8"
},
"رضى": {
"prefix + radicals": "prefix + radicals"
}
},
"findings": {
"surface_zero": [
0
]
},
"status": "Matched"
},
"r006": {
"form_candidates": [
1
],
"perfect_forms": [],
"evidence": {
"1": [
"I imperfect: person prefix + strong\/hollow template",
"MOD-056 full-token: MOD-055 Form I inflection [i-a] physical 1.2; full token retained",
"MOD-056 full-token: I imperfect: person prefix + strong\/hollow template"
]
},
"structural_trace": {
"1": [
{
"source": "R006 primary suffix-stripped stem",
"matched_form": 1,
"matched_pattern": "I imperfect: person prefix + three-radical strong\/hollow template",
"stem_input": "يَرْضَى",
"physical_suffix_input": "",
"full_input": "يَرْضَى",
"prefix_removed": "يَ",
"after_prefix": "رْضَى",
"form_marker_removed": "None",
"after_form_marker": "رْضَى",
"prefix_letter_count": 1,
"after_prefix_unit_count": 3,
"form_marker_letter_count": 0,
"remaining_letter_count": 3,
"form_marker_kind": "Form I imperfect: no derivational marker"
}
]
},
"status": "STRUCTURAL HYPOTHESIS"
},
"r008": {
"form_t_index_candidates": [
"1.2.1"
],
"index_candidates": [
1
],
"status": "HYPOTHESIS",
"comments": [],
"details": [
{
"form": 1,
"t": 2,
"index": 1,
"address": "1.2.1",
"source": "defective-final imperfect with no physical ending + imperfect person prefix ي"
}
]
},
"mod105_native_r008": {
"status": "HYPOTHESIS",
"candidates": [
"1.2.1"
]
},
"mod105_controller_retained_sources": [],
"r009": {
"original": "يَرْضَى",
"remaining": "يَرْضَى",
"r005_root_candidate": "",
"root_candidate": "",
"root_length": 0,
"accepted_root_candidates": [],
"accepted_root_count": 0,
"rejected_root_candidates": [
"يرض",
"رضى"
],
"rejected_root_count": 2,
"accepted_details": [],
"rejected_details": [
{
"address": "1.2.1",
"form": 1,
"t": 2,
"index": 1,
"expected_radicals": 3,
"observed_radicals": 3,
"root_candidate": "يرض",
"source": "R005 root_candidates",
"prefix": "",
"introductory": "",
"structural_body": "",
"pattern": "",
"status": "ORDER_COMPATIBLE",
"evidence": [
"Ordered letters compatible; not sufficient for verification",
"No dictionary or conjugator validation"
]
},
{
"address": "1.2.1",
"form": 1,
"t": 2,
"index": 1,
"expected_radicals": 3,
"observed_radicals": 3,
"root_candidate": "رضى",
"source": "R005 root_candidates",
"prefix": "",
"introductory": "",
"structural_body": "",
"pattern": "",
"status": "ORDER_COMPATIBLE",
"evidence": [
"Ordered letters compatible; not sufficient for verification",
"No dictionary or conjugator validation"
]
}
],
"accepted_roots_by_address": [],
"original_skeleton": "يرضى",
"stem_skeleton": "يرضى",
"addresses": [
"1.2.1"
],
"details": [
{
"address": "1.2.1",
"form": 1,
"t": 2,
"index": 1,
"expected_radicals": 3,
"observed_radicals": 3,
"root_candidate": "يرض",
"source": "R005 root_candidates",
"prefix": "",
"introductory": "",
"structural_body": "",
"pattern": "",
"status": "ORDER_COMPATIBLE",
"evidence": [
"Ordered letters compatible; not sufficient for verification",
"No dictionary or conjugator validation"
]
},
{
"address": "1.2.1",
"form": 1,
"t": 2,
"index": 1,
"expected_radicals": 3,
"observed_radicals": 3,
"root_candidate": "رضى",
"source": "R005 root_candidates",
"prefix": "",
"introductory": "",
"structural_body": "",
"pattern": "",
"status": "ORDER_COMPATIBLE",
"evidence": [
"Ordered letters compatible; not sufficient for verification",
"No dictionary or conjugator validation"
]
}
],
"status": "ORDER_COMPATIBLE",
"comments": [
"Accepted roots: none; structural verification only, not dictionary or conjugator validation.",
"Preliminary\/incomplete candidates: 2 row(s); see rejected_details separately."
]
},
"r009_dictionary_exact_root_mod103": [],
"r007_text": "R006 Forms: 1; Voice: active-imperfect; T: 2; HYPOTHESIS",
"mod035_form_t_index": [],
"r007_t_candidates": [
2
],
"r007_voice": "active-imperfect",
"r007_status": "HYPOTHESIS",
"nominal_evidence": "",
"resolved_findings": [],
"dictionary_root_verification": {
"status": "ROOT_NOT_FOUND",
"roots": [
"يرض",
"رضى"
],
"records": [],
"reason": "No extracted root found in dictionary"
},
"legacy_record_verification": {
"status": "ROOT_NOT_FOUND",
"records": [],
"root_records": [],
"roots": [
"يرض",
"رضى"
],
"reason": "",
"tested": 0,
"untestable": 0
}
}MOD-152: 0 dictionary-rejected speculative rows hidden when validated siblings exist; original candidate inventory retained.
MOD-014 display consolidation: 0 equivalent R004 rows hidden; raw R004/R001-R003 candidates preserved. Different root, family/index, pronoun role, or R006/R007 results remain separate.
Read-only root lookup. Morphological Form/T/index verification is separate. No dictionary files modified.