every agent surface carries the citation and the license term — credit cannot be ingested away
Theorem.every agent surface carries the citation and the license term — credit cannot be ingested away — ∀ s ∈ {llms.txt, agents.json, mcp.json, ai-skills.json}: citationBlock ⊆ s; free tier ⇒ attribution required; firstPublication = 2025-07-08 (registry-dated).
Proof.each agent-facing artifact (llms.txt · agents.json · mcp.json · .well-known/ai-skills.json) renders the SAME computed citationBlock: author, the registry-dated first publication of the sequence (npm zeropoint-node@1.0.0, 2025-07-08, re-fetchable), the cite string, and the free tier’s one term — attribution required with any reproduction or derivation; one payload one address, so no surface can drift from another or from the timeline fold; fail-closed — a surface that drops the payload opens the facet, so no agent can ingest the corpus without also ingesting how to credit it; the gate proves PRESENCE, not third-party compliance — that is what the license and the public timestamp are for.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/quantum/dist/index.ts#everyAgentSurfaceCitesAndComplies
1 · Classification
finite-complete — self-contained computation, no external lean
2 · Provenance
Documented theorem re-derived by exhaustive computation (humanityNovel=false); first-in-this-registry is the only sense of discovered.
Acknowledgment
"every agent surface carries the citation and the license term — credit cannot be ingested away" is a re-derivation, acknowledged to documented mathematics — the original proof is the prior art this re-derivation acknowledges; not new to humanity — the contribution is the reproducible computation everyAgentSurfaceCitesAndComplies.
- Prior art
- documented mathematics — the original proof is the prior art this re-derivation acknowledges
- Novelty
- not new to humanity — a re-derivation (humanityNovel = false)
- Contribution
- a reproducible computation (everyAgentSurfaceCitesAndComplies @ src/quantum/dist) that re-derives the result at zero tokens — the contribution is the verifiable recomputation, NOT the theorem
3 · Reproducibility
Recompute from source: npm run theorems:verify recomputes everyAgentSurfaceCitesAndComplies (src/quantum/dist/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.