NET-SEAM-020SOLVER_EXECUTED · EXACT_EXECUTED_CONSTRUCTIVE_WITNESSNET
SOLVER EXECUTED · ZERO RESIDUAL
| context |
WHAT THIS CERTIFICATE RECORDS, IN PLAIN TERMS. The problem: Aggregate-Query Row-Loss 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 — row multiset -> aggregate report. The MuncyNautics Seam Recovery Method names the lost channels, keeps both arms, and reworks the governing equation — Recover the fiber of row multisets consistent with the aggregate; add authorized row-level or independent aggregate lanes for member selection.. 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-020-SOLVER-20260830 |
| job_id |
NET-SEAM-020 |
| title |
Aggregate-Query Row-Loss Witness |
| author |
Derrick E. Muncy |
| method |
MuncyNautics Seam Recovery Method |
| source |
{
"title": "Private Aggregate Queries to Untrusted Databases",
"url": "https://www.ndss-symposium.org/wp-content/uploads/2024-1211-paper.pdf"
}
|
| governing_formulation |
P(rows)=(SUM,COUNT) |
| projection_operator |
row multiset -> aggregate report |
| witness_A |
[ "2", "3", "5" ] |
| witness_B |
[ "1", "4", "5" ] |
| report_A |
[ "10", "3" ] |
| report_B |
[ "10", "3" ] |
| 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 the fiber of row multisets consistent with the aggregate; add authorized row-level or independent aggregate lanes for member selection. |
| falsifier |
{
"test": "Require distinct witnesses, reconstruct both reports independently, and reject on any nonzero residual.",
"result": "PASS"
}
|
| standing |
EXACT_EXECUTED_CONSTRUCTIVE_WITNESS |
| scope |
Exact three-row aggregate witness; no sensitive real data used. |
| promotion_authority |
RED |
| generated_utc |
2026-08-30T21:22:25.745719+00:00 |