[DOCS] all tabs: finish the 0.7 sweep for versions, ACPs, and encrypted types

[alexandrecarvalheira]

Stacked on #56. Once that merges this retargets to main and the diff shrinks to its own commits.

Every page checked and edited one at a time. After the scripted attempt produced real errors, this pass used no pattern replacement.

Versions

72 stale references across six pages, in two forms that had drifted apart on the same page: install commands said one thing, the package table beside them said another.

@cofhe/* 0.5.2 to 0.7.1, cofhe-contracts 0.1.3 to 0.2.0. Every documented import path verified to resolve in the published tarballs. Historical references ("added in cofhe-contracts@v0.1.2") deliberately left alone.

The Foundry plugin renamed its Solidity API too

A JS-only rename would have missed this entirely:

Old	0.7.1
createInEuintN(v)	createExternalEuintN(v, consumingContract) returning (handle, proof)
permit_createSelf()	ACP_createSelf()
decryptForTx_withoutPermit	decryptForTx_withoutACP
Permission struct	ACP, from the same Permissioned.sol

The missing type family

sharedEuintXX was not documented anywhere. inputs.mdx now has a section on passing encrypted values between contracts, and encrypted-operations and the FHE.sol reference list all three families side by side.

It matters beyond naming: FHE operations check the permission of the contract performing them, not the caller, so a function taking a bare euintXX can be handed any handle that contract is allowed on and made to return something derived from it. The page says so, and covers the Param vs FromCall receive rule.

A revert worth reading

I first wrote the multi-input examples as separate calls:

euint8 a = FHE.asEuint8(hashA, proof);
euint8 b = FHE.asEuint8(hashB, proof);   // reverts

One signature covers keccak(hashA ‖ hashB), so verifying each hash against it individually fails. They now use FHE.asEuint8s(inputs, proof). Four blocks had this shape.

FheOS accuracy

what-is-cofhe.mdx said the FheOS Server "executes the actual FHE computations" and omitted the FHE Engine from the component table. STYLE.md is explicit that FheOS verifies and queues work and does not execute FHE operations. Both rows corrected.

Out of scope, deliberately

deep-dive/, cofhejs/, fhe-library/confidential-contracts/ (its own branch), and tutorials/ (4 pages, deferred).

Also left in old form on purpose: the old-API column of the mock-contracts 0.4 mapping table, the cofhejs column of the cofhejs guide, the // Before blocks in the 0.7 guide, and sentences naming a removed symbol in order to say it was removed.

Vale and lint-docs.py exit 0 on every changed file. mint validate and mint broken-links --check-anchors --check-redirects pass.

🤖 Generated with Claude Code