Skip to content

proofn: end-to-end sufaha noun proof — real 2:13:12 row via graph repair (owner section 10)#107

Merged
theislampill merged 4 commits into
mainfrom
andon-proof-noun
Jul 17, 2026
Merged

proofn: end-to-end sufaha noun proof — real 2:13:12 row via graph repair (owner section 10)#107
theislampill merged 4 commits into
mainfrom
andon-proof-noun

Conversation

@theislampill

Copy link
Copy Markdown
Owner

The canary's closure, compiler-generated and deploy-shaped, candidate-mode:

  • Real chain: lexical entry 1ffcc554ec44 (documented plural form) with page-context entry c59a0161fac8 retained SEPARATELY; card 2:13; occurrence 2:13:12 surface السفهاء; 35-record qamus.graph_edge.v1 chain extending the EDGES candidate repair path (projection_input + certified_fact_attachment edges) — the prior graph-attachment blocker is now a candidate graph path, not a vague source gap.
  • All 11 certified facts attached with per-fact evidence addresses; shared fd_compiler payload (sha-identified) drives at-rest spans (article / lexical body / final nominative damma as nahw overlay), compact + expanded Sarf + expanded Nahw under the public labels, rich hover, and 2/2 repeated appearances with payload-identity parity.
  • Reverse trace edges present; readback target honestly declared_not_measured pre-deploy; jamid/mushtaq tension retained unresolved; no PNG tracked (render witness local-only).
  • 42 focused tests + ten typed-graph checks + full harness; fresh-LF-clone ALL PASS; pre_apply_not_authorized.

@theislampill
theislampill merged commit 6d1153a into main Jul 17, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant