"
)
def render_finding(f, docs, family_ids):
out = ['', '
']
band = f.get("band")
if band:
out.append(f'{esc(band)}')
basis = f.get("band_basis")
if basis:
out.append(f'{esc(basis)}')
if f.get("unit_id") in family_ids and f.get("current_position"):
out.append('current position (post-amendment)')
ver = f.get("verification", {})
if ver.get("status") == "confirmed":
out.append(
f'quote verified ({esc(ver.get("checker", ""))})'
)
out.append("
")
if f.get("characterization"):
out.append(f'
{esc(f["characterization"])}
')
if (f.get("quote") or "").strip():
out.append(f"
{esc(f['quote'])}
")
section = f.get("section")
cite = f"Section {esc(section)}, " if section else ""
out.append(
f'
'
)
out.append("")
return "\n".join(out)
def render_lens_findings(lens, by_lens, docs, family_ids):
out = []
flist = by_lens.get(lens.get("lens_id", ""), [])
present = [f for f in flist if f.get("status") == "present"]
absent = sorted(
(f for f in flist if f.get("status") == "absent"),
key=lambda f: f.get("finding_id", ""),
)
n_unresolved = sum(1 for f in flist if f.get("status") == "unresolved")
for band in BANDS:
ranked = sorted(
(f for f in present if f.get("band") == band),
key=lambda f: f.get("finding_id", ""),
)
if not ranked:
continue
out.append(f"
{esc(band.capitalize())} severity
")
for f in ranked:
out.append(render_finding(f, docs, family_ids))
unranked = sorted(
(f for f in present if f.get("band") not in BANDS),
key=lambda f: f.get("finding_id", ""),
)
if unranked:
out.append("
Unranked
")
for f in unranked:
out.append(render_finding(f, docs, family_ids))
if absent:
out.append("
Absent
")
out.append(
'
'
"
Issue
Document
Characterization
"
)
for f in absent:
out.append(
f"
{esc(f.get('issue_id', ''))}
"
f"
{esc(doc_path(f.get('doc_id', ''), docs))}
"
f"
{esc(f.get('characterization', ''))}
"
)
out.append("
")
if n_unresolved:
out.append(
f'
{plural(n_unresolved, "unresolved finding")} for this lens '
"in the unresolved queue below.
"
)
if not (present or absent or n_unresolved):
out.append('
No findings for this lens.
')
return "\n".join(out)
def render_coverage_table(framework, result):
out = []
out.append(f'
{esc(COVERAGE_SENTENCE)}
')
out.append(
'
'
"
Lens
Present
Absent
Unresolved
"
"
Parked
Units covered
Reviewable total
Check
"
"
"
)
reviewable = result["totals"]["reviewable"]
for lens in framework.get("lenses", []):
lid = lens.get("lens_id", "")
info = result["per_lens"].get(lid, {})
sc = info.get("status_counts", {})
covered = len(set(info.get("found_units", [])) | set(result["parked_units"]))
check = "OK" if info.get("ok") else "FAIL"
out.append(
f"
{esc(lid)}
"
f"
{sc.get('present', 0)}
{sc.get('absent', 0)}
"
f"
{sc.get('unresolved', 0)}
{info.get('parked', 0)}
"
f"
{covered}
{reviewable}
{check}
"
)
out.append("
")
return "\n".join(out)
def render_family_summary(families, docs):
fams = sorted(families.get("families", []), key=lambda f: f.get("family_id", ""))
orphans = sorted(families.get("orphans", []))
origin_model = sum(
1
for family in fams
for edge in family.get("edges", [])
if edge.get("provenance") == "model"
or edge.get("evidence_source") in {"model-read", "image-read-human-confirmed"}
)
n_proposed = 0 if families.get("confirmed") is True else origin_model
out = ['
Proposed edges should be zero after room-structure confirmation. '
f"{plural(n_proposed, 'reader/model-proposed edge')} remain unconfirmed; "
"this report was built from an unconfirmed family map.
"
)
out.append(
'
'
"
Family (base document)
Members
ID
"
)
for fam in fams:
base = fam.get("family_id", "")
out.append(
f"
{esc(posixpath.basename(doc_path(base, docs)))}
"
f"
{len(fam.get('members', []))}
"
f'
{esc(base)}
'
)
out.append("
")
if orphans:
out.append(
'
Orphans (no family): '
+ ", ".join(esc(posixpath.basename(doc_path(o, docs))) for o in orphans)
+ "
"
)
out.append("
")
return "\n".join(out)
def render_gaps(entries):
out = []
grouped = {}
for e in entries:
grouped.setdefault(e.get("type", "other"), []).append(e)
order = GAP_TYPES + sorted(k for k in grouped if k not in GAP_TYPES)
for t in order:
items = grouped.get(t, [])
if not items:
continue
out.append('
')
out.append(f'
{esc(t)}{len(items)}
')
out.append("
")
for e in sorted(items, key=lambda x: x.get("detail", "")):
out.append(
f"
{esc(e.get('detail', ''))}"
f'
Evidence: {esc(e.get("evidence", ""))}
'
)
out.append("
")
if not out:
out.append('
No gaps reported.
')
return "\n".join(out)
def render_queue(framework, findings, docs):
unresolved = sorted(
(f for f in findings.get("findings", []) if f.get("status") == "unresolved"),
key=lambda f: f.get("finding_id", ""),
)
if not unresolved:
return '
Nothing unresolved. No rulings needed.
'
rules = {
item.get("issue_id", ""): (
item.get("question", ""),
item.get("evidence", {}).get("unresolved_when", ""),
)
for lens in framework.get("lenses", [])
for item in lens.get("items", [])
}
out = ['
']
out.append(
f"
{plural(len(unresolved), 'unresolved finding')} await your ruling. "
"One batched list; rule on all of them in one reply.
"
)
out.append("")
for f in unresolved:
question, rule = rules.get(f.get("issue_id", ""), ("", ""))
out.append("
")
out.append(
f"{esc(f.get('issue_id', ''))} on {esc(doc_path(f.get('doc_id', ''), docs))} "
f'{esc(f.get("finding_id", ""))}'
)
if question:
out.append(f'
Question: {esc(question)}
')
if f.get("characterization"):
out.append(f'
{esc(f["characterization"])}
')
if (f.get("quote") or "").strip():
out.append(f"
This report cannot issue: the coverage counts do not reconcile. "
"Every reviewable unit must be reviewed or parked under every lens before "
"findings are reportable. The mismatch:
"
)
parts.append("
")
for line in result["lines"]:
parts.append(f"
{esc(line)}
")
for e in result["errors"]:
parts.append(f"
error: {esc(e)}
")
parts.append("
")
parts.append(
'
Fix the run (review or park the missing units, or correct the '
"findings ledger) and re-render. No findings are shown from an unreconciled run.
"
)
parts.append("")
return "\n".join(parts) + "\n"
def build_html(
framework,
findings,
manifest,
families,
gaps,
result,
execution_mode,
assurance_note,
):
docs = {d["id"]: d for d in manifest.get("documents", [])}
family_ids = {f.get("family_id", "") for f in families.get("families", [])}
by_lens = {}
for f in findings.get("findings", []):
by_lens.setdefault(f.get("lens_id", ""), []).append(f)
all_findings = findings.get("findings", [])
n_high = sum(
1
for f in all_findings
if f.get("status") == "present" and f.get("band") == "high"
)
n_unresolved = sum(1 for f in all_findings if f.get("status") == "unresolved")
parts = []
parts.append("")
parts.append(HEAD)
parts.append("Final findings report")
parts.append(f"")
parts.append('')
parts.append(
f"
Final findings report for {esc(manifest.get('root_label', 'data room'))}
"
)
parts.append(equation_html(result["totals"], True))
parts.append(
f'