Verify multi-path formulas end-to-end
verifycommandsetup L1★0
raeez/ainfinity-chiral-hochschild-cohomology-3d-qft ↗What it does
Verify multi-path formula correctness across volumes
Best for
Catching convention mismatches and bulk-boundary inconsistencies in advanced mathematics
Inputs
- · mathematical claim from Vol II
Outputs
- · 8-path verification results
- · convention bridge checks
- · test suite
Requires
- · SC operad operations
- · PVA descent checker
Preconditions
- · Vol I and Vol II source exist
- · formula is stated precisely
Failure modes
- · PVA descent inconsistent
- · Swiss-cheese structure mismatch
- · convention unreconciled
Trust signals
- · uses 8-path taxonomy from Vol I
- · explicit AP number references
- · cross-volume convention check