TFPT scientific source excerpt
Original repository path: verification/v1034_parent_mirror.py
Original file SHA-256: a4f7d7712f1d0525ab496e4430a28bda7a51eb3c5ae909c949c4374b9c3107e2
Inclusive original lines: 1-38
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000001 | #!/usr/bin/env python3
000002 | """Exact Round-7 certificate for the source DET parent and its locality boundary.
000003 | 
000004 | This is a bounded research artefact.  It distinguishes the momentum-factorized
000005 | four-mode parent in v1008 from a real-space product-projector parent with
000006 | ordinary hopping.  The algebraic checks use exact SymPy/CAR calculations, and
000007 | the source-contract comparisons are exact as written.  One separately
000008 | classified floating regression reproduces the landed 129-point trigonometric
000009 | grid; other printed decimals are labelled evaluations of exact radicals.
000010 | No repository file is imported or modified.  No T3/T4/TOE claim is made.
000011 | 
000012 | Port provenance: native verification port of
000013 | [OMITTED: non-scientific conversation or execution metadata]
000014 | (source SHA-256 324030c9dbc9afe1461aa765f84baeb33ae012319e78cd215632b926d5f5b94f).
000015 | The port changes only harness integration, repository lookup, and execution
000016 | lifecycle.
000017 | """
000018 | 
000019 | from __future__ import annotations
000020 | 
000021 | import ast
000022 | import json
000023 | import math
000024 | import os
000025 | from pathlib import Path
000026 | 
000027 | import sympy as sp
000028 | 
000029 | from tfpt_constants import check as suite_check, reset, summary
000030 | 
000031 | 
000032 | DEFAULT_REPO = Path(__file__).resolve().parents[1]
000033 | REPO = Path(os.environ.get("TFPT_REPO", str(DEFAULT_REPO))).resolve()
000034 | V1002 = REPO / "verification/v1002_spin10_mirror_projector.py"
000035 | V1008 = REPO / "verification/v1008_master_assembly_scaffold.py"
000036 | V1024 = REPO / "verification/v1024_parent_internal_boundaries.py"
000037 | V1027 = REPO / "verification/v1027_signed_det_car_wall.py"
000038 |