NET-SEAM-015 — Limited-Angle Tomography Missing-Wedge Witness

Posted by:

|

On:

|

NET-SEAM-015SOLVER_EXECUTED · EXACT_EXECUTED_CONSTRUCTIVE_WITNESSNET

SOLVER EXECUTED · ZERO RESIDUAL

context
WHAT THIS CERTIFICATE RECORDS, IN PLAIN TERMS. The problem: Limited-Angle Tomography Missing-Wedge Witness. This is the SOLVER-EXECUTED version from the Copilot Created store, superseding the earlier scan of the same job. The classical reading projects the complete object to a report — limited projection rows -> measured sinogram bins. The MuncyNautics Seam Recovery Method names the lost channels, keeps both arms, and reworks the governing equation — Recover [x]_A=x+ker(A_limited); add missing angular rows until the joint kernel is trivial.. Falsifier: { "test": "Require distinct witnesses, reconstruct both reports independently, and reject on any nonzero residual.", "result": "PASS" }. Method: Derrick E. Muncy.
schema
MN-RECOVERY-CERTIFICATE-1.0
certificate_id
MN-CERT-NET-SEAM-015-SOLVER-20260830
job_id
NET-SEAM-015
title
Limited-Angle Tomography Missing-Wedge Witness
author
Derrick E. Muncy
method
MuncyNautics Seam Recovery Method
source
{
  "title": "Limited Angle Tomography",
  "url": "https://www.imt.uni-luebeck.de/research/completed-projects/limited-angle-tomography"
}
governing_formulation
y=A_limited x
projection_operator
limited projection rows -> measured sinogram bins
witness_A
[
  "1",
  "2",
  "3",
  "4"
]
witness_B
[
  "2",
  "1",
  "5",
  "2"
]
report_A
[
  "3",
  "7"
]
report_B
[
  "3",
  "7"
]
structured_residual
[
  "0",
  "0"
]
reconstruction_error
0 exact
precision
{
  "primary": "exact rational/symbolic arithmetic",
  "verification": "independent direct reconstruction of both reports"
}
correction_rule
Correction = reconstruction from the recovery: restored arguments, seats, phases and arms in the equation itself. No raw appended constants; any finite term must be derived from the recovered channels, never fitted.
phase_retained
True
reworked_equation
Recover [x]_A=x+ker(A_limited); add missing angular rows until the joint kernel is trivial.
falsifier
{
  "test": "Require distinct witnesses, reconstruct both reports independently, and reject on any nonzero residual.",
  "result": "PASS"
}
standing
EXACT_EXECUTED_CONSTRUCTIVE_WITNESS
scope
Exact four-pixel, two-view limited-projection witness; not a clinical reconstruction.
promotion_authority
RED
generated_utc
2026-08-30T21:22:25.745719+00:00

Posted by

in